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-3454291-1307193066/watcher-3454291-1307193066 -o /tmp/evaluation-result-3454291-1307193066/solver-3454291-1307193066 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454291-1307193066.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.39 2.02 2.70 3/544 22459
/proc/meminfo: memFree=24789156/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 7470 0 1 0 0 1 0 0 21 0 2 0 909537330 10694979584 7171 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2611079 7185 917 9 0 2602235 0
[pid=22459/tid=22460] ppid=22457 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 8124 0 1 0 0 0 0 0 23 0 2 0 909537330 10694979584 8940 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.067934 s]
/proc/loadavg: 1.39 2.02 2.70 3/544 22459
/proc/meminfo: memFree=24789156/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 11838 0 1 0 5 1 0 0 21 0 18 0 909537330 10724442112 11534 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2618272 11536 1742 9 0 2609006 0
[pid=22459/tid=22460] ppid=22457 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 10665 0 1 0 4 1 0 0 25 0 18 0 909537330 10724442112 11536 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46948849578755 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100934 s]
/proc/loadavg: 1.39 2.02 2.70 3/544 22459
/proc/meminfo: memFree=24789156/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10605392 CPUtime=0.1 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 13133 0 1 0 9 1 0 0 21 0 18 0 909537330 10859921408 12807 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2651348 12808 2092 9 0 2642082 0
[pid=22459/tid=22460] ppid=22457 vsize=10605392 CPUtime=0.09 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 11212 0 1 0 8 1 0 0 18 0 18 0 909537330 10859921408 12808 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605392
[startup+0.300895 s]
/proc/loadavg: 1.39 2.02 2.70 3/544 22459
/proc/meminfo: memFree=24789156/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10606740 CPUtime=0.5 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 17410 0 1 0 48 2 0 0 21 0 18 0 909537330 10861301760 16554 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2651685 16555 2200 9 0 2642419 0
[pid=22459/tid=22460] ppid=22457 vsize=10606740 CPUtime=0.29 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 13955 0 1 0 27 2 0 0 18 0 18 0 909537330 10861301760 16555 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505614419 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10606740
[startup+0.700863 s]
/proc/loadavg: 1.39 2.02 2.70 3/544 22459
/proc/meminfo: memFree=24789156/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10610752 CPUtime=1.19 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 58961 0 1 0 111 8 0 0 21 0 18 0 909537330 10865410048 56450 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2652688 56455 2213 9 0 2643422 0
[pid=22459/tid=22460] ppid=22457 vsize=10610752 CPUtime=0.69 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 52114 0 1 0 62 7 0 0 18 0 18 0 909537330 10865410048 56457 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505569581 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10610752
[startup+1.50069 s]
/proc/loadavg: 1.39 2.02 2.70 4/566 22481
/proc/meminfo: memFree=24200612/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10610752 CPUtime=1.99 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 147925 0 1 0 181 18 0 0 21 0 18 0 909537330 10865410048 145414 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2652688 145415 2213 9 0 2643422 0
[pid=22459/tid=22460] ppid=22457 vsize=10610752 CPUtime=1.49 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) R 22457 22459 18760 0 -1 4202560 141073 0 1 0 132 17 0 0 19 0 18 0 909537330 10865410048 145416 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505608005 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 909537332 10865410048 145417 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145417 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145418 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145418 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145419 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145420 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145420 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537332 10865410048 145421 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909537333 10865410048 145422 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909537333 10865410048 145423 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909537333 10865410048 145424 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537335 10865410048 145424 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10610752 CPUtime=0.24 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2548 0 0 0 24 0 0 0 18 0 18 0 909537335 10865410048 145425 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10610752 CPUtime=0.24 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 3154 0 0 0 24 0 0 0 17 0 18 0 909537335 10865410048 145426 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909537335 10865410048 145427 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10610752 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909537336 10865410048 145427 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10610752
[startup+3.1014 s]
/proc/loadavg: 1.36 2.01 2.70 5/565 22483
/proc/meminfo: memFree=23892732/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10615320 CPUtime=4.65 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 190354 0 1 0 441 24 0 0 21 0 22 0 909537330 10870087680 185272 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2653830 185272 2230 9 0 2644564 0
[pid=22459/tid=22460] ppid=22457 vsize=10615320 CPUtime=2.55 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) S 22457 22459 18760 0 -1 4202560 173424 0 1 0 234 21 0 0 18 0 22 0 909537330 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909537333 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909537333 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537333 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870087680 185273 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10615320 CPUtime=0.4 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2663 0 0 0 40 0 0 0 16 0 22 0 909537335 10870087680 185274 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10615320 CPUtime=0.63 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 8980 0 0 0 62 1 0 0 15 0 22 0 909537335 10870087680 185274 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870087680 185274 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10615320 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909537336 10870087680 185275 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 10615320
[startup+6.30085 s]
/proc/loadavg: 1.36 2.01 2.70 5/570 22536
/proc/meminfo: memFree=23698468/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10615876 CPUtime=11.45 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 209052 0 1 0 1119 26 0 0 21 0 22 0 909537330 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2653969 203876 2236 9 0 2644703 0
[pid=22459/tid=22460] ppid=22457 vsize=10615876 CPUtime=2.55 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) S 22457 22459 18760 0 -1 4202560 173424 0 1 0 234 21 0 0 15 0 22 0 909537330 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537332 10870657024 203876 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909537333 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909537333 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537333 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10615876 CPUtime=0.62 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2791 0 0 0 62 0 0 0 16 0 22 0 909537335 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10615876 CPUtime=0.82 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 9005 0 0 0 81 1 0 0 16 0 22 0 909537335 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909537336 10870657024 203877 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16913472/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10615876 CPUtime=1645.54 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 953266 0 1 0 164430 124 0 0 21 0 22 0 909537330 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2653969 945701 2255 9 0 2644703 0
[pid=22459/tid=22460] ppid=22457 vsize=10615876 CPUtime=2.55 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) S 22457 22459 18760 0 -1 4202560 173428 0 1 0 234 21 0 0 15 0 22 0 909537330 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10615876 CPUtime=0.46 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 36037 0 0 0 41 5 0 0 15 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10615876 CPUtime=0.55 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 21888 0 0 0 53 2 0 0 15 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10615876 CPUtime=0.33 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 21791 0 0 0 31 2 0 0 16 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10615876 CPUtime=0.54 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 28234 0 0 0 51 3 0 0 15 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10615876 CPUtime=0.35 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 18199 0 0 0 33 2 0 0 16 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10615876 CPUtime=0.52 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 43752 0 0 0 47 5 0 0 15 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10615876 CPUtime=0.42 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 20404 0 0 0 39 3 0 0 15 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10615876 CPUtime=0.33 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 24902 0 0 0 31 2 0 0 16 0 22 0 909537332 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10615876 CPUtime=0.07 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 49 0 0 0 2 5 0 0 15 0 22 0 909537333 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10615876 CPUtime=1 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2841 0 0 0 100 0 0 0 15 0 22 0 909537335 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10615876 CPUtime=1.07 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 9053 0 0 0 106 1 0 0 15 0 22 0 909537335 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909537336 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22488] ppid=22457 vsize=10615876 CPUtime=818.62 cores=1,3,5,7
/proc/22459/task/22488/stat : 22488 (java) R 22457 22459 18760 0 -1 4202560 11805 0 0 0 81859 3 0 0 25 0 22 0 909537586 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505722467 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22459/tid=22489] ppid=22457 vsize=10615876 CPUtime=818.62 cores=1,3,5,7
/proc/22459/task/22489/stat : 22489 (java) R 22457 22459 18760 0 -1 4202560 539677 0 0 0 81798 64 0 0 25 0 22 0 909537586 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505697137 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22459/tid=22490] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22490/stat : 22490 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537591 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22491] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22491/stat : 22491 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537592 10870657024 945701 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1645.54
Current children cumulated vsize (KiB) 10615876
[startup+882.302 s]
/proc/loadavg: 4.00 3.91 3.49 5/570 22563
/proc/meminfo: memFree=16912052/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10615876 CPUtime=1765.58 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 953470 0 1 0 176433 125 0 0 21 0 22 0 909537330 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2653969 945880 2255 9 0 2644703 0
[pid=22459/tid=22460] ppid=22457 vsize=10615876 CPUtime=2.55 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) S 22457 22459 18760 0 -1 4202560 173428 0 1 0 234 21 0 0 15 0 22 0 909537330 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10615876 CPUtime=0.48 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 36045 0 0 0 43 5 0 0 15 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10615876 CPUtime=0.57 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 21916 0 0 0 55 2 0 0 16 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10615876 CPUtime=0.35 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 21817 0 0 0 33 2 0 0 15 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10615876 CPUtime=0.56 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 28243 0 0 0 53 3 0 0 16 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10615876 CPUtime=0.38 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 18223 0 0 0 36 2 0 0 15 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10615876 CPUtime=0.53 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 43806 0 0 0 48 5 0 0 15 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10615876 CPUtime=0.43 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 20427 0 0 0 40 3 0 0 15 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10615876 CPUtime=0.34 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 24910 0 0 0 32 2 0 0 16 0 22 0 909537332 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10615876 CPUtime=0.07 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 53 0 0 0 2 5 0 0 15 0 22 0 909537333 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10615876 CPUtime=1 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2841 0 0 0 100 0 0 0 15 0 22 0 909537335 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10615876 CPUtime=1.07 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 9053 0 0 0 106 1 0 0 15 0 22 0 909537335 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909537336 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22488] ppid=22457 vsize=10615876 CPUtime=878.56 cores=1,3,5,7
/proc/22459/task/22488/stat : 22488 (java) R 22457 22459 18760 0 -1 4202560 11812 0 0 0 87853 3 0 0 25 0 22 0 909537586 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505991007 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22459/tid=22489] ppid=22457 vsize=10615876 CPUtime=878.56 cores=1,3,5,7
/proc/22459/task/22489/stat : 22489 (java) R 22457 22459 18760 0 -1 4202560 539686 0 0 0 87792 64 0 0 25 0 22 0 909537586 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505696393 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22459/tid=22490] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22490/stat : 22490 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537591 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22491] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22491/stat : 22491 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537592 10870657024 945880 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1765.58
Current children cumulated vsize (KiB) 10615876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.602 s]
/proc/loadavg: 4.00 3.91 3.50 5/570 22563
/proc/meminfo: memFree=16897040/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=10615876 CPUtime=1800.23 cores=1,3,5,7
/proc/22459/stat : 22459 (java) S 22457 22459 18760 0 -1 4202496 954108 0 1 0 179898 125 0 0 21 0 22 0 909537330 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22459/statm: 2653969 946514 2255 9 0 2644703 0
[pid=22459/tid=22460] ppid=22457 vsize=10615876 CPUtime=2.55 cores=1,3,5,7
/proc/22459/task/22460/stat : 22460 (java) S 22457 22459 18760 0 -1 4202560 173428 0 1 0 234 21 0 0 15 0 22 0 909537330 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22462] ppid=22457 vsize=10615876 CPUtime=0.48 cores=1,3,5,7
/proc/22459/task/22462/stat : 22462 (java) S 22457 22459 18760 0 -1 4202560 36145 0 0 0 43 5 0 0 16 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22463] ppid=22457 vsize=10615876 CPUtime=0.58 cores=1,3,5,7
/proc/22459/task/22463/stat : 22463 (java) S 22457 22459 18760 0 -1 4202560 22033 0 0 0 56 2 0 0 15 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22464] ppid=22457 vsize=10615876 CPUtime=0.35 cores=1,3,5,7
/proc/22459/task/22464/stat : 22464 (java) S 22457 22459 18760 0 -1 4202560 21954 0 0 0 33 2 0 0 15 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22465] ppid=22457 vsize=10615876 CPUtime=0.57 cores=1,3,5,7
/proc/22459/task/22465/stat : 22465 (java) S 22457 22459 18760 0 -1 4202560 28368 0 0 0 54 3 0 0 15 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 5 0 0 0
[pid=22459/tid=22466] ppid=22457 vsize=10615876 CPUtime=0.38 cores=1,3,5,7
/proc/22459/task/22466/stat : 22466 (java) S 22457 22459 18760 0 -1 4202560 18223 0 0 0 36 2 0 0 16 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22467] ppid=22457 vsize=10615876 CPUtime=0.54 cores=1,3,5,7
/proc/22459/task/22467/stat : 22467 (java) S 22457 22459 18760 0 -1 4202560 43832 0 0 0 49 5 0 0 15 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22468] ppid=22457 vsize=10615876 CPUtime=0.44 cores=1,3,5,7
/proc/22459/task/22468/stat : 22468 (java) S 22457 22459 18760 0 -1 4202560 20556 0 0 0 41 3 0 0 16 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22469] ppid=22457 vsize=10615876 CPUtime=0.35 cores=1,3,5,7
/proc/22459/task/22469/stat : 22469 (java) S 22457 22459 18760 0 -1 4202560 24910 0 0 0 33 2 0 0 15 0 22 0 909537332 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22470] ppid=22457 vsize=10615876 CPUtime=0.07 cores=1,3,5,7
/proc/22459/task/22470/stat : 22470 (java) S 22457 22459 18760 0 -1 4202560 53 0 0 0 2 5 0 0 15 0 22 0 909537333 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 0 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22471] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22471/stat : 22471 (java) S 22457 22459 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22472] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22472/stat : 22472 (java) S 22457 22459 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909537333 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22473] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22473/stat : 22473 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216747002289 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22474] ppid=22457 vsize=10615876 CPUtime=1 cores=1,3,5,7
/proc/22459/task/22474/stat : 22474 (java) S 22457 22459 18760 0 -1 4202560 2841 0 0 0 100 0 0 0 15 0 22 0 909537335 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22475] ppid=22457 vsize=10615876 CPUtime=1.07 cores=1,3,5,7
/proc/22459/task/22475/stat : 22475 (java) S 22457 22459 18760 0 -1 4202560 9053 0 0 0 106 1 0 0 15 0 22 0 909537335 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
[pid=22459/tid=22476] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22476/stat : 22476 (java) S 22457 22459 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909537335 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746994585 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22477] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22477/stat : 22477 (java) S 22457 22459 18760 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909537336 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 1 0 0 0
[pid=22459/tid=22488] ppid=22457 vsize=10615876 CPUtime=895.86 cores=1,3,5,7
/proc/22459/task/22488/stat : 22488 (java) R 22457 22459 18760 0 -1 4202560 11812 0 0 0 89583 3 0 0 25 0 22 0 909537586 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912506039850 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22459/tid=22489] ppid=22457 vsize=10615876 CPUtime=895.86 cores=1,3,5,7
/proc/22459/task/22489/stat : 22489 (java) R 22457 22459 18760 0 -1 4202560 539690 0 0 0 89522 64 0 0 25 0 22 0 909537586 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 46912505783285 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22459/tid=22490] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22490/stat : 22490 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537591 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 3 0 0 0
[pid=22459/tid=22491] ppid=22457 vsize=10615876 CPUtime=0 cores=1,3,5,7
/proc/22459/task/22491/stat : 22491 (java) S 22457 22459 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909537592 10870657024 946514 33554432000 1073741824 1073778376 140735118083680 18446744073709551615 216746995200 0 4 0 16800975 18446604455415375936 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 10615876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.727 s]
/proc/loadavg: 4.00 3.91 3.50 5/551 22566
/proc/meminfo: memFree=19214532/32951124 swapFree=56241860/67111528
[pid=22459] ppid=22457 vsize=0 CPUtime=1800.37 cores=1,3,5,7
/proc/22459/stat : 22459 (java) Z 22457 22459 18760 0 -1 4203548 954135 0 1 0 179901 136 0 0 17 0 2 0 909537330 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22459/statm: 0 0 0 0 0 0 0
[pid=22459/tid=22488] ppid=22457 vsize=0 CPUtime=895.98 cores=1,3,5,7
/proc/22459/task/22488/stat : 22488 (java) R 22457 22459 18760 0 -1 4203588 11812 0 0 0 89584 14 0 0 25 0 2 0 909537586 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.786
CPU time (s): 1800.42
CPU user time (s): 1799.01
CPU system time (s): 1.40579
CPU usage (%): 200.094
Max. virtual memory (cumulated for all children) (KiB): 10615876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.40579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 954135
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= 25240
involuntary context switches= 18681
runsolver used 5.00724 second user time and 11.8722 second system time
The end