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-3710781-1338153300/watcher-3710781-1338153300 -o /tmp/evaluation-result-3710781-1338153300/solver-3710781-1338153300 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710781-1338153300.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: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (java) D 26612 26614 22966 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 281458536 9515008 185 33554432000 1073741824 1073778376 140736967803456 140736967794680 270118055351 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26614/statm: 2323 185 142 9 0 71 0
[startup+0.0703671 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 3263 0 1 0 4 0 0 0 20 0 18 0 281458536 9787842560 3960 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 3960 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440
[startup+0.100569 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 4181 0 1 0 8 1 0 0 20 0 18 0 281458536 9787842560 4877 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 4877 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300182 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 6091 0 1 0 47 2 0 0 20 0 18 0 281458536 9787842560 8078 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2389610 8078 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440
[startup+0.700192 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 26614
/proc/meminfo: memFree=31301248/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9756 0 1 0 133 3 0 0 20 0 19 0 281458536 9856004096 12079 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 12079 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004
[startup+1.50068 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31250200/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=2.23 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9842 0 1 0 219 4 0 0 20 0 19 0 281458536 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 15218 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2583 0 1 0 140 1 0 0 20 0 19 0 281458537 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667438510632 139667378839436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 281458539 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2928 0 0 0 33 1 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 15218 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625004
[startup+3.10066 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31245732/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=3.9 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9883 0 1 0 386 4 0 0 20 0 19 0 281458536 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 15766 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2586 0 1 0 293 1 0 0 20 0 19 0 281458537 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378808319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 281458539 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2953 0 0 0 38 1 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 15766 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625004
[startup+6.30067 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 26633
/proc/meminfo: memFree=31237236/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=7.13 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 9918 0 1 0 709 4 0 0 20 0 19 0 281458536 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 16646 2283 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=6.02 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2592 0 1 0 601 1 0 0 20 0 19 0 281458537 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667438510488 139667378765986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 281458538 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 33 0 0 0 16 0 0 0 20 0 19 0 281458539 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2953 0 0 0 38 1 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 16646 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625004
[startup+12.7009 s]
################
# More data... #
################
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 94 0 0 0 32 19 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1672.19
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26648
/proc/meminfo: memFree=30820040/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1732.3 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13065 0 1 0 173159 71 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1698.21 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2827 0 1 0 169793 28 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378468236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 152 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.52 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 146 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.58 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 154 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 144 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.57 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 153 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.5 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 147 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 149 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.59 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 154 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=15.87 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 155 0 0 0 1584 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 98 0 0 0 33 19 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1732.3
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26648
/proc/meminfo: memFree=30819356/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1792.57 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13077 0 1 0 179185 72 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1757.36 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2831 0 1 0 175707 29 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378765231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 150 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 148 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 160 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=16.46 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 159 0 0 0 1643 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 102 0 0 0 34 20 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.8 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 26707
/proc/meminfo: memFree=30914552/32873844 swapFree=6872/6872
[pid=26614] ppid=26612 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/26614/stat : 26614 (java) S 26612 26614 22966 0 -1 4202496 13077 0 1 0 179935 72 0 0 20 0 19 0 281458536 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 140736574748944 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26614/statm: 2406251 96034 2284 9 0 2396937 0
[pid=26614/tid=26616] ppid=26612 vsize=9625004 CPUtime=1764.84 cores=1,3,5,7
/proc/26614/task/26616/stat : 26616 (java) R 26612 26614 22966 0 -1 4202560 2831 0 1 0 176455 29 0 0 20 0 19 0 281458537 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667438510384 139667378765577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26617] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26617/stat : 26617 (java) S 26612 26614 22966 0 -1 4202560 311 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667377240360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26618] ppid=26612 vsize=9625004 CPUtime=1.56 cores=1,3,5,7
/proc/26614/task/26618/stat : 26618 (java) S 26612 26614 22966 0 -1 4202560 345 0 0 0 150 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667376187560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26619] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26619/stat : 26619 (java) S 26612 26614 22966 0 -1 4202560 427 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667375135272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26620] ppid=26612 vsize=9625004 CPUtime=1.54 cores=1,3,5,7
/proc/26614/task/26620/stat : 26620 (java) S 26612 26614 22966 0 -1 4202560 374 0 0 0 148 6 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667374082472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26621] ppid=26612 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/26614/task/26621/stat : 26621 (java) S 26612 26614 22966 0 -1 4202560 349 0 0 0 158 4 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667373030184 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26614/tid=26622] ppid=26612 vsize=9625004 CPUtime=1.53 cores=1,3,5,7
/proc/26614/task/26622/stat : 26622 (java) S 26612 26614 22966 0 -1 4202560 329 0 0 0 150 3 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667371977384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26623] ppid=26612 vsize=9625004 CPUtime=1.61 cores=1,3,5,7
/proc/26614/task/26623/stat : 26623 (java) S 26612 26614 22966 0 -1 4202560 247 0 0 0 156 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667275725864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26624] ppid=26612 vsize=9625004 CPUtime=1.65 cores=1,3,5,7
/proc/26614/task/26624/stat : 26624 (java) S 26612 26614 22966 0 -1 4202560 388 0 0 0 160 5 0 0 20 0 19 0 281458538 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667274673064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26625] ppid=26612 vsize=9625004 CPUtime=16.46 cores=1,3,5,7
/proc/26614/task/26625/stat : 26625 (java) S 26612 26614 22966 0 -1 4202560 159 0 0 0 1643 3 0 0 20 0 19 0 281458539 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667262474472 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26626] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26626/stat : 26626 (java) S 26612 26614 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667261420536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26627] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26627/stat : 26627 (java) S 26612 26614 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281458540 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667260368136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26628] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26628/stat : 26628 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667259316624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26629] ppid=26612 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/26614/task/26629/stat : 26629 (java) S 26612 26614 22966 0 -1 4202560 3075 0 0 0 37 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667258264248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26614/tid=26630] ppid=26612 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/26614/task/26630/stat : 26630 (java) S 26612 26614 22966 0 -1 4202560 2959 0 0 0 41 1 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667257211448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26631] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26631/stat : 26631 (java) S 26612 26614 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667256159352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26614/tid=26632] ppid=26612 vsize=9625004 CPUtime=0.54 cores=1,3,5,7
/proc/26614/task/26632/stat : 26632 (java) S 26612 26614 22966 0 -1 4202560 102 0 0 0 34 20 0 0 20 0 19 0 281458543 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667255106760 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26614/tid=26633] ppid=26612 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26614/task/26633/stat : 26633 (java) S 26612 26614 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281458569 9856004096 96034 33554432000 1073741824 1073778376 140736574757808 139667254051752 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26614 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=689165
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=51840
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1789.86
CPU time (s): 1800.07
CPU user time (s): 1799.35
CPU system time (s): 0.72
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 1.05184
maximum resident set size= 384268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43676
involuntary context switches= 28753
runsolver used 6.02008 second user time and 15.2237 second system time
The end