runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand50a937.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand50a937.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand50a937.cudf.difficult.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.36 1.22 1.19 5/47 23226
/proc/meminfo: memFree=673900/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=11240 CPUtime=0.01
/proc/23225/stat : 23225 (java) R 23224 23224 2059 34821 2220 4202496 908 0 0 0 0 1 0 0 25 0 2 0 876087199 11509760 642 1283457024 134512640 134550932 4292515600 18446744073709551615 4159697144 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 2810 642 285 10 0 1184 0
[pid=23225/tid=23226] ppid=23224 vsize=11240 CPUtime=0
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876087200 11509760 642 1283457024 134512640 134550932 4292515600 18446744073709551615 4159697144 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.175127 s]
/proc/loadavg: 1.36 1.22 1.19 5/47 23226
/proc/meminfo: memFree=673900/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=410128 CPUtime=0.17
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 4502 0 1 0 15 2 0 0 25 0 9 0 876087199 419971072 3967 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102532 3967 1875 10 0 96712 0
[pid=23225/tid=23226] ppid=23224 vsize=410128 CPUtime=0.15
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 3295 0 1 0 14 1 0 0 25 0 9 0 876087200 419971072 3967 1283457024 134512640 134550932 4292515600 18446744073709551615 4115178895 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412696

[startup+0.205139 s]
/proc/loadavg: 1.36 1.22 1.19 5/47 23226
/proc/meminfo: memFree=673900/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=410128 CPUtime=0.2
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 5201 0 1 0 18 2 0 0 25 0 9 0 876087199 419971072 4665 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102532 4665 1883 10 0 96712 0
[pid=23225/tid=23226] ppid=23224 vsize=410128 CPUtime=0.17
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 3376 0 1 0 16 1 0 0 25 0 9 0 876087200 419971072 4665 1283457024 134512640 134550932 4292515600 18446744073709551615 4115615724 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412696

[startup+0.305151 s]
/proc/loadavg: 1.36 1.22 1.19 5/47 23226
/proc/meminfo: memFree=673900/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=410128 CPUtime=0.3
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 5202 0 1 0 28 2 0 0 25 0 9 0 876087199 419971072 4666 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102532 4666 1883 10 0 96712 0
[pid=23225/tid=23226] ppid=23224 vsize=410128 CPUtime=0.27
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 3377 0 1 0 26 1 0 0 25 0 9 0 876087200 419971072 4666 1283457024 134512640 134550932 4292515600 18446744073709551615 4115623054 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412696

[startup+0.705311 s]
/proc/loadavg: 1.36 1.22 1.19 5/47 23226
/proc/meminfo: memFree=673900/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=410736 CPUtime=0.7
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 12937 0 1 0 66 4 0 0 25 0 9 0 876087199 420593664 12223 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102684 12223 2878 10 0 96864 0
[pid=23225/tid=23226] ppid=23224 vsize=410736 CPUtime=0.42
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 4083 0 1 0 40 2 0 0 25 0 9 0 876087200 420593664 12223 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413304

[startup+1.50562 s]
/proc/loadavg: 1.33 1.22 1.19 2/55 23234
/proc/meminfo: memFree=614244/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=410868 CPUtime=1.5
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 28563 0 1 0 139 11 0 0 25 0 9 0 876087199 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102717 27849 2879 10 0 96897 0
[pid=23225/tid=23226] ppid=23224 vsize=410868 CPUtime=0.68
/proc/23225/task/23226/stat : 23226 (java) S 23224 23224 2059 34821 2220 4202560 6787 0 1 0 64 4 0 0 25 0 9 0 876087200 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=410868 CPUtime=0.76
/proc/23225/task/23228/stat : 23228 (java) R 23224 23224 2059 34821 2220 4202560 20388 0 0 0 70 6 0 0 20 0 9 0 876087201 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4153022896 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=410868 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876087201 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=410868 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876087201 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=410868 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876087202 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=410868 CPUtime=0.04
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 453 0 0 0 4 0 0 0 17 0 9 0 876087202 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=410868 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876087202 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=410868 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876087202 420728832 27849 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413436

[startup+3.10605 s]
/proc/loadavg: 1.33 1.22 1.19 3/55 23234
/proc/meminfo: memFree=533520/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411192 CPUtime=3.1
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 46954 0 1 0 290 20 0 0 25 0 10 0 876087199 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102798 46224 2885 10 0 96978 0
[pid=23225/tid=23226] ppid=23224 vsize=411192 CPUtime=1.33
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 11443 0 1 0 127 6 0 0 25 0 10 0 876087200 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4115953757 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411192 CPUtime=1.65
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 34058 0 0 0 152 13 0 0 19 0 10 0 876087201 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411192 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411192 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411192 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411192 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 513 0 0 0 10 0 0 0 15 0 10 0 876087202 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411192 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411192 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421060608 46224 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413760

[startup+6.30669 s]
/proc/loadavg: 1.33 1.22 1.19 3/56 23235
/proc/meminfo: memFree=480936/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411360 CPUtime=6.3
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 56773 0 1 0 609 21 0 0 25 0 10 0 876087199 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102840 53611 2883 10 0 97020 0
[pid=23225/tid=23226] ppid=23224 vsize=411360 CPUtime=3.91
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 385 6 0 0 25 0 10 0 876087200 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4115942133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411360 CPUtime=2.26
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 41635 0 0 0 212 14 0 0 16 0 10 0 876087201 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411360 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 518 0 0 0 10 0 0 0 16 0 10 0 876087202 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411360 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421232640 53611 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413928

[startup+12.708 s]
/proc/loadavg: 1.35 1.23 1.19 2/56 23235
/proc/meminfo: memFree=467296/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=12.7
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 60011 0 1 0 1248 22 0 0 25 0 10 0 876087199 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 54562 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=9.75
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 969 6 0 0 25 0 10 0 876087200 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4149000560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=2.83
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 44872 0 0 0 268 15 0 0 15 0 10 0 876087201 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 54562 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413724

[startup+25.5114 s]
/proc/loadavg: 1.37 1.24 1.19 2/56 23235
/proc/meminfo: memFree=458368/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=25.48
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 69053 0 1 0 2522 26 0 0 25 0 10 0 876087199 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 56745 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=20.74
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2067 7 0 0 25 0 10 0 876087200 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4115943741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=4.62
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 53914 0 0 0 444 18 0 0 15 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413724

Solver just ended. Dumping a history of the last processes samples

[startup+25.6113 s]
/proc/loadavg: 1.37 1.24 1.19 2/56 23235
/proc/meminfo: memFree=458368/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=25.58
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 69053 0 1 0 2532 26 0 0 25 0 10 0 876087199 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 56745 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=20.84
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2077 7 0 0 25 0 10 0 876087200 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4115883093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=4.62
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 53914 0 0 0 444 18 0 0 15 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 56745 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 413724

[startup+28.8121 s]
/proc/loadavg: 1.34 1.23 1.19 2/56 23235
/proc/meminfo: memFree=455144/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=28.78
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 72162 0 1 0 2851 27 0 0 25 0 10 0 876087199 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 57569 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=23.47
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2340 7 0 0 25 0 10 0 876087200 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4116013408 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=5.19
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 57023 0 0 0 500 19 0 0 16 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 413724

[startup+30.4124 s]
/proc/loadavg: 1.34 1.23 1.19 2/56 23235
/proc/meminfo: memFree=455144/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=30.38
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 72162 0 1 0 3011 27 0 0 25 0 10 0 876087199 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 57569 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=25.07
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2500 7 0 0 25 0 10 0 876087200 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4116013408 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=5.19
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 57023 0 0 0 500 19 0 0 15 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 413724

[startup+32.0128 s]
/proc/loadavg: 1.31 1.23 1.19 2/56 23235
/proc/meminfo: memFree=455144/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=31.98
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 72162 0 1 0 3171 27 0 0 25 0 10 0 876087199 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 57569 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=26.67
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2660 7 0 0 25 0 10 0 876087200 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4116010885 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=5.19
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 57023 0 0 0 500 19 0 0 15 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.98
Current children cumulated vsize (KiB) 413724

[startup+32.813 s]
/proc/loadavg: 1.31 1.23 1.19 2/56 23235
/proc/meminfo: memFree=455144/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=32.78
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 72162 0 1 0 3251 27 0 0 25 0 10 0 876087199 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 57569 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=27.47
/proc/23225/task/23226/stat : 23226 (java) R 23224 23224 2059 34821 2220 4202560 13680 0 1 0 2740 7 0 0 25 0 10 0 876087200 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4115884417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=5.19
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 57023 0 0 0 500 19 0 0 15 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876087201 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876087202 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23235] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23235/stat : 23235 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876087487 421023744 57569 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 413724

[startup+33.0124 s]
/proc/loadavg: 1.31 1.23 1.19 1/55 23235
/proc/meminfo: memFree=455144/1048576 swapFree=2078744/2097144
[pid=23224] ppid=23223 vsize=2568 CPUtime=0
/proc/23224/stat : 23224 (gj-paranoid-sol) S 23223 23224 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876087199 2629632 271 1283457024 134512640 135304128 4291919664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23224/statm: 642 271 232 194 0 28 0
[pid=23225] ppid=23224 vsize=411156 CPUtime=32.97
/proc/23225/stat : 23225 (java) S 23224 23224 2059 34821 2220 4202496 72169 0 1 0 3270 27 0 0 25 0 9 0 876087199 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23225/statm: 102789 57575 2883 10 0 96969 0
[pid=23225/tid=23226] ppid=23224 vsize=411156 CPUtime=27.66
/proc/23225/task/23226/stat : 23226 (java) S 23224 23224 2059 34821 2220 4202560 13684 0 1 0 2759 7 0 0 25 0 9 0 876087200 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23228] ppid=23224 vsize=411156 CPUtime=5.19
/proc/23225/task/23228/stat : 23228 (java) S 23224 23224 2059 34821 2220 4202560 57023 0 0 0 500 19 0 0 15 0 9 0 876087201 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23229] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23229/stat : 23229 (java) S 23224 23224 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876087201 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23230] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23230/stat : 23230 (java) S 23224 23224 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876087201 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23231] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23231/stat : 23231 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876087202 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23232] ppid=23224 vsize=411156 CPUtime=0.1
/proc/23225/task/23232/stat : 23232 (java) S 23224 23224 2059 34821 2220 4202560 522 0 0 0 10 0 0 0 15 0 9 0 876087202 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23233] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23233/stat : 23233 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876087202 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=23225/tid=23234] ppid=23224 vsize=411156 CPUtime=0
/proc/23225/task/23234/stat : 23234 (java) S 23224 23224 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876087202 421023744 57575 1283457024 134512640 134550932 4292515600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.97
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 33.0519
CPU time (s): 32.9941
CPU user time (s): 32.706
CPU system time (s): 0.288018
CPU usage (%): 99.8249
Max. virtual memory (cumulated for all children) (KiB): 423660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.706
system time used= 0.288018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72556
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1214
involuntary context switches= 1563

runsolver used 0 second user time and 0 second system time

The end