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-3459568-1307150722/watcher-3459568-1307150722 -o /tmp/evaluation-result-3459568-1307150722/solver-3459568-1307150722 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459568-1307150722.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.37 2.12 2.03 2/547 26461
/proc/meminfo: memFree=21125528/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 5862 0 1 0 0 0 0 0 21 0 2 0 826672655 13850947584 5563 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3381579 5577 917 9 0 3372735 0
[pid=26461/tid=26462] ppid=26459 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 4810 0 1 0 0 0 0 0 22 0 2 0 826672656 13850947584 5626 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0623401 s]
/proc/loadavg: 2.37 2.12 2.03 2/547 26461
/proc/meminfo: memFree=21125528/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 13845 0 1 0 3 1 0 0 21 0 13 0 826672655 13874667520 13541 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3387370 13546 1681 9 0 3378118 0
[pid=26461/tid=26462] ppid=26459 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 12702 0 1 0 3 1 0 0 25 0 13 0 826672656 13874667520 13546 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 47537394021123 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100323 s]
/proc/loadavg: 2.37 2.12 2.03 2/547 26461
/proc/meminfo: memFree=21125528/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13621504 CPUtime=0.08 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 15058 0 1 0 7 1 0 0 21 0 18 0 826672655 13948420096 14754 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3405376 14755 2018 9 0 3396110 0
[pid=26461/tid=26462] ppid=26459 vsize=13621504 CPUtime=0.07 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 13434 0 1 0 6 1 0 0 18 0 18 0 826672656 13948420096 14755 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253640855397 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621504
[startup+0.300265 s]
/proc/loadavg: 2.37 2.12 2.03 2/547 26461
/proc/meminfo: memFree=21125528/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13627456 CPUtime=0.51 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 21175 0 1 0 49 2 0 0 21 0 18 0 826672655 13954514944 20003 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3406864 20004 2202 9 0 3397598 0
[pid=26461/tid=26462] ppid=26459 vsize=13627456 CPUtime=0.27 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 16619 0 1 0 26 1 0 0 18 0 18 0 826672656 13954514944 20005 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505582223 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13627456
[startup+0.700226 s]
/proc/loadavg: 2.37 2.12 2.03 2/547 26461
/proc/meminfo: memFree=21125528/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13641804 CPUtime=1.34 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 51462 0 1 0 127 7 0 0 21 0 18 0 826672655 13969207296 47607 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410451 47607 2218 9 0 3401185 0
[pid=26461/tid=26462] ppid=26459 vsize=13641804 CPUtime=0.67 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 40804 0 1 0 62 5 0 0 18 0 18 0 826672656 13969207296 47609 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505701901 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 13641804
[startup+1.50108 s]
/proc/loadavg: 2.37 2.12 2.03 5/585 26502
/proc/meminfo: memFree=20569856/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=2.62 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 82897 0 1 0 251 11 0 0 21 0 19 0 826672655 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 78035 2226 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=1.47 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 70961 0 1 0 139 8 0 0 20 0 19 0 826672656 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505849840 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826672659 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.47 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2372 0 0 0 47 0 0 0 20 0 19 0 826672662 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.64 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8406 0 0 0 63 1 0 0 20 0 19 0 826672662 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 78035 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 13642832
[startup+3.10079 s]
/proc/loadavg: 2.42 2.13 2.03 3/586 26503
/proc/meminfo: memFree=20131260/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=4.25 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 84708 0 1 0 414 11 0 0 21 0 19 0 826672655 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 79844 2229 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=3.08 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 72763 0 1 0 299 9 0 0 25 0 19 0 826672656 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505849749 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826672659 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.48 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2372 0 0 0 48 0 0 0 16 0 19 0 826672662 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.68 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8412 0 0 0 67 1 0 0 15 0 19 0 826672662 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26503] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26503/stat : 26503 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826672769 13970259968 79844 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13642832
[startup+6.30121 s]
/proc/loadavg: 2.42 2.13 2.03 3/587 26505
/proc/meminfo: memFree=19268520/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=7.46 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 88302 0 1 0 734 12 0 0 21 0 19 0 826672655 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 83437 2230 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=6.27 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 76356 0 1 0 618 9 0 0 25 0 19 0 826672656 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505914106 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672658 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826672659 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826672660 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.48 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2372 0 0 0 48 0 0 0 16 0 19 0 826672662 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.68 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8412 0 0 0 67 1 0 0 15 0 19 0 826672662 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 83437 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 81 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 2485 0 0 0 5 0 0 0 16 0 19 0 826672658 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=6.31 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 8985 0 0 0 630 1 0 0 15 0 19 0 826672659 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.58 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2397 0 0 0 58 0 0 0 15 0 19 0 826672662 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.74 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8642 0 0 0 73 1 0 0 15 0 19 0 826672662 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26503] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26503/stat : 26503 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826672769 13970259968 106218 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 13642832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/587 26552
/proc/meminfo: memFree=18773424/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=1783.86 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 111612 0 1 0 178370 16 0 0 21 0 19 0 826672655 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 106220 2259 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=1775.53 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 83028 0 1 0 177542 11 0 0 25 0 19 0 826672656 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505952496 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 2312 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0.07 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 2343 0 0 0 7 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 24 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 81 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 2485 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=6.57 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 8991 0 0 0 656 1 0 0 15 0 19 0 826672659 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.58 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2397 0 0 0 58 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.74 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8642 0 0 0 73 1 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26503] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26503/stat : 26503 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826672769 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.86
Current children cumulated vsize (KiB) 13642832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.52 s]
/proc/loadavg: 1.92 1.99 1.99 5/587 26600
/proc/meminfo: memFree=20666912/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=1800.1 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 111617 0 1 0 179994 16 0 0 21 0 19 0 826672655 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 106220 2259 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=1791.7 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 83029 0 1 0 179159 11 0 0 25 0 19 0 826672656 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505849815 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 2312 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0.07 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 2343 0 0 0 7 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 24 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 81 0 0 0 5 0 0 0 16 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 2485 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=6.63 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 8993 0 0 0 662 1 0 0 15 0 19 0 826672659 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.58 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2397 0 0 0 58 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.74 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8642 0 0 0 73 1 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26503] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26503/stat : 26503 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826672769 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13642832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.52 s]
/proc/loadavg: 1.92 1.99 1.99 5/587 26600
/proc/meminfo: memFree=20666912/32951124 swapFree=53733252/67111528
[pid=26461] ppid=26459 vsize=13642832 CPUtime=1800.1 cores=1,3,5,7
/proc/26461/stat : 26461 (java) S 26459 26461 24519 0 -1 4202496 111617 0 1 0 179994 16 0 0 21 0 19 0 826672655 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26461/statm: 3410708 106220 2259 9 0 3401442 0
[pid=26461/tid=26462] ppid=26459 vsize=13642832 CPUtime=1791.7 cores=1,3,5,7
/proc/26461/task/26462/stat : 26462 (java) R 26459 26461 24519 0 -1 4202560 83029 0 1 0 179159 11 0 0 25 0 19 0 826672656 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 46912505849815 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26461/tid=26464] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26464/stat : 26464 (java) S 26459 26461 24519 0 -1 4202560 2312 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26465] ppid=26459 vsize=13642832 CPUtime=0.07 cores=1,3,5,7
/proc/26461/task/26465/stat : 26465 (java) S 26459 26461 24519 0 -1 4202560 2343 0 0 0 7 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26466] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26466/stat : 26466 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26467] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26467/stat : 26467 (java) S 26459 26461 24519 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26468] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26468/stat : 26468 (java) S 26459 26461 24519 0 -1 4202560 24 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26469] ppid=26459 vsize=13642832 CPUtime=0.03 cores=1,3,5,7
/proc/26461/task/26469/stat : 26469 (java) S 26459 26461 24519 0 -1 4202560 16 0 0 0 3 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26470] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26470/stat : 26470 (java) S 26459 26461 24519 0 -1 4202560 81 0 0 0 5 0 0 0 16 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26471] ppid=26459 vsize=13642832 CPUtime=0.05 cores=1,3,5,7
/proc/26461/task/26471/stat : 26471 (java) S 26459 26461 24519 0 -1 4202560 2485 0 0 0 5 0 0 0 15 0 19 0 826672658 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26472] ppid=26459 vsize=13642832 CPUtime=6.63 cores=1,3,5,7
/proc/26461/task/26472/stat : 26472 (java) S 26459 26461 24519 0 -1 4202560 8993 0 0 0 662 1 0 0 15 0 19 0 826672659 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26473] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26473/stat : 26473 (java) S 26459 26461 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26474] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26474/stat : 26474 (java) S 26459 26461 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826672660 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26475] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26475/stat : 26475 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26476] ppid=26459 vsize=13642832 CPUtime=0.58 cores=1,3,5,7
/proc/26461/task/26476/stat : 26476 (java) S 26459 26461 24519 0 -1 4202560 2397 0 0 0 58 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26461/tid=26477] ppid=26459 vsize=13642832 CPUtime=0.74 cores=1,3,5,7
/proc/26461/task/26477/stat : 26477 (java) S 26459 26461 24519 0 -1 4202560 8642 0 0 0 73 1 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26478] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26478/stat : 26478 (java) S 26459 26461 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26461/tid=26479] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26479/stat : 26479 (java) S 26459 26461 24519 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826672662 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26461/tid=26503] ppid=26459 vsize=13642832 CPUtime=0 cores=1,3,5,7
/proc/26461/task/26503/stat : 26503 (java) S 26459 26461 24519 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826672769 13970259968 106220 33554432000 1073741824 1073778376 140735438951952 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13642832
Child status: 143
Real time (s): 1798.58
CPU time (s): 1800.15
CPU user time (s): 1799.97
CPU system time (s): 0.185971
CPU usage (%): 100.088
Max. virtual memory (cumulated for all children) (KiB): 13642832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111650
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= 39731
involuntary context switches= 6066
runsolver used 9.54855 second user time and 23.2075 second system time
The end