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-3450895-1307088645.opb>
0.29/0.34 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 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.64 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58549 upgd conss, 117098 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 117098 implications, 0 cliques
1.39/1.46 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 constraints
1.39/1.46 c 58549 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.29/2.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.35 c t 2.4s| 1 | 0 | 948 | - | 72M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
2.29/2.39 o -1
2.29/2.39 c R 2.4s| 1 | 0 | 948 | - | 72M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
3.39/3.46 c 3.5s| 1 | 0 | 1247 | - | 72M| 0 | 886 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.430000e+02 |-1.000000e+00 | 99.77%
3.39/3.47 o -31
3.39/3.47 c b 3.5s| 1 | 0 | 1247 | - | 72M| 0 | 886 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.430000e+02 |-3.100000e+01 | 93.00%
4.59/4.65 c 4.6s| 1 | 0 | 1395 | - | 72M| 0 | 866 | 945 | 58k| 945 | 58k| 12 | 0 | 0 |-4.330000e+02 |-3.100000e+01 | 92.84%
6.09/6.18 c 6.2s| 1 | 0 | 1490 | - | 72M| 0 | 826 | 945 | 58k| 945 | 58k| 18 | 0 | 0 |-4.130000e+02 |-3.100000e+01 | 92.49%
7.79/7.88 c 7.9s| 1 | 0 | 1653 | - | 72M| 0 | 787 | 945 | 58k| 945 | 58k| 29 | 0 | 0 |-3.930000e+02 |-3.100000e+01 | 92.11%
9.59/9.67 c 9.7s| 1 | 0 | 1784 | - | 72M| 0 | 764 | 945 | 58k| 945 | 58k| 34 | 0 | 0 |-3.820000e+02 |-3.100000e+01 | 91.88%
11.59/11.61 c 11.6s| 1 | 0 | 1962 | - | 72M| 0 | 724 | 945 | 58k| 945 | 58k| 40 | 0 | 0 |-3.620000e+02 |-3.100000e+01 | 91.44%
13.49/13.58 c 13.6s| 1 | 0 | 2138 | - | 72M| 0 | 679 | 945 | 58k| 945 | 58k| 54 | 0 | 0 |-3.395000e+02 |-3.100000e+01 | 90.87%
15.59/15.64 c 15.6s| 1 | 0 | 2338 | - | 72M| 0 | 642 | 945 | 58k| 945 | 58k| 64 | 0 | 0 |-3.205000e+02 |-3.100000e+01 | 90.33%
18.09/18.12 c 18.1s| 1 | 0 | 2937 | - | 72M| 0 | 599 | 945 | 58k| 945 | 58k| 77 | 0 | 0 |-2.990000e+02 |-3.100000e+01 | 89.63%
20.29/20.39 c 20.4s| 1 | 0 | 3328 | - | 72M| 0 | 538 | 945 | 58k| 945 | 58k| 96 | 0 | 0 |-2.685000e+02 |-3.100000e+01 | 88.45%
21.19/21.24 c 21.2s| 1 | 0 | 3732 | - | 72M| 0 | 498 | 945 | 58k| 945 | 58k| 107 | 0 | 0 |-2.485000e+02 |-3.100000e+01 | 87.53%
22.00/22.06 c 22.1s| 1 | 0 | 4133 | - | 72M| 0 | 454 | 945 | 58k| 945 | 58k| 121 | 0 | 0 |-2.265000e+02 |-3.100000e+01 | 86.31%
23.49/23.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.49/23.58 c 23.6s| 1 | 0 | 5585 | - | 72M| 0 | 416 | 945 | 58k| 945 | 58k| 134 | 0 | 0 |-2.080000e+02 |-3.100000e+01 | 85.10%
24.39/24.41 c 24.4s| 1 | 0 | 6167 | - | 72M| 0 | 374 | 945 | 58k| 945 | 58k| 145 | 0 | 0 |-1.870000e+02 |-3.100000e+01 | 83.42%
24.89/24.96 c 25.0s| 1 | 0 | 6369 | - | 72M| 0 | 337 | 945 | 58k| 945 | 58k| 157 | 0 | 0 |-1.680000e+02 |-3.100000e+01 | 81.55%
25.59/25.61 c 25.6s| 1 | 0 | 6705 | - | 73M| 0 | 315 | 945 | 58k| 945 | 58k| 171 | 0 | 0 |-1.567500e+02 |-3.100000e+01 | 80.22%
28.19/28.27 c 28.3s| 1 | 0 | 9616 | - | 73M| 0 | 281 | 945 | 58k| 945 | 58k| 185 | 0 | 0 |-1.400000e+02 |-3.100000e+01 | 77.86%
29.60/29.61 c 29.6s| 1 | 0 | 10913 | - | 73M| 0 | 240 | 945 | 58k| 945 | 58k| 198 | 0 | 0 |-1.210000e+02 |-3.100000e+01 | 74.38%
31.49/31.57 c 31.6s| 1 | 0 | 13263 | - | 73M| 0 | 210 | 945 | 58k| 945 | 58k| 215 | 0 | 0 |-1.050000e+02 |-3.100000e+01 | 70.48%
33.59/33.67 c 33.7s| 1 | 0 | 15577 | - | 73M| 0 | 179 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-8.950000e+01 |-3.100000e+01 | 65.36%
34.00/34.02 c 34.0s| 1 | 0 | 15753 | - | 73M| 0 | 161 | 945 | 58k| 945 | 58k| 231 | 0 | 0 |-8.050000e+01 |-3.100000e+01 | 61.49%
34.39/34.42 c 34.4s| 1 | 0 | 16125 | - | 73M| 0 | 149 | 945 | 58k| 945 | 58k| 239 | 0 | 0 |-6.550000e+01 |-3.100000e+01 | 52.67%
34.79/34.81 c 34.8s| 1 | 0 | 16356 | - | 73M| 0 | 150 | 945 | 58k| 945 | 58k| 251 | 0 | 0 |-5.150000e+01 |-3.100000e+01 | 39.81%
35.11/35.16 c 35.2s| 1 | 0 | 16543 | - | 73M| 0 | 133 | 945 | 58k| 945 | 58k| 259 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 31.87%
35.39/35.48 c 35.5s| 1 | 0 | 16643 | - | 73M| 0 | 153 | 945 | 58k| 945 | 58k| 269 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
36.20/36.23 c 36.2s| 1 | 0 | 16819 | - | 73M| 0 | 151 | 945 | 58k| 945 | 58k| 284 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
43.39/43.40 c 43.4s| 1 | 0 | 17136 | - | 73M| 0 | 166 | 945 | 58k| 945 | 58k| 292 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
43.69/43.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.69/43.76 c 43.8s| 1 | 0 | 17221 | - | 73M| 0 | 181 | 945 | 58k| 945 | 58k| 301 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
51.60/51.63 c 51.6s| 1 | 0 | 17338 | - | 73M| 0 | 187 | 945 | 58k| 945 | 58k| 312 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
58.69/58.75 c 58.8s| 1 | 0 | 18175 | - | 73M| 0 | 171 | 945 | 58k| 945 | 58k| 322 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
72.90/72.96 c 73.0s| 1 | 2 | 18175 | - | 73M| 0 | 171 | 945 | 58k| 945 | 58k| 322 | 0 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
129.30/129.33 o -33
129.30/129.33 c c 129s| 15 | 16 | 20251 | 148.3 | 75M| 14 | - | 945 | 58k| 945 | 58k| 322 | 0 | 338 |-4.500000e+01 |-3.300000e+01 | 26.67%
129.30/129.34 o -34
129.30/129.34 c c 129s| 15 | 16 | 20252 | 148.4 | 75M| 14 | - | 945 | 58k| 945 | 58k| 322 | 0 | 338 |-4.500000e+01 |-3.400000e+01 | 24.44%
179.69/179.72 o -35
179.69/179.72 c o 180s| 63 | 64 | 25181 | 113.0 | 77M| 18 | 0 | 945 | 58k| 945 | 58k| 322 | 0 | 776 |-4.500000e+01 |-3.500000e+01 | 22.22%
186.20/186.20 o -37
186.20/186.20 c l 186s| 88 | 86 | 29586 | 131.2 | 78M| 18 | - | 945 | 58k| 945 | 58k| 322 | 0 | 797 |-4.500000e+01 |-3.700000e+01 | 17.78%
192.29/192.32 o -38
192.29/192.32 c p 192s| 128 | 105 | 34273 | 126.8 | 79M| 22 | - | 945 | 58k| 945 | 58k| 322 | 0 | 807 |-4.500000e+01 |-3.800000e+01 | 15.56%
331.50/331.53 o -39
331.50/331.53 c p 332s| 1653 | 966 |126097 | 65.3 | 101M| 44 | - | 945 | 58k| 945 | 58k| 322 | 0 |1260 |-4.500000e+01 |-3.900000e+01 | 13.33%
395.60/395.60 o -40
395.60/395.60 c l 396s| 1943 | 1144 |171275 | 78.8 | 107M| 44 | - | 945 | 58k| 945 | 58k| 322 | 0 |1405 |-4.500000e+01 |-4.000000e+01 | 11.11%
1426.13/1426.13 c 1426s| 10000 | 6939 |950899 | 93.3 | 255M| 44 | 88 | 945 | 58k| 945 | 58k| 322 | 0 |3298 |-4.500000e+01 |-4.000000e+01 | 11.11%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 13505
1800.04/1800.01 c Primal Bound : -4.00000000000000e+01 (662 solutions)
1800.04/1800.01 c Dual Bound : -4.50000000000000e+01
1800.04/1800.01 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-3450895-1307088645/watcher-3450895-1307088645 -o /tmp/evaluation-result-3450895-1307088645/solver-3450895-1307088645 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450895-1307088645.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.07 2.06 2.00 3/453 15877
/proc/meminfo: memFree=31708776/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=14204 CPUtime=0 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 2526 0 0 0 0 0 0 0 25 0 1 0 820462403 14544896 2479 33554432000 4194304 9163163 140736272697968 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15877/statm: 3551 2479 395 1214 0 2333 0
[startup+0.0684211 s]
/proc/loadavg: 2.07 2.06 2.00 3/453 15877
/proc/meminfo: memFree=31708776/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=19268 CPUtime=0.06 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 3807 0 0 0 6 0 0 0 25 0 1 0 820462403 19730432 3760 33554432000 4194304 9163163 140736272697968 18446744073709551615 8031161 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15877/statm: 4817 3760 395 1214 0 3599 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19268
[startup+0.100414 s]
/proc/loadavg: 2.07 2.06 2.00 3/453 15877
/proc/meminfo: memFree=31708776/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=20692 CPUtime=0.09 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 4174 0 0 0 9 0 0 0 25 0 1 0 820462403 21188608 4127 33554432000 4194304 9163163 140736272697968 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15877/statm: 5173 4127 395 1214 0 3955 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20692
[startup+0.30038 s]
/proc/loadavg: 2.07 2.06 2.00 3/453 15877
/proc/meminfo: memFree=31708776/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=33568 CPUtime=0.29 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 7391 0 0 0 29 0 0 0 25 0 1 0 820462403 34373632 7341 33554432000 4194304 9163163 140736272697968 18446744073709551615 7480066 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15877/statm: 8392 7341 395 1214 0 7174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33568
[startup+0.700282 s]
/proc/loadavg: 2.07 2.06 2.00 3/453 15877
/proc/meminfo: memFree=31708776/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=101248 CPUtime=0.69 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 28738 0 0 0 66 3 0 0 25 0 1 0 820462403 103677952 23882 33554432000 4194304 9163163 140736272697968 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 25312 23882 530 1214 0 24094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101248
[startup+1.50114 s]
/proc/loadavg: 2.07 2.06 2.00 3/454 15878
/proc/meminfo: memFree=31614280/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=118984 CPUtime=1.49 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 33293 0 0 0 146 3 0 0 25 0 1 0 820462403 121839616 28311 33554432000 4194304 9163163 140736272697968 18446744073709551615 4639038 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 29746 28311 567 1214 0 28528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118984
[startup+3.10087 s]
/proc/loadavg: 2.07 2.06 2.00 3/454 15878
/proc/meminfo: memFree=31545832/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=186024 CPUtime=3.09 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 50851 0 0 0 303 6 0 0 25 0 1 0 820462403 190488576 43519 33554432000 4194304 9163163 140736272697968 18446744073709551615 6213583 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 46506 43519 1192 1214 0 45288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186024
[startup+6.30029 s]
/proc/loadavg: 2.06 2.05 2.00 3/454 15878
/proc/meminfo: memFree=31532080/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=188796 CPUtime=6.29 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 52496 0 0 0 623 6 0 0 25 0 1 0 820462403 193327104 44952 33554432000 4194304 9163163 140736272697968 18446744073709551615 8045640 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 47199 44952 1146 1214 0 45981 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188796
[startup+12.7011 s]
/proc/loadavg: 2.06 2.05 2.00 3/454 15878
/proc/meminfo: memFree=31527980/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=188796 CPUtime=12.69 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 53049 0 0 0 1262 7 0 0 25 0 1 0 820462403 193327104 45158 33554432000 4194304 9163163 140736272697968 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 47199 45158 801 1214 0 45981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188796
[startup+25.5008 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 15878
/proc/meminfo: memFree=31521640/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=191600 CPUtime=25.49 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 54216 0 0 0 2541 8 0 0 25 0 1 0 820462403 196198400 46254 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 47900 46254 731 1214 0 46682 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 191600
[startup+51.1011 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 15879
/proc/meminfo: memFree=31517768/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=195132 CPUtime=51.09 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 54872 0 0 0 5095 14 0 0 25 0 1 0 820462403 199815168 46906 33554432000 4194304 9163163 140736272697968 18446744073709551615 8045536 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 48783 46906 760 1214 0 47565 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195132
[startup+102.318 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15880
/proc/meminfo: memFree=31485736/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=220128 CPUtime=102.31 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 66202 0 0 0 10204 27 0 0 25 0 1 0 820462403 225411072 53972 33554432000 4194304 9163163 140736272697968 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 55032 53972 708 1214 0 53814 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 220128
[startup+162.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/454 15882
/proc/meminfo: memFree=31485312/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=220128 CPUtime=162.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 66202 0 0 0 16192 38 0 0 25 0 1 0 820462403 225411072 53972 33554432000 4194304 9163163 140736272697968 18446744073709551615 7110306 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 55032 53972 708 1214 0 53814 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 220128
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 15911
/proc/meminfo: memFree=31454340/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=221120 CPUtime=222.29 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 71766 0 0 0 22179 50 0 0 25 0 1 0 820462403 226426880 54233 33554432000 4194304 9163163 140736272697968 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 55280 54233 709 1214 0 54062 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 221120
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 15913
/proc/meminfo: memFree=31460272/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=207492 CPUtime=282.29 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 78752 0 0 0 28167 62 0 0 25 0 1 0 820462403 212471808 50827 33554432000 4194304 9163163 140736272697968 18446744073709551615 7249851 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 51873 50827 709 1214 0 50655 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 207492
[startup+342.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/454 15915
/proc/meminfo: memFree=31420376/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=214820 CPUtime=342.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 79693 0 0 0 34158 72 0 0 25 0 1 0 820462403 219975680 51768 33554432000 4194304 9163163 140736272697968 18446744073709551615 6687808 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 53705 51768 709 1214 0 52487 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 214820
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/454 15916
/proc/meminfo: memFree=31414392/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=222772 CPUtime=402.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 81441 0 0 0 40148 82 0 0 25 0 1 0 820462403 228118528 53513 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 55693 53513 709 1214 0 54475 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 222772
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 15918
/proc/meminfo: memFree=31405660/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=232176 CPUtime=462.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 83662 0 0 0 46139 91 0 0 25 0 1 0 820462403 237748224 55734 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 58044 55734 714 1214 0 56826 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 232176
[startup+522.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/454 15919
/proc/meminfo: memFree=31397828/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=238424 CPUtime=522.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 85673 0 0 0 52128 102 0 0 25 0 1 0 820462403 244146176 57740 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 59606 57740 709 1214 0 58388 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 238424
[startup+582.301 s]
/proc/loadavg: 2.16 2.07 2.01 3/454 15921
/proc/meminfo: memFree=31384892/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=252960 CPUtime=582.3 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 88925 0 0 0 58116 114 0 0 25 0 1 0 820462403 259031040 60937 33554432000 4194304 9163163 140736272697968 18446744073709551615 7084436 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 63240 60937 723 1214 0 62022 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 252960
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.06 2.00 3/454 15927
/proc/meminfo: memFree=31343364/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=283328 CPUtime=822.31 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 113496 0 0 0 82076 155 0 0 25 0 1 0 820462403 290127872 69097 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 70832 69097 709 1214 0 69614 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 283328
[startup+882.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/454 15929
/proc/meminfo: memFree=31321760/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=297120 CPUtime=882.32 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 129171 0 0 0 88064 168 0 0 25 0 1 0 820462403 304250880 71957 33554432000 4194304 9163163 140736272697968 18446744073709551615 7084349 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 74280 71957 709 1214 0 73062 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 297120
[startup+942.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/454 15931
/proc/meminfo: memFree=31311564/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=303228 CPUtime=942.32 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 131025 0 0 0 94055 177 0 0 25 0 1 0 820462403 310505472 73810 33554432000 4194304 9163163 140736272697968 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 75807 73810 709 1214 0 74589 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 303228
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 15932
/proc/meminfo: memFree=31296676/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=312356 CPUtime=1002.32 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 133332 0 0 0 100043 189 0 0 25 0 1 0 820462403 319852544 76115 33554432000 4194304 9163163 140736272697968 18446744073709551615 7085129 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 78089 76115 716 1214 0 76871 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 312356
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15934
/proc/meminfo: memFree=31290068/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=322504 CPUtime=1062.32 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 150667 0 0 0 106031 201 0 0 25 0 1 0 820462403 330244096 78504 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 80626 78504 720 1214 0 79408 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 322504
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 15935
/proc/meminfo: memFree=31272072/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=333004 CPUtime=1122.32 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 152952 0 0 0 112019 213 0 0 25 0 1 0 820462403 340996096 80779 33554432000 4194304 9163163 140736272697968 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 83251 80779 717 1214 0 82033 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 333004
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 15937
/proc/meminfo: memFree=31255796/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=342388 CPUtime=1182.33 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 155709 0 0 0 118011 222 0 0 25 0 1 0 820462403 350605312 83506 33554432000 4194304 9163163 140736272697968 18446744073709551615 7399144 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 85597 83506 716 1214 0 84379 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 342388
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 15939
/proc/meminfo: memFree=31243856/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=351088 CPUtime=1242.33 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 157880 0 0 0 123999 234 0 0 25 0 1 0 820462403 359514112 85672 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 87772 85672 711 1214 0 86554 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 351088
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 15940
/proc/meminfo: memFree=31234020/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=355636 CPUtime=1302.34 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 159195 0 0 0 129991 243 0 0 25 0 1 0 820462403 364171264 86983 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 88909 86983 712 1214 0 87691 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 355636
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/454 15942
/proc/meminfo: memFree=31218976/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=364932 CPUtime=1362.33 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 161447 0 0 0 135980 253 0 0 25 0 1 0 820462403 373690368 89231 33554432000 4194304 9163163 140736272697968 18446744073709551615 7376349 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 91233 89231 713 1214 0 90015 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 364932
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 15943
/proc/meminfo: memFree=31201332/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=375560 CPUtime=1422.35 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 177591 0 0 0 141969 266 0 0 25 0 1 0 820462403 384573440 91714 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 93890 91714 712 1214 0 92672 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 375560
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 15945
/proc/meminfo: memFree=31185436/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=385160 CPUtime=1482.33 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 180028 0 0 0 147958 275 0 0 25 0 1 0 820462403 394403840 94131 33554432000 4194304 9163163 140736272697968 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 96290 94131 722 1214 0 95072 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 385160
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15947
/proc/meminfo: memFree=31174620/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=390284 CPUtime=1542.33 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 181597 0 0 0 153948 285 0 0 25 0 1 0 820462403 399650816 95686 33554432000 4194304 9163163 140736272697968 18446744073709551615 7225088 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 97571 95686 718 1214 0 96353 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 390284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15948
/proc/meminfo: memFree=31162336/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=397000 CPUtime=1602.34 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 183247 0 0 0 159938 296 0 0 25 0 1 0 820462403 406528000 97332 33554432000 4194304 9163163 140736272697968 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 99250 97332 718 1214 0 98032 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 397000
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/454 15950
/proc/meminfo: memFree=31146932/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=406084 CPUtime=1662.34 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 185252 0 0 0 165927 307 0 0 25 0 1 0 820462403 415830016 99325 33554432000 4194304 9163163 140736272697968 18446744073709551615 7084349 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 101521 99325 717 1214 0 100303 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 406084
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 15951
/proc/meminfo: memFree=31129548/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=418388 CPUtime=1722.34 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 188096 0 0 0 171917 317 0 0 25 0 1 0 820462403 428429312 102159 33554432000 4194304 9163163 140736272697968 18446744073709551615 7195895 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 104597 102159 716 1214 0 103379 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 418388
[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 15953
/proc/meminfo: memFree=31115132/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=423128 CPUtime=1782.34 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 189826 0 0 0 177908 326 0 0 25 0 1 0 820462403 433283072 103875 33554432000 4194304 9163163 140736272697968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15877/statm: 105782 103875 717 1214 0 104564 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 423128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 15954
/proc/meminfo: memFree=31111404/32951124 swapFree=55639044/67111528
[pid=15877] ppid=15875 vsize=427388 CPUtime=1800.05 cores=0,2,4,6
/proc/15877/stat : 15877 (scip-2.0.1.4b.l) R 15875 15877 12722 0 -1 4202496 190271 0 0 0 179676 329 0 0 25 0 1 0 820462403 437645312 104312 33554432000 4194304 9163163 140736272697968 18446744073709551615 4347376 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15877/statm: 106847 104312 713 1214 0 105629 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 427388
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.09
CPU user time (s): 1796.77
CPU system time (s): 3.3175
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 427388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.77
system time used= 3.3175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190271
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= 1483
runsolver used 8.5477 second user time and 18.1832 second system time
The end