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/rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge-etch-lenny-squeeze-sid.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny-squeeze-sid/rand165.sarge-etch-lenny-squeeze-sid.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand165.sarge-etch-lenny-squeeze-sid.cudf.sarge-etch-lenny-squeeze-sid.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.06 1.15 1.15 4/46 6222
/proc/meminfo: memFree=621680/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=10928 CPUtime=0.01
/proc/6222/stat : 6222 (java) R 6221 6221 2059 34821 2220 4202496 583 0 0 0 0 1 0 0 25 0 1 0 874643611 11190272 318 1283457024 134512640 134550932 4292712176 18446744073709551615 4159698754 0 0 0 0 0 0 0 17 0 0 0 0
/proc/6222/statm: 2732 318 170 10 0 1102 0

[startup+0.197066 s]
/proc/loadavg: 1.06 1.15 1.15 4/46 6222
/proc/meminfo: memFree=621680/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=409672 CPUtime=0.19
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 3776 0 1 0 18 1 0 0 25 0 9 0 874643611 419504128 3239 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102418 3239 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412248

[startup+0.207061 s]
/proc/loadavg: 1.06 1.15 1.15 4/46 6222
/proc/meminfo: memFree=621680/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=409672 CPUtime=0.2
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 3803 0 1 0 19 1 0 0 25 0 9 0 874643611 419504128 3266 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102418 3266 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412248

[startup+0.317615 s]
/proc/loadavg: 1.06 1.15 1.15 4/46 6222
/proc/meminfo: memFree=621680/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=410104 CPUtime=0.31
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 5239 0 1 0 28 3 0 0 25 0 9 0 874643611 419946496 4702 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102526 4702 1886 10 0 96706 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412680

[startup+0.707195 s]
/proc/loadavg: 1.06 1.15 1.15 4/46 6222
/proc/meminfo: memFree=621680/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=410704 CPUtime=0.7
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 12871 0 1 0 63 7 0 0 25 0 9 0 874643611 420560896 12155 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102676 12155 2878 10 0 96856 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413280

[startup+1.50737 s]
/proc/loadavg: 1.13 1.16 1.16 2/55 6231
/proc/meminfo: memFree=562076/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=410836 CPUtime=1.5
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 28318 0 1 0 136 14 0 0 25 0 9 0 874643611 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102709 27602 2879 10 0 96889 0
[pid=6222/tid=6224] ppid=6221 vsize=410836 CPUtime=0.68
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 6737 0 1 0 64 4 0 0 24 0 9 0 874643612 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=410836 CPUtime=0.77
/proc/6222/task/6225/stat : 6225 (java) R 6221 6221 2059 34821 2220 4202560 20190 0 0 0 69 8 0 0 20 0 9 0 874643613 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4152124356 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 874643613 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 9 0 874643613 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=410836 CPUtime=0.02
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 456 0 0 0 2 0 0 0 17 0 9 0 874643614 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874643614 420696064 27602 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413412

[startup+3.10773 s]
/proc/loadavg: 1.13 1.16 1.16 3/55 6231
/proc/meminfo: memFree=473168/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=410836 CPUtime=3.09
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 55668 0 1 0 284 25 0 0 25 0 9 0 874643611 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102709 54952 2879 10 0 96889 0
[pid=6222/tid=6224] ppid=6221 vsize=410836 CPUtime=1.2
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14034 0 1 0 111 9 0 0 25 0 9 0 874643612 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=410836 CPUtime=1.83
/proc/6222/task/6225/stat : 6225 (java) R 6221 6221 2059 34821 2220 4202560 40240 0 0 0 169 14 0 0 17 0 9 0 874643613 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4150934825 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 874643613 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 9 0 874643613 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=410836 CPUtime=0.03
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 459 0 0 0 3 0 0 0 15 0 9 0 874643614 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=410836 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874643614 420696064 54952 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413412

[startup+6.30852 s]
/proc/loadavg: 1.13 1.16 1.16 2/56 6232
/proc/meminfo: memFree=351888/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=411292 CPUtime=6.3
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 71027 0 1 0 596 34 0 0 25 0 10 0 874643611 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 102823 70291 2884 10 0 97003 0
[pid=6222/tid=6224] ppid=6221 vsize=411292 CPUtime=2.88
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14142 0 1 0 278 10 0 0 25 0 10 0 874643612 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4115238640 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=411292 CPUtime=3.32
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 55424 0 0 0 310 22 0 0 16 0 10 0 874643613 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=411292 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 521 0 0 0 7 0 0 0 16 0 10 0 874643614 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=411292 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 421163008 70291 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413868

[startup+12.7101 s]
/proc/loadavg: 1.11 1.16 1.15 2/56 6232
/proc/meminfo: memFree=332172/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=12.69
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 75963 0 1 0 1235 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=7.81
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 771 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=4.78
/proc/6222/task/6225/stat : 6225 (java) R 6221 6221 2059 34821 2220 4202560 60354 0 0 0 456 22 0 0 16 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4152707916 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 433328

[startup+25.5134 s]
/proc/loadavg: 1.17 1.17 1.16 3/56 6232
/proc/meminfo: memFree=332172/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=25.49
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76071 0 1 0 2515 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=18.42
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 1832 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115229830 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=6.98
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60462 0 0 0 676 22 0 0 15 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 433328

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

[startup+25.6034 s]
/proc/loadavg: 1.17 1.17 1.16 3/56 6232
/proc/meminfo: memFree=332172/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=25.58
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76071 0 1 0 2524 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=18.51
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 1841 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115208280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=6.98
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60462 0 0 0 676 22 0 0 15 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 433328

[startup+32.005 s]
/proc/loadavg: 1.22 1.18 1.16 2/56 6232
/proc/meminfo: memFree=332048/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=31.97
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76125 0 1 0 3163 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=24.02
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 2392 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115214336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=7.85
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60516 0 0 0 763 22 0 0 15 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (KiB) 433328

[startup+33.6055 s]
/proc/loadavg: 1.22 1.18 1.16 3/56 6232
/proc/meminfo: memFree=332048/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=33.57
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76179 0 1 0 3323 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=24.76
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 2466 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115214170 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=8.72
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60570 0 0 0 850 22 0 0 16 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.57
Current children cumulated vsize (KiB) 433328

[startup+34.4056 s]
/proc/loadavg: 1.22 1.18 1.16 2/56 6232
/proc/meminfo: memFree=332048/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=34.37
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76179 0 1 0 3403 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=25.56
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 2546 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115224752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=8.72
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60570 0 0 0 850 22 0 0 15 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.37
Current children cumulated vsize (KiB) 433328

[startup+35.2058 s]
/proc/loadavg: 1.22 1.18 1.16 2/56 6232
/proc/meminfo: memFree=332048/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=35.17
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76179 0 1 0 3483 34 0 0 25 0 10 0 874643611 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75172 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=26.36
/proc/6222/task/6224/stat : 6224 (java) R 6221 6221 2059 34821 2220 4202560 14143 0 1 0 2626 10 0 0 25 0 10 0 874643612 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4115292800 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=8.72
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60570 0 0 0 850 22 0 0 15 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874643613 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 526 0 0 0 7 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 874643614 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6232] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6232/stat : 6232 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874644141 441090048 75172 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.17
Current children cumulated vsize (KiB) 433328

[startup+35.4032 s]
/proc/loadavg: 1.22 1.18 1.16 2/56 6232
/proc/meminfo: memFree=332048/1048576 swapFree=2078764/2097144
[pid=6221] ppid=6220 vsize=2576 CPUtime=0
/proc/6221/stat : 6221 (gj-paranoid-sol) S 6220 6221 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 874643611 2637824 273 1283457024 134512640 135304128 4289828048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/6221/statm: 644 273 232 194 0 30 0
[pid=6222] ppid=6221 vsize=430752 CPUtime=35.35
/proc/6222/stat : 6222 (java) S 6221 6221 2059 34821 2220 4202496 76186 0 1 0 3501 34 0 0 25 0 9 0 874643611 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6222/statm: 107688 75178 2883 10 0 101868 0
[pid=6222/tid=6224] ppid=6221 vsize=430752 CPUtime=26.54
/proc/6222/task/6224/stat : 6224 (java) S 6221 6221 2059 34821 2220 4202560 14147 0 1 0 2644 10 0 0 25 0 9 0 874643612 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6225] ppid=6221 vsize=430752 CPUtime=8.72
/proc/6222/task/6225/stat : 6225 (java) S 6221 6221 2059 34821 2220 4202560 60570 0 0 0 850 22 0 0 15 0 9 0 874643613 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6226] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6226/stat : 6226 (java) S 6221 6221 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 9 0 874643613 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6227] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6227/stat : 6227 (java) S 6221 6221 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 874643613 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6228] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6228/stat : 6228 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6229] ppid=6221 vsize=430752 CPUtime=0.07
/proc/6222/task/6229/stat : 6229 (java) S 6221 6221 2059 34821 2220 4202560 529 0 0 0 7 0 0 0 15 0 9 0 874643614 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6230] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6230/stat : 6230 (java) S 6221 6221 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874643614 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=6222/tid=6231] ppid=6221 vsize=430752 CPUtime=0
/proc/6222/task/6231/stat : 6231 (java) S 6221 6221 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874643614 441090048 75178 1283457024 134512640 134550932 4292712176 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.35
Current children cumulated vsize (KiB) 433328

Child status: 0
Real time (s): 35.4636
CPU time (s): 35.3822
CPU user time (s): 35.0142
CPU system time (s): 0.368023
CPU usage (%): 99.7706
Max. virtual memory (cumulated for all children) (KiB): 433404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.0142
system time used= 0.368023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76576
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= 1309
involuntary context switches= 1653

runsolver used 0 second user time and 0 second system time

The end