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-3457399-1307658950/watcher-3457399-1307658950 -o /tmp/evaluation-result-3457399-1307658950/solver-3457399-1307658950 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457399-1307658950.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: 7.42 7.94 7.56 3/195 10423
/proc/meminfo: memFree=29510832/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 877491732 31260672 956 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 7632 956 730 9 0 383 0
[pid=10423/tid=10424] ppid=10421 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 877491733 31272960 958 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254500691771 0 0 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.1023 s]
/proc/loadavg: 7.42 7.94 7.56 3/195 10423
/proc/meminfo: memFree=29510832/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10604808 CPUtime=0.1 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 13116 0 1 0 9 1 0 0 25 0 18 0 877491732 10859323392 12760 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2651202 12762 2092 9 0 2641936 0
[pid=10423/tid=10424] ppid=10421 vsize=10604808 CPUtime=0.08 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 11188 0 1 0 7 1 0 0 18 0 18 0 877491733 10859323392 12762 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46952022736901 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) 10604808
[startup+0.207239 s]
/proc/loadavg: 7.42 7.94 7.56 3/195 10423
/proc/meminfo: memFree=29510832/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10616476 CPUtime=0.35 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 18681 0 1 0 33 2 0 0 25 0 18 0 877491732 10871271424 17382 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2654119 17412 2194 9 0 2644853 0
[pid=10423/tid=10424] ppid=10421 vsize=10616476 CPUtime=0.19 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 11938 0 1 0 18 1 0 0 18 0 18 0 877491733 10871271424 17427 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46952027237203 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10616476
[startup+0.301218 s]
/proc/loadavg: 7.42 7.94 7.56 3/195 10423
/proc/meminfo: memFree=29510832/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10622672 CPUtime=0.63 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 23146 0 1 0 60 3 0 0 25 0 19 0 877491732 10877616128 20200 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655668 20208 2206 9 0 2646402 0
[pid=10423/tid=10424] ppid=10421 vsize=10622672 CPUtime=0.28 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 12689 0 1 0 27 1 0 0 19 0 19 0 877491733 10877616128 20227 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505560876 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10622672
[startup+0.701138 s]
/proc/loadavg: 7.42 7.94 7.56 3/195 10423
/proc/meminfo: memFree=29510832/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10622672 CPUtime=1.71 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 44767 0 1 0 165 6 0 0 25 0 19 0 877491732 10877616128 40372 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655668 40379 2223 9 0 2646402 0
[pid=10423/tid=10424] ppid=10421 vsize=10622672 CPUtime=0.69 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 31580 0 1 0 64 5 0 0 19 0 19 0 877491733 10877616128 40382 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505560876 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10622672
[startup+1.50101 s]
/proc/loadavg: 7.07 7.86 7.53 3/214 10442
/proc/meminfo: memFree=29213292/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10622672 CPUtime=2.7 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 114958 0 1 0 257 13 0 0 25 0 19 0 877491732 10877616128 110561 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655668 110565 2226 9 0 2646402 0
[pid=10423/tid=10424] ppid=10421 vsize=10622672 CPUtime=1.49 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 101733 0 1 0 137 12 0 0 18 0 19 0 877491733 10877616128 110566 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505619492 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110568 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110572 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110578 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110580 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110584 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110588 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110591 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 110594 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877491735 10877616128 110597 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 110600 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 110602 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10877616128 110605 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10622672 CPUtime=0.65 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 6791 0 0 0 65 0 0 0 15 0 19 0 877491738 10877616128 110607 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10622672 CPUtime=0.54 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 5279 0 0 0 54 0 0 0 15 0 19 0 877491738 10877616128 110610 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10877616128 110612 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877491738 10877616128 110614 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10877616128 110616 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10622672
[startup+3.10169 s]
/proc/loadavg: 7.07 7.86 7.53 7/214 10442
/proc/meminfo: memFree=28844780/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10622672 CPUtime=4.3 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 228028 0 1 0 406 24 0 0 25 0 19 0 877491732 10877616128 223631 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655668 223635 2226 9 0 2646402 0
[pid=10423/tid=10424] ppid=10421 vsize=10622672 CPUtime=3.08 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 214805 0 1 0 285 23 0 0 19 0 19 0 877491733 10877616128 223637 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505560816 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223638 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223640 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223641 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223642 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223644 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223645 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223646 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 223649 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877491735 10877616128 223653 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 223656 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 223660 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10877616128 223663 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10622672 CPUtime=0.65 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 6791 0 0 0 65 0 0 0 15 0 19 0 877491738 10877616128 223666 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10622672 CPUtime=0.54 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 5279 0 0 0 54 0 0 0 15 0 19 0 877491738 10877616128 223670 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10877616128 223673 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877491738 10877616128 223676 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10877616128 223679 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10622672
[startup+6.30104 s]
/proc/loadavg: 7.07 7.86 7.53 3/214 10442
/proc/meminfo: memFree=28093084/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10622672 CPUtime=7.54 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 395217 0 1 0 710 44 0 0 25 0 19 0 877491732 10877616128 390705 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655668 390706 2227 9 0 2646402 0
[pid=10423/tid=10424] ppid=10421 vsize=10622672 CPUtime=6.28 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 381983 0 1 0 586 42 0 0 21 0 19 0 877491733 10877616128 390706 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505585778 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390707 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390707 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390708 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390708 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390709 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390709 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390710 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877491734 10877616128 390710 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877491735 10877616128 390710 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 390711 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 877491736 10877616128 390711 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10622672 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10877616128 390712 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10622672 CPUtime=0.65 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 6791 0 0 0 65 0 0 0 15 0 19 0 877491738 10877616128 390712 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10622672 CPUtime=0.57 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 5283 0 0 0 57 0 0 0 15 0 19 0 877491738 10877616128 390712 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10623128 CPUtime=1.22 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 8887 0 0 0 122 0 0 0 15 0 19 0 877491738 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10623128 CPUtime=1.29 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 10038 0 0 0 128 1 0 0 15 0 19 0 877491738 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 877491738 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10878083072 986847 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.47
Current children cumulated vsize (KiB) 10623128
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.85 3/214 10499
/proc/meminfo: memFree=24296036/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10623128 CPUtime=1728.57 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 1002737 0 1 0 172741 116 0 0 25 0 19 0 877491732 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655782 989397 2256 9 0 2646516 0
[pid=10423/tid=10424] ppid=10421 vsize=10623128 CPUtime=1718.94 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 789575 0 1 0 171807 87 0 0 25 0 19 0 877491733 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505584760 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10623128 CPUtime=0.66 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 26122 0 0 0 63 3 0 0 16 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10623128 CPUtime=0.6 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 19859 0 0 0 58 2 0 0 16 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10623128 CPUtime=0.62 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 21772 0 0 0 60 2 0 0 15 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10623128 CPUtime=0.51 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 18719 0 0 0 49 2 0 0 16 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10623128 CPUtime=0.6 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 19436 0 0 0 58 2 0 0 15 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10623128 CPUtime=0.62 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 22471 0 0 0 60 2 0 0 15 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10623128 CPUtime=0.7 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 24138 0 0 0 67 3 0 0 16 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10623128 CPUtime=0.61 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 16483 0 0 0 59 2 0 0 15 0 19 0 877491734 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10623128 CPUtime=2.06 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 23988 0 0 0 203 3 0 0 15 0 19 0 877491735 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10623128 CPUtime=1.22 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 8887 0 0 0 122 0 0 0 15 0 19 0 877491738 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10623128 CPUtime=1.29 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 10038 0 0 0 128 1 0 0 15 0 19 0 877491738 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877491738 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10878083072 989397 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.57
Current children cumulated vsize (KiB) 10623128
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.80 3/214 10501
/proc/meminfo: memFree=24276884/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10623128 CPUtime=1788.67 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 1005789 0 1 0 178750 117 0 0 25 0 19 0 877491732 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655782 992323 2256 9 0 2646516 0
[pid=10423/tid=10424] ppid=10421 vsize=10623128 CPUtime=1778.21 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 789578 0 1 0 177734 87 0 0 25 0 19 0 877491733 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505614781 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10623128 CPUtime=0.66 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 26122 0 0 0 63 3 0 0 15 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10623128 CPUtime=0.6 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 19859 0 0 0 58 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 21846 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10623128 CPUtime=0.52 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 19270 0 0 0 50 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 20337 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 22548 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10623128 CPUtime=0.72 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 24772 0 0 0 69 3 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10623128 CPUtime=0.62 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 17101 0 0 0 60 2 0 0 15 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10623128 CPUtime=2.75 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 24178 0 0 0 272 3 0 0 15 0 19 0 877491735 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10623128 CPUtime=1.22 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 8887 0 0 0 122 0 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10623128 CPUtime=1.29 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 10038 0 0 0 128 1 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.67
Current children cumulated vsize (KiB) 10623128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.7 s]
/proc/loadavg: 2.16 2.06 2.80 3/213 10560
/proc/meminfo: memFree=25749500/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=10623128 CPUtime=1800.08 cores=1,3,5,7
/proc/10423/stat : 10423 (java) S 10421 10423 8582 0 -1 4202496 1005789 0 1 0 179891 117 0 0 25 0 19 0 877491732 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 2655782 992323 2256 9 0 2646516 0
[pid=10423/tid=10424] ppid=10421 vsize=10623128 CPUtime=1789.62 cores=1,3,5,7
/proc/10423/task/10424/stat : 10424 (java) R 10421 10423 8582 0 -1 4202560 789578 0 1 0 178875 87 0 0 25 0 19 0 877491733 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 46912505584760 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10423/tid=10426] ppid=10421 vsize=10623128 CPUtime=0.66 cores=1,3,5,7
/proc/10423/task/10426/stat : 10426 (java) S 10421 10423 8582 0 -1 4202560 26122 0 0 0 63 3 0 0 15 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10427] ppid=10421 vsize=10623128 CPUtime=0.6 cores=1,3,5,7
/proc/10423/task/10427/stat : 10427 (java) S 10421 10423 8582 0 -1 4202560 19859 0 0 0 58 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10428] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10428/stat : 10428 (java) S 10421 10423 8582 0 -1 4202560 21846 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10429] ppid=10421 vsize=10623128 CPUtime=0.52 cores=1,3,5,7
/proc/10423/task/10429/stat : 10429 (java) S 10421 10423 8582 0 -1 4202560 19270 0 0 0 50 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10430] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10430/stat : 10430 (java) S 10421 10423 8582 0 -1 4202560 20337 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10431] ppid=10421 vsize=10623128 CPUtime=0.64 cores=1,3,5,7
/proc/10423/task/10431/stat : 10431 (java) S 10421 10423 8582 0 -1 4202560 22548 0 0 0 62 2 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10432] ppid=10421 vsize=10623128 CPUtime=0.72 cores=1,3,5,7
/proc/10423/task/10432/stat : 10432 (java) S 10421 10423 8582 0 -1 4202560 24772 0 0 0 69 3 0 0 16 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10433] ppid=10421 vsize=10623128 CPUtime=0.62 cores=1,3,5,7
/proc/10423/task/10433/stat : 10433 (java) S 10421 10423 8582 0 -1 4202560 17101 0 0 0 60 2 0 0 15 0 19 0 877491734 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10434] ppid=10421 vsize=10623128 CPUtime=2.75 cores=1,3,5,7
/proc/10423/task/10434/stat : 10434 (java) S 10421 10423 8582 0 -1 4202560 24178 0 0 0 272 3 0 0 15 0 19 0 877491735 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 0 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10435] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10435/stat : 10435 (java) S 10421 10423 8582 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10436] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10436/stat : 10436 (java) S 10421 10423 8582 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877491736 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
[pid=10423/tid=10437] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10437/stat : 10437 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512515505 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10438] ppid=10421 vsize=10623128 CPUtime=1.22 cores=1,3,5,7
/proc/10423/task/10438/stat : 10438 (java) S 10421 10423 8582 0 -1 4202560 8887 0 0 0 122 0 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10439] ppid=10421 vsize=10623128 CPUtime=1.29 cores=1,3,5,7
/proc/10423/task/10439/stat : 10439 (java) S 10421 10423 8582 0 -1 4202560 10038 0 0 0 128 1 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 3 0 0 0
[pid=10423/tid=10440] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10440/stat : 10440 (java) S 10421 10423 8582 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512507801 0 4 0 16800975 18446604464491157376 0 0 -1 5 0 0 0
[pid=10423/tid=10441] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10441/stat : 10441 (java) S 10421 10423 8582 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877491738 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 1 0 0 0
[pid=10423/tid=10442] ppid=10421 vsize=10623128 CPUtime=0 cores=1,3,5,7
/proc/10423/task/10442/stat : 10442 (java) S 10421 10423 8582 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877491753 10878083072 992323 33554432000 1073741824 1073778376 140737392644720 18446744073709551615 254512508416 0 4 0 16800975 18446604464491157376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10623128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.81 s]
/proc/loadavg: 2.16 2.06 2.80 3/213 10560
/proc/meminfo: memFree=25749500/32950928 swapFree=67053604/67111528
[pid=10423] ppid=10421 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/10423/stat : 10423 (java) Z 10421 10423 8582 0 -1 4203548 1005833 0 1 0 179900 124 0 0 17 0 2 0 877491732 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10423/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.87
CPU time (s): 1800.3
CPU user time (s): 1799
CPU system time (s): 1.2988
CPU usage (%): 100.358
Max. virtual memory (cumulated for all children) (KiB): 10631548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.2988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005833
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= 38645
involuntary context switches= 8236
runsolver used 2.83757 second user time and 6.97094 second system time
The end