0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3479193-1307446597.opb>
2.37/2.47 c original problem has 213440 variables (213440 bin, 0 int, 0 impl, 0 cont) and 223870 constraints
2.37/2.47 c problem read
2.37/2.47 c presolving settings loaded
3.47/3.58 c presolving:
4.17/4.27 c (round 1) 264 del vars, 264 del conss, 0 add conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 0 upgd conss, 243936 impls, 0 clqs
5.28/5.30 c (round 2) 264 del vars, 264 del conss, 0 add conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
147.29/147.36 c (round 3) 264 del vars, 122496 del conss, 121968 add conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
149.67/149.72 c (149.7s) probing: 101/213176 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
149.67/149.72 c (149.7s) probing aborted: 100/100 successive totally useless probings
149.67/149.73 c presolving (4 rounds):
149.67/149.73 c 264 deleted vars, 122496 deleted constraints, 121968 added constraints, 264 tightened bounds, 0 added holes, 121968 changed sides, 244396 changed coefficients
149.67/149.73 c 243936 implications, 0 cliques
149.67/149.73 c presolved problem has 213176 variables (213176 bin, 0 int, 0 impl, 0 cont) and 223342 constraints
149.67/149.73 c 658 constraints of type <knapsack>
149.67/149.73 c 121968 constraints of type <setppc>
149.67/149.73 c 10164 constraints of type <linear>
149.67/149.73 c 90552 constraints of type <logicor>
149.67/149.73 c transformed objective value is always integral (scale: 1)
149.67/149.73 c Presolving Time: 146.49
149.67/149.73 c - non default parameters ----------------------------------------------------------------------
149.67/149.73 c # SCIP version 2.0.1.5
149.67/149.73 c
149.67/149.73 c # frequency for displaying node information lines
149.67/149.73 c # [type: int, range: [-1,2147483647], default: 100]
149.67/149.73 c display/freq = 10000
149.67/149.73 c
149.67/149.73 c # maximal time in seconds to run
149.67/149.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
149.67/149.73 c limits/time = 1800
149.67/149.73 c
149.67/149.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
149.67/149.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
149.67/149.73 c limits/memory = 13950
149.67/149.73 c
149.67/149.73 c # default clock type (1: CPU user seconds, 2: wall clock time)
149.67/149.73 c # [type: int, range: [1,2], default: 1]
149.67/149.73 c timing/clocktype = 2
149.67/149.73 c
149.67/149.73 c # belongs reading time to solving time?
149.67/149.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
149.67/149.73 c timing/reading = TRUE
149.67/149.73 c
149.67/149.73 c # should presolving try to simplify inequalities
149.67/149.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
149.67/149.73 c constraints/linear/simplifyinequalities = TRUE
149.67/149.73 c
149.67/149.73 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
149.67/149.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
149.67/149.73 c constraints/indicator/addCouplingCons = TRUE
149.67/149.73 c
149.67/149.73 c # should presolving try to simplify knapsacks
149.67/149.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
149.67/149.73 c constraints/knapsack/simplifyinequalities = TRUE
149.67/149.73 c
149.67/149.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
149.67/149.73 c # [type: int, range: [-1,2147483647], default: -1]
149.67/149.73 c separating/rapidlearning/freq = 0
149.67/149.73 c
149.67/149.73 c -----------------------------------------------------------------------------------------------
149.67/149.73 c start solving
149.67/149.80 c
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-3479193-1307446597/watcher-3479193-1307446597 -o /tmp/evaluation-result-3479193-1307446597/solver-3479193-1307446597 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479193-1307446597.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.02 2.00 2/511 29954
/proc/meminfo: memFree=18590908/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/29954/stat : 29954 (runsolver) R 29952 29954 29279 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 1 0 837075886 12079104 50 33554432000 4194304 5432328 140736762928112 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/29954/statm: 2949 50 31 303 0 2643 0
[startup+0.0380519 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 29954
/proc/meminfo: memFree=18590908/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=20320 CPUtime=0.01 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 4054 0 0 0 1 0 0 0 20 0 1 0 837075886 20807680 4007 33554432000 4194304 9163163 140733475499728 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29954/statm: 5080 4007 395 1214 0 3862 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20320
[startup+0.101041 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 29954
/proc/meminfo: memFree=18590908/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=49736 CPUtime=0.07 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 11396 0 0 0 6 1 0 0 20 0 1 0 837075886 50929664 11349 33554432000 4194304 9163163 140733475499728 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29954/statm: 12434 11349 395 1214 0 11216 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 49736
[startup+0.301007 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 29954
/proc/meminfo: memFree=18590908/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=122800 CPUtime=0.27 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 29647 0 0 0 24 3 0 0 21 0 1 0 837075886 125747200 29600 33554432000 4194304 9163163 140733475499728 18446744073709551615 7936781 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29954/statm: 30700 29600 395 1214 0 29482 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 122800
[startup+0.700936 s]
/proc/loadavg: 2.00 2.02 2.00 2/511 29954
/proc/meminfo: memFree=18590908/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=177104 CPUtime=0.67 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 43233 0 0 0 62 5 0 0 22 0 1 0 837075886 181354496 43186 33554432000 4194304 9163163 140733475499728 18446744073709551615 7985503 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29954/statm: 44276 43186 395 1214 0 43058 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 177104
[startup+1.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29955
/proc/meminfo: memFree=18400708/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=220968 CPUtime=1.47 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 54162 0 0 0 141 6 0 0 25 0 1 0 837075886 226271232 54115 33554432000 4194304 9163163 140733475499728 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29954/statm: 55242 54115 395 1214 0 54024 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 220968
[startup+3.10052 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29956
/proc/meminfo: memFree=18332384/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=599920 CPUtime=3.07 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 148678 0 0 0 290 17 0 0 25 0 1 0 837075886 614318080 148610 33554432000 4194304 9163163 140733475499728 18446744073709551615 6555265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 149980 148610 439 1214 0 148762 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 599920
[startup+6.30095 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29956
/proc/meminfo: memFree=17819944/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=777244 CPUtime=6.28 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 218340 0 0 0 603 25 0 0 25 0 1 0 837075886 795897856 192561 33554432000 4194304 9163163 140733475499728 18446744073709551615 4848945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 194311 192561 537 1214 0 193093 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 777244
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29956
/proc/meminfo: memFree=17813528/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=782896 CPUtime=12.68 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 219040 0 0 0 1243 25 0 0 25 0 1 0 837075886 801685504 193261 33554432000 4194304 9163163 140733475499728 18446744073709551615 4535327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 195724 193261 659 1214 0 194506 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 782896
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29956
/proc/meminfo: memFree=17799264/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=794584 CPUtime=25.47 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 221757 0 0 0 2522 25 0 0 25 0 1 0 837075886 813654016 195978 33554432000 4194304 9163163 140733475499728 18446744073709551615 4782809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 198646 195978 659 1214 0 197428 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 794584
[startup+51.1011 s]
/proc/loadavg: 2.07 2.03 2.00 3/512 29957
/proc/meminfo: memFree=17779784/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=813376 CPUtime=51.07 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 226598 0 0 0 5081 26 0 0 25 0 1 0 837075886 832897024 200819 33554432000 4194304 9163163 140733475499728 18446744073709551615 6571696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 203344 200819 659 1214 0 202126 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 813376
[startup+102.318 s]
/proc/loadavg: 2.03 2.02 2.00 3/512 29958
/proc/meminfo: memFree=17712644/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=884576 CPUtime=102.29 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 244251 0 0 0 10202 27 0 0 25 0 1 0 837075886 905805824 218472 33554432000 4194304 9163163 140733475499728 18446744073709551615 6563460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 221144 218472 659 1214 0 219926 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 884576
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/512 29960
/proc/meminfo: memFree=17094812/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1543576 CPUtime=162.27 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 412673 0 0 0 16176 51 0 0 25 0 1 0 837075886 1580621824 371547 33554432000 4194304 9163163 140733475499728 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 385894 371547 732 1214 0 384676 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1543576
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/512 29961
/proc/meminfo: memFree=17049128/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1602160 CPUtime=222.27 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 423509 0 0 0 22165 62 0 0 25 0 1 0 837075886 1640611840 382226 33554432000 4194304 9163163 140733475499728 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 400540 382226 871 1214 0 399322 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1602160
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/512 29963
/proc/meminfo: memFree=17035040/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1616760 CPUtime=282.28 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 426588 0 0 0 28161 67 0 0 25 0 1 0 837075886 1655562240 384896 33554432000 4194304 9163163 140733475499728 18446744073709551615 7317370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404190 384896 733 1214 0 402972 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1616760
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 29965
/proc/meminfo: memFree=17026696/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1616760 CPUtime=342.29 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 427878 0 0 0 34157 72 0 0 25 0 1 0 837075886 1655562240 386171 33554432000 4194304 9163163 140733475499728 18446744073709551615 7348843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404190 386171 727 1214 0 402972 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1616760
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 29966
/proc/meminfo: memFree=17029772/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1617144 CPUtime=402.28 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 428565 0 0 0 40151 77 0 0 25 0 1 0 837075886 1655955456 386858 33554432000 4194304 9163163 140733475499728 18446744073709551615 7349325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404286 386858 727 1214 0 403068 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1617144
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29968
/proc/meminfo: memFree=17006292/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1618352 CPUtime=462.28 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 429618 0 0 0 46146 82 0 0 25 0 1 0 837075886 1657192448 387911 33554432000 4194304 9163163 140733475499728 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404588 387911 727 1214 0 403370 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1618352
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 29969
/proc/meminfo: memFree=17023848/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1618764 CPUtime=522.28 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 430069 0 0 0 52141 87 0 0 25 0 1 0 837075886 1657614336 388362 33554432000 4194304 9163163 140733475499728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404691 388362 727 1214 0 403473 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1618764
[startup+582.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/512 29971
/proc/meminfo: memFree=17020936/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1619180 CPUtime=582.29 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 430348 0 0 0 58137 92 0 0 25 0 1 0 837075886 1658040320 388641 33554432000 4194304 9163163 140733475499728 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 404795 388641 727 1214 0 403577 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1619180
[startup+642.3 s]
################
# More data... #
################
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432640 0 0 0 100110 119 0 0 25 0 1 0 837075886 1665818624 390888 33554432000 4194304 9163163 140733475499728 18446744073709551615 7349148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390888 739 1214 0 405476 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1626776
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 29984
/proc/meminfo: memFree=16995620/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1626776 CPUtime=1062.3 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432642 0 0 0 106107 123 0 0 25 0 1 0 837075886 1665818624 390890 33554432000 4194304 9163163 140733475499728 18446744073709551615 7347641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390890 739 1214 0 405476 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1626776
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 29985
/proc/meminfo: memFree=16977096/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1626776 CPUtime=1122.3 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432647 0 0 0 112104 126 0 0 25 0 1 0 837075886 1665818624 390895 33554432000 4194304 9163163 140733475499728 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390895 739 1214 0 405476 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1626776
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/512 29987
/proc/meminfo: memFree=16972208/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1626776 CPUtime=1182.3 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432657 0 0 0 118100 130 0 0 25 0 1 0 837075886 1665818624 390905 33554432000 4194304 9163163 140733475499728 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390905 739 1214 0 405476 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1626776
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/512 30044
/proc/meminfo: memFree=16664076/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1626776 CPUtime=1242.3 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432670 0 0 0 124097 133 0 0 25 0 1 0 837075886 1665818624 390918 33554432000 4194304 9163163 140733475499728 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390918 739 1214 0 405476 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1626776
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/512 30045
/proc/meminfo: memFree=15980864/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1626776 CPUtime=1302.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432674 0 0 0 130096 135 0 0 25 0 1 0 837075886 1665818624 390922 33554432000 4194304 9163163 140733475499728 18446744073709551615 7391824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406694 390922 739 1214 0 405476 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1626776
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 30047
/proc/meminfo: memFree=15965812/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627376 CPUtime=1362.3 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432813 0 0 0 136091 139 0 0 25 0 1 0 837075886 1666433024 391050 33554432000 4194304 9163163 140733475499728 18446744073709551615 7413843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406844 391050 728 1214 0 405626 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1627376
[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 30048
/proc/meminfo: memFree=15961040/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627376 CPUtime=1422.33 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432838 0 0 0 142091 142 0 0 25 0 1 0 837075886 1666433024 391074 33554432000 4194304 9163163 140733475499728 18446744073709551615 7317370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406844 391074 727 1214 0 405626 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1627376
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 30059
/proc/meminfo: memFree=15958760/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627376 CPUtime=1482.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432864 0 0 0 148087 144 0 0 25 0 1 0 837075886 1666433024 391100 33554432000 4194304 9163163 140733475499728 18446744073709551615 7300733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406844 391100 727 1214 0 405626 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1627376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 30061
/proc/meminfo: memFree=16122856/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627508 CPUtime=1542.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432890 0 0 0 154084 147 0 0 25 0 1 0 837075886 1666568192 391126 33554432000 4194304 9163163 140733475499728 18446744073709551615 7348583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406877 391126 727 1214 0 405659 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1627508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 30062
/proc/meminfo: memFree=15385260/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627508 CPUtime=1602.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432905 0 0 0 160081 150 0 0 25 0 1 0 837075886 1666568192 391141 33554432000 4194304 9163163 140733475499728 18446744073709551615 7346711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406877 391141 727 1214 0 405659 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1627508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 30064
/proc/meminfo: memFree=15381124/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627652 CPUtime=1662.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432928 0 0 0 166078 153 0 0 25 0 1 0 837075886 1666715648 391164 33554432000 4194304 9163163 140733475499728 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406913 391164 727 1214 0 405695 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1627652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/512 30065
/proc/meminfo: memFree=15380596/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627652 CPUtime=1722.31 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432959 0 0 0 172075 156 0 0 25 0 1 0 837075886 1666715648 391195 33554432000 4194304 9163163 140733475499728 18446744073709551615 7394725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406913 391195 727 1214 0 405695 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 1627652
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/512 30067
/proc/meminfo: memFree=15377600/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627788 CPUtime=1782.32 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432995 0 0 0 178073 159 0 0 25 0 1 0 837075886 1666854912 391231 33554432000 4194304 9163163 140733475499728 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406947 391231 727 1214 0 405729 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1627788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.00 3/512 30067
/proc/meminfo: memFree=15377692/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627788 CPUtime=1800.03 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432995 0 0 0 179844 159 0 0 25 0 1 0 837075886 1666854912 391231 33554432000 4194304 9163163 140733475499728 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406947 391231 727 1214 0 405729 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1627788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29954
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.08 2.03 2.00 3/513 30068
/proc/meminfo: memFree=15377188/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627788 CPUtime=1801.41 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432995 0 0 0 179982 159 0 0 25 0 1 0 837075886 1666854912 391231 33554432000 4194304 9163163 140733475499728 18446744073709551615 7317263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406947 391231 727 1214 0 405729 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 1627788
[startup+1801.82 s]
/proc/loadavg: 2.07 2.03 2.00 3/513 30069
/proc/meminfo: memFree=15377560/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627788 CPUtime=1801.83 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432995 0 0 0 180024 159 0 0 25 0 1 0 837075886 1666854912 391231 33554432000 4194304 9163163 140733475499728 18446744073709551615 7354020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406947 391231 727 1214 0 405729 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 1627788
[startup+1802 s]
/proc/loadavg: 2.07 2.03 2.00 3/513 30069
/proc/meminfo: memFree=15377560/32951124 swapFree=65259120/67111528
[pid=29954] ppid=29952 vsize=1627788 CPUtime=1802.01 cores=1,3,5,7
/proc/29954/stat : 29954 (scip-2.0.1.4b.l) R 29952 29954 29279 0 -1 4202496 432995 0 0 0 180042 159 0 0 25 0 1 0 837075886 1666854912 391231 33554432000 4194304 9163163 140733475499728 18446744073709551615 7347480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29954/statm: 406947 391231 727 1214 0 405729 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1627788
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.11
CPU user time (s): 1800.45
CPU system time (s): 1.66575
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1627788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.45
system time used= 1.66575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432995
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= 2
involuntary context switches= 2282
runsolver used 8.5617 second user time and 21.2468 second system time
The end