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-3450914-1307086806.opb>
0.09/0.11 c original problem has 10976 variables (10976 bin, 0 int, 0 impl, 0 cont) and 12527 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.16 o 19611
0.09/0.16 c feasible solution found by trivial heuristic, objective value 1.961100e+04
0.09/0.16 c presolving:
0.09/0.19 c (round 1) 2 del vars, 2 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51618 impls, 14 clqs
0.19/0.29 c (0.3s) probing: 101/10973 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.19/0.29 c (round 2) 3 del vars, 4 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 12429 upgd conss, 51618 impls, 14 clqs
0.29/0.33 c (round 3) 3 del vars, 7 del conss, 2 add conss, 1 chg bounds, 5 chg sides, 7 chg coeffs, 12523 upgd conss, 51618 impls, 14 clqs
0.29/0.34 c (0.3s) probing: 111/10973 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.34 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.34 c presolving (4 rounds):
0.29/0.34 c 3 deleted vars, 7 deleted constraints, 2 added constraints, 1 tightened bounds, 0 added holes, 5 changed sides, 7 changed coefficients
0.29/0.34 c 51618 implications, 14 cliques
0.29/0.34 c presolved problem has 10973 variables (10973 bin, 0 int, 0 impl, 0 cont) and 12522 constraints
0.29/0.34 c 2041 constraints of type <knapsack>
0.29/0.34 c 10463 constraints of type <setppc>
0.29/0.34 c 18 constraints of type <logicor>
0.29/0.34 c transformed objective value is always integral (scale: 1)
0.29/0.34 c Presolving Time: 0.21
0.29/0.34 c - non default parameters ----------------------------------------------------------------------
0.29/0.34 c # SCIP version 2.0.1.5
0.29/0.34 c
0.29/0.34 c # frequency for displaying node information lines
0.29/0.34 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.34 c display/freq = 10000
0.29/0.34 c
0.29/0.34 c # maximal time in seconds to run
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/time = 1800
0.29/0.34 c
0.29/0.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.34 c limits/memory = 13950
0.29/0.34 c
0.29/0.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.34 c # [type: int, range: [1,2], default: 1]
0.29/0.34 c timing/clocktype = 2
0.29/0.34 c
0.29/0.34 c # belongs reading time to solving time?
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c timing/reading = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify inequalities
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/linear/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/indicator/addCouplingCons = TRUE
0.29/0.34 c
0.29/0.34 c # should presolving try to simplify knapsacks
0.29/0.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.34 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.34 c
0.29/0.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.34 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.34 c separating/rapidlearning/freq = 0
0.29/0.34 c
0.29/0.34 c -----------------------------------------------------------------------------------------------
0.29/0.34 c start solving
0.29/0.35 c
0.29/0.36 o 19608
0.29/0.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.36 c t 0.4s| 1 | 0 | 0 | - | 40M| 0 | - | 10k| 12k| 0 | 0 | 0 | 0 | 0 | -- | 1.960800e+04 | Inf
0.39/0.40 o 9687
0.39/0.40 c b 0.4s| 1 | 0 | 0 | - | 50M| 0 | - | 10k| 12k| 10k| 12k| 0 | 0 | 0 | -- | 9.687000e+03 | Inf
22.49/22.59 c 22.6s| 1 | 0 | 21292 | - | 50M| 0 |3874 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 3.000000e+00 | 9.687000e+03 | Large
22.89/22.99 o 4847
22.89/22.99 c R23.0s| 1 | 0 | 21292 | - | 51M| 0 |3874 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 3.000000e+00 | 4.847000e+03 | Large
23.39/23.40 o 1379
23.39/23.40 c b23.4s| 1 | 0 | 21292 | - | 51M| 0 |3874 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 3.000000e+00 | 1.379000e+03 | Large
27.19/27.26 c 27.3s| 1 | 0 | 22083 | - | 51M| 0 |3953 | 10k| 12k| 10k| 12k| 4 | 0 | 0 | 3.000000e+00 | 1.379000e+03 | Large
27.70/27.72 o 590
27.70/27.72 c b27.7s| 1 | 0 | 22083 | - | 51M| 0 |3953 | 10k| 12k| 10k| 12k| 4 | 0 | 0 | 3.000000e+00 | 5.900000e+02 | Large
31.39/31.41 c 31.4s| 1 | 0 | 22562 | - | 51M| 0 |3999 | 10k| 12k| 10k| 12k| 6 | 0 | 0 | 3.000000e+00 | 5.900000e+02 | Large
31.81/31.82 o 465
31.81/31.82 c b31.8s| 1 | 0 | 22562 | - | 51M| 0 |3999 | 10k| 12k| 10k| 12k| 6 | 0 | 0 | 3.000000e+00 | 4.650000e+02 | Large
35.29/35.30 c 35.3s| 1 | 0 | 22815 | - | 51M| 0 |4115 | 10k| 12k| 10k| 12k| 7 | 0 | 0 | 3.000000e+00 | 4.650000e+02 | Large
35.69/35.72 o 444
35.69/35.72 c b35.7s| 1 | 0 | 22815 | - | 52M| 0 |4115 | 10k| 12k| 10k| 12k| 7 | 0 | 0 | 3.000000e+00 | 4.440000e+02 | Large
39.30/39.38 c 39.4s| 1 | 0 | 23178 | - | 51M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 0 | 3.000000e+00 | 4.440000e+02 | Large
39.80/39.80 o 443
39.80/39.80 c b39.8s| 1 | 0 | 23178 | - | 52M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 0 | 3.000000e+00 | 4.430000e+02 | Large
278.39/278.44 o 8
278.39/278.44 c E 278s| 1 | 0 | 23178 | - | 52M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
278.39/278.48 c 278s| 1 | 0 | 23178 | - | 52M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
278.39/278.48 o 7
278.39/278.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.39/278.48 c b 278s| 1 | 0 | 23178 | - | 52M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
299.30/299.32 c 299s| 1 | 2 | 23178 | - | 52M| 0 |4139 | 10k| 12k| 10k| 12k| 8 | 0 | 20 | 3.000000e+00 | 7.000000e+00 | 133.33%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 823
1800.03/1800.00 c Primal Bound : +7.00000000000000e+00 (13 solutions)
1800.03/1800.00 c Dual Bound : +3.00000000001091e+00
1800.03/1800.00 c Gap : 133.33 %
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-3450914-1307086806/watcher-3450914-1307086806 -o /tmp/evaluation-result-3450914-1307086806/solver-3450914-1307086806 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450914-1307086806.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.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=17680 CPUtime=0.01 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 3404 0 0 0 1 0 0 0 25 0 1 0 276289971 18104320 3357 33554432000 4194304 9163163 140736196172592 18446744073709551615 6167874 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 4420 3357 389 1214 0 3202 0
[startup+0.0616239 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=25452 CPUtime=0.05 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 5371 0 0 0 5 0 0 0 25 0 1 0 276289971 26062848 5320 33554432000 4194304 9163163 140736196172592 18446744073709551615 7962053 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 6363 5320 395 1214 0 5145 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25452
[startup+0.100617 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=27716 CPUtime=0.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 5962 0 0 0 9 0 0 0 25 0 1 0 276289971 28381184 5911 33554432000 4194304 9163163 140736196172592 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32204/statm: 6929 5911 395 1214 0 5711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27716
[startup+0.300583 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=71232 CPUtime=0.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 17238 0 0 0 28 1 0 0 25 0 1 0 276289971 72941568 16512 33554432000 4194304 9163163 140736196172592 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 17808 16512 622 1214 0 16590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71232
[startup+0.70051 s]
/proc/loadavg: 2.01 2.01 2.00 2/415 32204
/proc/meminfo: memFree=25934288/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=99676 CPUtime=0.69 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 24208 0 0 0 66 3 0 0 25 0 1 0 276289971 102068224 23155 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 24919 23155 696 1214 0 23701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99676
[startup+1.50037 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25841608/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=101420 CPUtime=1.49 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 24884 0 0 0 146 3 0 0 25 0 1 0 276289971 103854080 23793 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25355 23793 675 1214 0 24137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101420
[startup+3.10109 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25839624/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=102404 CPUtime=3.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25128 0 0 0 305 4 0 0 25 0 1 0 276289971 104861696 24037 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25601 24037 675 1214 0 24383 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102404
[startup+6.30053 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25837564/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=103268 CPUtime=6.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25364 0 0 0 624 5 0 0 25 0 1 0 276289971 105746432 24273 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25817 24273 679 1214 0 24599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103268
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32205
/proc/meminfo: memFree=25836088/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=103652 CPUtime=12.7 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25551 0 0 0 1263 7 0 0 25 0 1 0 276289971 106139648 24460 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 25913 24460 679 1214 0 24695 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 103652
[startup+25.5011 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32206
/proc/meminfo: memFree=25835888/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=104172 CPUtime=25.49 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 25758 0 0 0 2540 9 0 0 25 0 1 0 276289971 106672128 24667 33554432000 4194304 9163163 140736196172592 18446744073709551615 8045595 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 26043 24667 707 1214 0 24825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104172
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32206
/proc/meminfo: memFree=25767148/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=172608 CPUtime=51.09 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 42978 0 0 0 5084 25 0 0 25 0 1 0 276289971 176750592 41647 33554432000 4194304 9163163 140736196172592 18446744073709551615 6480261 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 43152 41647 734 1214 0 41934 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172608
[startup+102.316 s]
/proc/loadavg: 2.06 2.02 2.00 3/416 32208
/proc/meminfo: memFree=25760892/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=176716 CPUtime=102.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44048 0 0 0 10178 53 0 0 25 0 1 0 276289971 180957184 42691 33554432000 4194304 9163163 140736196172592 18446744073709551615 7375718 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44179 42691 736 1214 0 42961 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 176716
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 32209
/proc/meminfo: memFree=25758024/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=177664 CPUtime=162.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44347 0 0 0 16145 85 0 0 25 0 1 0 276289971 181927936 42990 33554432000 4194304 9163163 140736196172592 18446744073709551615 5957402 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44416 42990 736 1214 0 43198 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 177664
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/416 32211
/proc/meminfo: memFree=25755900/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=177664 CPUtime=222.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 44348 0 0 0 22113 116 0 0 25 0 1 0 276289971 181927936 42991 33554432000 4194304 9163163 140736196172592 18446744073709551615 7249841 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 44416 42991 736 1214 0 43198 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 177664
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 32213
/proc/meminfo: memFree=25820344/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=107676 CPUtime=282.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 45010 0 0 0 28079 150 0 0 25 0 1 0 276289971 110260224 25606 33554432000 4194304 9163163 140736196172592 18446744073709551615 7224031 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 26919 25606 750 1214 0 25701 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 107676
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32214
/proc/meminfo: memFree=25821284/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=108940 CPUtime=342.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 57444 0 0 0 34060 169 0 0 25 0 1 0 276289971 111554560 26086 33554432000 4194304 9163163 140736196172592 18446744073709551615 7348255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27235 26086 750 1214 0 26017 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 108940
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32216
/proc/meminfo: memFree=25821268/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=108328 CPUtime=402.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 64377 0 0 0 40045 184 0 0 25 0 1 0 276289971 110927872 25934 33554432000 4194304 9163163 140736196172592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27082 25934 750 1214 0 25864 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 108328
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32217
/proc/meminfo: memFree=25816776/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=111468 CPUtime=462.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 73209 0 0 0 46031 199 0 0 25 0 1 0 276289971 114143232 26576 33554432000 4194304 9163163 140736196172592 18446744073709551615 7318921 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 27867 26576 750 1214 0 26649 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111468
[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/416 32219
/proc/meminfo: memFree=25812396/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=115968 CPUtime=522.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 74338 0 0 0 52018 211 0 0 25 0 1 0 276289971 118751232 27705 33554432000 4194304 9163163 140736196172592 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 28992 27705 750 1214 0 27774 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 115968
[startup+582.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/416 32221
/proc/meminfo: memFree=25811256/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=114808 CPUtime=582.29 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 75206 0 0 0 58004 225 0 0 25 0 1 0 276289971 117563392 27557 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 28702 27557 750 1214 0 27484 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 114808
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/416 32227
/proc/meminfo: memFree=25806176/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=118176 CPUtime=822.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 81095 0 0 0 81960 270 0 0 25 0 1 0 276289971 121012224 28401 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29544 28401 750 1214 0 28326 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 118176
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 32229
/proc/meminfo: memFree=25805168/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119472 CPUtime=882.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 96624 0 0 0 87949 282 0 0 25 0 1 0 276289971 122339328 28614 33554432000 4194304 9163163 140736196172592 18446744073709551615 7390914 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29868 28614 750 1214 0 28650 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 119472
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32230
/proc/meminfo: memFree=25804632/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119464 CPUtime=942.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 100193 0 0 0 93940 291 0 0 25 0 1 0 276289971 122331136 28725 33554432000 4194304 9163163 140736196172592 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29866 28725 750 1214 0 28648 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 119464
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32232
/proc/meminfo: memFree=25803492/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120804 CPUtime=1002.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 102410 0 0 0 99931 300 0 0 25 0 1 0 276289971 123703296 29057 33554432000 4194304 9163163 140736196172592 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 30201 29057 750 1214 0 28983 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 120804
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32233
/proc/meminfo: memFree=25804456/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=119492 CPUtime=1062.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 104687 0 0 0 105922 309 0 0 25 0 1 0 276289971 122359808 28730 33554432000 4194304 9163163 140736196172592 18446744073709551615 7312189 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 29873 28730 750 1214 0 28655 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 119492
[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/416 32235
/proc/meminfo: memFree=25803444/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120736 CPUtime=1122.3 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 110110 0 0 0 111912 318 0 0 25 0 1 0 276289971 123633664 28916 33554432000 4194304 9163163 140736196172592 18446744073709551615 7447714 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32204/statm: 30184 28916 750 1214 0 28966 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 120736
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/416 32265
/proc/meminfo: memFree=25728480/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=120824 CPUtime=1182.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 114280 0 0 0 117898 333 0 0 25 0 1 0 276289971 123723776 29063 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30206 29063 750 1214 0 28988 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 120824
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 32266
/proc/meminfo: memFree=25730336/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=118176 CPUtime=1242.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 120093 0 0 0 123884 347 0 0 25 0 1 0 276289971 121012224 28402 33554432000 4194304 9163163 140736196172592 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 29544 28402 750 1214 0 28326 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 118176
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 32277
/proc/meminfo: memFree=25721980/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=121968 CPUtime=1302.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 124853 0 0 0 129867 365 0 0 25 0 1 0 276289971 124895232 29128 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30492 29128 750 1214 0 29274 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 121968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 32278
/proc/meminfo: memFree=25723440/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=122808 CPUtime=1362.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 129618 0 0 0 135852 379 0 0 25 0 1 0 276289971 125755392 29498 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 30702 29498 750 1214 0 29484 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 122808
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32280
/proc/meminfo: memFree=25720576/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1422.33 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 131075 0 0 0 141830 403 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 124856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 32282
/proc/meminfo: memFree=25715108/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1482.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 131075 0 0 0 147817 414 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 124856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 32283
/proc/meminfo: memFree=25707396/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=124856 CPUtime=1542.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141744 0 0 0 153798 433 0 0 25 0 1 0 276289971 127852544 30103 33554432000 4194304 9163163 140736196172592 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31214 30103 750 1214 0 29996 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 124856
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/416 32285
/proc/meminfo: memFree=25693116/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=125880 CPUtime=1602.31 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141968 0 0 0 159773 458 0 0 25 0 1 0 276289971 128901120 30327 33554432000 4194304 9163163 140736196172592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31470 30327 750 1214 0 30252 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 125880
[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/416 32286
/proc/meminfo: memFree=25679560/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=125880 CPUtime=1662.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 141968 0 0 0 165761 471 0 0 25 0 1 0 276289971 128901120 30327 33554432000 4194304 9163163 140736196172592 18446744073709551615 4684206 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31470 30327 750 1214 0 30252 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 125880
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/416 32288
/proc/meminfo: memFree=25671476/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1722.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142889 0 0 0 171748 484 0 0 25 0 1 0 276289971 129191936 30380 33554432000 4194304 9163163 140736196172592 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30380 750 1214 0 30323 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 126164
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/416 32290
/proc/meminfo: memFree=25661900/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1782.32 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142909 0 0 0 177734 498 0 0 25 0 1 0 276289971 129191936 30400 33554432000 4194304 9163163 140736196172592 18446744073709551615 7209907 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30400 750 1214 0 30323 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 126164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 3/416 32290
/proc/meminfo: memFree=25659784/32950928 swapFree=52006644/67111528
[pid=32204] ppid=32202 vsize=126164 CPUtime=1800.04 cores=1,3,5,7
/proc/32204/stat : 32204 (scip-2.0.1.4b.l) R 32202 32204 28764 0 -1 4202496 142910 0 0 0 179502 502 0 0 25 0 1 0 276289971 129191936 30401 33554432000 4194304 9163163 140736196172592 18446744073709551615 4342969 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32204/statm: 31541 30401 751 1214 0 30323 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 126164
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.05
CPU user time (s): 1795.02
CPU system time (s): 5.02823
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 179956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.02
system time used= 5.02823
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142910
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= 10932
runsolver used 7.19091 second user time and 17.3414 second system time
The end