runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478805-1307438587/watcher-3478805-1307438587 -o /tmp/evaluation-result-3478805-1307438587/solver-3478805-1307438587 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3478805-1307438587.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.17 2.07 1.74 2/454 22458
/proc/meminfo: memFree=19432992/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 4461 0 1 0 0 0 0 0 22 0 2 0 855456658 13850947584 4162 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3381579 4176 917 9 0 3372735 0
[pid=22458/tid=22459] ppid=22456 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 5109 0 1 0 0 0 0 0 24 0 2 0 855456659 13850947584 5925 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.062801 s]
/proc/loadavg: 2.17 2.07 1.74 2/454 22458
/proc/meminfo: memFree=19432992/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 14115 0 1 0 4 1 0 0 22 0 18 0 855456658 13880070144 13811 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3388689 13811 1721 9 0 3379437 0
[pid=22458/tid=22459] ppid=22456 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 12941 0 1 0 4 1 0 0 25 0 18 0 855456659 13880070144 13812 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912503981248 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756
[startup+0.100743 s]
/proc/loadavg: 2.17 2.07 1.74 2/454 22458
/proc/meminfo: memFree=19432992/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13622224 CPUtime=0.1 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 15552 0 1 0 9 1 0 0 22 0 18 0 855456658 13949157376 15222 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3405556 15222 2092 9 0 3396290 0
[pid=22458/tid=22459] ppid=22456 vsize=13622224 CPUtime=0.08 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 13623 0 1 0 7 1 0 0 25 0 18 0 855456659 13949157376 15222 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255377344695 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622224
[startup+0.329783 s]
/proc/loadavg: 2.17 2.07 1.74 2/454 22458
/proc/meminfo: memFree=19432992/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13624752 CPUtime=0.57 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 21459 0 1 0 55 2 0 0 22 0 18 0 855456658 13951746048 20456 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3406188 20458 2206 9 0 3396922 0
[pid=22458/tid=22459] ppid=22456 vsize=13624752 CPUtime=0.31 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 18062 0 1 0 30 1 0 0 25 0 18 0 855456659 13951746048 20459 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912505611806 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13624752
[startup+0.70068 s]
/proc/loadavg: 2.17 2.07 1.74 2/454 22458
/proc/meminfo: memFree=19432992/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13701344 CPUtime=1.4 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 66144 0 1 0 134 6 0 0 22 0 18 0 855456658 14030176256 60284 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425336 60289 2217 9 0 3416070 0
[pid=22458/tid=22459] ppid=22456 vsize=13701344 CPUtime=0.68 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 52815 0 1 0 63 5 0 0 25 0 18 0 855456659 14030176256 60292 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912505546861 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13701344
[startup+1.50153 s]
/proc/loadavg: 2.17 2.07 1.74 3/472 22476
/proc/meminfo: memFree=19032916/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13701344 CPUtime=2.23 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 176654 0 1 0 203 20 0 0 22 0 18 0 855456658 14030176256 170794 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425336 170798 2217 9 0 3416070 0
[pid=22458/tid=22459] ppid=22456 vsize=13701344 CPUtime=1.48 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 163321 0 1 0 130 18 0 0 25 0 18 0 855456659 14030176256 170799 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170800 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170803 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170805 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170808 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170811 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170814 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170816 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 170819 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855456662 14030176256 170822 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 170825 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 170828 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 170830 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13701344 CPUtime=0.39 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 7025 0 0 0 39 0 0 0 15 0 18 0 855456665 14030176256 170833 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13701344 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5162 0 0 0 33 0 0 0 15 0 18 0 855456665 14030176256 170836 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 170839 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855456665 14030176256 170841 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13701344
[startup+3.10124 s]
/proc/loadavg: 2.17 2.07 1.74 4/472 22476
/proc/meminfo: memFree=18372244/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13701344 CPUtime=3.87 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 394960 0 1 0 342 45 0 0 22 0 18 0 855456658 14030176256 389100 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425336 389104 2217 9 0 3416070 0
[pid=22458/tid=22459] ppid=22456 vsize=13701344 CPUtime=3.09 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 381613 0 1 0 265 44 0 0 25 0 18 0 855456659 14030176256 389106 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912505617040 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389109 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389112 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389115 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389115 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389117 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389119 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389122 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 389124 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855456662 14030176256 389127 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 389130 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 389132 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 389135 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13701344 CPUtime=0.43 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 7040 0 0 0 43 0 0 0 15 0 18 0 855456665 14030176256 389138 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13701344 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5162 0 0 0 33 0 0 0 15 0 18 0 855456665 14030176256 389140 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 389143 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855456665 14030176256 389145 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13701344
[startup+6.3006 s]
/proc/loadavg: 2.23 2.08 1.74 3/472 22477
/proc/meminfo: memFree=16492040/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13701344 CPUtime=7.25 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 873657 0 1 0 625 100 0 0 22 0 18 0 855456658 14030176256 867716 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425336 867723 2226 9 0 3416070 0
[pid=22458/tid=22459] ppid=22456 vsize=13701344 CPUtime=6.2 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) S 22456 22458 22246 0 -1 4202560 845071 0 1 0 523 97 0 0 25 0 18 0 855456659 14030176256 867725 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 867729 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456661 14030176256 867736 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) R 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855456661 14030176256 867739 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) R 22456 22458 22246 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 18 0 855456661 14030176256 867743 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 47381563856553 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13701344 CPUtime=0.03 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) R 22456 22458 22246 0 -1 4202560 2166 0 0 0 3 0 0 0 18 0 18 0 855456661 14030176256 867750 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 47381563856627 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13701344 CPUtime=0.05 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) R 22456 22458 22246 0 -1 4202560 3206 0 0 0 5 0 0 0 18 0 18 0 855456661 14030176256 867752 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 47381563856561 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13701344 CPUtime=0.07 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) R 22456 22458 22246 0 -1 4202560 4379 0 0 0 7 0 0 0 18 0 18 0 855456661 14030176256 867754 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 47381563856569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13701344 CPUtime=0.07 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) R 22456 22458 22246 0 -1 4202560 5246 0 0 0 7 0 0 0 18 0 18 0 855456661 14030176256 867758 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 47381565561007 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 855456662 14030176256 867763 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 867768 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855456662 14030176256 867773 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 867777 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13701344 CPUtime=0.43 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 7040 0 0 0 43 0 0 0 15 0 18 0 855456665 14030176256 867784 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13701344 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5162 0 0 0 33 0 0 0 15 0 18 0 855456665 14030176256 867787 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855456665 14030176256 867789 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13701344 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 855456665 14030176256 867794 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=22458/tid=22475] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 932891 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 855456665 14031228928 932891 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22478] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22478/stat : 22478 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855457335 14031228928 932891 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.01
Current children cumulated vsize (KiB) 13702372
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.97 3/473 22523
/proc/meminfo: memFree=15600404/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13702372 CPUtime=1726.03 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 943186 0 1 0 172494 109 0 0 22 0 19 0 855456658 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425593 933276 2263 9 0 3416327 0
[pid=22458/tid=22459] ppid=22456 vsize=13702372 CPUtime=1703.95 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 845237 0 1 0 170297 98 0 0 25 0 19 0 855456659 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912505953260 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13702372 CPUtime=0.36 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 7193 0 0 0 35 1 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13702372 CPUtime=0.24 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 44 0 0 0 24 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13702372 CPUtime=0.35 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22458 22246 0 -1 4202560 6254 0 0 0 35 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13702372 CPUtime=0.27 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22458 22246 0 -1 4202560 533 0 0 0 27 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13702372 CPUtime=0.47 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22458 22246 0 -1 4202560 9722 0 0 0 47 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13702372 CPUtime=0.38 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22458 22246 0 -1 4202560 10022 0 0 0 38 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13702372 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22458 22246 0 -1 4202560 5542 0 0 0 33 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13702372 CPUtime=0.34 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22458 22246 0 -1 4202560 6802 0 0 0 34 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13702372 CPUtime=17.43 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 34158 0 0 0 1739 4 0 0 15 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13702372 CPUtime=1.18 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 11196 0 0 0 117 1 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13702372 CPUtime=0.64 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5230 0 0 0 64 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22478] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22478/stat : 22478 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855457335 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.03
Current children cumulated vsize (KiB) 13702372
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 1.97 3/473 22525
/proc/meminfo: memFree=15592944/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13702372 CPUtime=1786.03 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 943188 0 1 0 178494 109 0 0 22 0 19 0 855456658 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425593 933276 2263 9 0 3416327 0
[pid=22458/tid=22459] ppid=22456 vsize=13702372 CPUtime=1763.95 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 845237 0 1 0 176297 98 0 0 25 0 19 0 855456659 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912505969979 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13702372 CPUtime=0.36 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 7193 0 0 0 35 1 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13702372 CPUtime=0.24 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 44 0 0 0 24 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13702372 CPUtime=0.35 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22458 22246 0 -1 4202560 6254 0 0 0 35 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13702372 CPUtime=0.27 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22458 22246 0 -1 4202560 533 0 0 0 27 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13702372 CPUtime=0.47 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22458 22246 0 -1 4202560 9722 0 0 0 47 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13702372 CPUtime=0.38 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22458 22246 0 -1 4202560 10022 0 0 0 38 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13702372 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22458 22246 0 -1 4202560 5542 0 0 0 33 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13702372 CPUtime=0.34 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22458 22246 0 -1 4202560 6802 0 0 0 34 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13702372 CPUtime=17.43 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 34158 0 0 0 1739 4 0 0 15 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13702372 CPUtime=1.18 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 11196 0 0 0 117 1 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13702372 CPUtime=0.64 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5230 0 0 0 64 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22478] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22478/stat : 22478 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855457335 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.03
Current children cumulated vsize (KiB) 13702372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22528
/proc/meminfo: memFree=16377392/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=13702372 CPUtime=1800.06 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22458 22246 0 -1 4202496 943190 0 1 0 179897 109 0 0 22 0 19 0 855456658 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 3425593 933276 2263 9 0 3416327 0
[pid=22458/tid=22459] ppid=22456 vsize=13702372 CPUtime=1777.98 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22458 22246 0 -1 4202560 845237 0 1 0 177700 98 0 0 25 0 19 0 855456659 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 46912506012597 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22458/tid=22461] ppid=22456 vsize=13702372 CPUtime=0.36 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22458 22246 0 -1 4202560 7193 0 0 0 35 1 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22462] ppid=22456 vsize=13702372 CPUtime=0.24 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22458 22246 0 -1 4202560 44 0 0 0 24 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22463] ppid=22456 vsize=13702372 CPUtime=0.35 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22458 22246 0 -1 4202560 6254 0 0 0 35 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22464] ppid=22456 vsize=13702372 CPUtime=0.27 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22458 22246 0 -1 4202560 533 0 0 0 27 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22465] ppid=22456 vsize=13702372 CPUtime=0.47 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22458 22246 0 -1 4202560 9722 0 0 0 47 0 0 0 16 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22466] ppid=22456 vsize=13702372 CPUtime=0.38 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22458 22246 0 -1 4202560 10022 0 0 0 38 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22467] ppid=22456 vsize=13702372 CPUtime=0.33 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22458 22246 0 -1 4202560 5542 0 0 0 33 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22468] ppid=22456 vsize=13702372 CPUtime=0.34 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22458 22246 0 -1 4202560 6802 0 0 0 34 0 0 0 15 0 19 0 855456661 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 7 0 0 0
[pid=22458/tid=22469] ppid=22456 vsize=13702372 CPUtime=17.43 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22458 22246 0 -1 4202560 34158 0 0 0 1739 4 0 0 15 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 0 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22470] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22458 22246 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22471] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22458 22246 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855456662 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22472] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389125041 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22473] ppid=22456 vsize=13702372 CPUtime=1.18 cores=1,3,5,7
/proc/22458/task/22473/stat : 22473 (java) S 22456 22458 22246 0 -1 4202560 11196 0 0 0 117 1 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22474] ppid=22456 vsize=13702372 CPUtime=0.64 cores=1,3,5,7
/proc/22458/task/22474/stat : 22474 (java) S 22456 22458 22246 0 -1 4202560 5230 0 0 0 64 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
[pid=22458/tid=22475] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22475/stat : 22475 (java) S 22456 22458 22246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117337 0 4 0 16800975 18446604464030346048 0 0 -1 5 0 0 0
[pid=22458/tid=22476] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22476/stat : 22476 (java) S 22456 22458 22246 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 855456665 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 1 0 0 0
[pid=22458/tid=22478] ppid=22456 vsize=13702372 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22478/stat : 22478 (java) S 22456 22458 22246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855457335 14031228928 933276 33554432000 1073741824 1073778376 140735992600736 18446744073709551615 255389117952 0 4 0 16800975 18446604464030346048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13702372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.42 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22528
/proc/meminfo: memFree=16377392/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/22458/stat : 22458 (java) Z 22456 22458 22246 0 -1 4203548 943222 0 1 0 179911 112 0 0 17 0 2 0 855456658 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1796.5 s]
/proc/loadavg: 2.04 2.05 1.97 2/453 22528
/proc/meminfo: memFree=16377392/32951124 swapFree=60787360/67111528
[pid=22458] ppid=22456 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/22458/stat : 22458 (java) Z 22456 22458 22246 0 -1 4203548 943222 0 1 0 179911 120 0 0 17 0 2 0 855456658 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22458/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.53
CPU time (s): 1800.35
CPU user time (s): 1799.12
CPU system time (s): 1.23681
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 13702372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.23681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943222
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38782
involuntary context switches= 6258
runsolver used 7.9098 second user time and 18.5652 second system time
The end