0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666872-1276600929.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 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) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 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 40 variables (40 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.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 | 21 | - | 233k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 72 | - | 354k| 0 | 10 | 40 | 54 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 80 | - | 379k| 0 | 11 | 40 | 54 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 87 | - | 398k| 0 | 12 | 40 | 54 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 97 | - | 419k| 0 | 12 | 40 | 54 | 40 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 101 | - | 428k| 0 | 15 | 40 | 54 | 40 | 24 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 104 | - | 430k| 0 | 16 | 40 | 54 | 40 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 2 | 104 | - | 431k| 0 | 16 | 40 | 54 | 40 | 26 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
4.40/4.47 c 4.0s| 10000 | 3604 | 22636 | 2.3 |3928k| 35 | 5 | 40 |3365 | 40 | 16 | 21 |4673 | 463 | 0.000000e+00 | -- | Inf
8.99/9.03 c 8.2s| 20000 | 6612 | 44356 | 2.2 |5694k| 35 | - | 40 |2776 | 40 | 16 | 21 |9841 | 651 | 0.000000e+00 | -- | Inf
13.49/13.56 c 12.4s| 30000 | 9596 | 66340 | 2.2 |7589k| 35 | 5 | 40 |2984 | 40 | 16 | 21 | 14k| 782 | 0.000000e+00 | -- | Inf
18.38/18.42 c 16.9s| 40000 | 12161 | 88074 | 2.2 |9434k| 35 | - | 40 |3438 | 40 | 16 | 21 | 20k| 900 | 0.000000e+00 | -- | Inf
23.29/23.32 c 21.4s| 50000 | 14729 |109867 | 2.2 | 11M| 36 | 5 | 40 |3740 | 40 | 16 | 21 | 25k|1015 | 0.000000e+00 | -- | Inf
28.59/28.62 c 26.4s| 60000 | 17152 |131738 | 2.2 | 12M| 36 | - | 40 |3806 | 40 | 16 | 21 | 31k|1110 | 0.000000e+00 | -- | Inf
33.87/33.92 c 31.3s| 70000 | 19644 |153614 | 2.2 | 14M| 36 | 5 | 40 |4731 | 40 | 16 | 21 | 36k|1199 | 0.000000e+00 | -- | Inf
39.58/39.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.58/39.65 c 36.6s| 80000 | 21985 |176135 | 2.2 | 16M| 36 | 5 | 40 |4528 | 40 | 16 | 21 | 42k|1276 | 0.000000e+00 | -- | Inf
45.38/45.47 c 42.1s| 90000 | 24375 |198212 | 2.2 | 18M| 36 | 5 | 40 |4599 | 40 | 16 | 21 | 48k|1333 | 0.000000e+00 | -- | Inf
50.97/51.04 c 47.3s|100000 | 26855 |220491 | 2.2 | 20M| 36 | 5 | 40 |5175 | 40 | 16 | 21 | 53k|1392 | 0.000000e+00 | -- | Inf
56.77/56.87 c 52.7s|110000 | 29323 |242678 | 2.2 | 22M| 36 | 5 | 40 |5650 | 40 | 16 | 21 | 59k|1438 | 0.000000e+00 | -- | Inf
63.26/63.38 c 58.8s|120000 | 31369 |264695 | 2.2 | 23M| 36 | 5 | 40 |5427 | 40 | 16 | 21 | 65k|1502 | 0.000000e+00 | -- | Inf
69.56/69.67 c 64.7s|130000 | 33753 |286975 | 2.2 | 25M| 36 | 5 | 40 |5682 | 40 | 16 | 21 | 70k|1554 | 0.000000e+00 | -- | Inf
76.06/76.14 c 70.8s|140000 | 35820 |309362 | 2.2 | 26M| 36 | - | 40 |6487 | 40 | 16 | 21 | 76k|1610 | 0.000000e+00 | -- | Inf
83.06/83.15 c 77.3s|150000 | 37944 |331300 | 2.2 | 28M| 36 | - | 40 |6056 | 40 | 16 | 21 | 82k|1653 | 0.000000e+00 | -- | Inf
90.26/90.38 c 84.2s|160000 | 39797 |353243 | 2.2 | 30M| 36 | - | 40 |6542 | 40 | 16 | 21 | 88k|1696 | 0.000000e+00 | -- | Inf
97.45/97.51 c 91.0s|170000 | 41706 |375325 | 2.2 | 31M| 36 | - | 40 |5804 | 40 | 16 | 21 | 94k|1739 | 0.000000e+00 | -- | Inf
104.26/104.36 c 97.4s|180000 | 43600 |396808 | 2.2 | 33M| 36 | - | 40 |6674 | 40 | 16 | 21 | 100k|1779 | 0.000000e+00 | -- | Inf
111.06/111.19 c 104s|190000 | 45720 |418625 | 2.2 | 34M| 36 | 5 | 40 |7351 | 40 | 16 | 21 | 105k|1825 | 0.000000e+00 | -- | Inf
118.06/118.11 c 110s|200000 | 47727 |440214 | 2.2 | 36M| 36 | - | 40 |7859 | 40 | 16 | 21 | 111k|1868 | 0.000000e+00 | -- | Inf
125.75/125.80 c 118s|210000 | 49611 |462226 | 2.2 | 37M| 36 | - | 40 |7639 | 0 | 0 | 21 | 117k|1903 | 0.000000e+00 | -- | Inf
133.15/133.23 c 125s|220000 | 51456 |483976 | 2.2 | 39M| 36 | 5 | 40 |9057 | 40 | 16 | 21 | 123k|1947 | 0.000000e+00 | -- | Inf
141.94/142.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.94/142.01 c 133s|230000 | 53190 |505473 | 2.2 | 40M| 36 | - | 40 |7065 | 40 | 16 | 21 | 129k|1984 | 0.000000e+00 | -- | Inf
149.74/149.80 c 141s|240000 | 54973 |527709 | 2.2 | 42M| 36 | 5 | 40 |7190 | 40 | 16 | 21 | 135k|2029 | 0.000000e+00 | -- | Inf
156.74/156.87 c 147s|250000 | 57008 |549049 | 2.2 | 43M| 36 | 5 | 40 |7564 | 40 | 16 | 21 | 141k|2075 | 0.000000e+00 | -- | Inf
164.44/164.57 c 155s|260000 | 58944 |571027 | 2.2 | 45M| 36 | - | 40 |8435 | 40 | 16 | 21 | 147k|2107 | 0.000000e+00 | -- | Inf
173.64/173.75 c 163s|270000 | 60463 |592708 | 2.2 | 46M| 36 | 5 | 40 |6976 | 40 | 16 | 21 | 153k|2139 | 0.000000e+00 | -- | Inf
181.23/181.35 c 171s|280000 | 62131 |614655 | 2.2 | 48M| 36 | 5 | 40 |8459 | 40 | 16 | 21 | 159k|2172 | 0.000000e+00 | -- | Inf
188.84/188.98 c 178s|290000 | 63949 |636281 | 2.2 | 50M| 36 | 5 | 40 |8804 | 40 | 16 | 21 | 165k|2196 | 0.000000e+00 | -- | Inf
197.84/197.99 c 186s|300000 | 65340 |658242 | 2.2 | 51M| 36 | 5 | 40 |8669 | 40 | 16 | 21 | 171k|2229 | 0.000000e+00 | -- | Inf
206.33/206.42 c 194s|310000 | 67007 |679548 | 2.2 | 53M| 36 | - | 40 |9333 | 40 | 16 | 21 | 177k|2251 | 0.000000e+00 | -- | Inf
215.32/215.49 c 203s|320000 | 68373 |701557 | 2.2 | 54M| 36 | - | 40 |9027 | 40 | 16 | 21 | 183k|2281 | 0.000000e+00 | -- | Inf
224.62/224.78 c 212s|330000 | 69991 |723055 | 2.2 | 55M| 36 | - | 40 |8609 | 0 | 0 | 21 | 190k|2319 | 0.000000e+00 | -- | Inf
233.22/233.40 c 220s|340000 | 71480 |744532 | 2.2 | 56M| 36 | 5 | 40 |8476 | 40 | 16 | 21 | 196k|2353 | 0.000000e+00 | -- | Inf
241.62/241.72 c 228s|350000 | 73097 |766136 | 2.2 | 58M| 36 | - | 40 |8821 | 0 | 0 | 21 | 202k|2373 | 0.000000e+00 | -- | Inf
250.32/250.45 c 236s|360000 | 74569 |787430 | 2.2 | 59M| 36 | 5 | 40 |8706 | 40 | 16 | 21 | 208k|2398 | 0.000000e+00 | -- | Inf
260.01/260.10 c 246s|370000 | 75759 |808988 | 2.2 | 60M| 36 | - | 40 |7896 | 40 | 16 | 21 | 214k|2424 | 0.000000e+00 | -- | Inf
269.00/269.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.00/269.19 c 254s|380000 | 76957 |830865 | 2.2 | 62M| 36 | - | 40 |7756 | 0 | 0 | 21 | 221k|2448 | 0.000000e+00 | -- | Inf
278.01/278.17 c 263s|390000 | 78129 |852843 | 2.2 | 63M| 36 | - | 40 |8337 | 0 | 0 | 21 | 228k|2470 | 0.000000e+00 | -- | Inf
287.10/287.24 c 272s|400000 | 79584 |874389 | 2.2 | 64M| 36 | 5 | 40 |8314 | 40 | 16 | 21 | 234k|2493 | 0.000000e+00 | -- | Inf
295.21/295.34 c 279s|410000 | 81276 |896086 | 2.2 | 66M| 36 | 5 | 40 |8526 | 40 | 16 | 21 | 240k|2518 | 0.000000e+00 | -- | Inf
303.70/303.80 c 287s|420000 | 82743 |917392 | 2.2 | 67M| 36 | 5 | 40 |9098 | 40 | 16 | 21 | 246k|2542 | 0.000000e+00 | -- | Inf
313.90/314.08 c 297s|430000 | 83827 |939086 | 2.2 | 68M| 36 | 5 | 40 |8585 | 40 | 16 | 21 | 252k|2573 | 0.000000e+00 | -- | Inf
322.11/322.28 c 305s|440000 | 85347 |961051 | 2.2 | 70M| 36 | - | 40 |9925 | 40 | 16 | 21 | 259k|2601 | 0.000000e+00 | -- | Inf
332.69/332.82 c 315s|450000 | 86374 |982818 | 2.2 | 71M| 36 | 5 | 40 |9008 | 40 | 16 | 21 | 265k|2619 | 0.000000e+00 | -- | Inf
342.39/342.53 c 324s|460000 | 87572 | 1004k| 2.2 | 72M| 36 | 5 | 40 |8682 | 40 | 16 | 21 | 272k|2639 | 0.000000e+00 | -- | Inf
352.09/352.23 c 334s|470000 | 88734 | 1027k| 2.2 | 73M| 36 | 5 | 40 |8988 | 40 | 16 | 21 | 278k|2665 | 0.000000e+00 | -- | Inf
362.28/362.44 c 343s|480000 | 89771 | 1049k| 2.2 | 74M| 36 | - | 40 |8886 | 40 | 16 | 21 | 285k|2686 | 0.000000e+00 | -- | Inf
371.59/371.73 c 352s|490000 | 90872 | 1071k| 2.2 | 76M| 36 | 5 | 40 |9551 | 40 | 16 | 21 | 292k|2708 | 0.000000e+00 | -- | Inf
381.88/382.00 c 362s|500000 | 91818 | 1093k| 2.2 | 77M| 36 | - | 40 |9265 | 40 | 16 | 21 | 298k|2731 | 0.000000e+00 | -- | Inf
391.58/391.70 c 371s|510000 | 92889 | 1115k| 2.2 | 78M| 36 | - | 40 |8969 | 0 | 0 | 21 | 305k|2760 | 0.000000e+00 | -- | Inf
401.97/402.11 c 381s|520000 | 93976 | 1136k| 2.2 | 79M| 36 | 5 | 40 |8389 | 40 | 16 | 21 | 311k|2783 | 0.000000e+00 | -- | Inf
411.78/411.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.78/411.94 c 391s|530000 | 94996 | 1158k| 2.2 | 80M| 36 | 5 | 40 |8400 | 40 | 16 | 21 | 318k|2805 | 0.000000e+00 | -- | Inf
420.47/420.67 c 399s|540000 | 96383 | 1179k| 2.2 | 81M| 36 | 5 | 40 |9557 | 40 | 16 | 21 | 324k|2828 | 0.000000e+00 | -- | Inf
428.67/428.83 c 407s|550000 | 98110 | 1202k| 2.2 | 83M| 36 | - | 40 | 11k| 40 | 16 | 21 | 330k|2849 | 0.000000e+00 | -- | Inf
440.46/440.69 c 418s|560000 | 98926 | 1224k| 2.2 | 84M| 36 | 5 | 40 |9218 | 40 | 16 | 21 | 337k|2878 | 0.000000e+00 | -- | Inf
449.36/449.52 c 427s|570000 |100485 | 1246k| 2.2 | 85M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 343k|2899 | 0.000000e+00 | -- | Inf
460.77/460.92 c 438s|580000 |101352 | 1266k| 2.2 | 86M| 36 | 5 | 40 |8733 | 40 | 16 | 21 | 349k|2917 | 0.000000e+00 | -- | Inf
471.86/472.09 c 449s|590000 |102131 | 1289k| 2.2 | 87M| 36 | 5 | 40 |8022 | 40 | 16 | 21 | 356k|2938 | 0.000000e+00 | -- | Inf
480.56/480.78 c 457s|600000 |103469 | 1311k| 2.2 | 89M| 36 | 5 | 40 |9355 | 40 | 16 | 21 | 363k|2956 | 0.000000e+00 | -- | Inf
489.96/490.12 c 466s|610000 |104460 | 1333k| 2.2 | 90M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 369k|2974 | 0.000000e+00 | -- | Inf
500.65/500.84 c 476s|620000 |105417 | 1355k| 2.2 | 91M| 36 | - | 40 |9766 | 40 | 16 | 21 | 376k|2996 | 0.000000e+00 | -- | Inf
510.35/510.55 c 485s|630000 |106577 | 1377k| 2.2 | 92M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 382k|3017 | 0.000000e+00 | -- | Inf
519.84/520.02 c 495s|640000 |107840 | 1399k| 2.2 | 94M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 389k|3041 | 0.000000e+00 | -- | Inf
530.95/531.15 c 505s|650000 |108818 | 1422k| 2.2 | 95M| 36 | - | 40 | 11k| 40 | 16 | 21 | 396k|3061 | 0.000000e+00 | -- | Inf
541.84/542.06 c 516s|660000 |109776 | 1443k| 2.2 | 96M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 402k|3082 | 0.000000e+00 | -- | Inf
553.14/553.39 c 527s|670000 |110646 | 1465k| 2.2 | 97M| 36 | - | 40 | 10k| 40 | 16 | 21 | 409k|3106 | 0.000000e+00 | -- | Inf
563.43/563.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.43/563.66 c 537s|680000 |111640 | 1487k| 2.2 | 98M| 36 | - | 40 | 10k| 40 | 16 | 21 | 416k|3132 | 0.000000e+00 | -- | Inf
575.02/575.24 c 548s|690000 |112461 | 1509k| 2.2 | 99M| 36 | - | 40 |9362 | 40 | 16 | 21 | 423k|3146 | 0.000000e+00 | -- | Inf
584.41/584.67 c 557s|700000 |113586 | 1530k| 2.2 | 100M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 429k|3168 | 0.000000e+00 | -- | Inf
594.91/595.13 c 567s|710000 |114804 | 1552k| 2.2 | 102M| 36 | - | 40 | 11k| 0 | 0 | 21 | 436k|3193 | 0.000000e+00 | -- | Inf
606.61/606.88 c 578s|720000 |115772 | 1574k| 2.2 | 103M| 36 | - | 40 | 10k| 0 | 0 | 21 | 443k|3228 | 0.000000e+00 | -- | Inf
618.10/618.36 c 589s|730000 |116578 | 1596k| 2.2 | 104M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 450k|3248 | 0.000000e+00 | -- | Inf
628.20/628.47 c 599s|740000 |117663 | 1618k| 2.2 | 105M| 36 | - | 40 | 11k| 40 | 16 | 21 | 456k|3270 | 0.000000e+00 | -- | Inf
637.00/637.26 c 607s|750000 |119567 | 1640k| 2.2 | 107M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 462k|3291 | 0.000000e+00 | -- | Inf
647.39/647.64 c 617s|760000 |120987 | 1663k| 2.2 | 108M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 468k|3308 | 0.000000e+00 | -- | Inf
658.59/658.90 c 628s|770000 |121976 | 1686k| 2.2 | 110M| 36 | - | 40 | 14k| 40 | 16 | 21 | 475k|3324 | 0.000000e+00 | -- | Inf
670.49/670.71 c 639s|780000 |123273 | 1707k| 2.2 | 112M| 36 | 5 | 40 | 15k| 40 | 16 | 21 | 481k|3344 | 0.000000e+00 | -- | Inf
684.68/684.92 c 653s|790000 |124051 | 1730k| 2.2 | 112M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 488k|3371 | 0.000000e+00 | -- | Inf
697.98/698.30 c 666s|800000 |124676 | 1752k| 2.2 | 112M| 36 | 5 | 40 |9912 | 40 | 16 | 21 | 495k|3387 | 0.000000e+00 | -- | Inf
708.47/708.71 c 676s|810000 |125664 | 1774k| 2.2 | 113M| 36 | - | 40 |9911 | 40 | 16 | 21 | 502k|3403 | 0.000000e+00 | -- | Inf
719.97/720.20 c 687s|820000 |126475 | 1795k| 2.2 | 114M| 36 | - | 40 | 10k| 40 | 16 | 21 | 508k|3416 | 0.000000e+00 | -- | Inf
730.76/731.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.76/731.07 c 698s|830000 |127595 | 1817k| 2.2 | 116M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 515k|3436 | 0.000000e+00 | -- | Inf
739.86/740.19 c 706s|840000 |129032 | 1840k| 2.2 | 118M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 522k|3452 | 0.000000e+00 | -- | Inf
750.76/751.02 c 717s|850000 |130278 | 1862k| 2.2 | 119M| 36 | - | 40 | 12k| 40 | 16 | 21 | 528k|3470 | 0.000000e+00 | -- | Inf
760.66/760.93 c 726s|860000 |131857 | 1883k| 2.2 | 120M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 534k|3490 | 0.000000e+00 | -- | Inf
770.96/771.26 c 736s|870000 |133049 | 1905k| 2.2 | 122M| 36 | - | 40 | 14k| 40 | 16 | 21 | 541k|3505 | 0.000000e+00 | -- | Inf
782.15/782.43 c 747s|880000 |134165 | 1926k| 2.2 | 123M| 36 | - | 40 | 15k| 40 | 16 | 21 | 547k|3520 | 0.000000e+00 | -- | Inf
793.35/793.69 c 758s|890000 |135527 | 1947k| 2.2 | 124M| 36 | 5 | 40 | 14k| 40 | 16 | 21 | 553k|3534 | 0.000000e+00 | -- | Inf
804.25/804.50 c 768s|900000 |137000 | 1969k| 2.2 | 126M| 36 | 5 | 40 | 15k| 40 | 16 | 21 | 559k|3550 | 0.000000e+00 | -- | Inf
816.15/816.50 c 780s|910000 |138346 | 1990k| 2.2 | 127M| 36 | - | 40 | 16k| 0 | 0 | 21 | 565k|3566 | 0.000000e+00 | -- | Inf
830.54/830.83 c 794s|920000 |139136 | 2011k| 2.2 | 128M| 36 | - | 40 | 14k| 0 | 0 | 21 | 572k|3588 | 0.000000e+00 | -- | Inf
845.44/845.72 c 808s|930000 |140007 | 2032k| 2.2 | 128M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 578k|3608 | 0.000000e+00 | -- | Inf
858.63/858.96 c 821s|940000 |140747 | 2054k| 2.2 | 129M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 585k|3626 | 0.000000e+00 | -- | Inf
869.43/869.74 c 832s|950000 |142089 | 2076k| 2.2 | 131M| 36 | - | 40 | 12k| 40 | 16 | 21 | 591k|3643 | 0.000000e+00 | -- | Inf
880.43/880.79 c 842s|960000 |143032 | 2098k| 2.2 | 132M| 36 | 5 | 40 | 14k| 40 | 16 | 21 | 598k|3657 | 0.000000e+00 | -- | Inf
894.13/894.47 c 856s|970000 |143930 | 2120k| 2.2 | 133M| 36 | - | 40 | 12k| 40 | 16 | 21 | 605k|3674 | 0.000000e+00 | -- | Inf
906.93/907.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.93/907.23 c 868s|980000 |144761 | 2142k| 2.2 | 134M| 36 | - | 40 | 11k| 40 | 16 | 21 | 611k|3693 | 0.000000e+00 | -- | Inf
919.42/919.75 c 880s|990000 |145631 | 2165k| 2.2 | 135M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 618k|3704 | 0.000000e+00 | -- | Inf
931.92/932.25 c 892s| 1000k|146436 | 2187k| 2.2 | 135M| 36 | - | 40 | 10k| 40 | 16 | 21 | 625k|3722 | 0.000000e+00 | -- | Inf
943.43/943.73 c 903s| 1010k|147276 | 2208k| 2.2 | 136M| 36 | - | 40 | 10k| 40 | 16 | 21 | 632k|3738 | 0.000000e+00 | -- | Inf
954.31/954.68 c 914s| 1020k|148189 | 2230k| 2.2 | 138M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 638k|3752 | 0.000000e+00 | -- | Inf
967.41/967.70 c 926s| 1030k|148763 | 2252k| 2.2 | 138M| 36 | - | 40 | 10k| 40 | 16 | 21 | 645k|3774 | 0.000000e+00 | -- | Inf
979.71/980.03 c 938s| 1040k|149361 | 2274k| 2.2 | 139M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 652k|3784 | 0.000000e+00 | -- | Inf
992.11/992.46 c 950s| 1050k|149903 | 2295k| 2.2 | 140M| 36 | 5 | 40 |9953 | 40 | 16 | 21 | 659k|3805 | 0.000000e+00 | -- | Inf
1002.20/1002.55 c 960s| 1060k|150876 | 2317k| 2.2 | 141M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 666k|3825 | 0.000000e+00 | -- | Inf
1015.40/1015.79 c 973s| 1070k|151527 | 2339k| 2.2 | 142M| 36 | - | 40 | 10k| 40 | 16 | 21 | 673k|3837 | 0.000000e+00 | -- | Inf
1028.60/1028.91 c 985s| 1080k|152068 | 2361k| 2.2 | 143M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 680k|3854 | 0.000000e+00 | -- | Inf
1040.39/1040.78 c 997s| 1090k|152697 | 2383k| 2.2 | 144M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 687k|3870 | 0.000000e+00 | -- | Inf
1050.89/1051.22 c 1007s| 1100k|154077 | 2405k| 2.2 | 145M| 36 | - | 40 | 12k| 40 | 16 | 21 | 693k|3881 | 0.000000e+00 | -- | Inf
1061.48/1061.90 c 1017s| 1110k|154922 | 2426k| 2.2 | 147M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 700k|3893 | 0.000000e+00 | -- | Inf
1074.39/1074.73 c 1030s| 1120k|155762 | 2448k| 2.2 | 148M| 36 | - | 40 | 12k| 40 | 16 | 21 | 707k|3912 | 0.000000e+00 | -- | Inf
1088.88/1089.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.88/1089.29 c 1044s| 1130k|156172 | 2469k| 2.2 | 148M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 714k|3924 | 0.000000e+00 | -- | Inf
1101.58/1101.94 c 1056s| 1140k|156744 | 2491k| 2.2 | 149M| 36 | - | 40 | 11k| 40 | 16 | 21 | 721k|3937 | 0.000000e+00 | -- | Inf
1112.47/1112.88 c 1066s| 1150k|157961 | 2513k| 2.2 | 150M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 728k|3952 | 0.000000e+00 | -- | Inf
1125.47/1125.85 c 1079s| 1160k|158483 | 2535k| 2.2 | 151M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 735k|3971 | 0.000000e+00 | -- | Inf
1140.67/1141.08 c 1094s| 1170k|158728 | 2557k| 2.2 | 151M| 36 | - | 40 |9667 | 40 | 16 | 21 | 742k|3989 | 0.000000e+00 | -- | Inf
1151.17/1151.54 c 1104s| 1180k|159666 | 2578k| 2.2 | 153M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 749k|4003 | 0.000000e+00 | -- | Inf
1162.46/1162.84 c 1115s| 1190k|160504 | 2600k| 2.2 | 154M| 36 | - | 40 | 11k| 0 | 0 | 21 | 755k|4016 | 0.000000e+00 | -- | Inf
1173.46/1173.87 c 1125s| 1200k|161720 | 2620k| 2.2 | 155M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 761k|4029 | 0.000000e+00 | -- | Inf
1185.36/1185.74 c 1137s| 1210k|162506 | 2637k| 2.2 | 157M| 36 | 5 | 40 | 14k| 40 | 16 | 21 | 766k|4034 | 0.000000e+00 | -- | Inf
1199.95/1200.38 c 1151s| 1220k|163125 | 2658k| 2.2 | 157M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 773k|4043 | 0.000000e+00 | -- | Inf
1210.75/1211.17 c 1162s| 1230k|163902 | 2679k| 2.2 | 158M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 780k|4051 | 0.000000e+00 | -- | Inf
1222.75/1223.15 c 1173s| 1240k|164853 | 2700k| 2.2 | 159M| 36 | - | 40 | 13k| 40 | 16 | 21 | 787k|4069 | 0.000000e+00 | -- | Inf
1235.95/1236.40 c 1186s| 1250k|165564 | 2721k| 2.2 | 160M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 794k|4080 | 0.000000e+00 | -- | Inf
1248.14/1248.53 c 1198s| 1260k|166333 | 2744k| 2.2 | 161M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 801k|4097 | 0.000000e+00 | -- | Inf
1259.94/1260.31 c 1209s| 1270k|167549 | 2766k| 2.2 | 162M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 807k|4110 | 0.000000e+00 | -- | Inf
1270.74/1271.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.74/1271.16 c 1220s| 1280k|168645 | 2788k| 2.2 | 164M| 36 | - | 40 | 13k| 0 | 0 | 21 | 814k|4118 | 0.000000e+00 | -- | Inf
1282.63/1283.05 c 1231s| 1290k|169202 | 2810k| 2.2 | 165M| 36 | - | 40 | 14k| 40 | 16 | 21 | 821k|4131 | 0.000000e+00 | -- | Inf
1295.63/1296.06 c 1244s| 1300k|170002 | 2833k| 2.2 | 166M| 36 | - | 40 | 14k| 40 | 16 | 21 | 828k|4145 | 0.000000e+00 | -- | Inf
1308.12/1308.52 c 1256s| 1310k|171137 | 2855k| 2.2 | 167M| 36 | - | 40 | 14k| 0 | 0 | 21 | 834k|4156 | 0.000000e+00 | -- | Inf
1319.33/1319.75 c 1267s| 1320k|172531 | 2876k| 2.2 | 169M| 36 | 5 | 40 | 16k| 40 | 16 | 21 | 840k|4172 | 0.000000e+00 | -- | Inf
1334.42/1334.86 c 1281s| 1330k|173039 | 2898k| 2.2 | 168M| 36 | - | 40 | 12k| 40 | 16 | 21 | 847k|4185 | 0.000000e+00 | -- | Inf
1345.51/1345.96 c 1292s| 1340k|174041 | 2919k| 2.2 | 170M| 36 | 5 | 40 | 14k| 40 | 16 | 21 | 853k|4200 | 0.000000e+00 | -- | Inf
1356.71/1357.15 c 1303s| 1350k|175860 | 2941k| 2.2 | 172M| 36 | - | 40 | 14k| 40 | 16 | 21 | 859k|4221 | 0.000000e+00 | -- | Inf
1367.91/1368.40 c 1314s| 1360k|177362 | 2963k| 2.2 | 173M| 36 | 5 | 40 | 15k| 40 | 16 | 21 | 865k|4237 | 0.000000e+00 | -- | Inf
1379.20/1379.64 c 1324s| 1370k|178874 | 2984k| 2.2 | 174M| 36 | 5 | 40 | 15k| 40 | 16 | 21 | 872k|4246 | 0.000000e+00 | -- | Inf
1392.01/1392.44 c 1337s| 1380k|179746 | 3006k| 2.2 | 175M| 36 | 5 | 40 | 15k| 40 | 16 | 21 | 878k|4262 | 0.000000e+00 | -- | Inf
1407.00/1407.43 c 1351s| 1390k|180070 | 3027k| 2.2 | 176M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 885k|4272 | 0.000000e+00 | -- | Inf
1420.59/1421.02 c 1365s| 1400k|180877 | 3049k| 2.2 | 177M| 36 | - | 40 | 12k| 40 | 16 | 21 | 892k|4283 | 0.000000e+00 | -- | Inf
1432.39/1432.86 c 1376s| 1410k|182005 | 3070k| 2.2 | 178M| 36 | 5 | 40 | 13k| 40 | 16 | 21 | 898k|4291 | 0.000000e+00 | -- | Inf
1448.48/1448.91 c 1392s| 1420k|182398 | 3093k| 2.2 | 178M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 906k|4305 | 0.000000e+00 | -- | Inf
1461.38/1461.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.38/1461.83 c 1404s| 1430k|182960 | 3115k| 2.2 | 179M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 913k|4323 | 0.000000e+00 | -- | Inf
1474.27/1474.71 c 1417s| 1440k|183496 | 3136k| 2.2 | 180M| 36 | 5 | 40 | 12k| 40 | 16 | 21 | 920k|4333 | 0.000000e+00 | -- | Inf
1488.28/1488.73 c 1430s| 1450k|183948 | 3159k| 2.2 | 181M| 36 | - | 40 | 11k| 0 | 0 | 21 | 927k|4354 | 0.000000e+00 | -- | Inf
1499.56/1500.08 c 1441s| 1460k|184807 | 3181k| 2.2 | 182M| 36 | - | 40 | 12k| 40 | 16 | 21 | 934k|4374 | 0.000000e+00 | -- | Inf
1514.17/1514.69 c 1455s| 1470k|185183 | 3202k| 2.2 | 182M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 941k|4389 | 0.000000e+00 | -- | Inf
1527.26/1527.77 c 1468s| 1480k|185567 | 3225k| 2.2 | 183M| 36 | - | 40 | 10k| 40 | 16 | 21 | 949k|4400 | 0.000000e+00 | -- | Inf
1541.77/1542.21 c 1482s| 1490k|185777 | 3246k| 2.2 | 184M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 956k|4411 | 0.000000e+00 | -- | Inf
1555.25/1555.77 c 1495s| 1500k|186132 | 3268k| 2.2 | 185M| 36 | 5 | 40 |9727 | 40 | 16 | 21 | 963k|4424 | 0.000000e+00 | -- | Inf
1568.35/1568.87 c 1508s| 1510k|186508 | 3290k| 2.2 | 185M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 970k|4441 | 0.000000e+00 | -- | Inf
1580.45/1580.92 c 1519s| 1520k|187127 | 3311k| 2.2 | 187M| 36 | - | 40 | 11k| 40 | 16 | 21 | 977k|4457 | 0.000000e+00 | -- | Inf
1594.14/1594.66 c 1533s| 1530k|187569 | 3333k| 2.2 | 187M| 36 | 5 | 40 | 11k| 40 | 16 | 21 | 984k|4476 | 0.000000e+00 | -- | Inf
1609.14/1609.64 c 1547s| 1540k|187706 | 3355k| 2.2 | 188M| 36 | 5 | 40 | 10k| 40 | 16 | 21 | 992k|4507 | 0.000000e+00 | -- | Inf
1619.54/1620.09 c 1557s| 1550k|188523 | 3376k| 2.2 | 189M| 36 | - | 40 | 11k| 40 | 16 | 21 | 998k|4521 | 0.000000e+00 | -- | Inf
1632.04/1632.53 c 1569s| 1560k|189092 | 3397k| 2.2 | 190M| 36 | 5 | 40 | 11k| 40 | 16 | 21 |1005k|4532 | 0.000000e+00 | -- | Inf
1647.03/1647.56 c 1584s| 1570k|189215 | 3419k| 2.2 | 190M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |1012k|4547 | 0.000000e+00 | -- | Inf
1659.34/1659.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.34/1659.81 c 1596s| 1580k|189761 | 3441k| 2.2 | 191M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |1019k|4562 | 0.000000e+00 | -- | Inf
1670.13/1670.62 c 1606s| 1590k|190566 | 3462k| 2.2 | 192M| 36 | - | 40 | 12k| 40 | 16 | 21 |1026k|4572 | 0.000000e+00 | -- | Inf
1684.63/1685.16 c 1620s| 1600k|190845 | 3483k| 2.2 | 193M| 36 | 5 | 40 | 10k| 40 | 16 | 21 |1033k|4587 | 0.000000e+00 | -- | Inf
1697.21/1697.74 c 1632s| 1610k|191363 | 3505k| 2.2 | 193M| 36 | - | 40 | 10k| 40 | 16 | 21 |1040k|4602 | 0.000000e+00 | -- | Inf
1707.31/1707.83 c 1642s| 1620k|192573 | 3527k| 2.2 | 195M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1047k|4614 | 0.000000e+00 | -- | Inf
1718.82/1719.37 c 1653s| 1630k|193255 | 3548k| 2.2 | 196M| 36 | - | 40 | 13k| 40 | 16 | 21 |1053k|4624 | 0.000000e+00 | -- | Inf
1730.81/1731.34 c 1665s| 1640k|193823 | 3568k| 2.2 | 197M| 36 | 5 | 40 | 14k| 40 | 16 | 21 |1060k|4633 | 0.000000e+00 | -- | Inf
1745.11/1745.64 c 1679s| 1650k|194425 | 3590k| 2.2 | 198M| 36 | 5 | 40 | 13k| 40 | 16 | 21 |1067k|4647 | 0.000000e+00 | -- | Inf
1759.29/1759.85 c 1692s| 1660k|194838 | 3612k| 2.2 | 198M| 36 | - | 40 | 11k| 40 | 16 | 21 |1074k|4667 | 0.000000e+00 | -- | Inf
1771.89/1772.42 c 1705s| 1670k|195384 | 3634k| 2.2 | 199M| 36 | - | 40 | 12k| 0 | 0 | 21 |1081k|4680 | 0.000000e+00 | -- | Inf
1785.29/1785.88 c 1718s| 1680k|195976 | 3655k| 2.2 | 200M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1088k|4701 | 0.000000e+00 | -- | Inf
1798.09/1798.63 c 1730s| 1690k|196528 | 3677k| 2.2 | 201M| 36 | 5 | 40 | 12k| 40 | 16 | 21 |1095k|4716 | 0.000000e+00 | -- | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1731.95
1800.11/1800.61 c Solving Nodes : 1690908
1800.11/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 s UNKNOWN
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time : 1731.95
1800.11/1800.61 c Original Problem :
1800.11/1800.61 c Problem name : HOME/instance-2666872-1276600929.opb
1800.11/1800.61 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 11 initial, 11 maximal
1800.11/1800.61 c Presolved Problem :
1800.11/1800.61 c Problem name : t_HOME/instance-2666872-1276600929.opb
1800.11/1800.61 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 5 initial, 17603 maximal
1800.11/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.11/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.11/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c root node : - 0 - - 0 - - - -
1800.11/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c integral : 0 0 0 996389 0 632 2007 0 0 1987634
1800.11/1800.61 c linear : 5+ 7 4123686 0 0 217922 1826924 0 0 0
1800.11/1800.61 c logicor : 0+ 0 2072475 0 0 6533 805523 0 0 0
1800.11/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.61 c integral : 13.34 0.00 0.00 13.34 0.00
1800.11/1800.61 c linear : 148.08 0.00 148.08 0.00 0.00
1800.11/1800.61 c logicor : 653.99 0.00 653.99 0.00 0.00
1800.11/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.61 c vbounds : 2.18 2 0 0
1800.11/1800.61 c rootredcost : 2.18 0 0 0
1800.11/1800.61 c pseudoobj : 1.86 0 0 0
1800.11/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.61 c propagation : 13.85 224455 178071 609644 28.8 28 22.0 -
1800.11/1800.61 c infeasible LP : 34.68 559647 559637 1058262 18.7 8331 22.7 0
1800.11/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.61 c applied globally : - - - 1088670 19.0 - - -
1800.11/1800.61 c applied locally : - - - 7431 31.3 - - -
1800.11/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.61 c cut pool : 0.00 5 - - 12 - (maximal pool size: 74)
1800.11/1800.61 c redcost : 2.08 996387 0 0 0 0
1800.11/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.11/1800.61 c intobj : 0.00 0 0 0 0 0
1800.11/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.61 c gomory : 0.00 6 0 0 0 0
1800.11/1800.61 c strongcg : 0.00 6 0 0 29 0
1800.11/1800.61 c cmir : 0.04 6 0 0 26 0
1800.11/1800.61 c flowcover : 0.00 6 0 0 32 0
1800.11/1800.61 c clique : 0.00 1 0 0 0 0
1800.11/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.61 c mcf : 0.00 1 0 0 0 0
1800.11/1800.61 c rapidlearning : 0.06 1 0 0 0 49
1800.11/1800.61 c Pricers : Time Calls Vars
1800.11/1800.61 c problem variables: 0.00 0 0
1800.11/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c relpscost : 12.02 996389 632 2007 0 0 1987634
1800.11/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.11/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c random : 0.00 0 0 0 0 0 0
1800.11/1800.61 c Primal Heuristics : Time Calls Found
1800.11/1800.61 c LP solutions : 0.00 - 0
1800.11/1800.61 c pseudo solutions : 0.00 - 0
1800.11/1800.61 c oneopt : 1.55 0 0
1800.11/1800.61 c crossover : 1.03 0 0
1800.11/1800.61 c guideddiving : 0.15 0 0
1800.11/1800.61 c pscostdiving : 0.21 70 0
1800.11/1800.61 c fracdiving : 0.13 70 0
1800.11/1800.61 c veclendiving : 0.13 70 0
1800.11/1800.61 c linesearchdiving : 0.11 70 0
1800.11/1800.61 c coefdiving : 0.20 71 0
1800.11/1800.61 c objpscostdiving : 0.18 36 0
1800.11/1800.61 c rootsoldiving : 0.10 36 0
1800.11/1800.61 c feaspump : 0.15 36 0
1800.11/1800.61 c trivial : 0.00 2 0
1800.11/1800.61 c simplerounding : 0.47 0 0
1800.11/1800.61 c zirounding : 0.92 1000 0
1800.11/1800.61 c rounding : 1.18 14116 0
1800.11/1800.61 c shifting : 2.23 4161 0
1800.11/1800.61 c intshifting : 0.07 0 0
1800.11/1800.61 c twoopt : 0.00 0 0
1800.11/1800.61 c fixandinfer : 0.00 0 0
1800.11/1800.61 c intdiving : 0.00 0 0
1800.11/1800.61 c actconsdiving : 0.00 0 0
1800.11/1800.61 c octane : 0.00 0 0
1800.11/1800.61 c rens : 0.03 1 0
1800.11/1800.61 c rins : 0.00 0 0
1800.11/1800.61 c localbranching : 0.00 0 0
1800.11/1800.61 c mutation : 0.00 0 0
1800.11/1800.61 c dins : 0.00 0 0
1800.11/1800.61 c undercover : 0.00 0 0
1800.11/1800.61 c nlp : 0.87 0 0
1800.11/1800.61 c trysol : 1.05 0 0
1800.11/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.61 c dual LP : 140.53 1509494 3678516 2.44 26176.02
1800.11/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.61 c diving/probing LP: 0.08 938 1597 1.70 19962.50
1800.11/1800.61 c strong branching : 0.77 4716 16709 3.54 21700.00
1800.11/1800.61 c (at root node) : - 9 310 34.44 -
1800.11/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.61 c B&B Tree :
1800.11/1800.61 c number of runs : 1
1800.11/1800.61 c nodes : 1690908
1800.11/1800.61 c nodes (total) : 1690908
1800.11/1800.61 c nodes left : 196473
1800.11/1800.61 c max depth : 36
1800.11/1800.61 c max depth (total): 36
1800.11/1800.61 c backtracks : 376610 (22.3%)
1800.11/1800.61 c delayed cutoffs : 100254
1800.11/1800.61 c repropagations : 1489571 (1286706 domain reductions, 86813 cutoffs)
1800.11/1800.61 c avg switch length: 5.88
1800.11/1800.61 c switching time : 470.75
1800.11/1800.61 c Solution :
1800.11/1800.61 c Solutions found : 0 (0 improvements)
1800.11/1800.61 c Primal Bound : -
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Root Iterations : 104
1801.39/1801.98 c Time complete: 1801.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666872-1276600929/watcher-2666872-1276600929 -o /tmp/evaluation-result-2666872-1276600929/solver-2666872-1276600929 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666872-1276600929.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.93 1.00 0.99 3/106 9318
/proc/meminfo: memFree=1839356/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=7724 CPUtime=0
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 1024 0 0 0 0 0 0 0 18 0 1 0 1388321 7909376 943 1992294400 4194304 8223781 140736940025760 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9318/statm: 1931 953 348 984 0 944 0
[startup+0.0950571 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 9318
/proc/meminfo: memFree=1839356/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=19624 CPUtime=0.08
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 4886 0 0 0 7 1 0 0 20 0 1 0 1388321 20094976 3659 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 4906 3659 568 984 0 3919 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19624
[startup+0.101057 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 9318
/proc/meminfo: memFree=1839356/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=19624 CPUtime=0.09
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 4888 0 0 0 7 2 0 0 20 0 1 0 1388321 20094976 3661 1992294400 4194304 8223781 140736940025760 18446744073709551615 5917641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 4906 3662 568 984 0 3919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19624
[startup+0.301068 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 9318
/proc/meminfo: memFree=1839356/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=13392 CPUtime=0.29
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 8150 0 0 0 24 5 0 0 20 0 1 0 1388321 13713408 2497 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 3348 2497 588 984 0 2361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13392
[startup+0.701093 s]
/proc/loadavg: 0.93 1.00 0.99 3/106 9318
/proc/meminfo: memFree=1839356/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=13528 CPUtime=0.69
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 8185 0 0 0 60 9 0 0 21 0 1 0 1388321 13852672 2532 1992294400 4194304 8223781 140736940025760 18446744073709551615 7073949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 3382 2532 588 984 0 2395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13528
[startup+1.50114 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 9319
/proc/meminfo: memFree=1830916/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=14900 CPUtime=1.49
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 8531 0 0 0 133 16 0 0 23 0 1 0 1388321 15257600 2878 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 3725 2878 588 984 0 2738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14900
[startup+3.10024 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 9319
/proc/meminfo: memFree=1828684/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=17256 CPUtime=3.09
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 9096 0 0 0 279 30 0 0 25 0 1 0 1388321 17670144 3443 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 4314 3443 588 984 0 3327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17256
[startup+6.30144 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 9319
/proc/meminfo: memFree=1825956/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=19020 CPUtime=6.29
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 9544 0 0 0 573 56 0 0 25 0 1 0 1388321 19476480 3891 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 4755 3891 588 984 0 3768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19020
[startup+12.7008 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 9319
/proc/meminfo: memFree=1822856/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=21872 CPUtime=12.68
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 10246 0 0 0 1160 108 0 0 25 0 1 0 1388321 22396928 4593 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 5468 4593 588 984 0 4481 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21872
[startup+25.5016 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9319
/proc/meminfo: memFree=1816904/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=27748 CPUtime=25.49
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 11752 0 0 0 2346 203 0 0 25 0 1 0 1388321 28413952 6099 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 6937 6099 588 984 0 5950 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27748
[startup+51.1012 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9319
/proc/meminfo: memFree=1807976/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=36776 CPUtime=51.07
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 14036 0 0 0 4732 375 0 0 25 0 1 0 1388321 37658624 8383 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 9194 8383 588 984 0 8207 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36776
[startup+102.308 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 9321
/proc/meminfo: memFree=1794088/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=50144 CPUtime=102.26
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 17401 0 0 0 9546 680 0 0 25 0 1 0 1388321 51347456 11748 1992294400 4194304 8223781 140736940025760 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 12536 11748 588 984 0 11549 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50144
[startup+162.301 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 9323
/proc/meminfo: memFree=1779084/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=64844 CPUtime=162.24
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 21140 0 0 0 15235 989 0 0 25 0 1 0 1388321 66400256 15487 1992294400 4194304 8223781 140736940025760 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 16211 15487 588 984 0 15224 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64844
[startup+222.302 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 9325
/proc/meminfo: memFree=1769536/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=76064 CPUtime=222.23
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 23470 0 0 0 20951 1272 0 0 25 0 1 0 1388321 77889536 17817 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 19016 17817 588 984 0 18029 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76064
[startup+282.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 9327
/proc/meminfo: memFree=1757880/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=87544 CPUtime=282.21
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 26354 0 0 0 26692 1529 0 0 25 0 1 0 1388321 89645056 20701 1992294400 4194304 8223781 140736940025760 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 21886 20701 588 984 0 20899 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 87544
[startup+342.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 9327
/proc/meminfo: memFree=1750688/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=94668 CPUtime=342.19
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 28129 0 0 0 32418 1801 0 0 25 0 1 0 1388321 96940032 22476 1992294400 4194304 8223781 140736940025760 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 23667 22476 588 984 0 22680 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 94668
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9329
/proc/meminfo: memFree=1742380/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=103024 CPUtime=402.18
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 30225 0 0 0 38161 2057 0 0 25 0 1 0 1388321 105496576 24572 1992294400 4194304 8223781 140736940025760 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 25756 24572 588 984 0 24769 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 103024
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9331
/proc/meminfo: memFree=1735064/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=109956 CPUtime=462.16
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 32011 0 0 0 43914 2302 0 0 25 0 1 0 1388321 112594944 26358 1992294400 4194304 8223781 140736940025760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 27489 26358 588 984 0 26502 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 109956
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9333
/proc/meminfo: memFree=1727748/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=118040 CPUtime=522.14
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 34020 0 0 0 49670 2544 0 0 25 0 1 0 1388321 120872960 28367 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 29510 28367 588 984 0 28523 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 118040
[startup+582.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 9338
/proc/meminfo: memFree=1685384/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=123944 CPUtime=582.11
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 35528 0 0 0 55447 2764 0 0 25 0 1 0 1388321 126918656 29875 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 30986 29875 588 984 0 29999 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 123944
[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9338
/proc/meminfo: memFree=1675836/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=134024 CPUtime=642.1
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 37940 0 0 0 61210 3000 0 0 25 0 1 0 1388321 137240576 32287 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 33506 32287 588 984 0 32519 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 134024
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9348
/proc/meminfo: memFree=1640620/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=169028 CPUtime=1002
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 46745 0 0 0 95970 4230 0 0 25 0 1 0 1388321 173084672 41092 1992294400 4194304 8223781 140736940025760 18446744073709551615 4209068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 42257 41092 588 984 0 41270 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 169028
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9350
/proc/meminfo: memFree=1634172/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=175408 CPUtime=1061.99
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 48443 0 0 0 101758 4441 0 0 25 0 1 0 1388321 179617792 42790 1992294400 4194304 8223781 140736940025760 18446744073709551615 5955635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 43852 42790 588 984 0 42865 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 175408
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9352
/proc/meminfo: memFree=1630328/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=178944 CPUtime=1121.98
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 49245 0 0 0 107562 4636 0 0 25 0 1 0 1388321 183238656 43592 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 44736 43592 588 984 0 43749 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 178944
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9354
/proc/meminfo: memFree=1624376/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=184816 CPUtime=1181.96
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 50742 0 0 0 113361 4835 0 0 25 0 1 0 1388321 189251584 45089 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 46204 45089 588 984 0 45217 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 184816
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9354
/proc/meminfo: memFree=1620284/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=188512 CPUtime=1241.94
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 51718 0 0 0 119170 5024 0 0 25 0 1 0 1388321 193036288 46065 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 47128 46065 588 984 0 46141 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 188512
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9356
/proc/meminfo: memFree=1614828/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=193664 CPUtime=1301.94
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 53040 0 0 0 124970 5224 0 0 25 0 1 0 1388321 198311936 47387 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 48416 47387 588 984 0 47429 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 193664
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9358
/proc/meminfo: memFree=1609124/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=199804 CPUtime=1361.91
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 54604 0 0 0 130766 5425 0 0 25 0 1 0 1388321 204599296 48951 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 49951 48951 588 984 0 48964 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 199804
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9360
/proc/meminfo: memFree=1604040/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=204728 CPUtime=1421.9
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 55762 0 0 0 136577 5613 0 0 25 0 1 0 1388321 209641472 50109 1992294400 4194304 8223781 140736940025760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 51182 50109 588 984 0 50195 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 204728
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9362
/proc/meminfo: memFree=1599204/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=209184 CPUtime=1481.87
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 56948 0 0 0 142386 5801 0 0 25 0 1 0 1388321 214204416 51295 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 52296 51295 588 984 0 51309 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 209184
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9362
/proc/meminfo: memFree=1595980/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=212264 CPUtime=1541.85
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 57732 0 0 0 148204 5981 0 0 25 0 1 0 1388321 217358336 52079 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 53066 52079 588 984 0 52079 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 212264
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9364
/proc/meminfo: memFree=1592012/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=216008 CPUtime=1601.84
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 58685 0 0 0 154018 6166 0 0 25 0 1 0 1388321 221192192 53032 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 54002 53032 588 984 0 53015 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 216008
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9366
/proc/meminfo: memFree=1586928/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=221060 CPUtime=1661.82
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 59966 0 0 0 159824 6358 0 0 25 0 1 0 1388321 226365440 54313 1992294400 4194304 8223781 140736940025760 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 55265 54313 588 984 0 54278 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 221060
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9368
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=227736 CPUtime=1721.81
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 61664 0 0 0 165611 6570 0 0 25 0 1 0 1388321 233201664 56011 1992294400 4194304 8223781 140736940025760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 56934 56011 588 984 0 55947 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 227736
[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 9370
/proc/meminfo: memFree=1576140/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=231152 CPUtime=1781.79
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 62536 0 0 0 171425 6754 0 0 25 0 1 0 1388321 236699648 56883 1992294400 4194304 8223781 140736940025760 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 57788 56883 588 984 0 56801 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 231152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 9370
/proc/meminfo: memFree=1574156/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=233216 CPUtime=1800.11
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 63024 0 0 0 173195 6816 0 0 25 0 1 0 1388321 238813184 57371 1992294400 4194304 8223781 140736940025760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9318/statm: 58304 57371 588 984 0 57317 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 233216
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.05 1.01 1.00 2/107 9370
/proc/meminfo: memFree=1574156/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=233216 CPUtime=1800.89
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 63025 0 0 0 173273 6816 0 0 25 0 1 0 1388321 238813184 57372 1992294400 4194304 8223781 140736940025760 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9318/statm: 58304 57372 589 984 0 57317 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 233216
[startup+1801.81 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 9371
/proc/meminfo: memFree=1574148/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=233216 CPUtime=1801.3
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 63025 0 0 0 173314 6816 0 0 25 0 1 0 1388321 238813184 57372 1992294400 4194304 8223781 140736940025760 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9318/statm: 58304 57372 589 984 0 57317 0
Current children cumulated CPU time (s) 1801.3
Current children cumulated vsize (KiB) 233216
[startup+1801.9 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 9371
/proc/meminfo: memFree=1574148/2059040 swapFree=4192956/4192956
[pid=9318] ppid=9316 vsize=233216 CPUtime=1801.39
/proc/9318/stat : 9318 (pbscip.linux.x8) R 9316 9318 9293 0 -1 4202496 63025 0 0 0 173323 6816 0 0 25 0 1 0 1388321 238813184 57372 1992294400 4194304 8223781 140736940025760 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9318/statm: 58304 57372 589 984 0 57317 0
Current children cumulated CPU time (s) 1801.39
Current children cumulated vsize (KiB) 233216
Child status: 0
Real time (s): 1801.99
CPU time (s): 1801.48
CPU user time (s): 1733.3
CPU system time (s): 68.1846
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 233216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.3
system time used= 68.1846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63029
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= 5702
runsolver used 3.07753 second user time and 8.42772 second system time
The end