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-3481566-1307578217/watcher-3481566-1307578217 -o /tmp/evaluation-result-3481566-1307578217/solver-3481566-1307578217 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481566-1307578217.opb -seed 395511426 -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: 1.94 2.06 1.77 2/830 32105
/proc/meminfo: memFree=20424716/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/32105/stat : 32105 (python) R 32103 32105 30488 0 -1 4202496 1062 0 0 0 1 0 0 0 17 0 1 0 869420535 16629760 934 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32105/statm: 4060 934 381 364 0 547 0
[startup+0.060836 s]
/proc/loadavg: 1.94 2.06 1.77 2/830 32105
/proc/meminfo: memFree=20424716/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=29788 CPUtime=0.03 cores=1,3,5,7
/proc/32105/stat : 32105 (python) R 32103 32105 30488 0 -1 4202496 1452 0 0 0 3 0 0 0 17 0 1 0 869420535 30502912 1294 33554432000 4194304 5683644 140735619576016 18446744073709551615 4516276 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32105/statm: 7447 1294 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.100832 s]
/proc/loadavg: 1.94 2.06 1.77 2/830 32105
/proc/meminfo: memFree=20424716/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 2663 0 0 0 4 1 0 0 17 0 1 0 869420535 87670784 2381 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272684901 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/32105/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300865 s]
/proc/loadavg: 1.94 2.06 1.77 2/830 32105
/proc/meminfo: memFree=20424716/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=123736 CPUtime=0.16 cores=1,3,5,7
/proc/32105/stat : 32105 (python) R 32103 32105 30488 0 -1 4202496 5357 933 1 0 12 4 0 0 16 0 1 0 869420535 126705664 3744 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272685061 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/32105/statm: 30934 3744 987 364 0 2766 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123736
[startup+0.70079 s]
/proc/loadavg: 1.94 2.06 1.77 2/830 32105
/proc/meminfo: memFree=20424716/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=282400 CPUtime=0.4 cores=1,3,5,7
/proc/32105/stat : 32105 (python) R 32103 32105 30488 0 -1 4202496 9077 933 1 0 30 10 0 0 15 0 1 0 869420535 289177600 6936 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272509333 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32105/statm: 70600 6936 1776 364 0 5493 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282400
[startup+1.50065 s]
/proc/loadavg: 1.94 2.06 1.77 3/831 32111
/proc/meminfo: memFree=20397544/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=296432 CPUtime=0.87 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 12257 1364 1 0 65 13 7 2 18 0 2 0 869420535 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 74108 7948 1871 364 0 8995 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 296432
[startup+3.10029 s]
/proc/loadavg: 1.94 2.06 1.77 3/834 32114
/proc/meminfo: memFree=20327956/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=296432 CPUtime=0.87 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 12257 1364 1 0 65 13 7 2 18 0 2 0 869420535 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 74108 7948 1871 364 0 8995 0
[pid=32112] ppid=32105 vsize=286188 CPUtime=0 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 714 0 0 0 0 0 0 0 15 0 1 0 869420647 293056512 6392 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709135 0 0 16781312 33554946 226848597637824773 0 0 17 1 0 0 0
/proc/32112/statm: 71547 6392 319 364 0 6434 0
[pid=32114] ppid=32112 vsize=78788 CPUtime=1.96 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) R 32112 32114 32114 0 -1 4202496 18116 0 0 0 180 16 0 0 25 0 1 0 869420647 80678912 16984 33554432000 4194304 13684479 140737469740448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32114/statm: 19697 16984 736 2317 0 17375 0
[pid=32105/tid=32113] ppid=32103 vsize=296432 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 2 0 869420647 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 661408
[startup+6.30079 s]
/proc/loadavg: 2.02 2.07 1.78 3/834 32114
/proc/meminfo: memFree=20327372/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=296432 CPUtime=0.87 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 12257 1364 1 0 65 13 7 2 18 0 2 0 869420535 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 74108 7948 1871 364 0 8995 0
[pid=32112] ppid=32105 vsize=286188 CPUtime=0.02 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 872 0 0 0 0 2 0 0 15 0 1 0 869420647 293056512 6416 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709135 0 0 16781312 33554946 3379984819222970629 0 0 17 7 0 0 0
/proc/32112/statm: 71547 6416 343 364 0 6434 0
[pid=32114] ppid=32112 vsize=80708 CPUtime=5.17 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) R 32112 32114 32114 0 -1 4202496 18745 0 0 0 499 18 0 0 25 0 1 0 869420647 82644992 17598 33554432000 4194304 13684479 140737469740448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32114/statm: 20177 17598 736 2317 0 17855 0
[pid=32105/tid=32113] ppid=32103 vsize=296432 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 2 0 869420647 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 663328
[startup+12.7007 s]
/proc/loadavg: 2.02 2.07 1.78 3/834 32114
/proc/meminfo: memFree=20271620/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=296432 CPUtime=0.87 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 12257 1364 1 0 65 13 7 2 18 0 2 0 869420535 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 74108 7948 1871 364 0 8995 0
[pid=32112] ppid=32105 vsize=286188 CPUtime=0.04 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 877 0 0 0 1 3 0 0 15 0 1 0 869420647 293056512 6416 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373577 0 0 17 7 0 0 0
/proc/32112/statm: 71547 6416 343 364 0 6434 0
[pid=32114] ppid=32112 vsize=129872 CPUtime=11.57 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) R 32112 32114 32114 0 -1 4202496 33099 0 0 0 1126 31 0 0 25 0 1 0 869420647 132988928 29916 33554432000 4194304 13684479 140737469740448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32114/statm: 32468 29916 820 2317 0 30146 0
[pid=32105/tid=32113] ppid=32103 vsize=296432 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 2 0 869420647 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 712492
[startup+25.5004 s]
/proc/loadavg: 2.02 2.07 1.78 3/834 32114
/proc/meminfo: memFree=20263788/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=296432 CPUtime=0.87 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 12257 1364 1 0 65 13 7 2 18 0 2 0 869420535 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 74108 7948 1871 364 0 8995 0
[pid=32112] ppid=32105 vsize=286188 CPUtime=0.12 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 885 0 0 0 5 7 0 0 15 0 1 0 869420647 293056512 6416 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709135 0 0 16781312 33554946 5623753486446373577 0 0 17 7 0 0 0
/proc/32112/statm: 71547 6416 343 364 0 6434 0
[pid=32114] ppid=32112 vsize=131828 CPUtime=24.37 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) R 32112 32114 32114 0 -1 4202496 33757 0 0 0 2395 42 0 0 25 0 1 0 869420647 134991872 30574 33554432000 4194304 13684479 140737469740448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32114/statm: 32957 30574 822 2317 0 30635 0
[pid=32105/tid=32113] ppid=32103 vsize=296432 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 2 0 869420647 303546368 7948 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 714448
[startup+51.1007 s]
/proc/loadavg: 2.01 2.06 1.79 3/838 32119
/proc/meminfo: memFree=20182404/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=306688 CPUtime=0.89 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 13104 1364 1 0 67 13 7 2 19 0 3 0 869420535 314048512 7955 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32105/statm: 76672 7955 1874 364 0 11556 0
[pid=32112] ppid=32105 vsize=296432 CPUtime=0.25 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 1097 0 0 0 11 14 0 0 16 0 2 0 869420647 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32112/statm: 74108 6484 406 364 0 8995 0
[pid=32114] ppid=32112 vsize=133536 CPUtime=46.38 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) T 32112 32114 32114 0 -1 4202496 34123 0 0 0 4583 55 0 0 25 0 1 0 869420647 136740864 30927 33554432000 4194304 13684479 140737469740448 18446744073709551615 7391320 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32114/statm: 33384 30927 838 2317 0 31062 0
[pid=32112/tid=32116] ppid=32105 vsize=296432 CPUtime=0 cores=1,3,5,7
/proc/32112/task/32116/stat : 32116 (python) S 32105 32105 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869425286 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459372892352 0 0 -1 3 0 0 0
[pid=32117] ppid=32105 vsize=296444 CPUtime=0.02 cores=1,3,5,7
/proc/32117/stat : 32117 (python) S 32105 32105 30488 0 -1 4202560 903 0 0 0 1 1 0 0 15 0 1 0 869425288 303558656 6421 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709190 0 0 16781312 33554946 15174810675919683846 0 0 17 1 0 0 0
/proc/32117/statm: 74111 6421 344 364 0 8995 0
[pid=32119] ppid=32117 vsize=80148 CPUtime=3.55 cores=1,3,5,7
/proc/32119/stat : 32119 (scip-2.0.1.linu) R 32117 32119 32119 0 -1 4202496 23382 0 0 0 338 17 0 0 25 0 1 0 869425289 82071552 15888 33554432000 4194304 15243407 140735780845552 18446744073709551615 8125320 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32119/statm: 20037 15888 824 2698 0 17332 0
[pid=32105/tid=32113] ppid=32103 vsize=306688 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 3 0 869420647 314048512 7955 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
[pid=32105/tid=32118] ppid=32103 vsize=306688 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32118/stat : 32118 (python) S 32103 32105 30488 0 -1 4202560 28 1364 0 0 0 0 7 2 20 0 3 0 869425288 314048512 7955 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1113248
[startup+102.325 s]
/proc/loadavg: 2.00 2.05 1.79 3/860 32143
/proc/meminfo: memFree=19571952/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=316944 CPUtime=0.91 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 13971 1364 1 0 69 13 7 2 20 0 4 0 869420535 324550656 7961 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32105/statm: 79236 7961 1876 364 0 14117 0
[pid=32112] ppid=32105 vsize=296432 CPUtime=0.25 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 1097 0 0 0 11 14 0 0 16 0 2 0 869420647 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32112/statm: 74108 6484 406 364 0 8995 0
[pid=32114] ppid=32112 vsize=133536 CPUtime=46.38 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) T 32112 32114 32114 0 -1 4202496 34123 0 0 0 4583 55 0 0 25 0 1 0 869420647 136740864 30927 33554432000 4194304 13684479 140737469740448 18446744073709551615 7391320 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32114/statm: 33384 30927 838 2317 0 31062 0
[pid=32112/tid=32116] ppid=32105 vsize=296432 CPUtime=0 cores=1,3,5,7
/proc/32112/task/32116/stat : 32116 (python) S 32105 32105 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869425286 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459372892352 0 0 -1 3 0 0 0
[pid=32117] ppid=32105 vsize=296444 CPUtime=0.25 cores=1,3,5,7
/proc/32117/stat : 32117 (python) S 32105 32105 30488 0 -1 4202560 1120 0 0 0 11 14 0 0 16 0 2 0 869425288 303558656 6469 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32117/statm: 74111 6469 391 364 0 8995 0
[pid=32119] ppid=32117 vsize=82080 CPUtime=48.54 cores=1,3,5,7
/proc/32119/stat : 32119 (scip-2.0.1.linu) T 32117 32119 32119 0 -1 4202496 105254 0 0 0 4819 35 0 0 25 0 1 0 869425289 84049920 16417 33554432000 4194304 15243407 140735780845552 18446744073709551615 7426930 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32119/statm: 20520 16417 840 2698 0 17815 0
[pid=32117/tid=32121] ppid=32105 vsize=296444 CPUtime=0 cores=1,3,5,7
/proc/32117/task/32121/stat : 32121 (python) S 32105 32105 30488 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869430144 303558656 6469 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462743802304 0 0 -1 7 0 0 0
[pid=32122] ppid=32105 vsize=306700 CPUtime=0.01 cores=1,3,5,7
/proc/32122/stat : 32122 (python) S 32105 32105 30488 0 -1 4202560 920 0 0 0 0 1 0 0 15 0 1 0 869430147 314060800 6425 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709190 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/32122/statm: 76675 6425 344 364 0 11556 0
[pid=32124] ppid=32122 vsize=8545108 CPUtime=7.24 cores=1,3,5,7
/proc/32124/stat : 32124 (java) S 32122 32124 32124 0 -1 4202496 149770 0 1 0 707 17 0 0 21 0 19 0 869430147 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32124/statm: 2136277 145334 2260 9 0 2127018 0
[pid=32124/tid=32125] ppid=32122 vsize=8545108 CPUtime=6.07 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) R 32122 32124 32124 0 -1 4202560 126923 0 1 0 594 13 0 0 20 0 19 0 869430148 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 46912505819014 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32124/tid=32126] ppid=32122 vsize=8545108 CPUtime=0.01 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) S 32122 32124 32124 0 -1 4202560 1797 0 0 0 1 0 0 0 16 0 19 0 869430149 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=32124/tid=32133] ppid=32122 vsize=8545108 CPUtime=0.01 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) S 32122 32124 32124 0 -1 4202560 1611 0 0 0 1 0 0 0 15 0 19 0 869430149 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 3 0 0 0
[pid=32124/tid=32134] ppid=32122 vsize=8545108 CPUtime=0.02 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) S 32122 32124 32124 0 -1 4202560 675 0 0 0 2 0 0 0 15 0 19 0 869430150 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 0 0 16800975 18446604468365485184 0 0 -1 7 0 0 0
[pid=32124/tid=32135] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) S 32122 32124 32124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869430150 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 5 0 0 0
[pid=32124/tid=32136] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) S 32122 32124 32124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869430150 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 5 0 0 0
[pid=32124/tid=32137] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) S 32122 32124 32124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869430152 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284512689 0 4 0 16800975 18446604468365485184 0 0 -1 5 0 0 0
[pid=32124/tid=32138] ppid=32122 vsize=8545108 CPUtime=0.52 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) S 32122 32124 32124 0 -1 4202560 4232 0 0 0 52 0 0 0 15 0 19 0 869430152 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 7 0 0 0
[pid=32124/tid=32139] ppid=32122 vsize=8545108 CPUtime=0.46 cores=1,3,5,7
/proc/32124/task/32139/stat : 32139 (java) S 32122 32124 32124 0 -1 4202560 4702 0 0 0 46 0 0 0 15 0 19 0 869430152 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 3 0 0 0
[pid=32124/tid=32140] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32140/stat : 32140 (java) S 32122 32124 32124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869430152 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446604468365485184 0 0 -1 5 0 0 0
[pid=32124/tid=32141] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32141/stat : 32141 (java) S 32122 32124 32124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869430152 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 4 0 16800975 18446604468365485184 0 0 -1 3 0 0 0
[pid=32124/tid=32142] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32142/stat : 32142 (java) S 32122 32124 32124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869430198 8750190592 145334 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 4 0 16800975 18446604468365485184 0 0 -1 7 0 0 0
[pid=32105/tid=32113] ppid=32103 vsize=316944 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 4 0 869420647 324550656 7961 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
[pid=32105/tid=32118] ppid=32103 vsize=316944 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32118/stat : 32118 (python) S 32103 32105 30488 0 -1 4202560 28 1364 0 0 0 0 7 2 20 0 4 0 869425288 324550656 7961 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
[pid=32105/tid=32123] ppid=32103 vsize=316944 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32123/stat : 32123 (python) S 32103 32105 30488 0 -1 4202560 30 1364 0 0 0 0 7 2 20 0 4 0 869430147 324550656 7961 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 103.58
Current children cumulated vsize (KiB) 9977244
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+146.202 s]
/proc/loadavg: 2.00 2.04 1.80 7/881 32165
/proc/meminfo: memFree=18957004/32950928 swapFree=43925852/67111528
[pid=32105] ppid=32103 vsize=327200 CPUtime=0.95 cores=1,3,5,7
/proc/32105/stat : 32105 (python) S 32103 32105 30488 0 -1 4202496 14844 1364 1 0 72 14 7 2 19 0 5 0 869420535 335052800 7967 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32105/statm: 81800 7967 1878 364 0 16678 0
[pid=32112] ppid=32105 vsize=296432 CPUtime=0.25 cores=1,3,5,7
/proc/32112/stat : 32112 (python) S 32105 32105 30488 0 -1 4202560 1097 0 0 0 11 14 0 0 16 0 2 0 869420647 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32112/statm: 74108 6484 406 364 0 8995 0
[pid=32114] ppid=32112 vsize=133536 CPUtime=46.38 cores=1,3,5,7
/proc/32114/stat : 32114 (scip-2.0.1.linu) T 32112 32114 32114 0 -1 4202496 34123 0 0 0 4583 55 0 0 25 0 1 0 869420647 136740864 30927 33554432000 4194304 13684479 140737469740448 18446744073709551615 7391320 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32114/statm: 33384 30927 838 2317 0 31062 0
[pid=32112/tid=32116] ppid=32105 vsize=296432 CPUtime=0 cores=1,3,5,7
/proc/32112/task/32116/stat : 32116 (python) S 32105 32105 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869425286 303546368 6484 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459372892352 0 0 -1 3 0 0 0
[pid=32117] ppid=32105 vsize=296444 CPUtime=0.25 cores=1,3,5,7
/proc/32117/stat : 32117 (python) S 32105 32105 30488 0 -1 4202560 1120 0 0 0 11 14 0 0 16 0 2 0 869425288 303558656 6469 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32117/statm: 74111 6469 391 364 0 8995 0
[pid=32119] ppid=32117 vsize=82080 CPUtime=48.54 cores=1,3,5,7
/proc/32119/stat : 32119 (scip-2.0.1.linu) T 32117 32119 32119 0 -1 4202496 105254 0 0 0 4819 35 0 0 25 0 1 0 869425289 84049920 16417 33554432000 4194304 15243407 140735780845552 18446744073709551615 7426930 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32119/statm: 20520 16417 840 2698 0 17815 0
[pid=32117/tid=32121] ppid=32105 vsize=296444 CPUtime=0 cores=1,3,5,7
/proc/32117/task/32121/stat : 32121 (python) S 32105 32105 30488 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869430144 303558656 6469 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604462743802304 0 0 -1 7 0 0 0
[pid=32122] ppid=32105 vsize=306700 CPUtime=0.28 cores=1,3,5,7
/proc/32122/stat : 32122 (python) S 32105 32105 30488 0 -1 4202560 1128 0 0 0 11 17 0 0 16 0 2 0 869430147 314060800 6473 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/32122/statm: 76675 6473 391 364 0 11556 0
[pid=32124] ppid=32122 vsize=8545108 CPUtime=50.74 cores=1,3,5,7
/proc/32124/stat : 32124 (java) T 32122 32124 32124 0 -1 4202496 283971 0 1 0 5042 32 0 0 18 0 19 0 869430147 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32124/statm: 2136277 275845 2260 9 0 2127018 0
[pid=32124/tid=32125] ppid=32122 vsize=8545108 CPUtime=49.18 cores=1,3,5,7
/proc/32124/task/32125/stat : 32125 (java) T 32122 32124 32124 0 -1 4202560 252083 0 1 0 4892 26 0 0 25 0 19 0 869430148 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 46912505853056 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32124/tid=32126] ppid=32122 vsize=8545108 CPUtime=0.03 cores=1,3,5,7
/proc/32124/task/32126/stat : 32126 (java) T 32122 32124 32124 0 -1 4202560 2421 0 0 0 3 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32124/tid=32127] ppid=32122 vsize=8545108 CPUtime=0.02 cores=1,3,5,7
/proc/32124/task/32127/stat : 32127 (java) T 32122 32124 32124 0 -1 4202560 1432 0 0 0 2 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32128] ppid=32122 vsize=8545108 CPUtime=0.04 cores=1,3,5,7
/proc/32124/task/32128/stat : 32128 (java) T 32122 32124 32124 0 -1 4202560 3377 0 0 0 4 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32124/tid=32129] ppid=32122 vsize=8545108 CPUtime=0.02 cores=1,3,5,7
/proc/32124/task/32129/stat : 32129 (java) T 32122 32124 32124 0 -1 4202560 2816 0 0 0 2 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32124/tid=32130] ppid=32122 vsize=8545108 CPUtime=0.03 cores=1,3,5,7
/proc/32124/task/32130/stat : 32130 (java) T 32122 32124 32124 0 -1 4202560 2155 0 0 0 3 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32131] ppid=32122 vsize=8545108 CPUtime=0.02 cores=1,3,5,7
/proc/32124/task/32131/stat : 32131 (java) T 32122 32124 32124 0 -1 4202560 2004 0 0 0 2 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32124/tid=32132] ppid=32122 vsize=8545108 CPUtime=0.01 cores=1,3,5,7
/proc/32124/task/32132/stat : 32132 (java) T 32122 32124 32124 0 -1 4202560 1080 0 0 0 1 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32124/tid=32133] ppid=32122 vsize=8545108 CPUtime=0.03 cores=1,3,5,7
/proc/32124/task/32133/stat : 32133 (java) T 32122 32124 32124 0 -1 4202560 2872 0 0 0 3 0 0 0 15 0 19 0 869430149 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32134] ppid=32122 vsize=8545108 CPUtime=0.19 cores=1,3,5,7
/proc/32124/task/32134/stat : 32134 (java) T 32122 32124 32124 0 -1 4202560 3395 0 0 0 19 0 0 0 15 0 19 0 869430150 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32124/tid=32135] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32135/stat : 32135 (java) T 32122 32124 32124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869430150 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32136] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32136/stat : 32136 (java) T 32122 32124 32124 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869430150 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32137] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32137/stat : 32137 (java) T 32122 32124 32124 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869430152 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284512689 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32138] ppid=32122 vsize=8545108 CPUtime=0.54 cores=1,3,5,7
/proc/32124/task/32138/stat : 32138 (java) T 32122 32124 32124 0 -1 4202560 4235 0 0 0 54 0 0 0 15 0 19 0 869430152 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32124/tid=32139] ppid=32122 vsize=8545108 CPUtime=0.5 cores=1,3,5,7
/proc/32124/task/32139/stat : 32139 (java) T 32122 32124 32124 0 -1 4202560 4708 0 0 0 50 0 0 0 15 0 19 0 869430152 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32124/tid=32140] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32140/stat : 32140 (java) T 32122 32124 32124 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869430152 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284504985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32124/tid=32141] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32141/stat : 32141 (java) T 32122 32124 32124 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869430152 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32124/tid=32142] ppid=32122 vsize=8545108 CPUtime=0 cores=1,3,5,7
/proc/32124/task/32142/stat : 32142 (java) T 32122 32124 32124 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869430198 8750190592 275845 33554432000 1073741824 1073778376 140737290577424 18446744073709551615 268284505600 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32122/tid=32145] ppid=32105 vsize=306700 CPUtime=0 cores=1,3,5,7
/proc/32122/task/32145/stat : 32145 (python) S 32105 32105 30488 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869435106 314060800 6473 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554946 18446604459372895040 0 0 -1 1 0 0 0
[pid=32146] ppid=32105 vsize=316956 CPUtime=0 cores=1,3,5,7
/proc/32146/stat : 32146 (python) S 32105 32105 30488 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 869435108 324562944 6405 33554432000 4194304 5683644 140735619576016 18446744073709551615 268272709190 0 0 16781312 33554946 704366055199342592 0 0 17 3 0 0 0
/proc/32146/statm: 79239 6405 320 364 0 14117 0
[pid=32148] ppid=32146 vsize=8545168 CPUtime=1.06 cores=1,3,5,7
/proc/32148/stat : 32148 (java) S 32146 32148 32148 0 -1 4202496 18178 0 1 0 104 2 0 0 21 0 19 0 869435108 8750252032 15155 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32148/statm: 2136292 15156 2227 9 0 2127033 0
[pid=32148/tid=32149] ppid=32146 vsize=8545168 CPUtime=0.49 cores=1,3,5,7
/proc/32148/task/32149/stat : 32149 (java) R 32146 32148 32148 0 -1 4202560 8891 0 1 0 48 1 0 0 25 0 19 0 869435109 8750252032 15170 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 46912505690130 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32148/tid=32150] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32150/stat : 32150 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869435110 8750252032 15170 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 7 0 0 0
[pid=32148/tid=32151] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32151/stat : 32151 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15170 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32152] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32152/stat : 32152 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15170 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32153] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32153/stat : 32153 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15171 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32154] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32154/stat : 32154 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15171 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32155] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32155/stat : 32155 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15171 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32156] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32156/stat : 32156 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15171 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32157] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32157/stat : 32157 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435110 8750252032 15171 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32158] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32158/stat : 32158 (java) S 32146 32148 32148 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869435111 8750252032 15172 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284505600 0 0 0 16800975 18446604461798075456 0 0 -1 7 0 0 0
[pid=32148/tid=32159] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32159/stat : 32159 (java) S 32146 32148 32148 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869435111 8750252032 15172 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 7 0 0 0
[pid=32148/tid=32160] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32160/stat : 32160 (java) S 32146 32148 32148 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869435111 8750252032 15172 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 3 0 0 0
[pid=32148/tid=32161] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32161/stat : 32161 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435113 8750252032 15172 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284512689 0 4 0 16800975 18446604461798075456 0 0 -1 7 0 0 0
[pid=32148/tid=32162] ppid=32146 vsize=8545168 CPUtime=0.31 cores=1,3,5,7
/proc/32148/task/32162/stat : 32162 (java) R 32146 32148 32148 0 -1 4202560 4093 0 0 0 31 0 0 0 25 0 19 0 869435113 8750252032 15173 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 47687851321562 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32148/tid=32163] ppid=32146 vsize=8545168 CPUtime=0.24 cores=1,3,5,7
/proc/32148/task/32163/stat : 32163 (java) R 32146 32148 32148 0 -1 4202560 3816 0 0 0 24 0 0 0 25 0 19 0 869435113 8750252032 15173 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 47687853751195 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32148/tid=32164] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32164/stat : 32164 (java) S 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435113 8750252032 15173 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 18446604461798075456 0 0 -1 7 0 0 0
[pid=32148/tid=32165] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32165/stat : 32165 (java) R 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869435113 8750252032 15173 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284505600 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32148/tid=32166] ppid=32146 vsize=8545168 CPUtime=0 cores=1,3,5,7
/proc/32148/task/32166/stat : 32166 (java) R 32146 32148 32148 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869435159 8750252032 15173 33554432000 1073741824 1073778376 140733235446864 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32105/tid=32113] ppid=32103 vsize=327200 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32113/stat : 32113 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 18 0 5 0 869420647 335052800 7967 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
[pid=32105/tid=32118] ppid=32103 vsize=327200 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32118/stat : 32118 (python) S 32103 32105 30488 0 -1 4202560 28 1364 0 0 0 0 7 2 20 0 5 0 869425288 335052800 7967 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 1 0 0 0
[pid=32105/tid=32123] ppid=32103 vsize=327200 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32123/stat : 32123 (python) S 32103 32105 30488 0 -1 4202560 30 1364 0 0 0 0 7 2 20 0 5 0 869430147 335052800 7967 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 3 0 0 0
[pid=32105/tid=32147] ppid=32103 vsize=327200 CPUtime=0.09 cores=1,3,5,7
/proc/32105/task/32147/stat : 32147 (python) S 32103 32105 30488 0 -1 4202560 29 1364 0 0 0 0 7 2 20 0 5 0 869435108 335052800 7967 33554432000 4194304 5683644 140735619576016 18446744073709551615 268284512689 0 0 16781312 33554434 18446604464875230464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 148.45
Current children cumulated vsize (KiB) 18849624
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 32105 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=794879
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=163975
# CPU time returned by wait4() is 0.958854
# while last known CPU time is 148.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.288
CPU time (s): 148.45
CPU user time (s): 146.6
CPU system time (s): 1.85
CPU usage (%): 101.478
Max. virtual memory (cumulated for all children) (KiB): 18849624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.794879
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16209
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= 8286
involuntary context switches= 26
runsolver used 0.972852 second user time and 2.45963 second system time
The end