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-3450752-1307111253.opb>
0.39/0.43 c original problem has 77586 variables (77586 bin, 0 int, 0 impl, 0 cont) and 80587 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.91 o 0
0.89/0.91 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.91 c presolving:
2.59/2.61 c (round 1) 0 del vars, 77586 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 600464 impls, 1999 clqs
2.79/2.86 c (round 2) 75586 del vars, 77586 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 600464 impls, 0 clqs
3.21/3.27 c (3.3s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.21/3.27 c (3.3s) probing aborted: 100/100 successive totally useless probings
3.21/3.27 c presolving (3 rounds):
3.21/3.27 c 75586 deleted vars, 77586 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.21/3.27 c 600464 implications, 0 cliques
3.21/3.27 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
3.21/3.27 c 2000 constraints of type <knapsack>
3.21/3.27 c 1000 constraints of type <setppc>
3.21/3.27 c 1 constraints of type <linear>
3.21/3.27 c transformed objective value is always integral (scale: 1)
3.21/3.27 c Presolving Time: 2.58
3.21/3.27 c - non default parameters ----------------------------------------------------------------------
3.21/3.27 c # SCIP version 2.0.1.5
3.21/3.27 c
3.21/3.27 c # frequency for displaying node information lines
3.21/3.27 c # [type: int, range: [-1,2147483647], default: 100]
3.21/3.27 c display/freq = 10000
3.21/3.27 c
3.21/3.27 c # maximal time in seconds to run
3.21/3.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.27 c limits/time = 1800
3.21/3.27 c
3.21/3.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.21/3.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.27 c limits/memory = 13950
3.21/3.27 c
3.21/3.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.21/3.27 c # [type: int, range: [1,2], default: 1]
3.21/3.27 c timing/clocktype = 2
3.21/3.27 c
3.21/3.27 c # belongs reading time to solving time?
3.21/3.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27 c timing/reading = TRUE
3.21/3.27 c
3.21/3.27 c # should presolving try to simplify inequalities
3.21/3.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27 c constraints/linear/simplifyinequalities = TRUE
3.21/3.27 c
3.21/3.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.21/3.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27 c constraints/indicator/addCouplingCons = TRUE
3.21/3.27 c
3.21/3.27 c # should presolving try to simplify knapsacks
3.21/3.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.27 c constraints/knapsack/simplifyinequalities = TRUE
3.21/3.27 c
3.21/3.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.21/3.27 c # [type: int, range: [-1,2147483647], default: -1]
3.21/3.27 c separating/rapidlearning/freq = 0
3.21/3.27 c
3.21/3.27 c -----------------------------------------------------------------------------------------------
3.21/3.27 c start solving
3.21/3.27 c
149.19/149.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.19/149.27 c t 149s| 1 | 0 | 18271 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
149.39/149.41 o -1
149.39/149.41 c R 149s| 1 | 0 | 18271 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
736.93/736.94 c 737s| 1 | 2 | 28866 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 13 |-5.000000e+02 |-1.000000e+00 | 99.80%
1276.43/1276.43 o -2
1276.43/1276.43 c R1276s| 3 | 2 | 30656 |6192.5 | 194M| 2 |1930 |2000 |3001 |2000 |3001 | 0 | 0 | 28 |-5.000000e+02 |-2.000000e+00 | 99.60%
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-3450752-1307111253/watcher-3450752-1307111253 -o /tmp/evaluation-result-3450752-1307111253/solver-3450752-1307111253 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450752-1307111253.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.06 2.06 1.94 1/570 25310
/proc/meminfo: memFree=23607748/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=17520 CPUtime=0 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 3372 0 0 0 0 0 0 0 25 0 1 0 822723028 17940480 3326 33554432000 4194304 9163163 140736276812784 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25310/statm: 4380 3326 410 1214 0 3162 0
[startup+0.0940419 s]
/proc/loadavg: 2.06 2.06 1.94 1/570 25310
/proc/meminfo: memFree=23607748/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=41208 CPUtime=0.08 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 9298 0 0 0 7 1 0 0 25 0 1 0 822723028 42196992 9252 33554432000 4194304 9163163 140736276812784 18446744073709551615 7985494 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25310/statm: 10302 9253 410 1214 0 9084 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41208
[startup+0.101063 s]
/proc/loadavg: 2.06 2.06 1.94 1/570 25310
/proc/meminfo: memFree=23607748/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=43444 CPUtime=0.09 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 9867 0 0 0 8 1 0 0 25 0 1 0 822723028 44486656 9821 33554432000 4194304 9163163 140736276812784 18446744073709551615 4339643 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25310/statm: 10861 9821 410 1214 0 9643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43444
[startup+0.301003 s]
/proc/loadavg: 2.06 2.06 1.94 1/570 25310
/proc/meminfo: memFree=23607748/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=90680 CPUtime=0.29 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 21635 0 0 0 27 2 0 0 25 0 1 0 822723028 92856320 21589 33554432000 4194304 9163163 140736276812784 18446744073709551615 4955472 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25310/statm: 22670 21589 410 1214 0 21452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90680
[startup+0.700936 s]
/proc/loadavg: 2.06 2.06 1.94 1/570 25310
/proc/meminfo: memFree=23607748/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=213084 CPUtime=0.69 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 52647 0 0 0 64 5 0 0 25 0 1 0 822723028 218198016 52045 33554432000 4194304 9163163 140736276812784 18446744073709551615 4696351 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 53271 52046 473 1214 0 52053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 213084
[startup+1.50079 s]
/proc/loadavg: 2.06 2.06 1.94 3/576 25321
/proc/meminfo: memFree=23347428/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=241200 CPUtime=1.49 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 59845 0 0 0 143 6 0 0 25 0 1 0 822723028 246988800 58986 33554432000 4194304 9163163 140736276812784 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 60300 58986 509 1214 0 59082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241200
[startup+3.10049 s]
/proc/loadavg: 2.06 2.06 1.94 3/576 25321
/proc/meminfo: memFree=23319776/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=281420 CPUtime=3.09 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 72350 0 0 0 302 7 0 0 25 0 1 0 822723028 288174080 69050 33554432000 4194304 9163163 140736276812784 18446744073709551615 4535250 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 70355 69050 554 1214 0 69137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281420
[startup+6.30091 s]
/proc/loadavg: 2.14 2.08 1.95 3/576 25321
/proc/meminfo: memFree=23260956/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=317968 CPUtime=6.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 80235 0 0 0 617 13 0 0 25 0 1 0 822723028 325599232 76265 33554432000 4194304 9163163 140736276812784 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 79492 76265 761 1214 0 78274 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 317968
[startup+12.7007 s]
/proc/loadavg: 2.13 2.08 1.95 3/576 25321
/proc/meminfo: memFree=23252436/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=326940 CPUtime=12.7 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 82737 0 0 0 1255 15 0 0 25 0 1 0 822723028 334786560 78667 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 81735 78667 667 1214 0 80517 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 326940
[startup+25.5004 s]
/proc/loadavg: 2.10 2.07 1.95 4/576 25321
/proc/meminfo: memFree=23217720/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=350884 CPUtime=25.49 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 90896 0 0 0 2532 17 0 0 25 0 1 0 822723028 359305216 85638 33554432000 4194304 9163163 140736276812784 18446744073709551615 7416725 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 87721 85638 666 1214 0 86503 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 350884
[startup+51.1007 s]
/proc/loadavg: 2.06 2.06 1.95 3/576 25322
/proc/meminfo: memFree=23201996/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=367072 CPUtime=51.09 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 95348 0 0 0 5091 18 0 0 25 0 1 0 822723028 375881728 87835 33554432000 4194304 9163163 140736276812784 18446744073709551615 7358960 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 91768 87835 666 1214 0 90550 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 367072
[startup+102.321 s]
/proc/loadavg: 2.03 2.05 1.95 3/576 25323
/proc/meminfo: memFree=23155516/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=406948 CPUtime=102.32 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 110935 0 0 0 10209 23 0 0 25 0 1 0 822723028 416714752 99522 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 101737 99522 831 1214 0 100519 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 406948
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/576 25379
/proc/meminfo: memFree=23184276/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=388608 CPUtime=162.29 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 133237 0 0 0 16201 28 0 0 25 0 1 0 822723028 397934592 94671 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 97152 94671 734 1214 0 95934 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 388608
[startup+222.3 s]
/proc/loadavg: 2.14 2.07 1.96 3/576 25381
/proc/meminfo: memFree=23185408/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=388608 CPUtime=222.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 133237 0 0 0 22201 29 0 0 25 0 1 0 822723028 397934592 94671 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 97152 94671 734 1214 0 95934 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 388608
[startup+282.3 s]
/proc/loadavg: 2.05 2.06 1.96 3/576 25382
/proc/meminfo: memFree=23182864/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=388608 CPUtime=282.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 133237 0 0 0 28199 31 0 0 25 0 1 0 822723028 397934592 94671 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 97152 94671 734 1214 0 95934 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 388608
[startup+342.301 s]
/proc/loadavg: 2.15 2.08 1.97 3/576 25384
/proc/meminfo: memFree=23181968/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=402252 CPUtime=342.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 147012 0 0 0 34194 36 0 0 25 0 1 0 822723028 411906048 94295 33554432000 4194304 9163163 140736276812784 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 100563 94295 738 1214 0 99345 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 402252
[startup+402.301 s]
/proc/loadavg: 2.12 2.08 1.98 3/576 25385
/proc/meminfo: memFree=23158468/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=404936 CPUtime=402.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 155756 0 0 0 40192 38 0 0 25 0 1 0 822723028 414654464 99634 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 101234 99634 738 1214 0 100016 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 404936
[startup+462.301 s]
/proc/loadavg: 2.04 2.06 1.98 3/576 25387
/proc/meminfo: memFree=23163236/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=408804 CPUtime=462.3 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 165279 0 0 0 46189 41 0 0 25 0 1 0 822723028 418615296 97391 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390573 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 102201 97391 738 1214 0 100983 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 408804
[startup+522.301 s]
/proc/loadavg: 2.01 2.05 1.98 3/576 25389
/proc/meminfo: memFree=23161452/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=395468 CPUtime=522.31 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 174917 0 0 0 52187 44 0 0 25 0 1 0 822723028 404959232 97548 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390357 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 98867 97548 738 1214 0 97649 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 395468
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 1.98 3/576 25390
/proc/meminfo: memFree=23159924/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=399108 CPUtime=582.31 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 192569 0 0 0 58183 48 0 0 25 0 1 0 822723028 408686592 97264 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99777 97264 738 1214 0 98559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 399108
[startup+642.301 s]
################
# More data... #
################
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 266457 0 0 0 100164 68 0 0 25 0 1 0 822723028 411885568 98451 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 100558 98451 738 1214 0 99340 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 402232
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 25403
/proc/meminfo: memFree=23133276/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396680 CPUtime=1062.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 276052 0 0 0 106163 70 0 0 25 0 1 0 822723028 406200320 97394 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99170 97394 738 1214 0 97952 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 396680
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25405
/proc/meminfo: memFree=23145644/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=384328 CPUtime=1122.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 285512 0 0 0 112161 72 0 0 25 0 1 0 822723028 393551872 94019 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390352 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 96082 94019 738 1214 0 94864 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 384328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25406
/proc/meminfo: memFree=23147596/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=375944 CPUtime=1182.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 294876 0 0 0 118159 74 0 0 25 0 1 0 822723028 384966656 92866 33554432000 4194304 9163163 140736276812784 18446744073709551615 7346248 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 93986 92866 738 1214 0 92768 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 375944
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 25408
/proc/meminfo: memFree=23135652/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=389572 CPUtime=1242.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 307522 0 0 0 124156 77 0 0 25 0 1 0 822723028 398921728 94674 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390364 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 97393 94674 738 1214 0 96175 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 389572
[startup+1302.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/576 25409
/proc/meminfo: memFree=23131412/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=392696 CPUtime=1302.35 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 319054 0 0 0 130155 80 0 0 25 0 1 0 822723028 402120704 95444 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390357 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 98174 95444 738 1214 0 96956 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 392696
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 25411
/proc/meminfo: memFree=23143536/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=372968 CPUtime=1362.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 333855 0 0 0 136150 83 0 0 25 0 1 0 822723028 381919232 91733 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 93242 91733 738 1214 0 92024 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 372968
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 25413
/proc/meminfo: memFree=23124412/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=389588 CPUtime=1422.35 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 338399 0 0 0 142151 84 0 0 25 0 1 0 822723028 398938112 96277 33554432000 4194304 9163163 140736276812784 18446744073709551615 7370816 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 97397 96277 738 1214 0 96179 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 389588
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/576 25414
/proc/meminfo: memFree=23126488/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=392696 CPUtime=1482.34 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 347551 0 0 0 148148 86 0 0 25 0 1 0 822723028 402120704 95447 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390352 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 98174 95447 738 1214 0 96956 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 392696
[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 25416
/proc/meminfo: memFree=23140968/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=368728 CPUtime=1542.33 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 364562 0 0 0 154145 88 0 0 25 0 1 0 822723028 377577472 91062 33554432000 4194304 9163163 140736276812784 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 92182 91062 738 1214 0 90964 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 368728
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 25417
/proc/meminfo: memFree=23105096/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=407660 CPUtime=1602.34 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 373009 0 0 0 160143 91 0 0 25 0 1 0 822723028 417443840 99509 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 101915 99509 738 1214 0 100697 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 407660
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25419
/proc/meminfo: memFree=23109276/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1662.34 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 166141 93 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 396228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25421
/proc/meminfo: memFree=23104176/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1722.34 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 172141 93 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 396228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25422
/proc/meminfo: memFree=23100180/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1782.34 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 178140 94 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7416725 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 396228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 25423
/proc/meminfo: memFree=23099784/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1800.06 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 179912 94 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7416711 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 396228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25310
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.13 2.05 2.01 3/577 25424
/proc/meminfo: memFree=23098412/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1801.44 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 180050 94 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 396228
[startup+1801.82 s]
/proc/loadavg: 2.13 2.05 2.01 3/577 25424
/proc/meminfo: memFree=23099032/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1801.86 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 180092 94 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 396228
[startup+1802 s]
/proc/loadavg: 2.13 2.05 2.01 3/577 25424
/proc/meminfo: memFree=23099032/32951124 swapFree=58940260/67111528
[pid=25310] ppid=25308 vsize=396228 CPUtime=1802.04 cores=1,3,5,7
/proc/25310/stat : 25310 (scip-2.0.1.4b.l) R 25308 25310 23203 0 -1 4202496 382345 0 0 0 180110 94 0 0 25 0 1 0 822723028 405737472 97892 33554432000 4194304 9163163 140736276812784 18446744073709551615 7391808 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25310/statm: 99057 97892 738 1214 0 97839 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 396228
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.1
CPU user time (s): 1801.13
CPU system time (s): 0.966853
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 424880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.13
system time used= 0.966853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382345
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= 21992
runsolver used 10.1515 second user time and 24.2833 second system time
The end