0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743251-1338796728.opb>
3.09/3.46 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.09/3.46 c problem read
3.49/3.56 c presolving settings loaded
5.38/5.44 c presolving:
9.08/9.12 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.09/10.17 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
117.88/117.95 c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17190162 impls, 1977 clqs
118.27/118.38 c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17195504 impls, 1977 clqs
119.98/120.01 c (round 5) 2685 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228896 impls, 1977 clqs
120.37/120.45 c (round 6) 2685 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17228904 impls, 1977 clqs
244.65/244.73 c (round 7) 3355 del vars, 4659 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823854 impls, 1977 clqs
245.05/245.15 c (round 8) 3355 del vars, 5326 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19823862 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743251-1338796728/watcher-3743251-1338796728 -o /tmp/evaluation-result-3743251-1338796728/solver-3743251-1338796728 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743251-1338796728.opb -t 1800 -m 15500
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.00 2.00 2.00 3/176 1054
/proc/meminfo: memFree=26982776/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1428 0 0 0 0 0 0 0 20 0 1 0 345797953 9547776 1383 33554432000 4194304 9016284 140734337785472 140734337784440 6265504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 2331 1388 295 1178 0 1149 0
[startup+0.0899839 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1054
/proc/meminfo: memFree=26982776/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=34640 CPUtime=0.08 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 7663 0 0 0 7 1 0 0 20 0 1 0 345797953 35471360 7618 33554432000 4194304 9016284 140734337785472 140734337784440 7753282 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 8660 7618 360 1178 0 7478 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34640
[startup+0.100319 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1054
/proc/meminfo: memFree=26982776/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=35892 CPUtime=0.09 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 7938 0 0 0 8 1 0 0 20 0 1 0 345797953 36753408 7893 33554432000 4194304 9016284 140734337785472 140734337784440 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 8973 7893 360 1178 0 7791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35892
[startup+0.300273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1054
/proc/meminfo: memFree=26982776/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=63944 CPUtime=0.29 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 14967 0 0 0 27 2 0 0 20 0 1 0 345797953 65478656 14922 33554432000 4194304 9016284 140734337785472 140734337649368 7867918 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 15986 14923 360 1178 0 14804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63944
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1054
/proc/meminfo: memFree=26982776/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=118512 CPUtime=0.69 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 28593 0 0 0 65 4 0 0 20 0 1 0 345797953 121356288 28548 33554432000 4194304 9016284 140734337785472 140734337649368 7749355 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 29628 28548 360 1178 0 28446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118512
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=26675844/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=242836 CPUtime=1.49 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 59611 0 0 0 139 10 0 0 20 0 1 0 345797953 248664064 59566 33554432000 4194304 9016284 140734337785472 140734337649368 7870498 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 60709 59566 360 1178 0 59527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242836
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=26355180/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=454552 CPUtime=3.09 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 112596 0 0 0 292 17 0 0 20 0 1 0 345797953 465461248 112551 33554432000 4194304 9016284 140734337785472 140734337647736 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 113638 112551 360 1178 0 112456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 454552
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=24773484/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=1177660 CPUtime=6.29 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 290994 0 0 0 588 41 0 0 20 0 1 0 345797953 1205923840 291918 33554432000 4194304 9016284 140734337785472 140734337781112 5206623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 294415 291918 474 1178 0 293233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1177660
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=24123472/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=1502072 CPUtime=12.69 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 409532 0 0 0 1210 59 0 0 20 0 1 0 345797953 1538121728 371880 33554432000 4194304 9016284 140734337785472 140734337781064 5325542 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 375518 371880 529 1178 0 374336 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1502072
[startup+25.5069 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=23972372/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=1589824 CPUtime=25.5 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 430679 0 0 0 2488 62 0 0 20 0 1 0 345797953 1627979776 393027 33554432000 4194304 9016284 140734337785472 140734337781064 4222991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 397456 393027 529 1178 0 396274 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1589824
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1055
/proc/meminfo: memFree=23576408/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=1798960 CPUtime=51.08 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 482540 0 0 0 5038 70 0 0 20 0 1 0 345797953 1842135040 444888 33554432000 4194304 9016284 140734337785472 140734337781064 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 449740 444888 529 1178 0 448558 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1798960
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1058
/proc/meminfo: memFree=23090364/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=2089208 CPUtime=102.27 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 553055 0 0 0 10148 79 0 0 20 0 1 0 345797953 2139348992 515403 33554432000 4194304 9016284 140734337785472 140734337781064 6480478 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 522302 515403 529 1178 0 521120 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2089208
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1083
/proc/meminfo: memFree=22538836/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=2364348 CPUtime=162.27 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 603563 0 0 0 16139 88 0 0 20 0 1 0 345797953 2421092352 583282 33554432000 4194304 9016284 140734337785472 140734337781064 6480412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 591087 583282 529 1178 0 589905 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2364348
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1084
/proc/meminfo: memFree=22399296/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=2376588 CPUtime=222.26 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 606062 0 0 0 22138 88 0 0 20 0 1 0 345797953 2433626112 586292 33554432000 4194304 9016284 140734337785472 140734337781064 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 594147 586292 529 1178 0 592965 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2376588
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1084
/proc/meminfo: memFree=21955276/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=2686560 CPUtime=282.24 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 680091 0 0 0 28124 100 0 0 20 0 1 0 345797953 2751037440 659930 33554432000 4194304 9016284 140734337785472 140734337780856 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 671640 659930 529 1178 0 670458 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2686560
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1084
/proc/meminfo: memFree=21577972/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=2832816 CPUtime=342.24 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 717462 0 0 0 34118 106 0 0 20 0 1 0 345797953 2900803584 697301 33554432000 4194304 9016284 140734337785472 140734337780856 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 708204 697301 529 1178 0 707022 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2832816
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 1084
/proc/meminfo: memFree=21223740/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3038004 CPUtime=402.22 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 768121 0 0 0 40107 115 0 0 20 0 1 0 345797953 3110916096 747960 33554432000 4194304 9016284 140734337785472 140734337780856 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 759501 747960 529 1178 0 758319 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3038004
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1085
/proc/meminfo: memFree=20976132/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3158180 CPUtime=462.22 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 796434 0 0 0 46102 120 0 0 20 0 1 0 345797953 3233976320 776273 33554432000 4194304 9016284 140734337785472 140734337780856 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 789545 776273 529 1178 0 788363 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3158180
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1086
/proc/meminfo: memFree=20723324/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3307116 CPUtime=522.21 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 832271 0 0 0 52094 127 0 0 20 0 1 0 345797953 3386486784 812110 33554432000 4194304 9016284 140734337785472 140734337780856 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 826779 812110 529 1178 0 825597 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3307116
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1086
/proc/meminfo: memFree=20414160/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3479292 CPUtime=582.2 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 872633 0 0 0 58086 134 0 0 20 0 1 0 345797953 3562795008 852472 33554432000 4194304 9016284 140734337785472 140734337780856 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 869823 852472 529 1178 0 868641 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3479292
[startup+642.3 s]
################
# More data... #
################
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 994057 0 0 0 106052 160 0 0 20 0 1 0 345797953 4064161792 973896 33554432000 4194304 9016284 140734337785472 140734337780856 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 992227 973896 529 1178 0 991045 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3968908
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1091
/proc/meminfo: memFree=19453660/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3973004 CPUtime=1122.12 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 996025 0 0 0 112051 161 0 0 20 0 1 0 345797953 4068356096 975864 33554432000 4194304 9016284 140734337785472 140734337780856 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 993251 975864 529 1178 0 992069 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3973004
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1091
/proc/meminfo: memFree=19245740/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3979148 CPUtime=1182.11 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 998554 0 0 0 118049 162 0 0 20 0 1 0 345797953 4074647552 978393 33554432000 4194304 9016284 140734337785472 140734337780856 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 994787 978393 529 1178 0 993605 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3979148
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1091
/proc/meminfo: memFree=19220844/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3988360 CPUtime=1242.09 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1002527 0 0 0 124046 163 0 0 20 0 1 0 345797953 4084080640 982366 33554432000 4194304 9016284 140734337785472 140734337780856 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 997090 982366 529 1178 0 995908 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3988360
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/178 1094
/proc/meminfo: memFree=19197800/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=3997576 CPUtime=1302.09 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1006329 0 0 0 130044 165 0 0 20 0 1 0 345797953 4093517824 986168 33554432000 4194304 9016284 140734337785472 140734337780856 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 999394 986168 529 1178 0 998212 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3997576
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 1094
/proc/meminfo: memFree=19167704/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4006792 CPUtime=1362.08 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1010279 0 0 0 136041 167 0 0 20 0 1 0 345797953 4102955008 990118 33554432000 4194304 9016284 140734337785472 140734337780856 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1001698 990118 529 1178 0 1000516 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4006792
[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 1094
/proc/meminfo: memFree=18913060/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4278316 CPUtime=1422.07 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1068952 0 0 0 142031 176 0 0 20 0 1 0 345797953 4380995584 1048791 33554432000 4194304 9016284 140734337785472 140734337780856 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1069579 1048791 529 1178 0 1068397 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 4278316
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 1095
/proc/meminfo: memFree=18882092/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4287416 CPUtime=1482.06 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1072916 0 0 0 148028 178 0 0 20 0 1 0 345797953 4390313984 1052755 33554432000 4194304 9016284 140734337785472 140734337780856 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1071854 1052755 529 1178 0 1070672 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4287416
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 1095
/proc/meminfo: memFree=18631984/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4296632 CPUtime=1542.06 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1076840 0 0 0 154026 180 0 0 20 0 1 0 345797953 4399751168 1056679 33554432000 4194304 9016284 140734337785472 140734337780856 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1074158 1056679 529 1178 0 1072976 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4296632
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 1095
/proc/meminfo: memFree=18604400/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4305848 CPUtime=1602.05 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1080567 0 0 0 160024 181 0 0 20 0 1 0 345797953 4409188352 1060406 33554432000 4194304 9016284 140734337785472 140734337780856 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1076462 1060406 529 1178 0 1075280 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4305848
[startup+1662.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 1095
/proc/meminfo: memFree=18581860/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4310964 CPUtime=1662.05 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1082973 0 0 0 166023 182 0 0 20 0 1 0 345797953 4414427136 1062812 33554432000 4194304 9016284 140734337785472 140734337780856 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1077741 1062812 529 1178 0 1076559 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 4310964
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 1095
/proc/meminfo: memFree=18561428/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4317108 CPUtime=1722.02 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1085419 0 0 0 172020 182 0 0 20 0 1 0 345797953 4420718592 1065258 33554432000 4194304 9016284 140734337785472 140734337780856 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1079277 1065258 529 1178 0 1078095 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4317108
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 1096
/proc/meminfo: memFree=18539200/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4323252 CPUtime=1782.02 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1088053 0 0 0 178018 184 0 0 20 0 1 0 345797953 4427010048 1067892 33554432000 4194304 9016284 140734337785472 140734337780856 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1080813 1067892 529 1178 0 1079631 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4323252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/178 1097
/proc/meminfo: memFree=18528004/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4326324 CPUtime=1800.02 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1089280 0 0 0 179818 184 0 0 20 0 1 0 345797953 4430155776 1069119 33554432000 4194304 9016284 140734337785472 140734337780856 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1081581 1069119 529 1178 0 1080399 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4326324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1054
Solver just ended. Dumping a history of the last processes samples
[startup+1801.6 s]
/proc/loadavg: 2.10 2.06 2.00 3/179 1098
/proc/meminfo: memFree=18528004/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4326324 CPUtime=1801.31 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1089317 0 0 0 179947 184 0 0 20 0 1 0 345797953 4430155776 1069156 33554432000 4194304 9016284 140734337785472 140734337780352 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1081581 1069156 529 1178 0 1080399 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 4326324
[startup+1802.01 s]
/proc/loadavg: 2.10 2.06 2.00 4/176 1102
/proc/meminfo: memFree=22811336/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=4326324 CPUtime=1801.72 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4202496 1089324 0 0 0 179988 184 0 0 20 0 1 0 345797953 4430155776 1069163 33554432000 4194304 9016284 140734337785472 140734337780352 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 1081581 1069163 529 1178 0 1080399 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 4326324
[startup+1802.4 s]
/proc/loadavg: 2.10 2.06 2.00 4/176 1102
/proc/meminfo: memFree=22811336/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4203524 1089334 0 0 0 180018 193 0 0 20 0 1 0 345797953 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.10 2.06 2.00 4/176 1102
/proc/meminfo: memFree=22811336/32873844 swapFree=7116/7116
[pid=1054] ppid=1052 vsize=0 CPUtime=1802.21 cores=0,2,4,6
/proc/1054/stat : 1054 (scip-2.0.1.4b_2) R 1052 1054 32548 0 -1 4203524 1089334 0 0 0 180018 203 0 0 20 0 1 0 345797953 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.28
CPU user time (s): 1800.18
CPU system time (s): 2.09268
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 4326324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.18
system time used= 2.09268
maximum resident set size= 4276692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1089334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1876
runsolver used 3.58845 second user time and 10.4254 second system time
The end