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-3481766-1307576941/watcher-3481766-1307576941 -o /tmp/evaluation-result-3481766-1307576941/solver-3481766-1307576941 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481766-1307576941.opb -seed 127171270 -budget 1800
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.10 1.77 0.93 2/624 22455
/proc/meminfo: memFree=28988344/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 1051 0 0 0 0 0 0 0 17 0 1 0 947924897 16633856 923 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415391488 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22455/statm: 4061 923 381 364 0 548 0
[startup+0.11842 s]
/proc/loadavg: 2.10 1.77 0.93 2/624 22455
/proc/meminfo: memFree=28988344/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=98192 CPUtime=0.09 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 3318 932 1 0 7 2 0 0 18 0 1 0 947924897 100548608 2488 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415050161 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22455/statm: 24547 2487 794 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98192
[startup+0.200444 s]
/proc/loadavg: 2.10 1.77 0.93 2/624 22455
/proc/meminfo: memFree=28988344/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 5357 932 1 0 10 4 0 0 17 0 1 0 947924897 126713856 3745 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415387653 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22455/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300367 s]
/proc/loadavg: 2.10 1.77 0.93 2/624 22455
/proc/meminfo: memFree=28988344/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=195532 CPUtime=0.21 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 6588 932 1 0 15 6 0 0 17 0 1 0 947924897 200224768 4880 33554432000 4194304 5683644 140737460620928 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22455/statm: 48882 4879 1427 364 0 3677 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 195532
[startup+0.700349 s]
/proc/loadavg: 2.10 1.77 0.93 2/624 22455
/proc/meminfo: memFree=28988344/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=292208 CPUtime=0.58 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 11467 932 1 0 49 9 0 0 17 0 1 0 947924897 299220992 9330 33554432000 4194304 5683644 140737460620928 18446744073709551615 4602978 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/22455/statm: 73052 9330 1781 364 0 7945 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 292208
[startup+1.50019 s]
/proc/loadavg: 2.10 1.77 0.93 3/625 22460
/proc/meminfo: memFree=28947604/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=301136 CPUtime=1.38 cores=1,3,5,7
/proc/22455/stat : 22455 (python) R 22453 22455 21667 0 -1 4202496 17010 932 1 0 128 10 0 0 18 0 1 0 947924897 308363264 11632 33554432000 4194304 5683644 140737460620928 18446744073709551615 47924151684961 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/22455/statm: 75284 11632 1816 364 0 10177 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 301136
[startup+3.1009 s]
/proc/loadavg: 2.10 1.77 0.93 3/628 22463
/proc/meminfo: memFree=28931724/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=313124 CPUtime=1.73 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 17726 932 1 0 162 11 0 0 21 0 2 0 947924897 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22455/statm: 78281 12120 1870 364 0 13168 0
[pid=22461] ppid=22455 vsize=302880 CPUtime=0 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 947925081 310149120 10597 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411727 0 0 16781312 33554946 17179924335675015429 0 0 17 1 0 0 0
/proc/22461/statm: 75720 10597 351 364 0 10607 0
[pid=22463] ppid=22461 vsize=10988 CPUtime=1.24 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) R 22461 22463 22463 0 -1 4202496 7843 0 0 0 124 0 0 0 25 0 1 0 947925081 11251712 2250 33554432000 134512640 135751879 4293602032 18446744073709551615 134541829 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/22463/statm: 2747 2250 142 303 0 2442 0
[pid=22455/tid=22462] ppid=22453 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 947925081 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 626992
[startup+6.32028 s]
/proc/loadavg: 2.10 1.78 0.94 3/628 22464
/proc/meminfo: memFree=28921452/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=313124 CPUtime=1.73 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 17726 932 1 0 162 11 0 0 21 0 2 0 947924897 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22455/statm: 78281 12120 1870 364 0 13168 0
[pid=22461] ppid=22455 vsize=302880 CPUtime=0.02 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 902 0 0 0 1 1 0 0 18 0 1 0 947925081 310149120 10621 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411727 0 0 16781312 33554946 5731359635735019781 0 0 17 7 0 0 0
/proc/22461/statm: 75720 10621 375 364 0 10607 0
[pid=22463] ppid=22461 vsize=11384 CPUtime=4.47 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) R 22461 22463 22463 0 -1 4202496 20932 0 0 0 445 2 0 0 25 0 1 0 947925081 11657216 2368 33554432000 134512640 135751879 4293602032 18446744073709551615 134637912 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/22463/statm: 2846 2368 142 303 0 2541 0
[pid=22455/tid=22462] ppid=22453 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 947925081 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 627388
[startup+12.7011 s]
/proc/loadavg: 2.09 1.78 0.94 3/628 22464
/proc/meminfo: memFree=28900228/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=313124 CPUtime=1.73 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 17726 932 1 0 162 11 0 0 21 0 2 0 947924897 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22455/statm: 78281 12120 1870 364 0 13168 0
[pid=22461] ppid=22455 vsize=302880 CPUtime=0.04 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 904 0 0 0 2 2 0 0 18 0 1 0 947925081 310149120 10621 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411727 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/22461/statm: 75720 10621 375 364 0 10607 0
[pid=22463] ppid=22461 vsize=13464 CPUtime=10.85 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) R 22461 22463 22463 0 -1 4202496 44524 0 0 0 1079 6 0 0 25 0 1 0 947925081 13787136 2876 33554432000 134512640 135751879 4293602032 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/22463/statm: 3366 2876 142 303 0 3061 0
[pid=22455/tid=22462] ppid=22453 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 947925081 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 629468
[startup+25.5006 s]
/proc/loadavg: 2.07 1.79 0.96 3/628 22464
/proc/meminfo: memFree=28870692/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=313124 CPUtime=1.73 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 17726 932 1 0 162 11 0 0 21 0 2 0 947924897 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22455/statm: 78281 12120 1870 364 0 13168 0
[pid=22461] ppid=22455 vsize=302880 CPUtime=0.1 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 916 0 0 0 5 5 0 0 16 0 1 0 947925081 310149120 10621 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411727 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/22461/statm: 75720 10621 375 364 0 10607 0
[pid=22463] ppid=22461 vsize=18628 CPUtime=23.65 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) R 22461 22463 22463 0 -1 4202496 83890 0 0 0 2352 13 0 0 25 0 1 0 947925081 19075072 4113 33554432000 134512640 135751879 4293602032 18446744073709551615 134542051 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/22463/statm: 4657 4113 142 303 0 4352 0
[pid=22455/tid=22462] ppid=22453 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 2 0 947925081 320638976 12120 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 634632
[startup+51.1017 s]
/proc/loadavg: 2.04 1.81 0.99 5/654 22491
/proc/meminfo: memFree=28669620/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=323380 CPUtime=1.75 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 18635 932 1 0 164 11 0 0 19 0 3 0 947924897 331141120 12127 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/22455/statm: 80845 12127 1873 364 0 15729 0
[pid=22461] ppid=22455 vsize=313124 CPUtime=0.31 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 1176 0 0 0 14 17 0 0 17 0 2 0 947925081 320638976 10662 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22461/statm: 78281 10662 411 364 0 13168 0
[pid=22463] ppid=22461 vsize=27864 CPUtime=47.49 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) T 22461 22463 22463 0 -1 4202496 138944 0 0 0 4706 43 0 0 25 0 1 0 947925081 28532736 6489 33554432000 134512640 135751879 4293602032 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/22463/statm: 6966 6489 146 303 0 6661 0
[pid=22461/tid=22470] ppid=22455 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22470/stat : 22470 (python) S 22455 22455 21667 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 947929831 320638976 10662 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604457724592320 0 0 -1 7 0 0 0
[pid=22471] ppid=22455 vsize=313136 CPUtime=0 cores=1,3,5,7
/proc/22471/stat : 22471 (python) S 22455 22455 21667 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 1 0 947929833 320651264 10598 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411782 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/22471/statm: 78284 10598 348 364 0 13168 0
[pid=22473] ppid=22471 vsize=8539552 CPUtime=2.63 cores=1,3,5,7
/proc/22473/stat : 22473 (java) S 22471 22473 22473 0 -1 4202496 43616 0 1 0 258 5 0 0 17 0 19 0 947929834 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22473/statm: 2134888 40470 2246 9 0 2125629 0
[pid=22473/tid=22474] ppid=22471 vsize=8539552 CPUtime=1.68 cores=1,3,5,7
/proc/22473/task/22474/stat : 22474 (java) R 22471 22473 22473 0 -1 4202560 35266 0 1 0 164 4 0 0 20 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 46912505837206 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22473/tid=22475] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22475/stat : 22475 (java) S 22471 22473 22473 0 -1 4202560 395 0 0 0 0 0 0 0 16 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 7 0 0 0
[pid=22473/tid=22476] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22476/stat : 22476 (java) S 22471 22473 22473 0 -1 4202560 274 0 0 0 0 0 0 0 16 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 1 0 0 0
[pid=22473/tid=22477] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22477/stat : 22477 (java) S 22471 22473 22473 0 -1 4202560 416 0 0 0 0 0 0 0 16 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22478] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22478/stat : 22478 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22479] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22479/stat : 22479 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22480] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22480/stat : 22480 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22481] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22481/stat : 22481 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22482] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22482/stat : 22482 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929835 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22483] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22483/stat : 22483 (java) S 22471 22473 22473 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 947929836 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 0 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22484] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22484/stat : 22484 (java) S 22471 22473 22473 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 947929837 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 7 0 0 0
[pid=22473/tid=22485] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22485/stat : 22485 (java) S 22471 22473 22473 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947929837 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 1 0 0 0
[pid=22473/tid=22486] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22486/stat : 22486 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947929839 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427215281 0 4 0 16800975 18446604457724594112 0 0 -1 7 0 0 0
[pid=22473/tid=22487] ppid=22471 vsize=8539552 CPUtime=0.44 cores=1,3,5,7
/proc/22473/task/22487/stat : 22487 (java) S 22471 22473 22473 0 -1 4202560 3164 0 0 0 44 0 0 0 15 0 19 0 947929839 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 1 0 0 0
[pid=22473/tid=22488] ppid=22471 vsize=8539552 CPUtime=0.47 cores=1,3,5,7
/proc/22473/task/22488/stat : 22488 (java) S 22471 22473 22473 0 -1 4202560 2637 0 0 0 47 0 0 0 15 0 19 0 947929839 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 3 0 0 0
[pid=22473/tid=22489] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22489/stat : 22489 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947929839 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446604457724594112 0 0 -1 7 0 0 0
[pid=22473/tid=22490] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22490/stat : 22490 (java) S 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947929839 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 4 0 16800975 18446604457724594112 0 0 -1 1 0 0 0
[pid=22473/tid=22491] ppid=22471 vsize=8539552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22491/stat : 22491 (java) S 22471 22473 22473 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947929912 8744501248 40470 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 4 0 16800975 18446604457724594112 0 0 -1 1 0 0 0
[pid=22455/tid=22462] ppid=22453 vsize=323380 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 3 0 947925081 331141120 12127 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22472] ppid=22453 vsize=323380 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22502/stat : 22502 (clasp-1.3.7-x86) T 22500 22502 22502 0 -1 4202496 51722 0 0 0 9305 7 0 0 25 0 1 0 947939317 210161664 51036 33554432000 134512640 136139019 4289595424 18446744073709551615 134626824 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/22502/statm: 51309 51036 187 398 0 50909 0
[pid=22500/tid=22510] ppid=22455 vsize=323392 CPUtime=0 cores=1,3,5,7
/proc/22500/task/22510/stat : 22510 (python) S 22455 22455 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947948630 331153408 10651 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033987968 0 0 -1 7 0 0 0
[pid=22511] ppid=22455 vsize=333648 CPUtime=0.19 cores=1,3,5,7
/proc/22511/stat : 22511 (python) S 22455 22455 21667 0 -1 4202560 971 0 0 0 9 10 0 0 15 0 1 0 947948632 341655552 10630 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411782 0 0 16781312 33554946 5623753486446373782 0 0 17 7 0 0 0
/proc/22511/statm: 83412 10630 372 364 0 18290 0
[pid=22513] ppid=22511 vsize=545824 CPUtime=44.95 cores=1,3,5,7
/proc/22513/stat : 22513 (pbct-0.1.2-linu) R 22511 22513 22513 0 -1 4202496 138327 0 0 0 4423 72 0 0 25 0 1 0 947948632 558923776 134254 33554432000 134512640 136422188 4289110736 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/22513/statm: 136456 134254 236 467 0 135987 0
[pid=22455/tid=22462] ppid=22453 vsize=343892 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 5 0 947925081 352145408 12139 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22472] ppid=22453 vsize=343892 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22472/stat : 22472 (python) S 22453 22455 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 5 0 947929833 352145408 12139 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22501] ppid=22453 vsize=343892 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22501/stat : 22501 (python) S 22453 22455 21667 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 947939317 352145408 12139 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22512] ppid=22453 vsize=343892 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22512/stat : 22512 (python) S 22453 22455 21667 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 5 0 947948632 352145408 12139 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 285.12
Current children cumulated vsize (KiB) 10944668
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+285.602 s]
/proc/loadavg: 2.28 1.99 1.23 7/701 22613
/proc/meminfo: memFree=27136252/32950928 swapFree=50514916/67111528
[pid=22455] ppid=22453 vsize=354148 CPUtime=1.83 cores=1,3,5,7
/proc/22455/stat : 22455 (python) S 22453 22455 21667 0 -1 4202496 21193 932 1 0 171 12 0 0 19 0 6 0 947924897 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22455/statm: 88537 12145 1879 364 0 23412 0
[pid=22461] ppid=22455 vsize=313124 CPUtime=0.31 cores=1,3,5,7
/proc/22461/stat : 22461 (python) S 22455 22455 21667 0 -1 4202560 1176 0 0 0 14 17 0 0 17 0 2 0 947925081 320638976 10662 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22461/statm: 78281 10662 411 364 0 13168 0
[pid=22463] ppid=22461 vsize=27864 CPUtime=47.49 cores=1,3,5,7
/proc/22463/stat : 22463 (wbo1.4a) T 22461 22463 22463 0 -1 4202496 138944 0 0 0 4706 43 0 0 25 0 1 0 947925081 28532736 6489 33554432000 134512640 135751879 4293602032 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/22463/statm: 6966 6489 146 303 0 6661 0
[pid=22461/tid=22470] ppid=22455 vsize=313124 CPUtime=0 cores=1,3,5,7
/proc/22461/task/22470/stat : 22470 (python) S 22455 22455 21667 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 947929831 320638976 10662 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604457724592320 0 0 -1 7 0 0 0
[pid=22471] ppid=22455 vsize=313136 CPUtime=0.46 cores=1,3,5,7
/proc/22471/stat : 22471 (python) S 22455 22455 21667 0 -1 4202560 1129 0 0 0 22 24 0 0 16 0 2 0 947929833 320651264 10647 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22471/statm: 78284 10647 396 364 0 13168 0
[pid=22473] ppid=22471 vsize=8538552 CPUtime=96.4 cores=1,3,5,7
/proc/22473/stat : 22473 (java) T 22471 22473 22473 0 -1 4202496 134343 0 1 0 9623 17 0 0 15 0 19 0 947929834 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22473/statm: 2134638 111243 2258 9 0 2125379 0
[pid=22473/tid=22474] ppid=22471 vsize=8538552 CPUtime=93.36 cores=1,3,5,7
/proc/22473/task/22474/stat : 22474 (java) T 22471 22473 22473 0 -1 4202560 35290 0 1 0 9332 4 0 0 25 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 46912505905143 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22473/tid=22475] ppid=22471 vsize=8538552 CPUtime=0.14 cores=1,3,5,7
/proc/22473/task/22475/stat : 22475 (java) T 22471 22473 22473 0 -1 4202560 14562 0 0 0 13 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22473/tid=22476] ppid=22471 vsize=8538552 CPUtime=0.1 cores=1,3,5,7
/proc/22473/task/22476/stat : 22476 (java) T 22471 22473 22473 0 -1 4202560 7203 0 0 0 10 0 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22477] ppid=22471 vsize=8538552 CPUtime=0.09 cores=1,3,5,7
/proc/22473/task/22477/stat : 22477 (java) T 22471 22473 22473 0 -1 4202560 10742 0 0 0 8 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22473/tid=22478] ppid=22471 vsize=8538552 CPUtime=0.1 cores=1,3,5,7
/proc/22473/task/22478/stat : 22478 (java) T 22471 22473 22473 0 -1 4202560 5771 0 0 0 10 0 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22479] ppid=22471 vsize=8538552 CPUtime=0.11 cores=1,3,5,7
/proc/22473/task/22479/stat : 22479 (java) T 22471 22473 22473 0 -1 4202560 15176 0 0 0 10 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22480] ppid=22471 vsize=8538552 CPUtime=0.1 cores=1,3,5,7
/proc/22473/task/22480/stat : 22480 (java) T 22471 22473 22473 0 -1 4202560 10201 0 0 0 9 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22473/tid=22481] ppid=22471 vsize=8538552 CPUtime=0.09 cores=1,3,5,7
/proc/22473/task/22481/stat : 22481 (java) T 22471 22473 22473 0 -1 4202560 6957 0 0 0 8 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22482] ppid=22471 vsize=8538552 CPUtime=0.12 cores=1,3,5,7
/proc/22473/task/22482/stat : 22482 (java) T 22471 22473 22473 0 -1 4202560 12107 0 0 0 11 1 0 0 15 0 19 0 947929835 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22473/tid=22483] ppid=22471 vsize=8538552 CPUtime=0.97 cores=1,3,5,7
/proc/22473/task/22483/stat : 22483 (java) T 22471 22473 22473 0 -1 4202560 8593 0 0 0 97 0 0 0 15 0 19 0 947929836 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22473/tid=22484] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22484/stat : 22484 (java) T 22471 22473 22473 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947929837 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22473/tid=22485] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22485/stat : 22485 (java) T 22471 22473 22473 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947929837 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22486] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22486/stat : 22486 (java) T 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947929839 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22473/tid=22487] ppid=22471 vsize=8538552 CPUtime=0.55 cores=1,3,5,7
/proc/22473/task/22487/stat : 22487 (java) T 22471 22473 22473 0 -1 4202560 3698 0 0 0 55 0 0 0 15 0 19 0 947929839 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22473/tid=22488] ppid=22471 vsize=8538552 CPUtime=0.52 cores=1,3,5,7
/proc/22473/task/22488/stat : 22488 (java) T 22471 22473 22473 0 -1 4202560 2652 0 0 0 52 0 0 0 15 0 19 0 947929839 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22473/tid=22489] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22489/stat : 22489 (java) T 22471 22473 22473 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947929839 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22473/tid=22490] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22490/stat : 22490 (java) T 22471 22473 22473 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947929839 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22473/tid=22491] ppid=22471 vsize=8538552 CPUtime=0 cores=1,3,5,7
/proc/22473/task/22491/stat : 22491 (java) T 22471 22473 22473 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947929912 8743477248 111243 33554432000 1073741824 1073778376 140734149032784 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22471/tid=22499] ppid=22455 vsize=313136 CPUtime=0 cores=1,3,5,7
/proc/22471/task/22499/stat : 22499 (python) S 22455 22455 21667 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947939314 320651264 10647 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604464600201216 0 0 -1 7 0 0 0
[pid=22500] ppid=22455 vsize=323392 CPUtime=0.41 cores=1,3,5,7
/proc/22500/stat : 22500 (python) S 22455 22455 21667 0 -1 4202560 1135 0 0 0 19 22 0 0 17 0 2 0 947939317 331153408 10651 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22500/statm: 80848 10651 396 364 0 15729 0
[pid=22502] ppid=22500 vsize=205236 CPUtime=93.12 cores=1,3,5,7
/proc/22502/stat : 22502 (clasp-1.3.7-x86) T 22500 22502 22502 0 -1 4202496 51722 0 0 0 9305 7 0 0 25 0 1 0 947939317 210161664 51036 33554432000 134512640 136139019 4289595424 18446744073709551615 134626824 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/22502/statm: 51309 51036 187 398 0 50909 0
[pid=22500/tid=22510] ppid=22455 vsize=323392 CPUtime=0 cores=1,3,5,7
/proc/22500/task/22510/stat : 22510 (python) S 22455 22455 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947948630 331153408 10651 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033987968 0 0 -1 7 0 0 0
[pid=22511] ppid=22455 vsize=333648 CPUtime=0.22 cores=1,3,5,7
/proc/22511/stat : 22511 (python) S 22455 22455 21667 0 -1 4202560 1137 0 0 0 11 11 0 0 16 0 2 0 947948632 341655552 10655 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22511/statm: 83412 10655 396 364 0 18290 0
[pid=22513] ppid=22511 vsize=545824 CPUtime=47.91 cores=1,3,5,7
/proc/22513/stat : 22513 (pbct-0.1.2-linu) T 22511 22513 22513 0 -1 4202496 138327 0 0 0 4716 75 0 0 25 0 1 0 947948632 558923776 134254 33554432000 134512640 136422188 4289110736 18446744073709551615 135022546 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/22513/statm: 136456 134254 236 467 0 135987 0
[pid=22511/tid=22592] ppid=22455 vsize=333648 CPUtime=0 cores=1,3,5,7
/proc/22511/task/22592/stat : 22592 (python) S 22455 22455 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947953425 341655552 10655 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554946 18446604455303877568 0 0 -1 7 0 0 0
[pid=22593] ppid=22455 vsize=343904 CPUtime=0 cores=1,3,5,7
/proc/22593/stat : 22593 (python) S 22455 22455 21667 0 -1 4202560 788 0 0 0 0 0 0 0 18 0 1 0 947953428 352157696 10610 33554432000 4194304 5683644 140737460620928 18446744073709551615 256415411782 0 0 16781312 33554946 14442329361073799428 0 0 17 7 0 0 0
/proc/22593/statm: 85976 10610 348 364 0 20851 0
[pid=22595] ppid=22593 vsize=8532552 CPUtime=0.63 cores=1,3,5,7
/proc/22595/stat : 22595 (java) S 22593 22595 22595 0 -1 4202496 11628 0 1 0 61 2 0 0 19 0 18 0 947953428 8737333248 10285 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22595/statm: 2133138 10286 2202 9 0 2123879 0
[pid=22595/tid=22596] ppid=22593 vsize=8532552 CPUtime=0.34 cores=1,3,5,7
/proc/22595/task/22596/stat : 22596 (java) R 22593 22595 22595 0 -1 4202560 7296 0 1 0 33 1 0 0 18 0 18 0 947953429 8737333248 10456 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 46912505627618 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22595/tid=22597] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22597/stat : 22597 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 947953429 8737333248 10458 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22598] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22598/stat : 22598 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947953429 8737333248 10459 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22600] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22600/stat : 22600 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947953429 8737333248 10460 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22601] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22601/stat : 22601 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947953429 8737333248 10462 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22602] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22602/stat : 22602 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953429 8737333248 10463 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22603] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22603/stat : 22603 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953429 8737333248 10464 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22604] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22604/stat : 22604 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953429 8737333248 10466 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22605] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22605/stat : 22605 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953429 8737333248 10467 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22606] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22606/stat : 22606 (java) S 22593 22595 22595 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947953430 8737333248 10469 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427208192 0 0 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22607] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22607/stat : 22607 (java) S 22593 22595 22595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947953431 8737333248 10470 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22608] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22608/stat : 22608 (java) S 22593 22595 22595 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 947953431 8737333248 10471 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22609] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22609/stat : 22609 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953433 8737333248 10472 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427215281 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22610] ppid=22593 vsize=8532552 CPUtime=0.16 cores=1,3,5,7
/proc/22595/task/22610/stat : 22610 (java) S 22593 22595 22595 0 -1 4202560 1908 0 0 0 16 0 0 0 25 0 18 0 947953433 8737333248 10474 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22595/tid=22611] ppid=22593 vsize=8532552 CPUtime=0.12 cores=1,3,5,7
/proc/22595/task/22611/stat : 22611 (java) S 22593 22595 22595 0 -1 4202560 1205 0 0 0 12 0 0 0 16 0 18 0 947953433 8737333248 10475 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 7 0 0 0
[pid=22595/tid=22612] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22612/stat : 22612 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947953433 8737333248 10476 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427207577 0 4 0 16800975 18446604462061743168 0 0 -1 5 0 0 0
[pid=22595/tid=22613] ppid=22593 vsize=8532552 CPUtime=0 cores=1,3,5,7
/proc/22595/task/22613/stat : 22613 (java) S 22593 22595 22595 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947953433 8737333248 10478 33554432000 1073741824 1073778376 140736477609888 18446744073709551615 256427208192 0 4 0 16800975 18446604462061743168 0 0 -1 1 0 0 0
[pid=22455/tid=22462] ppid=22453 vsize=354148 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22462/stat : 22462 (python) S 22453 22455 21667 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 6 0 947925081 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22472] ppid=22453 vsize=354148 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22472/stat : 22472 (python) S 22453 22455 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 947929833 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22501] ppid=22453 vsize=354148 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22501/stat : 22501 (python) S 22453 22455 21667 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 947939317 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 3 0 0 0
[pid=22455/tid=22512] ppid=22453 vsize=354148 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22512/stat : 22512 (python) S 22453 22455 21667 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 6 0 947948632 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 5 0 0 0
[pid=22455/tid=22594] ppid=22453 vsize=354148 CPUtime=0 cores=1,3,5,7
/proc/22455/task/22594/stat : 22594 (python) S 22453 22455 21667 0 -1 4202560 31 932 0 0 0 0 0 0 20 0 6 0 947953428 362647552 12145 33554432000 4194304 5683644 140737460620928 18446744073709551615 256427215281 0 0 16781312 33554434 18446604467898616512 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 288.78
Current children cumulated vsize (KiB) 19831380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22455 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=713739
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 1.84072
# while last known CPU time is 288.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.781
CPU time (s): 288.78
CPU user time (s): 286.48
CPU system time (s): 2.3
CPU usage (%): 101.049
Max. virtual memory (cumulated for all children) (KiB): 19831380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.71374
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22128
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= 1012
involuntary context switches= 22
runsolver used 1.86272 second user time and 4.01439 second system time
The end