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-3481857-1307576441/watcher-3481857-1307576441 -o /tmp/evaluation-result-3481857-1307576441/solver-3481857-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481857-1307576441.opb -seed 1919133569 -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: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (runsolver) D 32742 32750 32706 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869245272 12079104 53 33554432000 4194304 5432328 140735033075184 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/32750/statm: 2949 53 34 303 0 2643 0
[startup+0.0896509 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (python) D 32742 32750 32706 0 -1 4194304 46 0 0 0 0 0 0 0 19 0 1 0 869245272 1884160 1 33554432000 0 0 140736011859623 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0
/proc/32750/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.10065 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (python) D 32742 32750 32706 0 -1 4194304 46 0 0 0 0 0 0 0 19 0 1 0 869245272 1884160 1 33554432000 0 0 140736011859623 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0
/proc/32750/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300648 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 611 0 5 0 0 0 0 0 16 0 1 0 869245272 15441920 513 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 5
/proc/32750/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700577 s]
/proc/loadavg: 0.00 0.00 0.00 2/372 32750
/proc/meminfo: memFree=31098932/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (python) D 32742 32750 32706 0 -1 4202496 786 0 5 0 0 0 0 0 15 0 1 0 869245272 15753216 679 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809165568 0 0 16781312 2 18446744071562234166 0 0 17 6 0 0 6
/proc/32750/statm: 3846 679 322 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+1.50043 s]
/proc/loadavg: 0.16 0.03 0.01 2/374 32753
/proc/meminfo: memFree=31091788/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 1045 0 5 0 0 0 0 0 15 0 1 0 869245272 16633856 922 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 37
/proc/32750/statm: 4061 922 381 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244
[startup+3.10115 s]
/proc/loadavg: 0.16 0.03 0.01 2/374 32753
/proc/meminfo: memFree=31083868/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=23212 CPUtime=0.04 cores=0,2,4,6
/proc/32750/stat : 32750 (python) D 32742 32750 32706 0 -1 4202496 1315 0 8 0 3 1 0 0 16 0 1 0 869245272 23769088 1173 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809163776 0 0 16781312 2 0 0 0 17 6 0 0 48
/proc/32750/statm: 5803 1173 432 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23212
heavy processes:
[startup+6.30056 s]
/proc/loadavg: 0.23 0.05 0.02 3/374 32764
/proc/meminfo: memFree=31060248/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=177696 CPUtime=0.38 cores=0,2,4,6
/proc/32750/stat : 32750 (python) D 32742 32750 32706 0 -1 4202496 6196 919 62 9 20 18 0 0 16 0 1 0 869245272 181960704 4566 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809165568 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 99
/proc/32750/statm: 44424 4566 1238 364 0 3536 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 177696
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.37 0.08 0.03 4/380 303
/proc/meminfo: memFree=30851368/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=293836 CPUtime=0.72 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 9706 919 107 9 42 30 0 0 18 0 2 0 869245272 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 133
/proc/32750/statm: 73459 7316 1870 364 0 8346 0
[pid=32766] ppid=32750 vsize=283592 CPUtime=0.01 cores=0,2,4,6
/proc/32766/stat : 32766 (python) S 32750 32750 32706 0 -1 4202560 929 0 0 0 1 0 0 0 15 0 1 0 869246074 290398208 5818 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809185807 0 0 16781312 33554946 1871406560417153024 0 0 17 0 0 0 0
/proc/32766/statm: 70898 5818 376 364 0 5785 0
[pid=303] ppid=32766 vsize=91232 CPUtime=4.67 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.linu) R 32766 303 303 0 -1 4202496 21969 0 0 0 461 6 0 0 18 0 1 0 869246074 93421568 20455 33554432000 4194304 13684479 140734244740432 18446744073709551615 11065499 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/303/statm: 22808 20455 767 2317 0 20486 0
[pid=32750/tid=302] ppid=32742 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/32750/task/302/stat : 302 (python) S 32742 32750 32706 0 -1 4202560 27 919 0 9 0 0 0 0 18 0 2 0 869246074 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 668660
heavy processes:
[startup+25.5011 s]
/proc/loadavg: 0.62 0.14 0.05 4/380 304
/proc/meminfo: memFree=30764180/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=293836 CPUtime=0.72 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 9706 919 107 9 42 30 0 0 18 0 2 0 869245272 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 133
/proc/32750/statm: 73459 7316 1870 364 0 8346 0
[pid=32766] ppid=32750 vsize=283592 CPUtime=0.07 cores=0,2,4,6
/proc/32766/stat : 32766 (python) S 32750 32750 32706 0 -1 4202560 940 0 0 0 4 3 0 0 15 0 1 0 869246074 290398208 5818 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809185807 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/32766/statm: 70898 5818 376 364 0 5785 0
[pid=303] ppid=32766 vsize=144528 CPUtime=17.46 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.linu) R 32766 303 303 0 -1 4202496 34828 0 0 0 1735 11 0 0 20 0 1 0 869246074 147996672 33215 33554432000 4194304 13684479 140734244740432 18446744073709551615 4542304 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/303/statm: 36132 33215 788 2317 0 33810 0
[pid=32750/tid=302] ppid=32742 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/32750/task/302/stat : 302 (python) S 32742 32750 32706 0 -1 4202560 27 919 0 9 0 0 0 0 18 0 2 0 869246074 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.25
Current children cumulated vsize (KiB) 721956
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.16 0.32 0.11 4/380 304
/proc/meminfo: memFree=30739712/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=293836 CPUtime=0.72 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 9706 919 107 9 42 30 0 0 18 0 2 0 869245272 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 133
/proc/32750/statm: 73459 7316 1870 364 0 8346 0
[pid=32766] ppid=32750 vsize=283592 CPUtime=0.15 cores=0,2,4,6
/proc/32766/stat : 32766 (python) S 32750 32750 32706 0 -1 4202560 949 0 0 0 8 7 0 0 15 0 1 0 869246074 290398208 5818 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809185807 0 0 16781312 33554946 72114768642583397 0 0 17 0 0 0 0
/proc/32766/statm: 70898 5818 376 364 0 5785 0
[pid=303] ppid=32766 vsize=158608 CPUtime=43.07 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.linu) R 32766 303 303 0 -1 4202496 39259 0 0 0 4277 30 0 0 25 0 1 0 869246074 162414592 36892 33554432000 4194304 13684479 140734244740432 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/303/statm: 39652 36892 795 2317 0 37330 0
[pid=32750/tid=302] ppid=32742 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/32750/task/302/stat : 302 (python) S 32742 32750 32706 0 -1 4202560 27 919 0 9 0 0 0 0 18 0 2 0 869246074 300888064 7316 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.94
Current children cumulated vsize (KiB) 736036
[startup+102.301 s]
/proc/loadavg: 1.63 0.58 0.20 4/424 370
/proc/meminfo: memFree=30333364/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=304560 CPUtime=0.75 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 10563 919 107 9 45 30 0 0 20 0 3 0 869245272 311869440 7436 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 133
/proc/32750/statm: 76140 7436 1873 364 0 11024 0
[pid=306] ppid=32750 vsize=294316 CPUtime=0.14 cores=0,2,4,6
/proc/306/stat : 306 (python) S 32750 32750 32706 0 -1 4202560 1042 0 0 0 7 7 0 0 15 0 1 0 869251070 301379584 5938 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809185862 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/306/statm: 73579 5938 379 364 0 8463 0
[pid=309] ppid=306 vsize=8537720 CPUtime=45.2 cores=0,2,4,6
/proc/309/stat : 309 (java) S 306 309 309 0 -1 4202496 58679 0 118 0 4508 12 0 0 20 0 19 0 869251071 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/309/statm: 2134430 50578 2255 9 0 2125171 0
[pid=309/tid=310] ppid=306 vsize=8537720 CPUtime=43.66 cores=0,2,4,6
/proc/309/task/310/stat : 310 (java) R 306 309 309 0 -1 4202560 15422 0 59 0 4362 4 0 0 25 0 19 0 869251081 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 46912505746332 0 4 0 16800975 0 0 0 -1 4 0 0 11
[pid=309/tid=320] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/320/stat : 320 (java) S 306 309 309 0 -1 4202560 4811 0 0 0 2 1 0 0 16 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 0 0 0 0
[pid=309/tid=321] ppid=306 vsize=8537720 CPUtime=0.06 cores=0,2,4,6
/proc/309/task/321/stat : 321 (java) S 306 309 309 0 -1 4202560 4987 0 0 0 5 1 0 0 16 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=323] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/323/stat : 323 (java) S 306 309 309 0 -1 4202560 1086 0 0 0 3 0 0 0 16 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=324] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/324/stat : 324 (java) S 306 309 309 0 -1 4202560 4004 0 0 0 2 1 0 0 15 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=325] ppid=306 vsize=8537720 CPUtime=0.02 cores=0,2,4,6
/proc/309/task/325/stat : 325 (java) S 306 309 309 0 -1 4202560 2597 0 0 0 2 0 0 0 15 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 0 0 0 0
[pid=309/tid=326] ppid=306 vsize=8537720 CPUtime=0.04 cores=0,2,4,6
/proc/309/task/326/stat : 326 (java) S 306 309 309 0 -1 4202560 4356 0 0 0 4 0 0 0 16 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 0 0 0 0
[pid=309/tid=327] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/327/stat : 327 (java) S 306 309 309 0 -1 4202560 5361 0 0 0 3 0 0 0 16 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=328] ppid=306 vsize=8537720 CPUtime=0.05 cores=0,2,4,6
/proc/309/task/328/stat : 328 (java) S 306 309 309 0 -1 4202560 1591 0 0 0 5 0 0 0 15 0 19 0 869251085 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 0 0 0 0
[pid=309/tid=330] ppid=306 vsize=8537720 CPUtime=0.29 cores=0,2,4,6
/proc/309/task/330/stat : 330 (java) S 306 309 309 0 -1 4202560 8025 0 0 0 28 1 0 0 16 0 19 0 869251088 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 0 0 16800975 18446604442976653376 0 0 -1 4 0 0 0
[pid=309/tid=331] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/331/stat : 331 (java) S 306 309 309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869251089 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=332] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/332/stat : 332 (java) S 306 309 309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869251089 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 4
[pid=309/tid=333] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/333/stat : 333 (java) S 306 309 309 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251095 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820989361 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=335] ppid=306 vsize=8537720 CPUtime=0.48 cores=0,2,4,6
/proc/309/task/335/stat : 335 (java) S 306 309 309 0 -1 4202560 2793 0 0 0 48 0 0 0 15 0 19 0 869251095 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 2 0 0 0
[pid=309/tid=336] ppid=306 vsize=8537720 CPUtime=0.39 cores=0,2,4,6
/proc/309/task/336/stat : 336 (java) S 306 309 309 0 -1 4202560 2311 0 2 0 39 0 0 0 16 0 19 0 869251095 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=337] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/337/stat : 337 (java) S 306 309 309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869251095 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=339] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/339/stat : 339 (java) S 306 309 309 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869251095 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=309/tid=342] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/342/stat : 342 (java) S 306 309 309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869251131 8742625280 50578 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 4 0 16800975 18446604442976653376 0 0 -1 6 0 0 0
[pid=32766] ppid=32750 vsize=293836 CPUtime=0.18 cores=0,2,4,6
/proc/32766/stat : 32766 (python) S 32750 32750 32706 0 -1 4202560 1116 0 0 0 10 8 0 0 16 0 2 0 869246074 300888064 5854 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32766/statm: 73459 5854 407 364 0 8346 0
[pid=303] ppid=32766 vsize=158608 CPUtime=49.92 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.linu) T 32766 303 303 0 -1 4202496 39259 0 0 0 4956 36 0 0 25 0 1 0 869246074 162414592 36892 33554432000 4194304 13684479 140734244740432 18446744073709551615 7416013 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/303/statm: 39652 36892 795 2317 0 37330 0
[pid=32766/tid=305] ppid=32750 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/32766/task/305/stat : 305 (python) S 32750 32750 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869251068 300888064 5854 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453878167424 0 0 -1 0 0 0 0
[pid=32750/tid=302] ppid=32742 vsize=304560 CPUtime=0 cores=0,2,4,6
/proc/32750/task/302/stat : 302 (python) S 32742 32750 32706 0 -1 4202560 27 919 0 9 0 0 0 0 18 0 3 0 869246074 311869440 7436 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
[pid=32750/tid=307] ppid=32742 vsize=304560 CPUtime=0 cores=0,2,4,6
/proc/32750/task/307/stat : 307 (python) S 32742 32750 32706 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 3 0 869251071 311869440 7436 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.19
Current children cumulated vsize (KiB) 9589040
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+153.202 s]
/proc/loadavg: 2.09 0.86 0.32 6/453 401
/proc/meminfo: memFree=30081896/32951124 swapFree=36471928/67111528
[pid=32750] ppid=32742 vsize=325280 CPUtime=0.8 cores=0,2,4,6
/proc/32750/stat : 32750 (python) S 32742 32750 32706 0 -1 4202496 12371 919 107 9 50 30 0 0 19 0 5 0 869245272 333086720 7485 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 133
/proc/32750/statm: 81320 7485 1877 364 0 16198 0
[pid=306] ppid=32750 vsize=294316 CPUtime=0.18 cores=0,2,4,6
/proc/306/stat : 306 (python) S 32750 32750 32706 0 -1 4202560 1170 0 0 0 9 9 0 0 16 0 2 0 869251070 301379584 5963 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/306/statm: 73579 5963 403 364 0 8463 0
[pid=309] ppid=306 vsize=8537720 CPUtime=49.83 cores=0,2,4,6
/proc/309/stat : 309 (java) T 306 309 309 0 -1 4202496 58681 0 118 0 4971 12 0 0 18 0 19 0 869251071 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/309/statm: 2134430 50579 2255 9 0 2125171 0
[pid=309/tid=310] ppid=306 vsize=8537720 CPUtime=48.25 cores=0,2,4,6
/proc/309/task/310/stat : 310 (java) T 306 309 309 0 -1 4202560 15423 0 59 0 4821 4 0 0 25 0 19 0 869251081 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 46912505744974 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 11
[pid=309/tid=320] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/320/stat : 320 (java) T 306 309 309 0 -1 4202560 4811 0 0 0 2 1 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=309/tid=321] ppid=306 vsize=8537720 CPUtime=0.06 cores=0,2,4,6
/proc/309/task/321/stat : 321 (java) T 306 309 309 0 -1 4202560 4987 0 0 0 5 1 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=323] ppid=306 vsize=8537720 CPUtime=0.03 cores=0,2,4,6
/proc/309/task/323/stat : 323 (java) T 306 309 309 0 -1 4202560 1086 0 0 0 3 0 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=324] ppid=306 vsize=8537720 CPUtime=0.04 cores=0,2,4,6
/proc/309/task/324/stat : 324 (java) T 306 309 309 0 -1 4202560 4005 0 0 0 3 1 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=325] ppid=306 vsize=8537720 CPUtime=0.02 cores=0,2,4,6
/proc/309/task/325/stat : 325 (java) T 306 309 309 0 -1 4202560 2597 0 0 0 2 0 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=326] ppid=306 vsize=8537720 CPUtime=0.05 cores=0,2,4,6
/proc/309/task/326/stat : 326 (java) T 306 309 309 0 -1 4202560 4356 0 0 0 5 0 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=309/tid=327] ppid=306 vsize=8537720 CPUtime=0.04 cores=0,2,4,6
/proc/309/task/327/stat : 327 (java) T 306 309 309 0 -1 4202560 5361 0 0 0 4 0 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=328] ppid=306 vsize=8537720 CPUtime=0.05 cores=0,2,4,6
/proc/309/task/328/stat : 328 (java) T 306 309 309 0 -1 4202560 1591 0 0 0 5 0 0 0 15 0 19 0 869251085 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=309/tid=330] ppid=306 vsize=8537720 CPUtime=0.3 cores=0,2,4,6
/proc/309/task/330/stat : 330 (java) T 306 309 309 0 -1 4202560 8025 0 0 0 29 1 0 0 15 0 19 0 869251088 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=309/tid=331] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/331/stat : 331 (java) T 306 309 309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869251089 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=332] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/332/stat : 332 (java) T 306 309 309 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869251089 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=309/tid=333] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/333/stat : 333 (java) T 306 309 309 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251095 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=335] ppid=306 vsize=8537720 CPUtime=0.48 cores=0,2,4,6
/proc/309/task/335/stat : 335 (java) T 306 309 309 0 -1 4202560 2793 0 0 0 48 0 0 0 15 0 19 0 869251095 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=336] ppid=306 vsize=8537720 CPUtime=0.39 cores=0,2,4,6
/proc/309/task/336/stat : 336 (java) T 306 309 309 0 -1 4202560 2311 0 2 0 39 0 0 0 15 0 19 0 869251095 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=337] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/337/stat : 337 (java) T 306 309 309 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251095 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=339] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/339/stat : 339 (java) T 306 309 309 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869251095 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=309/tid=342] ppid=306 vsize=8537720 CPUtime=0 cores=0,2,4,6
/proc/309/task/342/stat : 342 (java) T 306 309 309 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869251131 8742625280 50579 33554432000 1073741824 1073778376 140736231014304 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=306/tid=375] ppid=32750 vsize=294316 CPUtime=0 cores=0,2,4,6
/proc/306/task/375/stat : 375 (python) S 32750 32750 32706 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869255963 301379584 5963 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554946 18446604442976655168 0 0 -1 2 0 0 0
[pid=376] ppid=32750 vsize=304336 CPUtime=0.15 cores=0,2,4,6
/proc/376/stat : 376 (python) S 32750 32750 32706 0 -1 4202560 1175 0 0 0 8 7 0 0 16 0 2 0 869255966 311640064 5894 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/376/statm: 76084 5894 403 364 0 10965 0
[pid=379] ppid=376 vsize=111636 CPUtime=45.89 cores=0,2,4,6
/proc/379/stat : 379 (scip-2.0.1.linu) T 376 379 379 0 -1 4202496 33846 0 0 0 4574 15 0 0 25 0 1 0 869255966 114315264 25210 33554432000 4194304 15243407 140733911952976 18446744073709551615 6958445 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/379/statm: 27909 25210 906 2698 0 25204 0
[pid=376/tid=381] ppid=32750 vsize=304336 CPUtime=0 cores=0,2,4,6
/proc/376/task/381/stat : 381 (python) S 32750 32750 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869260556 311640064 5894 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453668566208 0 0 -1 4 0 0 0
[pid=382] ppid=32750 vsize=315036 CPUtime=0 cores=0,2,4,6
/proc/382/stat : 382 (python) S 32750 32750 32706 0 -1 4202560 814 0 0 0 0 0 0 0 18 0 1 0 869260559 322596864 5953 33554432000 4194304 5683644 140736011851264 18446744073709551615 230809185862 0 0 16781312 33554946 3397738882584805376 0 0 17 2 0 0 0
/proc/382/statm: 78759 5953 349 364 0 13637 0
[pid=384] ppid=382 vsize=8535420 CPUtime=0.49 cores=0,2,4,6
/proc/384/stat : 384 (java) S 382 384 384 0 -1 4202496 8891 0 1 0 47 2 0 0 20 0 18 0 869260559 8740270080 7855 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/384/statm: 2133855 7855 2200 9 0 2124596 0
[pid=384/tid=385] ppid=382 vsize=8534672 CPUtime=0.28 cores=0,2,4,6
/proc/384/task/385/stat : 385 (java) R 382 384 384 0 -1 4202560 5244 0 1 0 27 1 0 0 18 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 46935870799877 0 4 0 16800975 0 0 0 -1 0 0 0 4
[pid=384/tid=386] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/386/stat : 386 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=387] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/387/stat : 387 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=388] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/388/stat : 388 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=389] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/389/stat : 389 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=390] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/390/stat : 390 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=391] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/391/stat : 391 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=392] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/392/stat : 392 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=393] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/393/stat : 393 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260560 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=394] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/394/stat : 394 (java) S 382 384 384 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869260561 8739504128 7991 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820982272 0 0 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=395] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/395/stat : 395 (java) S 382 384 384 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869260562 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=396] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/396/stat : 396 (java) S 382 384 384 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869260562 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=397] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/397/stat : 397 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260564 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820989361 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=398] ppid=382 vsize=8534672 CPUtime=0.12 cores=0,2,4,6
/proc/384/task/398/stat : 398 (java) S 382 384 384 0 -1 4202560 1132 0 0 0 12 0 0 0 25 0 18 0 869260564 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 2 0 0 0
[pid=384/tid=399] ppid=382 vsize=8534672 CPUtime=0.1 cores=0,2,4,6
/proc/384/task/399/stat : 399 (java) S 382 384 384 0 -1 4202560 1352 0 0 0 10 0 0 0 24 0 18 0 869260564 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 4 0 0 0
[pid=384/tid=400] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/400/stat : 400 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869260564 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820981657 0 4 0 16800975 18446604440333256512 0 0 -1 6 0 0 0
[pid=384/tid=401] ppid=382 vsize=8534672 CPUtime=0 cores=0,2,4,6
/proc/384/task/401/stat : 401 (java) S 382 384 384 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869260564 8739504128 7992 33554432000 1073741824 1073778376 140734183932448 18446744073709551615 230820982272 0 4 0 16800975 18446604440333256512 0 0 -1 2 0 0 0
[pid=32766] ppid=32750 vsize=293836 CPUtime=0.18 cores=0,2,4,6
/proc/32766/stat : 32766 (python) S 32750 32750 32706 0 -1 4202560 1116 0 0 0 10 8 0 0 16 0 2 0 869246074 300888064 5854 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32766/statm: 73459 5854 407 364 0 8346 0
[pid=303] ppid=32766 vsize=158608 CPUtime=49.92 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.linu) T 32766 303 303 0 -1 4202496 39259 0 0 0 4956 36 0 0 25 0 1 0 869246074 162414592 36892 33554432000 4194304 13684479 140734244740432 18446744073709551615 7416013 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/303/statm: 39652 36892 795 2317 0 37330 0
[pid=32766/tid=305] ppid=32750 vsize=293836 CPUtime=0 cores=0,2,4,6
/proc/32766/task/305/stat : 305 (python) S 32750 32750 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869251068 300888064 5854 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554946 18446604453878167424 0 0 -1 0 0 0 0
[pid=32750/tid=302] ppid=32742 vsize=325280 CPUtime=0 cores=0,2,4,6
/proc/32750/task/302/stat : 302 (python) S 32742 32750 32706 0 -1 4202560 27 919 0 9 0 0 0 0 18 0 5 0 869246074 333086720 7485 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
[pid=32750/tid=307] ppid=32742 vsize=325280 CPUtime=0 cores=0,2,4,6
/proc/32750/task/307/stat : 307 (python) S 32742 32750 32706 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 869251071 333086720 7485 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 0 0 0 0
[pid=32750/tid=378] ppid=32742 vsize=325280 CPUtime=0 cores=0,2,4,6
/proc/32750/task/378/stat : 378 (python) S 32742 32750 32706 0 -1 4202560 24 919 0 9 0 0 0 0 20 0 5 0 869255966 333086720 7485 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 2 0 0 0
[pid=32750/tid=383] ppid=32742 vsize=325280 CPUtime=0 cores=0,2,4,6
/proc/32750/task/383/stat : 383 (python) S 32742 32750 32706 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 869260559 333086720 7485 33554432000 4194304 5683644 140736011851264 18446744073709551615 230820989361 0 0 16781312 33554434 18446604440496009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 147.44
Current children cumulated vsize (KiB) 18876188
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 32750 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=517921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=313952
# CPU time returned by wait4() is 0.831873
# while last known CPU time is 147.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 153.269
CPU time (s): 147.44
CPU user time (s): 146.25
CPU system time (s): 1.19
CPU usage (%): 96.1966
Max. virtual memory (cumulated for all children) (KiB): 18876188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.517921
system time used= 0.313952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13744
page faults= 116
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20490
involuntary context switches= 23
runsolver used 0.716891 second user time and 1.43278 second system time
The end