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-3482891-1307578714/watcher-3482891-1307578714 -o /tmp/evaluation-result-3482891-1307578714/solver-3482891-1307578714 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482891-1307578714.opb -seed 2112531274 -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.09 2.05 1.84 2/508 17304
/proc/meminfo: memFree=15569584/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 1019 0 0 0 0 0 0 0 22 0 1 0 869472894 16633856 892 33554432000 4194304 5683644 140734105877744 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 4061 894 372 364 0 548 0
[startup+0.07273 s]
/proc/loadavg: 2.09 2.05 1.84 2/508 17304
/proc/meminfo: memFree=15569584/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=36840 CPUtime=0.04 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1624 0 0 0 3 1 0 0 22 0 1 0 869472894 37724160 1454 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17304/statm: 9210 1454 452 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36840
[startup+0.100738 s]
/proc/loadavg: 2.09 2.05 1.84 2/508 17304
/proc/meminfo: memFree=15569584/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=85628 CPUtime=0.06 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 2666 0 0 0 4 2 0 0 22 0 1 0 869472894 87683072 2384 33554432000 4194304 5683644 140734105877744 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 21407 2384 715 364 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85628
[startup+0.300737 s]
/proc/loadavg: 2.09 2.05 1.84 2/508 17304
/proc/meminfo: memFree=15569584/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 5357 928 1 0 11 6 0 0 22 0 1 0 869472894 126713856 3745 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446941189 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17304/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700666 s]
/proc/loadavg: 2.09 2.05 1.84 2/508 17304
/proc/meminfo: memFree=15569584/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=262012 CPUtime=0.4 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 8387 928 1 0 28 12 0 0 21 0 1 0 869472894 268300288 6475 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/17304/statm: 65503 6475 1677 364 0 5219 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 262012
[startup+1.50051 s]
/proc/loadavg: 2.09 2.05 1.84 3/509 17309
/proc/meminfo: memFree=15176908/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=677320 CPUtime=1.19 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 107621 928 1 0 88 31 0 0 23 0 1 0 869472894 693575680 105484 33554432000 4194304 5683644 140734105877744 18446744073709551615 47673614741387 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 169330 105485 1781 364 0 104223 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 677320
[startup+3.10021 s]
/proc/loadavg: 2.09 2.05 1.84 4/509 17309
/proc/meminfo: memFree=15139464/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=732888 CPUtime=2.79 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 121208 928 1 0 247 32 0 0 25 0 1 0 869472894 750477312 119071 33554432000 4194304 5683644 140734105877744 18446744073709551615 47673614731070 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 183222 119071 1781 364 0 118115 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 732888
[startup+6.3006 s]
/proc/loadavg: 2.16 2.06 1.85 3/509 17309
/proc/meminfo: memFree=15003992/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=848168 CPUtime=6 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 148492 928 1 0 563 37 0 0 25 0 1 0 869472894 868524032 146355 33554432000 4194304 5683644 140734105877744 18446744073709551615 47673614731628 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 212042 146356 1781 364 0 146935 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 848168
[startup+12.7005 s]
/proc/loadavg: 2.15 2.06 1.85 3/509 17310
/proc/meminfo: memFree=14778576/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=1068236 CPUtime=12.41 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 203153 928 1 0 1196 45 0 0 25 0 1 0 869472894 1093873664 201016 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446606021 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 267059 201016 1781 364 0 201952 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 1068236
[startup+25.5011 s]
/proc/loadavg: 2.11 2.06 1.85 3/509 17310
/proc/meminfo: memFree=14369436/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=1502904 CPUtime=25.2 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 311449 928 1 0 2460 60 0 0 25 0 1 0 869472894 1538973696 309312 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446606021 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 375726 309312 1781 364 0 310619 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 1502904
[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 1.85 3/509 17310
/proc/meminfo: memFree=13456660/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=2515688 CPUtime=50.79 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 555112 928 1 0 4986 93 0 0 25 0 1 0 869472894 2576064512 552975 33554432000 4194304 5683644 140734105877744 18446744073709551615 4436508 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17304/statm: 628922 552975 1781 364 0 563815 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 2515688
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 1.86 3/509 17312
/proc/meminfo: memFree=13408028/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=2427296 CPUtime=102 cores=0,2,4,6
/proc/17304/stat : 17304 (python) R 17302 17304 16182 0 -1 4202496 953988 928 1 0 10060 140 0 0 25 0 1 0 869472894 2485551104 543168 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446306039 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/17304/statm: 606824 543168 1816 364 0 541717 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 2427296
[startup+162.301 s]
/proc/loadavg: 1.57 1.92 1.82 2/487 17335
/proc/meminfo: memFree=14559744/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=1906320 CPUtime=158.48 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1110660 928 1 0 15686 162 0 0 25 0 2 0 869472894 1952071680 410431 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17304/statm: 476580 410431 1872 364 0 411467 0
[pid=17332] ppid=17304 vsize=1897160 CPUtime=0.03 cores=0,2,4,6
/proc/17332/stat : 17332 (python) S 17304 17304 16182 0 -1 4202560 883 0 0 0 0 3 0 0 18 0 1 0 869488770 1942691840 408933 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446965263 0 0 16781312 33554946 4988372762163642627 0 0 17 2 0 0 0
/proc/17332/statm: 474290 408933 377 364 0 409177 0
[pid=17334] ppid=17332 vsize=463520 CPUtime=3.5 cores=0,2,4,6
/proc/17334/stat : 17334 (wbo1.4b-fixed) R 17332 17334 17334 0 -1 4202496 33341 0 0 0 345 5 0 0 25 0 1 0 869488772 474644480 33015 33554432000 134512640 135752315 4290275888 18446744073709551615 134564883 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17334/statm: 115913 33016 12355 303 0 21873 0
[pid=17304/tid=17333] ppid=17302 vsize=1906320 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17333/stat : 17333 (python) S 17302 17304 16182 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 869488772 1952071680 410431 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 4267000
[startup+222.301 s]
/proc/loadavg: 1.35 1.78 1.78 2/491 17340
/proc/meminfo: memFree=13626908/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=1917140 CPUtime=158.53 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1111548 928 1 0 15689 164 0 0 20 0 3 0 869472894 1963151360 410564 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17304/statm: 479285 410564 1875 364 0 414169 0
[pid=17332] ppid=17304 vsize=1907404 CPUtime=0.19 cores=0,2,4,6
/proc/17332/stat : 17332 (python) S 17304 17304 16182 0 -1 4202560 1128 0 0 0 8 11 0 0 16 0 2 0 869488770 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17332/statm: 476851 408973 412 364 0 411738 0
[pid=17334] ppid=17332 vsize=816700 CPUtime=46.04 cores=0,2,4,6
/proc/17334/stat : 17334 (wbo1.4b-fixed) T 17332 17334 17334 0 -1 4202496 304052 0 0 0 4564 40 0 0 25 0 1 0 869488772 836300800 200582 33554432000 134512640 135752315 4290275888 18446744073709551615 134611302 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17334/statm: 204175 200582 146 303 0 203870 0
[pid=17332/tid=17337] ppid=17304 vsize=1907404 CPUtime=0 cores=0,2,4,6
/proc/17332/task/17337/stat : 17337 (python) S 17304 17304 16182 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493380 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604449738804224 0 0 -1 6 0 0 0
[pid=17338] ppid=17304 vsize=1907232 CPUtime=0.06 cores=0,2,4,6
/proc/17338/stat : 17338 (python) S 17304 17304 16182 0 -1 4202560 935 0 0 0 2 4 0 0 18 0 1 0 869493382 1953005568 409060 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446965318 0 0 16781312 33554946 72556772316949339 0 0 17 6 0 0 0
/proc/17338/statm: 476808 409060 374 364 0 411692 0
[pid=17340] ppid=17338 vsize=214356 CPUtime=17.36 cores=0,2,4,6
/proc/17340/stat : 17340 (pbct-0.1.2-linu) R 17338 17340 17340 0 -1 4202496 55577 0 0 0 1726 10 0 0 25 0 1 0 869493384 219500544 53159 33554432000 134512640 136422188 4290049488 18446744073709551615 135818579 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17340/statm: 53589 53159 144 467 0 53120 0
[pid=17304/tid=17333] ppid=17302 vsize=1917140 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17333/stat : 17333 (python) S 17302 17304 16182 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 3 0 869488772 1963151360 410564 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17339] ppid=17302 vsize=1917140 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17339/stat : 17339 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 3 0 869493384 1963151360 410564 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 6762832
[startup+282.317 s]
/proc/loadavg: 1.13 1.64 1.73 2/495 17346
/proc/meminfo: memFree=12625008/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=1992932 CPUtime=158.57 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1112378 928 1 0 15691 166 0 0 18 0 4 0 869472894 2040762368 410571 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/17304/statm: 498233 410571 1877 364 0 433114 0
[pid=17332] ppid=17304 vsize=1907404 CPUtime=0.19 cores=0,2,4,6
/proc/17332/stat : 17332 (python) S 17304 17304 16182 0 -1 4202560 1128 0 0 0 8 11 0 0 16 0 2 0 869488770 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17332/statm: 476851 408973 412 364 0 411738 0
[pid=17334] ppid=17332 vsize=816700 CPUtime=46.04 cores=0,2,4,6
/proc/17334/stat : 17334 (wbo1.4b-fixed) T 17332 17334 17334 0 -1 4202496 304052 0 0 0 4564 40 0 0 25 0 1 0 869488772 836300800 200582 33554432000 134512640 135752315 4290275888 18446744073709551615 134611302 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17334/statm: 204175 200582 146 303 0 203870 0
[pid=17332/tid=17337] ppid=17304 vsize=1907404 CPUtime=0 cores=0,2,4,6
/proc/17332/task/17337/stat : 17337 (python) S 17304 17304 16182 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493380 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604449738804224 0 0 -1 6 0 0 0
[pid=17338] ppid=17304 vsize=1907232 CPUtime=0.19 cores=0,2,4,6
/proc/17338/stat : 17338 (python) S 17304 17304 16182 0 -1 4202560 1119 0 0 0 9 10 0 0 19 0 2 0 869493382 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17338/statm: 476808 409084 397 364 0 411692 0
[pid=17340] ppid=17338 vsize=576332 CPUtime=46.2 cores=0,2,4,6
/proc/17340/stat : 17340 (pbct-0.1.2-linu) T 17338 17340 17340 0 -1 4202496 149747 0 0 0 4593 27 0 0 25 0 1 0 869493384 590163968 140413 33554432000 134512640 136422188 4290049488 18446744073709551615 134518933 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17340/statm: 144083 140413 144 467 0 143614 0
[pid=17338/tid=17342] ppid=17304 vsize=1907232 CPUtime=0 cores=0,2,4,6
/proc/17338/task/17342/stat : 17342 (python) S 17304 17304 16182 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869498007 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453007377664 0 0 -1 6 0 0 0
[pid=17343] ppid=17304 vsize=1917560 CPUtime=0.12 cores=0,2,4,6
/proc/17343/stat : 17343 (python) S 17304 17304 16182 0 -1 4202560 931 0 0 0 4 8 0 0 15 0 1 0 869498009 1963581440 409064 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446965318 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17343/statm: 479390 409064 374 364 0 414271 0
[pid=17345] ppid=17343 vsize=651580 CPUtime=31.11 cores=0,2,4,6
/proc/17345/stat : 17345 (wbo1.4a) R 17343 17345 17345 0 -1 4202496 262767 0 0 0 3076 35 0 0 25 0 1 0 869498012 667217920 159289 33554432000 134512640 135751879 4290580384 18446744073709551615 134610762 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17345/statm: 162895 159289 143 303 0 162590 0
[pid=17304/tid=17333] ppid=17302 vsize=1992932 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17333/stat : 17333 (python) S 17302 17304 16182 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 4 0 869488772 2040762368 410571 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17339] ppid=17302 vsize=1992932 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17339/stat : 17339 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 4 0 869493384 2040762368 410571 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17344] ppid=17302 vsize=1992932 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17344/stat : 17344 (python) S 17302 17304 16182 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 4 0 869498011 2040762368 410571 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 9769740
[startup+342.301 s]
/proc/loadavg: 1.05 1.52 1.68 2/499 17351
/proc/meminfo: memFree=10392696/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=2003188 CPUtime=158.62 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1113165 928 1 0 15693 169 0 0 20 0 5 0 869472894 2051264512 410737 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/17304/statm: 500797 410737 1879 364 0 435675 0
[pid=17332] ppid=17304 vsize=1907404 CPUtime=0.19 cores=0,2,4,6
/proc/17332/stat : 17332 (python) S 17304 17304 16182 0 -1 4202560 1128 0 0 0 8 11 0 0 16 0 2 0 869488770 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17332/statm: 476851 408973 412 364 0 411738 0
[pid=17334] ppid=17332 vsize=816700 CPUtime=46.04 cores=0,2,4,6
/proc/17334/stat : 17334 (wbo1.4b-fixed) T 17332 17334 17334 0 -1 4202496 304052 0 0 0 4564 40 0 0 25 0 1 0 869488772 836300800 200582 33554432000 134512640 135752315 4290275888 18446744073709551615 134611302 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17334/statm: 204175 200582 146 303 0 203870 0
[pid=17332/tid=17337] ppid=17304 vsize=1907404 CPUtime=0 cores=0,2,4,6
/proc/17332/task/17337/stat : 17337 (python) S 17304 17304 16182 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493380 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604449738804224 0 0 -1 6 0 0 0
[pid=17338] ppid=17304 vsize=1907232 CPUtime=0.19 cores=0,2,4,6
/proc/17338/stat : 17338 (python) S 17304 17304 16182 0 -1 4202560 1119 0 0 0 9 10 0 0 19 0 2 0 869493382 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17338/statm: 476808 409084 397 364 0 411692 0
[pid=17340] ppid=17338 vsize=576332 CPUtime=46.2 cores=0,2,4,6
/proc/17340/stat : 17340 (pbct-0.1.2-linu) T 17338 17340 17340 0 -1 4202496 149747 0 0 0 4593 27 0 0 25 0 1 0 869493384 590163968 140413 33554432000 134512640 136422188 4290049488 18446744073709551615 134518933 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17340/statm: 144083 140413 144 467 0 143614 0
[pid=17338/tid=17342] ppid=17304 vsize=1907232 CPUtime=0 cores=0,2,4,6
/proc/17338/task/17342/stat : 17342 (python) S 17304 17304 16182 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869498007 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453007377664 0 0 -1 6 0 0 0
[pid=17343] ppid=17304 vsize=1917560 CPUtime=0.21 cores=0,2,4,6
/proc/17343/stat : 17343 (python) S 17304 17304 16182 0 -1 4202560 1104 0 0 0 10 11 0 0 16 0 2 0 869498009 1963581440 409088 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/17343/statm: 479390 409088 397 364 0 414271 0
[pid=17345] ppid=17343 vsize=672436 CPUtime=49.5 cores=0,2,4,6
/proc/17345/stat : 17345 (wbo1.4a) T 17343 17345 17345 0 -1 4202496 267993 0 0 0 4910 40 0 0 25 0 1 0 869498012 688574464 164515 33554432000 134512640 135751879 4290580384 18446744073709551615 134604644 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17345/statm: 168109 164515 143 303 0 167804 0
[pid=17343/tid=17347] ppid=17304 vsize=1917560 CPUtime=0 cores=0,2,4,6
/proc/17343/task/17347/stat : 17347 (python) S 17304 17304 16182 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869502965 1963581440 409088 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604442565802048 0 0 -1 4 0 0 0
[pid=17348] ppid=17304 vsize=1993176 CPUtime=0.16 cores=0,2,4,6
/proc/17348/stat : 17348 (python) S 17304 17304 16182 0 -1 4202560 979 0 0 0 7 9 0 0 18 0 1 0 869502967 2041012224 409229 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446965318 0 0 16781312 33554946 72556772316949339 0 0 17 6 0 0 0
/proc/17348/statm: 498294 409229 374 364 0 433172 0
[pid=17350] ppid=17348 vsize=2252032 CPUtime=41.51 cores=0,2,4,6
/proc/17350/stat : 17350 (scip-2.0.1.linu) R 17348 17350 17350 0 -1 4202496 559415 0 0 0 4059 92 0 0 25 0 1 0 869502970 2306080768 559129 33554432000 4194304 15243407 140735160764832 18446744073709551615 12078768 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17350/statm: 563008 559129 533 2698 0 560303 0
[pid=17304/tid=17333] ppid=17302 vsize=2003188 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17333/stat : 17333 (python) S 17302 17304 16182 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 5 0 869488772 2051264512 410737 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17339] ppid=17302 vsize=2003188 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17339/stat : 17339 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 869493384 2051264512 410737 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17344] ppid=17302 vsize=2003188 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17344/stat : 17344 (python) S 17302 17304 16182 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869498011 2051264512 410737 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 4 0 0 0
[pid=17304/tid=17349] ppid=17302 vsize=2003188 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17349/stat : 17349 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 869502969 2051264512 410737 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 342.62
Current children cumulated vsize (KiB) 14046060
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+349.301 s]
/proc/loadavg: 1.20 1.54 1.68 3/503 17355
/proc/meminfo: memFree=9972440/32951124 swapFree=43324008/67111528
[pid=17304] ppid=17302 vsize=2013444 CPUtime=158.66 cores=0,2,4,6
/proc/17304/stat : 17304 (python) S 17302 17304 16182 0 -1 4202496 1113965 928 1 0 15695 171 0 0 20 0 6 0 869472894 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17304/statm: 503361 410663 1881 364 0 438236 0
[pid=17332] ppid=17304 vsize=1907404 CPUtime=0.19 cores=0,2,4,6
/proc/17332/stat : 17332 (python) S 17304 17304 16182 0 -1 4202560 1128 0 0 0 8 11 0 0 16 0 2 0 869488770 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17332/statm: 476851 408973 412 364 0 411738 0
[pid=17334] ppid=17332 vsize=816700 CPUtime=46.04 cores=0,2,4,6
/proc/17334/stat : 17334 (wbo1.4b-fixed) T 17332 17334 17334 0 -1 4202496 304052 0 0 0 4564 40 0 0 25 0 1 0 869488772 836300800 200582 33554432000 134512640 135752315 4290275888 18446744073709551615 134611302 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17334/statm: 204175 200582 146 303 0 203870 0
[pid=17332/tid=17337] ppid=17304 vsize=1907404 CPUtime=0 cores=0,2,4,6
/proc/17332/task/17337/stat : 17337 (python) S 17304 17304 16182 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869493380 1953181696 408973 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604449738804224 0 0 -1 6 0 0 0
[pid=17338] ppid=17304 vsize=1907232 CPUtime=0.19 cores=0,2,4,6
/proc/17338/stat : 17338 (python) S 17304 17304 16182 0 -1 4202560 1119 0 0 0 9 10 0 0 19 0 2 0 869493382 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17338/statm: 476808 409084 397 364 0 411692 0
[pid=17340] ppid=17338 vsize=576332 CPUtime=46.2 cores=0,2,4,6
/proc/17340/stat : 17340 (pbct-0.1.2-linu) T 17338 17340 17340 0 -1 4202496 149747 0 0 0 4593 27 0 0 25 0 1 0 869493384 590163968 140413 33554432000 134512640 136422188 4290049488 18446744073709551615 134518933 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17340/statm: 144083 140413 144 467 0 143614 0
[pid=17338/tid=17342] ppid=17304 vsize=1907232 CPUtime=0 cores=0,2,4,6
/proc/17338/task/17342/stat : 17342 (python) S 17304 17304 16182 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869498007 1953005568 409084 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604453007377664 0 0 -1 6 0 0 0
[pid=17343] ppid=17304 vsize=1917560 CPUtime=0.21 cores=0,2,4,6
/proc/17343/stat : 17343 (python) S 17304 17304 16182 0 -1 4202560 1104 0 0 0 10 11 0 0 16 0 2 0 869498009 1963581440 409088 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/17343/statm: 479390 409088 397 364 0 414271 0
[pid=17345] ppid=17343 vsize=672436 CPUtime=49.5 cores=0,2,4,6
/proc/17345/stat : 17345 (wbo1.4a) T 17343 17345 17345 0 -1 4202496 267993 0 0 0 4910 40 0 0 25 0 1 0 869498012 688574464 164515 33554432000 134512640 135751879 4290580384 18446744073709551615 134604644 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17345/statm: 168109 164515 143 303 0 167804 0
[pid=17343/tid=17347] ppid=17304 vsize=1917560 CPUtime=0 cores=0,2,4,6
/proc/17343/task/17347/stat : 17347 (python) S 17304 17304 16182 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869502965 1963581440 409088 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604442565802048 0 0 -1 4 0 0 0
[pid=17348] ppid=17304 vsize=1993176 CPUtime=0.19 cores=0,2,4,6
/proc/17348/stat : 17348 (python) S 17304 17304 16182 0 -1 4202560 1144 0 0 0 8 11 0 0 19 0 2 0 869502967 2041012224 409253 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17348/statm: 498294 409253 397 364 0 433172 0
[pid=17350] ppid=17348 vsize=2608356 CPUtime=48.2 cores=0,2,4,6
/proc/17350/stat : 17350 (scip-2.0.1.linu) T 17348 17350 17350 0 -1 4202496 647909 0 0 0 4714 106 0 0 25 0 1 0 869502970 2670956544 647623 33554432000 4194304 15243407 140735160764832 18446744073709551615 13141213 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17350/statm: 652089 647623 533 2698 0 649384 0
[pid=17348/tid=17352] ppid=17304 vsize=1993176 CPUtime=0 cores=0,2,4,6
/proc/17348/task/17352/stat : 17352 (python) S 17304 17304 16182 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 869507792 2041012224 409253 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554946 18446604447485350976 0 0 -1 4 0 0 0
[pid=17353] ppid=17304 vsize=2003200 CPUtime=0.02 cores=0,2,4,6
/proc/17353/stat : 17353 (python) S 17304 17304 16182 0 -1 4202560 743 0 0 0 0 2 0 0 19 0 1 0 869507795 2051276800 409087 33554432000 4194304 5683644 140734105877744 18446744073709551615 244446965318 0 0 16781312 33554946 563319634141380608 0 0 17 2 0 0 0
/proc/17353/statm: 500800 409087 349 364 0 435675 0
[pid=17355] ppid=17353 vsize=32812 CPUtime=0.27 cores=0,2,4,6
/proc/17355/stat : 17355 (scip-2.0.1.linu) R 17353 17355 17355 0 -1 4202496 6241 0 0 0 25 2 0 0 21 0 1 0 869507797 33599488 5980 33554432000 4194304 13684479 140734858119264 18446744073709551615 10577808 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17355/statm: 8203 5980 510 2317 0 5881 0
[pid=17304/tid=17333] ppid=17302 vsize=2013444 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17333/stat : 17333 (python) S 17302 17304 16182 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 6 0 869488772 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17339] ppid=17302 vsize=2013444 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17339/stat : 17339 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869493384 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 2 0 0 0
[pid=17304/tid=17344] ppid=17302 vsize=2013444 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17344/stat : 17344 (python) S 17302 17304 16182 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 6 0 869498011 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 4 0 0 0
[pid=17304/tid=17349] ppid=17302 vsize=2013444 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17349/stat : 17349 (python) S 17302 17304 16182 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 6 0 869502969 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 6 0 0 0
[pid=17304/tid=17354] ppid=17302 vsize=2013444 CPUtime=0 cores=0,2,4,6
/proc/17304/task/17354/stat : 17354 (python) S 17302 17304 16182 0 -1 4202560 24 928 0 0 0 0 0 0 20 0 6 0 869507797 2061766656 410663 33554432000 4194304 5683644 140734105877744 18446744073709551615 244458768817 0 0 16781312 33554434 18446604447911809344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 349.67
Current children cumulated vsize (KiB) 16448652
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 17304 and gives
# childrusage.ru_utime.tv_sec=156
# childrusage.ru_utime.tv_usec=952139
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=772730
# CPU time returned by wait4() is 158.725
# while last known CPU time is 349.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 349.425
CPU time (s): 349.67
CPU user time (s): 345.36
CPU system time (s): 4.31
CPU usage (%): 100.07
Max. virtual memory (cumulated for all children) (KiB): 16448652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.952
system time used= 1.77273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114895
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= 2876
involuntary context switches= 243
runsolver used 1.68574 second user time and 3.49447 second system time
The end