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-3481465-1307577855/watcher-3481465-1307577855 -o /tmp/evaluation-result-3481465-1307577855/solver-3481465-1307577855 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481465-1307577855.opb -seed 1839271435 -budget 1800
running on 4 cores: 0,2,4,6
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.88 1.99 1.59 2/678 29292
/proc/meminfo: memFree=17195260/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/29292/stat : 29292 (python) R 29290 29292 27243 0 -1 4202496 1052 0 0 0 1 0 0 0 20 0 1 0 850201526 16633856 923 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29292/statm: 4061 923 381 364 0 548 0
[startup+0.052732 s]
/proc/loadavg: 1.88 1.99 1.59 2/678 29292
/proc/meminfo: memFree=17195260/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=30120 CPUtime=0.03 cores=0,2,4,6
/proc/29292/stat : 29292 (python) R 29290 29292 27243 0 -1 4202496 1503 0 0 0 3 0 0 0 20 0 1 0 850201526 30842880 1341 33554432000 4194304 5683644 140734218446240 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29292/statm: 7530 1345 443 364 0 900 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30120
[startup+0.10072 s]
/proc/loadavg: 1.88 1.99 1.59 2/678 29292
/proc/meminfo: memFree=17195260/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/29292/stat : 29292 (python) R 29290 29292 27243 0 -1 4202496 3169 930 1 0 6 1 0 0 18 0 1 0 850201526 98430976 2483 33554432000 4194304 5683644 140734218446240 18446744073709551615 5177488 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29292/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.30066 s]
/proc/loadavg: 1.88 1.99 1.59 2/678 29292
/proc/meminfo: memFree=17195260/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=202992 CPUtime=0.24 cores=0,2,4,6
/proc/29292/stat : 29292 (python) R 29290 29292 27243 0 -1 4202496 6688 930 1 0 18 6 0 0 17 0 1 0 850201526 207863808 4970 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816234496 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29292/statm: 50748 4971 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 202992
[startup+0.700622 s]
/proc/loadavg: 1.88 1.99 1.59 2/678 29292
/proc/meminfo: memFree=17195260/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=285152 CPUtime=0.63 cores=0,2,4,6
/proc/29292/stat : 29292 (python) R 29290 29292 27243 0 -1 4202496 11141 1381 1 0 47 10 6 0 17 0 1 0 850201526 291995648 7648 33554432000 4194304 5683644 140734218446240 18446744073709551615 4539725 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/29292/statm: 71288 7648 1816 364 0 6181 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 285152
[startup+1.50049 s]
/proc/loadavg: 1.88 1.99 1.59 3/682 29301
/proc/meminfo: memFree=17125416/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=295768 CPUtime=0.76 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 11882 1381 1 0 60 10 6 0 20 0 2 0 850201526 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 73942 7782 1871 364 0 8829 0
[pid=29299] ppid=29292 vsize=285524 CPUtime=0 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 721 0 0 0 0 0 0 0 15 0 1 0 850201608 292376576 6226 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256527 0 0 16781312 33554946 9994178792286814467 0 0 17 2 0 0 0
/proc/29299/statm: 71381 6226 319 364 0 6268 0
[pid=29301] ppid=29299 vsize=84756 CPUtime=0.66 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) R 29299 29301 29301 0 -1 4202496 21166 0 0 0 57 9 0 0 18 0 1 0 850201608 86790144 18843 33554432000 4194304 13684479 140733441519168 18446744073709551615 4957285 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29301/statm: 21189 18843 755 2317 0 18867 0
[pid=29292/tid=29300] ppid=29290 vsize=295768 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 2 0 850201608 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 666048
[startup+3.10117 s]
/proc/loadavg: 1.89 1.99 1.60 3/682 29301
/proc/meminfo: memFree=17088736/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=295768 CPUtime=0.76 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 11882 1381 1 0 60 10 6 0 20 0 2 0 850201526 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 73942 7782 1871 364 0 8829 0
[pid=29299] ppid=29292 vsize=285524 CPUtime=0 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 850201608 292376576 6226 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256527 0 0 16781312 33554946 9994178792286814467 0 0 17 2 0 0 0
/proc/29299/statm: 71381 6226 319 364 0 6268 0
[pid=29301] ppid=29299 vsize=90232 CPUtime=2.26 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) R 29299 29301 29301 0 -1 4202496 22690 0 0 0 211 15 0 0 19 0 1 0 850201608 92397568 20224 33554432000 4194304 13684479 140733441519168 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29301/statm: 22558 20224 880 2317 0 20236 0
[pid=29292/tid=29300] ppid=29290 vsize=295768 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 2 0 850201608 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 671524
[startup+6.30061 s]
/proc/loadavg: 1.89 1.99 1.60 3/682 29301
/proc/meminfo: memFree=17081180/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=295768 CPUtime=0.76 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 11882 1381 1 0 60 10 6 0 20 0 2 0 850201526 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 73942 7782 1871 364 0 8829 0
[pid=29299] ppid=29292 vsize=285524 CPUtime=0.01 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 873 0 0 0 1 0 0 0 15 0 1 0 850201608 292376576 6250 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256527 0 0 16781312 33554946 133323490039169024 0 0 17 2 0 0 0
/proc/29299/statm: 71381 6250 343 364 0 6268 0
[pid=29301] ppid=29299 vsize=93876 CPUtime=5.46 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) R 29299 29301 29301 0 -1 4202496 31873 0 0 0 525 21 0 0 25 0 1 0 850201608 96129024 21054 33554432000 4194304 13684479 140733441519168 18446744073709551615 4975794 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29301/statm: 23469 21054 802 2317 0 21147 0
[pid=29292/tid=29300] ppid=29290 vsize=295768 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 2 0 850201608 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 675168
[startup+12.7184 s]
/proc/loadavg: 1.91 1.99 1.60 3/682 29301
/proc/meminfo: memFree=17079548/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=295768 CPUtime=0.76 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 11882 1381 1 0 60 10 6 0 20 0 2 0 850201526 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 73942 7782 1871 364 0 8829 0
[pid=29299] ppid=29292 vsize=285524 CPUtime=0.06 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 880 0 0 0 3 3 0 0 15 0 1 0 850201608 292376576 6250 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256527 0 0 16781312 33554946 72556772316949354 0 0 17 6 0 0 0
/proc/29299/statm: 71381 6250 343 364 0 6268 0
[pid=29301] ppid=29299 vsize=94292 CPUtime=11.88 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) R 29299 29301 29301 0 -1 4202496 31961 0 0 0 1162 26 0 0 25 0 1 0 850201608 96555008 21142 33554432000 4194304 13684479 140733441519168 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29301/statm: 23573 21142 810 2317 0 21251 0
[pid=29292/tid=29300] ppid=29290 vsize=295768 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 2 0 850201608 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 675584
[startup+25.5011 s]
/proc/loadavg: 1.92 1.99 1.60 3/686 29305
/proc/meminfo: memFree=17051504/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=295768 CPUtime=0.76 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 11882 1381 1 0 60 10 6 0 20 0 2 0 850201526 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 73942 7782 1871 364 0 8829 0
[pid=29299] ppid=29292 vsize=285524 CPUtime=0.1 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 884 0 0 0 5 5 0 0 15 0 1 0 850201608 292376576 6250 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256527 0 0 16781312 33554946 72556772316949354 0 0 17 6 0 0 0
/proc/29299/statm: 71381 6250 343 364 0 6268 0
[pid=29301] ppid=29299 vsize=96680 CPUtime=24.66 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) R 29299 29301 29301 0 -1 4202496 32581 0 0 0 2431 35 0 0 25 0 1 0 850201608 99000320 21741 33554432000 4194304 13684479 140733441519168 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29301/statm: 24170 21741 810 2317 0 21848 0
[pid=29292/tid=29300] ppid=29290 vsize=295768 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 2 0 850201608 302866432 7782 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 677972
[startup+51.1013 s]
/proc/loadavg: 1.95 1.99 1.61 3/690 29310
/proc/meminfo: memFree=16942912/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=306024 CPUtime=0.79 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 12763 1381 1 0 62 11 6 0 20 0 3 0 850201526 313368576 7789 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 76506 7789 1874 364 0 11390 0
[pid=29299] ppid=29292 vsize=295768 CPUtime=0.19 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 1089 0 0 0 10 9 0 0 16 0 2 0 850201608 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29299/statm: 73942 6318 406 364 0 8829 0
[pid=29301] ppid=29299 vsize=97636 CPUtime=46.62 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) T 29299 29301 29301 0 -1 4202496 32813 0 0 0 4617 45 0 0 25 0 1 0 850201608 99979264 21973 33554432000 4194304 13684479 140733441519168 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29301/statm: 24409 21973 810 2317 0 22087 0
[pid=29299/tid=29307] ppid=29292 vsize=295768 CPUtime=0 cores=0,2,4,6
/proc/29299/task/29307/stat : 29307 (python) S 29292 29292 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850206273 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604452062754752 0 0 -1 6 0 0 0
[pid=29308] ppid=29292 vsize=295780 CPUtime=0.01 cores=0,2,4,6
/proc/29308/stat : 29308 (python) S 29292 29292 27243 0 -1 4202560 905 0 0 0 1 0 0 0 15 0 1 0 850206275 302878720 6255 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256582 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/29308/statm: 73945 6255 344 364 0 8829 0
[pid=29310] ppid=29308 vsize=121788 CPUtime=3.61 cores=0,2,4,6
/proc/29310/stat : 29310 (scip-2.0.1.linu) R 29308 29310 29310 0 -1 4202496 29387 0 0 0 347 14 0 0 21 0 1 0 850206275 124710912 26901 33554432000 4194304 15243407 140734547154912 18446744073709551615 13229544 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29310/statm: 30447 26901 889 2698 0 27742 0
[pid=29292/tid=29300] ppid=29290 vsize=306024 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 3 0 850201608 313368576 7789 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=29292/tid=29309] ppid=29290 vsize=306024 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29309/stat : 29309 (python) S 29290 29292 27243 0 -1 4202560 33 1381 0 0 0 0 6 0 20 0 3 0 850206275 313368576 7789 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 1116996
[startup+102.302 s]
/proc/loadavg: 1.98 1.99 1.63 3/708 29376
/proc/meminfo: memFree=16338660/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=316280 CPUtime=0.81 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 13657 1381 1 0 64 11 6 0 19 0 4 0 850201526 323870720 7795 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29292/statm: 79070 7795 1876 364 0 13951 0
[pid=29299] ppid=29292 vsize=295768 CPUtime=0.19 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 1089 0 0 0 10 9 0 0 16 0 2 0 850201608 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29299/statm: 73942 6318 406 364 0 8829 0
[pid=29301] ppid=29299 vsize=97636 CPUtime=46.62 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) T 29299 29301 29301 0 -1 4202496 32813 0 0 0 4617 45 0 0 25 0 1 0 850201608 99979264 21973 33554432000 4194304 13684479 140733441519168 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29301/statm: 24409 21973 810 2317 0 22087 0
[pid=29299/tid=29307] ppid=29292 vsize=295768 CPUtime=0 cores=0,2,4,6
/proc/29299/task/29307/stat : 29307 (python) S 29292 29292 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850206273 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604452062754752 0 0 -1 6 0 0 0
[pid=29308] ppid=29292 vsize=295780 CPUtime=0.2 cores=0,2,4,6
/proc/29308/stat : 29308 (python) S 29292 29292 27243 0 -1 4202560 1120 0 0 0 10 10 0 0 17 0 2 0 850206275 302878720 6303 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29308/statm: 73945 6303 391 364 0 8829 0
[pid=29310] ppid=29308 vsize=98984 CPUtime=48.13 cores=0,2,4,6
/proc/29310/stat : 29310 (scip-2.0.1.linu) T 29308 29310 29310 0 -1 4202496 57802 0 0 0 4783 30 0 0 25 0 1 0 850206275 101359616 21835 33554432000 4194304 15243407 140734547154912 18446744073709551615 7269960 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29310/statm: 24746 21835 929 2698 0 22041 0
[pid=29308/tid=29354] ppid=29292 vsize=295780 CPUtime=0 cores=0,2,4,6
/proc/29308/task/29354/stat : 29354 (python) S 29292 29292 27243 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850211092 302878720 6303 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604450361291072 0 0 -1 6 0 0 0
[pid=29355] ppid=29292 vsize=306036 CPUtime=0.02 cores=0,2,4,6
/proc/29355/stat : 29355 (python) S 29292 29292 27243 0 -1 4202560 915 0 0 0 1 1 0 0 15 0 1 0 850211095 313380864 6259 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256582 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
################
# More data... #
################
[pid=29357/tid=29366] ppid=29355 vsize=8547540 CPUtime=0.01 cores=0,2,4,6
/proc/29357/task/29366/stat : 29366 (java) S 29355 29357 29357 0 -1 4202560 918 0 0 0 1 0 0 0 15 0 19 0 850211097 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 6 0 0 0
[pid=29357/tid=29367] ppid=29355 vsize=8547540 CPUtime=0.08 cores=0,2,4,6
/proc/29357/task/29367/stat : 29367 (java) S 29355 29357 29357 0 -1 4202560 2524 0 0 0 8 0 0 0 16 0 19 0 850211098 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052992 0 0 0 16800975 18446604441142050880 0 0 -1 2 0 0 0
[pid=29357/tid=29368] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29368/stat : 29368 (java) S 29355 29357 29357 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850211098 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 0 0 0 0
[pid=29357/tid=29369] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29369/stat : 29369 (java) S 29355 29357 29357 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850211098 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 4 0 0 0
[pid=29357/tid=29370] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29370/stat : 29370 (java) S 29355 29357 29357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850211100 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828060081 0 4 0 16800975 18446604441142050880 0 0 -1 2 0 0 0
[pid=29357/tid=29371] ppid=29355 vsize=8547540 CPUtime=0.57 cores=0,2,4,6
/proc/29357/task/29371/stat : 29371 (java) S 29355 29357 29357 0 -1 4202560 4049 0 0 0 57 0 0 0 15 0 19 0 850211100 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 0 0 0 0
[pid=29357/tid=29372] ppid=29355 vsize=8547540 CPUtime=0.6 cores=0,2,4,6
/proc/29357/task/29372/stat : 29372 (java) S 29355 29357 29357 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 850211100 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 4 0 0 0
[pid=29357/tid=29373] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29373/stat : 29373 (java) S 29355 29357 29357 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850211100 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446604441142050880 0 0 -1 0 0 0 0
[pid=29357/tid=29374] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29374/stat : 29374 (java) S 29355 29357 29357 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850211100 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052992 0 4 0 16800975 18446604441142050880 0 0 -1 0 0 0 0
[pid=29357/tid=29375] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29375/stat : 29375 (java) S 29355 29357 29357 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850211147 8752680960 148453 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052992 0 4 0 16800975 18446604441142050880 0 0 -1 4 0 0 0
[pid=29292/tid=29300] ppid=29290 vsize=316280 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 4 0 850201608 323870720 7795 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=29292/tid=29309] ppid=29290 vsize=316280 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29309/stat : 29309 (python) S 29290 29292 27243 0 -1 4202560 33 1381 0 0 0 0 6 0 20 0 4 0 850206275 323870720 7795 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 6 0 0 0
[pid=29292/tid=29356] ppid=29290 vsize=316280 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29356/stat : 29356 (python) S 29290 29292 27243 0 -1 4202560 32 1381 0 0 0 0 6 0 20 0 4 0 850211095 323870720 7795 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 103.8
Current children cumulated vsize (KiB) 9958024
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+144.601 s]
/proc/loadavg: 2.13 2.02 1.66 6/752 29421
/proc/meminfo: memFree=15352508/32951124 swapFree=60476376/67111528
[pid=29292] ppid=29290 vsize=326536 CPUtime=0.84 cores=0,2,4,6
/proc/29292/stat : 29292 (python) S 29290 29292 27243 0 -1 4202496 14542 1381 1 0 67 11 6 0 20 0 5 0 850201526 334372864 7801 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/29292/statm: 81634 7801 1878 364 0 16512 0
[pid=29299] ppid=29292 vsize=295768 CPUtime=0.19 cores=0,2,4,6
/proc/29299/stat : 29299 (python) S 29292 29292 27243 0 -1 4202560 1089 0 0 0 10 9 0 0 16 0 2 0 850201608 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29299/statm: 73942 6318 406 364 0 8829 0
[pid=29301] ppid=29299 vsize=97636 CPUtime=46.62 cores=0,2,4,6
/proc/29301/stat : 29301 (scip-2.0.1.linu) T 29299 29301 29301 0 -1 4202496 32813 0 0 0 4617 45 0 0 25 0 1 0 850201608 99979264 21973 33554432000 4194304 13684479 140733441519168 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29301/statm: 24409 21973 810 2317 0 22087 0
[pid=29299/tid=29307] ppid=29292 vsize=295768 CPUtime=0 cores=0,2,4,6
/proc/29299/task/29307/stat : 29307 (python) S 29292 29292 27243 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850206273 302866432 6318 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604452062754752 0 0 -1 6 0 0 0
[pid=29308] ppid=29292 vsize=295780 CPUtime=0.2 cores=0,2,4,6
/proc/29308/stat : 29308 (python) S 29292 29292 27243 0 -1 4202560 1120 0 0 0 10 10 0 0 17 0 2 0 850206275 302878720 6303 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29308/statm: 73945 6303 391 364 0 8829 0
[pid=29310] ppid=29308 vsize=98984 CPUtime=48.13 cores=0,2,4,6
/proc/29310/stat : 29310 (scip-2.0.1.linu) T 29308 29310 29310 0 -1 4202496 57802 0 0 0 4783 30 0 0 25 0 1 0 850206275 101359616 21835 33554432000 4194304 15243407 140734547154912 18446744073709551615 7269960 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/29310/statm: 24746 21835 929 2698 0 22041 0
[pid=29308/tid=29354] ppid=29292 vsize=295780 CPUtime=0 cores=0,2,4,6
/proc/29308/task/29354/stat : 29354 (python) S 29292 29292 27243 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850211092 302878720 6303 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604450361291072 0 0 -1 6 0 0 0
[pid=29355] ppid=29292 vsize=306036 CPUtime=0.22 cores=0,2,4,6
/proc/29355/stat : 29355 (python) S 29292 29292 27243 0 -1 4202560 1126 0 0 0 12 10 0 0 16 0 2 0 850211095 313380864 6307 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29355/statm: 76509 6307 391 364 0 11390 0
[pid=29357] ppid=29355 vsize=8547540 CPUtime=49.84 cores=0,2,4,6
/proc/29357/stat : 29357 (java) T 29355 29357 29357 0 -1 4202496 159796 0 1 0 4964 20 0 0 18 0 19 0 850211095 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29357/statm: 2136885 117067 2261 9 0 2127626 0
[pid=29357/tid=29358] ppid=29355 vsize=8547540 CPUtime=47.41 cores=0,2,4,6
/proc/29357/task/29358/stat : 29358 (java) T 29355 29357 29357 0 -1 4202560 128650 0 1 0 4726 15 0 0 25 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 4
[pid=29357/tid=29359] ppid=29355 vsize=8547540 CPUtime=0.09 cores=0,2,4,6
/proc/29357/task/29359/stat : 29359 (java) T 29355 29357 29357 0 -1 4202560 2243 0 0 0 9 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29357/tid=29360] ppid=29355 vsize=8547540 CPUtime=0.08 cores=0,2,4,6
/proc/29357/task/29360/stat : 29360 (java) T 29355 29357 29357 0 -1 4202560 2692 0 0 0 8 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29357/tid=29361] ppid=29355 vsize=8547540 CPUtime=0.1 cores=0,2,4,6
/proc/29357/task/29361/stat : 29361 (java) T 29355 29357 29357 0 -1 4202560 4230 0 0 0 10 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220816189751 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29357/tid=29362] ppid=29355 vsize=8547540 CPUtime=0.1 cores=0,2,4,6
/proc/29357/task/29362/stat : 29362 (java) T 29355 29357 29357 0 -1 4202560 2244 0 0 0 10 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220816189751 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29363] ppid=29355 vsize=8547540 CPUtime=0.09 cores=0,2,4,6
/proc/29357/task/29363/stat : 29363 (java) T 29355 29357 29357 0 -1 4202560 1798 0 0 0 9 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220816189751 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29364] ppid=29355 vsize=8547540 CPUtime=0.1 cores=0,2,4,6
/proc/29357/task/29364/stat : 29364 (java) T 29355 29357 29357 0 -1 4202560 1283 0 0 0 10 0 0 0 15 0 19 0 850211096 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220816189751 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29365] ppid=29355 vsize=8547540 CPUtime=0.1 cores=0,2,4,6
/proc/29357/task/29365/stat : 29365 (java) T 29355 29357 29357 0 -1 4202560 1858 0 0 0 10 0 0 0 15 0 19 0 850211097 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 47074526819490 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29357/tid=29366] ppid=29355 vsize=8547540 CPUtime=0.05 cores=0,2,4,6
/proc/29357/task/29366/stat : 29366 (java) T 29355 29357 29357 0 -1 4202560 1382 0 0 0 5 0 0 0 15 0 19 0 850211097 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 47074526819488 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29367] ppid=29355 vsize=8547540 CPUtime=0.42 cores=0,2,4,6
/proc/29357/task/29367/stat : 29367 (java) T 29355 29357 29357 0 -1 4202560 2734 0 0 0 41 1 0 0 15 0 19 0 850211098 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29357/tid=29368] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29368/stat : 29368 (java) T 29355 29357 29357 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850211098 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29369] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29369/stat : 29369 (java) T 29355 29357 29357 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850211098 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29357/tid=29370] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29370/stat : 29370 (java) T 29355 29357 29357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850211100 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29357/tid=29371] ppid=29355 vsize=8547540 CPUtime=0.59 cores=0,2,4,6
/proc/29357/task/29371/stat : 29371 (java) T 29355 29357 29357 0 -1 4202560 4051 0 0 0 59 0 0 0 15 0 19 0 850211100 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29372] ppid=29355 vsize=8547540 CPUtime=0.6 cores=0,2,4,6
/proc/29357/task/29372/stat : 29372 (java) T 29355 29357 29357 0 -1 4202560 5241 0 0 0 60 0 0 0 15 0 19 0 850211100 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29357/tid=29373] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29373/stat : 29373 (java) T 29355 29357 29357 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850211100 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29374] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29374/stat : 29374 (java) T 29355 29357 29357 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850211100 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29357/tid=29375] ppid=29355 vsize=8547540 CPUtime=0 cores=0,2,4,6
/proc/29357/task/29375/stat : 29375 (java) T 29355 29357 29357 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850211147 8752680960 117067 33554432000 1073741824 1073778376 140736167537408 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29355/tid=29400] ppid=29292 vsize=306036 CPUtime=0 cores=0,2,4,6
/proc/29355/task/29400/stat : 29400 (python) S 29292 29292 27243 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850215926 313380864 6307 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554946 18446604447573629952 0 0 -1 6 0 0 0
[pid=29401] ppid=29292 vsize=316292 CPUtime=0 cores=0,2,4,6
/proc/29401/stat : 29401 (python) S 29292 29292 27243 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 850215928 323883008 6239 33554432000 4194304 5683644 140734218446240 18446744073709551615 220816256582 0 0 16781312 33554946 1564842480707305472 0 0 17 0 0 0 0
/proc/29401/statm: 79073 6239 320 364 0 13951 0
[pid=29403] ppid=29401 vsize=8546164 CPUtime=1.41 cores=0,2,4,6
/proc/29403/stat : 29403 (java) S 29401 29403 29403 0 -1 4202496 17980 0 1 0 138 3 0 0 20 0 19 0 850215929 8751271936 14649 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29403/statm: 2136541 14649 2230 9 0 2127282 0
[pid=29403/tid=29404] ppid=29401 vsize=8546164 CPUtime=0.59 cores=0,2,4,6
/proc/29403/task/29404/stat : 29404 (java) R 29401 29403 29403 0 -1 4202560 7863 0 1 0 58 1 0 0 19 0 19 0 850215929 8751271936 14686 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 46912505815290 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29403/tid=29405] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29405/stat : 29405 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850215930 8751271936 14687 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29406] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29406/stat : 29406 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850215930 8751271936 14688 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29407] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29407/stat : 29407 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850215930 8751271936 14689 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29408] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29408/stat : 29408 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850215930 8751271936 14690 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 6 0 0 0
[pid=29403/tid=29409] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29409/stat : 29409 (java) S 29401 29403 29403 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850215930 8751271936 14690 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 0 0 0 0
[pid=29403/tid=29410] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29410/stat : 29410 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850215930 8751271936 14692 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 0 0 0 0
[pid=29403/tid=29411] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29411/stat : 29411 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850215930 8751271936 14693 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 6 0 0 0
[pid=29403/tid=29412] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29412/stat : 29412 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850215930 8751271936 14693 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 0 0 0 0
[pid=29403/tid=29413] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29413/stat : 29413 (java) S 29401 29403 29403 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 850215931 8751271936 14694 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052992 0 0 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29414] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29414/stat : 29414 (java) S 29401 29403 29403 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 850215931 8751271936 14695 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29415] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29415/stat : 29415 (java) S 29401 29403 29403 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 850215931 8751271936 14696 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29416] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29416/stat : 29416 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850215933 8751271936 14697 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828060081 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29417] ppid=29401 vsize=8546164 CPUtime=0.39 cores=0,2,4,6
/proc/29403/task/29417/stat : 29417 (java) R 29401 29403 29403 0 -1 4202560 4638 0 0 0 39 0 0 0 16 0 19 0 850215933 8751271936 14698 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 47486807463288 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29403/tid=29418] ppid=29401 vsize=8546164 CPUtime=0.4 cores=0,2,4,6
/proc/29403/task/29418/stat : 29418 (java) R 29401 29403 29403 0 -1 4202560 4116 0 0 0 40 0 0 0 18 0 19 0 850215933 8751271936 14698 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 47486806617383 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29403/tid=29419] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29419/stat : 29419 (java) S 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850215933 8751271936 14699 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052377 0 4 0 16800975 18446604445786743232 0 0 -1 2 0 0 0
[pid=29403/tid=29420] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29420/stat : 29420 (java) R 29401 29403 29403 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850215933 8751271936 14700 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29403/tid=29421] ppid=29401 vsize=8546164 CPUtime=0 cores=0,2,4,6
/proc/29403/task/29421/stat : 29421 (java) S 29401 29403 29403 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850215976 8751271936 14701 33554432000 1073741824 1073778376 140734901533952 18446744073709551615 220828052992 0 4 0 16800975 18446604445786743232 0 0 -1 4 0 0 0
[pid=29292/tid=29300] ppid=29290 vsize=326536 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29300/stat : 29300 (python) S 29290 29292 27243 0 -1 4202560 28 1381 0 0 0 0 6 0 20 0 5 0 850201608 334372864 7801 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=29292/tid=29309] ppid=29290 vsize=326536 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29309/stat : 29309 (python) S 29290 29292 27243 0 -1 4202560 33 1381 0 0 0 0 6 0 20 0 5 0 850206275 334372864 7801 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 6 0 0 0
[pid=29292/tid=29356] ppid=29290 vsize=326536 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29356/stat : 29356 (python) S 29290 29292 27243 0 -1 4202560 32 1381 0 0 0 0 6 0 20 0 5 0 850211095 334372864 7801 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=29292/tid=29402] ppid=29290 vsize=326536 CPUtime=0.06 cores=0,2,4,6
/proc/29292/task/29402/stat : 29402 (python) S 29290 29292 27243 0 -1 4202560 25 1381 0 0 0 0 6 0 20 0 5 0 850215929 334372864 7801 33554432000 4194304 5683644 140734218446240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.45
Current children cumulated vsize (KiB) 18830736
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 29292 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=735888
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=124981
# CPU time returned by wait4() is 0.860869
# while last known CPU time is 147.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.678
CPU time (s): 147.45
CPU user time (s): 146.07
CPU system time (s): 1.38
CPU usage (%): 101.916
Max. virtual memory (cumulated for all children) (KiB): 18830736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.735888
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15924
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= 5890
involuntary context switches= 19
runsolver used 1.00485 second user time and 1.74373 second system time
The end