0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664800-1276613943.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 314k| 0 | - | 94 | 4 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.03 c 0.9s| 10000 | 9975 | 0 | 0.0 |3802k| 47 | - | 94 | 13 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
1.19/1.20 o 406
1.19/1.20 c * 1.0s| 11523 | 9408 | 0 | 0.0 |3549k| 47 | - | 94 | 15 | 0 | 0 | 0 | 16 | 0 | 0.000000e+00 | 4.060000e+02 | Inf
1.19/1.21 o 405
1.19/1.21 c * 1.0s| 11603 | 9454 | 0 | 0.0 |3585k| 47 | - | 94 | 33 | 0 | 0 | 0 | 34 | 0 | 0.000000e+00 | 4.050000e+02 | Inf
1.49/1.50 o 85
1.49/1.50 c * 1.3s| 14091 | 6125 | 0 | 0.0 |2381k| 47 | - | 94 | 95 | 0 | 0 | 0 | 98 | 0 | 0.000000e+00 | 8.500000e+01 | Inf
2.40/2.47 c 2.2s| 20000 | 9640 | 0 | 0.0 |4238k| 47 | - | 94 |1027 | 0 | 0 | 0 |1088 | 0 | 0.000000e+00 | 8.500000e+01 | Inf
2.79/2.85 o 24
2.79/2.85 c * 2.5s| 22017 | 8545 | 0 | 0.0 |4090k| 53 | - | 94 |1374 | 0 | 0 | 0 |1444 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
5.29/5.31 c 4.8s| 30000 | 10824 | 0 | 0.0 |6662k| 53 | - | 94 |2564 | 0 | 0 | 0 |3854 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
9.90/9.99 c 9.3s| 40000 | 11110 | 0 | 0.0 |9267k| 53 | - | 94 |3742 | 0 | 0 | 0 |8438 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
10.90/10.99 o 23
10.90/10.99 c *10.2s| 41362 | 10789 | 0 | 0.0 |9586k| 53 | - | 94 |4177 | 0 | 0 | 0 |9262 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
11.48/11.50 o 7
11.48/11.50 c *10.7s| 41839 | 9849 | 0 | 0.0 |9258k| 53 | - | 94 |4430 | 0 | 0 | 0 |9635 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
14.48/14.55 c 13.6s| 50000 | 12494 | 0 | 0.0 | 11M| 53 | - | 94 |2931 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
17.50/17.56 c 16.4s| 60000 | 16126 | 0 | 0.0 | 14M| 53 | - | 94 |3192 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
21.19/21.29 c 20.0s| 70000 | 18714 | 0 | 0.0 | 16M| 53 | - | 94 |3687 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
25.69/25.78 c 24.3s| 80000 | 20316 | 0 | 0.0 | 19M| 53 | - | 94 |4408 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
31.48/31.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.51 c 29.8s| 90000 | 21219 | 0 | 0.0 | 21M| 53 | - | 94 |5202 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
38.98/39.05 c 37.1s|100000 | 21370 | 0 | 0.0 | 23M| 53 | - | 94 |6806 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
41.48/41.56 o 6
41.48/41.56 c *39.5s|102832 | 21300 | 0 | 0.0 | 24M| 53 | - | 94 |7547 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
46.28/46.31 c 44.1s|110000 | 23681 | 0 | 0.0 | 25M| 53 | - | 94 |5085 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
46.57/46.66 o 5
46.57/46.66 c *44.5s|110676 | 23856 | 0 | 0.0 | 25M| 53 | - | 94 |5100 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
51.58/51.67 c 49.3s|120000 | 26251 | 0 | 0.0 | 26M| 53 | - | 94 |4615 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
55.38/55.40 c 52.9s|130000 | 30062 | 0 | 0.0 | 28M| 53 | - | 94 |5077 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
58.97/59.07 o 3
58.97/59.07 c *56.4s|138159 | 32383 | 0 | 0.0 | 29M| 53 | - | 94 |5527 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
59.87/59.96 c 57.3s|140000 | 33005 | 0 | 0.0 | 29M| 53 | - | 94 |5580 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
64.88/64.91 c 62.0s|150000 | 35724 | 0 | 0.0 | 31M| 53 | - | 94 |6197 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
70.48/70.56 c 67.5s|160000 | 38309 | 0 | 0.0 | 33M| 53 | - | 94 |6659 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
76.77/76.86 c 73.6s|170000 | 40298 | 0 | 0.0 | 35M| 53 | - | 94 |7055 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
83.77/83.87 c 80.4s|180000 | 42104 | 0 | 0.0 | 36M| 53 | - | 94 |7627 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
91.46/91.52 c 87.9s|190000 | 43694 | 0 | 0.0 | 38M| 53 | - | 94 |7793 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
99.86/99.95 c 96.1s|200000 | 45017 | 0 | 0.0 | 40M| 53 | - | 94 |8922 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
109.46/109.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.46/109.56 c 105s|210000 | 46258 | 0 | 0.0 | 42M| 53 | - | 94 |8945 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
119.85/119.98 c 116s|220000 | 46978 | 0 | 0.0 | 43M| 53 | - | 94 | 10k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
131.24/131.37 c 127s|230000 | 47725 | 0 | 0.0 | 45M| 53 | - | 94 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
144.33/144.42 c 140s|240000 | 48075 | 0 | 0.0 | 47M| 53 | - | 94 | 11k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.83/155.00 c 150s|250000 | 51278 | 0 | 0.0 | 48M| 53 | - | 94 |8307 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
163.93/164.04 c 159s|260000 | 53519 | 0 | 0.0 | 50M| 53 | - | 94 |8502 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
174.92/175.09 c 170s|270000 | 54820 | 0 | 0.0 | 52M| 53 | - | 94 |9895 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
183.32/183.45 c 178s|280000 | 57657 | 0 | 0.0 | 55M| 53 | - | 94 | 10k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
190.62/190.78 c 185s|290000 | 61743 | 0 | 0.0 | 57M| 53 | - | 94 | 11k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
199.03/199.14 c 193s|300000 | 65145 | 0 | 0.0 | 58M| 53 | - | 94 | 11k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
208.12/208.27 c 202s|310000 | 68293 | 0 | 0.0 | 60M| 53 | - | 94 | 12k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
217.91/218.00 c 212s|320000 | 71211 | 0 | 0.0 | 62M| 53 | - | 94 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
228.31/228.46 c 222s|330000 | 73896 | 0 | 0.0 | 63M| 53 | - | 94 | 13k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
240.00/240.12 c 233s|340000 | 76240 | 0 | 0.0 | 65M| 53 | - | 94 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
252.50/252.69 c 246s|350000 | 78433 | 0 | 0.0 | 66M| 53 | - | 94 | 14k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
266.00/266.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.00/266.15 c 259s|360000 | 80319 | 0 | 0.0 | 68M| 53 | - | 94 | 15k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
279.59/279.76 c 273s|370000 | 82207 | 0 | 0.0 | 69M| 53 | - | 94 | 15k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
293.29/293.49 c 286s|380000 | 84021 | 0 | 0.0 | 70M| 53 | - | 94 | 15k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
308.38/308.53 c 301s|390000 | 85346 | 0 | 0.0 | 71M| 53 | - | 94 | 15k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
324.48/324.63 c 317s|400000 | 86803 | 0 | 0.0 | 73M| 53 | - | 94 | 17k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
341.38/341.55 c 334s|410000 | 88039 | 0 | 0.0 | 74M| 53 | - | 94 | 17k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
358.17/358.33 c 350s|420000 | 89335 | 0 | 0.0 | 75M| 53 | - | 94 | 18k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
374.76/374.99 c 367s|430000 | 90874 | 0 | 0.0 | 76M| 53 | - | 94 | 18k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
393.45/393.66 c 385s|440000 | 91647 | 0 | 0.0 | 77M| 53 | - | 94 | 18k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
413.85/414.09 c 405s|450000 | 92327 | 0 | 0.0 | 78M| 53 | - | 94 | 19k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
435.14/435.36 c 426s|460000 | 93078 | 0 | 0.0 | 79M| 53 | - | 94 | 19k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
455.15/455.40 c 446s|470000 | 94235 | 0 | 0.0 | 80M| 53 | - | 94 | 20k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
476.43/476.65 c 467s|480000 | 95085 | 0 | 0.0 | 82M| 53 | - | 94 | 20k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
501.93/502.17 c 492s|490000 | 95277 | 0 | 0.0 | 83M| 53 | - | 94 | 21k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
525.62/525.81 c 516s|500000 | 95962 | 0 | 0.0 | 84M| 53 | - | 94 | 22k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
551.51/551.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.51/551.77 c 542s|510000 | 96289 | 0 | 0.0 | 84M| 53 | - | 94 | 22k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
578.31/578.54 c 568s|520000 | 96575 | 0 | 0.0 | 85M| 53 | - | 94 | 23k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
606.49/606.72 c 596s|530000 | 96523 | 0 | 0.0 | 86M| 53 | - | 94 | 24k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
627.49/627.73 c 617s|540000 | 99591 | 0 | 0.0 | 85M| 53 | - | 94 | 18k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
643.08/643.34 c 632s|550000 |103115 | 0 | 0.0 | 86M| 53 | - | 94 | 15k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
658.39/658.62 c 647s|560000 |105850 | 0 | 0.0 | 87M| 53 | - | 94 | 15k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
674.68/674.94 c 664s|570000 |107719 | 0 | 0.0 | 88M| 53 | - | 94 | 15k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
692.97/693.22 c 682s|580000 |109023 | 0 | 0.0 | 90M| 53 | - | 94 | 15k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
711.47/711.80 c 700s|590000 |110293 | 0 | 0.0 | 91M| 53 | - | 94 | 16k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
732.85/733.15 c 721s|600000 |111913 | 0 | 0.0 | 92M| 53 | - | 94 | 17k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
746.25/746.54 c 734s|610000 |115393 | 0 | 0.0 | 94M| 53 | - | 94 | 17k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
763.24/763.58 c 751s|620000 |117179 | 0 | 0.0 | 95M| 53 | - | 94 | 18k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
778.14/778.49 c 766s|630000 |120645 | 0 | 0.0 | 97M| 53 | - | 94 | 19k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
794.34/794.62 c 782s|640000 |124569 | 0 | 0.0 | 98M| 53 | - | 94 | 20k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
811.33/811.69 c 799s|650000 |127967 | 0 | 0.0 | 100M| 53 | - | 94 | 20k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
829.93/830.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.93/830.29 c 817s|660000 |131096 | 0 | 0.0 | 101M| 53 | - | 94 | 21k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
849.12/849.50 c 836s|670000 |133998 | 0 | 0.0 | 103M| 53 | - | 94 | 22k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
868.62/868.99 c 855s|680000 |136732 | 0 | 0.0 | 104M| 53 | - | 94 | 23k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
891.61/891.94 c 878s|690000 |139027 | 0 | 0.0 | 105M| 53 | - | 94 | 23k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
915.20/915.52 c 902s|700000 |141355 | 0 | 0.0 | 106M| 53 | - | 94 | 24k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.60/940.99 c 927s|710000 |143290 | 0 | 0.0 | 108M| 53 | - | 94 | 25k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
965.18/965.51 c 951s|720000 |145675 | 0 | 0.0 | 109M| 53 | - | 94 | 26k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
991.18/991.59 c 977s|730000 |147714 | 0 | 0.0 | 110M| 53 | - | 94 | 26k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1019.28/1019.70 c 1005s|740000 |149414 | 0 | 0.0 | 111M| 53 | - | 94 | 26k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1049.36/1049.75 c 1035s|750000 |150921 | 0 | 0.0 | 112M| 53 | - | 94 | 27k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1082.25/1082.66 c 1068s|760000 |152125 | 0 | 0.0 | 114M| 53 | - | 94 | 29k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1114.44/1114.88 c 1100s|770000 |153679 | 0 | 0.0 | 115M| 53 | - | 94 | 30k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1149.73/1150.12 c 1135s|780000 |154998 | 0 | 0.0 | 116M| 53 | - | 94 | 31k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1183.73/1184.16 c 1168s|790000 |156571 | 0 | 0.0 | 117M| 53 | - | 94 | 31k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1218.72/1219.13 c 1203s|800000 |158049 | 0 | 0.0 | 118M| 53 | - | 94 | 32k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1254.10/1254.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.10/1254.57 c 1238s|810000 |159520 | 0 | 0.0 | 119M| 53 | - | 94 | 32k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1292.10/1292.54 c 1276s|820000 |160071 | 0 | 0.0 | 120M| 53 | - | 94 | 32k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1333.38/1333.81 c 1317s|830000 |160825 | 0 | 0.0 | 121M| 53 | - | 94 | 33k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1376.87/1377.30 c 1361s|840000 |161425 | 0 | 0.0 | 122M| 53 | - | 94 | 35k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.26/1420.71 c 1404s|850000 |162198 | 0 | 0.0 | 123M| 53 | - | 94 | 36k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1461.75/1462.23 c 1445s|860000 |163185 | 0 | 0.0 | 124M| 53 | - | 94 | 36k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1506.44/1506.99 c 1490s|870000 |164123 | 0 | 0.0 | 125M| 53 | - | 94 | 37k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1549.62/1550.17 c 1533s|880000 |165274 | 0 | 0.0 | 125M| 53 | - | 94 | 36k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1591.22/1591.71 c 1574s|890000 |166573 | 0 | 0.0 | 127M| 53 | - | 94 | 37k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1639.69/1640.25 c 1622s|900000 |166837 | 0 | 0.0 | 127M| 53 | - | 94 | 37k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1690.78/1691.30 c 1673s|910000 |166868 | 0 | 0.0 | 128M| 53 | - | 94 | 39k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1745.47/1746.01 c 1727s|920000 |166834 | 0 | 0.0 | 129M| 53 | - | 94 | 40k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1798.65/1799.21 c 1780s|930000 |167222 | 0 | 0.0 | 130M| 53 | - | 94 | 40k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1781.77
1800.07/1800.62 c Solving Nodes : 930262
1800.07/1800.62 c Primal Bound : +3.00000000000000e+00 (9 solutions)
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.63 s SATISFIABLE
1800.07/1800.63 v x69 -x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 -x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 x68 -x67 -x66
1800.07/1800.63 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41
1800.07/1800.63 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1800.07/1800.63 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.63 c Solving Time : 1781.77
1800.07/1800.63 c Original Problem :
1800.07/1800.63 c Problem name : HOME/instance-2664800-1276613943.opb
1800.07/1800.63 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 8 initial, 8 maximal
1800.07/1800.63 c Presolved Problem :
1800.07/1800.63 c Problem name : t_HOME/instance-2664800-1276613943.opb
1800.07/1800.63 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.63 c Constraints : 4 initial, 40959 maximal
1800.07/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c linear : 0.00 0 0 0 0 0 4 0 0
1800.07/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.63 c root node : - 0 - - 0 - - - -
1800.07/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.63 c linear : 4 0 1819946 0 602244 411076 3084563 0 0 0
1800.07/1800.63 c logicor : 0+ 0 652465 0 0 270 255348 0 0 0
1800.07/1800.63 c countsols : 0 0 0 0 602251 0 0 0 0 0
1800.07/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.63 c linear : 119.46 0.00 118.62 0.00 0.84
1800.07/1800.63 c logicor : 869.43 0.00 869.43 0.00 0.00
1800.07/1800.63 c countsols : 0.37 0.00 0.00 0.00 0.37
1800.07/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.63 c vbounds : 0.99 2 0 0
1800.07/1800.63 c rootredcost : 1.18 0 0 0
1800.07/1800.63 c pseudoobj : 11.74 1831188 11423 676451
1800.07/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.63 c propagation : 39.14 422769 331431 1493547 33.0 35 33.7 -
1800.07/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.63 c applied globally : - - - 320015 21.1 - - -
1800.07/1800.63 c applied locally : - - - 14064 41.6 - - -
1800.07/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.63 c redcost : 0.00 0 0 0 0 0
1800.07/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.63 c intobj : 0.00 0 0 0 0 0
1800.07/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.63 c gomory : 0.00 0 0 0 0 0
1800.07/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.63 c cmir : 0.00 0 0 0 0 0
1800.07/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.63 c clique : 0.00 0 0 0 0 0
1800.07/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.63 c mcf : 0.00 0 0 0 0 0
1800.07/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.63 c Pricers : Time Calls Vars
1800.07/1800.63 c problem variables: 0.00 0 0
1800.07/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.63 c inference : 7.14 602242 0 0 0 0 1204484
1800.07/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.63 c random : 0.00 0 0 0 0 0 0
1800.07/1800.63 c Primal Heuristics : Time Calls Found
1800.07/1800.63 c LP solutions : 0.00 - 0
1800.07/1800.63 c pseudo solutions : 0.03 - 9
1800.07/1800.63 c oneopt : 0.86 0 0
1800.07/1800.63 c trivial : 0.00 2 0
1800.07/1800.63 c simplerounding : 0.00 0 0
1800.07/1800.63 c zirounding : 0.00 0 0
1800.07/1800.63 c rounding : 0.00 0 0
1800.07/1800.63 c shifting : 0.00 0 0
1800.07/1800.63 c intshifting : 0.00 0 0
1800.07/1800.63 c twoopt : 0.00 0 0
1800.07/1800.63 c fixandinfer : 0.00 0 0
1800.07/1800.63 c feaspump : 0.00 0 0
1800.07/1800.63 c coefdiving : 0.00 0 0
1800.07/1800.63 c pscostdiving : 0.00 0 0
1800.07/1800.63 c fracdiving : 0.00 0 0
1800.07/1800.63 c veclendiving : 0.00 0 0
1800.07/1800.63 c intdiving : 0.00 0 0
1800.07/1800.63 c actconsdiving : 0.00 0 0
1800.07/1800.63 c objpscostdiving : 0.00 0 0
1800.07/1800.63 c rootsoldiving : 0.00 0 0
1800.07/1800.63 c linesearchdiving : 0.00 0 0
1800.07/1800.63 c guideddiving : 0.00 0 0
1800.07/1800.63 c octane : 0.00 0 0
1800.07/1800.63 c rens : 0.00 0 0
1800.07/1800.63 c rins : 0.00 0 0
1800.07/1800.63 c localbranching : 0.00 0 0
1800.07/1800.63 c mutation : 0.00 0 0
1800.07/1800.63 c crossover : 0.00 0 0
1800.07/1800.63 c dins : 0.00 0 0
1800.07/1800.63 c undercover : 0.00 0 0
1800.07/1800.63 c nlp : 0.55 0 0
1800.07/1800.63 c trysol : 0.58 0 0
1800.07/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.63 c (at root node) : - 0 0 0.00 -
1800.07/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.63 c B&B Tree :
1800.07/1800.63 c number of runs : 1
1800.07/1800.63 c nodes : 930262
1800.07/1800.63 c nodes (total) : 930262
1800.07/1800.63 c nodes left : 167228
1800.07/1800.63 c max depth : 53
1800.07/1800.63 c max depth (total): 53
1800.07/1800.63 c backtracks : 123590 (13.3%)
1800.07/1800.63 c delayed cutoffs : 95854
1800.07/1800.63 c repropagations : 387967 (922386 domain reductions, 94758 cutoffs)
1800.07/1800.63 c avg switch length: 6.27
1800.07/1800.63 c switching time : 515.53
1800.07/1800.63 c Solution :
1800.07/1800.63 c Solutions found : 9 (9 improvements)
1800.07/1800.63 c First Solution : +4.06000000000000e+02 (in run 1, after 11523 nodes, 1.03 seconds, depth 29, found by <relaxation>)
1800.07/1800.63 c Primal Bound : +3.00000000000000e+00 (in run 1, after 138159 nodes, 56.40 seconds, depth 30, found by <relaxation>)
1800.07/1800.63 c Dual Bound : +0.00000000000000e+00
1800.07/1800.63 c Gap : infinite
1800.07/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.63 c Root Iterations : 0
1800.75/1801.32 c Time complete: 1800.78.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664800-1276613943/watcher-2664800-1276613943 -o /tmp/evaluation-result-2664800-1276613943/solver-2664800-1276613943 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664800-1276613943.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5080
/proc/meminfo: memFree=1785080/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=6584 CPUtime=0
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 36995625 6742016 884 1992294400 4194304 7136930 140735548268080 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5080/statm: 1646 894 254 719 0 925 0
[startup+0.047336 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5080
/proc/meminfo: memFree=1785080/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=10992 CPUtime=0.04
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 2706 0 0 0 3 1 0 0 20 0 1 0 36995625 11255808 2018 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 2748 2018 383 719 0 2027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10992
[startup+0.101341 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5080
/proc/meminfo: memFree=1785080/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=11316 CPUtime=0.09
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 2781 0 0 0 8 1 0 0 20 0 1 0 36995625 11587584 2093 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 2829 2093 383 719 0 2108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11316
[startup+0.301359 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5080
/proc/meminfo: memFree=1785080/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=12088 CPUtime=0.29
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 2998 0 0 0 25 4 0 0 20 0 1 0 36995625 12378112 2310 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 3022 2310 383 719 0 2301 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12088
[startup+0.701395 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5080
/proc/meminfo: memFree=1785080/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=13932 CPUtime=0.69
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 3477 0 0 0 60 9 0 0 21 0 1 0 36995625 14266368 2789 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 3483 2789 383 719 0 2762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13932
[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5081
/proc/meminfo: memFree=1774052/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=16916 CPUtime=1.49
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 4217 0 0 0 128 21 0 0 23 0 1 0 36995625 17321984 3529 1992294400 4194304 7136930 140735548268080 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 4229 3529 383 719 0 3508 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16916
[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5081
/proc/meminfo: memFree=1771572/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=18340 CPUtime=3.09
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 4578 0 0 0 273 36 0 0 25 0 1 0 36995625 18780160 3890 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 4585 3890 383 719 0 3864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18340
[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5081
/proc/meminfo: memFree=1768472/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=21312 CPUtime=6.29
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 5318 0 0 0 573 56 0 0 25 0 1 0 36995625 21823488 4630 1992294400 4194304 7136930 140735548268080 18446744073709551615 4210707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 5328 4630 383 719 0 4607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21312
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5081
/proc/meminfo: memFree=1764256/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=25132 CPUtime=12.69
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 6230 0 0 0 1186 83 0 0 25 0 1 0 36995625 25735168 5542 1992294400 4194304 7136930 140735548268080 18446744073709551615 4431714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 6283 5542 383 719 0 5562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25132
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5081
/proc/meminfo: memFree=1752600/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=36156 CPUtime=25.49
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 9028 0 0 0 2401 148 0 0 25 0 1 0 36995625 37023744 8340 1992294400 4194304 7136930 140735548268080 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 9039 8340 383 719 0 8318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36156
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5081
/proc/meminfo: memFree=1743672/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=45352 CPUtime=51.08
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 11258 0 0 0 4876 232 0 0 25 0 1 0 36995625 46440448 10570 1992294400 4194304 7136930 140735548268080 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 11338 10570 383 719 0 10617 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45352
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5083
/proc/meminfo: memFree=1727676/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=61144 CPUtime=102.28
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 15208 0 0 0 9841 387 0 0 25 0 1 0 36995625 62611456 14520 1992294400 4194304 7136930 140735548268080 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 15286 14520 383 719 0 14565 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 61144
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5094
/proc/meminfo: memFree=1714656/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=74092 CPUtime=162.23
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 18415 0 0 0 15717 506 0 0 25 0 1 0 36995625 75870208 17727 1992294400 4194304 7136930 140735548268080 18446744073709551615 5954174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 18523 17727 383 719 0 17802 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74092
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5094
/proc/meminfo: memFree=1699900/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=90736 CPUtime=222.21
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 22088 0 0 0 21588 633 0 0 25 0 1 0 36995625 92913664 21400 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 22684 21400 383 719 0 21963 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 90736
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5096
/proc/meminfo: memFree=1692460/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=98072 CPUtime=282.19
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 23925 0 0 0 27500 719 0 0 25 0 1 0 36995625 100425728 23237 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 24518 23237 383 719 0 23797 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 98072
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5098
/proc/meminfo: memFree=1686632/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=104672 CPUtime=342.18
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 25368 0 0 0 33426 792 0 0 25 0 1 0 36995625 107184128 24680 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 26168 24680 383 719 0 25447 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 104672
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5100
/proc/meminfo: memFree=1682912/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=108624 CPUtime=402.15
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 26273 0 0 0 39356 859 0 0 25 0 1 0 36995625 111230976 25585 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 27156 25585 383 719 0 26435 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 108624
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5102
/proc/meminfo: memFree=1679316/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=112216 CPUtime=462.14
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 27180 0 0 0 45295 919 0 0 25 0 1 0 36995625 114909184 26492 1992294400 4194304 7136930 140735548268080 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 28054 26492 383 719 0 27333 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 112216
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5102
/proc/meminfo: memFree=1676092/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=115276 CPUtime=522.12
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 27952 0 0 0 51239 973 0 0 25 0 1 0 36995625 118042624 27264 1992294400 4194304 7136930 140735548268080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 28819 27264 383 719 0 28098 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 115276
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5104
/proc/meminfo: memFree=1672868/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=118460 CPUtime=582.1
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 28743 0 0 0 57187 1023 0 0 25 0 1 0 36995625 121303040 28055 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 29615 28055 383 719 0 28894 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 118460
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5106
/proc/meminfo: memFree=1670016/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=122252 CPUtime=642.09
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 29427 0 0 0 63130 1079 0 0 25 0 1 0 36995625 125186048 28739 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 30563 28739 383 719 0 29842 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 122252
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 5119
/proc/meminfo: memFree=1646456/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=144136 CPUtime=1001.97
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 35139 0 0 0 98765 1432 0 0 25 0 1 0 36995625 147595264 34451 1992294400 4194304 7136930 140735548268080 18446744073709551615 4210694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 36034 34451 383 719 0 35313 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 144136
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5121
/proc/meminfo: memFree=1644472/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=146732 CPUtime=1061.96
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 35629 0 0 0 104726 1470 0 0 25 0 1 0 36995625 150253568 34941 1992294400 4194304 7136930 140735548268080 18446744073709551615 5955555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 36683 34941 383 719 0 35962 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 146732
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5121
/proc/meminfo: memFree=1641868/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=149120 CPUtime=1121.95
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 36311 0 0 0 110690 1505 0 0 25 0 1 0 36995625 152698880 35623 1992294400 4194304 7136930 140735548268080 18446744073709551615 5000086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 37280 35623 383 719 0 36559 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 149120
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5123
/proc/meminfo: memFree=1640256/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=151524 CPUtime=1181.93
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 36719 0 0 0 116653 1540 0 0 25 0 1 0 36995625 155160576 36031 1992294400 4194304 7136930 140735548268080 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 37881 36031 383 719 0 37160 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 151524
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5125
/proc/meminfo: memFree=1638892/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=152680 CPUtime=1241.91
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 37013 0 0 0 122617 1574 0 0 25 0 1 0 36995625 156344320 36325 1992294400 4194304 7136930 140735548268080 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 38170 36325 383 719 0 37449 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 152680
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5127
/proc/meminfo: memFree=1636660/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=154228 CPUtime=1301.9
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 37535 0 0 0 128588 1602 0 0 25 0 1 0 36995625 157929472 36847 1992294400 4194304 7136930 140735548268080 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 38557 36847 383 719 0 37836 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 154228
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5129
/proc/meminfo: memFree=1634924/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=156512 CPUtime=1361.88
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 38002 0 0 0 134559 1629 0 0 25 0 1 0 36995625 160268288 37314 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 39128 37314 383 719 0 38407 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 156512
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5129
/proc/meminfo: memFree=1633064/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=157868 CPUtime=1421.87
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 38441 0 0 0 140532 1655 0 0 25 0 1 0 36995625 161656832 37753 1992294400 4194304 7136930 140735548268080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 39467 37753 383 719 0 38746 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 157868
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5131
/proc/meminfo: memFree=1631204/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=159544 CPUtime=1481.84
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 38868 0 0 0 146502 1682 0 0 25 0 1 0 36995625 163373056 38180 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 39886 38180 383 719 0 39165 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 159544
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5133
/proc/meminfo: memFree=1629344/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=162148 CPUtime=1541.82
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 39314 0 0 0 152469 1713 0 0 25 0 1 0 36995625 166039552 38626 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 40537 38626 383 719 0 39816 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 162148
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5135
/proc/meminfo: memFree=1628848/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=162728 CPUtime=1601.81
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 39458 0 0 0 158436 1745 0 0 25 0 1 0 36995625 166633472 38770 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 40682 38770 383 719 0 39961 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 162728
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5137
/proc/meminfo: memFree=1628104/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=163388 CPUtime=1661.79
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 39616 0 0 0 164407 1772 0 0 25 0 1 0 36995625 167309312 38928 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 40847 38928 383 719 0 40126 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 163388
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5137
/proc/meminfo: memFree=1624508/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=167204 CPUtime=1721.77
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 40516 0 0 0 170381 1796 0 0 25 0 1 0 36995625 171216896 39828 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 41801 39828 383 719 0 41080 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 167204
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5139
/proc/meminfo: memFree=1622276/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=169248 CPUtime=1781.75
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 40999 0 0 0 176352 1823 0 0 25 0 1 0 36995625 173309952 40311 1992294400 4194304 7136930 140735548268080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 42312 40311 383 719 0 41591 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 169248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5141
/proc/meminfo: memFree=1622152/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=169380 CPUtime=1800.07
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 41038 0 0 0 178176 1831 0 0 25 0 1 0 36995625 173445120 40350 1992294400 4194304 7136930 140735548268080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5080/statm: 42345 40350 383 719 0 41624 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 169380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5141
/proc/meminfo: memFree=1622152/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=168348 CPUtime=1800.45
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 41052 0 0 0 178214 1831 0 0 25 0 1 0 36995625 172388352 40106 1992294400 4194304 7136930 140735548268080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5080/statm: 42087 40106 389 719 0 41366 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 168348
[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5141
/proc/meminfo: memFree=1622152/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=156800 CPUtime=1800.65
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 41052 0 0 0 178234 1831 0 0 25 0 1 0 36995625 160563200 37090 1992294400 4194304 7136930 140735548268080 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5080/statm: 39071 37090 389 719 0 38350 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 156800
[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5141
/proc/meminfo: memFree=1622152/2059040 swapFree=4135932/4192956
[pid=5080] ppid=5076 vsize=140852 CPUtime=1800.75
/proc/5080/stat : 5080 (pbscip.linux.x8) R 5076 5080 4434 0 -1 4202496 41052 0 0 0 178243 1832 0 0 25 0 1 0 36995625 144232448 33232 1992294400 4194304 7136930 140735548268080 18446744073709551615 6166186 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5080/statm: 35213 33232 389 719 0 34492 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 140852
Child status: 0
Real time (s): 1801.33
CPU time (s): 1800.79
CPU user time (s): 1782.44
CPU system time (s): 18.3412
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 169380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.45
system time used= 18.3412
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41061
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= 2
involuntary context switches= 2561
runsolver used 3.00354 second user time and 8.48671 second system time
The end