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-3459623-1307152548/watcher-3459623-1307152548 -o /tmp/evaluation-result-3459623-1307152548/solver-3459623-1307152548 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459623-1307152548.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.06 2.01 2/471 21693
/proc/meminfo: memFree=31716680/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 3546 0 1 0 0 0 0 0 25 0 2 0 826852653 13833195520 3249 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3377245 3263 906 9 0 3368401 0
[pid=21693/tid=21694] ppid=21691 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 5916 0 1 0 0 0 0 0 25 0 2 0 826852654 13850947584 6733 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0680441 s]
/proc/loadavg: 2.19 2.06 2.01 2/471 21693
/proc/meminfo: memFree=31716680/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 14238 0 1 0 4 1 0 0 25 0 18 0 826852653 13880270848 13935 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3388738 13935 1740 9 0 3379472 0
[pid=21693/tid=21694] ppid=21691 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 13064 0 1 0 4 1 0 0 25 0 18 0 826852654 13880270848 13935 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505227543 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952
[startup+0.106068 s]
/proc/loadavg: 2.19 2.06 2.01 2/471 21693
/proc/meminfo: memFree=31716680/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13621528 CPUtime=0.1 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 15383 0 1 0 9 1 0 0 25 0 18 0 826852653 13948444672 15080 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3405382 15080 2092 9 0 3396116 0
[pid=21693/tid=21694] ppid=21691 vsize=13621528 CPUtime=0.09 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 13643 0 1 0 8 1 0 0 25 0 18 0 826852654 13948444672 15080 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505099250 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) 13621528
[startup+0.305019 s]
/proc/loadavg: 2.19 2.06 2.01 2/471 21693
/proc/meminfo: memFree=31716680/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=0.41 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 17656 0 1 0 40 1 0 0 25 0 19 0 826852653 13954330624 17060 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 17060 2213 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=0.21 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 14319 0 1 0 20 1 0 0 25 0 19 0 826852654 13954330624 17060 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562363573 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13627276
[startup+0.700894 s]
/proc/loadavg: 2.19 2.06 2.01 2/471 21693
/proc/meminfo: memFree=31716680/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=0.87 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 18408 0 1 0 85 2 0 0 25 0 19 0 826852653 13954330624 17812 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 17812 2219 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=0.59 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 15043 0 1 0 58 1 0 0 25 0 19 0 826852654 13954330624 17812 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505545952 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 13627276
[startup+1.50078 s]
/proc/loadavg: 2.19 2.06 2.01 3/490 21713
/proc/meminfo: memFree=31651128/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=1.67 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 19617 0 1 0 165 2 0 0 25 0 19 0 826852653 13954330624 19020 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 19020 2221 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=1.39 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 16249 0 1 0 138 1 0 0 25 0 19 0 826852654 13954330624 19020 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505551912 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19020 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19020 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852656 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 826852657 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.12 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 728 0 0 0 12 0 0 0 21 0 19 0 826852659 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.15 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1480 0 0 0 15 0 0 0 16 0 19 0 826852659 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 19021 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 13627276
[startup+3.10149 s]
/proc/loadavg: 2.19 2.06 2.01 3/490 21713
/proc/meminfo: memFree=31629628/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=3.28 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 21603 0 1 0 326 2 0 0 25 0 19 0 826852653 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 21004 2247 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=2.95 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 16458 0 1 0 294 1 0 0 25 0 19 0 826852654 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505543040 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 383 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 509 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=0.01 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 882 0 0 0 1 0 0 0 15 0 19 0 826852657 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.13 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 731 0 0 0 13 0 0 0 18 0 19 0 826852659 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.16 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1484 0 0 0 16 0 0 0 15 0 19 0 826852659 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 21004 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 13627276
[startup+6.30092 s]
/proc/loadavg: 2.18 2.06 2.01 3/490 21713
/proc/meminfo: memFree=31611524/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=6.5 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 25804 0 1 0 647 3 0 0 25 0 19 0 826852653 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 25202 2247 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=6.12 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 16671 0 1 0 610 2 0 0 21 0 19 0 826852654 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505546054 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 1519 0 0 0 0 0 0 0 16 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 510 0 0 0 0 0 0 0 16 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 1386 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 509 0 0 0 0 0 0 0 18 0 19 0 826852656 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=0.02 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 1834 0 0 0 2 0 0 0 15 0 19 0 826852657 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.14 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 734 0 0 0 14 0 0 0 18 0 19 0 826852659 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.18 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1487 0 0 0 18 0 0 0 15 0 19 0 826852659 13954330624 25202 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1388 0 0 0 29 0 0 0 16 0 19 0 826852656 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0.25 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 2587 0 0 0 25 0 0 0 16 0 19 0 826852656 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0.28 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 1969 0 0 0 28 0 0 0 15 0 19 0 826852656 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=7.68 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 7485 0 0 0 762 6 0 0 15 0 19 0 826852657 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.22 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 756 0 0 0 22 0 0 0 15 0 19 0 826852659 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.19 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1488 0 0 0 19 0 0 0 15 0 19 0 826852659 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 38363 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1663.89
Current children cumulated vsize (KiB) 13627276
[startup+1722.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/490 22237
/proc/meminfo: memFree=31268648/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=1723.93 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 39574 0 1 0 172379 14 0 0 25 0 19 0 826852653 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 38383 2250 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=1713.23 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 18874 0 1 0 171321 2 0 0 25 0 19 0 826852654 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505579819 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0.27 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 2262 0 0 0 27 0 0 0 15 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 969 0 0 0 29 0 0 0 16 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0.28 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 159 0 0 0 28 0 0 0 16 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0.24 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 153 0 0 0 24 0 0 0 16 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0.26 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 217 0 0 0 26 0 0 0 15 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0.3 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1397 0 0 0 30 0 0 0 15 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0.26 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 2587 0 0 0 26 0 0 0 15 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 1975 0 0 0 29 0 0 0 15 0 19 0 826852656 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=7.99 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 7489 0 0 0 793 6 0 0 15 0 19 0 826852657 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.22 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 756 0 0 0 22 0 0 0 15 0 19 0 826852659 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.19 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1488 0 0 0 19 0 0 0 15 0 19 0 826852659 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 38383 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.93
Current children cumulated vsize (KiB) 13627276
[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.02 2/470 22241
/proc/meminfo: memFree=31710184/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=1783.98 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 39609 0 1 0 178383 15 0 0 25 0 19 0 826852653 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 38396 2250 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=1772.89 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 18888 0 1 0 177287 2 0 0 25 0 19 0 826852654 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505551815 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0.28 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 2266 0 0 0 28 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 969 0 0 0 29 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 159 0 0 0 29 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0.25 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 153 0 0 0 25 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0.27 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 220 0 0 0 27 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0.31 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1399 0 0 0 31 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0.27 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 2591 0 0 0 27 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0.3 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 1975 0 0 0 30 0 0 0 15 0 19 0 826852656 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=8.31 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 7493 0 0 0 824 7 0 0 16 0 19 0 826852657 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.22 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 756 0 0 0 22 0 0 0 15 0 19 0 826852659 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.19 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1488 0 0 0 19 0 0 0 15 0 19 0 826852659 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 38396 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.98
Current children cumulated vsize (KiB) 13627276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/490 22333
/proc/meminfo: memFree=31509536/32951124 swapFree=55639044/67111528
[pid=21693] ppid=21691 vsize=13627276 CPUtime=1800.02 cores=1,3,5,7
/proc/21693/stat : 21693 (java) S 21691 21693 19250 0 -1 4202496 39642 0 1 0 179987 15 0 0 25 0 19 0 826852653 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21693/statm: 3406819 38425 2250 9 0 3397553 0
[pid=21693/tid=21694] ppid=21691 vsize=13627276 CPUtime=1788.8 cores=1,3,5,7
/proc/21693/task/21694/stat : 21694 (java) R 21691 21693 19250 0 -1 4202560 18892 0 1 0 178878 2 0 0 25 0 19 0 826852654 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 46912505549376 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21693/tid=21697] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21697/stat : 21697 (java) S 21691 21693 19250 0 -1 4202560 2269 0 0 0 29 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21698] ppid=21691 vsize=13627276 CPUtime=0.3 cores=1,3,5,7
/proc/21693/task/21698/stat : 21698 (java) S 21691 21693 19250 0 -1 4202560 975 0 0 0 30 0 0 0 16 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21699] ppid=21691 vsize=13627276 CPUtime=0.29 cores=1,3,5,7
/proc/21693/task/21699/stat : 21699 (java) S 21691 21693 19250 0 -1 4202560 159 0 0 0 29 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21700] ppid=21691 vsize=13627276 CPUtime=0.25 cores=1,3,5,7
/proc/21693/task/21700/stat : 21700 (java) S 21691 21693 19250 0 -1 4202560 161 0 0 0 25 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21701] ppid=21691 vsize=13627276 CPUtime=0.27 cores=1,3,5,7
/proc/21693/task/21701/stat : 21701 (java) S 21691 21693 19250 0 -1 4202560 226 0 0 0 27 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21702] ppid=21691 vsize=13627276 CPUtime=0.31 cores=1,3,5,7
/proc/21693/task/21702/stat : 21702 (java) S 21691 21693 19250 0 -1 4202560 1399 0 0 0 31 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 1 0 0 0
[pid=21693/tid=21703] ppid=21691 vsize=13627276 CPUtime=0.27 cores=1,3,5,7
/proc/21693/task/21703/stat : 21703 (java) S 21691 21693 19250 0 -1 4202560 2593 0 0 0 27 0 0 0 15 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21704] ppid=21691 vsize=13627276 CPUtime=0.31 cores=1,3,5,7
/proc/21693/task/21704/stat : 21704 (java) S 21691 21693 19250 0 -1 4202560 1979 0 0 0 31 0 0 0 16 0 19 0 826852656 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 7 0 0 0
[pid=21693/tid=21705] ppid=21691 vsize=13627276 CPUtime=8.4 cores=1,3,5,7
/proc/21693/task/21705/stat : 21705 (java) S 21691 21693 19250 0 -1 4202560 7493 0 0 0 833 7 0 0 16 0 19 0 826852657 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 0 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21706] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21706/stat : 21706 (java) S 21691 21693 19250 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21707] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21707/stat : 21707 (java) S 21691 21693 19250 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826852657 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21708] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21708/stat : 21708 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 826852659 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562361265 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21709] ppid=21691 vsize=13627276 CPUtime=0.22 cores=1,3,5,7
/proc/21693/task/21709/stat : 21709 (java) S 21691 21693 19250 0 -1 4202560 756 0 0 0 22 0 0 0 15 0 19 0 826852659 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21710] ppid=21691 vsize=13627276 CPUtime=0.19 cores=1,3,5,7
/proc/21693/task/21710/stat : 21710 (java) S 21691 21693 19250 0 -1 4202560 1488 0 0 0 19 0 0 0 15 0 19 0 826852659 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21711] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21711/stat : 21711 (java) S 21691 21693 19250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852659 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562353561 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
[pid=21693/tid=21712] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21712/stat : 21712 (java) S 21691 21693 19250 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826852659 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 3 0 0 0
[pid=21693/tid=21713] ppid=21691 vsize=13627276 CPUtime=0 cores=1,3,5,7
/proc/21693/task/21713/stat : 21713 (java) S 21691 21693 19250 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826852673 13954330624 38425 33554432000 1073741824 1073778376 140733740880768 18446744073709551615 271562354176 0 4 0 16800975 18446604463248153280 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13627276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.34
CPU time (s): 1800.06
CPU user time (s): 1799.9
CPU system time (s): 0.158975
CPU usage (%): 100.095
Max. virtual memory (cumulated for all children) (KiB): 13627276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39681
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= 48782
involuntary context switches= 11214
runsolver used 8.47471 second user time and 18.9101 second system time
The end