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-3717887-1338256369/watcher-3717887-1338256369 -o /tmp/evaluation-result-3717887-1338256369/solver-3717887-1338256369 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717887-1338256369.wbo
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.00 1.99 1.99 2/194 3527
/proc/meminfo: memFree=30900636/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (java) D 3525 3527 28718 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291763728 9515008 182 33554432000 1073741824 1073778376 140735162287856 140735162278888 271787572917 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2323 182 140 9 0 71 0
[startup+0.015541 s]
/proc/loadavg: 2.00 1.99 1.99 2/194 3527
/proc/meminfo: memFree=30900636/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 291763728 103964672 1051 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100204 s]
/proc/loadavg: 2.00 1.99 1.99 2/194 3527
/proc/meminfo: memFree=30900636/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 4261 0 1 0 8 1 0 0 20 0 18 0 291763728 9787817984 5458 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2389604 5458 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416
[startup+0.302889 s]
/proc/loadavg: 2.00 1.99 1.99 2/194 3527
/proc/meminfo: memFree=30900636/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9558416 CPUtime=0.47 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 5668 0 1 0 46 1 0 0 20 0 18 0 291763728 9787817984 8457 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2389604 8457 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558416
[startup+0.700236 s]
/proc/loadavg: 2.00 1.99 1.99 2/194 3527
/proc/meminfo: memFree=30900636/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9558416 CPUtime=1.2 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 7889 0 1 0 114 6 0 0 20 0 18 0 291763728 9787817984 44127 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2389604 44127 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558416
[startup+1.50072 s]
/proc/loadavg: 2.00 1.99 1.99 3/212 3545
/proc/meminfo: memFree=30688528/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9558416 CPUtime=2.38 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 8684 0 1 0 219 19 0 0 20 0 18 0 291763728 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2389604 97405 2248 9 0 2380296 0
[pid=3527/tid=3529] ppid=3525 vsize=9558416 CPUtime=1.3 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2566 0 1 0 126 4 0 0 20 0 18 0 291763729 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140310026870768 140309887873940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 133 0 0 0 5 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 124 0 0 0 5 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9558416 CPUtime=0.05 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 54 0 0 0 5 1 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 84 0 0 0 6 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 88 0 0 0 5 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 38 0 0 0 5 1 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 121 0 0 0 4 2 0 0 20 0 18 0 291763730 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 291763731 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 291763732 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 291763732 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291763734 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9558416 CPUtime=0.18 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 1028 0 0 0 18 0 0 0 20 0 18 0 291763734 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9558416 CPUtime=0.23 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 3035 0 0 0 23 0 0 0 20 0 18 0 291763734 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291763734 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9558416 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 291763734 9787817984 97405 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9558416
[startup+3.10073 s]
/proc/loadavg: 2.00 1.99 1.99 3/212 3545
/proc/meminfo: memFree=30447860/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=4.76 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 11811 0 1 0 448 28 0 0 20 0 19 0 291763728 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2406245 115733 2267 9 0 2396937 0
[pid=3527/tid=3529] ppid=3525 vsize=9624980 CPUtime=2.81 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2579 0 1 0 277 4 0 0 20 0 19 0 291763729 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140310026879224 140309888147496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 169 0 0 0 10 4 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 173 0 0 0 11 4 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 82 0 0 0 8 2 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 100 0 0 0 8 3 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 107 0 0 0 6 3 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 78 0 0 0 8 3 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 162 0 0 0 7 3 0 0 20 0 19 0 291763730 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291763731 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) R 3525 3527 28718 0 -1 4202560 3016 0 0 0 44 0 0 0 20 0 19 0 291763734 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309846845888 140310030996879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 3918 0 0 0 48 2 0 0 20 0 19 0 291763734 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115733 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 9624980
[startup+6.30077 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 3546
/proc/meminfo: memFree=30445248/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=8.1 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 15510 0 1 0 781 29 0 0 20 0 19 0 291763728 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2406245 115471 2267 9 0 2396937 0
[pid=3527/tid=3529] ppid=3525 vsize=9624980 CPUtime=6.01 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2582 0 1 0 597 4 0 0 20 0 19 0 291763729 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140310026879560 140309888339554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 169 0 0 0 10 4 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 173 0 0 0 11 4 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9624980 CPUtime=0.06 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 82 0 0 0 8 2 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 100 0 0 0 8 3 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 107 0 0 0 6 3 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 78 0 0 0 8 3 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 162 0 0 0 7 3 0 0 20 0 19 0 291763730 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 291763731 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 3066 0 0 0 48 0 0 0 20 0 19 0 291763734 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 7564 0 0 0 57 2 0 0 20 0 19 0 291763734 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3546] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3546/stat : 3546 (java) S 3525 3527 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291763952 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140309842633512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9624980
[startup+12.7008 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 3546
/proc/meminfo: memFree=30442984/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=14.5 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 15511 0 1 0 1421 29 0 0 20 0 19 0 291763728 9855979520 115471 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 183 0 0 0 26 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 120 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 218 0 0 0 24 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=7.99 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 137845 0 0 0 773 26 0 0 20 0 19 0 291763731 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 3580 0 0 0 59 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 7573 0 0 0 62 3 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 99 0 0 0 42 44 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3546] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3546/stat : 3546 (java) S 3525 3527 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291763952 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309842633512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.34
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 3644
/proc/meminfo: memFree=30100860/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=1785.35 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 154172 0 1 0 178447 88 0 0 20 0 19 0 291763728 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2406245 165923 2282 9 0 2396937 0
[pid=3527/tid=3529] ppid=3525 vsize=9624980 CPUtime=1773.64 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2596 0 1 0 177333 31 0 0 20 0 19 0 291763729 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140310026879296 140309888194798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 192 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 195 0 0 0 25 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 131 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 121 0 0 0 19 3 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 183 0 0 0 26 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 120 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 218 0 0 0 24 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=7.99 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 137845 0 0 0 773 26 0 0 20 0 19 0 291763731 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 3580 0 0 0 59 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 7573 0 0 0 62 3 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 103 0 0 0 43 45 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3546] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3546/stat : 3546 (java) S 3525 3527 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291763952 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309842633512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 3644
/proc/meminfo: memFree=30100864/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 154172 0 1 0 179918 89 0 0 20 0 19 0 291763728 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2406245 165923 2282 9 0 2396937 0
[pid=3527/tid=3529] ppid=3525 vsize=9624980 CPUtime=1788.35 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2596 0 1 0 178803 32 0 0 20 0 19 0 291763729 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140310026879296 140309888224163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 192 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 195 0 0 0 25 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 131 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 121 0 0 0 19 3 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 183 0 0 0 26 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 120 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 218 0 0 0 24 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=7.99 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 137845 0 0 0 773 26 0 0 20 0 19 0 291763731 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 3580 0 0 0 59 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 7573 0 0 0 62 3 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 103 0 0 0 44 45 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3546] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3546/stat : 3546 (java) S 3525 3527 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291763952 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309842633512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 3644
/proc/meminfo: memFree=30100864/32873648 swapFree=6852/6852
[pid=3527] ppid=3525 vsize=9624980 CPUtime=1800.07 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3525 3527 28718 0 -1 4202496 154172 0 1 0 179918 89 0 0 20 0 19 0 291763728 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140734510077744 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3527/statm: 2406245 165923 2282 9 0 2396937 0
[pid=3527/tid=3529] ppid=3525 vsize=9624980 CPUtime=1788.35 cores=1,3,5,7
/proc/3527/task/3529/stat : 3529 (java) R 3525 3527 28718 0 -1 4202560 2596 0 1 0 178803 32 0 0 20 0 19 0 291763729 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140310026879296 140309888224163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3530] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3530/stat : 3530 (java) S 3525 3527 28718 0 -1 4202560 192 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309870835880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3531] ppid=3525 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/3527/task/3531/stat : 3531 (java) S 3525 3527 28718 0 -1 4202560 195 0 0 0 25 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309869783336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3532] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3532/stat : 3532 (java) S 3525 3527 28718 0 -1 4202560 131 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309868730792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3533] ppid=3525 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/3527/task/3533/stat : 3533 (java) S 3525 3527 28718 0 -1 4202560 121 0 0 0 19 3 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309867678248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3534] ppid=3525 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/3527/task/3534/stat : 3534 (java) S 3525 3527 28718 0 -1 4202560 135 0 0 0 24 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309866625704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3535] ppid=3525 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/3527/task/3535/stat : 3535 (java) S 3525 3527 28718 0 -1 4202560 183 0 0 0 26 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309865573160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3536] ppid=3525 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3536/stat : 3536 (java) S 3525 3527 28718 0 -1 4202560 120 0 0 0 22 5 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309864520616 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3537] ppid=3525 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/3527/task/3537/stat : 3537 (java) S 3525 3527 28718 0 -1 4202560 218 0 0 0 24 6 0 0 20 0 19 0 291763730 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309863468072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3527/tid=3538] ppid=3525 vsize=9624980 CPUtime=7.99 cores=1,3,5,7
/proc/3527/task/3538/stat : 3538 (java) S 3525 3527 28718 0 -1 4202560 137845 0 0 0 773 26 0 0 20 0 19 0 291763731 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309851056232 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3539] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3539/stat : 3539 (java) S 3525 3527 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309850002552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3540] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3540/stat : 3540 (java) S 3525 3527 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291763732 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309848949896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3541] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3541/stat : 3541 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309847898640 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3542] ppid=3525 vsize=9624980 CPUtime=0.59 cores=1,3,5,7
/proc/3527/task/3542/stat : 3542 (java) S 3525 3527 28718 0 -1 4202560 3580 0 0 0 59 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309846846008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3527/tid=3543] ppid=3525 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/3527/task/3543/stat : 3543 (java) S 3525 3527 28718 0 -1 4202560 7573 0 0 0 62 3 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309845793464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3544] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3544/stat : 3544 (java) S 3525 3527 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309844741112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3527/tid=3545] ppid=3525 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/3527/task/3545/stat : 3545 (java) S 3525 3527 28718 0 -1 4202560 103 0 0 0 44 45 0 0 20 0 19 0 291763734 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309843688776 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3527/tid=3546] ppid=3525 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3527/task/3546/stat : 3546 (java) S 3525 3527 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291763952 9855979520 165923 33554432000 1073741824 1073778376 140734510086608 140309842633512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980
Child status: 143
Real time (s): 1797.03
CPU time (s): 1801.05
CPU user time (s): 1799.44
CPU system time (s): 1.61076
CPU usage (%): 100.223
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 1.61075
maximum resident set size= 703128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154207
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38519
involuntary context switches= 4093
runsolver used 6.08308 second user time and 16.0816 second system time
The end