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-2663663-1276649502.opb>
0.00/0.01 c original problem has 378 variables (378 bin, 0 int, 0 impl, 0 cont) and 267 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.05 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 1596 impls, 0 clqs
0.00/0.05 c (round 2) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 8 upgd conss, 1618 impls, 0 clqs
0.00/0.07 c (0.1s) probing: 187/371 (50.4%) - 0 fixings, 0 aggregations, 39 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.07 c presolving (3 rounds):
0.00/0.07 c 7 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 32 changed coefficients
0.00/0.07 c 1696 implications, 0 cliques
0.00/0.07 c presolved problem has 371 variables (371 bin, 0 int, 0 impl, 0 cont) and 267 constraints
0.00/0.07 c 251 constraints of type <and>
0.00/0.07 c 7 constraints of type <linear>
0.00/0.07 c 9 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.04
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.2
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1800
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 1620
0.00/0.07 c
0.00/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c lp/solvefreq = -1
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c heuristics/undercover/freq = 0
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 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.07 c 0.1s| 1 | 2 | 0 | - |1060k| 0 | - | 371 | 267 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.31 c 2.0s| 10000 | 5954 | 0 | 0.0 |4974k| 103 | - | 371 |1316 | 0 | 0 | 0 |4203 | 0 | 0.000000e+00 | -- | Inf
2.89/2.90 o 13
2.89/2.90 c * 2.5s| 12510 | 7175 | 0 | 0.0 |5882k| 103 | - | 371 |1542 | 0 | 0 | 0 |5174 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
4.89/4.95 c 4.4s| 20000 | 10845 | 0 | 0.0 |8453k| 103 | - | 371 |1852 | 0 | 0 | 0 |9710 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
7.79/7.88 c 7.0s| 30000 | 15884 | 0 | 0.0 | 11M| 103 | - | 371 |1822 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
10.69/10.73 c 9.6s| 40000 | 21475 | 0 | 0.0 | 15M| 103 | - | 371 |2402 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
13.88/13.98 c 12.5s| 50000 | 26333 | 0 | 0.0 | 18M| 111 | - | 371 |2189 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
15.78/15.84 o 5
15.78/15.84 c *14.2s| 55345 | 28240 | 0 | 0.0 | 20M| 111 | - | 371 |2404 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
17.18/17.27 c 15.5s| 60000 | 30600 | 0 | 0.0 | 22M| 111 | - | 371 |2844 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
20.68/20.70 c 18.7s| 70000 | 35259 | 0 | 0.0 | 25M| 111 | - | 371 |2869 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
24.49/24.59 c 22.3s| 80000 | 39594 | 0 | 0.0 | 27M| 111 | - | 371 |2347 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
27.98/28.05 c 25.5s| 90000 | 44447 | 0 | 0.0 | 31M| 111 | - | 371 |2849 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
31.38/31.41 c 28.6s|100000 | 49739 | 0 | 0.0 | 34M| 111 | - | 371 |2899 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
34.88/34.96 c 31.9s|110000 | 54802 | 0 | 0.0 | 38M| 111 | - | 371 |3088 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
38.58/38.61 c 35.3s|120000 | 59900 | 0 | 0.0 | 41M| 111 | - | 371 |3339 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
42.27/42.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.27/42.32 c 38.7s|130000 | 64869 | 0 | 0.0 | 44M| 111 | - | 371 |3845 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
46.38/46.44 c 42.6s|140000 | 69331 | 0 | 0.0 | 48M| 111 | - | 371 |4512 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
50.58/50.70 c 46.5s|150000 | 73465 | 0 | 0.0 | 50M| 111 | - | 371 |4153 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
55.18/55.20 c 50.8s|160000 | 76897 | 0 | 0.0 | 53M| 111 | - | 371 |4423 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
59.28/59.39 c 54.6s|170000 | 81437 | 0 | 0.0 | 56M| 111 | - | 371 |1911 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
64.17/64.22 c 59.2s|180000 | 85412 | 0 | 0.0 | 60M| 111 | - | 371 |3654 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
68.96/69.05 c 63.7s|190000 | 90418 | 0 | 0.0 | 64M| 111 | - | 371 |4000 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
71.27/71.36 o 3
71.27/71.36 c *65.9s|193781 | 72311 | 0 | 0.0 | 52M| 111 | - | 371 |3463 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
73.77/73.82 c 68.2s|200000 | 74805 | 0 | 0.0 | 54M| 111 | - | 371 |4000 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
78.37/78.42 c 72.5s|210000 | 78702 | 0 | 0.0 | 56M| 111 | - | 371 |3595 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
80.76/80.86 c 74.7s|220000 | 86899 | 0 | 0.0 | 60M| 111 | - | 371 |2467 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
85.67/85.70 c 79.3s|230000 | 90724 | 0 | 0.0 | 63M| 111 | - | 371 |3456 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
90.66/90.74 c 84.0s|240000 | 94706 | 0 | 0.0 | 66M| 111 | - | 371 |3635 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
96.06/96.12 c 89.1s|250000 | 98560 | 0 | 0.0 | 69M| 111 | - | 371 |3938 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
100.75/100.89 c 93.6s|260000 |103483 | 0 | 0.0 | 72M| 111 | - | 371 |3764 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
104.75/104.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.75/104.83 c 97.3s|270000 |109375 | 0 | 0.0 | 76M| 111 | - | 371 |3193 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
109.06/109.12 c 101s|280000 |114522 | 0 | 0.0 | 79M| 111 | - | 371 |3768 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
113.06/113.17 c 105s|290000 |120277 | 0 | 0.0 | 82M| 111 | - | 371 |3195 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
117.15/117.20 c 109s|300000 |125773 | 0 | 0.0 | 86M| 111 | - | 371 |3562 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
121.54/121.66 c 113s|310000 |130826 | 0 | 0.0 | 89M| 111 | - | 371 |3646 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
125.95/126.06 c 117s|320000 |136070 | 0 | 0.0 | 93M| 111 | - | 371 |3734 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
130.44/130.50 c 121s|330000 |141167 | 0 | 0.0 | 96M| 111 | - | 371 |3392 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
135.15/135.21 c 126s|340000 |145823 | 0 | 0.0 | 99M| 111 | - | 371 |4275 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
139.94/140.02 c 130s|350000 |150447 | 0 | 0.0 | 102M| 111 | - | 371 |4351 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
144.94/145.00 c 135s|360000 |154828 | 0 | 0.0 | 105M| 111 | - | 371 |4057 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
149.84/149.93 c 140s|370000 |159111 | 0 | 0.0 | 108M| 111 | - | 371 |4413 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
154.95/155.07 c 144s|380000 |163184 | 0 | 0.0 | 111M| 111 | - | 371 |4257 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
160.13/160.20 c 149s|390000 |167149 | 0 | 0.0 | 114M| 111 | - | 371 |4306 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
165.73/165.82 c 155s|400000 |170573 | 0 | 0.0 | 116M| 111 | - | 371 |4998 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
171.83/171.94 c 160s|410000 |173853 | 0 | 0.0 | 119M| 111 | - | 371 |5598 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
178.04/178.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.04/178.20 c 166s|420000 |176908 | 0 | 0.0 | 121M| 111 | - | 371 |5496 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
182.93/183.02 c 171s|430000 |181811 | 0 | 0.0 | 124M| 111 | - | 371 |4815 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
187.13/187.25 c 175s|440000 |186661 | 0 | 0.0 | 126M| 111 | - | 371 |4724 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
191.73/191.83 c 179s|450000 |190511 | 0 | 0.0 | 129M| 111 | - | 371 |4661 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
197.22/197.38 c 184s|460000 |192696 | 0 | 0.0 | 129M| 111 | - | 371 |4413 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
203.42/203.52 c 190s|470000 |196914 | 0 | 0.0 | 133M| 111 | - | 371 |5708 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
209.12/209.27 c 196s|480000 |200955 | 0 | 0.0 | 136M| 111 | - | 371 |6650 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
214.72/214.86 c 201s|490000 |205483 | 0 | 0.0 | 139M| 111 | - | 371 |5944 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
221.51/221.64 c 208s|500000 |209401 | 0 | 0.0 | 142M| 111 | - | 371 |6829 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
227.81/227.90 c 214s|510000 |213951 | 0 | 0.0 | 145M| 111 | - | 371 |6900 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
233.81/233.95 c 219s|520000 |218395 | 0 | 0.0 | 148M| 111 | - | 371 |6880 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
240.51/240.60 c 226s|530000 |222017 | 0 | 0.0 | 151M| 111 | - | 371 |6936 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
247.40/247.57 c 232s|540000 |224811 | 0 | 0.0 | 153M| 111 | - | 371 |6959 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
254.39/254.59 c 239s|550000 |228362 | 0 | 0.0 | 155M| 111 | - | 371 |5520 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
263.49/263.67 c 248s|560000 |229254 | 0 | 0.0 | 156M| 111 | - | 371 |7732 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
269.40/269.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.40/269.52 c 253s|570000 |233030 | 0 | 0.0 | 156M| 111 | - | 371 |2896 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
274.79/274.98 c 259s|580000 |236062 | 0 | 0.0 | 159M| 111 | - | 371 |3987 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
281.50/281.62 c 265s|590000 |239128 | 0 | 0.0 | 161M| 111 | - | 371 |4313 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
288.79/288.95 c 272s|600000 |242031 | 0 | 0.0 | 163M| 111 | - | 371 |5051 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
296.19/296.37 c 279s|610000 |245208 | 0 | 0.0 | 165M| 111 | - | 371 |5002 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
304.48/304.61 c 287s|620000 |248081 | 0 | 0.0 | 167M| 111 | - | 371 |5303 | 0 | 0 | 0 | 527k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
311.98/312.18 c 294s|630000 |251749 | 0 | 0.0 | 170M| 111 | - | 371 |5312 | 0 | 0 | 0 | 538k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
319.47/319.66 c 302s|640000 |255481 | 0 | 0.0 | 173M| 111 | - | 371 |6265 | 0 | 0 | 0 | 549k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
327.27/327.42 c 309s|650000 |259096 | 0 | 0.0 | 176M| 111 | - | 371 |6542 | 0 | 0 | 0 | 560k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
335.17/335.31 c 317s|660000 |262873 | 0 | 0.0 | 179M| 111 | - | 371 |6898 | 0 | 0 | 0 | 570k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
342.87/343.01 c 324s|670000 |266993 | 0 | 0.0 | 182M| 111 | - | 371 |6436 | 0 | 0 | 0 | 580k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
350.77/350.91 c 332s|680000 |270860 | 0 | 0.0 | 185M| 111 | - | 371 |6472 | 0 | 0 | 0 | 591k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
357.16/357.30 c 338s|690000 |275864 | 0 | 0.0 | 188M| 111 | - | 371 |7154 | 0 | 0 | 0 | 600k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
364.66/364.84 c 345s|700000 |280151 | 0 | 0.0 | 191M| 111 | - | 371 |6721 | 0 | 0 | 0 | 610k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
371.35/371.53 c 351s|710000 |284816 | 0 | 0.0 | 194M| 111 | - | 371 |6597 | 0 | 0 | 0 | 620k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
377.95/378.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.95/378.15 c 358s|720000 |289308 | 0 | 0.0 | 196M| 111 | - | 371 |5746 | 0 | 0 | 0 | 631k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
384.65/384.83 c 364s|730000 |293608 | 0 | 0.0 | 200M| 111 | - | 371 |6666 | 0 | 0 | 0 | 641k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
391.05/391.25 c 370s|740000 |298104 | 0 | 0.0 | 203M| 111 | - | 371 |6243 | 0 | 0 | 0 | 652k| 0 | 2.000000e+00 | 3.000000e+00 | 50.00%
394.35/394.57 o 2
394.35/394.57 c * 374s|743156 | 0 | 0 | 0.0 |5749k| 111 | - | 371 |6708 | 0 | 0 | 0 | 655k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
394.35/394.57 c
394.35/394.57 c SCIP Status : problem is solved [optimal solution found]
394.35/394.57 c Solving Time (sec) : 373.59
394.35/394.57 c Solving Nodes : 743156
394.35/394.57 c Primal Bound : +2.00000000000000e+00 (4 solutions)
394.35/394.57 c Dual Bound : +2.00000000000000e+00
394.35/394.57 c Gap : 0.00 %
394.35/394.57 s OPTIMUM FOUND
394.35/394.57 v -x126 -x125 x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x84 -x83 -x82 -x81 x80 -x79 -x114 -x113 -x112 -x111 -x110
394.35/394.57 v x109 -x78 -x77 -x76 -x75 x74 -x73 -x108 x107 -x106 -x105 -x104 -x103 -x72 -x71 -x70 -x69 x68 -x67 -x102 -x101 -x100 -x99 -x98
394.35/394.57 v -x97 x66 -x65 -x64 x63 x62 -x61 -x96 -x95 -x94 -x93 -x92 x91 -x60 -x59 -x58 -x57 x56 -x55 -x90 -x89 -x88 -x87 -x86 -x85 -x54
394.35/394.57 v -x53 -x52 x51 x50 -x49 -x48 x47 -x46 x45 x44 x43 -x42 x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 x31 -x30 x29 x28 -x27
394.35/394.57 v x26 x25 -x24 x23 -x22 -x21 x20 x19 -x18 -x17 x16 -x15 x14 x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 -x1
394.35/394.57 c SCIP Status : problem is solved [optimal solution found]
394.35/394.57 c Solving Time : 373.59
394.35/394.57 c Original Problem :
394.35/394.57 c Problem name : HOME/instance-2663663-1276649502.opb
394.35/394.57 c Variables : 378 (378 binary, 0 integer, 0 implicit integer, 0 continuous)
394.35/394.57 c Constraints : 267 initial, 267 maximal
394.35/394.57 c Presolved Problem :
394.35/394.57 c Problem name : t_HOME/instance-2663663-1276649502.opb
394.35/394.57 c Variables : 371 (371 binary, 0 integer, 0 implicit integer, 0 continuous)
394.35/394.57 c Constraints : 267 initial, 7809 maximal
394.35/394.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
394.35/394.57 c trivial : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c implics : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c probing : 0.02 0 0 0 0 0 0 0 0
394.35/394.57 c and : 0.01 0 0 0 0 0 0 0 0
394.35/394.57 c linear : 0.01 1 6 0 0 0 0 0 32
394.35/394.57 c logicor : 0.00 0 0 0 0 0 0 0 0
394.35/394.57 c root node : - 77 - - 77 - - - -
394.35/394.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
394.35/394.57 c integral : 0 0 0 0 0 0 0 0 0 0
394.35/394.57 c and : 251 0 2028256 0 594670 40430 2562981 0 0 0
394.35/394.57 c linear : 7 0 1987822 0 594670 183891 1260091 0 0 0
394.35/394.57 c logicor : 9+ 0 1077366 0 594592 9686 326405 0 0 0
394.35/394.57 c countsols : 0 0 0 0 594674 0 0 0 0 0
394.35/394.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
394.35/394.57 c integral : 0.00 0.00 0.00 0.00 0.00
394.35/394.57 c and : 28.85 0.00 22.40 0.00 6.45
394.35/394.57 c linear : 55.13 0.00 54.63 0.00 0.50
394.35/394.57 c logicor : 107.63 0.00 106.60 0.00 1.03
394.35/394.57 c countsols : 0.29 0.00 0.00 0.00 0.29
394.35/394.57 c Propagators : Time Calls Cutoffs DomReds
394.35/394.57 c vbounds : 1.02 2 0 0
394.35/394.57 c rootredcost : 0.97 0 0 0
394.35/394.57 c pseudoobj : 2.24 2027871 2 4132
394.35/394.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
394.35/394.57 c propagation : 29.74 234009 233491 2017369 30.5 15299 19.8 -
394.35/394.57 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
394.35/394.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
394.35/394.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
394.35/394.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
394.35/394.57 c applied globally : - - - 654554 23.1 - - -
394.35/394.57 c applied locally : - - - 1108 40.1 - - -
394.35/394.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
394.35/394.57 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
394.35/394.57 c redcost : 0.00 0 0 0 0 0
394.35/394.57 c impliedbounds : 0.00 0 0 0 0 0
394.35/394.57 c intobj : 0.00 0 0 0 0 0
394.35/394.57 c cgmip : 0.00 0 0 0 0 0
394.35/394.57 c gomory : 0.00 0 0 0 0 0
394.35/394.57 c strongcg : 0.00 0 0 0 0 0
394.35/394.57 c cmir : 0.00 0 0 0 0 0
394.35/394.57 c flowcover : 0.00 0 0 0 0 0
394.35/394.57 c clique : 0.00 0 0 0 0 0
394.35/394.57 c zerohalf : 0.00 0 0 0 0 0
394.35/394.57 c mcf : 0.00 0 0 0 0 0
394.35/394.57 c rapidlearning : 0.00 0 0 0 0 0
394.35/394.57 c Pricers : Time Calls Vars
394.35/394.57 c problem variables: 0.00 0 0
394.35/394.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
394.35/394.57 c relpscost : 0.00 0 0 0 0 0 0
394.35/394.57 c pscost : 0.00 0 0 0 0 0 0
394.35/394.57 c inference : 21.04 594670 0 0 0 0 1189340
394.35/394.57 c mostinf : 0.00 0 0 0 0 0 0
394.35/394.57 c leastinf : 0.00 0 0 0 0 0 0
394.35/394.57 c fullstrong : 0.00 0 0 0 0 0 0
394.35/394.57 c allfullstrong : 0.00 0 0 0 0 0 0
394.35/394.57 c random : 0.00 0 0 0 0 0 0
394.35/394.57 c Primal Heuristics : Time Calls Found
394.35/394.57 c LP solutions : 0.00 - 0
394.35/394.57 c pseudo solutions : 1.18 - 4
394.35/394.57 c oneopt : 0.58 0 0
394.35/394.57 c trivial : 0.00 2 0
394.35/394.57 c simplerounding : 0.00 0 0
394.35/394.57 c zirounding : 0.00 0 0
394.35/394.57 c rounding : 0.00 0 0
394.35/394.57 c shifting : 0.00 0 0
394.35/394.57 c intshifting : 0.00 0 0
394.35/394.57 c twoopt : 0.00 0 0
394.35/394.57 c fixandinfer : 0.00 0 0
394.35/394.57 c feaspump : 0.00 0 0
394.35/394.57 c coefdiving : 0.00 0 0
394.35/394.57 c pscostdiving : 0.00 0 0
394.35/394.57 c fracdiving : 0.00 0 0
394.35/394.57 c veclendiving : 0.00 0 0
394.35/394.57 c intdiving : 0.00 0 0
394.35/394.57 c actconsdiving : 0.00 0 0
394.35/394.57 c objpscostdiving : 0.00 0 0
394.35/394.57 c rootsoldiving : 0.00 0 0
394.35/394.57 c linesearchdiving : 0.00 0 0
394.35/394.57 c guideddiving : 0.00 0 0
394.35/394.57 c octane : 0.00 0 0
394.35/394.57 c rens : 0.00 0 0
394.35/394.57 c rins : 0.00 0 0
394.35/394.57 c localbranching : 0.00 0 0
394.35/394.57 c mutation : 0.00 0 0
394.35/394.57 c crossover : 0.00 0 0
394.35/394.57 c dins : 0.00 0 0
394.35/394.57 c undercover : 0.00 0 0
394.35/394.57 c nlp : 0.41 0 0
394.35/394.57 c trysol : 0.39 0 0
394.35/394.57 c LP : Time Calls Iterations Iter/call Iter/sec
394.35/394.57 c primal LP : 0.00 0 0 0.00 -
394.35/394.57 c dual LP : 0.00 0 0 0.00 -
394.35/394.57 c lex dual LP : 0.00 0 0 0.00 -
394.35/394.57 c barrier LP : 0.00 0 0 0.00 -
394.35/394.57 c diving/probing LP: 0.00 0 0 0.00 -
394.35/394.57 c strong branching : 0.00 0 0 0.00 -
394.35/394.57 c (at root node) : - 0 0 0.00 -
394.35/394.57 c conflict analysis: 0.00 0 0 0.00 -
394.35/394.57 c B&B Tree :
394.35/394.57 c number of runs : 1
394.35/394.57 c nodes : 743156
394.35/394.57 c nodes (total) : 743156
394.35/394.57 c nodes left : 0
394.35/394.57 c max depth : 111
394.35/394.57 c max depth (total): 111
394.35/394.57 c backtracks : 112828 (15.2%)
394.35/394.57 c delayed cutoffs : 125934
394.35/394.57 c repropagations : 304509 (973725 domain reductions, 85527 cutoffs)
394.35/394.57 c avg switch length: 9.81
394.35/394.57 c switching time : 102.03
394.35/394.57 c Solution :
394.35/394.57 c Solutions found : 4 (4 improvements)
394.35/394.57 c First Solution : +1.30000000000000e+01 (in run 1, after 12510 nodes, 2.54 seconds, depth 73, found by <relaxation>)
394.35/394.57 c Primal Bound : +2.00000000000000e+00 (in run 1, after 743156 nodes, 372.45 seconds, depth 71, found by <relaxation>)
394.35/394.57 c Dual Bound : +2.00000000000000e+00
394.35/394.57 c Gap : 0.00 %
394.35/394.57 c Root Dual Bound : +0.00000000000000e+00
394.35/394.57 c Root Iterations : 0
394.45/394.62 c Time complete: 394.46.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663663-1276649502/watcher-2663663-1276649502 -o /tmp/evaluation-result-2663663-1276649502/solver-2663663-1276649502 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663663-1276649502.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 12563
/proc/meminfo: memFree=1838776/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=6584 CPUtime=0
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 6241188 6742016 891 1992294400 4194304 7136930 140734833310592 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12563/statm: 1646 899 254 719 0 925 0
[startup+0.0852451 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12563
/proc/meminfo: memFree=1838776/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=12024 CPUtime=0.07
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 3757 0 0 0 5 2 0 0 20 0 1 0 6241188 12312576 2298 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 3006 2298 389 719 0 2285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12024
[startup+0.101248 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12563
/proc/meminfo: memFree=1838776/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=12156 CPUtime=0.09
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 3768 0 0 0 7 2 0 0 20 0 1 0 6241188 12447744 2309 1992294400 4194304 7136930 140734833310592 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 3039 2309 394 719 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12156
[startup+0.301281 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12563
/proc/meminfo: memFree=1838776/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=12856 CPUtime=0.29
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 3963 0 0 0 24 5 0 0 20 0 1 0 6241188 13164544 2504 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 3214 2504 394 719 0 2493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12856
[startup+0.701347 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12563
/proc/meminfo: memFree=1838776/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=14024 CPUtime=0.7
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 4247 0 0 0 59 11 0 0 21 0 1 0 6241188 14360576 2788 1992294400 4194304 7136930 140734833310592 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 3506 2788 394 719 0 2785 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14024
[startup+1.50048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12564
/proc/meminfo: memFree=1828724/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=14996 CPUtime=1.49
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 4509 0 0 0 129 20 0 0 23 0 1 0 6241188 15355904 3050 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 3749 3050 394 719 0 3028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14996
[startup+3.10075 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12564
/proc/meminfo: memFree=1826244/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=19236 CPUtime=3.09
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 5578 0 0 0 272 37 0 0 25 0 1 0 6241188 19697664 4119 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 4809 4119 394 719 0 4088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19236
[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12566
/proc/meminfo: memFree=1819920/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=23644 CPUtime=6.29
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 6689 0 0 0 560 69 0 0 25 0 1 0 6241188 24211456 5230 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 5911 5230 394 719 0 5190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23644
[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12566
/proc/meminfo: memFree=1810372/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=32592 CPUtime=12.69
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 8959 0 0 0 1138 131 0 0 25 0 1 0 6241188 33374208 7500 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 8148 7500 394 719 0 7427 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32592
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12566
/proc/meminfo: memFree=1794624/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=47504 CPUtime=25.49
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 12741 0 0 0 2317 232 0 0 25 0 1 0 6241188 48644096 11282 1992294400 4194304 7136930 140734833310592 18446744073709551615 4660974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 11876 11282 394 719 0 11155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47504
[startup+51.1017 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 12566
/proc/meminfo: memFree=1770196/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=73228 CPUtime=51.07
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 18810 0 0 0 4692 415 0 0 25 0 1 0 6241188 74985472 17351 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 18307 17351 394 719 0 17586 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73228
[startup+102.309 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 12568
/proc/meminfo: memFree=1743164/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=99632 CPUtime=102.26
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 25529 0 0 0 9493 733 0 0 25 0 1 0 6241188 102023168 24070 1992294400 4194304 7136930 140734833310592 18446744073709551615 4644694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 24908 24070 394 719 0 24187 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99632
[startup+162.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 12570
/proc/meminfo: memFree=1699268/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=143216 CPUtime=162.24
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 36644 0 0 0 15123 1101 0 0 25 0 1 0 6241188 146653184 35185 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 35804 35185 394 719 0 35083 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 143216
[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 12570
/proc/meminfo: memFree=1669136/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=175908 CPUtime=222.21
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 43945 0 0 0 20826 1395 0 0 25 0 1 0 6241188 180129792 42486 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 43977 42486 394 719 0 43256 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 175908
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12572
/proc/meminfo: memFree=1648304/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=196272 CPUtime=282.18
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 49159 0 0 0 26565 1653 0 0 25 0 1 0 6241188 200982528 47700 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 49068 47700 394 719 0 48347 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 196272
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12574
/proc/meminfo: memFree=1627100/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=216852 CPUtime=342.16
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 54398 0 0 0 32338 1878 0 0 25 0 1 0 6241188 222056448 52939 1992294400 4194304 7136930 140734833310592 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 54213 52939 394 719 0 53492 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 216852
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12574
/proc/meminfo: memFree=1619040/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=224792 CPUtime=358.16
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 56416 0 0 0 33877 1939 0 0 25 0 1 0 6241188 230187008 54957 1992294400 4194304 7136930 140734833310592 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 56198 54957 394 719 0 55477 0
Current children cumulated CPU time (s) 358.16
Current children cumulated vsize (KiB) 224792
[startup+371.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12574
/proc/meminfo: memFree=1614452/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=229248 CPUtime=370.95
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 57546 0 0 0 35105 1990 0 0 25 0 1 0 6241188 234749952 56087 1992294400 4194304 7136930 140734833310592 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 57312 56087 394 719 0 56591 0
Current children cumulated CPU time (s) 370.95
Current children cumulated vsize (KiB) 229248
[startup+383.908 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1608376/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=235312 CPUtime=383.76
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 59083 0 0 0 36335 2041 0 0 25 0 1 0 6241188 240959488 57624 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 58828 57624 394 719 0 58107 0
Current children cumulated CPU time (s) 383.76
Current children cumulated vsize (KiB) 235312
[startup+390.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1605028/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=238928 CPUtime=390.14
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60005 0 0 0 36945 2069 0 0 25 0 1 0 6241188 244662272 58546 1992294400 4194304 7136930 140734833310592 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 59732 58546 394 719 0 59011 0
Current children cumulated CPU time (s) 390.14
Current children cumulated vsize (KiB) 238928
[startup+391.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1604656/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=238928 CPUtime=391.75
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60009 0 0 0 37100 2075 0 0 25 0 1 0 6241188 244662272 58550 1992294400 4194304 7136930 140734833310592 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 59732 58550 394 719 0 59011 0
Current children cumulated CPU time (s) 391.75
Current children cumulated vsize (KiB) 238928
[startup+393.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1604532/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=238928 CPUtime=393.35
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60046 0 0 0 37252 2083 0 0 25 0 1 0 6241188 244662272 58587 1992294400 4194304 7136930 140734833310592 18446744073709551615 4616445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 59732 58587 394 719 0 59011 0
Current children cumulated CPU time (s) 393.35
Current children cumulated vsize (KiB) 238928
[startup+394.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1604408/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=238928 CPUtime=394.15
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60046 0 0 0 37332 2083 0 0 25 0 1 0 6241188 244662272 58587 1992294400 4194304 7136930 140734833310592 18446744073709551615 6166167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 59732 58587 394 719 0 59011 0
Current children cumulated CPU time (s) 394.15
Current children cumulated vsize (KiB) 238928
[startup+394.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1604408/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=237636 CPUtime=394.35
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60046 0 0 0 37352 2083 0 0 25 0 1 0 6241188 243339264 58264 1992294400 4194304 7136930 140734833310592 18446744073709551615 4616445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12563/statm: 59409 58264 394 719 0 58688 0
Current children cumulated CPU time (s) 394.35
Current children cumulated vsize (KiB) 237636
[startup+394.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1604408/2059040 swapFree=4168596/4192956
[pid=12563] ppid=12561 vsize=135264 CPUtime=394.45
/proc/12563/stat : 12563 (pbscip.linux.x8) R 12561 12563 11880 0 -1 4202496 60052 0 0 0 37361 2084 0 0 25 0 1 0 6241188 138510336 32678 1992294400 4194304 7136930 140734833310592 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12563/statm: 33816 32678 400 719 0 33095 0
Current children cumulated CPU time (s) 394.45
Current children cumulated vsize (KiB) 135264
Child status: 0
Real time (s): 394.62
CPU time (s): 394.476
CPU user time (s): 373.619
CPU system time (s): 20.8568
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 238928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.619
system time used= 20.8568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60058
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= 1
involuntary context switches= 4436
runsolver used 0.596909 second user time and 1.92471 second system time
The end