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-3451095-1307089311.opb>
0.49/0.55 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94289 constraints
0.49/0.55 c problem read
0.49/0.55 c presolving settings loaded
0.59/0.65 o 0
0.59/0.65 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.65 c presolving:
1.01/1.05 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94289 upgd conss, 188578 impls, 0 clqs
2.39/2.43 c (2.4s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.43 c (2.4s) probing aborted: 100/100 successive totally useless probings
2.39/2.43 c presolving (2 rounds):
2.39/2.43 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.43 c 188578 implications, 0 cliques
2.39/2.43 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94289 constraints
2.39/2.43 c 94289 constraints of type <setppc>
2.39/2.43 c transformed objective value is always integral (scale: 1)
2.39/2.43 c Presolving Time: 1.80
2.39/2.43 c - non default parameters ----------------------------------------------------------------------
2.39/2.43 c # SCIP version 2.0.1.5
2.39/2.43 c
2.39/2.43 c # frequency for displaying node information lines
2.39/2.43 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.43 c display/freq = 10000
2.39/2.43 c
2.39/2.43 c # maximal time in seconds to run
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/time = 1800
2.39/2.43 c
2.39/2.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.43 c limits/memory = 13950
2.39/2.43 c
2.39/2.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.39/2.43 c # [type: int, range: [1,2], default: 1]
2.39/2.43 c timing/clocktype = 2
2.39/2.43 c
2.39/2.43 c # belongs reading time to solving time?
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c timing/reading = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify inequalities
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/linear/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/indicator/addCouplingCons = TRUE
2.39/2.43 c
2.39/2.43 c # should presolving try to simplify knapsacks
2.39/2.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.43 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.43 c
2.39/2.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.43 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.43 c separating/rapidlearning/freq = 0
2.39/2.43 c
2.39/2.43 c -----------------------------------------------------------------------------------------------
2.39/2.43 c start solving
2.39/2.43 c
4.19/4.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.27 c t 4.3s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.31/4.35 o -1
4.31/4.35 c R 4.3s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
4.41/4.42 o -2
4.41/4.42 c s 4.4s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-2.000000e+00 | 99.69%
5.99/6.07 c 6.1s| 1 | 0 | 1480 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-2.000000e+00 | 99.67%
5.99/6.09 o -38
5.99/6.09 c b 6.1s| 1 | 0 | 1480 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.800000e+01 | 93.69%
8.29/8.34 c 8.3s| 1 | 0 | 1659 | - | 116M| 0 |1160 |1272 | 94k|1272 | 94k| 11 | 0 | 0 |-5.800000e+02 |-3.800000e+01 | 93.45%
11.39/11.41 c 11.4s| 1 | 0 | 1756 | - | 116M| 0 |1115 |1272 | 94k|1272 | 94k| 19 | 0 | 0 |-5.575000e+02 |-3.800000e+01 | 93.18%
15.09/15.19 c 15.2s| 1 | 0 | 1882 | - | 116M| 0 |1069 |1272 | 94k|1272 | 94k| 26 | 0 | 0 |-5.337500e+02 |-3.800000e+01 | 92.88%
19.19/19.23 c 19.2s| 1 | 0 | 2005 | - | 116M| 0 |1045 |1272 | 94k|1272 | 94k| 35 | 0 | 0 |-5.217500e+02 |-3.800000e+01 | 92.72%
23.89/23.91 c 23.9s| 1 | 0 | 2247 | - | 116M| 0 | 997 |1272 | 94k|1272 | 94k| 48 | 0 | 0 |-4.977500e+02 |-3.800000e+01 | 92.37%
28.99/29.06 c 29.1s| 1 | 0 | 2461 | - | 116M| 0 | 947 |1272 | 94k|1272 | 94k| 59 | 0 | 0 |-4.727500e+02 |-3.800000e+01 | 91.96%
34.69/34.71 c 34.7s| 1 | 0 | 2907 | - | 116M| 0 | 904 |1272 | 94k|1272 | 94k| 68 | 0 | 0 |-4.512500e+02 |-3.800000e+01 | 91.58%
40.09/40.10 c 40.1s| 1 | 0 | 3267 | - | 116M| 0 | 861 |1272 | 94k|1272 | 94k| 77 | 0 | 0 |-4.297500e+02 |-3.800000e+01 | 91.16%
45.19/45.27 c 45.3s| 1 | 0 | 3468 | - | 116M| 0 | 808 |1272 | 94k|1272 | 94k| 90 | 0 | 0 |-4.032500e+02 |-3.800000e+01 | 90.58%
46.69/46.79 c 46.8s| 1 | 0 | 3939 | - | 116M| 0 | 757 |1272 | 94k|1272 | 94k| 107 | 0 | 0 |-3.767500e+02 |-3.800000e+01 | 89.91%
47.99/48.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.99/48.03 c 48.0s| 1 | 0 | 4240 | - | 116M| 0 | 709 |1272 | 94k|1272 | 94k| 127 | 0 | 0 |-3.522500e+02 |-3.800000e+01 | 89.21%
48.99/49.06 c 49.1s| 1 | 0 | 4473 | - | 116M| 0 | 663 |1272 | 94k|1272 | 94k| 135 | 0 | 0 |-3.292500e+02 |-3.800000e+01 | 88.46%
51.30/51.37 c 51.4s| 1 | 0 | 5899 | - | 116M| 0 | 597 |1272 | 94k|1272 | 94k| 145 | 0 | 0 |-2.970000e+02 |-3.800000e+01 | 87.21%
53.80/53.88 c 53.9s| 1 | 0 | 7302 | - | 116M| 0 | 533 |1272 | 94k|1272 | 94k| 157 | 0 | 0 |-2.665000e+02 |-3.800000e+01 | 85.74%
56.70/56.75 c 56.8s| 1 | 0 | 8912 | - | 116M| 0 | 486 |1272 | 94k|1272 | 94k| 170 | 0 | 0 |-2.430000e+02 |-3.800000e+01 | 84.36%
58.69/58.70 c 58.7s| 1 | 0 | 10143 | - | 116M| 0 | 463 |1272 | 94k|1272 | 94k| 180 | 0 | 0 |-2.305000e+02 |-3.800000e+01 | 83.51%
59.59/59.69 c 59.7s| 1 | 0 | 10334 | - | 116M| 0 | 437 |1272 | 94k|1272 | 94k| 188 | 0 | 0 |-2.175000e+02 |-3.800000e+01 | 82.53%
63.49/63.59 c 63.6s| 1 | 0 | 13055 | - | 116M| 0 | 401 |1272 | 94k|1272 | 94k| 199 | 0 | 0 |-1.997500e+02 |-3.800000e+01 | 80.98%
67.19/67.24 c 67.2s| 1 | 0 | 15573 | - | 117M| 0 | 356 |1272 | 94k|1272 | 94k| 208 | 0 | 0 |-1.772500e+02 |-3.800000e+01 | 78.56%
68.40/68.47 c 68.5s| 1 | 0 | 16408 | - | 117M| 0 | 315 |1272 | 94k|1272 | 94k| 217 | 0 | 0 |-1.567500e+02 |-3.800000e+01 | 75.76%
71.99/72.07 c 72.1s| 1 | 0 | 19143 | - | 117M| 0 | 274 |1272 | 94k|1272 | 94k| 228 | 0 | 0 |-1.362500e+02 |-3.800000e+01 | 72.11%
72.79/72.80 c 72.8s| 1 | 0 | 19410 | - | 117M| 0 | 250 |1272 | 94k|1272 | 94k| 240 | 0 | 0 |-1.242500e+02 |-3.800000e+01 | 69.42%
73.49/73.52 c 73.5s| 1 | 0 | 19752 | - | 117M| 0 | 207 |1272 | 94k|1272 | 94k| 251 | 0 | 0 |-1.035000e+02 |-3.800000e+01 | 63.29%
74.81/74.86 c 74.9s| 1 | 0 | 20898 | - | 117M| 0 | 184 |1272 | 94k|1272 | 94k| 263 | 0 | 0 |-8.725000e+01 |-3.800000e+01 | 56.45%
76.00/76.09 c 76.1s| 1 | 0 | 22034 | - | 117M| 0 | 163 |1272 | 94k|1272 | 94k| 272 | 0 | 0 |-7.675000e+01 |-3.800000e+01 | 50.49%
76.79/76.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.79/76.80 c 76.8s| 1 | 0 | 22384 | - | 117M| 0 | 148 |1272 | 94k|1272 | 94k| 278 | 0 | 0 |-6.750000e+01 |-3.800000e+01 | 43.70%
77.49/77.54 c 77.5s| 1 | 0 | 22713 | - | 117M| 0 | 146 |1272 | 94k|1272 | 94k| 290 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
77.89/78.01 c 78.0s| 1 | 0 | 22772 | - | 117M| 0 | 161 |1272 | 94k|1272 | 94k| 302 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
78.49/78.56 c 78.6s| 1 | 0 | 22862 | - | 117M| 0 | 172 |1272 | 94k|1272 | 94k| 315 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
94.40/94.49 c 94.5s| 1 | 0 | 23058 | - | 117M| 0 | 174 |1272 | 94k|1272 | 94k| 323 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
110.01/110.07 c 110s| 1 | 0 | 23164 | - | 117M| 0 | 174 |1272 | 94k|1272 | 94k| 335 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
112.90/112.94 c 113s| 1 | 0 | 25165 | - | 117M| 0 | 178 |1272 | 94k|1272 | 94k| 349 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
136.09/136.18 c 136s| 1 | 2 | 25165 | - | 117M| 0 | 178 |1272 | 94k|1272 | 94k| 349 | 0 | 33 |-5.300000e+01 |-3.800000e+01 | 28.30%
179.49/179.55 o -39
179.49/179.55 c c 180s| 14 | 15 | 27758 | 199.5 | 120M| 13 | - |1272 | 94k|1272 | 94k| 349 | 0 | 269 |-5.300000e+01 |-3.900000e+01 | 26.42%
198.70/198.74 o -41
198.70/198.74 c p 199s| 23 | 24 | 28470 | 150.2 | 121M| 15 | - |1272 | 94k|1272 | 94k| 349 | 0 | 440 |-5.300000e+01 |-4.100000e+01 | 22.64%
198.70/198.76 o -43
198.70/198.76 c p 199s| 23 | 24 | 28471 | 150.3 | 121M| 15 | - |1272 | 94k|1272 | 94k| 349 | 0 | 440 |-5.300000e+01 |-4.300000e+01 | 18.87%
251.82/251.86 o -44
251.82/251.86 c * 252s| 49 | 47 | 29843 | 97.5 | 122M| 20 | - |1272 | 94k|1272 | 94k| 349 | 0 | 892 |-5.300000e+01 |-4.400000e+01 | 16.98%
573.40/573.40 o -45
573.40/573.40 c p 573s| 1471 | 1246 |134005 | 74.0 | 165M| 41 | - |1272 | 94k|1272 | 94k| 349 | 0 |1901 |-5.300000e+01 |-4.500000e+01 | 15.09%
1273.22/1273.20 o -46
1273.22/1273.20 c l1273s| 3577 | 3259 |452276 | 119.4 | 239M| 41 | - |1272 | 94k|1272 | 94k| 349 | 0 |2747 |-5.300000e+01 |-4.600000e+01 | 13.21%
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 : 5665
1800.03/1800.00 c Primal Bound : -4.60000000000000e+01 (606 solutions)
1800.03/1800.00 c Dual Bound : -5.30000000000000e+01
1800.03/1800.00 c Gap : 13.21 %
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-3451095-1307089311/watcher-3451095-1307089311 -o /tmp/evaluation-result-3451095-1307089311/solver-3451095-1307089311 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451095-1307089311.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.38 1.72 2/506 29044
/proc/meminfo: memFree=16826696/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=14976 CPUtime=0.01 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 2718 0 0 0 1 0 0 0 21 0 1 0 801347271 15335424 2672 33554432000 4194304 9163163 140734090870800 18446744073709551615 8018320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29044/statm: 3744 2672 395 1214 0 2526 0
[startup+0.093959 s]
/proc/loadavg: 1.01 1.38 1.72 2/506 29044
/proc/meminfo: memFree=16826696/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=19920 CPUtime=0.08 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 3978 0 0 0 8 0 0 0 21 0 1 0 801347271 20398080 3932 33554432000 4194304 9163163 140734090870800 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29044/statm: 4980 3932 395 1214 0 3762 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19920
[startup+0.100952 s]
/proc/loadavg: 1.01 1.38 1.72 2/506 29044
/proc/meminfo: memFree=16826696/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=21084 CPUtime=0.09 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 4270 0 0 0 9 0 0 0 21 0 1 0 801347271 21590016 4224 33554432000 4194304 9163163 140734090870800 18446744073709551615 7481031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29044/statm: 5271 4224 395 1214 0 4053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21084
[startup+0.300933 s]
/proc/loadavg: 1.01 1.38 1.72 2/506 29044
/proc/meminfo: memFree=16826696/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=33960 CPUtime=0.29 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 7486 0 0 0 28 1 0 0 22 0 1 0 801347271 34775040 7440 33554432000 4194304 9163163 140734090870800 18446744073709551615 6494337 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29044/statm: 8490 7440 395 1214 0 7272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33960
[startup+0.700853 s]
/proc/loadavg: 1.01 1.38 1.72 2/506 29044
/proc/meminfo: memFree=16826696/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=110688 CPUtime=0.69 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 26154 0 0 0 66 3 0 0 24 0 1 0 801347271 113344512 26080 33554432000 4194304 9163163 140734090870800 18446744073709551615 5226182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 27672 26080 502 1214 0 26454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110688
[startup+1.50071 s]
/proc/loadavg: 1.09 1.39 1.72 3/512 29050
/proc/meminfo: memFree=16528172/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=150104 CPUtime=1.49 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 44553 0 0 0 144 5 0 0 25 0 1 0 801347271 153706496 35846 33554432000 4194304 9163163 140734090870800 18446744073709551615 4232658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 37526 35846 530 1214 0 36308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150104
[startup+3.10043 s]
/proc/loadavg: 1.09 1.39 1.72 3/512 29050
/proc/meminfo: memFree=16538660/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=257176 CPUtime=3.09 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 69341 0 0 0 301 8 0 0 25 0 1 0 801347271 263348224 59916 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 64294 59916 869 1214 0 63076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257176
[startup+6.30089 s]
/proc/loadavg: 1.09 1.39 1.72 3/512 29050
/proc/meminfo: memFree=16315228/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=281952 CPUtime=6.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 81759 0 0 0 620 10 0 0 25 0 1 0 801347271 288718848 63492 33554432000 4194304 9163163 140734090870800 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 70488 63492 955 1214 0 69270 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 281952
[startup+12.7008 s]
/proc/loadavg: 1.23 1.41 1.73 3/512 29050
/proc/meminfo: memFree=16295584/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=282408 CPUtime=12.7 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 83500 0 0 0 1259 11 0 0 25 0 1 0 801347271 289185792 65012 33554432000 4194304 9163163 140734090870800 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 70602 65012 734 1214 0 69384 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 282408
[startup+25.5005 s]
/proc/loadavg: 1.34 1.43 1.73 3/512 29051
/proc/meminfo: memFree=16284080/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=286684 CPUtime=25.49 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 85811 0 0 0 2537 12 0 0 25 0 1 0 801347271 293564416 67322 33554432000 4194304 9163163 140734090870800 18446744073709551615 6254751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 71671 67322 736 1214 0 70453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 286684
[startup+51.101 s]
/proc/loadavg: 1.64 1.49 1.74 3/512 29051
/proc/meminfo: memFree=16264004/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=293544 CPUtime=51.09 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 88135 0 0 0 5094 15 0 0 25 0 1 0 801347271 300589056 69646 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 73386 69646 736 1214 0 72168 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 293544
[startup+102.32 s]
/proc/loadavg: 1.85 1.57 1.75 3/512 29053
/proc/meminfo: memFree=16253852/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=293544 CPUtime=102.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 89972 0 0 0 10197 34 0 0 25 0 1 0 801347271 300589056 71480 33554432000 4194304 9163163 140734090870800 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 73386 71480 736 1214 0 72168 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 293544
[startup+162.3 s]
/proc/loadavg: 1.94 1.65 1.76 3/512 29054
/proc/meminfo: memFree=16190556/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=357752 CPUtime=162.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 106011 0 0 0 16164 66 0 0 25 0 1 0 801347271 366338048 87453 33554432000 4194304 9163163 140734090870800 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 89438 87453 743 1214 0 88220 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 357752
[startup+222.301 s]
/proc/loadavg: 1.98 1.71 1.77 3/512 29059
/proc/meminfo: memFree=16191640/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=357752 CPUtime=222.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 106011 0 0 0 22136 94 0 0 25 0 1 0 801347271 366338048 87453 33554432000 4194304 9163163 140734090870800 18446744073709551615 7382573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 89438 87453 743 1214 0 88220 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 357752
[startup+282.3 s]
/proc/loadavg: 1.99 1.76 1.79 3/512 29060
/proc/meminfo: memFree=16191784/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=357752 CPUtime=282.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 106012 0 0 0 28113 117 0 0 25 0 1 0 801347271 366338048 87454 33554432000 4194304 9163163 140734090870800 18446744073709551615 7376236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 89438 87454 744 1214 0 88220 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 357752
[startup+342.301 s]
/proc/loadavg: 1.99 1.80 1.80 3/512 29062
/proc/meminfo: memFree=16192016/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=357752 CPUtime=342.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 106013 0 0 0 34086 144 0 0 25 0 1 0 801347271 366338048 87455 33554432000 4194304 9163163 140734090870800 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 89438 87455 745 1214 0 88220 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 357752
[startup+402.3 s]
/proc/loadavg: 1.99 1.83 1.81 3/512 29064
/proc/meminfo: memFree=16178856/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=371048 CPUtime=402.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 109442 0 0 0 40062 168 0 0 25 0 1 0 801347271 379953152 90884 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 92762 90884 749 1214 0 91544 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 371048
[startup+462.301 s]
/proc/loadavg: 1.99 1.86 1.82 3/512 29065
/proc/meminfo: memFree=16166056/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=462.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112065 0 0 0 46030 201 0 0 25 0 1 0 801347271 390635520 93503 33554432000 4194304 9163163 140734090870800 18446744073709551615 7082822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93503 749 1214 0 94152 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 381480
[startup+522.3 s]
/proc/loadavg: 2.04 1.90 1.83 3/512 29067
/proc/meminfo: memFree=16155112/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=522.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112068 0 0 0 52008 222 0 0 25 0 1 0 801347271 390635520 93506 33554432000 4194304 9163163 140734090870800 18446744073709551615 7224272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93506 749 1214 0 94152 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 381480
[startup+582.301 s]
/proc/loadavg: 2.15 1.96 1.85 3/512 29068
/proc/meminfo: memFree=16145764/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=582.3 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112068 0 0 0 57986 244 0 0 25 0 1 0 801347271 390635520 93506 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93506 749 1214 0 94152 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 381480
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.98 1.88 3/512 29075
/proc/meminfo: memFree=16119100/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=822.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112069 0 0 0 81895 336 0 0 25 0 1 0 801347271 390635520 93507 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93507 749 1214 0 94152 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 381480
[startup+882.301 s]
/proc/loadavg: 2.00 1.98 1.89 3/512 29076
/proc/meminfo: memFree=16115716/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=882.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112072 0 0 0 87873 358 0 0 25 0 1 0 801347271 390635520 93510 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93510 749 1214 0 94152 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 381480
[startup+942.3 s]
/proc/loadavg: 2.00 1.98 1.89 3/512 29078
/proc/meminfo: memFree=16114212/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=942.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112072 0 0 0 93853 378 0 0 25 0 1 0 801347271 390635520 93510 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93510 749 1214 0 94152 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 381480
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.90 3/512 29080
/proc/meminfo: memFree=16103028/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=381480 CPUtime=1002.31 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112072 0 0 0 99831 400 0 0 25 0 1 0 801347271 390635520 93510 33554432000 4194304 9163163 140734090870800 18446744073709551615 7300297 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 95370 93510 749 1214 0 94152 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 381480
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/512 29081
/proc/meminfo: memFree=16093960/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=385080 CPUtime=1062.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112192 0 0 0 105806 426 0 0 25 0 1 0 801347271 394321920 93630 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 96270 93630 749 1214 0 95052 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 385080
[startup+1122.3 s]
/proc/loadavg: 2.19 2.03 1.93 3/512 29083
/proc/meminfo: memFree=16083764/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=390428 CPUtime=1122.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 112787 0 0 0 111780 452 0 0 25 0 1 0 801347271 399798272 94225 33554432000 4194304 9163163 140734090870800 18446744073709551615 7046701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 97607 94225 749 1214 0 96389 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 390428
[startup+1182.3 s]
/proc/loadavg: 2.18 2.05 1.94 3/512 29084
/proc/meminfo: memFree=16063288/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=394992 CPUtime=1182.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 114297 0 0 0 117760 472 0 0 25 0 1 0 801347271 404471808 95735 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 98748 95735 749 1214 0 97530 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 394992
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 1.94 3/512 29086
/proc/meminfo: memFree=16045176/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=402636 CPUtime=1242.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 116212 0 0 0 123734 498 0 0 25 0 1 0 801347271 412299264 97650 33554432000 4194304 9163163 140734090870800 18446744073709551615 6691230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 100659 97650 749 1214 0 99441 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 402636
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/512 29088
/proc/meminfo: memFree=16025680/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=414580 CPUtime=1302.34 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 123850 0 0 0 129711 523 0 0 25 0 1 0 801347271 424529920 100677 33554432000 4194304 9163163 140734090870800 18446744073709551615 7224050 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 103645 100677 760 1214 0 102427 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 414580
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/512 29089
/proc/meminfo: memFree=16009912/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=420136 CPUtime=1362.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 125421 0 0 0 135687 545 0 0 25 0 1 0 801347271 430219264 102246 33554432000 4194304 9163163 140734090870800 18446744073709551615 7224022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 105034 102246 758 1214 0 103816 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 420136
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.94 3/512 29091
/proc/meminfo: memFree=16000960/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=421428 CPUtime=1422.35 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 125967 0 0 0 141666 569 0 0 25 0 1 0 801347271 431542272 102792 33554432000 4194304 9163163 140734090870800 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 105357 102792 758 1214 0 104139 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 421428
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/512 29092
/proc/meminfo: memFree=15987796/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=503016 CPUtime=1482.32 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 146935 0 0 0 147631 601 0 0 25 0 1 0 801347271 515088384 123758 33554432000 4194304 9163163 140734090870800 18446744073709551615 4443071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 125754 123758 758 1214 0 124536 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 503016
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/512 29094
/proc/meminfo: memFree=15971032/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=440256 CPUtime=1542.33 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 153213 0 0 0 153602 631 0 0 25 0 1 0 801347271 450822144 106573 33554432000 4194304 9163163 140734090870800 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 110064 106573 767 1214 0 108846 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 440256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/512 29096
/proc/meminfo: memFree=15958124/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=444220 CPUtime=1602.33 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 154536 0 0 0 159574 659 0 0 25 0 1 0 801347271 454881280 107895 33554432000 4194304 9163163 140734090870800 18446744073709551615 7345673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 111055 107895 766 1214 0 109837 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 444220
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/512 29097
/proc/meminfo: memFree=15941108/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=451824 CPUtime=1662.33 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 156479 0 0 0 165550 683 0 0 25 0 1 0 801347271 462667776 109836 33554432000 4194304 9163163 140734090870800 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 112956 109836 765 1214 0 111738 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 451824
[startup+1722.3 s]
/proc/loadavg: 2.25 2.07 1.96 3/512 29099
/proc/meminfo: memFree=15927328/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=459152 CPUtime=1722.33 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 158578 0 0 0 171526 707 0 0 25 0 1 0 801347271 470171648 111915 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 114788 111915 759 1214 0 113570 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 459152
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 1.96 3/512 29100
/proc/meminfo: memFree=15904360/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=465304 CPUtime=1782.34 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 160184 0 0 0 177505 729 0 0 25 0 1 0 801347271 476471296 113512 33554432000 4194304 9163163 140734090870800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29044/statm: 116326 113512 750 1214 0 115108 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 465304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.05 1.96 3/512 29101
/proc/meminfo: memFree=15900872/32951124 swapFree=67111204/67111528
[pid=29044] ppid=29042 vsize=469136 CPUtime=1800.05 cores=1,3,5,7
/proc/29044/stat : 29044 (scip-2.0.1.4b.l) R 29042 29044 22279 0 -1 4202496 160759 0 0 0 179269 736 0 0 25 0 1 0 801347271 480395264 114087 33554432000 4194304 9163163 140734090870800 18446744073709551615 5168435 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29044/statm: 117284 114087 750 1214 0 116066 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 469136
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): 1792.7
CPU system time (s): 7.38588
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 505044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.7
system time used= 7.38588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160759
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= 20135
runsolver used 8.10977 second user time and 23.7384 second system time
The end