0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451029-1307080729.opb>
0.08/0.15 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.08/0.15 c problem read
0.08/0.15 c presolving settings loaded
0.08/0.17 c presolving:
0.19/0.26 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
0.39/0.42 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.19/1.26 c (1.3s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
1.19/1.26 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.19/1.26 c presolving (3 rounds):
1.19/1.26 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
1.19/1.26 c 14784 implications, 392 cliques
1.19/1.26 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
1.19/1.26 c 7496 constraints of type <knapsack>
1.19/1.26 c 2016 constraints of type <setppc>
1.19/1.26 c 6584 constraints of type <logicor>
1.19/1.26 c transformed objective value is always integral (scale: 1)
1.19/1.26 c Presolving Time: 1.09
1.19/1.26 c - non default parameters ----------------------------------------------------------------------
1.19/1.26 c # SCIP version 2.0.1.5
1.19/1.26 c
1.19/1.26 c # frequency for displaying node information lines
1.19/1.26 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.26 c display/freq = 10000
1.19/1.26 c
1.19/1.26 c # maximal time in seconds to run
1.19/1.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26 c limits/time = 1800
1.19/1.26 c
1.19/1.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.26 c limits/memory = 13950
1.19/1.26 c
1.19/1.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.26 c # [type: int, range: [1,2], default: 1]
1.19/1.26 c timing/clocktype = 2
1.19/1.26 c
1.19/1.26 c # belongs reading time to solving time?
1.19/1.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.26 c timing/reading = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify inequalities
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/linear/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/indicator/addCouplingCons = TRUE
1.19/1.27 c
1.19/1.27 c # should presolving try to simplify knapsacks
1.19/1.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.27 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.27 c
1.19/1.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.27 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.27 c separating/rapidlearning/freq = 0
1.19/1.27 c
1.19/1.27 c -----------------------------------------------------------------------------------------------
1.19/1.27 c start solving
1.19/1.27 c
4.99/5.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.09 c 5.1s| 1 | 0 | 7867 | - | 35M| 0 | 468 |1344 | 16k|1344 | 16k| 0 | 102 | 0 | 9.600000e+01 | -- | Inf
36.78/36.85 c 36.8s| 1 | 0 | 47876 | - | 40M| 0 | 482 |1344 | 16k|1344 | 16k| 8 | 102 | 0 | 9.600000e+01 | -- | Inf
39.49/39.59 c 39.6s| 1 | 0 | 48304 | - | 46M| 0 | 477 |1344 | 16k|1344 | 16k| 14 | 102 | 0 | 9.600000e+01 | -- | Inf
42.48/42.59 c 42.6s| 1 | 0 | 49255 | - | 51M| 0 | 483 |1344 | 16k|1344 | 16k| 21 | 102 | 0 | 9.600000e+01 | -- | Inf
45.38/45.47 c 45.5s| 1 | 0 | 49824 | - | 56M| 0 | 491 |1344 | 16k|1344 | 16k| 27 | 102 | 0 | 9.600000e+01 | -- | Inf
48.58/48.64 c 48.6s| 1 | 0 | 50868 | - | 61M| 0 | 489 |1344 | 16k|1344 | 16k| 35 | 102 | 0 | 9.600000e+01 | -- | Inf
51.49/51.52 c 51.5s| 1 | 0 | 51350 | - | 66M| 0 | 498 |1344 | 16k|1344 | 16k| 40 | 102 | 0 | 9.600000e+01 | -- | Inf
63.69/63.80 c 63.8s| 1 | 2 | 51350 | - | 66M| 0 | 498 |1344 | 16k|1344 | 16k| 40 | 102 | 23 | 9.600000e+01 | -- | Inf
687.52/687.52 o 202
687.52/687.52 c v 688s| 430 | 421 |777578 |1692.8 | 69M| 33 | - |1344 | 16k|1344 | 16k| 40 | 428 | 636 | 9.600000e+01 | 2.020000e+02 | 110.42%
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.00
1800.05/1800.01 c Solving Nodes : 1393
1800.05/1800.01 c Primal Bound : +2.02000000000000e+02 (1 solutions)
1800.05/1800.01 c Dual Bound : +9.60000000000000e+01
1800.05/1800.01 c Gap : 110.42 %
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-3451029-1307080729/watcher-3451029-1307080729 -o /tmp/evaluation-result-3451029-1307080729/solver-3451029-1307080729 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451029-1307080729.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.05 2.01 2.00 3/327 17954
/proc/meminfo: memFree=24061584/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=12708 CPUtime=0 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 2155 0 0 0 0 0 0 0 25 0 1 0 898303491 13012992 2108 33554432000 4194304 9163163 140735662568368 18446744073709551615 4810160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17954/statm: 3177 2116 389 1214 0 1959 0
[startup+0.0512999 s]
/proc/loadavg: 2.05 2.01 2.00 3/327 17954
/proc/meminfo: memFree=24061584/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=17692 CPUtime=0.03 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 3403 0 0 0 3 0 0 0 25 0 1 0 898303491 18116608 3356 33554432000 4194304 9163163 140735662568368 18446744073709551615 6137048 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17954/statm: 4423 3356 395 1214 0 3205 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17692
[startup+0.10029 s]
/proc/loadavg: 2.05 2.01 2.00 3/327 17954
/proc/meminfo: memFree=24061584/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=20452 CPUtime=0.08 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 4112 0 0 0 8 0 0 0 25 0 1 0 898303491 20942848 4065 33554432000 4194304 9163163 140735662568368 18446744073709551615 8044591 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17954/statm: 5113 4065 395 1214 0 3895 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20452
[startup+0.300254 s]
/proc/loadavg: 2.05 2.01 2.00 3/327 17954
/proc/meminfo: memFree=24061584/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=61524 CPUtime=0.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 14714 0 0 0 27 2 0 0 25 0 1 0 898303491 63000576 14082 33554432000 4194304 9163163 140735662568368 18446744073709551615 5099259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 15381 14082 529 1214 0 14163 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61524
[startup+0.70018 s]
/proc/loadavg: 2.05 2.01 2.00 3/327 17954
/proc/meminfo: memFree=24061584/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=62208 CPUtime=0.69 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 14920 0 0 0 67 2 0 0 25 0 1 0 898303491 63700992 14288 33554432000 4194304 9163163 140735662568368 18446744073709551615 5074824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 15552 14288 549 1214 0 14334 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62208
[startup+1.50103 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 17955
/proc/meminfo: memFree=24006520/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=100868 CPUtime=1.49 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 24356 0 0 0 146 3 0 0 25 0 1 0 898303491 103288832 22953 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 25217 22953 764 1214 0 23999 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100868
[startup+3.10074 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 17955
/proc/meminfo: memFree=23966140/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=105152 CPUtime=3.08 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 25965 0 0 0 304 4 0 0 25 0 1 0 898303491 107675648 24324 33554432000 4194304 9163163 140735662568368 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 26288 24324 676 1214 0 25070 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105152
[startup+6.30015 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 17955
/proc/meminfo: memFree=23966432/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=103728 CPUtime=6.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 27193 0 0 0 622 7 0 0 25 0 1 0 898303491 106217472 24661 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 25932 24661 672 1214 0 24714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103728
[startup+12.701 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 17955
/proc/meminfo: memFree=23963608/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=104012 CPUtime=12.68 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 27317 0 0 0 1258 10 0 0 25 0 1 0 898303491 106508288 24785 33554432000 4194304 9163163 140735662568368 18446744073709551615 7419694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 26003 24785 709 1214 0 24785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104012
[startup+25.5006 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 17955
/proc/meminfo: memFree=23963760/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=104012 CPUtime=25.48 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 27376 0 0 0 2534 14 0 0 25 0 1 0 898303491 106508288 24828 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 26003 24828 712 1214 0 24785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104012
[startup+51.1009 s]
/proc/loadavg: 2.09 2.03 2.00 3/328 17956
/proc/meminfo: memFree=23927340/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=145524 CPUtime=51.08 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 37597 0 0 0 5080 28 0 0 25 0 1 0 898303491 149016576 34695 33554432000 4194304 9163163 140735662568368 18446744073709551615 6260479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 36381 34695 722 1214 0 35163 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 145524
[startup+102.313 s]
/proc/loadavg: 2.11 2.04 2.01 3/328 17957
/proc/meminfo: memFree=23914588/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152852 CPUtime=102.3 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 48210 0 0 0 10176 54 0 0 25 0 1 0 898303491 156520448 37131 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38213 37131 763 1214 0 36995 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152852
[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 17968
/proc/meminfo: memFree=23912704/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152852 CPUtime=162.28 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 48210 0 0 0 16143 85 0 0 25 0 1 0 898303491 156520448 37131 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38213 37131 763 1214 0 36995 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 152852
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17970
/proc/meminfo: memFree=23911784/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152852 CPUtime=222.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 48211 0 0 0 22116 113 0 0 25 0 1 0 898303491 156520448 37132 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38213 37132 764 1214 0 36995 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 152852
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 17971
/proc/meminfo: memFree=23913008/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152688 CPUtime=282.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50493 0 0 0 28086 143 0 0 25 0 1 0 898303491 156352512 37099 33554432000 4194304 9163163 140735662568368 18446744073709551615 7348657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38172 37099 808 1214 0 36954 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 152688
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17973
/proc/meminfo: memFree=23910852/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152688 CPUtime=342.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50507 0 0 0 34058 171 0 0 25 0 1 0 898303491 156352512 37099 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38172 37099 794 1214 0 36954 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 152688
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17974
/proc/meminfo: memFree=23909452/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152688 CPUtime=402.29 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50537 0 0 0 40026 203 0 0 25 0 1 0 898303491 156352512 37101 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38172 37101 766 1214 0 36954 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 152688
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17976
/proc/meminfo: memFree=23909280/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152836 CPUtime=462.3 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50572 0 0 0 45993 237 0 0 25 0 1 0 898303491 156504064 37136 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38209 37136 766 1214 0 36991 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 152836
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17978
/proc/meminfo: memFree=23909868/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152836 CPUtime=522.3 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50572 0 0 0 51956 274 0 0 25 0 1 0 898303491 156504064 37136 33554432000 4194304 9163163 140735662568368 18446744073709551615 7348304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38209 37136 766 1214 0 36991 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 152836
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17979
/proc/meminfo: memFree=23906096/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=152836 CPUtime=582.3 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 50573 0 0 0 57921 309 0 0 25 0 1 0 898303491 156504064 37137 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38209 37137 766 1214 0 36991 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 152836
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17986
/proc/meminfo: memFree=23903812/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154728 CPUtime=822.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51091 0 0 0 81786 445 0 0 25 0 1 0 898303491 158441472 37605 33554432000 4194304 9163163 140735662568368 18446744073709551615 7300623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38682 37605 770 1214 0 37464 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 154728
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17987
/proc/meminfo: memFree=23902528/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154728 CPUtime=882.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51100 0 0 0 87752 479 0 0 25 0 1 0 898303491 158441472 37610 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38682 37610 766 1214 0 37464 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 154728
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17989
/proc/meminfo: memFree=23901744/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154728 CPUtime=942.32 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51100 0 0 0 93721 511 0 0 25 0 1 0 898303491 158441472 37610 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38682 37610 766 1214 0 37464 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 154728
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18099
/proc/meminfo: memFree=23930852/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154728 CPUtime=1002.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51100 0 0 0 99684 547 0 0 25 0 1 0 898303491 158441472 37610 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38682 37610 766 1214 0 37464 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 154728
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 18101
/proc/meminfo: memFree=23928536/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154728 CPUtime=1062.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51101 0 0 0 105654 577 0 0 25 0 1 0 898303491 158441472 37611 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38682 37611 766 1214 0 37464 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 154728
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 18103
/proc/meminfo: memFree=23923524/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154928 CPUtime=1122.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51144 0 0 0 111622 609 0 0 25 0 1 0 898303491 158646272 37654 33554432000 4194304 9163163 140735662568368 18446744073709551615 7348657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38732 37654 766 1214 0 37514 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 154928
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 18104
/proc/meminfo: memFree=23918972/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154928 CPUtime=1182.32 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51144 0 0 0 117589 643 0 0 25 0 1 0 898303491 158646272 37654 33554432000 4194304 9163163 140735662568368 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38732 37654 766 1214 0 37514 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 154928
[startup+1242.3 s]
/proc/loadavg: 1.77 1.95 1.98 2/322 18123
/proc/meminfo: memFree=24037860/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154928 CPUtime=1242.31 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51151 0 0 0 123547 684 0 0 25 0 1 0 898303491 158646272 37661 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38732 37661 766 1214 0 37514 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 154928
[startup+1302.3 s]
/proc/loadavg: 1.28 1.78 1.92 2/322 18124
/proc/meminfo: memFree=24035960/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=156484 CPUtime=1302.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 51537 0 0 0 129489 744 0 0 25 0 1 0 898303491 160239616 38047 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39121 38047 766 1214 0 37903 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 156484
[startup+1362.3 s]
/proc/loadavg: 1.10 1.63 1.86 2/322 18126
/proc/meminfo: memFree=24038772/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=154328 CPUtime=1362.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 53239 0 0 0 135429 804 0 0 25 0 1 0 898303491 158031872 37498 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38582 37498 766 1214 0 37364 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 154328
[startup+1422.31 s]
/proc/loadavg: 1.04 1.52 1.80 2/322 18128
/proc/meminfo: memFree=24035888/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=157232 CPUtime=1422.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 53995 0 0 0 141374 859 0 0 25 0 1 0 898303491 161005568 38254 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39308 38254 766 1214 0 38090 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 157232
[startup+1482.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/322 18129
/proc/meminfo: memFree=24041292/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=153744 CPUtime=1482.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 55084 0 0 0 147314 919 0 0 25 0 1 0 898303491 157433856 36946 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 38436 36946 787 1214 0 37218 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 153744
[startup+1542.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/322 18131
/proc/meminfo: memFree=24037032/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=157256 CPUtime=1542.32 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 56350 0 0 0 153258 974 0 0 25 0 1 0 898303491 161030144 38018 33554432000 4194304 9163163 140735662568368 18446744073709551615 7394727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39314 38018 766 1214 0 38096 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 157256
[startup+1602.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/322 18132
/proc/meminfo: memFree=24034768/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=158672 CPUtime=1602.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 63952 0 0 0 159204 1029 0 0 25 0 1 0 898303491 162480128 38598 33554432000 4194304 9163163 140735662568368 18446744073709551615 7376375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39668 38598 766 1214 0 38450 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 158672
[startup+1662.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/322 18134
/proc/meminfo: memFree=24037212/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=156552 CPUtime=1662.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 68667 0 0 0 165148 1085 0 0 25 0 1 0 898303491 160309248 38006 33554432000 4194304 9163163 140735662568368 18446744073709551615 7399160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39138 38006 766 1214 0 37920 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 156552
[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/322 18136
/proc/meminfo: memFree=24035680/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=157844 CPUtime=1722.33 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 71299 0 0 0 171089 1144 0 0 25 0 1 0 898303491 161632256 38385 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39461 38385 766 1214 0 38243 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 157844
[startup+1782.3 s]
/proc/loadavg: 1.07 1.16 1.53 2/322 18137
/proc/meminfo: memFree=24039352/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=156064 CPUtime=1782.34 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 79945 0 0 0 177034 1200 0 0 25 0 1 0 898303491 159809536 37667 33554432000 4194304 9163163 140735662568368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17954/statm: 39016 37667 883 1214 0 37798 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 156064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.05 1.15 1.52 2/322 18138
/proc/meminfo: memFree=24038216/32951124 swapFree=67056304/67111528
[pid=17954] ppid=17952 vsize=156064 CPUtime=1800.05 cores=1,3,5,7
/proc/17954/stat : 17954 (scip-2.0.1.4b.l) R 17952 17954 15734 0 -1 4202496 80108 0 0 0 178786 1219 0 0 25 0 1 0 898303491 159809536 37713 33554432000 4194304 9163163 140735662568368 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17954/statm: 39016 37713 766 1214 0 37798 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 156064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1787.86
CPU system time (s): 12.1981
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 178788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.86
system time used= 12.1981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80108
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= 5
involuntary context switches= 21471
runsolver used 5.2662 second user time and 12.7821 second system time
The end