runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731662-1338740355/watcher-3731662-1338740355 -o /tmp/evaluation-result-3731662-1338740355/solver-3731662-1338740355 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731662-1338740355.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 12284
/proc/meminfo: memFree=29910244/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12284/stat : 12284 (java6) D 12282 12284 2614 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340160462 9515008 183 33554432000 1073741824 1073778376 140735107474368 140735107465400 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12284/statm: 2323 183 140 9 0 71 0
[startup+0.0252341 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 12284
/proc/meminfo: memFree=29910244/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=1572256 CPUtime=0 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 2347 0 1 0 0 0 0 0 20 0 2 0 340160462 1609990144 2537 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 393064 2555 942 9 0 384173 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1572256
[startup+0.10032 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 12284
/proc/meminfo: memFree=29910244/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 4082 0 1 0 6 1 0 0 20 0 18 0 340160462 2712133632 5800 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 662142 5803 1934 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300305 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 12284
/proc/meminfo: memFree=29910244/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2648568 CPUtime=0.46 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 5768 0 1 0 44 2 0 0 20 0 18 0 340160462 2712133632 9910 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 662142 9910 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2648568
[startup+0.700327 s]
/proc/loadavg: 2.01 2.00 2.00 3/194 12284
/proc/meminfo: memFree=29910244/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2648568 CPUtime=1.08 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 9139 0 1 0 102 6 0 0 20 0 18 0 340160462 2712133632 46135 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 662142 46135 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2648568
[startup+1.50084 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 12302
/proc/meminfo: memFree=29609976/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2648568 CPUtime=1.98 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 9278 0 1 0 187 11 0 0 20 0 18 0 340160462 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 662142 95309 2249 9 0 652835 0
[pid=12284/tid=12286] ppid=12282 vsize=2648568 CPUtime=1.42 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2911 0 1 0 134 8 0 0 20 0 18 0 340160463 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446398840424 140446253131278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340160465 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340160466 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340160467 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 340160467 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340160469 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 2786 0 0 0 20 0 0 0 20 0 18 0 340160469 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2648568 CPUtime=0.18 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 2350 0 0 0 18 0 0 0 20 0 18 0 340160469 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340160469 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340160469 2712133632 95309 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2648568
[startup+3.10082 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 12302
/proc/meminfo: memFree=29508632/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=4.37 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 12084 0 1 0 419 18 0 0 20 0 19 0 340160462 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 678783 107691 2273 9 0 669476 0
[pid=12284/tid=12286] ppid=12282 vsize=2715132 CPUtime=2.91 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2923 0 1 0 283 8 0 0 20 0 19 0 340160463 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446398841368 140446253440461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 27 0 0 0 6 2 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 5 1 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 32 0 0 0 7 2 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 22 0 0 0 6 1 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160466 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3451 0 0 0 44 0 0 0 20 0 19 0 340160469 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4372 0 0 0 42 2 0 0 20 0 19 0 340160469 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107691 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 2715132
[startup+6.30078 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 12303
/proc/meminfo: memFree=29486292/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=7.59 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 12133 0 1 0 741 18 0 0 20 0 19 0 340160462 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 678783 107675 2273 9 0 669476 0
[pid=12284/tid=12286] ppid=12282 vsize=2715132 CPUtime=6.09 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2926 0 1 0 601 8 0 0 20 0 19 0 340160463 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446398839040 140446253427712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 27 0 0 0 6 2 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2715132 CPUtime=0.06 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 5 1 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 32 0 0 0 7 2 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2715132 CPUtime=0.07 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 22 0 0 0 6 1 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 340160465 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160466 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3451 0 0 0 46 0 0 0 20 0 19 0 340160469 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4418 0 0 0 44 2 0 0 20 0 19 0 340160469 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12303] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340160746 2780295168 107675 33554432000 1073741824 1073778376 140733576403824 140445229245608 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 2715132
[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 12303
/proc/meminfo: memFree=29486564/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=14.02 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 12136 0 1 0 1384 18 0 0 20 0 19 0 340160462 2780295168 107677 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3674 0 0 0 52 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4433 0 0 0 54 2 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=0.99 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 95 0 0 0 50 49 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12303] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340160746 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140445229245608 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.18
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12378
/proc/meminfo: memFree=28558924/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=1726.17 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 14041 0 1 0 172424 193 0 0 20 0 19 0 340160462 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 678783 343627 2286 9 0 669476 0
[pid=12284/tid=12286] ppid=12282 vsize=2715132 CPUtime=1712.48 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2937 0 1 0 171214 34 0 0 20 0 19 0 340160463 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446398841120 140446253399026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 169 0 0 0 16 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 275 0 0 0 24 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 15 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 199 0 0 0 20 15 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 154 0 0 0 13 11 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 12 13 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 164 0 0 0 17 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 269 0 0 0 22 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2715132 CPUtime=4.61 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 165 0 0 0 452 9 0 0 20 0 19 0 340160466 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3674 0 0 0 52 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4433 0 0 0 54 2 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=1.01 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 99 0 0 0 52 49 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12303] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340160746 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140445229245608 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.17
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12378
/proc/meminfo: memFree=28558924/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=1786.17 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 14045 0 1 0 178421 196 0 0 20 0 19 0 340160462 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 678783 343627 2286 9 0 669476 0
[pid=12284/tid=12286] ppid=12282 vsize=2715132 CPUtime=1772.31 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2937 0 1 0 177197 34 0 0 20 0 19 0 340160463 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446398841120 140446253427703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 169 0 0 0 16 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 275 0 0 0 24 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 15 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 199 0 0 0 20 15 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 154 0 0 0 13 11 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 12 13 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 164 0 0 0 17 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 269 0 0 0 22 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2715132 CPUtime=4.61 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 165 0 0 0 452 9 0 0 20 0 19 0 340160466 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3674 0 0 0 52 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4433 0 0 0 54 2 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=1.04 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 103 0 0 0 54 50 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12303] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340160746 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140445229245608 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.17
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12378
/proc/meminfo: memFree=28558924/32873844 swapFree=7116/7116
[pid=12284] ppid=12282 vsize=2715132 CPUtime=1800.08 cores=1,3,5,7
/proc/12284/stat : 12284 (java) S 12282 12284 2614 0 -1 4202496 14045 0 1 0 179812 196 0 0 20 0 19 0 340160462 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140733576394960 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12284/statm: 678783 343627 2286 9 0 669476 0
[pid=12284/tid=12286] ppid=12282 vsize=2715132 CPUtime=1786.18 cores=1,3,5,7
/proc/12284/task/12286/stat : 12286 (java) R 12282 12284 2614 0 -1 4202560 2937 0 1 0 178583 35 0 0 20 0 19 0 340160463 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446398841120 140446253489903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12287] ppid=12282 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12284 2614 0 -1 4202560 169 0 0 0 16 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446383290920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12288] ppid=12282 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12284 2614 0 -1 4202560 275 0 0 0 24 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446382238120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12289] ppid=12282 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 15 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446381185320 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12290] ppid=12282 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12284 2614 0 -1 4202560 199 0 0 0 20 15 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446380132520 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12291] ppid=12282 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12284 2614 0 -1 4202560 154 0 0 0 13 11 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446379080744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12292] ppid=12282 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12284 2614 0 -1 4202560 160 0 0 0 12 13 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446378027944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12293] ppid=12282 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12284 2614 0 -1 4202560 164 0 0 0 17 12 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446376975144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12294] ppid=12282 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12284 2614 0 -1 4202560 269 0 0 0 22 20 0 0 20 0 19 0 340160465 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446375922344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12284/tid=12295] ppid=12282 vsize=2715132 CPUtime=4.61 cores=1,3,5,7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12284 2614 0 -1 4202560 165 0 0 0 452 9 0 0 20 0 19 0 340160466 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446245288424 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12296] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12284 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446244234488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12297] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12284 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340160467 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446243181576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12298] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446242130064 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12299] ppid=12282 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12284 2614 0 -1 4202560 3674 0 0 0 52 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446241078200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12300] ppid=12282 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12284 2614 0 -1 4202560 4433 0 0 0 54 2 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446240025400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12284/tid=12301] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12284 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446238972792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12284/tid=12302] ppid=12282 vsize=2715132 CPUtime=1.04 cores=1,3,5,7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12284 2614 0 -1 4202560 103 0 0 0 54 50 0 0 20 0 19 0 340160469 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140446237920200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12284/tid=12303] ppid=12282 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12284 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340160746 2780295168 343627 33554432000 1073741824 1073778376 140733576403824 140445229245608 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12284 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=548339
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=262656
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.26
CPU time (s): 1800.08
CPU user time (s): 1798.12
CPU system time (s): 1.96
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.55
system time used= 2.26266
maximum resident set size= 1374716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14100
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38182
involuntary context switches= 8580
runsolver used 7.03893 second user time and 16.0946 second system time
The end