0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451878-1307121213.opb>
1.18/1.24 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184464 constraints
1.18/1.24 c problem read
1.18/1.24 c presolving settings loaded
1.59/1.60 c presolving:
6.19/6.27 c (round 1) 4261 del vars, 12606 del conss, 0 add conss, 3157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12461928 impls, 0 clqs
7.60/7.68 c (round 2) 9011 del vars, 30429 del conss, 0 add conss, 7566 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12486617 impls, 0 clqs
8.08/8.10 c (round 3) 10592 del vars, 38061 del conss, 0 add conss, 8486 chg bounds, 8 chg sides, 7 chg coeffs, 0 upgd conss, 12497374 impls, 0 clqs
8.28/8.33 c (round 4) 11402 del vars, 41350 del conss, 0 add conss, 8973 chg bounds, 46 chg sides, 52 chg coeffs, 0 upgd conss, 12504669 impls, 0 clqs
8.48/8.50 c (round 5) 11899 del vars, 43316 del conss, 0 add conss, 9297 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12508400 impls, 0 clqs
8.58/8.61 c (round 6) 12157 del vars, 44472 del conss, 0 add conss, 9462 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12510387 impls, 0 clqs
8.58/8.68 c (round 7) 12314 del vars, 45153 del conss, 0 add conss, 9545 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511410 impls, 0 clqs
8.70/8.74 c (round 8) 12370 del vars, 45433 del conss, 0 add conss, 9570 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511940 impls, 0 clqs
8.70/8.78 c (round 9) 12383 del vars, 45511 del conss, 0 add conss, 9578 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511986 impls, 0 clqs
8.80/8.83 c (round 10) 12389 del vars, 45545 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12512034 impls, 0 clqs
9.28/9.37 c (round 11) 12389 del vars, 45551 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
9.99/10.09 c (round 12) 12389 del vars, 45576 del conss, 55 add conss, 9581 chg bounds, 165 chg sides, 368 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
10.19/10.29 c (round 13) 12389 del vars, 45590 del conss, 59 add conss, 9581 chg bounds, 171 chg sides, 391 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
455.91/455.91 c (455.9s) probing: 1000/42393 (2.4%) - 0 fixings, 0 aggregations, 9875280 implications, 0 bound changes
840.62/840.63 c (840.6s) probing: 2000/42393 (4.7%) - 0 fixings, 0 aggregations, 15878737 implications, 0 bound changes
841.02/841.06 c (841.1s) probing: 2001/42393 (4.7%) - 0 fixings, 0 aggregations, 15889618 implications, 0 bound changes
841.02/841.06 c (841.1s) probing aborted: 2000/2000 successive useless probings
841.02/841.07 c presolving (14 rounds):
841.02/841.07 c 12389 deleted vars, 45590 deleted constraints, 59 added constraints, 9581 tightened bounds, 0 added holes, 171 changed sides, 392 changed coefficients
841.02/841.07 c 68014424 implications, 0 cliques
841.02/841.07 c presolved problem has 42393 variables (42393 bin, 0 int, 0 impl, 0 cont) and 138933 constraints
841.02/841.07 c 1128 constraints of type <knapsack>
841.02/841.07 c 116842 constraints of type <setppc>
841.02/841.07 c 20963 constraints of type <logicor>
841.02/841.07 c transformed objective value is always integral (scale: 1)
841.02/841.07 c Presolving Time: 839.56
841.02/841.07 c - non default parameters ----------------------------------------------------------------------
841.02/841.07 c # SCIP version 2.0.1.5
841.02/841.07 c
841.02/841.07 c # frequency for displaying node information lines
841.02/841.07 c # [type: int, range: [-1,2147483647], default: 100]
841.02/841.07 c display/freq = 10000
841.02/841.07 c
841.02/841.07 c # maximal time in seconds to run
841.02/841.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
841.02/841.07 c limits/time = 1800
841.02/841.07 c
841.02/841.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
841.02/841.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
841.02/841.07 c limits/memory = 13950
841.02/841.07 c
841.02/841.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
841.02/841.07 c # [type: int, range: [1,2], default: 1]
841.02/841.07 c timing/clocktype = 2
841.02/841.07 c
841.02/841.07 c # belongs reading time to solving time?
841.02/841.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
841.02/841.07 c timing/reading = TRUE
841.02/841.07 c
841.02/841.07 c # should presolving try to simplify inequalities
841.02/841.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
841.02/841.07 c constraints/linear/simplifyinequalities = TRUE
841.02/841.07 c
841.02/841.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
841.02/841.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
841.02/841.07 c constraints/indicator/addCouplingCons = TRUE
841.02/841.07 c
841.02/841.07 c # should presolving try to simplify knapsacks
841.02/841.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
841.02/841.07 c constraints/knapsack/simplifyinequalities = TRUE
841.02/841.07 c
841.02/841.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
841.02/841.07 c # [type: int, range: [-1,2147483647], default: -1]
841.02/841.07 c separating/rapidlearning/freq = 0
841.02/841.07 c
841.02/841.07 c -----------------------------------------------------------------------------------------------
841.02/841.07 c start solving
841.02/841.10 c
946.32/946.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.32/946.39 c 946s| 1 | 0 | 34644 | - |2043M| 0 | 199 | 42k| 138k| 42k| 138k| 0 | 38 | 0 | 8.000000e+01 | -- | Inf
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-3451878-1307121213/watcher-3451878-1307121213 -o /tmp/evaluation-result-3451878-1307121213/solver-3451878-1307121213 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451878-1307121213.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.01 2.03 1.98 3/514 20177
/proc/meminfo: memFree=21755468/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=14532 CPUtime=0 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 2622 0 0 0 0 0 0 0 25 0 1 0 804536966 14880768 2576 33554432000 4194304 9163163 140734963431264 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20177/statm: 3633 2576 395 1214 0 2415 0
[startup+0.091174 s]
/proc/loadavg: 2.01 2.03 1.98 3/514 20177
/proc/meminfo: memFree=21755468/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=29052 CPUtime=0.08 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 6228 0 0 0 8 0 0 0 25 0 1 0 804536966 29749248 6182 33554432000 4194304 9163163 140734963431264 18446744073709551615 6137233 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20177/statm: 7263 6182 395 1214 0 6045 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29052
[startup+0.101167 s]
/proc/loadavg: 2.01 2.03 1.98 3/514 20177
/proc/meminfo: memFree=21755468/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=30076 CPUtime=0.09 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 804536966 30797824 6473 33554432000 4194304 9163163 140734963431264 18446744073709551615 7962191 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20177/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076
[startup+0.301141 s]
/proc/loadavg: 2.01 2.03 1.98 3/514 20177
/proc/meminfo: memFree=21755468/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=50700 CPUtime=0.29 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 11653 0 0 0 28 1 0 0 25 0 1 0 804536966 51916800 11607 33554432000 4194304 9163163 140734963431264 18446744073709551615 7962304 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20177/statm: 12675 11607 395 1214 0 11457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50700
[startup+0.701031 s]
/proc/loadavg: 2.01 2.03 1.98 3/514 20177
/proc/meminfo: memFree=21755468/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=77820 CPUtime=0.68 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 18403 0 0 0 67 1 0 0 25 0 1 0 804536966 79687680 18357 33554432000 4194304 9163163 140734963431264 18446744073709551615 6495636 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20177/statm: 19455 18357 395 1214 0 18237 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77820
[startup+1.50088 s]
/proc/loadavg: 2.01 2.03 1.98 3/515 20178
/proc/meminfo: memFree=21569212/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=277556 CPUtime=1.49 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 68150 0 0 0 142 7 0 0 25 0 1 0 804536966 284217344 68077 33554432000 4194304 9163163 140734963431264 18446744073709551615 4593099 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 69389 68077 439 1214 0 68171 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277556
[startup+3.1006 s]
/proc/loadavg: 2.01 2.03 1.98 3/515 20179
/proc/meminfo: memFree=21065908/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=459596 CPUtime=3.09 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 112744 0 0 0 296 13 0 0 25 0 1 0 804536966 470626304 112671 33554432000 4194304 9163163 140734963431264 18446744073709551615 4782806 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 114899 112671 506 1214 0 113681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 459596
[startup+6.30101 s]
/proc/loadavg: 2.01 2.03 1.98 3/515 20179
/proc/meminfo: memFree=20516100/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=672132 CPUtime=6.29 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 163925 0 0 0 610 19 0 0 25 0 1 0 804536966 688263168 163595 33554432000 4194304 9163163 140734963431264 18446744073709551615 6568751 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 168033 163595 518 1214 0 166815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 672132
[startup+12.7008 s]
/proc/loadavg: 2.01 2.03 1.98 3/515 20179
/proc/meminfo: memFree=20288116/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=766576 CPUtime=12.69 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 196635 0 0 0 1245 24 0 0 25 0 1 0 804536966 784973824 186040 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567785 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 191644 186040 588 1214 0 190426 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 766576
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 1.98 3/515 20179
/proc/meminfo: memFree=20173208/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=814652 CPUtime=25.49 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 207825 0 0 0 2524 25 0 0 25 0 1 0 804536966 834203648 197230 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 203663 197230 588 1214 0 202445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 814652
[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 1.98 3/515 20180
/proc/meminfo: memFree=20017704/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=900784 CPUtime=51.09 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 228722 0 0 0 5081 28 0 0 25 0 1 0 804536966 922402816 218127 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 225196 218127 588 1214 0 223978 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 900784
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 1.98 3/515 20181
/proc/meminfo: memFree=19747824/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1045256 CPUtime=102.31 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 264148 0 0 0 10199 32 0 0 25 0 1 0 804536966 1070342144 253553 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 261314 253553 588 1214 0 260096 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1045256
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/515 20183
/proc/meminfo: memFree=19175392/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1306516 CPUtime=162.29 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 330270 0 0 0 16188 41 0 0 25 0 1 0 804536966 1337872384 319675 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 326629 319675 588 1214 0 325411 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1306516
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/515 20184
/proc/meminfo: memFree=18803592/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1492644 CPUtime=222.3 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 376031 0 0 0 22183 47 0 0 25 0 1 0 804536966 1528467456 365436 33554432000 4194304 9163163 140734963431264 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 373161 365436 588 1214 0 371943 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1492644
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/515 20186
/proc/meminfo: memFree=18414444/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1625340 CPUtime=282.3 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 409363 0 0 0 28178 52 0 0 25 0 1 0 804536966 1664348160 398768 33554432000 4194304 9163163 140734963431264 18446744073709551615 6922256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 406335 398768 588 1214 0 405117 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1625340
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/515 20188
/proc/meminfo: memFree=18090140/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1735184 CPUtime=342.3 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 436471 0 0 0 34174 56 0 0 25 0 1 0 804536966 1776828416 425876 33554432000 4194304 9163163 140734963431264 18446744073709551615 5460510 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 433796 425876 588 1214 0 432578 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1735184
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/515 20189
/proc/meminfo: memFree=17774396/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=1927828 CPUtime=402.31 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 484470 0 0 0 40169 62 0 0 25 0 1 0 804536966 1974095872 473875 33554432000 4194304 9163163 140734963431264 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 481957 473875 588 1214 0 480739 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1927828
[startup+462.301 s]
/proc/loadavg: 2.29 2.06 2.01 3/515 20191
/proc/meminfo: memFree=17477868/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2034720 CPUtime=462.3 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 510985 0 0 0 46165 65 0 0 25 0 1 0 804536966 2083553280 500390 33554432000 4194304 9163163 140734963431264 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 508680 500390 592 1214 0 507462 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2034720
[startup+522.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/515 20192
/proc/meminfo: memFree=17291220/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2127768 CPUtime=522.3 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 534059 0 0 0 52161 69 0 0 25 0 1 0 804536966 2178834432 523464 33554432000 4194304 9163163 140734963431264 18446744073709551615 5458847 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 531942 523464 592 1214 0 530724 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2127768
[startup+582.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/515 20194
/proc/meminfo: memFree=17145844/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2198436 CPUtime=582.31 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 551741 0 0 0 58159 72 0 0 25 0 1 0 804536966 2251198464 541146 33554432000 4194304 9163163 140734963431264 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 549609 541146 592 1214 0 548391 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2198436
[startup+642.301 s]
################
# More data... #
################
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694369 0 0 0 106126 106 0 0 25 0 1 0 804536966 2830737408 678574 33554432000 4194304 9163163 140734963431264 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678574 985 1214 0 689880 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2764392
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 20211
/proc/meminfo: memFree=16037312/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1122.33 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 112127 106 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2764392
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 20213
/proc/meminfo: memFree=16036516/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1182.33 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 118127 106 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217680 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2764392
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 20215
/proc/meminfo: memFree=16035236/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1242.33 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 124127 106 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217680 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2764392
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 20216
/proc/meminfo: memFree=16035180/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1302.35 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 130129 106 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2764392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 20218
/proc/meminfo: memFree=16035128/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1362.33 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 136127 106 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217584 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2764392
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 20219
/proc/meminfo: memFree=16036080/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1422.36 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 142129 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 2764392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 20221
/proc/meminfo: memFree=16035652/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1482.35 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 148128 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2764392
[startup+1542.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/515 20223
/proc/meminfo: memFree=16037080/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1542.35 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 154128 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217778 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2764392
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 20224
/proc/meminfo: memFree=16036908/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1602.35 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 160128 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2764392
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/515 20226
/proc/meminfo: memFree=16037336/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1662.35 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 166128 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2764392
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 20227
/proc/meminfo: memFree=16036800/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1722.36 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 172129 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217778 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2764392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 20229
/proc/meminfo: memFree=16034644/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1782.36 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694443 0 0 0 178129 107 0 0 25 0 1 0 804536966 2830737408 678648 33554432000 4194304 9163163 140734963431264 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678648 989 1214 0 689880 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2764392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 20230
/proc/meminfo: memFree=16033264/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1800.07 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694461 0 0 0 179900 107 0 0 25 0 1 0 804536966 2830737408 678660 33554432000 4194304 9163163 140734963431264 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678660 983 1214 0 689880 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2764392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20177
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 20231
/proc/meminfo: memFree=16029784/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1801.46 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694497 0 0 0 180039 107 0 0 25 0 1 0 804536966 2830737408 678696 33554432000 4194304 9163163 140734963431264 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678696 983 1214 0 689880 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2764392
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 20231
/proc/meminfo: memFree=16028668/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1801.88 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694497 0 0 0 180081 107 0 0 25 0 1 0 804536966 2830737408 678696 33554432000 4194304 9163163 140734963431264 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678696 983 1214 0 689880 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 2764392
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 20231
/proc/meminfo: memFree=16028668/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=2764392 CPUtime=1802.06 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4202496 694497 0 0 0 180099 107 0 0 25 0 1 0 804536966 2830737408 678696 33554432000 4194304 9163163 140734963431264 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20177/statm: 691098 678696 983 1214 0 689880 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2764392
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/517 20231
/proc/meminfo: memFree=16028668/32951124 swapFree=62999000/67111528
[pid=20177] ppid=20175 vsize=0 CPUtime=1802.16 cores=0,2,4,6
/proc/20177/stat : 20177 (scip-2.0.1.4b.l) R 20175 20177 17882 0 -1 4203524 694497 0 0 0 180101 115 0 0 25 0 1 0 804536966 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/20177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.2
CPU user time (s): 1801.01
CPU system time (s): 1.18282
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2764392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.01
system time used= 1.18282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 694497
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= 1920
runsolver used 9.98948 second user time and 20.3479 second system time
The end