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-3450616-1307103221.opb>
0.04/0.06 c original problem has 16170 variables (16170 bin, 0 int, 0 impl, 0 cont) and 16670 constraints
0.04/0.06 c problem read
0.04/0.06 c presolving settings loaded
0.09/0.14 o 500
0.09/0.14 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.09/0.14 c presolving:
0.49/0.51 c (round 1) 0 del vars, 16170 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1054314 impls, 0 clqs
0.59/0.61 c (round 2) 15670 del vars, 16170 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1054314 impls, 0 clqs
0.59/0.62 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.62 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.62 c presolving (3 rounds):
0.59/0.62 c 15670 deleted vars, 16170 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.62 c 1054314 implications, 0 cliques
0.59/0.62 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.59/0.62 c 500 constraints of type <logicor>
0.59/0.62 c transformed objective value is always integral (scale: 1)
0.59/0.62 c Presolving Time: 0.52
0.59/0.62 c - non default parameters ----------------------------------------------------------------------
0.59/0.62 c # SCIP version 2.0.1.5
0.59/0.62 c
0.59/0.62 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62 c conflict/interconss = 0
0.59/0.62 c
0.59/0.62 c # should binary conflicts be preferred?
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c conflict/preferbinary = TRUE
0.59/0.62 c
0.59/0.62 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.62 c constraints/agelimit = 1
0.59/0.62 c
0.59/0.62 c # should enforcement of pseudo solution be disabled?
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/disableenfops = TRUE
0.59/0.62 c
0.59/0.62 c # frequency for displaying node information lines
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62 c display/freq = 10000
0.59/0.62 c
0.59/0.62 c # maximal time in seconds to run
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/time = 1800
0.59/0.62 c
0.59/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/memory = 13950
0.59/0.62 c
0.59/0.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.62 c # [type: int, range: [1,2], default: 1]
0.59/0.62 c timing/clocktype = 2
0.59/0.62 c
0.59/0.62 c # belongs reading time to solving time?
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c timing/reading = TRUE
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify inequalities
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/linear/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/indicator/addCouplingCons = TRUE
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify knapsacks
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c -----------------------------------------------------------------------------------------------
0.59/0.62 c start solving
0.59/0.62 c
3.39/3.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.40 c t 3.4s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 5.000000e+02 |3221.30%
3.39/3.40 o 266
3.39/3.40 c r 3.4s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 2.660000e+02 |1666.93%
3.39/3.40 o 265
3.39/3.40 c R 3.4s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 2.650000e+02 |1660.29%
3.39/3.41 o 264
3.39/3.41 c s 3.4s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 2.640000e+02 |1653.65%
3.39/3.46 o 64
3.39/3.46 c z 3.5s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 6.400000e+01 | 325.13%
3.39/3.47 c 3.5s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 6.400000e+01 | 325.13%
3.39/3.47 o 46
3.39/3.47 c b 3.5s| 1 | 0 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 1.505434e+01 | 4.600000e+01 | 205.56%
16.99/17.04 c 17.0s| 1 | 2 | 10247 | - | 36M| 0 | 266 | 500 | 500 | 500 | 500 | 0 | 0 | 31 | 1.505434e+01 | 4.600000e+01 | 205.56%
59.30/59.36 o 45
59.30/59.36 c z59.4s| 29 | 30 | 40886 |1094.2 | 36M| 15 | 91 | 500 | 500 | 500 | 500 | 0 | 0 | 185 | 1.505434e+01 | 4.500000e+01 | 198.92%
59.41/59.49 o 36
59.41/59.49 c b59.5s| 30 | 31 | 41181 |1066.7 | 36M| 15 | 238 | 500 | 500 | 500 | 500 | 0 | 0 | 185 | 1.505434e+01 | 3.600000e+01 | 139.13%
65.90/66.01 o 34
65.90/66.01 c v66.0s| 56 | 57 | 67099 |1033.7 | 36M| 17 | - | 500 | 500 | 500 | 500 | 0 | 0 | 211 | 1.505434e+01 | 3.400000e+01 | 125.85%
66.00/66.02 o 32
66.00/66.02 c v66.0s| 56 | 57 | 67261 |1036.6 | 36M| 17 | - | 500 | 500 | 500 | 500 | 0 | 0 | 211 | 1.505434e+01 | 3.200000e+01 | 112.56%
66.00/66.02 o 29
66.00/66.02 c v66.0s| 56 | 57 | 67402 |1039.2 | 36M| 17 | - | 500 | 500 | 500 | 500 | 0 | 0 | 211 | 1.505434e+01 | 2.900000e+01 | 92.64%
522.30/522.37 o 28
522.30/522.37 c v 522s| 590 | 591 | 1309k|2205.3 | 37M| 56 | - | 500 | 500 | 500 | 500 | 0 | 0 | 984 | 1.612849e+01 | 2.800000e+01 | 73.61%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 3300
1800.04/1800.00 c Primal Bound : +2.80000000000000e+01 (601 solutions)
1800.04/1800.00 c Dual Bound : +1.65352389949569e+01
1800.04/1800.00 c Gap : 69.34 %
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-3450616-1307103221/watcher-3450616-1307103221 -o /tmp/evaluation-result-3450616-1307103221/solver-3450616-1307103221 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450616-1307103221.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: 1.86 1.97 1.99 2/446 11225
/proc/meminfo: memFree=31079964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=14644 CPUtime=0 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 2648 0 0 0 0 0 0 0 25 0 1 0 821920833 14995456 2602 33554432000 4194304 9163163 140735805084160 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11225/statm: 3661 2602 409 1214 0 2443 0
[startup+0.0535669 s]
/proc/loadavg: 1.86 1.97 1.99 2/446 11225
/proc/meminfo: memFree=31079964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=29664 CPUtime=0.04 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 6397 0 0 0 4 0 0 0 25 0 1 0 821920833 30375936 6351 33554432000 4194304 9163163 140735805084160 18446744073709551615 4252562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11225/statm: 7416 6351 409 1214 0 6198 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29664
[startup+0.10056 s]
/proc/loadavg: 1.86 1.97 1.99 2/446 11225
/proc/meminfo: memFree=31079964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=56164 CPUtime=0.09 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 13005 0 0 0 8 1 0 0 25 0 1 0 821920833 57511936 12937 33554432000 4194304 9163163 140735805084160 18446744073709551615 4496987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 14041 12937 447 1214 0 12823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56164
[startup+0.300522 s]
/proc/loadavg: 1.86 1.97 1.99 2/446 11225
/proc/meminfo: memFree=31079964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=84616 CPUtime=0.29 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 19550 0 0 0 28 1 0 0 25 0 1 0 821920833 86646784 19482 33554432000 4194304 9163163 140735805084160 18446744073709551615 6567785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 21154 19482 500 1214 0 19936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84616
[startup+0.70045 s]
/proc/loadavg: 1.86 1.97 1.99 2/446 11225
/proc/meminfo: memFree=31079964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=105748 CPUtime=0.69 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 25798 0 0 0 67 2 0 0 25 0 1 0 821920833 108285952 24944 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 26437 24944 651 1214 0 25219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105748
[startup+1.50032 s]
/proc/loadavg: 1.86 1.97 1.99 3/447 11226
/proc/meminfo: memFree=30961040/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=108340 CPUtime=1.49 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 26429 0 0 0 146 3 0 0 25 0 1 0 821920833 110940160 25570 33554432000 4194304 9163163 140735805084160 18446744073709551615 7379936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27085 25570 652 1214 0 25867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108340
[startup+3.10097 s]
/proc/loadavg: 1.86 1.97 1.99 3/447 11226
/proc/meminfo: memFree=30955964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=109920 CPUtime=3.09 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 26837 0 0 0 305 4 0 0 25 0 1 0 821920833 112558080 25978 33554432000 4194304 9163163 140735805084160 18446744073709551615 7412864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27480 25978 652 1214 0 26262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109920
[startup+6.30047 s]
/proc/loadavg: 1.95 1.99 1.99 3/447 11226
/proc/meminfo: memFree=30954796/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=109244 CPUtime=6.29 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28153 0 0 0 622 7 0 0 25 0 1 0 821920833 111865856 25957 33554432000 4194304 9163163 140735805084160 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27311 25957 704 1214 0 26093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109244
[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.99 3/447 11226
/proc/meminfo: memFree=30954712/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=109560 CPUtime=12.69 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28240 0 0 0 1258 11 0 0 25 0 1 0 821920833 112189440 26044 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27390 26044 704 1214 0 26172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109560
[startup+25.5011 s]
/proc/loadavg: 1.96 1.99 1.99 3/447 11227
/proc/meminfo: memFree=30955336/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=109708 CPUtime=25.49 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28255 0 0 0 2529 20 0 0 25 0 1 0 821920833 112340992 26059 33554432000 4194304 9163163 140735805084160 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27427 26059 707 1214 0 26209 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109708
[startup+51.1006 s]
/proc/loadavg: 1.97 1.99 1.99 3/447 11228
/proc/meminfo: memFree=30954508/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=109708 CPUtime=51.09 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28255 0 0 0 5066 43 0 0 25 0 1 0 821920833 112340992 26059 33554432000 4194304 9163163 140735805084160 18446744073709551615 7391316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27427 26059 707 1214 0 26209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109708
[startup+102.316 s]
/proc/loadavg: 1.99 1.99 1.99 3/447 11229
/proc/meminfo: memFree=30972964/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=110028 CPUtime=102.31 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28336 0 0 0 10125 106 0 0 25 0 1 0 821920833 112668672 26140 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27507 26140 711 1214 0 26289 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 110028
[startup+162.301 s]
/proc/loadavg: 2.13 2.02 2.00 3/447 11230
/proc/meminfo: memFree=30972560/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=110028 CPUtime=162.29 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28372 0 0 0 16070 159 0 0 25 0 1 0 821920833 112668672 26176 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27507 26176 711 1214 0 26289 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110028
[startup+222.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/447 11232
/proc/meminfo: memFree=30972416/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=110660 CPUtime=222.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 28488 0 0 0 22025 205 0 0 25 0 1 0 821920833 113315840 26292 33554432000 4194304 9163163 140735805084160 18446744073709551615 7370937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27665 26292 711 1214 0 26447 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 110660
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 11234
/proc/meminfo: memFree=30973504/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111028 CPUtime=282.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 32194 0 0 0 27976 254 0 0 25 0 1 0 821920833 113692672 26412 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27757 26412 716 1214 0 26539 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 111028
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 11235
/proc/meminfo: memFree=30973464/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111028 CPUtime=342.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 32194 0 0 0 33920 310 0 0 25 0 1 0 821920833 113692672 26412 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27757 26412 716 1214 0 26539 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 111028
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11237
/proc/meminfo: memFree=30973556/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111028 CPUtime=402.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 32194 0 0 0 39860 370 0 0 25 0 1 0 821920833 113692672 26412 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27757 26412 716 1214 0 26539 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 111028
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11238
/proc/meminfo: memFree=30973028/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111072 CPUtime=462.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 32863 0 0 0 45806 424 0 0 25 0 1 0 821920833 113737728 26423 33554432000 4194304 9163163 140735805084160 18446744073709551615 7391824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27768 26423 716 1214 0 26550 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111072
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 11240
/proc/meminfo: memFree=30975228/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=110008 CPUtime=522.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 33222 0 0 0 51733 497 0 0 25 0 1 0 821920833 112648192 26158 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27502 26158 716 1214 0 26284 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 110008
[startup+582.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/447 11242
/proc/meminfo: memFree=30973704/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111056 CPUtime=582.3 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 33431 0 0 0 57671 559 0 0 25 0 1 0 821920833 113721344 26367 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27764 26367 716 1214 0 26546 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 111056
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/447 11248
/proc/meminfo: memFree=30972844/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=822.31 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36520 0 0 0 81386 845 0 0 25 0 1 0 821920833 113803264 26366 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26366 725 1214 0 26566 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 111136
[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 11250
/proc/meminfo: memFree=30971940/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=882.31 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36575 0 0 0 87317 914 0 0 25 0 1 0 821920833 113803264 26421 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26421 725 1214 0 26566 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 111136
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 11251
/proc/meminfo: memFree=30971396/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=942.31 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36575 0 0 0 93249 982 0 0 25 0 1 0 821920833 113803264 26421 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26421 725 1214 0 26566 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 111136
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11253
/proc/meminfo: memFree=30970756/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=1002.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36620 0 0 0 99180 1052 0 0 25 0 1 0 821920833 113803264 26466 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26466 725 1214 0 26566 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 111136
[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11254
/proc/meminfo: memFree=30970220/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=1062.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36621 0 0 0 105103 1129 0 0 25 0 1 0 821920833 113803264 26467 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26467 725 1214 0 26566 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 111136
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/447 11256
/proc/meminfo: memFree=30970184/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=1122.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36621 0 0 0 111038 1194 0 0 25 0 1 0 821920833 113803264 26467 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26467 725 1214 0 26566 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 111136
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 11258
/proc/meminfo: memFree=30969780/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=1182.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36621 0 0 0 116975 1257 0 0 25 0 1 0 821920833 113803264 26467 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26467 725 1214 0 26566 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 111136
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11259
/proc/meminfo: memFree=30969876/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111136 CPUtime=1242.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36621 0 0 0 122904 1328 0 0 25 0 1 0 821920833 113803264 26467 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27784 26467 725 1214 0 26566 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 111136
[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11261
/proc/meminfo: memFree=30968100/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111336 CPUtime=1302.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 36657 0 0 0 128837 1396 0 0 25 0 1 0 821920833 114008064 26503 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27834 26503 725 1214 0 26616 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 111336
[startup+1362.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/447 11262
/proc/meminfo: memFree=30966588/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111000 CPUtime=1362.32 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 37986 0 0 0 134768 1464 0 0 25 0 1 0 821920833 113664000 26422 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27750 26422 725 1214 0 26532 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 111000
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/447 11264
/proc/meminfo: memFree=30967180/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=110952 CPUtime=1422.34 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 39347 0 0 0 140705 1529 0 0 25 0 1 0 821920833 113614848 26438 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27738 26438 725 1214 0 26520 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 110952
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/447 11266
/proc/meminfo: memFree=30966400/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111232 CPUtime=1482.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 40035 0 0 0 146628 1605 0 0 25 0 1 0 821920833 113901568 26481 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27808 26481 725 1214 0 26590 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 111232
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 11267
/proc/meminfo: memFree=30965364/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111324 CPUtime=1542.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 42145 0 0 0 152561 1672 0 0 25 0 1 0 821920833 113995776 26522 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27831 26522 725 1214 0 26613 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 111324
[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/447 11269
/proc/meminfo: memFree=30965460/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111340 CPUtime=1602.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 44982 0 0 0 158496 1737 0 0 25 0 1 0 821920833 114012160 26508 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27835 26508 725 1214 0 26617 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 111340
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/447 11270
/proc/meminfo: memFree=30964420/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111760 CPUtime=1662.34 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 46988 0 0 0 164432 1802 0 0 25 0 1 0 821920833 114442240 26614 33554432000 4194304 9163163 140735805084160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27940 26614 725 1214 0 26722 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 111760
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/447 11272
/proc/meminfo: memFree=30964756/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111148 CPUtime=1722.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 50287 0 0 0 170358 1875 0 0 25 0 1 0 821920833 113815552 26459 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27787 26459 725 1214 0 26569 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 111148
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/447 11274
/proc/meminfo: memFree=30963860/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111364 CPUtime=1782.33 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 51653 0 0 0 176281 1952 0 0 25 0 1 0 821920833 114036736 26518 33554432000 4194304 9163163 140735805084160 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11225/statm: 27841 26518 725 1214 0 26623 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 111364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11302
/proc/meminfo: memFree=31103116/32950928 swapFree=34365992/67111528
[pid=11225] ppid=11223 vsize=111388 CPUtime=1800.05 cores=1,3,5,7
/proc/11225/stat : 11225 (scip-2.0.1.4b.l) R 11223 11225 10081 0 -1 4202496 52910 0 0 0 178025 1980 0 0 25 0 1 0 821920833 114061312 26510 33554432000 4194304 9163163 140735805084160 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11225/statm: 27847 26510 725 1214 0 26629 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 111388
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.07
CPU user time (s): 1780.26
CPU system time (s): 19.806
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 122636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.26
system time used= 19.806
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52910
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= 6
involuntary context switches= 2917
runsolver used 8.01278 second user time and 17.6183 second system time
The end