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-3481754-1307577549/watcher-3481754-1307577549 -o /tmp/evaluation-result-3481754-1307577549/solver-3481754-1307577549 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481754-1307577549.opb -seed 1719461105 -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: 2.16 2.06 1.48 2/510 3035
/proc/meminfo: memFree=24659932/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 1 0 850170543 15753216 704 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/3035/statm: 3846 704 334 364 0 333 0
[startup+0.048627 s]
/proc/loadavg: 2.16 2.06 1.48 2/510 3035
/proc/meminfo: memFree=24659932/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 1288 0 0 0 2 0 0 0 20 0 1 0 850170543 19345408 1141 33554432000 4194304 5683644 140736981989104 18446744073709551615 4418308 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 4723 1141 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.100558 s]
/proc/loadavg: 2.16 2.06 1.48 2/510 3035
/proc/meminfo: memFree=24659932/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=87832 CPUtime=0.05 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 2684 0 0 0 4 1 0 0 20 0 1 0 850170543 89939968 2400 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261275061 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 21958 2400 728 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87832
[startup+0.300556 s]
/proc/loadavg: 2.16 2.06 1.48 2/510 3035
/proc/meminfo: memFree=24659932/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 5357 933 1 0 12 5 0 0 17 0 1 0 850170543 126713856 3744 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261612549 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/3035/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700543 s]
/proc/loadavg: 2.16 2.06 1.48 2/510 3035
/proc/meminfo: memFree=24659932/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=349312 CPUtime=0.44 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 20976 933 1 0 31 13 0 0 16 0 1 0 850170543 357695488 18839 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261616384 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 87328 18885 1776 364 0 22221 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 349312
[startup+1.50037 s]
/proc/loadavg: 2.16 2.06 1.48 3/511 3040
/proc/meminfo: memFree=24560228/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=377712 CPUtime=1.23 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 32629 933 1 0 109 14 0 0 17 0 1 0 850170543 386777088 30491 33554432000 4194304 5683644 140736981989104 18446744073709551615 4300627 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 94428 30491 1781 364 0 29321 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 377712
[startup+3.10106 s]
/proc/loadavg: 2.16 2.06 1.48 3/511 3040
/proc/meminfo: memFree=24521664/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=434036 CPUtime=2.84 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 46501 933 1 0 267 17 0 0 19 0 1 0 850170543 444452864 44363 33554432000 4194304 5683644 140736981989104 18446744073709551615 4603010 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 108509 44363 1781 364 0 43402 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 434036
[startup+6.30054 s]
/proc/loadavg: 2.23 2.08 1.48 3/511 3041
/proc/meminfo: memFree=24409328/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=544972 CPUtime=6.04 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 74189 933 1 0 582 22 0 0 25 0 1 0 850170543 558051328 72051 33554432000 4194304 5683644 140736981989104 18446744073709551615 47834532418631 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3035/statm: 136243 72051 1781 364 0 71136 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 544972
[startup+12.7004 s]
/proc/loadavg: 2.29 2.09 1.49 3/511 3041
/proc/meminfo: memFree=24157060/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=706280 CPUtime=12.44 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 190712 933 1 0 1206 38 0 0 25 0 1 0 850170543 723230720 112916 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261274396 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/3035/statm: 176570 112916 1815 364 0 111463 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 706280
[startup+25.5011 s]
/proc/loadavg: 2.23 2.09 1.50 3/512 3042
/proc/meminfo: memFree=24130556/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=720992 CPUtime=25.24 cores=0,2,4,6
/proc/3035/stat : 3035 (python) R 3033 3035 2733 0 -1 4202496 194391 933 1 0 2486 38 0 0 25 0 1 0 850170543 738295808 116595 33554432000 4194304 5683644 140736981989104 18446744073709551615 4623682 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/3035/statm: 180248 116595 1816 364 0 115141 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 720992
[startup+51.1006 s]
/proc/loadavg: 2.15 2.08 1.51 3/515 3046
/proc/meminfo: memFree=22284532/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=664844 CPUtime=30.06 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 205717 933 1 0 2965 41 0 0 25 0 2 0 850170543 680800256 100049 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3035/statm: 166211 100049 1870 364 0 101098 0
[pid=3043] ppid=3035 vsize=654600 CPUtime=0.08 cores=0,2,4,6
/proc/3043/stat : 3043 (python) S 3035 3035 2733 0 -1 4202560 909 0 0 0 3 5 0 0 15 0 1 0 850173574 670310400 98550 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261636623 0 0 16781312 33554946 72262103200705409 0 0 17 2 0 0 0
/proc/3043/statm: 163650 98550 375 364 0 98537 0
[pid=3045] ppid=3043 vsize=1930420 CPUtime=20.72 cores=0,2,4,6
/proc/3045/stat : 3045 (scip-2.0.1.linu) R 3043 3045 3045 0 -1 4202496 477793 0 0 0 1954 118 0 0 25 0 1 0 850173576 1976750080 477171 33554432000 4194304 13684479 140735466370512 18446744073709551615 6733180 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3045/statm: 482605 477171 618 2317 0 480283 0
[pid=3035/tid=3044] ppid=3033 vsize=664844 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3044/stat : 3044 (python) S 3033 3035 2733 0 -1 4202560 28 933 0 0 0 0 0 0 25 0 2 0 850173576 680800256 100049 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 3249864
[startup+102.301 s]
/proc/loadavg: 2.20 2.10 1.55 3/510 3115
/proc/meminfo: memFree=21581316/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=675100 CPUtime=30.1 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 206542 933 1 0 2968 42 0 0 20 0 3 0 850170543 691302400 100056 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3035/statm: 168775 100056 1873 364 0 103659 0
[pid=3043] ppid=3035 vsize=664844 CPUtime=0.22 cores=0,2,4,6
/proc/3043/stat : 3043 (python) S 3035 3035 2733 0 -1 4202560 1085 0 0 0 9 13 0 0 16 0 2 0 850173574 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3043/statm: 166211 98586 406 364 0 101098 0
[pid=3045] ppid=3043 vsize=1930420 CPUtime=50.23 cores=0,2,4,6
/proc/3045/stat : 3045 (scip-2.0.1.linu) T 3043 3045 3045 0 -1 4202496 481406 0 0 0 4884 139 0 0 25 0 1 0 850173576 1976750080 477309 33554432000 4194304 13684479 140735466370512 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3045/statm: 482605 477309 684 2317 0 480283 0
[pid=3043/tid=3111] ppid=3035 vsize=664844 CPUtime=0 cores=0,2,4,6
/proc/3043/task/3111/stat : 3111 (python) S 3035 3035 2733 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850178612 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604448187899968 0 0 -1 2 0 0 0
[pid=3113] ppid=3035 vsize=664856 CPUtime=0.1 cores=0,2,4,6
/proc/3113/stat : 3113 (python) S 3035 3035 2733 0 -1 4202560 945 0 0 0 4 6 0 0 15 0 1 0 850178615 680812544 98551 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261636678 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/3113/statm: 166214 98551 372 364 0 101098 0
[pid=3115] ppid=3113 vsize=189628 CPUtime=21.53 cores=0,2,4,6
/proc/3115/stat : 3115 (wbo1.4a) R 3113 3115 3115 0 -1 4202496 124057 0 0 0 2136 17 0 0 25 0 1 0 850178616 194179072 45917 33554432000 134512640 135751879 4294776320 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/3115/statm: 47407 45917 146 303 0 47102 0
[pid=3035/tid=3044] ppid=3033 vsize=675100 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3044/stat : 3044 (python) S 3033 3035 2733 0 -1 4202560 28 933 0 0 0 0 0 0 25 0 3 0 850173576 691302400 100056 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3114] ppid=3033 vsize=675100 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3114/stat : 3114 (python) S 3033 3035 2733 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 3 0 850178616 691302400 100056 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 4124848
[startup+162.302 s]
/proc/loadavg: 2.07 2.08 1.57 3/554 3175
/proc/meminfo: memFree=19583360/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=685356 CPUtime=30.13 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 207461 933 1 0 2970 43 0 0 19 0 4 0 850170543 701804544 100062 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3035/statm: 171339 100062 1875 364 0 106220 0
[pid=3043] ppid=3035 vsize=664844 CPUtime=0.22 cores=0,2,4,6
/proc/3043/stat : 3043 (python) S 3035 3035 2733 0 -1 4202560 1085 0 0 0 9 13 0 0 16 0 2 0 850173574 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3043/statm: 166211 98586 406 364 0 101098 0
[pid=3045] ppid=3043 vsize=1930420 CPUtime=50.23 cores=0,2,4,6
/proc/3045/stat : 3045 (scip-2.0.1.linu) T 3043 3045 3045 0 -1 4202496 481406 0 0 0 4884 139 0 0 25 0 1 0 850173576 1976750080 477309 33554432000 4194304 13684479 140735466370512 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3045/statm: 482605 477309 684 2317 0 480283 0
[pid=3043/tid=3111] ppid=3035 vsize=664844 CPUtime=0 cores=0,2,4,6
/proc/3043/task/3111/stat : 3111 (python) S 3035 3035 2733 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850178612 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604448187899968 0 0 -1 2 0 0 0
[pid=3113] ppid=3035 vsize=664856 CPUtime=0.25 cores=0,2,4,6
/proc/3113/stat : 3113 (python) S 3035 3035 2733 0 -1 4202560 1124 0 0 0 12 13 0 0 16 0 2 0 850178615 680812544 98576 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3113/statm: 166214 98576 396 364 0 101098 0
[pid=3115] ppid=3113 vsize=236920 CPUtime=50.18 cores=0,2,4,6
/proc/3115/stat : 3115 (wbo1.4a) T 3113 3115 3115 0 -1 4202496 185713 0 0 0 4977 41 0 0 25 0 1 0 850178616 242606080 58006 33554432000 134512640 135751879 4294776320 18446744073709551615 134642946 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/3115/statm: 59230 58006 146 303 0 58925 0
[pid=3113/tid=3152] ppid=3035 vsize=664856 CPUtime=0 cores=0,2,4,6
/proc/3113/task/3152/stat : 3152 (python) S 3035 3035 2733 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850183638 680812544 98576 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604453968145472 0 0 -1 6 0 0 0
[pid=3153] ppid=3035 vsize=675112 CPUtime=0.15 cores=0,2,4,6
/proc/3153/stat : 3153 (python) S 3035 3035 2733 0 -1 4202560 930 0 0 0 8 7 0 0 16 0 1 0 850183640 691314688 98555 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261636678 0 0 16781312 33554946 72409437758827393 0 0 17 4 0 0 0
/proc/3153/statm: 168778 98555 372 364 0 103659 0
[pid=3155] ppid=3153 vsize=8539680 CPUtime=33.16 cores=0,2,4,6
/proc/3155/stat : 3155 (java) S 3153 3155 3155 0 -1 4202496 439842 0 1 0 3255 61 0 0 20 0 19 0 850183642 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3155/statm: 2134920 433073 2256 9 0 2125661 0
[pid=3155/tid=3156] ppid=3153 vsize=8539680 CPUtime=30.96 cores=0,2,4,6
/proc/3155/task/3156/stat : 3156 (java) R 3153 3155 3155 0 -1 4202560 405247 0 1 0 3042 54 0 0 25 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 46912505891864 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3155/tid=3157] ppid=3153 vsize=8539680 CPUtime=0.05 cores=0,2,4,6
/proc/3155/task/3157/stat : 3157 (java) S 3153 3155 3155 0 -1 4202560 2374 0 0 0 5 0 0 0 16 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=3155/tid=3158] ppid=3153 vsize=8539680 CPUtime=0.01 cores=0,2,4,6
/proc/3155/task/3158/stat : 3158 (java) S 3153 3155 3155 0 -1 4202560 1251 0 0 0 1 0 0 0 15 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=3155/tid=3159] ppid=3153 vsize=8539680 CPUtime=0.03 cores=0,2,4,6
/proc/3155/task/3159/stat : 3159 (java) S 3153 3155 3155 0 -1 4202560 1939 0 0 0 3 0 0 0 15 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=3155/tid=3161] ppid=3153 vsize=8539680 CPUtime=0.02 cores=0,2,4,6
/proc/3155/task/3161/stat : 3161 (java) S 3153 3155 3155 0 -1 4202560 2568 0 0 0 2 0 0 0 15 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=3155/tid=3162] ppid=3153 vsize=8539680 CPUtime=0.07 cores=0,2,4,6
/proc/3155/task/3162/stat : 3162 (java) S 3153 3155 3155 0 -1 4202560 3799 0 0 0 7 0 0 0 16 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=3155/tid=3163] ppid=3153 vsize=8539680 CPUtime=0.02 cores=0,2,4,6
/proc/3155/task/3163/stat : 3163 (java) S 3153 3155 3155 0 -1 4202560 1447 0 0 0 2 0 0 0 15 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=3155/tid=3164] ppid=3153 vsize=8539680 CPUtime=0.06 cores=0,2,4,6
/proc/3155/task/3164/stat : 3164 (java) S 3153 3155 3155 0 -1 4202560 5198 0 0 0 6 0 0 0 16 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=3155/tid=3165] ppid=3153 vsize=8539680 CPUtime=0.05 cores=0,2,4,6
/proc/3155/task/3165/stat : 3165 (java) S 3153 3155 3155 0 -1 4202560 3876 0 0 0 5 0 0 0 15 0 19 0 850183645 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=3155/tid=3166] ppid=3153 vsize=8539680 CPUtime=0.09 cores=0,2,4,6
/proc/3155/task/3166/stat : 3166 (java) S 3153 3155 3155 0 -1 4202560 3038 0 0 0 9 0 0 0 15 0 19 0 850183646 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3167] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3167/stat : 3167 (java) S 3153 3155 3155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850183647 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3168] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3168/stat : 3168 (java) S 3153 3155 3155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850183647 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3169] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3169/stat : 3169 (java) S 3153 3155 3155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850183649 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3170] ppid=3153 vsize=8539680 CPUtime=0.77 cores=0,2,4,6
/proc/3155/task/3170/stat : 3170 (java) S 3153 3155 3155 0 -1 4202560 1994 0 0 0 77 0 0 0 15 0 19 0 850183649 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3171] ppid=3153 vsize=8539680 CPUtime=0.9 cores=0,2,4,6
/proc/3155/task/3171/stat : 3171 (java) S 3153 3155 3155 0 -1 4202560 5719 0 0 0 90 0 0 0 15 0 19 0 850183649 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=3155/tid=3172] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3172/stat : 3172 (java) S 3153 3155 3155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850183649 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=3155/tid=3173] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3173/stat : 3173 (java) S 3153 3155 3155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850183649 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=3155/tid=3174] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3174/stat : 3174 (java) S 3153 3155 3155 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850184487 8744632320 433073 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=3035/tid=3044] ppid=3033 vsize=685356 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3044/stat : 3044 (python) S 3033 3035 2733 0 -1 4202560 28 933 0 0 0 0 0 0 25 0 4 0 850173576 701804544 100062 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3114] ppid=3033 vsize=685356 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3114/stat : 3114 (python) S 3033 3035 2733 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 4 0 850178616 701804544 100062 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3154] ppid=3033 vsize=685356 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3154/stat : 3154 (python) S 3033 3035 2733 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 4 0 850183642 701804544 100062 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 164.32
Current children cumulated vsize (KiB) 13397188
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+190.002 s]
/proc/loadavg: 2.11 2.08 1.59 3/562 3188
/proc/meminfo: memFree=17774884/32951124 swapFree=67057920/67111528
[pid=3035] ppid=3033 vsize=695612 CPUtime=30.17 cores=0,2,4,6
/proc/3035/stat : 3035 (python) S 3033 3035 2733 0 -1 4202496 208376 933 1 0 2972 45 0 0 20 0 5 0 850170543 712306688 100068 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3035/statm: 173903 100068 1877 364 0 108781 0
[pid=3043] ppid=3035 vsize=664844 CPUtime=0.22 cores=0,2,4,6
/proc/3043/stat : 3043 (python) S 3035 3035 2733 0 -1 4202560 1085 0 0 0 9 13 0 0 16 0 2 0 850173574 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3043/statm: 166211 98586 406 364 0 101098 0
[pid=3045] ppid=3043 vsize=1930420 CPUtime=50.23 cores=0,2,4,6
/proc/3045/stat : 3045 (scip-2.0.1.linu) T 3043 3045 3045 0 -1 4202496 481406 0 0 0 4884 139 0 0 25 0 1 0 850173576 1976750080 477309 33554432000 4194304 13684479 140735466370512 18446744073709551615 5688624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/3045/statm: 482605 477309 684 2317 0 480283 0
[pid=3043/tid=3111] ppid=3035 vsize=664844 CPUtime=0 cores=0,2,4,6
/proc/3043/task/3111/stat : 3111 (python) S 3035 3035 2733 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850178612 680800256 98586 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604448187899968 0 0 -1 2 0 0 0
[pid=3113] ppid=3035 vsize=664856 CPUtime=0.25 cores=0,2,4,6
/proc/3113/stat : 3113 (python) S 3035 3035 2733 0 -1 4202560 1124 0 0 0 12 13 0 0 16 0 2 0 850178615 680812544 98576 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3113/statm: 166214 98576 396 364 0 101098 0
[pid=3115] ppid=3113 vsize=236920 CPUtime=50.18 cores=0,2,4,6
/proc/3115/stat : 3115 (wbo1.4a) T 3113 3115 3115 0 -1 4202496 185713 0 0 0 4977 41 0 0 25 0 1 0 850178616 242606080 58006 33554432000 134512640 135751879 4294776320 18446744073709551615 134642946 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/3115/statm: 59230 58006 146 303 0 58925 0
[pid=3113/tid=3152] ppid=3035 vsize=664856 CPUtime=0 cores=0,2,4,6
/proc/3113/task/3152/stat : 3152 (python) S 3035 3035 2733 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850183638 680812544 98576 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604453968145472 0 0 -1 6 0 0 0
[pid=3153] ppid=3035 vsize=675112 CPUtime=0.21 cores=0,2,4,6
/proc/3153/stat : 3153 (python) S 3035 3035 2733 0 -1 4202560 1097 0 0 0 11 10 0 0 16 0 2 0 850183640 691314688 98580 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273443275 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3153/statm: 168778 98580 396 364 0 103659 0
[pid=3155] ppid=3153 vsize=8539680 CPUtime=46.87 cores=0,2,4,6
/proc/3155/stat : 3155 (java) T 3153 3155 3155 0 -1 4202496 439849 0 1 0 4626 61 0 0 18 0 19 0 850183642 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3155/statm: 2134920 431479 2256 9 0 2125661 0
[pid=3155/tid=3156] ppid=3153 vsize=8539680 CPUtime=44.62 cores=0,2,4,6
/proc/3155/task/3156/stat : 3156 (java) T 3153 3155 3155 0 -1 4202560 405249 0 1 0 4408 54 0 0 25 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 46912505832497 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3155/tid=3157] ppid=3153 vsize=8539680 CPUtime=0.05 cores=0,2,4,6
/proc/3155/task/3157/stat : 3157 (java) T 3153 3155 3155 0 -1 4202560 2374 0 0 0 5 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3155/tid=3158] ppid=3153 vsize=8539680 CPUtime=0.01 cores=0,2,4,6
/proc/3155/task/3158/stat : 3158 (java) T 3153 3155 3155 0 -1 4202560 1251 0 0 0 1 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3155/tid=3159] ppid=3153 vsize=8539680 CPUtime=0.05 cores=0,2,4,6
/proc/3155/task/3159/stat : 3159 (java) T 3153 3155 3155 0 -1 4202560 1939 0 0 0 5 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3155/tid=3161] ppid=3153 vsize=8539680 CPUtime=0.03 cores=0,2,4,6
/proc/3155/task/3161/stat : 3161 (java) T 3153 3155 3155 0 -1 4202560 2568 0 0 0 3 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3155/tid=3162] ppid=3153 vsize=8539680 CPUtime=0.07 cores=0,2,4,6
/proc/3155/task/3162/stat : 3162 (java) T 3153 3155 3155 0 -1 4202560 3799 0 0 0 7 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3155/tid=3163] ppid=3153 vsize=8539680 CPUtime=0.02 cores=0,2,4,6
/proc/3155/task/3163/stat : 3163 (java) T 3153 3155 3155 0 -1 4202560 1447 0 0 0 2 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3155/tid=3164] ppid=3153 vsize=8539680 CPUtime=0.07 cores=0,2,4,6
/proc/3155/task/3164/stat : 3164 (java) T 3153 3155 3155 0 -1 4202560 5198 0 0 0 7 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3155/tid=3165] ppid=3153 vsize=8539680 CPUtime=0.05 cores=0,2,4,6
/proc/3155/task/3165/stat : 3165 (java) T 3153 3155 3155 0 -1 4202560 3876 0 0 0 5 0 0 0 15 0 19 0 850183645 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3155/tid=3166] ppid=3153 vsize=8539680 CPUtime=0.09 cores=0,2,4,6
/proc/3155/task/3166/stat : 3166 (java) T 3153 3155 3155 0 -1 4202560 3040 0 0 0 9 0 0 0 15 0 19 0 850183646 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3167] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3167/stat : 3167 (java) T 3153 3155 3155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850183647 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3168] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3168/stat : 3168 (java) T 3153 3155 3155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850183647 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3169] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3169/stat : 3169 (java) T 3153 3155 3155 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850183649 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273440177 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3170] ppid=3153 vsize=8539680 CPUtime=0.77 cores=0,2,4,6
/proc/3155/task/3170/stat : 3170 (java) T 3153 3155 3155 0 -1 4202560 1994 0 0 0 77 0 0 0 15 0 19 0 850183649 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3171] ppid=3153 vsize=8539680 CPUtime=0.9 cores=0,2,4,6
/proc/3155/task/3171/stat : 3171 (java) T 3153 3155 3155 0 -1 4202560 5720 0 0 0 90 0 0 0 15 0 19 0 850183649 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3155/tid=3172] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3172/stat : 3172 (java) T 3153 3155 3155 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850183649 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273432473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3155/tid=3173] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3173/stat : 3173 (java) T 3153 3155 3155 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850183649 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3155/tid=3174] ppid=3153 vsize=8539680 CPUtime=0 cores=0,2,4,6
/proc/3155/task/3174/stat : 3174 (java) T 3153 3155 3155 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 850184487 8744632320 431479 33554432000 1073741824 1073778376 140736492347536 18446744073709551615 254273433088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3153/tid=3183] ppid=3035 vsize=675112 CPUtime=0 cores=0,2,4,6
/proc/3153/task/3183/stat : 3183 (python) S 3035 3035 2733 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850188141 691314688 98580 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554946 18446604442322036032 0 0 -1 4 0 0 0
[pid=3184] ppid=3035 vsize=685368 CPUtime=0.07 cores=0,2,4,6
/proc/3184/stat : 3184 (python) S 3035 3035 2733 0 -1 4202560 959 0 0 0 3 4 0 0 15 0 1 0 850188144 701816832 98559 33554432000 4194304 5683644 140736981989104 18446744073709551615 254261636678 0 0 16781312 33554946 72114768642583425 0 0 17 0 0 0 0
/proc/3184/statm: 171342 98559 372 364 0 106220 0
[pid=3187] ppid=3184 vsize=1798848 CPUtime=13.97 cores=0,2,4,6
/proc/3187/stat : 3187 (scip-2.0.1.linu) R 3184 3187 3187 0 -1 4202496 444619 0 0 0 1347 50 0 0 25 0 1 0 850188145 1842020352 443997 33554432000 4194304 15243407 140735912714464 18446744073709551615 6707872 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3187/statm: 449712 444012 589 2698 0 447007 0
[pid=3035/tid=3044] ppid=3033 vsize=695612 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3044/stat : 3044 (python) S 3033 3035 2733 0 -1 4202560 28 933 0 0 0 0 0 0 25 0 5 0 850173576 712306688 100068 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3114] ppid=3033 vsize=695612 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3114/stat : 3114 (python) S 3033 3035 2733 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 5 0 850178616 712306688 100068 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3154] ppid=3033 vsize=695612 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3154/stat : 3154 (python) S 3033 3035 2733 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 5 0 850183642 712306688 100068 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 2 0 0 0
[pid=3035/tid=3186] ppid=3033 vsize=695612 CPUtime=0 cores=0,2,4,6
/proc/3035/task/3186/stat : 3186 (python) S 3033 3035 2733 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 5 0 850188145 712306688 100068 33554432000 4194304 5683644 140736981989104 18446744073709551615 254273440177 0 0 16781312 33554434 18446604445655383104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 192.17
Current children cumulated vsize (KiB) 15891660
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 3035 and gives
# childrusage.ru_utime.tv_sec=29
# childrusage.ru_utime.tv_usec=728480
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=475927
# CPU time returned by wait4() is 30.2044
# while last known CPU time is 192.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 190.073
CPU time (s): 192.17
CPU user time (s): 188.41
CPU system time (s): 3.76
CPU usage (%): 101.103
Max. virtual memory (cumulated for all children) (KiB): 15891660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7285
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209311
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= 2865
involuntary context switches= 349
runsolver used 1.18882 second user time and 2.18367 second system time
The end