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-3450930-1307088563.opb>
0.29/0.34 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.59/0.65 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58624 upgd conss, 117248 impls, 0 clqs
1.39/1.46 c (1.5s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.46 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.39/1.46 c presolving (2 rounds):
1.39/1.46 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.46 c 117248 implications, 0 cliques
1.39/1.46 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58624 constraints
1.39/1.46 c 58624 constraints of type <setppc>
1.39/1.46 c transformed objective value is always integral (scale: 1)
1.39/1.46 c Presolving Time: 1.07
1.39/1.46 c - non default parameters ----------------------------------------------------------------------
1.39/1.46 c # SCIP version 2.0.1.5
1.39/1.46 c
1.39/1.46 c # frequency for displaying node information lines
1.39/1.46 c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.46 c display/freq = 10000
1.39/1.46 c
1.39/1.46 c # maximal time in seconds to run
1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46 c limits/time = 1800
1.39/1.46 c
1.39/1.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.46 c limits/memory = 13950
1.39/1.46 c
1.39/1.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.39/1.46 c # [type: int, range: [1,2], default: 1]
1.39/1.46 c timing/clocktype = 2
1.39/1.46 c
1.39/1.46 c # belongs reading time to solving time?
1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46 c timing/reading = TRUE
1.39/1.46 c
1.39/1.46 c # should presolving try to simplify inequalities
1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46 c constraints/linear/simplifyinequalities = TRUE
1.39/1.46 c
1.39/1.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46 c constraints/indicator/addCouplingCons = TRUE
1.39/1.46 c
1.39/1.46 c # should presolving try to simplify knapsacks
1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.46 c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.46 c
1.39/1.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.39/1.46 c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.46 c separating/rapidlearning/freq = 0
1.39/1.46 c
1.39/1.46 c -----------------------------------------------------------------------------------------------
1.39/1.46 c start solving
1.39/1.46 c
2.21/2.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.21/2.28 c t 2.3s| 1 | 0 | 946 | - | 72M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
2.29/2.32 o -1
2.29/2.32 c R 2.3s| 1 | 0 | 946 | - | 72M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
2.29/2.36 o -2
2.29/2.36 c s 2.4s| 1 | 0 | 946 | - | 72M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | 99.58%
3.31/3.37 c 3.4s| 1 | 0 | 1208 | - | 72M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-2.000000e+00 | 99.55%
3.31/3.39 o -30
3.31/3.39 c b 3.4s| 1 | 0 | 1208 | - | 72M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.000000e+01 | 93.24%
4.70/4.75 c 4.7s| 1 | 0 | 1406 | - | 72M| 0 | 828 | 945 | 58k| 945 | 58k| 33 | 0 | 0 |-4.140000e+02 |-3.000000e+01 | 92.75%
6.50/6.58 c 6.6s| 1 | 0 | 1706 | - | 72M| 0 | 788 | 945 | 58k| 945 | 58k| 40 | 0 | 0 |-3.940000e+02 |-3.000000e+01 | 92.39%
8.29/8.35 c 8.4s| 1 | 0 | 1901 | - | 72M| 0 | 730 | 945 | 58k| 945 | 58k| 68 | 0 | 0 |-3.650000e+02 |-3.000000e+01 | 91.78%
10.39/10.40 c 10.4s| 1 | 0 | 2086 | - | 72M| 0 | 690 | 945 | 58k| 945 | 58k| 75 | 0 | 0 |-3.450000e+02 |-3.000000e+01 | 91.30%
12.39/12.49 c 12.5s| 1 | 0 | 2202 | - | 72M| 0 | 646 | 945 | 58k| 945 | 58k| 89 | 0 | 0 |-3.230000e+02 |-3.000000e+01 | 90.71%
14.69/14.70 c 14.7s| 1 | 0 | 2409 | - | 72M| 0 | 601 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-3.005000e+02 |-3.000000e+01 | 90.02%
17.19/17.21 c 17.2s| 1 | 0 | 2913 | - | 72M| 0 | 559 | 945 | 58k| 945 | 58k| 112 | 0 | 0 |-2.795000e+02 |-3.000000e+01 | 89.27%
19.49/19.51 c 19.5s| 1 | 0 | 3220 | - | 72M| 0 | 522 | 945 | 58k| 945 | 58k| 125 | 0 | 0 |-2.610000e+02 |-3.000000e+01 | 88.51%
22.01/22.02 c 22.0s| 1 | 0 | 4144 | - | 72M| 0 | 465 | 945 | 58k| 945 | 58k| 138 | 0 | 0 |-2.325000e+02 |-3.000000e+01 | 87.10%
22.90/22.90 c 22.9s| 1 | 0 | 4671 | - | 72M| 0 | 424 | 945 | 58k| 945 | 58k| 152 | 0 | 0 |-2.120000e+02 |-3.000000e+01 | 85.85%
23.60/23.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.60/23.62 c 23.6s| 1 | 0 | 5006 | - | 72M| 0 | 385 | 945 | 58k| 945 | 58k| 170 | 0 | 0 |-1.925000e+02 |-3.000000e+01 | 84.42%
24.99/25.01 c 25.0s| 1 | 0 | 6323 | - | 72M| 0 | 350 | 945 | 58k| 945 | 58k| 184 | 0 | 0 |-1.750000e+02 |-3.000000e+01 | 82.86%
25.99/26.00 c 26.0s| 1 | 0 | 7145 | - | 73M| 0 | 330 | 945 | 58k| 945 | 58k| 196 | 0 | 0 |-1.650000e+02 |-3.000000e+01 | 81.82%
27.69/27.71 c 27.7s| 1 | 0 | 9015 | - | 73M| 0 | 296 | 945 | 58k| 945 | 58k| 206 | 0 | 0 |-1.480000e+02 |-3.000000e+01 | 79.73%
28.79/28.87 c 28.9s| 1 | 0 | 10212 | - | 73M| 0 | 249 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-1.245000e+02 |-3.000000e+01 | 75.90%
29.79/29.81 c 29.8s| 1 | 0 | 11150 | - | 73M| 0 | 232 | 945 | 58k| 945 | 58k| 226 | 0 | 0 |-1.160000e+02 |-3.000000e+01 | 74.14%
30.49/30.54 c 30.5s| 1 | 0 | 11640 | - | 73M| 0 | 199 | 945 | 58k| 945 | 58k| 241 | 0 | 0 |-9.950000e+01 |-3.000000e+01 | 69.85%
33.19/33.25 c 33.2s| 1 | 0 | 15332 | - | 73M| 0 | 183 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-8.550000e+01 |-3.000000e+01 | 64.91%
33.79/33.87 c 33.9s| 1 | 0 | 15783 | - | 73M| 0 | 199 | 945 | 58k| 945 | 58k| 256 | 0 | 0 |-7.750000e+01 |-3.000000e+01 | 61.29%
34.29/34.37 c 34.4s| 1 | 0 | 16244 | - | 73M| 0 | 128 | 945 | 58k| 945 | 58k| 272 | 0 | 0 |-6.550000e+01 |-3.000000e+01 | 54.20%
34.59/34.69 c 34.7s| 1 | 0 | 16369 | - | 73M| 0 | 124 | 945 | 58k| 945 | 58k| 283 | 0 | 0 |-5.800000e+01 |-3.000000e+01 | 48.28%
34.99/35.05 c 35.1s| 1 | 0 | 16539 | - | 73M| 0 | 115 | 945 | 58k| 945 | 58k| 297 | 0 | 0 |-5.200000e+01 |-3.000000e+01 | 42.31%
35.39/35.45 c 35.5s| 1 | 0 | 16776 | - | 73M| 0 | 92 | 945 | 58k| 945 | 58k| 307 | 0 | 0 |-4.700000e+01 |-3.000000e+01 | 36.17%
35.79/35.83 c 35.8s| 1 | 0 | 16921 | - | 73M| 0 | 88 | 945 | 58k| 945 | 58k| 318 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
36.09/36.15 c 36.1s| 1 | 0 | 17028 | - | 73M| 0 | 131 | 945 | 58k| 945 | 58k| 331 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
36.49/36.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.49/36.55 c 36.5s| 1 | 0 | 17214 | - | 73M| 0 | 142 | 945 | 58k| 945 | 58k| 343 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
37.30/37.32 c 37.3s| 1 | 0 | 17958 | - | 73M| 0 | 178 | 945 | 58k| 945 | 58k| 354 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
37.59/37.69 c 37.7s| 1 | 0 | 18057 | - | 73M| 0 | 170 | 945 | 58k| 945 | 58k| 367 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
38.29/38.32 c 38.3s| 1 | 0 | 18137 | - | 73M| 0 | 176 | 945 | 58k| 945 | 58k| 378 | 0 | 0 |-4.500000e+01 |-3.000000e+01 | 33.33%
51.19/51.20 c 51.2s| 1 | 2 | 18137 | - | 73M| 0 | 176 | 945 | 58k| 945 | 58k| 378 | 0 | 24 |-4.500000e+01 |-3.000000e+01 | 33.33%
89.59/89.61 o -30
89.59/89.61 c c89.6s| 16 | 17 | 20158 | 134.7 | 75M| 15 | - | 945 | 58k| 945 | 58k| 378 | 0 | 312 |-4.500000e+01 |-3.000000e+01 | 33.33%
89.59/89.63 o -32
89.59/89.63 c c89.6s| 16 | 17 | 20164 | 135.1 | 75M| 15 | - | 945 | 58k| 945 | 58k| 378 | 0 | 312 |-4.500000e+01 |-3.200000e+01 | 28.89%
89.59/89.64 o -34
89.59/89.64 c c89.6s| 16 | 17 | 20166 | 135.3 | 75M| 15 | - | 945 | 58k| 945 | 58k| 378 | 0 | 312 |-4.500000e+01 |-3.400000e+01 | 24.44%
147.89/147.98 o -35
147.89/147.98 c v 148s| 53 | 51 | 23456 | 102.3 | 77M| 17 | - | 945 | 58k| 945 | 58k| 378 | 0 | 909 |-4.500000e+01 |-3.500000e+01 | 22.22%
147.99/148.00 o -36
147.99/148.00 c b 148s| 53 | 44 | 23456 | 102.3 | 77M| 17 | 71 | 945 | 58k| 945 | 58k| 378 | 0 | 909 |-4.500000e+01 |-3.600000e+01 | 20.00%
175.30/175.39 o -37
175.30/175.39 c * 175s| 184 | 139 | 31414 | 72.6 | 79M| 26 | - | 945 | 58k| 945 | 58k| 378 | 0 |1077 |-4.500000e+01 |-3.700000e+01 | 17.78%
247.00/247.08 o -38
247.00/247.08 c c 247s| 1109 | 617 | 78069 | 54.1 | 92M| 37 | - | 945 | 58k| 945 | 58k| 378 | 0 |1351 |-4.500000e+01 |-3.800000e+01 | 15.56%
353.90/353.91 o -39
353.90/353.91 c p 354s| 1811 | 1181 |152771 | 74.4 | 106M| 55 | - | 945 | 58k| 945 | 58k| 378 | 0 |1630 |-4.500000e+01 |-3.900000e+01 | 13.33%
1028.42/1028.44 o -40
1028.42/1028.44 c l1028s| 8127 | 4790 |661497 | 79.2 | 203M| 61 | - | 945 | 58k| 945 | 58k| 378 | 0 |3169 |-4.500000e+01 |-4.000000e+01 | 11.11%
1167.62/1167.62 c 1168s| 10000 | 5849 |779471 | 76.1 | 230M| 61 | - | 945 | 58k| 945 | 58k| 378 | 0 |3301 |-4.500000e+01 |-4.000000e+01 | 11.11%
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 : 18657
1800.03/1800.00 c Primal Bound : -4.00000000000000e+01 (651 solutions)
1800.03/1800.00 c Dual Bound : -4.50000000000000e+01
1800.03/1800.00 c Gap : 11.11 %
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-3450930-1307088563/watcher-3450930-1307088563 -o /tmp/evaluation-result-3450930-1307088563/solver-3450930-1307088563 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450930-1307088563.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 2/535 17042
/proc/meminfo: memFree=28777116/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=14016 CPUtime=0 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 2476 0 0 0 0 0 0 0 25 0 1 0 820454280 14352384 2430 33554432000 4194304 9163163 140733805772752 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17042/statm: 3504 2430 395 1214 0 2286 0
[startup+0.0868741 s]
/proc/loadavg: 2.05 2.04 2.00 2/535 17042
/proc/meminfo: memFree=28777116/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=19400 CPUtime=0.08 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 3845 0 0 0 8 0 0 0 25 0 1 0 820454280 19865600 3799 33554432000 4194304 9163163 140733805772752 18446744073709551615 6137494 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17042/statm: 4850 3799 395 1214 0 3632 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19400
[startup+0.100859 s]
/proc/loadavg: 2.05 2.04 2.00 2/535 17042
/proc/meminfo: memFree=28777116/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=20692 CPUtime=0.09 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 4173 0 0 0 9 0 0 0 25 0 1 0 820454280 21188608 4127 33554432000 4194304 9163163 140733805772752 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17042/statm: 5173 4127 395 1214 0 3955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20692
[startup+0.300823 s]
/proc/loadavg: 2.05 2.04 2.00 2/535 17042
/proc/meminfo: memFree=28777116/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=33568 CPUtime=0.29 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 7391 0 0 0 28 1 0 0 25 0 1 0 820454280 34373632 7342 33554432000 4194304 9163163 140733805772752 18446744073709551615 7900773 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17042/statm: 8392 7342 395 1214 0 7174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33568
[startup+0.700761 s]
/proc/loadavg: 2.05 2.04 2.00 2/535 17042
/proc/meminfo: memFree=28777116/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=100280 CPUtime=0.69 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 28495 0 0 0 66 3 0 0 25 0 1 0 820454280 102686720 23640 33554432000 4194304 9163163 140733805772752 18446744073709551615 5459013 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 25070 23640 530 1214 0 23852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100280
[startup+1.50065 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17043
/proc/meminfo: memFree=28683860/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=122812 CPUtime=1.49 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 34296 0 0 0 145 4 0 0 25 0 1 0 820454280 125759488 29266 33554432000 4194304 9163163 140733805772752 18446744073709551615 4639050 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 30703 29267 567 1214 0 29485 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122812
[startup+3.10036 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17043
/proc/meminfo: memFree=28615288/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=187128 CPUtime=3.09 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 50226 0 0 0 303 6 0 0 25 0 1 0 820454280 191619072 43066 33554432000 4194304 9163163 140733805772752 18446744073709551615 6456800 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 46782 43066 975 1214 0 45564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187128
[startup+6.3008 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17043
/proc/meminfo: memFree=28601156/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=187128 CPUtime=6.29 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 51731 0 0 0 622 7 0 0 25 0 1 0 820454280 191619072 44202 33554432000 4194304 9163163 140733805772752 18446744073709551615 6456881 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 46782 44202 924 1214 0 45564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187128
[startup+12.7007 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 17043
/proc/meminfo: memFree=28597440/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=187300 CPUtime=12.69 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 52842 0 0 0 1262 7 0 0 25 0 1 0 820454280 191795200 44937 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 46825 44937 908 1214 0 45607 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 187300
[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 17045
/proc/meminfo: memFree=28595060/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=189732 CPUtime=25.49 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 53513 0 0 0 2541 8 0 0 25 0 1 0 820454280 194285568 45463 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 47433 45463 764 1214 0 46215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 189732
[startup+51.1009 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 17045
/proc/meminfo: memFree=28573740/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=206484 CPUtime=51.09 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 66283 0 0 0 5094 15 0 0 25 0 1 0 820454280 211439616 50584 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 51621 50584 740 1214 0 50403 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 206484
[startup+102.321 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 17048
/proc/meminfo: memFree=28573040/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=206484 CPUtime=102.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 66283 0 0 0 10208 23 0 0 25 0 1 0 820454280 211439616 50584 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 51621 50584 740 1214 0 50403 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 206484
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17049
/proc/meminfo: memFree=28571408/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=206484 CPUtime=162.29 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 66283 0 0 0 16195 34 0 0 25 0 1 0 820454280 211439616 50584 33554432000 4194304 9163163 140733805772752 18446744073709551615 7376271 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 51621 50584 740 1214 0 50403 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 206484
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17051
/proc/meminfo: memFree=28553124/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=222424 CPUtime=222.3 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 83482 0 0 0 22184 46 0 0 25 0 1 0 820454280 227762176 54588 33554432000 4194304 9163163 140733805772752 18446744073709551615 6687137 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 55606 54588 746 1214 0 54388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 222424
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17052
/proc/meminfo: memFree=28544536/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=222424 CPUtime=282.3 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 93438 0 0 0 28174 56 0 0 25 0 1 0 820454280 227762176 54588 33554432000 4194304 9163163 140733805772752 18446744073709551615 7195829 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 55606 54588 746 1214 0 54388 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 222424
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17054
/proc/meminfo: memFree=28539536/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=222424 CPUtime=342.3 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 93441 0 0 0 34164 66 0 0 25 0 1 0 820454280 227762176 54591 33554432000 4194304 9163163 140733805772752 18446744073709551615 7300284 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 55606 54591 746 1214 0 54388 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 222424
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17056
/proc/meminfo: memFree=28533932/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=227928 CPUtime=402.3 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 93496 0 0 0 40153 77 0 0 25 0 1 0 820454280 233398272 54646 33554432000 4194304 9163163 140733805772752 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 56982 54646 746 1214 0 55764 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 227928
[startup+462.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/536 17057
/proc/meminfo: memFree=28518636/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=234996 CPUtime=462.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 110595 0 0 0 46141 90 0 0 25 0 1 0 820454280 240635904 56682 33554432000 4194304 9163163 140733805772752 18446744073709551615 7348200 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 58749 56682 746 1214 0 57531 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 234996
[startup+522.301 s]
/proc/loadavg: 2.14 2.06 2.02 3/536 17060
/proc/meminfo: memFree=28504232/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=246784 CPUtime=522.3 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 115196 0 0 0 52130 100 0 0 25 0 1 0 820454280 252706816 59362 33554432000 4194304 9163163 140733805772752 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 61696 59362 756 1214 0 60478 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 246784
[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 17062
/proc/meminfo: memFree=28488680/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=258040 CPUtime=582.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 133722 0 0 0 58116 115 0 0 25 0 1 0 820454280 264232960 62089 33554432000 4194304 9163163 140733805772752 18446744073709551615 7300297 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 64510 62089 753 1214 0 63292 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 258040
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17071
/proc/meminfo: memFree=28419296/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=302108 CPUtime=822.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 160463 0 0 0 82074 157 0 0 25 0 1 0 820454280 309358592 73534 33554432000 4194304 9163163 140733805772752 18446744073709551615 5460510 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 75527 73534 749 1214 0 74309 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 302108
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17072
/proc/meminfo: memFree=28400528/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=313724 CPUtime=882.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 163285 0 0 0 88065 166 0 0 25 0 1 0 820454280 321253376 76348 33554432000 4194304 9163163 140733805772752 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 78431 76348 746 1214 0 77213 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 313724
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 17075
/proc/meminfo: memFree=28384196/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=326944 CPUtime=942.31 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 166469 0 0 0 94056 175 0 0 25 0 1 0 820454280 334790656 79532 33554432000 4194304 9163163 140733805772752 18446744073709551615 4608256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 81736 79532 746 1214 0 80518 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 326944
[startup+1002.3 s]
/proc/loadavg: 2.27 2.06 2.02 3/536 17077
/proc/meminfo: memFree=28368624/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=335004 CPUtime=1002.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 182840 0 0 0 100046 186 0 0 25 0 1 0 820454280 343044096 81195 33554432000 4194304 9163163 140733805772752 18446744073709551615 7413843 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 83751 81195 746 1214 0 82533 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 335004
[startup+1062.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/536 17078
/proc/meminfo: memFree=28355176/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=338980 CPUtime=1062.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 184615 0 0 0 106037 195 0 0 25 0 1 0 820454280 347115520 82917 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 84745 82917 746 1214 0 83527 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 338980
[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/536 17081
/proc/meminfo: memFree=28343104/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=344064 CPUtime=1122.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 185880 0 0 0 112027 205 0 0 25 0 1 0 820454280 352321536 84182 33554432000 4194304 9163163 140733805772752 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 86016 84182 746 1214 0 84798 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 344064
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 17083
/proc/meminfo: memFree=28272520/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1182.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 201093 0 0 0 118015 217 0 0 25 0 1 0 820454280 413167616 99395 33554432000 4194304 9163163 140733805772752 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99395 746 1214 0 99653 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 403484
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/536 17085
/proc/meminfo: memFree=28261680/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1242.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 201130 0 0 0 124006 226 0 0 25 0 1 0 820454280 413167616 99432 33554432000 4194304 9163163 140733805772752 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99432 746 1214 0 99653 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 403484
[startup+1302.3 s]
/proc/loadavg: 1.96 2.01 2.00 3/536 17121
/proc/meminfo: memFree=28482100/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1302.34 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 201160 0 0 0 129994 240 0 0 25 0 1 0 820454280 413167616 99462 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99462 746 1214 0 99653 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 403484
[startup+1362.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 17123
/proc/meminfo: memFree=28490400/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1362.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 201199 0 0 0 135983 250 0 0 25 0 1 0 820454280 413167616 99501 33554432000 4194304 9163163 140733805772752 18446744073709551615 7196744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99501 746 1214 0 99653 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 403484
[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/536 17125
/proc/meminfo: memFree=28487336/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1422.35 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 210242 0 0 0 141973 262 0 0 25 0 1 0 820454280 413167616 99871 33554432000 4194304 9163163 140733805772752 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99871 746 1214 0 99653 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 403484
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 17126
/proc/meminfo: memFree=28488056/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=403484 CPUtime=1482.32 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 210247 0 0 0 147959 273 0 0 25 0 1 0 820454280 413167616 99876 33554432000 4194304 9163163 140733805772752 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 100871 99876 746 1214 0 99653 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 403484
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 17128
/proc/meminfo: memFree=28481672/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=413020 CPUtime=1542.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 211275 0 0 0 153948 285 0 0 25 0 1 0 820454280 422932480 100904 33554432000 4194304 9163163 140733805772752 18446744073709551615 7209930 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 103255 100904 746 1214 0 102037 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 413020
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 17130
/proc/meminfo: memFree=28463372/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=423204 CPUtime=1602.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 214218 0 0 0 159938 295 0 0 25 0 1 0 820454280 433360896 103816 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 105801 103816 746 1214 0 104583 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 423204
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 17131
/proc/meminfo: memFree=28445104/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=433780 CPUtime=1662.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 216551 0 0 0 165927 306 0 0 25 0 1 0 820454280 444190720 106120 33554432000 4194304 9163163 140733805772752 18446744073709551615 7238312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 108445 106120 747 1214 0 107227 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 433780
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 17133
/proc/meminfo: memFree=28423600/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=441908 CPUtime=1722.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 218900 0 0 0 171916 317 0 0 25 0 1 0 820454280 452513792 108467 33554432000 4194304 9163163 140733805772752 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 110477 108467 751 1214 0 109259 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 441908
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 17134
/proc/meminfo: memFree=28408560/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=452224 CPUtime=1782.33 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 237468 0 0 0 177903 330 0 0 25 0 1 0 820454280 463077376 110897 33554432000 4194304 9163163 140733805772752 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17042/statm: 113056 110897 747 1214 0 111838 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 452224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 17135
/proc/meminfo: memFree=28403204/32951124 swapFree=58212616/67111528
[pid=17042] ppid=17040 vsize=456204 CPUtime=1800.04 cores=0,2,4,6
/proc/17042/stat : 17042 (scip-2.0.1.4b.l) R 17040 17042 13256 0 -1 4202496 238540 0 0 0 179670 334 0 0 25 0 1 0 820454280 467152896 111961 33554432000 4194304 9163163 140733805772752 18446744073709551615 5169086 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17042/statm: 114051 111961 753 1214 0 112833 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 456204
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.04
CPU time (s): 1800.08
CPU user time (s): 1796.71
CPU system time (s): 3.36949
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 505348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.71
system time used= 3.36949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238540
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= 1644
runsolver used 10.2584 second user time and 22.0786 second system time
The end