0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2666882-1276618309.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 | 24 | - | 234k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 80 | - | 405k| 0 | 10 | 40 | 79 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 90 | - | 429k| 0 | 12 | 40 | 79 | 40 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 97 | - | 445k| 0 | 11 | 40 | 79 | 40 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 107 | - | 458k| 0 | 14 | 40 | 79 | 40 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 112 | - | 464k| 0 | 15 | 40 | 79 | 40 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 117 | - | 471k| 0 | 16 | 40 | 79 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 2 | 117 | - | 472k| 0 | 16 | 40 | 79 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
4.40/4.48 c 4.1s| 10000 | 3338 | 22202 | 2.2 |3793k| 34 | 5 | 40 |3362 | 40 | 16 | 18 |4189 | 434 | 0.000000e+00 | -- | Inf
9.29/9.33 c 8.5s| 20000 | 6254 | 44103 | 2.2 |5383k| 35 | - | 40 |2262 | 0 | 0 | 18 |8980 | 609 | 0.000000e+00 | -- | Inf
13.68/13.74 c 12.6s| 30000 | 9128 | 65096 | 2.2 |7203k| 35 | - | 40 |2369 | 40 | 16 | 18 | 13k| 731 | 0.000000e+00 | -- | Inf
18.28/18.34 c 16.8s| 40000 | 11855 | 86778 | 2.2 |9102k| 35 | 5 | 40 |2874 | 40 | 16 | 18 | 18k| 836 | 0.000000e+00 | -- | Inf
23.19/23.20 c 21.3s| 50000 | 14413 |108035 | 2.2 | 10M| 35 | - | 40 |3048 | 40 | 16 | 18 | 23k| 946 | 0.000000e+00 | -- | Inf
27.99/28.07 c 25.8s| 60000 | 17132 |129045 | 2.1 | 12M| 35 | 5 | 40 |3810 | 40 | 16 | 18 | 28k|1039 | 0.000000e+00 | -- | Inf
33.28/33.30 c 30.6s| 70000 | 19666 |150678 | 2.2 | 14M| 35 | 5 | 40 |3539 | 40 | 16 | 18 | 33k|1127 | 0.000000e+00 | -- | Inf
38.58/38.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.58/38.65 c 35.6s| 80000 | 22017 |171691 | 2.1 | 16M| 35 | 5 | 40 |3963 | 40 | 16 | 18 | 38k|1219 | 0.000000e+00 | -- | Inf
43.88/43.99 c 40.6s| 90000 | 24564 |192708 | 2.1 | 17M| 35 | 5 | 40 |4242 | 40 | 16 | 18 | 43k|1299 | 0.000000e+00 | -- | Inf
49.58/49.68 c 45.9s|100000 | 26816 |213427 | 2.1 | 19M| 35 | 5 | 40 |4521 | 40 | 16 | 18 | 48k|1369 | 0.000000e+00 | -- | Inf
56.17/56.22 c 52.1s|110000 | 28734 |234948 | 2.1 | 20M| 35 | - | 40 |4026 | 0 | 0 | 18 | 54k|1445 | 0.000000e+00 | -- | Inf
61.87/61.98 c 57.5s|120000 | 31046 |256100 | 2.1 | 22M| 35 | 5 | 40 |4141 | 40 | 16 | 18 | 59k|1516 | 0.000000e+00 | -- | Inf
67.97/68.02 c 63.1s|130000 | 33094 |277365 | 2.1 | 24M| 35 | 5 | 40 |4281 | 40 | 16 | 18 | 65k|1578 | 0.000000e+00 | -- | Inf
73.76/73.83 c 68.5s|140000 | 35341 |298912 | 2.1 | 25M| 35 | - | 40 |4309 | 40 | 16 | 18 | 70k|1639 | 0.000000e+00 | -- | Inf
79.77/79.86 c 74.2s|150000 | 37462 |320345 | 2.1 | 27M| 35 | 5 | 40 |5301 | 40 | 16 | 18 | 75k|1701 | 0.000000e+00 | -- | Inf
86.17/86.26 c 80.2s|160000 | 39950 |342097 | 2.1 | 29M| 35 | 5 | 40 |6133 | 40 | 16 | 18 | 80k|1773 | 0.000000e+00 | -- | Inf
93.26/93.33 c 86.8s|170000 | 41978 |363932 | 2.1 | 31M| 35 | 5 | 40 |6011 | 40 | 16 | 18 | 86k|1833 | 0.000000e+00 | -- | Inf
100.46/100.53 c 93.7s|180000 | 43870 |385204 | 2.1 | 32M| 35 | - | 40 |5252 | 40 | 16 | 18 | 91k|1901 | 0.000000e+00 | -- | Inf
107.46/107.60 c 100s|190000 | 45532 |406750 | 2.1 | 33M| 35 | - | 40 |5482 | 40 | 16 | 18 | 97k|1946 | 0.000000e+00 | -- | Inf
113.96/114.01 c 106s|200000 | 47829 |428069 | 2.1 | 35M| 35 | 5 | 40 |5673 | 40 | 16 | 18 | 103k|2002 | 0.000000e+00 | -- | Inf
120.96/121.01 c 113s|210000 | 49555 |449766 | 2.1 | 36M| 35 | 5 | 40 |5603 | 40 | 16 | 18 | 108k|2053 | 0.000000e+00 | -- | Inf
127.86/127.90 c 120s|220000 | 51317 |470799 | 2.1 | 38M| 35 | 5 | 40 |6123 | 40 | 16 | 18 | 114k|2099 | 0.000000e+00 | -- | Inf
134.55/134.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.55/134.63 c 126s|230000 | 53449 |491834 | 2.1 | 39M| 35 | - | 40 |5957 | 0 | 0 | 18 | 119k|2151 | 0.000000e+00 | -- | Inf
141.76/141.83 c 133s|240000 | 55412 |512687 | 2.1 | 41M| 35 | - | 40 |5851 | 40 | 16 | 18 | 125k|2201 | 0.000000e+00 | -- | Inf
149.35/149.43 c 140s|250000 | 56947 |534500 | 2.1 | 42M| 35 | - | 40 |5751 | 40 | 16 | 18 | 131k|2269 | 0.000000e+00 | -- | Inf
157.04/157.11 c 147s|260000 | 58350 |555949 | 2.1 | 44M| 35 | 5 | 40 |6173 | 40 | 16 | 18 | 137k|2312 | 0.000000e+00 | -- | Inf
165.24/165.39 c 155s|270000 | 59655 |577279 | 2.1 | 45M| 35 | 5 | 40 |5958 | 40 | 16 | 18 | 143k|2365 | 0.000000e+00 | -- | Inf
173.04/173.17 c 162s|280000 | 61141 |598269 | 2.1 | 46M| 35 | - | 40 |6535 | 0 | 0 | 18 | 148k|2408 | 0.000000e+00 | -- | Inf
181.14/181.29 c 170s|290000 | 62588 |619326 | 2.1 | 48M| 35 | - | 40 |6728 | 40 | 16 | 18 | 154k|2449 | 0.000000e+00 | -- | Inf
188.84/188.92 c 177s|300000 | 64239 |640313 | 2.1 | 49M| 35 | 5 | 40 |7720 | 40 | 16 | 18 | 160k|2499 | 0.000000e+00 | -- | Inf
197.43/197.51 c 186s|310000 | 65586 |661333 | 2.1 | 50M| 35 | 5 | 40 |6438 | 40 | 16 | 18 | 166k|2523 | 0.000000e+00 | -- | Inf
205.83/205.90 c 194s|320000 | 66970 |682126 | 2.1 | 51M| 35 | - | 40 |6097 | 40 | 16 | 18 | 172k|2561 | 0.000000e+00 | -- | Inf
213.43/213.59 c 201s|330000 | 68318 |703162 | 2.1 | 52M| 35 | 5 | 40 |6515 | 40 | 16 | 18 | 178k|2598 | 0.000000e+00 | -- | Inf
220.82/220.98 c 208s|340000 | 69781 |725824 | 2.1 | 54M| 35 | 5 | 40 |7666 | 40 | 16 | 18 | 185k|2642 | 0.000000e+00 | -- | Inf
229.62/229.74 c 216s|350000 | 71152 |747771 | 2.1 | 55M| 35 | 5 | 40 |7430 | 40 | 16 | 18 | 191k|2687 | 0.000000e+00 | -- | Inf
237.92/238.03 c 224s|360000 | 72524 |769746 | 2.1 | 57M| 35 | - | 40 |7466 | 40 | 16 | 18 | 197k|2725 | 0.000000e+00 | -- | Inf
246.42/246.57 c 232s|370000 | 73752 |791421 | 2.1 | 58M| 35 | - | 40 |7284 | 40 | 16 | 18 | 203k|2759 | 0.000000e+00 | -- | Inf
256.02/256.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.02/256.17 c 241s|380000 | 74701 |812840 | 2.1 | 59M| 35 | 5 | 40 |5910 | 40 | 16 | 18 | 209k|2796 | 0.000000e+00 | -- | Inf
263.61/263.78 c 249s|390000 | 76058 |833451 | 2.1 | 60M| 35 | 5 | 40 |8205 | 40 | 16 | 18 | 215k|2834 | 0.000000e+00 | -- | Inf
271.91/272.07 c 257s|400000 | 77428 |854293 | 2.1 | 62M| 35 | - | 40 |7434 | 40 | 16 | 18 | 221k|2874 | 0.000000e+00 | -- | Inf
281.21/281.34 c 265s|410000 | 78565 |876351 | 2.1 | 63M| 35 | - | 40 |7349 | 40 | 16 | 18 | 228k|2911 | 0.000000e+00 | -- | Inf
290.10/290.30 c 274s|420000 | 79906 |898486 | 2.1 | 64M| 35 | 5 | 40 |7277 | 40 | 16 | 18 | 234k|2946 | 0.000000e+00 | -- | Inf
299.30/299.43 c 283s|430000 | 81076 |920379 | 2.1 | 65M| 35 | - | 40 |7479 | 40 | 16 | 18 | 241k|2989 | 0.000000e+00 | -- | Inf
308.60/308.76 c 292s|440000 | 82189 |942447 | 2.1 | 67M| 35 | 5 | 40 |8201 | 40 | 16 | 18 | 247k|3031 | 0.000000e+00 | -- | Inf
318.10/318.21 c 301s|450000 | 83290 |964365 | 2.1 | 68M| 35 | 5 | 40 |7696 | 40 | 16 | 18 | 253k|3063 | 0.000000e+00 | -- | Inf
327.61/327.75 c 310s|460000 | 84346 |985467 | 2.1 | 69M| 35 | - | 40 |7670 | 40 | 16 | 18 | 260k|3102 | 0.000000e+00 | -- | Inf
336.59/336.77 c 318s|470000 | 85476 | 1006k| 2.1 | 70M| 35 | - | 40 |8240 | 40 | 16 | 18 | 266k|3142 | 0.000000e+00 | -- | Inf
345.09/345.23 c 326s|480000 | 86945 | 1028k| 2.1 | 72M| 35 | - | 40 |8796 | 40 | 16 | 18 | 272k|3175 | 0.000000e+00 | -- | Inf
354.49/354.60 c 335s|490000 | 88021 | 1049k| 2.1 | 72M| 35 | - | 40 |7247 | 40 | 16 | 18 | 278k|3210 | 0.000000e+00 | -- | Inf
364.28/364.48 c 345s|500000 | 88838 | 1071k| 2.1 | 73M| 35 | 5 | 40 |6821 | 40 | 16 | 18 | 285k|3249 | 0.000000e+00 | -- | Inf
373.18/373.36 c 353s|510000 | 89945 | 1092k| 2.1 | 75M| 35 | 5 | 40 |9031 | 40 | 16 | 18 | 291k|3288 | 0.000000e+00 | -- | Inf
384.18/384.32 c 364s|520000 | 90735 | 1114k| 2.1 | 76M| 35 | 5 | 40 |7594 | 40 | 16 | 18 | 298k|3316 | 0.000000e+00 | -- | Inf
392.27/392.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.27/392.41 c 372s|530000 | 92094 | 1136k| 2.1 | 78M| 35 | 5 | 40 |9699 | 40 | 16 | 18 | 304k|3353 | 0.000000e+00 | -- | Inf
402.27/402.41 c 381s|540000 | 93329 | 1159k| 2.1 | 79M| 35 | - | 40 |9817 | 40 | 16 | 18 | 310k|3395 | 0.000000e+00 | -- | Inf
413.77/413.94 c 392s|550000 | 94101 | 1181k| 2.1 | 79M| 35 | 5 | 40 |8129 | 40 | 16 | 18 | 317k|3427 | 0.000000e+00 | -- | Inf
424.17/424.30 c 402s|560000 | 94999 | 1203k| 2.1 | 80M| 35 | - | 40 |8058 | 40 | 16 | 18 | 323k|3458 | 0.000000e+00 | -- | Inf
433.36/433.54 c 411s|570000 | 96152 | 1224k| 2.1 | 82M| 35 | 5 | 40 |8958 | 40 | 16 | 18 | 329k|3503 | 0.000000e+00 | -- | Inf
442.26/442.44 c 420s|580000 | 97487 | 1246k| 2.1 | 83M| 35 | - | 40 |8174 | 40 | 16 | 18 | 335k|3521 | 0.000000e+00 | -- | Inf
450.87/451.00 c 428s|590000 | 98737 | 1267k| 2.1 | 84M| 35 | - | 40 |9145 | 0 | 0 | 18 | 342k|3551 | 0.000000e+00 | -- | Inf
460.66/460.90 c 437s|600000 | 99744 | 1288k| 2.1 | 85M| 35 | 5 | 40 |8794 | 40 | 16 | 18 | 348k|3576 | 0.000000e+00 | -- | Inf
472.05/472.22 c 448s|610000 |100384 | 1310k| 2.1 | 86M| 35 | - | 40 |8321 | 40 | 16 | 18 | 354k|3602 | 0.000000e+00 | -- | Inf
482.15/482.36 c 458s|620000 |101298 | 1331k| 2.1 | 87M| 35 | 5 | 40 |8162 | 40 | 16 | 18 | 361k|3632 | 0.000000e+00 | -- | Inf
490.35/490.54 c 466s|630000 |102756 | 1354k| 2.1 | 89M| 35 | - | 40 | 10k| 40 | 16 | 18 | 367k|3662 | 0.000000e+00 | -- | Inf
499.54/499.78 c 475s|640000 |103759 | 1374k| 2.1 | 90M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 374k|3707 | 0.000000e+00 | -- | Inf
509.84/510.06 c 484s|650000 |104556 | 1394k| 2.1 | 92M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 380k|3733 | 0.000000e+00 | -- | Inf
521.44/521.65 c 496s|660000 |105474 | 1415k| 2.1 | 92M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 386k|3768 | 0.000000e+00 | -- | Inf
531.94/532.14 c 506s|670000 |106772 | 1437k| 2.1 | 94M| 35 | - | 40 | 11k| 40 | 16 | 18 | 393k|3797 | 0.000000e+00 | -- | Inf
542.93/543.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.93/543.12 c 516s|680000 |107814 | 1459k| 2.1 | 95M| 35 | - | 40 | 10k| 40 | 16 | 18 | 399k|3824 | 0.000000e+00 | -- | Inf
552.83/553.10 c 526s|690000 |109091 | 1480k| 2.1 | 96M| 35 | 5 | 40 |9761 | 40 | 16 | 18 | 405k|3861 | 0.000000e+00 | -- | Inf
563.32/563.52 c 536s|700000 |110113 | 1502k| 2.1 | 97M| 35 | 5 | 40 |9586 | 40 | 16 | 18 | 412k|3890 | 0.000000e+00 | -- | Inf
573.02/573.28 c 545s|710000 |111175 | 1523k| 2.1 | 98M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 418k|3914 | 0.000000e+00 | -- | Inf
583.12/583.39 c 555s|720000 |112290 | 1545k| 2.1 | 100M| 35 | - | 40 | 11k| 40 | 16 | 18 | 424k|3951 | 0.000000e+00 | -- | Inf
595.02/595.30 c 566s|730000 |113185 | 1568k| 2.1 | 100M| 35 | 5 | 40 |8685 | 40 | 16 | 18 | 431k|3976 | 0.000000e+00 | -- | Inf
604.61/604.81 c 575s|740000 |114433 | 1591k| 2.2 | 101M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 438k|4008 | 0.000000e+00 | -- | Inf
615.10/615.32 c 586s|750000 |115216 | 1614k| 2.2 | 103M| 35 | - | 40 | 10k| 40 | 16 | 18 | 445k|4037 | 0.000000e+00 | -- | Inf
625.31/625.53 c 595s|760000 |116528 | 1636k| 2.2 | 104M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 451k|4069 | 0.000000e+00 | -- | Inf
638.70/639.00 c 608s|770000 |116966 | 1657k| 2.2 | 104M| 35 | 5 | 40 |9031 | 40 | 16 | 18 | 458k|4098 | 0.000000e+00 | -- | Inf
650.50/650.75 c 620s|780000 |117647 | 1680k| 2.2 | 105M| 35 | - | 40 |9137 | 40 | 16 | 18 | 465k|4131 | 0.000000e+00 | -- | Inf
661.40/661.60 c 630s|790000 |118527 | 1703k| 2.2 | 107M| 35 | - | 40 |9816 | 40 | 16 | 18 | 472k|4152 | 0.000000e+00 | -- | Inf
671.39/671.69 c 640s|800000 |119654 | 1725k| 2.2 | 108M| 35 | 5 | 40 |9672 | 40 | 16 | 18 | 479k|4172 | 0.000000e+00 | -- | Inf
682.90/683.19 c 651s|810000 |120358 | 1748k| 2.2 | 108M| 35 | 5 | 40 |8394 | 40 | 16 | 18 | 486k|4198 | 0.000000e+00 | -- | Inf
692.59/692.84 c 660s|820000 |121433 | 1771k| 2.2 | 110M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 492k|4231 | 0.000000e+00 | -- | Inf
701.49/701.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.49/701.79 c 669s|830000 |123754 | 1792k| 2.2 | 111M| 35 | 5 | 40 |9585 | 40 | 16 | 18 | 497k|4252 | 0.000000e+00 | -- | Inf
709.78/710.09 c 677s|840000 |126160 | 1814k| 2.2 | 113M| 35 | - | 40 | 11k| 0 | 0 | 18 | 502k|4280 | 0.000000e+00 | -- | Inf
719.28/719.55 c 686s|850000 |128109 | 1835k| 2.2 | 115M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 508k|4302 | 0.000000e+00 | -- | Inf
728.57/728.86 c 695s|860000 |130391 | 1856k| 2.2 | 116M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 513k|4326 | 0.000000e+00 | -- | Inf
738.37/738.67 c 704s|870000 |132308 | 1877k| 2.2 | 118M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 518k|4351 | 0.000000e+00 | -- | Inf
748.67/748.99 c 714s|880000 |133876 | 1899k| 2.2 | 119M| 35 | - | 40 | 11k| 0 | 0 | 18 | 524k|4371 | 0.000000e+00 | -- | Inf
759.16/759.47 c 724s|890000 |135412 | 1920k| 2.2 | 120M| 35 | - | 40 | 11k| 0 | 0 | 18 | 529k|4388 | 0.000000e+00 | -- | Inf
769.56/769.89 c 734s|900000 |136959 | 1942k| 2.2 | 121M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 535k|4411 | 0.000000e+00 | -- | Inf
781.06/781.40 c 745s|910000 |138324 | 1963k| 2.2 | 123M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 541k|4434 | 0.000000e+00 | -- | Inf
792.25/792.58 c 756s|920000 |139661 | 1984k| 2.2 | 124M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 546k|4460 | 0.000000e+00 | -- | Inf
803.95/804.24 c 767s|930000 |140770 | 2005k| 2.2 | 125M| 35 | - | 40 | 11k| 40 | 16 | 18 | 552k|4476 | 0.000000e+00 | -- | Inf
815.45/815.75 c 779s|940000 |141780 | 2026k| 2.2 | 126M| 35 | - | 40 | 11k| 40 | 16 | 18 | 558k|4499 | 0.000000e+00 | -- | Inf
824.85/825.15 c 788s|950000 |143482 | 2049k| 2.2 | 128M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 564k|4520 | 0.000000e+00 | -- | Inf
836.05/836.38 c 798s|960000 |145011 | 2071k| 2.2 | 129M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 570k|4554 | 0.000000e+00 | -- | Inf
848.24/848.56 c 810s|970000 |146091 | 2091k| 2.2 | 129M| 35 | - | 40 | 11k| 40 | 16 | 18 | 576k|4578 | 0.000000e+00 | -- | Inf
858.64/858.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.64/858.99 c 820s|980000 |147521 | 2113k| 2.2 | 131M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 582k|4615 | 0.000000e+00 | -- | Inf
870.64/870.93 c 832s|990000 |148683 | 2134k| 2.2 | 132M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 588k|4638 | 0.000000e+00 | -- | Inf
881.73/882.02 c 842s| 1000k|150101 | 2155k| 2.2 | 134M| 35 | - | 40 | 14k| 40 | 16 | 18 | 594k|4665 | 0.000000e+00 | -- | Inf
894.72/895.03 c 855s| 1010k|150970 | 2176k| 2.2 | 134M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 600k|4686 | 0.000000e+00 | -- | Inf
907.42/907.75 c 867s| 1020k|151878 | 2196k| 2.2 | 135M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 606k|4711 | 0.000000e+00 | -- | Inf
919.72/920.09 c 879s| 1030k|152590 | 2217k| 2.2 | 136M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 612k|4734 | 0.000000e+00 | -- | Inf
931.81/932.19 c 891s| 1040k|153192 | 2238k| 2.2 | 137M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 619k|4764 | 0.000000e+00 | -- | Inf
944.62/944.95 c 903s| 1050k|153742 | 2259k| 2.2 | 137M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 625k|4786 | 0.000000e+00 | -- | Inf
956.61/956.96 c 915s| 1060k|154627 | 2279k| 2.2 | 138M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 631k|4812 | 0.000000e+00 | -- | Inf
966.70/967.07 c 925s| 1070k|156635 | 2301k| 2.2 | 140M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 636k|4830 | 0.000000e+00 | -- | Inf
979.81/980.16 c 937s| 1080k|157255 | 2321k| 2.1 | 141M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 643k|4850 | 0.000000e+00 | -- | Inf
992.69/993.06 c 950s| 1090k|158165 | 2342k| 2.1 | 142M| 35 | - | 40 | 14k| 40 | 16 | 18 | 649k|4876 | 0.000000e+00 | -- | Inf
1006.59/1006.90 c 963s| 1100k|158976 | 2363k| 2.1 | 142M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 655k|4902 | 0.000000e+00 | -- | Inf
1018.08/1018.47 c 975s| 1110k|160113 | 2385k| 2.1 | 144M| 35 | - | 40 | 14k| 40 | 16 | 18 | 661k|4926 | 0.000000e+00 | -- | Inf
1031.39/1031.79 c 987s| 1120k|160911 | 2405k| 2.1 | 145M| 35 | - | 40 | 14k| 40 | 16 | 18 | 667k|4936 | 0.000000e+00 | -- | Inf
1044.48/1044.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.48/1044.86 c 1000s| 1130k|162037 | 2427k| 2.1 | 145M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 673k|4965 | 0.000000e+00 | -- | Inf
1056.08/1056.44 c 1011s| 1140k|163202 | 2448k| 2.1 | 147M| 35 | - | 40 | 14k| 40 | 16 | 18 | 680k|4992 | 0.000000e+00 | -- | Inf
1068.17/1068.54 c 1023s| 1150k|164502 | 2470k| 2.1 | 149M| 35 | - | 40 | 15k| 40 | 16 | 18 | 686k|5014 | 0.000000e+00 | -- | Inf
1082.17/1082.55 c 1037s| 1160k|165291 | 2491k| 2.1 | 149M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 692k|5033 | 0.000000e+00 | -- | Inf
1098.27/1098.68 c 1052s| 1170k|165685 | 2513k| 2.1 | 149M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 700k|5047 | 0.000000e+00 | -- | Inf
1111.77/1112.15 c 1065s| 1180k|166127 | 2536k| 2.1 | 149M| 35 | - | 40 |7770 | 40 | 16 | 18 | 707k|5076 | 0.000000e+00 | -- | Inf
1122.55/1122.96 c 1076s| 1190k|166840 | 2558k| 2.2 | 151M| 35 | - | 40 |8476 | 40 | 16 | 18 | 714k|5095 | 0.000000e+00 | -- | Inf
1132.16/1132.55 c 1085s| 1200k|167868 | 2580k| 2.2 | 152M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 720k|5116 | 0.000000e+00 | -- | Inf
1145.45/1145.80 c 1098s| 1210k|168229 | 2603k| 2.2 | 152M| 35 | 5 | 40 |7873 | 40 | 16 | 18 | 727k|5149 | 0.000000e+00 | -- | Inf
1153.55/1153.94 c 1105s| 1220k|169558 | 2623k| 2.2 | 154M| 35 | - | 40 | 10k| 0 | 0 | 18 | 733k|5170 | 0.000000e+00 | -- | Inf
1165.84/1166.22 c 1117s| 1230k|169896 | 2645k| 2.2 | 154M| 35 | - | 40 |8316 | 0 | 0 | 18 | 740k|5202 | 0.000000e+00 | -- | Inf
1175.04/1175.44 c 1126s| 1240k|171487 | 2667k| 2.2 | 156M| 35 | - | 40 |8919 | 40 | 16 | 18 | 746k|5215 | 0.000000e+00 | -- | Inf
1184.84/1185.29 c 1136s| 1250k|172729 | 2688k| 2.2 | 157M| 35 | - | 40 |9749 | 40 | 16 | 18 | 752k|5233 | 0.000000e+00 | -- | Inf
1194.14/1194.50 c 1144s| 1260k|174247 | 2709k| 2.2 | 158M| 35 | 5 | 40 |9719 | 40 | 16 | 18 | 758k|5254 | 0.000000e+00 | -- | Inf
1202.73/1203.15 c 1153s| 1270k|176055 | 2728k| 2.1 | 160M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 762k|5268 | 0.000000e+00 | -- | Inf
1213.23/1213.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.23/1213.67 c 1163s| 1280k|176959 | 2747k| 2.1 | 161M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 768k|5292 | 0.000000e+00 | -- | Inf
1223.83/1224.23 c 1173s| 1290k|177736 | 2768k| 2.1 | 162M| 35 | - | 40 | 11k| 40 | 16 | 18 | 774k|5313 | 0.000000e+00 | -- | Inf
1235.13/1235.55 c 1184s| 1300k|178565 | 2789k| 2.1 | 163M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 781k|5332 | 0.000000e+00 | -- | Inf
1244.92/1245.35 c 1193s| 1310k|179535 | 2809k| 2.1 | 164M| 35 | - | 40 | 12k| 40 | 16 | 18 | 787k|5346 | 0.000000e+00 | -- | Inf
1257.12/1257.53 c 1205s| 1320k|180036 | 2830k| 2.1 | 165M| 35 | - | 40 | 11k| 0 | 0 | 18 | 793k|5365 | 0.000000e+00 | -- | Inf
1268.62/1269.04 c 1216s| 1330k|180550 | 2852k| 2.1 | 166M| 35 | - | 40 | 11k| 40 | 16 | 18 | 800k|5389 | 0.000000e+00 | -- | Inf
1281.21/1281.66 c 1228s| 1340k|180987 | 2874k| 2.1 | 166M| 35 | - | 40 |9352 | 40 | 16 | 18 | 807k|5408 | 0.000000e+00 | -- | Inf
1294.41/1294.88 c 1241s| 1350k|181140 | 2896k| 2.1 | 166M| 35 | - | 40 |7643 | 40 | 16 | 18 | 814k|5430 | 0.000000e+00 | -- | Inf
1304.60/1305.01 c 1251s| 1360k|181817 | 2918k| 2.1 | 168M| 35 | 5 | 40 |9109 | 40 | 16 | 18 | 821k|5450 | 0.000000e+00 | -- | Inf
1317.20/1317.67 c 1263s| 1370k|182170 | 2940k| 2.1 | 168M| 35 | - | 40 |7793 | 0 | 0 | 18 | 828k|5472 | 0.000000e+00 | -- | Inf
1328.90/1329.34 c 1274s| 1380k|182500 | 2962k| 2.1 | 169M| 35 | 5 | 40 |7653 | 40 | 16 | 18 | 835k|5497 | 0.000000e+00 | -- | Inf
1340.29/1340.75 c 1285s| 1390k|182755 | 2985k| 2.1 | 169M| 35 | 5 | 40 |7502 | 40 | 16 | 18 | 842k|5512 | 0.000000e+00 | -- | Inf
1349.39/1349.83 c 1294s| 1400k|183800 | 3006k| 2.1 | 171M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 849k|5533 | 0.000000e+00 | -- | Inf
1361.89/1362.37 c 1306s| 1410k|184232 | 3029k| 2.1 | 171M| 35 | - | 40 |7976 | 40 | 16 | 18 | 856k|5553 | 0.000000e+00 | -- | Inf
1370.98/1371.47 c 1315s| 1420k|185418 | 3050k| 2.1 | 173M| 35 | - | 40 |9945 | 0 | 0 | 18 | 863k|5575 | 0.000000e+00 | -- | Inf
1382.68/1383.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.68/1383.18 c 1326s| 1430k|185938 | 3073k| 2.1 | 174M| 35 | 5 | 40 |9839 | 40 | 16 | 18 | 870k|5594 | 0.000000e+00 | -- | Inf
1395.07/1395.58 c 1338s| 1440k|186362 | 3095k| 2.1 | 174M| 35 | 5 | 40 |8090 | 40 | 16 | 18 | 877k|5615 | 0.000000e+00 | -- | Inf
1404.97/1405.42 c 1348s| 1450k|187240 | 3118k| 2.2 | 176M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 884k|5637 | 0.000000e+00 | -- | Inf
1415.07/1415.59 c 1357s| 1460k|188049 | 3139k| 2.2 | 177M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 891k|5659 | 0.000000e+00 | -- | Inf
1425.67/1426.13 c 1368s| 1470k|188926 | 3158k| 2.1 | 179M| 35 | - | 40 | 13k| 0 | 0 | 18 | 897k|5679 | 0.000000e+00 | -- | Inf
1438.27/1438.76 c 1380s| 1480k|189540 | 3180k| 2.1 | 179M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 904k|5702 | 0.000000e+00 | -- | Inf
1449.76/1450.20 c 1391s| 1490k|190079 | 3202k| 2.1 | 180M| 35 | - | 40 | 10k| 0 | 0 | 18 | 911k|5726 | 0.000000e+00 | -- | Inf
1460.06/1460.59 c 1401s| 1500k|190997 | 3225k| 2.1 | 181M| 35 | - | 40 | 10k| 0 | 0 | 18 | 917k|5742 | 0.000000e+00 | -- | Inf
1472.15/1472.60 c 1412s| 1510k|191389 | 3247k| 2.2 | 181M| 35 | - | 40 | 10k| 40 | 16 | 18 | 925k|5760 | 0.000000e+00 | -- | Inf
1482.05/1482.57 c 1422s| 1520k|192784 | 3268k| 2.1 | 183M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 931k|5783 | 0.000000e+00 | -- | Inf
1493.26/1493.79 c 1433s| 1530k|193549 | 3288k| 2.1 | 184M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 937k|5798 | 0.000000e+00 | -- | Inf
1507.84/1508.35 c 1447s| 1540k|193858 | 3309k| 2.1 | 184M| 35 | 5 | 40 |7600 | 40 | 16 | 18 | 944k|5829 | 0.000000e+00 | -- | Inf
1518.04/1518.51 c 1457s| 1550k|194658 | 3332k| 2.2 | 185M| 35 | 5 | 40 |9139 | 40 | 16 | 18 | 951k|5846 | 0.000000e+00 | -- | Inf
1528.54/1529.01 c 1467s| 1560k|195548 | 3355k| 2.2 | 186M| 35 | - | 40 | 10k| 0 | 0 | 18 | 958k|5867 | 0.000000e+00 | -- | Inf
1539.74/1540.23 c 1477s| 1570k|196211 | 3378k| 2.2 | 187M| 35 | - | 40 | 10k| 40 | 16 | 18 | 965k|5889 | 0.000000e+00 | -- | Inf
1552.74/1553.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.74/1553.23 c 1490s| 1580k|196515 | 3400k| 2.2 | 187M| 35 | 5 | 40 |8440 | 40 | 16 | 18 | 972k|5916 | 0.000000e+00 | -- | Inf
1565.13/1565.66 c 1502s| 1590k|196725 | 3423k| 2.2 | 188M| 35 | - | 40 |7440 | 40 | 16 | 18 | 979k|5943 | 0.000000e+00 | -- | Inf
1574.63/1575.11 c 1511s| 1600k|197475 | 3446k| 2.2 | 189M| 35 | - | 40 |8752 | 0 | 0 | 18 | 986k|5958 | 0.000000e+00 | -- | Inf
1584.82/1585.39 c 1521s| 1610k|198387 | 3468k| 2.2 | 190M| 35 | - | 40 |9092 | 40 | 16 | 18 | 993k|5971 | 0.000000e+00 | -- | Inf
1594.91/1595.40 c 1531s| 1620k|199352 | 3489k| 2.2 | 192M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 999k|5989 | 0.000000e+00 | -- | Inf
1606.42/1606.99 c 1542s| 1630k|199615 | 3510k| 2.2 | 192M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1006k|6015 | 0.000000e+00 | -- | Inf
1620.11/1620.61 c 1555s| 1640k|199504 | 3532k| 2.2 | 192M| 35 | - | 40 |7625 | 0 | 0 | 18 |1014k|6038 | 0.000000e+00 | -- | Inf
1630.21/1630.79 c 1565s| 1650k|200125 | 3554k| 2.2 | 193M| 35 | 5 | 40 |8681 | 40 | 16 | 18 |1021k|6053 | 0.000000e+00 | -- | Inf
1642.10/1642.61 c 1576s| 1660k|200605 | 3577k| 2.2 | 194M| 35 | - | 40 |8874 | 40 | 16 | 18 |1028k|6072 | 0.000000e+00 | -- | Inf
1655.01/1655.53 c 1589s| 1670k|200671 | 3599k| 2.2 | 194M| 35 | - | 40 |6895 | 40 | 16 | 18 |1035k|6089 | 0.000000e+00 | -- | Inf
1665.70/1666.29 c 1599s| 1680k|201013 | 3621k| 2.2 | 195M| 35 | 5 | 40 |8145 | 40 | 16 | 18 |1042k|6116 | 0.000000e+00 | -- | Inf
1676.29/1676.85 c 1609s| 1690k|201722 | 3644k| 2.2 | 196M| 35 | - | 40 |8329 | 40 | 16 | 18 |1050k|6138 | 0.000000e+00 | -- | Inf
1686.39/1687.00 c 1619s| 1700k|202463 | 3667k| 2.2 | 198M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1057k|6160 | 0.000000e+00 | -- | Inf
1697.59/1698.16 c 1630s| 1710k|203585 | 3690k| 2.2 | 199M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1063k|6178 | 0.000000e+00 | -- | Inf
1707.88/1708.44 c 1639s| 1720k|204655 | 3712k| 2.2 | 200M| 35 | - | 40 | 11k| 40 | 16 | 18 |1070k|6196 | 0.000000e+00 | -- | Inf
1719.78/1720.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.78/1720.35 c 1651s| 1730k|205085 | 3734k| 2.2 | 201M| 35 | - | 40 | 12k| 40 | 16 | 18 |1077k|6213 | 0.000000e+00 | -- | Inf
1733.09/1733.63 c 1664s| 1740k|205501 | 3756k| 2.2 | 201M| 35 | - | 40 |9840 | 40 | 16 | 18 |1084k|6234 | 0.000000e+00 | -- | Inf
1743.98/1744.56 c 1674s| 1750k|206179 | 3779k| 2.2 | 202M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1091k|6249 | 0.000000e+00 | -- | Inf
1756.27/1756.89 c 1686s| 1760k|206524 | 3801k| 2.2 | 203M| 35 | 5 | 40 |9362 | 40 | 16 | 18 |1098k|6269 | 0.000000e+00 | -- | Inf
1769.16/1769.71 c 1699s| 1770k|206757 | 3824k| 2.2 | 203M| 35 | - | 40 |8251 | 40 | 16 | 18 |1105k|6300 | 0.000000e+00 | -- | Inf
1780.76/1781.34 c 1710s| 1780k|207157 | 3848k| 2.2 | 204M| 35 | 5 | 40 |8428 | 40 | 16 | 18 |1113k|6321 | 0.000000e+00 | -- | Inf
1789.36/1789.93 c 1718s| 1790k|208622 | 3870k| 2.2 | 206M| 35 | 5 | 40 |9864 | 40 | 16 | 18 |1119k|6337 | 0.000000e+00 | -- | Inf
1799.76/1800.36 c 1728s| 1800k|209162 | 3893k| 2.2 | 207M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1126k|6360 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1728.29
1800.07/1800.61 c Solving Nodes : 1800207
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1728.29
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2666882-1276618309.opb
1800.07/1800.62 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 11 initial, 11 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2666882-1276618309.opb
1800.07/1800.62 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 5 initial, 15968 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 0.00 0 0 0 0 0 6 0 0
1800.07/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 1068469 0 791 2971 0 0 2129916
1800.07/1800.62 c linear : 5+ 7 4332301 0 0 277596 2249981 0 0 0
1800.07/1800.62 c logicor : 0+ 0 2190743 0 0 6289 873511 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 14.61 0.00 0.00 14.61 0.00
1800.07/1800.62 c linear : 175.57 0.00 175.57 0.00 0.00
1800.07/1800.62 c logicor : 609.26 0.00 609.26 0.00 0.00
1800.07/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 2.60 2 0 0
1800.07/1800.62 c rootredcost : 2.18 0 0 0
1800.07/1800.62 c pseudoobj : 1.82 0 0 0
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 18.44 283885 221658 753973 28.6 42 22.8 -
1800.07/1800.62 c infeasible LP : 34.20 558887 558870 1025413 18.3 8087 22.3 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 1117708 19.1 - - -
1800.07/1800.62 c applied locally : - - - 8902 31.4 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 5 - - 22 - (maximal pool size: 66)
1800.07/1800.62 c redcost : 2.16 1068473 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 6 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 6 0 0 16 0
1800.07/1800.62 c cmir : 0.01 6 0 0 30 0
1800.07/1800.62 c flowcover : 0.02 6 0 0 39 0
1800.07/1800.62 c clique : 0.00 1 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 1 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.08 1 0 0 0 74
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 12.89 1068469 791 2971 0 0 2129916
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 0
1800.07/1800.62 c oneopt : 1.83 0 0
1800.07/1800.62 c crossover : 1.07 0 0
1800.07/1800.62 c guideddiving : 0.22 0 0
1800.07/1800.62 c coefdiving : 0.31 96 0
1800.07/1800.62 c pscostdiving : 0.18 96 0
1800.07/1800.62 c fracdiving : 0.18 96 0
1800.07/1800.62 c veclendiving : 0.18 96 0
1800.07/1800.62 c linesearchdiving : 0.26 96 0
1800.07/1800.62 c objpscostdiving : 0.15 49 0
1800.07/1800.62 c rootsoldiving : 0.15 49 0
1800.07/1800.62 c feaspump : 0.21 49 0
1800.07/1800.62 c trivial : 0.00 2 0
1800.07/1800.62 c simplerounding : 0.60 0 0
1800.07/1800.62 c zirounding : 0.95 1000 0
1800.07/1800.62 c rounding : 1.14 14619 0
1800.07/1800.62 c shifting : 2.07 4305 0
1800.07/1800.62 c intshifting : 0.07 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.02 1 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 0.89 0 0
1800.07/1800.62 c trysol : 1.32 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 146.87 1582663 3891117 2.46 26493.61
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.10 1465 2580 1.76 25800.00
1800.07/1800.62 c strong branching : 1.03 6360 23511 3.70 22826.21
1800.07/1800.62 c (at root node) : - 9 323 35.89 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 1800207
1800.07/1800.62 c nodes (total) : 1800207
1800.07/1800.62 c nodes left : 209159
1800.07/1800.62 c max depth : 35
1800.07/1800.62 c max depth (total): 35
1800.07/1800.62 c backtracks : 398572 (22.1%)
1800.07/1800.62 c delayed cutoffs : 120551
1800.07/1800.62 c repropagations : 1548465 (1473601 domain reductions, 107165 cutoffs)
1800.07/1800.62 c avg switch length: 5.83
1800.07/1800.62 c switching time : 487.76
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 0 (0 improvements)
1800.07/1800.62 c Primal Bound : -
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 117
1801.46/1802.04 c Time complete: 1801.5.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666882-1276618309/watcher-2666882-1276618309 -o /tmp/evaluation-result-2666882-1276618309/solver-2666882-1276618309 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666882-1276618309.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10550
/proc/meminfo: memFree=1764656/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=8752 CPUtime=0
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 1 0 3118918 8962048 1209 1992294400 4194304 8223781 140737443309824 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10550/statm: 2188 1216 348 984 0 1201 0
[startup+0.0527099 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10550
/proc/meminfo: memFree=1764656/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=19492 CPUtime=0.04
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 4876 0 0 0 3 1 0 0 20 0 1 0 3118918 19959808 3650 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 4873 3650 568 984 0 3886 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19492
[startup+0.100716 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10550
/proc/meminfo: memFree=1764656/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=19624 CPUtime=0.09
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 4888 0 0 0 7 2 0 0 20 0 1 0 3118918 20094976 3662 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 4906 3662 568 984 0 3919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19624
[startup+0.300745 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10550
/proc/meminfo: memFree=1764656/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=13568 CPUtime=0.29
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 7928 0 0 0 24 5 0 0 20 0 1 0 3118918 13893632 2539 1992294400 4194304 8223781 140737443309824 18446744073709551615 4979040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 3392 2539 588 984 0 2405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13568
[startup+0.700801 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10550
/proc/meminfo: memFree=1764656/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=13568 CPUtime=0.69
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 7929 0 0 0 59 10 0 0 21 0 1 0 3118918 13893632 2540 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 3392 2540 588 984 0 2405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13568
[startup+1.50091 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10551
/proc/meminfo: memFree=1756092/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=14852 CPUtime=1.49
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 8243 0 0 0 130 19 0 0 23 0 1 0 3118918 15208448 2854 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 3713 2854 588 984 0 2726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14852
[startup+3.10114 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10551
/proc/meminfo: memFree=1754480/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=17100 CPUtime=3.09
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 8770 0 0 0 279 30 0 0 25 0 1 0 3118918 17510400 3381 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 4275 3381 588 984 0 3288 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17100
[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10551
/proc/meminfo: memFree=1751256/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=19360 CPUtime=6.29
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 9344 0 0 0 575 54 0 0 25 0 1 0 3118918 19824640 3955 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 4840 3955 588 984 0 3853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19360
[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 10551
/proc/meminfo: memFree=1748280/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=21912 CPUtime=12.69
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 9988 0 0 0 1163 106 0 0 25 0 1 0 3118918 22437888 4599 1992294400 4194304 8223781 140737443309824 18446744073709551615 4923282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 5478 4599 588 984 0 4491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21912
[startup+25.5003 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10553
/proc/meminfo: memFree=1742328/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=27712 CPUtime=25.48
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 11466 0 0 0 2342 206 0 0 25 0 1 0 3118918 28377088 6077 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 6928 6077 588 984 0 5941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27712
[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10553
/proc/meminfo: memFree=1733276/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=37128 CPUtime=51.07
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 13852 0 0 0 4727 380 0 0 25 0 1 0 3118918 38019072 8463 1992294400 4194304 8223781 140737443309824 18446744073709551615 4431705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 9282 8463 588 984 0 8295 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37128
[startup+102.308 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 10555
/proc/meminfo: memFree=1719016/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=50560 CPUtime=102.27
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 17239 0 0 0 9534 693 0 0 25 0 1 0 3118918 51773440 11850 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 12640 11850 588 984 0 11653 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50560
[startup+162.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 10555
/proc/meminfo: memFree=1706120/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=63212 CPUtime=162.24
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 20444 0 0 0 15207 1017 0 0 25 0 1 0 3118918 64729088 15055 1992294400 4194304 8223781 140737443309824 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 15803 15055 588 984 0 14816 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 63212
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10557
/proc/meminfo: memFree=1695456/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=75536 CPUtime=222.23
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 23083 0 0 0 20906 1317 0 0 25 0 1 0 3118918 77348864 17694 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 18884 17694 588 984 0 17897 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 75536
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10559
/proc/meminfo: memFree=1685536/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=85520 CPUtime=282.2
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 25523 0 0 0 26630 1590 0 0 25 0 1 0 3118918 87572480 20134 1992294400 4194304 8223781 140737443309824 18446744073709551615 4221265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 21380 20134 588 984 0 20393 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 85520
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10561
/proc/meminfo: memFree=1676112/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=94820 CPUtime=342.19
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 27860 0 0 0 32361 1858 0 0 25 0 1 0 3118918 97095680 22471 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 23705 22471 588 984 0 22718 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 94820
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10563
/proc/meminfo: memFree=1666440/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=104676 CPUtime=402.18
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 30232 0 0 0 38105 2113 0 0 25 0 1 0 3118918 107188224 24843 1992294400 4194304 8223781 140737443309824 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 26169 24843 588 984 0 25182 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 104676
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10563
/proc/meminfo: memFree=1660116/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=110768 CPUtime=462.15
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 31794 0 0 0 43859 2356 0 0 25 0 1 0 3118918 113426432 26405 1992294400 4194304 8223781 140737443309824 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 27692 26405 588 984 0 26705 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 110768
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10565
/proc/meminfo: memFree=1652552/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=118168 CPUtime=522.13
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 33699 0 0 0 49624 2589 0 0 25 0 1 0 3118918 121004032 28310 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 29542 28310 588 984 0 28555 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 118168
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10567
/proc/meminfo: memFree=1645360/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=125128 CPUtime=582.12
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 35468 0 0 0 55383 2829 0 0 25 0 1 0 3118918 128131072 30079 1992294400 4194304 8223781 140737443309824 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 31282 30079 588 984 0 30295 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 125128
[startup+642.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 10569
/proc/meminfo: memFree=1639904/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=130536 CPUtime=642.1
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 36781 0 0 0 61162 3048 0 0 25 0 1 0 3118918 133668864 31392 1992294400 4194304 8223781 140737443309824 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 32634 31392 588 984 0 31647 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 130536
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 10579
/proc/meminfo: memFree=1598612/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=170968 CPUtime=1002
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 46954 0 0 0 95883 4317 0 0 25 0 1 0 3118918 175071232 41565 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 42742 41565 588 984 0 41755 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 170968
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10579
/proc/meminfo: memFree=1593404/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=176068 CPUtime=1061.97
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 48214 0 0 0 101689 4508 0 0 25 0 1 0 3118918 180293632 42825 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 44017 42825 588 984 0 43030 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 176068
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10581
/proc/meminfo: memFree=1590304/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=179184 CPUtime=1121.96
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 49001 0 0 0 107503 4693 0 0 25 0 1 0 3118918 183484416 43612 1992294400 4194304 8223781 140737443309824 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 44796 43612 588 984 0 43809 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 179184
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10583
/proc/meminfo: memFree=1584228/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=185284 CPUtime=1181.94
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 50497 0 0 0 113275 4919 0 0 25 0 1 0 3118918 189730816 45108 1992294400 4194304 8223781 140737443309824 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 46321 45108 588 984 0 45334 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 185284
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10585
/proc/meminfo: memFree=1576540/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=192548 CPUtime=1241.92
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 52353 0 0 0 119040 5152 0 0 25 0 1 0 3118918 197169152 46964 1992294400 4194304 8223781 140737443309824 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 48137 46964 588 984 0 47150 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 192548
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10590
/proc/meminfo: memFree=1571952/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=196536 CPUtime=1301.91
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 53368 0 0 0 124830 5361 0 0 25 0 1 0 3118918 201252864 47979 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 49134 47979 588 984 0 48147 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 196536
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10590
/proc/meminfo: memFree=1568232/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=200216 CPUtime=1361.89
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 54310 0 0 0 130616 5573 0 0 25 0 1 0 3118918 205021184 48921 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 50054 48921 588 984 0 49067 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 200216
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10592
/proc/meminfo: memFree=1560172/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=208072 CPUtime=1421.87
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 56314 0 0 0 136387 5800 0 0 25 0 1 0 3118918 213065728 50925 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 52018 50925 588 984 0 51031 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 208072
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10594
/proc/meminfo: memFree=1555088/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=213632 CPUtime=1481.85
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 57669 0 0 0 142160 6025 0 0 25 0 1 0 3118918 218759168 52280 1992294400 4194304 8223781 140737443309824 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 53408 52280 588 984 0 52421 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 213632
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10596
/proc/meminfo: memFree=1551492/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=216980 CPUtime=1541.83
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 58511 0 0 0 147949 6234 0 0 25 0 1 0 3118918 222187520 53122 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 54245 53122 588 984 0 53258 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 216980
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10598
/proc/meminfo: memFree=1547648/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=224636 CPUtime=1601.81
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 59459 0 0 0 153732 6449 0 0 25 0 1 0 3118918 230027264 54070 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 56159 54070 588 984 0 55172 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 224636
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10598
/proc/meminfo: memFree=1542192/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=229972 CPUtime=1661.79
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 60805 0 0 0 159519 6660 0 0 25 0 1 0 3118918 235491328 55416 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 57493 55416 588 984 0 56506 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 229972
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10600
/proc/meminfo: memFree=1534876/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=237068 CPUtime=1721.78
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 62614 0 0 0 165286 6892 0 0 25 0 1 0 3118918 242757632 57225 1992294400 4194304 8223781 140737443309824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 59267 57225 588 984 0 58280 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 237068
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10602
/proc/meminfo: memFree=1531900/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=239660 CPUtime=1781.76
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 63278 0 0 0 171078 7098 0 0 25 0 1 0 3118918 245411840 57889 1992294400 4194304 8223781 140737443309824 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 59915 57889 588 984 0 58928 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 239660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10602
/proc/meminfo: memFree=1529544/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=241996 CPUtime=1800.07
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 63876 0 0 0 172828 7179 0 0 25 0 1 0 3118918 247803904 58487 1992294400 4194304 8223781 140737443309824 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10550/statm: 60499 58487 588 984 0 59512 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 241996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10602
/proc/meminfo: memFree=1529544/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=241996 CPUtime=1800.86
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 63877 0 0 0 172907 7179 0 0 25 0 1 0 3118918 247803904 58488 1992294400 4194304 8223781 140737443309824 18446744073709551615 6207088 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10550/statm: 60499 58488 589 984 0 59512 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 241996
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10603
/proc/meminfo: memFree=1529536/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=241996 CPUtime=1801.27
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 63877 0 0 0 172948 7179 0 0 25 0 1 0 3118918 247803904 58488 1992294400 4194304 8223781 140737443309824 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10550/statm: 60499 58488 589 984 0 59512 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 241996
[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10603
/proc/meminfo: memFree=1529536/2059040 swapFree=4192956/4192956
[pid=10550] ppid=10548 vsize=187328 CPUtime=1801.46
/proc/10550/stat : 10550 (pbscip.linux.x8) R 10548 10550 10525 0 -1 4202496 63877 0 0 0 172966 7180 0 0 25 0 1 0 3118918 191823872 44821 1992294400 4194304 8223781 140737443309824 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10550/statm: 46832 44821 589 984 0 45845 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 187328
Child status: 0
Real time (s): 1802.04
CPU time (s): 1801.51
CPU user time (s): 1729.68
CPU system time (s): 71.8201
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 241996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.69
system time used= 71.8201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2742
runsolver used 3.01954 second user time and 8.48271 second system time
The end