0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2666230-1276613948.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
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 # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 19 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 320
0.09/0.11 c y 0.1s| 1 | 0 | 19 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 25 | - | 527k| 0 | 7 | 94 | 130 | 94 | 10 | 6 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 30 | - | 571k| 0 | 8 | 94 | 130 | 94 | 15 | 11 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 38 | - | 614k| 0 | 10 | 94 | 130 | 94 | 22 | 18 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 47 | - | 664k| 0 | 12 | 94 | 130 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 57 | - | 698k| 0 | 13 | 94 | 130 | 94 | 30 | 26 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 65 | - | 748k| 0 | 13 | 94 | 130 | 94 | 34 | 30 | 0 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
0.18/0.23 c 0.2s| 1 | 2 | 65 | - | 749k| 0 | 13 | 94 | 130 | 94 | 34 | 30 | 0 | 9 | 0.000000e+00 | 3.200000e+02 | Inf
0.18/0.29 o 168
0.18/0.29 c c 0.2s| 24 | 25 | 168 | 4.5 | 772k| 23 | - | 94 | 130 | 94 | 13 | 30 | 0 | 104 | 0.000000e+00 | 1.680000e+02 | Inf
0.29/0.36 o 110
0.29/0.36 c f 0.3s| 66 | 60 | 319 | 3.9 | 804k| 25 | - | 94 | 130 | 94 | 13 | 30 | 2 | 191 | 0.000000e+00 | 1.100000e+02 | Inf
0.39/0.43 o 101
0.39/0.43 c l 0.3s| 131 | 125 | 572 | 3.9 | 814k| 25 | - | 94 | 121 | 94 | 13 | 30 | 3 | 261 | 0.000000e+00 | 1.010000e+02 | Inf
0.39/0.43 o 89
0.39/0.43 c g 0.3s| 131 | 120 | 573 | 3.9 | 818k| 25 | - | 94 | 121 | 94 | 13 | 30 | 4 | 261 | 0.000000e+00 | 8.900000e+01 | Inf
0.39/0.45 o 41
0.39/0.45 c c 0.3s| 145 | 110 | 639 | 4.0 | 827k| 25 | - | 94 | 121 | 94 | 13 | 30 | 4 | 264 | 0.000000e+00 | 4.100000e+01 | Inf
0.39/0.48 o 40
0.39/0.48 c * 0.4s| 200 | 148 | 772 | 3.6 | 837k| 25 | - | 94 | 121 | 94 | 13 | 30 | 5 | 277 | 0.000000e+00 | 4.000000e+01 | Inf
0.49/0.53 o 38
0.49/0.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.53 c * 0.4s| 274 | 201 | 944 | 3.2 | 870k| 28 | - | 94 | 126 | 94 | 13 | 30 | 13 | 311 | 0.000000e+00 | 3.800000e+01 | Inf
0.49/0.56 o 36
0.49/0.56 c * 0.4s| 309 | 224 | 1020 | 3.1 | 890k| 28 | - | 94 | 130 | 94 | 13 | 30 | 17 | 331 | 0.000000e+00 | 3.600000e+01 | Inf
0.49/0.56 o 34
0.49/0.56 c * 0.4s| 311 | 217 | 1020 | 3.1 | 888k| 28 | - | 94 | 130 | 94 | 13 | 30 | 17 | 333 | 0.000000e+00 | 3.400000e+01 | Inf
0.49/0.56 o 32
0.49/0.56 c * 0.4s| 312 | 214 | 1020 | 3.1 | 886k| 28 | - | 94 | 130 | 94 | 13 | 30 | 17 | 333 | 0.000000e+00 | 3.200000e+01 | Inf
0.59/0.63 o 30
0.59/0.63 c p 0.5s| 423 | 287 | 1323 | 3.0 | 933k| 28 | - | 94 | 121 | 94 | 13 | 30 | 27 | 346 | 0.000000e+00 | 3.000000e+01 | Inf
0.59/0.67 o 29
0.59/0.67 c * 0.5s| 483 | 323 | 1506 | 3.0 | 960k| 28 | - | 94 | 137 | 94 | 13 | 30 | 44 | 354 | 0.000000e+00 | 2.900000e+01 | Inf
0.59/0.68 o 28
0.59/0.68 c f 0.5s| 489 | 322 | 1532 | 3.0 | 967k| 28 | - | 94 | 143 | 94 | 13 | 30 | 50 | 356 | 0.000000e+00 | 2.800000e+01 | Inf
0.69/0.76 o 12
0.69/0.76 c g 0.6s| 626 | 378 | 1944 | 3.0 | 971k| 28 | - | 94 | 155 | 94 | 13 | 30 | 66 | 379 | 0.000000e+00 | 1.200000e+01 | Inf
1.49/1.56 o 10
1.49/1.56 c * 1.2s| 1830 | 1034 | 6429 | 3.5 |1363k| 28 | - | 94 | 360 | 94 | 13 | 30 | 359 | 408 | 0.000000e+00 | 1.000000e+01 | Inf
3.39/3.48 o 9
3.39/3.48 c * 2.9s| 5342 | 2028 | 16503 | 3.1 |2208k| 28 | - | 94 |1020 | 94 | 13 | 30 |1059 | 457 | 0.000000e+00 | 9.000000e+00 | Inf
3.39/3.49 o 7
3.39/3.49 c * 2.9s| 5343 | 2002 | 16503 | 3.1 |2189k| 28 | - | 94 |1020 | 94 | 13 | 30 |1059 | 457 | 0.000000e+00 | 7.000000e+00 | Inf
3.49/3.51 o 6
3.49/3.51 c * 2.9s| 5383 | 2015 | 16609 | 3.1 |2195k| 28 | - | 94 |1013 | 94 | 13 | 30 |1064 | 457 | 0.000000e+00 | 6.000000e+00 | Inf
5.69/5.78 c 4.9s| 10000 | 2660 | 29377 | 2.9 |2893k| 28 | - | 94 |1714 | 94 | 13 | 30 |1786 | 498 | 0.000000e+00 | 6.000000e+00 | Inf
6.38/6.41 o 5
6.38/6.41 c * 5.4s| 11246 | 2697 | 32493 | 2.9 |2995k| 28 | - | 94 |1919 | 94 | 13 | 30 |2006 | 504 | 0.000000e+00 | 5.000000e+00 | Inf
11.08/11.14 c 9.6s| 20000 | 3300 | 55953 | 2.8 |4028k| 28 | - | 94 |3211 | 94 | 13 | 30 |3447 | 539 | 0.000000e+00 | 5.000000e+00 | Inf
17.59/17.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.66 c 15.3s| 30000 | 3519 | 82488 | 2.7 |4725k| 28 | - | 94 |3774 | 94 | 13 | 30 |5344 | 660 | 0.000000e+00 | 5.000000e+00 | Inf
23.98/24.09 c 21.0s| 40000 | 4474 |109415 | 2.7 |5350k| 28 | - | 94 |3635 | 0 | 0 | 30 |6961 | 726 | 0.000000e+00 | 5.000000e+00 | Inf
30.58/30.61 c 26.8s| 50000 | 3880 |135592 | 2.7 |4883k| 28 | - | 94 |2784 | 94 | 13 | 30 |8752 | 769 | 0.000000e+00 | 5.000000e+00 | Inf
36.57/36.64 c 32.1s| 60000 | 3182 |161851 | 2.7 |3865k| 28 | 4 | 94 |1413 | 94 | 13 | 30 | 10k| 855 | 0.000000e+00 | 5.000000e+00 | Inf
41.27/41.38 c 36.1s| 70000 | 3899 |188493 | 2.7 |4307k| 28 | - | 94 |1240 | 0 | 0 | 30 | 12k| 957 | 0.000000e+00 | 5.000000e+00 | Inf
45.97/46.09 c 40.1s| 80000 | 3182 |212362 | 2.7 |3802k| 28 | 4 | 94 |1045 | 94 | 13 | 30 | 13k|1148 | 0.000000e+00 | 5.000000e+00 | Inf
49.67/49.77 o 1
49.67/49.77 c *43.2s| 88107 | 2920 |230956 | 2.6 |3571k| 28 | - | 94 |1002 | 94 | 13 | 30 | 15k|1234 | 0.000000e+00 | 1.000000e-00 | Inf
50.58/50.68 c 44.0s| 90000 | 3003 |233938 | 2.6 |3829k| 28 | - | 94 |1582 | 94 | 13 | 30 | 16k|1234 | 0.000000e+00 | 1.000000e-00 | Inf
56.46/56.58 c 49.2s|100000 | 2497 |249650 | 2.5 |3681k| 28 | 4 | 94 |2156 | 94 | 13 | 30 | 21k|1251 | 0.000000e+00 | 1.000000e-00 | Inf
63.17/63.27 c 55.1s|110000 | 2847 |267128 | 2.4 |4800k| 28 | 4 | 94 |4350 | 94 | 13 | 30 | 27k|1252 | 0.000000e+00 | 1.000000e-00 | Inf
70.37/70.46 c 61.5s|120000 | 2290 |283558 | 2.4 |4248k| 28 | 4 | 94 |3914 | 94 | 13 | 30 | 34k|1258 | 0.000000e+00 | 1.000000e-00 | Inf
77.86/77.98 c 68.3s|130000 | 2640 |300412 | 2.3 |4946k| 28 | 4 | 94 |4796 | 94 | 13 | 30 | 40k|1258 | 0.000000e+00 | 1.000000e-00 | Inf
86.35/86.40 c 76.0s|140000 | 2140 |316366 | 2.3 |4331k| 28 | 4 | 94 |4139 | 94 | 13 | 30 | 46k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
94.15/94.20 c 83.1s|150000 | 2050 |331288 | 2.2 |4784k| 28 | 4 | 94 |5489 | 94 | 13 | 30 | 52k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
101.75/101.82 c 90.0s|160000 | 1798 |347012 | 2.2 |4409k| 28 | - | 94 |4551 | 0 | 0 | 30 | 59k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
109.55/109.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.55/109.62 c 97.1s|170000 | 1610 |362746 | 2.1 |4400k| 28 | 4 | 94 |4868 | 94 | 13 | 30 | 65k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
117.24/117.34 c 104s|180000 | 1581 |378601 | 2.1 |4027k| 28 | 4 | 94 |3643 | 94 | 13 | 30 | 71k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
124.73/124.80 c 111s|190000 | 1819 |394569 | 2.1 |4806k| 28 | - | 94 |5349 | 94 | 13 | 30 | 78k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
133.23/133.39 c 119s|200000 | 1591 |409916 | 2.0 |4715k| 28 | - | 94 |5570 | 0 | 0 | 30 | 85k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
142.13/142.24 c 127s|210000 | 1462 |425114 | 2.0 |4783k| 28 | 4 | 94 |5965 | 94 | 13 | 30 | 91k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
151.23/151.36 c 135s|220000 | 1311 |440873 | 2.0 |5051k| 28 | - | 94 |6721 | 94 | 13 | 30 | 98k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
160.54/160.62 c 144s|230000 | 1689 |457316 | 2.0 |5922k| 28 | - | 94 |7973 | 94 | 13 | 30 | 104k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
170.92/171.05 c 153s|240000 | 1330 |472537 | 2.0 |5598k| 28 | - | 94 |7780 | 94 | 13 | 30 | 110k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
180.42/180.55 c 162s|250000 | 1607 |488730 | 2.0 |6036k| 28 | 4 | 94 |8133 | 94 | 13 | 30 | 115k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
190.52/190.67 c 172s|260000 | 1715 |504552 | 1.9 |6372k| 28 | 4 | 94 |8432 | 94 | 13 | 30 | 121k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
201.52/201.61 c 182s|270000 | 1628 |521034 | 1.9 |6620k| 28 | 4 | 94 |9092 | 94 | 13 | 30 | 127k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
212.80/212.92 c 192s|280000 | 1106 |536654 | 1.9 |5176k| 28 | - | 94 |6418 | 0 | 0 | 30 | 133k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
221.81/221.93 c 201s|290000 | 1260 |553417 | 1.9 |5783k| 28 | 4 | 94 |7654 | 94 | 13 | 30 | 139k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
232.31/232.46 c 210s|300000 | 1313 |569911 | 1.9 |6124k| 28 | 4 | 94 |8471 | 94 | 13 | 30 | 146k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
242.90/243.00 c 220s|310000 | 957 |585652 | 1.9 |5201k| 28 | - | 94 |6375 | 0 | 0 | 30 | 151k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
252.60/252.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.60/252.74 c 229s|320000 | 915 |601599 | 1.9 |5432k| 28 | 4 | 94 |7138 | 94 | 13 | 30 | 158k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
261.50/261.61 c 237s|330000 | 1425 |618383 | 1.9 |5647k| 28 | 4 | 94 |6505 | 94 | 13 | 30 | 164k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
271.29/271.47 c 246s|340000 | 1590 |634662 | 1.9 |6341k| 28 | 4 | 94 |7477 | 94 | 13 | 30 | 170k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
282.19/282.38 c 256s|350000 | 1824 |651263 | 1.9 |6752k| 28 | 4 | 94 |7662 | 94 | 13 | 30 | 176k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
292.88/293.05 c 266s|360000 | 1408 |667003 | 1.9 |6390k| 28 | 4 | 94 |6960 | 94 | 13 | 30 | 183k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
303.78/303.90 c 276s|370000 | 812 |682986 | 1.8 |5238k| 28 | 4 | 94 |6430 | 94 | 13 | 30 | 190k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
313.17/313.36 c 285s|380000 | 960 |699285 | 1.8 |6052k| 28 | 4 | 94 |8208 | 94 | 13 | 30 | 196k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
324.28/324.50 c 296s|390000 | 1159 |714996 | 1.8 |6713k| 28 | 4 | 94 |9426 | 94 | 13 | 30 | 202k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
335.87/336.08 c 306s|400000 | 966 |730133 | 1.8 |6621k| 28 | - | 94 |9657 | 94 | 13 | 30 | 208k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
347.27/347.45 c 317s|410000 | 1622 |746846 | 1.8 |7443k| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 214k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
359.67/359.81 c 329s|420000 | 1404 |762195 | 1.8 |7375k| 28 | - | 94 | 10k| 0 | 0 | 30 | 220k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
372.96/373.12 c 341s|430000 | 1083 |777464 | 1.8 |6983k| 28 | 4 | 94 |9984 | 94 | 13 | 30 | 226k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
384.56/384.76 c 352s|440000 | 1055 |792737 | 1.8 |6748k| 28 | - | 94 |9614 | 94 | 13 | 30 | 232k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
396.97/397.12 c 364s|450000 | 1200 |808555 | 1.8 |7444k| 28 | - | 94 | 10k| 0 | 0 | 30 | 238k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
409.85/410.01 c 376s|460000 | 1240 |823752 | 1.8 |7784k| 28 | - | 94 | 11k| 94 | 13 | 30 | 244k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
422.84/423.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.84/423.02 c 388s|470000 | 997 |839019 | 1.8 |7246k| 28 | - | 94 | 10k| 94 | 13 | 30 | 250k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
435.94/436.18 c 400s|480000 | 1189 |854718 | 1.8 |8069k| 28 | 4 | 94 | 12k| 94 | 13 | 30 | 255k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
450.75/450.98 c 414s|490000 | 789 |869785 | 1.8 |7422k| 28 | - | 94 | 11k| 0 | 0 | 30 | 261k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
461.84/462.02 c 425s|500000 | 1110 |886034 | 1.8 |7012k| 28 | - | 94 |8974 | 94 | 13 | 30 | 267k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
473.63/473.81 c 436s|510000 | 879 |901609 | 1.8 |7045k| 28 | - | 94 |9880 | 0 | 0 | 30 | 274k|1300 | 0.000000e+00 | 1.000000e-00 | Inf
485.73/485.94 c 447s|520000 | 743 |917243 | 1.8 |6196k| 28 | - | 94 |7459 | 0 | 0 | 30 | 280k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
496.12/496.33 c 457s|530000 | 675 |932797 | 1.8 |6734k| 28 | 4 | 94 |9061 | 94 | 13 | 30 | 286k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
507.42/507.64 c 468s|540000 | 569 |948352 | 1.8 |6309k| 28 | - | 94 |7986 | 0 | 0 | 30 | 292k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
518.82/519.00 c 478s|550000 | 564 |964161 | 1.8 |6725k| 28 | - | 94 |9247 | 94 | 13 | 30 | 299k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
529.11/529.38 c 488s|560000 | 592 |979854 | 1.7 |6287k| 28 | 4 | 94 |7693 | 94 | 13 | 30 | 304k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
539.51/539.72 c 498s|570000 | 781 |995699 | 1.7 |6908k| 28 | - | 94 |8764 | 94 | 13 | 30 | 309k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
551.11/551.33 c 508s|580000 | 616 | 1011k| 1.7 |7386k| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 315k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
562.20/562.43 c 519s|590000 | 485 | 1027k| 1.7 |6380k| 28 | 4 | 94 |7989 | 94 | 13 | 30 | 321k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
572.91/573.14 c 529s|600000 | 411 | 1042k| 1.7 |6486k| 28 | 4 | 94 |8287 | 94 | 13 | 30 | 326k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
585.10/585.35 c 540s|610000 | 429 | 1059k| 1.7 |7284k| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 333k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
598.10/598.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.10/598.37 c 553s|620000 | 297 | 1074k| 1.7 |6912k| 28 | 4 | 94 |9757 | 94 | 13 | 30 | 339k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
610.09/610.39 c 564s|630000 | 241 | 1091k| 1.7 |6128k| 28 | 4 | 94 |7407 | 94 | 13 | 30 | 345k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
620.68/620.90 c 574s|640000 | 250 | 1106k| 1.7 |6429k| 28 | 4 | 94 |8089 | 94 | 13 | 30 | 351k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
631.58/631.83 c 584s|650000 | 484 | 1122k| 1.7 |6967k| 28 | - | 94 |9332 | 0 | 0 | 30 | 357k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
643.57/643.89 c 595s|660000 | 167 | 1138k| 1.7 |6939k| 28 | - | 94 | 10k| 94 | 13 | 30 | 363k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
653.77/654.09 c 605s|670000 | 891 | 1154k| 1.7 |6037k| 28 | 4 | 94 |5924 | 94 | 13 | 30 | 369k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
662.67/662.93 c 613s|680000 | 1430 | 1171k| 1.7 |6801k| 28 | 4 | 94 |6378 | 94 | 13 | 30 | 374k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
672.16/672.42 c 622s|690000 | 1204 | 1187k| 1.7 |6856k| 28 | 4 | 94 |6281 | 94 | 13 | 30 | 380k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
681.76/682.07 c 631s|700000 | 621 | 1202k| 1.7 |6526k| 28 | - | 94 |6553 | 0 | 0 | 30 | 386k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
691.56/691.86 c 640s|710000 | 150 | 1217k| 1.7 |5863k| 28 | - | 94 |6802 | 0 | 0 | 30 | 392k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
701.46/701.71 c 649s|720000 | 692 | 1234k| 1.7 |6754k| 28 | 4 | 94 |8092 | 94 | 13 | 30 | 397k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
712.75/713.07 c 660s|730000 | 1293 | 1251k| 1.7 |7953k| 28 | 4 | 94 |9947 | 94 | 13 | 30 | 403k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
724.24/724.52 c 670s|740000 | 1583 | 1267k| 1.7 |8247k| 28 | - | 94 |9423 | 0 | 0 | 30 | 409k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
735.94/736.27 c 681s|750000 | 1415 | 1283k| 1.7 |8172k| 28 | - | 94 |8920 | 94 | 13 | 30 | 414k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
747.64/747.90 c 692s|760000 | 867 | 1299k| 1.7 |7710k| 28 | 4 | 94 |8664 | 94 | 13 | 30 | 420k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
759.23/759.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.23/759.58 c 703s|770000 | 693 | 1315k| 1.7 |7901k| 28 | 4 | 94 |9565 | 94 | 13 | 30 | 426k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
771.94/772.24 c 715s|780000 | 697 | 1331k| 1.7 |8285k| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 432k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
785.03/785.39 c 728s|790000 | 1323 | 1348k| 1.7 |7196k| 28 | 4 | 94 |8483 | 94 | 13 | 30 | 438k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
795.92/796.20 c 738s|800000 | 2232 | 1365k| 1.7 |8434k| 28 | 4 | 94 |9776 | 94 | 13 | 30 | 443k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
807.92/808.28 c 749s|810000 | 2755 | 1381k| 1.7 |8957k| 28 | - | 94 |9355 | 0 | 0 | 30 | 449k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
819.91/820.23 c 760s|820000 | 2952 | 1397k| 1.7 |9397k| 28 | - | 94 |9411 | 94 | 13 | 30 | 455k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
832.01/832.34 c 772s|830000 | 3236 | 1413k| 1.7 |9933k| 28 | 4 | 94 |9690 | 94 | 13 | 30 | 460k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
844.41/844.73 c 784s|840000 | 3273 | 1429k| 1.7 | 10M| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 466k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
857.10/857.40 c 796s|850000 | 3210 | 1444k| 1.7 | 10M| 28 | - | 94 | 10k| 0 | 0 | 30 | 472k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
870.19/870.57 c 808s|860000 | 3588 | 1460k| 1.7 | 11M| 28 | 4 | 94 | 11k| 94 | 13 | 30 | 478k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
883.68/884.01 c 821s|870000 | 4544 | 1477k| 1.7 | 12M| 28 | 4 | 94 | 12k| 94 | 13 | 30 | 483k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
897.78/898.17 c 834s|880000 | 5000 | 1493k| 1.7 | 12M| 28 | 4 | 94 | 12k| 94 | 13 | 30 | 489k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
911.68/912.05 c 847s|890000 | 5598 | 1509k| 1.7 | 13M| 28 | 4 | 94 | 13k| 94 | 13 | 30 | 494k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
927.17/927.50 c 862s|900000 | 5674 | 1525k| 1.7 | 14M| 28 | - | 94 | 13k| 94 | 13 | 30 | 499k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
943.06/943.45 c 877s|910000 | 5508 | 1540k| 1.7 | 14M| 28 | - | 94 | 12k| 0 | 0 | 30 | 505k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
958.66/959.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.66/959.08 c 892s|920000 | 5122 | 1555k| 1.7 | 13M| 28 | - | 94 | 12k| 0 | 0 | 30 | 511k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
974.56/974.95 c 907s|930000 | 4913 | 1571k| 1.7 | 13M| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 517k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
987.46/987.82 c 919s|940000 | 4895 | 1586k| 1.7 | 13M| 28 | - | 94 | 11k| 94 | 13 | 30 | 522k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1001.84/1002.26 c 933s|950000 | 4548 | 1601k| 1.7 | 13M| 28 | - | 94 | 11k| 0 | 0 | 30 | 528k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1016.43/1016.86 c 947s|960000 | 4180 | 1616k| 1.7 | 13M| 28 | 4 | 94 | 10k| 94 | 13 | 30 | 534k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1030.04/1030.49 c 960s|970000 | 3964 | 1631k| 1.7 | 13M| 28 | 4 | 94 | 12k| 94 | 13 | 30 | 539k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1045.13/1045.52 c 974s|980000 | 3647 | 1646k| 1.7 | 13M| 28 | - | 94 | 11k| 94 | 13 | 30 | 545k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1059.72/1060.12 c 988s|990000 | 3381 | 1662k| 1.7 | 12M| 28 | 4 | 94 | 11k| 94 | 13 | 30 | 551k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1073.23/1073.69 c 1001s| 1000k| 3773 | 1677k| 1.7 | 13M| 28 | 4 | 94 | 14k| 94 | 13 | 30 | 557k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1089.01/1089.46 c 1016s| 1010k| 4108 | 1693k| 1.7 | 15M| 28 | - | 94 | 16k| 0 | 0 | 30 | 563k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1106.91/1107.37 c 1033s| 1020k| 4055 | 1708k| 1.7 | 15M| 28 | 4 | 94 | 16k| 94 | 13 | 30 | 569k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1124.81/1125.20 c 1050s| 1030k| 3873 | 1723k| 1.7 | 14M| 28 | 4 | 94 | 15k| 94 | 13 | 30 | 574k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1141.59/1142.05 c 1066s| 1040k| 3810 | 1738k| 1.7 | 14M| 28 | 4 | 94 | 15k| 94 | 13 | 30 | 580k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1158.49/1158.97 c 1082s| 1050k| 3537 | 1753k| 1.7 | 14M| 28 | 4 | 94 | 14k| 94 | 13 | 30 | 585k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1174.59/1175.06 c 1097s| 1060k| 3453 | 1768k| 1.7 | 13M| 28 | - | 94 | 13k| 0 | 0 | 30 | 591k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1190.08/1190.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.08/1190.58 c 1112s| 1070k| 3199 | 1783k| 1.7 | 13M| 28 | - | 94 | 14k| 0 | 0 | 30 | 596k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1205.98/1206.46 c 1127s| 1080k| 3113 | 1798k| 1.7 | 13M| 28 | 4 | 94 | 14k| 94 | 13 | 30 | 602k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1222.98/1223.48 c 1144s| 1090k| 2667 | 1813k| 1.7 | 13M| 28 | - | 94 | 13k| 0 | 0 | 30 | 607k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1238.67/1239.17 c 1159s| 1100k| 2401 | 1828k| 1.7 | 12M| 28 | 4 | 94 | 13k| 94 | 13 | 30 | 613k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1253.96/1254.47 c 1173s| 1110k| 2054 | 1843k| 1.7 | 12M| 28 | 4 | 94 | 13k| 94 | 13 | 30 | 620k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1268.96/1269.45 c 1188s| 1120k| 2094 | 1858k| 1.7 | 12M| 28 | - | 94 | 14k| 0 | 0 | 30 | 625k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1284.25/1284.79 c 1202s| 1130k| 2652 | 1873k| 1.7 | 13M| 28 | - | 94 | 15k| 94 | 13 | 30 | 630k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1301.04/1301.57 c 1218s| 1140k| 2658 | 1887k| 1.7 | 13M| 28 | 4 | 94 | 15k| 94 | 13 | 30 | 634k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1317.63/1318.17 c 1234s| 1150k| 2859 | 1902k| 1.7 | 14M| 28 | - | 94 | 17k| 0 | 0 | 30 | 639k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1336.04/1336.57 c 1252s| 1160k| 3112 | 1916k| 1.7 | 15M| 28 | - | 94 | 19k| 94 | 13 | 30 | 644k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1356.93/1357.46 c 1272s| 1170k| 2783 | 1930k| 1.6 | 14M| 28 | - | 94 | 17k| 0 | 0 | 30 | 649k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1375.22/1375.77 c 1290s| 1180k| 2831 | 1945k| 1.6 | 14M| 28 | - | 94 | 17k| 94 | 13 | 30 | 653k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1394.22/1394.70 c 1308s| 1190k| 2300 | 1959k| 1.6 | 13M| 28 | - | 94 | 16k| 0 | 0 | 30 | 659k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1411.81/1412.36 c 1325s| 1200k| 2550 | 1974k| 1.6 | 14M| 28 | 4 | 94 | 17k| 94 | 13 | 30 | 664k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1431.30/1431.82 c 1344s| 1210k| 2575 | 1988k| 1.6 | 14M| 28 | - | 94 | 18k| 0 | 0 | 30 | 669k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1450.59/1451.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.59/1451.19 c 1363s| 1220k| 2315 | 2002k| 1.6 | 14M| 28 | - | 94 | 17k| 0 | 0 | 30 | 674k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1469.10/1469.63 c 1380s| 1230k| 2123 | 2016k| 1.6 | 13M| 28 | 4 | 94 | 17k| 94 | 13 | 30 | 678k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1487.28/1487.84 c 1398s| 1240k| 2042 | 2031k| 1.6 | 14M| 28 | 4 | 94 | 19k| 94 | 13 | 30 | 684k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1507.97/1508.54 c 1418s| 1250k| 2025 | 2047k| 1.6 | 14M| 28 | 4 | 94 | 18k| 94 | 13 | 30 | 689k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1528.68/1529.21 c 1438s| 1260k| 2139 | 2063k| 1.6 | 14M| 28 | 4 | 94 | 19k| 94 | 13 | 30 | 695k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1549.66/1550.27 c 1458s| 1270k| 1959 | 2079k| 1.6 | 14M| 28 | - | 94 | 20k| 0 | 0 | 30 | 700k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1569.75/1570.34 c 1477s| 1280k| 2610 | 2095k| 1.6 | 15M| 28 | 4 | 94 | 20k| 94 | 13 | 30 | 706k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1592.16/1592.71 c 1499s| 1290k| 2122 | 2110k| 1.6 | 15M| 28 | 4 | 94 | 21k| 94 | 13 | 30 | 711k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1614.34/1614.95 c 1520s| 1300k| 2117 | 2126k| 1.6 | 15M| 28 | 4 | 94 | 21k| 94 | 13 | 30 | 717k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1635.44/1636.07 c 1540s| 1310k| 2060 | 2141k| 1.6 | 15M| 28 | 4 | 94 | 19k| 94 | 13 | 30 | 723k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1656.54/1657.13 c 1561s| 1320k| 2092 | 2157k| 1.6 | 15M| 28 | - | 94 | 21k| 0 | 0 | 30 | 729k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1680.24/1680.86 c 1584s| 1330k| 1827 | 2173k| 1.6 | 14M| 28 | - | 94 | 18k| 0 | 0 | 30 | 735k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1699.02/1699.70 c 1602s| 1340k| 1820 | 2189k| 1.6 | 15M| 28 | - | 94 | 20k| 0 | 0 | 30 | 740k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1723.71/1724.39 c 1626s| 1350k| 71 | 2202k| 1.6 |9082k| 28 | 4 | 94 | 13k| 94 | 13 | 30 | 747k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1738.52/1739.16 c 1640s| 1360k| 135 | 2217k| 1.6 |9947k| 28 | - | 94 | 15k| 94 | 13 | 30 | 753k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1754.60/1755.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.60/1755.25 c 1655s| 1370k| 301 | 2234k| 1.6 | 10M| 28 | 4 | 94 | 15k| 94 | 13 | 30 | 759k|1308 | 0.000000e+00 | 1.000000e-00 | Inf
1769.00/1769.61 c
1769.00/1769.61 c SCIP Status : problem is solved [optimal solution found]
1769.00/1769.61 c Solving Time (sec) : 1668.65
1769.00/1769.61 c Solving Nodes : 1377847
1769.00/1769.61 c Primal Bound : +1.00000000000000e-00 (23 solutions)
1769.00/1769.61 c Dual Bound : +1.00000000000000e-00
1769.00/1769.61 c Gap : 0.00 %
1769.00/1769.61 s OPTIMUM FOUND
1769.00/1769.61 v x69 x94 -x93 -x92 -x91 -x90 -x89 x88 x87 x86 x85 -x84 -x83 x82 -x81 -x80 -x79 x78 x77 x76 -x75 -x74 x73 x72 -x71 -x70 x68 -x67
1769.00/1769.61 v x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1769.00/1769.61 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1769.00/1769.61 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1769.00/1769.61 c SCIP Status : problem is solved [optimal solution found]
1769.00/1769.61 c Solving Time : 1668.65
1769.00/1769.61 c Original Problem :
1769.00/1769.61 c Problem name : HOME/instance-2666230-1276613948.opb
1769.00/1769.61 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1769.00/1769.61 c Constraints : 8 initial, 8 maximal
1769.00/1769.61 c Presolved Problem :
1769.00/1769.61 c Problem name : t_HOME/instance-2666230-1276613948.opb
1769.00/1769.61 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1769.00/1769.61 c Constraints : 4 initial, 22469 maximal
1769.00/1769.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1769.00/1769.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c implics : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c probing : 0.01 0 0 0 0 0 0 0 0
1769.00/1769.61 c linear : 0.00 0 0 0 0 0 4 0 0
1769.00/1769.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1769.00/1769.61 c root node : - 65 - - 65 - - - -
1769.00/1769.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1769.00/1769.61 c integral : 0 0 0 781715 0 31 307 0 0 1562752
1769.00/1769.61 c linear : 4+ 7 3111440 1 0 522770 2914471 0 0 0
1769.00/1769.61 c logicor : 0+ 0 1709030 0 0 23548 747755 0 0 0
1769.00/1769.61 c countsols : 0 0 0 12 0 0 0 0 0 0
1769.00/1769.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1769.00/1769.61 c integral : 10.57 0.00 0.00 10.57 0.00
1769.00/1769.61 c linear : 186.53 0.00 186.53 0.00 0.00
1769.00/1769.61 c logicor : 575.34 0.00 575.34 0.00 0.00
1769.00/1769.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1769.00/1769.61 c Propagators : Time Calls Cutoffs DomReds
1769.00/1769.61 c vbounds : 1.91 2 0 0
1769.00/1769.61 c rootredcost : 1.63 21 0 64
1769.00/1769.61 c pseudoobj : 15.69 3112184 932 15279
1769.00/1769.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1769.00/1769.61 c propagation : 25.25 547250 334474 765529 21.0 65 19.4 -
1769.00/1769.61 c infeasible LP : 17.03 260300 259756 410209 13.4 1905 18.0 0
1769.00/1769.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1769.00/1769.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1769.00/1769.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1769.00/1769.61 c applied globally : - - - 763818 16.7 - - -
1769.00/1769.61 c applied locally : - - - 411 31.7 - - -
1769.00/1769.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1769.00/1769.61 c cut pool : 0.00 5 - - 24 - (maximal pool size: 115)
1769.00/1769.61 c redcost : 4.07 788432 0 107797 0 0
1769.00/1769.61 c impliedbounds : 0.00 6 0 0 0 0
1769.00/1769.61 c intobj : 0.00 0 0 0 0 0
1769.00/1769.61 c cgmip : 0.00 0 0 0 0 0
1769.00/1769.61 c gomory : 0.00 6 0 0 0 0
1769.00/1769.61 c strongcg : 0.00 6 0 0 54 0
1769.00/1769.61 c cmir : 0.01 6 0 0 42 0
1769.00/1769.61 c flowcover : 0.04 6 0 0 56 0
1769.00/1769.61 c clique : 0.00 1 0 0 0 0
1769.00/1769.61 c zerohalf : 0.00 0 0 0 0 0
1769.00/1769.61 c mcf : 0.00 1 0 0 0 0
1769.00/1769.61 c rapidlearning : 0.07 1 0 0 0 126
1769.00/1769.61 c Pricers : Time Calls Vars
1769.00/1769.61 c problem variables: 0.00 0 0
1769.00/1769.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1769.00/1769.61 c relpscost : 9.31 781703 31 307 0 0 1562752
1769.00/1769.61 c pscost : 0.00 0 0 0 0 0 0
1769.00/1769.61 c inference : 0.00 0 0 0 0 0 0
1769.00/1769.61 c mostinf : 0.00 0 0 0 0 0 0
1769.00/1769.61 c leastinf : 0.00 0 0 0 0 0 0
1769.00/1769.61 c fullstrong : 0.00 0 0 0 0 0 0
1769.00/1769.61 c allfullstrong : 0.00 0 0 0 0 0 0
1769.00/1769.61 c random : 0.00 0 0 0 0 0 0
1769.00/1769.61 c Primal Heuristics : Time Calls Found
1769.00/1769.61 c LP solutions : 0.00 - 12
1769.00/1769.61 c pseudo solutions : 0.00 - 0
1769.00/1769.61 c oneopt : 1.01 20 0
1769.00/1769.61 c feaspump : 0.06 1 0
1769.00/1769.61 c rootsoldiving : 4.17 2104 1
1769.00/1769.61 c linesearchdiving : 7.87 4419 1
1769.00/1769.61 c fracdiving : 6.79 4419 2
1769.00/1769.61 c veclendiving : 8.56 4419 0
1769.00/1769.61 c coefdiving : 6.85 4420 2
1769.00/1769.61 c pscostdiving : 6.83 4420 1
1769.00/1769.61 c guideddiving : 6.94 4420 2
1769.00/1769.61 c objpscostdiving : 2.04 2211 0
1769.00/1769.61 c trivial : 0.00 2 0
1769.00/1769.61 c simplerounding : 0.63 0 0
1769.00/1769.61 c zirounding : 0.72 1000 0
1769.00/1769.61 c rounding : 0.80 12508 0
1769.00/1769.61 c shifting : 3.92 7326 1
1769.00/1769.61 c intshifting : 0.12 0 0
1769.00/1769.61 c twoopt : 0.00 0 0
1769.00/1769.61 c fixandinfer : 0.00 0 0
1769.00/1769.61 c intdiving : 0.00 0 0
1769.00/1769.61 c actconsdiving : 0.00 0 0
1769.00/1769.61 c octane : 0.00 0 0
1769.00/1769.61 c rens : 0.02 1 0
1769.00/1769.61 c rins : 0.00 0 0
1769.00/1769.61 c localbranching : 0.00 0 0
1769.00/1769.61 c mutation : 0.00 0 0
1769.00/1769.61 c crossover : 0.00 0 0
1769.00/1769.61 c dins : 0.00 0 0
1769.00/1769.61 c undercover : 0.00 0 0
1769.00/1769.61 c nlp : 0.70 0 0
1769.00/1769.61 c trysol : 1.19 0 0
1769.00/1769.61 c LP : Time Calls Iterations Iter/call Iter/sec
1769.00/1769.61 c primal LP : 0.00 0 0 0.00 -
1769.00/1769.61 c dual LP : 186.53 1020948 2131867 2.09 11429.08
1769.00/1769.61 c lex dual LP : 0.00 0 0 0.00 -
1769.00/1769.61 c barrier LP : 0.00 0 0 0.00 -
1769.00/1769.61 c diving/probing LP: 12.20 62405 115331 1.85 9453.36
1769.00/1769.61 c strong branching : 0.31 1308 5803 4.44 18719.35
1769.00/1769.61 c (at root node) : - 9 204 22.67 -
1769.00/1769.61 c conflict analysis: 0.00 0 0 0.00 -
1769.00/1769.61 c B&B Tree :
1769.00/1769.61 c number of runs : 1
1769.00/1769.61 c nodes : 1377847
1769.00/1769.61 c nodes (total) : 1377847
1769.00/1769.61 c nodes left : 0
1769.00/1769.61 c max depth : 28
1769.00/1769.61 c max depth (total): 28
1769.00/1769.61 c backtracks : 469063 (34.0%)
1769.00/1769.61 c delayed cutoffs : 184672
1769.00/1769.61 c repropagations : 796685 (1400517 domain reductions, 163329 cutoffs)
1769.00/1769.61 c avg switch length: 4.88
1769.00/1769.61 c switching time : 407.70
1769.00/1769.61 c Solution :
1769.00/1769.61 c Solutions found : 23 (21 improvements)
1769.00/1769.61 c First Solution : +3.20000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1769.00/1769.61 c Primal Bound : +1.00000000000000e-00 (in run 1, after 88107 nodes, 43.22 seconds, depth 20, found by <relaxation>)
1769.00/1769.61 c Dual Bound : +1.00000000000000e-00
1769.00/1769.61 c Gap : 0.00 %
1769.00/1769.61 c Root Dual Bound : +0.00000000000000e+00
1769.00/1769.61 c Root Iterations : 65
1769.00/1769.66 c Time complete: 1769.06.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666230-1276613948/watcher-2666230-1276613948 -o /tmp/evaluation-result-2666230-1276613948/solver-2666230-1276613948 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666230-1276613948.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 4557
/proc/meminfo: memFree=1663860/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=9288 CPUtime=0
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 36998477 9510912 980 1992294400 4194304 9819077 140736118374624 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4557/statm: 2322 988 371 1374 0 943 0
[startup+0.045399 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4557
/proc/meminfo: memFree=1663860/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=21772 CPUtime=0.04
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4771 0 0 0 2 2 0 0 20 0 1 0 36998477 22294528 3814 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 5443 3814 668 1374 0 4064 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21772
[startup+0.100405 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4557
/proc/meminfo: memFree=1663860/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=22076 CPUtime=0.09
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4839 0 0 0 6 3 0 0 20 0 1 0 36998477 22605824 3882 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 5519 3882 673 1374 0 4140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22076
[startup+0.300428 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4557
/proc/meminfo: memFree=1663860/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=16980 CPUtime=0.29
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 10348 0 0 0 22 7 0 0 20 0 1 0 36998477 17387520 2770 1992294400 4194304 9819077 140736118374624 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 4285 2771 722 1374 0 2906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16980
[startup+0.700475 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4557
/proc/meminfo: memFree=1663860/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=16212 CPUtime=0.69
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 17389 0 0 0 53 16 0 0 20 0 1 0 36998477 16601088 2768 1992294400 4194304 9819077 140736118374624 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 3893 2764 724 1374 0 2514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16212
[startup+1.50057 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4558
/proc/meminfo: memFree=1654924/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=16488 CPUtime=1.49
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 27341 0 0 0 119 30 0 0 23 0 1 0 36998477 16883712 2815 1992294400 4194304 9819077 140736118374624 18446744073709551615 6670199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 4122 2815 725 1374 0 2743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16488
[startup+3.10075 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4558
/proc/meminfo: memFree=1654800/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=17840 CPUtime=3.09
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 45508 0 0 0 256 53 0 0 25 0 1 0 36998477 18268160 3150 1992294400 4194304 9819077 140736118374624 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 4460 3150 725 1374 0 3081 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17840
[startup+6.30112 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 4558
/proc/meminfo: memFree=1652816/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=18100 CPUtime=6.29
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 79724 0 0 0 531 98 0 0 25 0 1 0 36998477 18534400 3363 1992294400 4194304 9819077 140736118374624 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 4644 3365 725 1374 0 3265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18100
[startup+12.7009 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 4558
/proc/meminfo: memFree=1650212/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=21196 CPUtime=12.68
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 141646 0 0 0 1090 178 0 0 25 0 1 0 36998477 21704704 3985 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 5139 3980 725 1374 0 3760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21196
[startup+25.5003 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 4558
/proc/meminfo: memFree=1649096/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=22520 CPUtime=25.48
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 245402 0 0 0 2225 323 0 0 25 0 1 0 36998477 23060480 4269 1992294400 4194304 9819077 140736118374624 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 5630 4269 725 1374 0 4251 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22520
[startup+51.1003 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 4560
/proc/meminfo: memFree=1648972/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=22520 CPUtime=51.07
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 497372 0 0 0 4435 672 0 0 25 0 1 0 36998477 23060480 4276 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 5630 4276 725 1374 0 4251 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22520
[startup+102.309 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 4560
/proc/meminfo: memFree=1647112/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=24472 CPUtime=102.27
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 805166 0 0 0 9049 1178 0 0 25 0 1 0 36998477 25059328 4724 1992294400 4194304 9819077 140736118374624 18446744073709551615 5001169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 6118 4724 725 1374 0 4739 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24472
[startup+162.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 4571
/proc/meminfo: memFree=1645624/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=25524 CPUtime=162.22
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 1110236 0 0 0 14520 1702 0 0 25 0 1 0 36998477 26136576 4974 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 6381 4974 725 1374 0 5002 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 25524
[startup+222.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4573
/proc/meminfo: memFree=1643516/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=27628 CPUtime=222.2
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 1361429 0 0 0 20090 2130 0 0 25 0 1 0 36998477 28291072 5482 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 6907 5482 725 1374 0 5528 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 27628
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4575
/proc/meminfo: memFree=1643020/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=28292 CPUtime=282.19
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 1623454 0 0 0 25635 2584 0 0 25 0 1 0 36998477 28971008 5587 1992294400 4194304 9819077 140736118374624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 7073 5587 725 1374 0 5694 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 28292
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4575
/proc/meminfo: memFree=1642772/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=28540 CPUtime=342.17
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 1866770 0 0 0 31216 3001 0 0 25 0 1 0 36998477 29224960 5653 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 7135 5653 725 1374 0 5756 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 28540
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4577
/proc/meminfo: memFree=1642028/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=29168 CPUtime=402.15
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 2074791 0 0 0 36846 3369 0 0 25 0 1 0 36998477 29868032 5819 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 7292 5819 725 1374 0 5913 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 29168
[startup+462.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 4579
/proc/meminfo: memFree=1640168/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=31660 CPUtime=462.14
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 2252446 0 0 0 42502 3712 0 0 25 0 1 0 36998477 32419840 6281 1992294400 4194304 9819077 140736118374624 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 7915 6281 725 1374 0 6536 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 31660
[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 4581
/proc/meminfo: memFree=1640044/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=31872 CPUtime=522.11
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 2429945 0 0 0 48131 4080 0 0 25 0 1 0 36998477 32636928 6308 1992294400 4194304 9819077 140736118374624 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 7968 6308 725 1374 0 6589 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 31872
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4583
/proc/meminfo: memFree=1639920/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=32092 CPUtime=582.09
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 2614312 0 0 0 53746 4463 0 0 25 0 1 0 36998477 32862208 6339 1992294400 4194304 9819077 140736118374624 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 8023 6339 725 1374 0 6644 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 32092
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4583
/proc/meminfo: memFree=1639796/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=32092 CPUtime=642.08
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 2787881 0 0 0 59388 4820 0 0 25 0 1 0 36998477 32862208 6356 1992294400 4194304 9819077 140736118374624 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 8023 6356 725 1374 0 6644 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 32092
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1632108/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=38728 CPUtime=1181.88
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4309656 0 0 0 110426 7762 0 0 25 0 1 0 36998477 39657472 8029 1992294400 4194304 9819077 140736118374624 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9682 8029 725 1374 0 8303 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 38728
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4602
/proc/meminfo: memFree=1632108/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=38728 CPUtime=1241.86
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4430813 0 0 0 116166 8020 0 0 25 0 1 0 36998477 39657472 8030 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9682 8030 725 1374 0 8303 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 38728
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4604
/proc/meminfo: memFree=1632108/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=38728 CPUtime=1301.85
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4552849 0 0 0 121911 8274 0 0 25 0 1 0 36998477 39657472 8030 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9682 8030 725 1374 0 8303 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 38728
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4606
/proc/meminfo: memFree=1630868/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=39960 CPUtime=1361.82
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4652147 0 0 0 127692 8490 0 0 25 0 1 0 36998477 40919040 8312 1992294400 4194304 9819077 140736118374624 18446744073709551615 4210637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9990 8312 725 1374 0 8611 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 39960
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4608
/proc/meminfo: memFree=1630868/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=39960 CPUtime=1421.81
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4754695 0 0 0 133471 8710 0 0 25 0 1 0 36998477 40919040 8312 1992294400 4194304 9819077 140736118374624 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9990 8312 725 1374 0 8611 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 39960
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4610
/proc/meminfo: memFree=1630868/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=39960 CPUtime=1481.78
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4851723 0 0 0 139258 8920 0 0 25 0 1 0 36998477 40919040 8312 1992294400 4194304 9819077 140736118374624 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 9990 8312 725 1374 0 8611 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 39960
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4610
/proc/meminfo: memFree=1629256/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=41804 CPUtime=1541.77
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 4963285 0 0 0 145028 9149 0 0 25 0 1 0 36998477 42807296 8718 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10451 8718 725 1374 0 9072 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 41804
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4612
/proc/meminfo: memFree=1628884/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=42032 CPUtime=1601.74
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5079563 0 0 0 150798 9376 0 0 25 0 1 0 36998477 43040768 8801 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10508 8801 725 1374 0 9129 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 42032
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4614
/proc/meminfo: memFree=1627892/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43212 CPUtime=1661.73
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5197926 0 0 0 156572 9601 0 0 25 0 1 0 36998477 44249088 9024 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10803 9024 725 1374 0 9424 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 43212
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1721.72
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5305029 0 0 0 162362 9810 0 0 25 0 1 0 36998477 44814336 9112 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9112 725 1374 0 9562 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 43764
Solver just ended. Dumping a history of the last processes samples
[startup+1740.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1740.11
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5354213 0 0 0 164109 9902 0 0 25 0 1 0 36998477 44814336 9126 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9126 725 1374 0 9562 0
Current children cumulated CPU time (s) 1740.11
Current children cumulated vsize (KiB) 43764
[startup+1753.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1752.91
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5391018 0 0 0 165320 9971 0 0 25 0 1 0 36998477 44814336 9126 1992294400 4194304 9819077 140736118374624 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9126 725 1374 0 9562 0
Current children cumulated CPU time (s) 1752.91
Current children cumulated vsize (KiB) 43764
[startup+1759.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1759.31
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5406663 0 0 0 165931 10000 0 0 25 0 1 0 36998477 44814336 9126 1992294400 4194304 9819077 140736118374624 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9126 725 1374 0 9562 0
Current children cumulated CPU time (s) 1759.31
Current children cumulated vsize (KiB) 43764
[startup+1766.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1765.7
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5421278 0 0 0 166546 10024 0 0 25 0 1 0 36998477 44814336 9126 1992294400 4194304 9819077 140736118374624 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9126 725 1374 0 9562 0
Current children cumulated CPU time (s) 1765.7
Current children cumulated vsize (KiB) 43764
[startup+1767.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627520/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1767.3
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5425353 0 0 0 166699 10031 0 0 25 0 1 0 36998477 44814336 9126 1992294400 4194304 9819077 140736118374624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9126 725 1374 0 9562 0
Current children cumulated CPU time (s) 1767.3
Current children cumulated vsize (KiB) 43764
[startup+1768.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627396/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1768.11
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5426696 0 0 0 166777 10034 0 0 25 0 1 0 36998477 44814336 9139 1992294400 4194304 9819077 140736118374624 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9139 725 1374 0 9562 0
Current children cumulated CPU time (s) 1768.11
Current children cumulated vsize (KiB) 43764
[startup+1769.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627396/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1768.5
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5427331 0 0 0 166815 10035 0 0 25 0 1 0 36998477 44814336 9139 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9139 725 1374 0 9562 0
Current children cumulated CPU time (s) 1768.5
Current children cumulated vsize (KiB) 43764
[startup+1769.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627396/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1768.9
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5428421 0 0 0 166853 10037 0 0 25 0 1 0 36998477 44814336 9139 1992294400 4194304 9819077 140736118374624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9139 725 1374 0 9562 0
Current children cumulated CPU time (s) 1768.9
Current children cumulated vsize (KiB) 43764
[startup+1769.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4616
/proc/meminfo: memFree=1627396/2059040 swapFree=4140048/4192956
[pid=4557] ppid=4555 vsize=43764 CPUtime=1769
/proc/4557/stat : 4557 (pbscip.linux.x8) R 4555 4557 3958 0 -1 4202496 5428606 0 0 0 166863 10037 0 0 25 0 1 0 36998477 44814336 9139 1992294400 4194304 9819077 140736118374624 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4557/statm: 10941 9139 725 1374 0 9562 0
Current children cumulated CPU time (s) 1769
Current children cumulated vsize (KiB) 43764
Child status: 0
Real time (s): 1769.67
CPU time (s): 1769.08
CPU user time (s): 1668.7
CPU system time (s): 100.378
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 43764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1668.7
system time used= 100.378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5428621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 5711
runsolver used 2.88356 second user time and 8.39972 second system time
The end