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-2664236-1276600050.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 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, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 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 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 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.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - | 372k| 0 | - | 120 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.89 o 1141
0.79/0.89 c * 0.8s| 7311 | 7113 | 0 | 0.0 |3058k| 92 | - | 120 | 18 | 0 | 0 | 0 | 107 | 0 | 0.000000e+00 | 1.141000e+03 | Inf
1.20/1.20 c 1.1s| 10000 | 9800 | 0 | 0.0 |4011k| 92 | - | 120 | 19 | 0 | 0 | 0 | 108 | 0 | 0.000000e+00 | 1.141000e+03 | Inf
2.30/2.39 c 2.1s| 20000 | 19796 | 0 | 0.0 |7843k| 92 | - | 120 | 17 | 0 | 0 | 0 | 110 | 0 | 0.000000e+00 | 1.141000e+03 | Inf
3.20/3.25 o 1043
3.20/3.25 c * 2.8s| 27146 | 26701 | 0 | 0.0 | 10M| 92 | - | 120 | 16 | 0 | 0 | 0 | 111 | 0 | 0.000000e+00 | 1.043000e+03 | Inf
3.30/3.37 o 251
3.30/3.37 c * 2.9s| 28014 | 12928 | 0 | 0.0 |4319k| 92 | - | 120 | 17 | 0 | 0 | 0 | 112 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
3.69/3.77 c 3.3s| 30000 | 13983 | 0 | 0.0 |5175k| 92 | - | 120 | 566 | 0 | 0 | 0 | 705 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
5.79/5.87 o 235
5.79/5.87 c * 5.2s| 37163 | 16842 | 0 | 0.0 |7729k| 92 | - | 120 |1398 | 0 | 0 | 0 |3165 | 0 | 0.000000e+00 | 2.350000e+02 | Inf
5.99/6.01 o 234
5.99/6.01 c * 5.4s| 37675 | 17118 | 0 | 0.0 |7868k| 92 | - | 120 |1268 | 0 | 0 | 0 |3295 | 0 | 0.000000e+00 | 2.340000e+02 | Inf
6.19/6.24 o 48
6.19/6.24 c * 5.6s| 38674 | 12651 | 0 | 0.0 |5671k| 92 | - | 120 |1065 | 0 | 0 | 0 |3502 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
6.50/6.56 c 5.9s| 40000 | 13341 | 0 | 0.0 |6043k| 92 | - | 120 |1157 | 0 | 0 | 0 |3820 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
7.99/8.07 o 45
7.99/8.07 c * 7.3s| 45718 | 16034 | 0 | 0.0 |7759k| 92 | - | 120 |1835 | 0 | 0 | 0 |5452 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
9.19/9.24 c 8.4s| 50000 | 18243 | 0 | 0.0 |8966k| 92 | - | 120 |2157 | 0 | 0 | 0 |6575 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
12.29/12.39 c 11.3s| 60000 | 22658 | 0 | 0.0 | 11M| 92 | - | 120 |2735 | 0 | 0 | 0 |9418 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
15.89/15.95 c 14.7s| 70000 | 26324 | 0 | 0.0 | 14M| 92 | - | 120 |3062 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
19.79/19.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.79/19.87 c 18.4s| 80000 | 29533 | 0 | 0.0 | 16M| 92 | - | 120 |3285 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
24.28/24.35 c 22.6s| 90000 | 31936 | 0 | 0.0 | 18M| 92 | - | 120 |3711 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
28.99/29.09 c 27.1s|100000 | 33890 | 0 | 0.0 | 21M| 92 | - | 120 |3767 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
34.18/34.24 c 32.0s|110000 | 35217 | 0 | 0.0 | 23M| 92 | - | 120 |4044 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
39.88/39.98 c 37.5s|120000 | 35931 | 0 | 0.0 | 25M| 92 | - | 120 |4559 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
47.19/47.25 c 44.5s|130000 | 35745 | 0 | 0.0 | 27M| 92 | - | 120 |4594 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
54.99/55.02 c 52.1s|140000 | 36176 | 0 | 0.0 | 28M| 92 | - | 120 |4586 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
55.18/55.25 o 44
55.18/55.25 c *52.4s|140530 | 36255 | 0 | 0.0 | 29M| 92 | - | 120 |4603 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
58.97/59.06 c 56.0s|150000 | 40018 | 0 | 0.0 | 30M| 92 | - | 120 |3281 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
63.08/63.11 c 59.8s|160000 | 43252 | 0 | 0.0 | 32M| 92 | - | 120 |3111 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
66.07/66.18 c 62.7s|170000 | 47839 | 0 | 0.0 | 34M| 92 | - | 120 |3144 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
69.28/69.30 c 65.7s|180000 | 53311 | 0 | 0.0 | 37M| 92 | - | 120 |3660 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
72.97/73.06 c 69.2s|190000 | 57913 | 0 | 0.0 | 39M| 92 | - | 120 |4207 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
76.88/76.92 c 72.9s|200000 | 62499 | 0 | 0.0 | 41M| 92 | - | 120 |4769 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
80.97/81.00 c 76.8s|210000 | 66999 | 0 | 0.0 | 43M| 92 | - | 120 |4807 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
85.37/85.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.37/85.43 c 81.0s|220000 | 71019 | 0 | 0.0 | 45M| 92 | - | 120 |4940 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
89.97/90.08 c 85.5s|230000 | 75007 | 0 | 0.0 | 47M| 92 | - | 120 |5517 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
94.86/94.94 c 90.2s|240000 | 78758 | 0 | 0.0 | 49M| 92 | - | 120 |5523 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
99.77/99.86 c 94.9s|250000 | 82390 | 0 | 0.0 | 51M| 92 | - | 120 |5849 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
105.06/105.17 c 100s|260000 | 85639 | 0 | 0.0 | 52M| 92 | - | 120 |6095 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
110.46/110.52 c 105s|270000 | 89039 | 0 | 0.0 | 54M| 92 | - | 120 |6008 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
115.76/115.88 c 110s|280000 | 92236 | 0 | 0.0 | 56M| 92 | - | 120 |6271 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
121.66/121.75 c 116s|290000 | 94925 | 0 | 0.0 | 58M| 92 | - | 120 |6721 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
127.96/128.02 c 122s|300000 | 97856 | 0 | 0.0 | 59M| 92 | - | 120 |6823 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
134.07/134.18 c 128s|310000 |100755 | 0 | 0.0 | 61M| 92 | - | 120 |6670 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
140.55/140.61 c 134s|320000 |103139 | 0 | 0.0 | 63M| 92 | - | 120 |7212 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
147.26/147.34 c 141s|330000 |105393 | 0 | 0.0 | 64M| 92 | - | 120 |7628 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
154.65/154.72 c 148s|340000 |107689 | 0 | 0.0 | 66M| 92 | - | 120 |7557 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
161.45/161.50 c 154s|350000 |110179 | 0 | 0.0 | 67M| 92 | - | 120 |7229 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
168.44/168.52 c 161s|360000 |112052 | 0 | 0.0 | 69M| 92 | - | 120 |7213 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
175.55/175.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.55/175.65 c 168s|370000 |113633 | 0 | 0.0 | 71M| 92 | - | 120 |7583 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
183.25/183.39 c 176s|380000 |115280 | 0 | 0.0 | 72M| 92 | - | 120 |8446 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
191.64/191.73 c 184s|390000 |117159 | 0 | 0.0 | 74M| 92 | - | 120 |8448 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
199.74/199.87 c 192s|400000 |118853 | 0 | 0.0 | 75M| 92 | - | 120 |8201 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
207.74/207.88 c 200s|410000 |120137 | 0 | 0.0 | 77M| 92 | - | 120 |8070 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
216.23/216.32 c 208s|420000 |121240 | 0 | 0.0 | 78M| 92 | - | 120 |8244 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
225.14/225.27 c 216s|430000 |122428 | 0 | 0.0 | 80M| 92 | - | 120 |9089 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
234.43/234.59 c 226s|440000 |123636 | 0 | 0.0 | 82M| 92 | - | 120 |9348 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
243.53/243.69 c 234s|450000 |124301 | 0 | 0.0 | 83M| 92 | - | 120 |9210 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
252.83/252.97 c 243s|460000 |124954 | 0 | 0.0 | 84M| 92 | - | 120 |9414 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
260.13/260.21 o 42
260.13/260.21 c * 250s|467145 |125247 | 0 | 0.0 | 86M| 92 | - | 120 |9623 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
263.02/263.19 c 253s|470000 |125365 | 0 | 0.0 | 86M| 92 | - | 120 |9257 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
270.32/270.48 c 261s|480000 |128950 | 0 | 0.0 | 87M| 92 | - | 120 |6795 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
275.42/275.58 c 265s|490000 |132509 | 0 | 0.0 | 89M| 92 | - | 120 |6693 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
280.72/280.83 c 270s|500000 |134786 | 0 | 0.0 | 91M| 92 | - | 120 |6910 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
285.92/286.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.92/286.08 c 276s|510000 |138043 | 0 | 0.0 | 93M| 92 | - | 120 |6183 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
290.52/290.67 c 280s|520000 |143365 | 0 | 0.0 | 95M| 92 | - | 120 |5190 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
295.32/295.48 c 285s|530000 |147817 | 0 | 0.0 | 97M| 92 | - | 120 |5278 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
300.42/300.52 c 289s|540000 |151699 | 0 | 0.0 | 99M| 92 | - | 120 |5374 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
305.91/306.04 c 295s|550000 |154981 | 0 | 0.0 | 101M| 92 | - | 120 |5805 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
312.01/312.17 c 301s|560000 |157936 | 0 | 0.0 | 103M| 92 | - | 120 |5492 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
318.01/318.13 c 306s|570000 |160960 | 0 | 0.0 | 105M| 92 | - | 120 |4786 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
322.71/322.89 c 311s|580000 |164276 | 0 | 0.0 | 107M| 92 | - | 120 |5166 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
327.01/327.12 c 315s|590000 |167677 | 0 | 0.0 | 109M| 92 | - | 120 |5360 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
331.60/331.72 c 319s|600000 |170944 | 0 | 0.0 | 111M| 92 | - | 120 |5962 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
335.61/335.77 c 323s|610000 |176142 | 0 | 0.0 | 113M| 92 | - | 120 |5332 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
339.81/339.92 c 327s|620000 |182018 | 0 | 0.0 | 115M| 92 | - | 120 |6143 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
344.50/344.62 c 332s|630000 |187665 | 0 | 0.0 | 118M| 92 | - | 120 |6729 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
349.30/349.44 c 336s|640000 |193132 | 0 | 0.0 | 120M| 92 | - | 120 |6854 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
354.20/354.37 c 341s|650000 |198505 | 0 | 0.0 | 122M| 92 | - | 120 |6949 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
359.60/359.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.60/359.75 c 346s|660000 |203289 | 0 | 0.0 | 124M| 92 | - | 120 |7646 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
365.40/365.58 c 352s|670000 |208012 | 0 | 0.0 | 126M| 92 | - | 120 |7622 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
370.89/371.09 c 357s|680000 |212662 | 0 | 0.0 | 128M| 92 | - | 120 |8144 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
377.20/377.31 c 363s|690000 |216933 | 0 | 0.0 | 130M| 92 | - | 120 |8864 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
383.70/383.80 c 370s|700000 |221287 | 0 | 0.0 | 132M| 92 | - | 120 |8834 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
389.79/389.91 c 376s|710000 |225732 | 0 | 0.0 | 134M| 92 | - | 120 |8476 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
396.08/396.29 c 382s|720000 |229978 | 0 | 0.0 | 136M| 92 | - | 120 |8694 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
402.69/402.80 c 388s|730000 |234075 | 0 | 0.0 | 138M| 92 | - | 120 |9082 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
409.69/409.84 c 395s|740000 |238301 | 0 | 0.0 | 140M| 92 | - | 120 |9692 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
416.88/417.09 c 402s|750000 |242313 | 0 | 0.0 | 142M| 92 | - | 120 | 10k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
424.18/424.35 c 409s|760000 |246576 | 0 | 0.0 | 144M| 92 | - | 120 | 10k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
431.48/431.69 c 416s|770000 |250632 | 0 | 0.0 | 146M| 92 | - | 120 | 10k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
439.47/439.66 c 424s|780000 |254302 | 0 | 0.0 | 147M| 92 | - | 120 | 10k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
440.08/440.25 o 41
440.08/440.25 c * 425s|780801 |254516 | 0 | 0.0 | 148M| 92 | - | 120 | 10k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
446.97/447.18 c 431s|790000 |258022 | 0 | 0.0 | 149M| 92 | - | 120 | 10k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
454.87/455.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.87/455.07 c 439s|800000 |261378 | 0 | 0.0 | 151M| 92 | - | 120 | 10k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
462.88/463.06 c 447s|810000 |265356 | 0 | 0.0 | 153M| 92 | - | 120 | 11k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
471.26/471.42 c 455s|820000 |268951 | 0 | 0.0 | 155M| 92 | - | 120 | 11k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
479.77/479.91 c 463s|830000 |272889 | 0 | 0.0 | 157M| 92 | - | 120 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
488.37/488.54 c 472s|840000 |276532 | 0 | 0.0 | 159M| 92 | - | 120 | 12k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
497.97/498.12 c 481s|850000 |279882 | 0 | 0.0 | 160M| 92 | - | 120 | 12k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
507.06/507.20 c 490s|860000 |283359 | 0 | 0.0 | 162M| 92 | - | 120 | 12k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
516.76/516.99 c 500s|870000 |286634 | 0 | 0.0 | 164M| 92 | - | 120 | 12k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
525.86/526.05 c 508s|880000 |290029 | 0 | 0.0 | 166M| 92 | - | 120 | 12k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
535.25/535.45 c 518s|890000 |293497 | 0 | 0.0 | 167M| 92 | - | 120 | 11k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
544.36/544.58 c 527s|900000 |296944 | 0 | 0.0 | 169M| 92 | - | 120 | 11k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
554.05/554.23 c 536s|910000 |300283 | 0 | 0.0 | 171M| 92 | - | 120 | 12k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
563.95/564.15 c 546s|920000 |303711 | 0 | 0.0 | 173M| 92 | - | 120 | 13k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
573.95/574.19 c 556s|930000 |307085 | 0 | 0.0 | 175M| 92 | - | 120 | 13k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
578.74/578.91 o 39
578.74/578.91 c * 560s|934245 |306997 | 0 | 0.0 | 175M| 92 | - | 120 | 13k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
585.44/585.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.44/585.61 c 567s|940000 |308642 | 0 | 0.0 | 176M| 92 | - | 120 | 13k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
587.94/588.16 o 38
587.94/588.16 c * 569s|942130 |309177 | 0 | 0.0 | 176M| 92 | - | 120 | 13k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
596.74/596.91 c 578s|950000 |311432 | 0 | 0.0 | 178M| 92 | - | 120 | 14k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
608.44/608.60 c 589s|960000 |314133 | 0 | 0.0 | 179M| 92 | - | 120 | 14k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
619.43/619.64 c 600s|970000 |317078 | 0 | 0.0 | 181M| 92 | - | 120 | 14k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
630.73/630.98 c 611s|980000 |319934 | 0 | 0.0 | 182M| 92 | - | 120 | 14k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
642.02/642.30 c 622s|990000 |322839 | 0 | 0.0 | 184M| 92 | - | 120 | 13k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
653.23/653.46 c 633s| 1000k|325753 | 0 | 0.0 | 186M| 92 | - | 120 | 13k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
664.32/664.60 c 644s| 1010k|328642 | 0 | 0.0 | 187M| 92 | - | 120 | 13k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
676.01/676.21 c 656s| 1020k|331528 | 0 | 0.0 | 189M| 92 | - | 120 | 13k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
687.41/687.68 c 667s| 1030k|334490 | 0 | 0.0 | 191M| 92 | - | 120 | 13k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
698.91/699.13 c 678s| 1040k|337132 | 0 | 0.0 | 192M| 92 | - | 120 | 14k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
710.61/710.82 c 690s| 1050k|339983 | 0 | 0.0 | 194M| 92 | - | 120 | 14k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
723.81/724.03 c 703s| 1060k|342151 | 0 | 0.0 | 196M| 92 | - | 120 | 15k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
736.50/736.79 c 715s| 1070k|344496 | 0 | 0.0 | 198M| 92 | - | 120 | 15k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
750.30/750.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.30/750.50 c 729s| 1080k|346614 | 0 | 0.0 | 199M| 92 | - | 120 | 15k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
763.49/763.76 c 742s| 1090k|348893 | 0 | 0.0 | 201M| 92 | - | 120 | 16k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
777.29/777.57 c 755s| 1100k|351205 | 0 | 0.0 | 203M| 92 | - | 120 | 16k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
791.28/791.59 c 769s| 1110k|353462 | 0 | 0.0 | 204M| 92 | - | 120 | 15k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
805.48/805.74 c 783s| 1120k|355683 | 0 | 0.0 | 206M| 92 | - | 120 | 16k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
820.28/820.50 c 798s| 1130k|358005 | 0 | 0.0 | 207M| 92 | - | 120 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
834.69/834.94 c 812s| 1140k|360314 | 0 | 0.0 | 209M| 92 | - | 120 | 16k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
848.37/848.60 c 825s| 1150k|362562 | 0 | 0.0 | 210M| 92 | - | 120 | 15k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
862.46/862.76 c 839s| 1160k|364755 | 0 | 0.0 | 212M| 92 | - | 120 | 16k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
876.87/877.18 c 853s| 1170k|367133 | 0 | 0.0 | 213M| 92 | - | 120 | 15k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
890.36/890.65 c 867s| 1180k|369496 | 0 | 0.0 | 214M| 92 | - | 120 | 15k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
903.66/903.94 c 880s| 1190k|371887 | 0 | 0.0 | 216M| 92 | - | 120 | 15k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
917.75/918.05 c 894s| 1200k|373884 | 0 | 0.0 | 218M| 92 | - | 120 | 16k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
933.05/933.38 c 909s| 1210k|375498 | 0 | 0.0 | 220M| 92 | - | 120 | 16k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
948.44/948.74 c 924s| 1220k|377058 | 0 | 0.0 | 221M| 92 | - | 120 | 17k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
963.35/963.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.35/963.60 c 938s| 1230k|378748 | 0 | 0.0 | 223M| 92 | - | 120 | 17k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
979.14/979.40 c 954s| 1240k|380371 | 0 | 0.0 | 224M| 92 | - | 120 | 18k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
995.14/995.48 c 970s| 1250k|382150 | 0 | 0.0 | 226M| 92 | - | 120 | 17k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1011.74/1012.08 c 986s| 1260k|383783 | 0 | 0.0 | 227M| 92 | - | 120 | 18k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1028.92/1029.27 c 1003s| 1270k|385597 | 0 | 0.0 | 229M| 92 | - | 120 | 18k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1045.62/1045.93 c 1020s| 1280k|387343 | 0 | 0.0 | 231M| 92 | - | 120 | 18k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1062.41/1062.76 c 1036s| 1290k|389045 | 0 | 0.0 | 232M| 92 | - | 120 | 18k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1080.01/1080.38 c 1054s| 1300k|390840 | 0 | 0.0 | 234M| 92 | - | 120 | 18k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1096.90/1097.25 c 1070s| 1310k|392670 | 0 | 0.0 | 235M| 92 | - | 120 | 17k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1111.81/1112.13 c 1085s| 1320k|394446 | 0 | 0.0 | 236M| 92 | - | 120 | 16k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1126.69/1127.02 c 1100s| 1330k|396178 | 0 | 0.0 | 237M| 92 | - | 120 | 16k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1142.50/1142.82 c 1115s| 1340k|397877 | 0 | 0.0 | 239M| 92 | - | 120 | 17k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1158.79/1159.17 c 1131s| 1350k|399659 | 0 | 0.0 | 241M| 92 | - | 120 | 17k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1174.69/1175.07 c 1147s| 1360k|401270 | 0 | 0.0 | 242M| 92 | - | 120 | 16k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1191.49/1191.88 c 1164s| 1370k|402658 | 0 | 0.0 | 243M| 92 | - | 120 | 17k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1209.28/1209.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.28/1209.63 c 1181s| 1380k|403751 | 0 | 0.0 | 245M| 92 | - | 120 | 18k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1226.57/1226.93 c 1198s| 1390k|404870 | 0 | 0.0 | 247M| 92 | - | 120 | 18k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1244.78/1245.10 c 1216s| 1400k|405923 | 0 | 0.0 | 248M| 92 | - | 120 | 18k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1262.47/1262.89 c 1234s| 1410k|407005 | 0 | 0.0 | 250M| 92 | - | 120 | 19k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1281.96/1282.39 c 1253s| 1420k|408137 | 0 | 0.0 | 251M| 92 | - | 120 | 19k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1300.15/1300.50 c 1271s| 1430k|409238 | 0 | 0.0 | 253M| 92 | - | 120 | 19k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1319.75/1320.15 c 1290s| 1440k|410488 | 0 | 0.0 | 254M| 92 | - | 120 | 20k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1339.64/1340.08 c 1310s| 1450k|411743 | 0 | 0.0 | 256M| 92 | - | 120 | 20k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1358.74/1359.12 c 1329s| 1460k|412916 | 0 | 0.0 | 257M| 92 | - | 120 | 19k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1378.73/1379.10 c 1348s| 1470k|414165 | 0 | 0.0 | 258M| 92 | - | 120 | 20k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1398.03/1398.49 c 1368s| 1480k|415404 | 0 | 0.0 | 260M| 92 | - | 120 | 19k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1415.62/1416.07 c 1385s| 1490k|416565 | 0 | 0.0 | 261M| 92 | - | 120 | 19k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1433.51/1433.95 c 1403s| 1500k|417806 | 0 | 0.0 | 262M| 92 | - | 120 | 19k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1452.31/1452.73 c 1421s| 1510k|419108 | 0 | 0.0 | 263M| 92 | - | 120 | 19k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1473.11/1473.55 c 1442s| 1520k|419779 | 0 | 0.0 | 265M| 92 | - | 120 | 19k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1493.11/1493.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.11/1493.55 c 1461s| 1530k|420451 | 0 | 0.0 | 266M| 92 | - | 120 | 19k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1513.49/1513.91 c 1482s| 1540k|421077 | 0 | 0.0 | 268M| 92 | - | 120 | 20k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1534.59/1535.05 c 1502s| 1550k|421733 | 0 | 0.0 | 269M| 92 | - | 120 | 21k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1555.39/1555.89 c 1523s| 1560k|422467 | 0 | 0.0 | 270M| 92 | - | 120 | 21k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1577.78/1578.29 c 1545s| 1570k|423190 | 0 | 0.0 | 272M| 92 | - | 120 | 22k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1599.78/1600.25 c 1567s| 1580k|424001 | 0 | 0.0 | 273M| 92 | - | 120 | 22k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1620.27/1620.73 c 1587s| 1590k|424937 | 0 | 0.0 | 274M| 92 | - | 120 | 20k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1641.76/1642.25 c 1608s| 1600k|425498 | 0 | 0.0 | 276M| 92 | - | 120 | 21k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1661.16/1661.61 o 37
1661.16/1661.61 c *1628s| 1608k|425815 | 0 | 0.0 | 276M| 92 | - | 120 | 21k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1664.56/1665.03 c 1631s| 1610k|425862 | 0 | 0.0 | 277M| 92 | - | 120 | 21k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1687.64/1688.13 c 1654s| 1620k|426408 | 0 | 0.0 | 278M| 92 | - | 120 | 21k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
1691.55/1692.07 o 36
1691.55/1692.07 c *1658s| 1621k|426507 | 0 | 0.0 | 278M| 92 | - | 120 | 20k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1701.04/1701.55 c 1667s| 1630k|430525 | 0 | 0.0 | 278M| 92 | - | 120 | 16k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1709.95/1710.44 c 1676s| 1640k|435208 | 0 | 0.0 | 280M| 92 | - | 120 | 16k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1719.04/1719.57 c 1685s| 1650k|439444 | 0 | 0.0 | 282M| 92 | - | 120 | 16k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1728.84/1729.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.84/1729.37 c 1694s| 1660k|443291 | 0 | 0.0 | 284M| 92 | - | 120 | 16k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1739.94/1740.48 c 1705s| 1670k|446672 | 0 | 0.0 | 286M| 92 | - | 120 | 16k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1751.84/1752.37 c 1717s| 1680k|449401 | 0 | 0.0 | 289M| 92 | - | 120 | 16k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1763.63/1764.19 c 1729s| 1690k|452059 | 0 | 0.0 | 291M| 92 | - | 120 | 16k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1776.72/1777.21 c 1741s| 1700k|454215 | 0 | 0.0 | 293M| 92 | - | 120 | 16k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1789.33/1789.85 c 1754s| 1710k|456124 | 0 | 0.0 | 295M| 92 | - | 120 | 16k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1764.27
1800.03/1800.51 c Solving Nodes : 1717736
1800.03/1800.51 c Primal Bound : +3.60000000000000e+01 (14 solutions)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v -x120 x119 -x118 x117 x116 x115 x114 x113 -x112 -x111 x110 x109 -x108 -x107 x106 -x105 x104 -x103 x102 x101 -x100 x99 x98 -x97
1800.03/1800.51 v x96 -x95 -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
1800.03/1800.51 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45
1800.03/1800.51 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.03/1800.51 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1764.27
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2664236-1276600050.opb
1800.03/1800.51 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 10 initial, 10 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2664236-1276600050.opb
1800.03/1800.51 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 5 initial, 22707 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.00 0 0 0 0 0 5 0 0
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 5 0 3832761 0 1168758 438922 8678156 0 0 0
1800.03/1800.51 c logicor : 0+ 0 1255079 0 0 873 534599 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 1168765 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c linear : 223.53 0.00 222.07 0.00 1.46
1800.03/1800.51 c logicor : 766.05 0.00 766.05 0.00 0.00
1800.03/1800.51 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 1.80 2 0 0
1800.03/1800.51 c rootredcost : 1.94 0 0 0
1800.03/1800.51 c pseudoobj : 59.70 4081156 248588 3637387
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 74.22 688383 647217 2047813 33.7 768 40.1 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 599073 25.5 - - -
1800.03/1800.51 c applied locally : - - - 61218 39.0 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 22.27 1168751 0 0 0 0 2337502
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.08 - 14
1800.03/1800.51 c oneopt : 1.49 0 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.93 0 0
1800.03/1800.51 c trysol : 0.84 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 1717736
1800.03/1800.51 c nodes (total) : 1717736
1800.03/1800.51 c nodes left : 457252
1800.03/1800.51 c max depth : 92
1800.03/1800.51 c max depth (total): 92
1800.03/1800.51 c backtracks : 152356 (8.9%)
1800.03/1800.51 c delayed cutoffs : 140050
1800.03/1800.51 c repropagations : 1045747 (2300094 domain reductions, 139413 cutoffs)
1800.03/1800.51 c avg switch length: 5.74
1800.03/1800.51 c switching time : 448.79
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 14 (14 improvements)
1800.03/1800.51 c First Solution : +1.14100000000000e+03 (in run 1, after 7311 nodes, 0.78 seconds, depth 36, found by <relaxation>)
1800.03/1800.51 c Primal Bound : +3.60000000000000e+01 (in run 1, after 1621818 nodes, 1657.74 seconds, depth 41, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 0
1801.72/1802.21 c Time complete: 1801.73.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664236-1276600050/watcher-2664236-1276600050 -o /tmp/evaluation-result-2664236-1276600050/solver-2664236-1276600050 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664236-1276600050.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: 0.92 0.98 0.99 3/106 11004
/proc/meminfo: memFree=1429408/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=6584 CPUtime=0
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 1295644 6742016 912 1992294400 4194304 7136930 140733925614576 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11004/statm: 1646 920 254 719 0 925 0
[startup+0.0274869 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11004
/proc/meminfo: memFree=1429408/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=10968 CPUtime=0.01
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 2464 0 0 0 1 0 0 0 20 0 1 0 1295644 11231232 1778 1992294400 4194304 7136930 140733925614576 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 2742 1793 362 719 0 2021 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10968
[startup+0.101267 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11004
/proc/meminfo: memFree=1429408/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=11236 CPUtime=0.09
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 2781 0 0 0 8 1 0 0 20 0 1 0 1295644 11505664 2094 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 2809 2094 383 719 0 2088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11236
[startup+0.301288 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11004
/proc/meminfo: memFree=1429408/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=12220 CPUtime=0.29
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 3011 0 0 0 27 2 0 0 20 0 1 0 1295644 12513280 2324 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 3055 2324 383 719 0 2334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12220
[startup+0.701332 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11004
/proc/meminfo: memFree=1429408/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=13844 CPUtime=0.69
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 3450 0 0 0 61 8 0 0 20 0 1 0 1295644 14176256 2763 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 3461 2763 383 719 0 2740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13844
[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1418736/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=17104 CPUtime=1.49
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 4280 0 0 0 130 19 0 0 22 0 1 0 1295644 17514496 3593 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 4276 3593 383 719 0 3555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17104
[startup+3.1016 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1413900/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=23112 CPUtime=3.09
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 5821 0 0 0 270 39 0 0 25 0 1 0 1295644 23666688 5134 1992294400 4194304 7136930 140733925614576 18446744073709551615 4978293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 5778 5134 383 719 0 5057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23112
[startup+6.30095 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1407080/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=25872 CPUtime=6.29
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 6520 0 0 0 564 65 0 0 25 0 1 0 1295644 26492928 5833 1992294400 4194304 7136930 140733925614576 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 6468 5833 383 719 0 5747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25872
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11007
/proc/meminfo: memFree=1404476/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=29876 CPUtime=12.69
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 7499 0 0 0 1161 108 0 0 25 0 1 0 1295644 30593024 6812 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7469 6812 383 719 0 6748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29876
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 11007
/proc/meminfo: memFree=1395052/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=37684 CPUtime=25.48
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 9485 0 0 0 2370 178 0 0 25 0 1 0 1295644 38588416 8798 1992294400 4194304 7136930 140733925614576 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9421 8798 383 719 0 8700 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37684
[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 11007
/proc/meminfo: memFree=1386248/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=46832 CPUtime=51.08
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 11750 0 0 0 4832 276 0 0 25 0 1 0 1295644 47955968 11063 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 11708 11063 383 719 0 10987 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46832
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 11009
/proc/meminfo: memFree=1360828/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=73312 CPUtime=102.27
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 17998 0 0 0 9720 507 0 0 25 0 1 0 1295644 75071488 17311 1992294400 4194304 7136930 140733925614576 18446744073709551615 5000137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 18328 17311 383 719 0 17607 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73312
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11011
/proc/meminfo: memFree=1340120/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=93880 CPUtime=162.25
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 23137 0 0 0 15516 709 0 0 25 0 1 0 1295644 96133120 22450 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 23470 22450 383 719 0 22749 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93880
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11011
/proc/meminfo: memFree=1328340/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=105372 CPUtime=222.23
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 26076 0 0 0 21355 868 0 0 25 0 1 0 1295644 107900928 25389 1992294400 4194304 7136930 140733925614576 18446744073709551615 4979559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 26343 25389 383 719 0 25622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105372
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11013
/proc/meminfo: memFree=1312468/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=121476 CPUtime=282.22
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 30163 0 0 0 27187 1035 0 0 25 0 1 0 1295644 124391424 29476 1992294400 4194304 7136930 140733925614576 18446744073709551615 4648625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 30369 29476 383 719 0 29648 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 121476
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11015
/proc/meminfo: memFree=1285560/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=146880 CPUtime=342.21
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 36703 0 0 0 32957 1264 0 0 25 0 1 0 1295644 150405120 36016 1992294400 4194304 7136930 140733925614576 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 36720 36016 383 719 0 35999 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 146880
[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11017
/proc/meminfo: memFree=1262744/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=173252 CPUtime=402.18
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 42359 0 0 0 38765 1453 0 0 25 0 1 0 1295644 177410048 41672 1992294400 4194304 7136930 140733925614576 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 43313 41672 383 719 0 42592 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 173252
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11019
/proc/meminfo: memFree=1246872/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=188840 CPUtime=462.17
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 46308 0 0 0 44608 1609 0 0 25 0 1 0 1295644 193372160 45621 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 47210 45621 383 719 0 46489 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 188840
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11019
/proc/meminfo: memFree=1235340/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=200608 CPUtime=522.15
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 49172 0 0 0 50473 1742 0 0 25 0 1 0 1295644 205422592 48485 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 50152 48485 383 719 0 49431 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 200608
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11021
/proc/meminfo: memFree=1221700/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=213740 CPUtime=582.14
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 52557 0 0 0 56353 1861 0 0 25 0 1 0 1295644 218869760 51870 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 53435 51870 383 719 0 52714 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 213740
[startup+642.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 11023
/proc/meminfo: memFree=1212524/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=223172 CPUtime=642.13
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 54855 0 0 0 62239 1974 0 0 25 0 1 0 1295644 228528128 54168 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 55793 54168 383 719 0 55072 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 223172
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11033
/proc/meminfo: memFree=1168628/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=265528 CPUtime=1002.03
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 65695 0 0 0 97654 2549 0 0 25 0 1 0 1295644 271900672 65008 1992294400 4194304 7136930 140733925614576 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 66382 65008 383 719 0 65661 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 265528
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11035
/proc/meminfo: memFree=1163544/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=270708 CPUtime=1062.01
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 66958 0 0 0 103575 2626 0 0 25 0 1 0 1295644 277204992 66271 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 67677 66271 383 719 0 66956 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 270708
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11035
/proc/meminfo: memFree=1156972/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=277292 CPUtime=1121.99
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 68578 0 0 0 109493 2706 0 0 25 0 1 0 1295644 283947008 67891 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 69323 67891 383 719 0 68602 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 277292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11037
/proc/meminfo: memFree=1152880/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=281072 CPUtime=1181.98
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 69558 0 0 0 115413 2785 0 0 25 0 1 0 1295644 287817728 68871 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 70268 68871 383 719 0 69547 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 281072
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11039
/proc/meminfo: memFree=1147176/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=286548 CPUtime=1241.97
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 70986 0 0 0 121328 2869 0 0 25 0 1 0 1295644 293425152 70299 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 71637 70299 383 719 0 70916 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 286548
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11041
/proc/meminfo: memFree=1140480/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=292776 CPUtime=1301.96
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 72628 0 0 0 127249 2947 0 0 25 0 1 0 1295644 299802624 71941 1992294400 4194304 7136930 140733925614576 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 73194 71941 383 719 0 72473 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 292776
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11043
/proc/meminfo: memFree=1136884/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=296540 CPUtime=1361.94
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 73538 0 0 0 133178 3016 0 0 25 0 1 0 1295644 303656960 72851 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 74135 72851 383 719 0 73414 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 296540
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11043
/proc/meminfo: memFree=1133784/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=299316 CPUtime=1421.93
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 74287 0 0 0 139106 3087 0 0 25 0 1 0 1295644 306499584 73600 1992294400 4194304 7136930 140733925614576 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 74829 73600 383 719 0 74108 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 299316
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11045
/proc/meminfo: memFree=1130684/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=302672 CPUtime=1481.9
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 75072 0 0 0 145032 3158 0 0 25 0 1 0 1295644 309936128 74385 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 75668 74385 383 719 0 74947 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 302672
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11050
/proc/meminfo: memFree=1126096/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=306672 CPUtime=1541.89
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 76068 0 0 0 150961 3228 0 0 25 0 1 0 1295644 314032128 75381 1992294400 4194304 7136930 140733925614576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 76668 75381 383 719 0 75947 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 306672
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11052
/proc/meminfo: memFree=1123492/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=309100 CPUtime=1601.88
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 76724 0 0 0 156902 3286 0 0 25 0 1 0 1295644 316518400 76037 1992294400 4194304 7136930 140733925614576 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 77275 76037 383 719 0 76554 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 309100
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11054
/proc/meminfo: memFree=1119896/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=312704 CPUtime=1661.86
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 77639 0 0 0 162831 3355 0 0 25 0 1 0 1295644 320208896 76952 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 78176 76952 383 719 0 77455 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 312704
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11054
/proc/meminfo: memFree=1110844/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=321648 CPUtime=1721.84
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 79906 0 0 0 168738 3446 0 0 25 0 1 0 1295644 329367552 79219 1992294400 4194304 7136930 140733925614576 18446744073709551615 4660276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 80412 79219 384 719 0 79691 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 321648
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11056
/proc/meminfo: memFree=1099436/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=332932 CPUtime=1781.82
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 82829 0 0 0 174632 3550 0 0 25 0 1 0 1295644 340922368 82142 1992294400 4194304 7136930 140733925614576 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 83233 82142 384 719 0 82512 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 332932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11056
/proc/meminfo: memFree=1096584/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=335444 CPUtime=1800.03
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 83471 0 0 0 176427 3576 0 0 25 0 1 0 1295644 343494656 82784 1992294400 4194304 7136930 140733925614576 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 83861 82784 384 719 0 83140 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 335444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11057
/proc/meminfo: memFree=1096576/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=334928 CPUtime=1800.92
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 83477 0 0 0 176516 3576 0 0 25 0 1 0 1295644 342966272 82661 1992294400 4194304 7136930 140733925614576 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11004/statm: 83732 82661 390 719 0 83011 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 334928
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11057
/proc/meminfo: memFree=1099056/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=330800 CPUtime=1801.33
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 83477 0 0 0 176557 3576 0 0 25 0 1 0 1295644 338739200 81629 1992294400 4194304 7136930 140733925614576 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11004/statm: 82700 81629 390 719 0 81979 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 330800
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11057
/proc/meminfo: memFree=1099056/2059040 swapFree=4192956/4192956
[pid=11004] ppid=11002 vsize=142936 CPUtime=1801.72
/proc/11004/stat : 11004 (pbscip.linux.x8) R 11002 11004 2334 0 -1 4202496 83477 0 0 0 176594 3578 0 0 25 0 1 0 1295644 146366464 34569 1992294400 4194304 7136930 140733925614576 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11004/statm: 35525 34520 390 719 0 34804 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 142936
Child status: 0
Real time (s): 1802.22
CPU time (s): 1801.75
CPU user time (s): 1765.95
CPU system time (s): 35.7996
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 335444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.95
system time used= 35.7996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83486
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= 3
involuntary context switches= 2284
runsolver used 3.01054 second user time and 8.48371 second system time
The end