0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703537-1278562911.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.02 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.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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 | - | 235k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 80 | - | 406k| 0 | 10 | 40 | 79 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 90 | - | 430k| 0 | 12 | 40 | 79 | 40 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 97 | - | 446k| 0 | 11 | 40 | 79 | 40 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 107 | - | 459k| 0 | 14 | 40 | 79 | 40 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 112 | - | 465k| 0 | 15 | 40 | 79 | 40 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 117 | - | 472k| 0 | 16 | 40 | 79 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 2 | 117 | - | 473k| 0 | 16 | 40 | 79 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
3.99/4.09 c 4.1s| 10000 | 3338 | 22202 | 2.2 |3794k| 34 | 5 | 40 |3362 | 40 | 16 | 18 |4189 | 434 | 0.000000e+00 | -- | Inf
8.49/8.57 c 8.6s| 20000 | 6254 | 44103 | 2.2 |5384k| 35 | - | 40 |2262 | 0 | 0 | 18 |8980 | 609 | 0.000000e+00 | -- | Inf
12.49/12.59 c 12.6s| 30000 | 9128 | 65096 | 2.2 |7204k| 35 | - | 40 |2369 | 40 | 16 | 18 | 13k| 731 | 0.000000e+00 | -- | Inf
16.79/16.81 c 16.8s| 40000 | 11855 | 86778 | 2.2 |9103k| 35 | 5 | 40 |2874 | 40 | 16 | 18 | 18k| 836 | 0.000000e+00 | -- | Inf
21.19/21.28 c 21.3s| 50000 | 14413 |108035 | 2.2 | 10M| 35 | - | 40 |3048 | 40 | 16 | 18 | 23k| 946 | 0.000000e+00 | -- | Inf
25.69/25.78 c 25.8s| 60000 | 17132 |129045 | 2.1 | 12M| 35 | 5 | 40 |3810 | 40 | 16 | 18 | 28k|1039 | 0.000000e+00 | -- | Inf
30.58/30.62 c 30.6s| 70000 | 19666 |150678 | 2.2 | 14M| 35 | 5 | 40 |3539 | 40 | 16 | 18 | 33k|1127 | 0.000000e+00 | -- | Inf
35.48/35.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.57 c 35.6s| 80000 | 22017 |171691 | 2.1 | 16M| 35 | 5 | 40 |3963 | 40 | 16 | 18 | 38k|1219 | 0.000000e+00 | -- | Inf
40.49/40.53 c 40.5s| 90000 | 24564 |192708 | 2.1 | 17M| 35 | 5 | 40 |4242 | 40 | 16 | 18 | 43k|1299 | 0.000000e+00 | -- | Inf
45.78/45.84 c 45.8s|100000 | 26816 |213427 | 2.1 | 19M| 35 | 5 | 40 |4521 | 40 | 16 | 18 | 48k|1369 | 0.000000e+00 | -- | Inf
51.88/51.97 c 52.0s|110000 | 28734 |234948 | 2.1 | 20M| 35 | - | 40 |4026 | 0 | 0 | 18 | 54k|1445 | 0.000000e+00 | -- | Inf
57.28/57.38 c 57.4s|120000 | 31046 |256100 | 2.1 | 22M| 35 | 5 | 40 |4141 | 40 | 16 | 18 | 59k|1516 | 0.000000e+00 | -- | Inf
62.97/63.08 c 63.1s|130000 | 33094 |277365 | 2.1 | 24M| 35 | 5 | 40 |4281 | 40 | 16 | 18 | 65k|1578 | 0.000000e+00 | -- | Inf
68.48/68.51 c 68.5s|140000 | 35341 |298912 | 2.1 | 25M| 35 | - | 40 |4309 | 40 | 16 | 18 | 70k|1639 | 0.000000e+00 | -- | Inf
74.08/74.17 c 74.2s|150000 | 37462 |320345 | 2.1 | 27M| 35 | 5 | 40 |5301 | 40 | 16 | 18 | 75k|1701 | 0.000000e+00 | -- | Inf
80.08/80.17 c 80.2s|160000 | 39950 |342097 | 2.1 | 29M| 35 | 5 | 40 |6133 | 40 | 16 | 18 | 80k|1773 | 0.000000e+00 | -- | Inf
86.78/86.83 c 86.8s|170000 | 41978 |363932 | 2.1 | 31M| 35 | 5 | 40 |6011 | 40 | 16 | 18 | 86k|1833 | 0.000000e+00 | -- | Inf
93.57/93.61 c 93.6s|180000 | 43870 |385204 | 2.1 | 32M| 35 | - | 40 |5252 | 40 | 16 | 18 | 91k|1901 | 0.000000e+00 | -- | Inf
100.17/100.24 c 100s|190000 | 45532 |406750 | 2.1 | 33M| 35 | - | 40 |5482 | 40 | 16 | 18 | 97k|1946 | 0.000000e+00 | -- | Inf
106.17/106.24 c 106s|200000 | 47829 |428069 | 2.1 | 35M| 35 | 5 | 40 |5673 | 40 | 16 | 18 | 103k|2002 | 0.000000e+00 | -- | Inf
112.76/112.83 c 113s|210000 | 49555 |449766 | 2.1 | 36M| 35 | 5 | 40 |5603 | 40 | 16 | 18 | 108k|2053 | 0.000000e+00 | -- | Inf
119.27/119.33 c 119s|220000 | 51317 |470799 | 2.1 | 38M| 35 | 5 | 40 |6123 | 40 | 16 | 18 | 114k|2099 | 0.000000e+00 | -- | Inf
125.66/125.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.66/125.70 c 126s|230000 | 53449 |491834 | 2.1 | 39M| 35 | - | 40 |5957 | 0 | 0 | 18 | 119k|2151 | 0.000000e+00 | -- | Inf
132.46/132.53 c 133s|240000 | 55412 |512687 | 2.1 | 41M| 35 | - | 40 |5851 | 40 | 16 | 18 | 125k|2201 | 0.000000e+00 | -- | Inf
139.67/139.74 c 140s|250000 | 56947 |534500 | 2.1 | 42M| 35 | - | 40 |5751 | 40 | 16 | 18 | 131k|2269 | 0.000000e+00 | -- | Inf
146.96/147.04 c 147s|260000 | 58350 |555949 | 2.1 | 44M| 35 | 5 | 40 |6173 | 40 | 16 | 18 | 137k|2312 | 0.000000e+00 | -- | Inf
154.85/154.95 c 155s|270000 | 59655 |577279 | 2.1 | 45M| 35 | 5 | 40 |5958 | 40 | 16 | 18 | 143k|2365 | 0.000000e+00 | -- | Inf
162.26/162.36 c 162s|280000 | 61141 |598269 | 2.1 | 46M| 35 | - | 40 |6535 | 0 | 0 | 18 | 148k|2408 | 0.000000e+00 | -- | Inf
170.05/170.14 c 170s|290000 | 62588 |619326 | 2.1 | 48M| 35 | - | 40 |6728 | 40 | 16 | 18 | 154k|2449 | 0.000000e+00 | -- | Inf
177.25/177.39 c 177s|300000 | 64239 |640313 | 2.1 | 49M| 35 | 5 | 40 |7720 | 40 | 16 | 18 | 160k|2499 | 0.000000e+00 | -- | Inf
185.55/185.61 c 186s|310000 | 65586 |661333 | 2.1 | 50M| 35 | 5 | 40 |6438 | 40 | 16 | 18 | 166k|2523 | 0.000000e+00 | -- | Inf
193.56/193.61 c 194s|320000 | 66970 |682126 | 2.1 | 51M| 35 | - | 40 |6097 | 40 | 16 | 18 | 172k|2561 | 0.000000e+00 | -- | Inf
200.84/200.94 c 201s|330000 | 68318 |703162 | 2.1 | 52M| 35 | 5 | 40 |6515 | 40 | 16 | 18 | 178k|2598 | 0.000000e+00 | -- | Inf
207.86/207.98 c 208s|340000 | 69781 |725824 | 2.1 | 54M| 35 | 5 | 40 |7666 | 40 | 16 | 18 | 185k|2642 | 0.000000e+00 | -- | Inf
216.24/216.34 c 216s|350000 | 71152 |747771 | 2.1 | 55M| 35 | 5 | 40 |7430 | 40 | 16 | 18 | 191k|2687 | 0.000000e+00 | -- | Inf
224.15/224.23 c 224s|360000 | 72524 |769746 | 2.1 | 57M| 35 | - | 40 |7466 | 40 | 16 | 18 | 197k|2725 | 0.000000e+00 | -- | Inf
232.24/232.34 c 232s|370000 | 73752 |791421 | 2.1 | 58M| 35 | - | 40 |7284 | 40 | 16 | 18 | 203k|2759 | 0.000000e+00 | -- | Inf
241.34/241.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.34/241.49 c 241s|380000 | 74701 |812840 | 2.1 | 59M| 35 | 5 | 40 |5910 | 40 | 16 | 18 | 209k|2796 | 0.000000e+00 | -- | Inf
248.64/248.70 c 249s|390000 | 76058 |833451 | 2.1 | 60M| 35 | 5 | 40 |8205 | 40 | 16 | 18 | 215k|2834 | 0.000000e+00 | -- | Inf
256.44/256.59 c 257s|400000 | 77428 |854293 | 2.1 | 62M| 35 | - | 40 |7434 | 40 | 16 | 18 | 221k|2874 | 0.000000e+00 | -- | Inf
265.34/265.46 c 265s|410000 | 78565 |876351 | 2.1 | 63M| 35 | - | 40 |7349 | 40 | 16 | 18 | 228k|2911 | 0.000000e+00 | -- | Inf
273.93/274.00 c 274s|420000 | 79906 |898486 | 2.1 | 64M| 35 | 5 | 40 |7277 | 40 | 16 | 18 | 234k|2946 | 0.000000e+00 | -- | Inf
282.64/282.74 c 283s|430000 | 81076 |920379 | 2.1 | 65M| 35 | - | 40 |7479 | 40 | 16 | 18 | 241k|2989 | 0.000000e+00 | -- | Inf
291.53/291.66 c 292s|440000 | 82189 |942447 | 2.1 | 67M| 35 | 5 | 40 |8201 | 40 | 16 | 18 | 247k|3031 | 0.000000e+00 | -- | Inf
300.62/300.73 c 301s|450000 | 83290 |964365 | 2.1 | 68M| 35 | 5 | 40 |7696 | 40 | 16 | 18 | 253k|3063 | 0.000000e+00 | -- | Inf
309.72/309.87 c 310s|460000 | 84346 |985467 | 2.1 | 69M| 35 | - | 40 |7670 | 40 | 16 | 18 | 260k|3102 | 0.000000e+00 | -- | Inf
318.32/318.46 c 318s|470000 | 85476 | 1006k| 2.1 | 70M| 35 | - | 40 |8240 | 40 | 16 | 18 | 266k|3142 | 0.000000e+00 | -- | Inf
326.42/326.51 c 327s|480000 | 86945 | 1028k| 2.1 | 72M| 35 | - | 40 |8796 | 40 | 16 | 18 | 272k|3175 | 0.000000e+00 | -- | Inf
335.32/335.49 c 335s|490000 | 88021 | 1049k| 2.1 | 72M| 35 | - | 40 |7247 | 40 | 16 | 18 | 278k|3210 | 0.000000e+00 | -- | Inf
344.82/344.95 c 345s|500000 | 88838 | 1071k| 2.1 | 73M| 35 | 5 | 40 |6821 | 40 | 16 | 18 | 285k|3249 | 0.000000e+00 | -- | Inf
353.22/353.38 c 353s|510000 | 89945 | 1092k| 2.1 | 75M| 35 | 5 | 40 |9031 | 40 | 16 | 18 | 291k|3288 | 0.000000e+00 | -- | Inf
363.71/363.83 c 364s|520000 | 90735 | 1114k| 2.1 | 76M| 35 | 5 | 40 |7594 | 40 | 16 | 18 | 298k|3316 | 0.000000e+00 | -- | Inf
371.31/371.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.31/371.47 c 371s|530000 | 92094 | 1136k| 2.1 | 78M| 35 | 5 | 40 |9699 | 40 | 16 | 18 | 304k|3353 | 0.000000e+00 | -- | Inf
380.91/381.03 c 381s|540000 | 93329 | 1159k| 2.1 | 79M| 35 | - | 40 |9817 | 40 | 16 | 18 | 310k|3395 | 0.000000e+00 | -- | Inf
391.90/392.08 c 392s|550000 | 94101 | 1181k| 2.1 | 79M| 35 | 5 | 40 |8129 | 40 | 16 | 18 | 317k|3427 | 0.000000e+00 | -- | Inf
401.80/401.97 c 402s|560000 | 94999 | 1203k| 2.1 | 80M| 35 | - | 40 |8058 | 40 | 16 | 18 | 323k|3458 | 0.000000e+00 | -- | Inf
410.60/410.79 c 411s|570000 | 96152 | 1224k| 2.1 | 82M| 35 | 5 | 40 |8958 | 40 | 16 | 18 | 329k|3503 | 0.000000e+00 | -- | Inf
419.10/419.28 c 419s|580000 | 97487 | 1246k| 2.1 | 83M| 35 | - | 40 |8174 | 40 | 16 | 18 | 335k|3521 | 0.000000e+00 | -- | Inf
427.30/427.43 c 427s|590000 | 98737 | 1267k| 2.1 | 84M| 35 | - | 40 |9145 | 0 | 0 | 18 | 342k|3551 | 0.000000e+00 | -- | Inf
436.80/436.91 c 437s|600000 | 99744 | 1288k| 2.1 | 85M| 35 | 5 | 40 |8794 | 40 | 16 | 18 | 348k|3576 | 0.000000e+00 | -- | Inf
447.70/447.81 c 448s|610000 |100384 | 1310k| 2.1 | 86M| 35 | - | 40 |8321 | 40 | 16 | 18 | 354k|3602 | 0.000000e+00 | -- | Inf
457.40/457.53 c 458s|620000 |101298 | 1331k| 2.1 | 87M| 35 | 5 | 40 |8162 | 40 | 16 | 18 | 361k|3632 | 0.000000e+00 | -- | Inf
465.09/465.28 c 465s|630000 |102756 | 1354k| 2.1 | 89M| 35 | - | 40 | 10k| 40 | 16 | 18 | 367k|3662 | 0.000000e+00 | -- | Inf
473.89/474.09 c 474s|640000 |103759 | 1374k| 2.1 | 90M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 374k|3707 | 0.000000e+00 | -- | Inf
483.79/483.97 c 484s|650000 |104556 | 1394k| 2.1 | 92M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 380k|3733 | 0.000000e+00 | -- | Inf
494.99/495.11 c 495s|660000 |105474 | 1415k| 2.1 | 92M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 386k|3768 | 0.000000e+00 | -- | Inf
504.98/505.15 c 505s|670000 |106772 | 1437k| 2.1 | 94M| 35 | - | 40 | 11k| 40 | 16 | 18 | 393k|3797 | 0.000000e+00 | -- | Inf
515.48/515.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.48/515.67 c 516s|680000 |107814 | 1459k| 2.1 | 95M| 35 | - | 40 | 10k| 40 | 16 | 18 | 399k|3824 | 0.000000e+00 | -- | Inf
524.98/525.19 c 525s|690000 |109091 | 1480k| 2.1 | 96M| 35 | 5 | 40 |9761 | 40 | 16 | 18 | 405k|3861 | 0.000000e+00 | -- | Inf
534.98/535.17 c 535s|700000 |110113 | 1502k| 2.1 | 97M| 35 | 5 | 40 |9586 | 40 | 16 | 18 | 412k|3890 | 0.000000e+00 | -- | Inf
544.28/544.49 c 544s|710000 |111175 | 1523k| 2.1 | 98M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 418k|3914 | 0.000000e+00 | -- | Inf
554.07/554.20 c 554s|720000 |112290 | 1545k| 2.1 | 100M| 35 | - | 40 | 11k| 40 | 16 | 18 | 424k|3951 | 0.000000e+00 | -- | Inf
565.46/565.67 c 566s|730000 |113185 | 1568k| 2.1 | 100M| 35 | 5 | 40 |8685 | 40 | 16 | 18 | 431k|3976 | 0.000000e+00 | -- | Inf
574.57/574.76 c 575s|740000 |114433 | 1591k| 2.2 | 101M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 438k|4008 | 0.000000e+00 | -- | Inf
584.67/584.83 c 585s|750000 |115216 | 1614k| 2.2 | 103M| 35 | - | 40 | 10k| 40 | 16 | 18 | 445k|4037 | 0.000000e+00 | -- | Inf
594.46/594.63 c 595s|760000 |116528 | 1636k| 2.2 | 104M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 451k|4069 | 0.000000e+00 | -- | Inf
607.46/607.65 c 608s|770000 |116966 | 1657k| 2.2 | 104M| 35 | 5 | 40 |9031 | 40 | 16 | 18 | 458k|4098 | 0.000000e+00 | -- | Inf
618.76/618.95 c 619s|780000 |117647 | 1680k| 2.2 | 105M| 35 | - | 40 |9137 | 40 | 16 | 18 | 465k|4131 | 0.000000e+00 | -- | Inf
629.16/629.35 c 629s|790000 |118527 | 1703k| 2.2 | 107M| 35 | - | 40 |9816 | 40 | 16 | 18 | 472k|4152 | 0.000000e+00 | -- | Inf
638.86/639.01 c 639s|800000 |119654 | 1725k| 2.2 | 108M| 35 | 5 | 40 |9672 | 40 | 16 | 18 | 479k|4172 | 0.000000e+00 | -- | Inf
649.86/650.06 c 650s|810000 |120358 | 1748k| 2.2 | 108M| 35 | 5 | 40 |8394 | 40 | 16 | 18 | 486k|4198 | 0.000000e+00 | -- | Inf
659.05/659.24 c 659s|820000 |121433 | 1771k| 2.2 | 110M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 492k|4231 | 0.000000e+00 | -- | Inf
667.55/667.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.55/667.78 c 668s|830000 |123754 | 1792k| 2.2 | 111M| 35 | 5 | 40 |9585 | 40 | 16 | 18 | 497k|4252 | 0.000000e+00 | -- | Inf
675.44/675.69 c 676s|840000 |126160 | 1814k| 2.2 | 113M| 35 | - | 40 | 11k| 0 | 0 | 18 | 502k|4280 | 0.000000e+00 | -- | Inf
684.54/684.76 c 685s|850000 |128109 | 1835k| 2.2 | 115M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 508k|4302 | 0.000000e+00 | -- | Inf
693.44/693.65 c 694s|860000 |130391 | 1856k| 2.2 | 116M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 513k|4326 | 0.000000e+00 | -- | Inf
702.84/703.05 c 703s|870000 |132308 | 1877k| 2.2 | 118M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 518k|4351 | 0.000000e+00 | -- | Inf
712.74/712.96 c 713s|880000 |133876 | 1899k| 2.2 | 119M| 35 | - | 40 | 11k| 0 | 0 | 18 | 524k|4371 | 0.000000e+00 | -- | Inf
722.83/723.02 c 723s|890000 |135412 | 1920k| 2.2 | 120M| 35 | - | 40 | 11k| 0 | 0 | 18 | 529k|4388 | 0.000000e+00 | -- | Inf
732.83/733.04 c 733s|900000 |136959 | 1942k| 2.2 | 121M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 535k|4411 | 0.000000e+00 | -- | Inf
743.92/744.13 c 744s|910000 |138324 | 1963k| 2.2 | 123M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 541k|4434 | 0.000000e+00 | -- | Inf
754.73/754.91 c 755s|920000 |139661 | 1984k| 2.2 | 124M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 546k|4460 | 0.000000e+00 | -- | Inf
765.92/766.16 c 766s|930000 |140770 | 2005k| 2.2 | 125M| 35 | - | 40 | 11k| 40 | 16 | 18 | 552k|4476 | 0.000000e+00 | -- | Inf
777.02/777.25 c 777s|940000 |141780 | 2026k| 2.2 | 126M| 35 | - | 40 | 11k| 40 | 16 | 18 | 558k|4499 | 0.000000e+00 | -- | Inf
786.02/786.22 c 786s|950000 |143482 | 2049k| 2.2 | 128M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 564k|4520 | 0.000000e+00 | -- | Inf
796.82/797.01 c 797s|960000 |145011 | 2071k| 2.2 | 129M| 35 | 5 | 40 | 13k| 40 | 16 | 18 | 570k|4554 | 0.000000e+00 | -- | Inf
808.51/808.79 c 809s|970000 |146091 | 2091k| 2.2 | 129M| 35 | - | 40 | 11k| 40 | 16 | 18 | 576k|4578 | 0.000000e+00 | -- | Inf
818.61/818.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.61/818.81 c 819s|980000 |147521 | 2113k| 2.2 | 131M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 582k|4615 | 0.000000e+00 | -- | Inf
830.11/830.35 c 830s|990000 |148683 | 2134k| 2.2 | 132M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 588k|4638 | 0.000000e+00 | -- | Inf
840.81/841.02 c 841s| 1000k|150101 | 2155k| 2.2 | 134M| 35 | - | 40 | 14k| 40 | 16 | 18 | 594k|4665 | 0.000000e+00 | -- | Inf
853.31/853.57 c 854s| 1010k|150970 | 2176k| 2.2 | 134M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 600k|4686 | 0.000000e+00 | -- | Inf
865.60/865.83 c 866s| 1020k|151878 | 2196k| 2.2 | 135M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 606k|4711 | 0.000000e+00 | -- | Inf
877.51/877.73 c 878s| 1030k|152590 | 2217k| 2.2 | 136M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 612k|4734 | 0.000000e+00 | -- | Inf
889.19/889.41 c 889s| 1040k|153192 | 2238k| 2.2 | 137M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 619k|4764 | 0.000000e+00 | -- | Inf
901.49/901.74 c 902s| 1050k|153742 | 2259k| 2.2 | 137M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 625k|4786 | 0.000000e+00 | -- | Inf
913.10/913.34 c 913s| 1060k|154627 | 2279k| 2.2 | 138M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 631k|4812 | 0.000000e+00 | -- | Inf
922.79/923.07 c 923s| 1070k|156635 | 2301k| 2.2 | 140M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 636k|4830 | 0.000000e+00 | -- | Inf
935.48/935.75 c 936s| 1080k|157255 | 2321k| 2.1 | 141M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 643k|4850 | 0.000000e+00 | -- | Inf
947.99/948.25 c 948s| 1090k|158165 | 2342k| 2.1 | 142M| 35 | - | 40 | 14k| 40 | 16 | 18 | 649k|4876 | 0.000000e+00 | -- | Inf
961.37/961.67 c 962s| 1100k|158976 | 2363k| 2.1 | 142M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 655k|4902 | 0.000000e+00 | -- | Inf
972.58/972.85 c 973s| 1110k|160113 | 2385k| 2.1 | 144M| 35 | - | 40 | 14k| 40 | 16 | 18 | 661k|4926 | 0.000000e+00 | -- | Inf
985.47/985.75 c 986s| 1120k|160911 | 2405k| 2.1 | 145M| 35 | - | 40 | 14k| 40 | 16 | 18 | 667k|4936 | 0.000000e+00 | -- | Inf
998.07/998.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.07/998.39 c 998s| 1130k|162037 | 2427k| 2.1 | 145M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 673k|4965 | 0.000000e+00 | -- | Inf
1009.27/1009.54 c 1010s| 1140k|163202 | 2448k| 2.1 | 147M| 35 | - | 40 | 14k| 40 | 16 | 18 | 680k|4992 | 0.000000e+00 | -- | Inf
1020.97/1021.22 c 1021s| 1150k|164502 | 2470k| 2.1 | 149M| 35 | - | 40 | 15k| 40 | 16 | 18 | 686k|5014 | 0.000000e+00 | -- | Inf
1034.57/1034.86 c 1035s| 1160k|165291 | 2491k| 2.1 | 149M| 35 | 5 | 40 | 14k| 40 | 16 | 18 | 692k|5033 | 0.000000e+00 | -- | Inf
1050.27/1050.59 c 1051s| 1170k|165685 | 2513k| 2.1 | 149M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 700k|5047 | 0.000000e+00 | -- | Inf
1063.37/1063.64 c 1064s| 1180k|166127 | 2536k| 2.1 | 149M| 35 | - | 40 |7770 | 40 | 16 | 18 | 707k|5076 | 0.000000e+00 | -- | Inf
1073.75/1074.02 c 1074s| 1190k|166840 | 2558k| 2.2 | 151M| 35 | - | 40 |8476 | 40 | 16 | 18 | 714k|5095 | 0.000000e+00 | -- | Inf
1082.85/1083.18 c 1083s| 1200k|167868 | 2580k| 2.2 | 152M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 720k|5116 | 0.000000e+00 | -- | Inf
1095.65/1095.95 c 1096s| 1210k|168229 | 2603k| 2.2 | 152M| 35 | 5 | 40 |7873 | 40 | 16 | 18 | 727k|5149 | 0.000000e+00 | -- | Inf
1103.35/1103.66 c 1104s| 1220k|169558 | 2623k| 2.2 | 154M| 35 | - | 40 | 10k| 0 | 0 | 18 | 733k|5170 | 0.000000e+00 | -- | Inf
1115.15/1115.49 c 1115s| 1230k|169896 | 2645k| 2.2 | 154M| 35 | - | 40 |8316 | 0 | 0 | 18 | 740k|5202 | 0.000000e+00 | -- | Inf
1123.96/1124.27 c 1124s| 1240k|171487 | 2667k| 2.2 | 156M| 35 | - | 40 |8919 | 40 | 16 | 18 | 746k|5215 | 0.000000e+00 | -- | Inf
1133.34/1133.69 c 1134s| 1250k|172729 | 2688k| 2.2 | 157M| 35 | - | 40 |9749 | 40 | 16 | 18 | 752k|5233 | 0.000000e+00 | -- | Inf
1142.24/1142.51 c 1142s| 1260k|174247 | 2709k| 2.2 | 158M| 35 | 5 | 40 |9719 | 40 | 16 | 18 | 758k|5254 | 0.000000e+00 | -- | Inf
1150.44/1150.79 c 1151s| 1270k|176055 | 2728k| 2.1 | 160M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 762k|5268 | 0.000000e+00 | -- | Inf
1160.64/1160.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.64/1160.93 c 1161s| 1280k|176959 | 2747k| 2.1 | 161M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 768k|5292 | 0.000000e+00 | -- | Inf
1170.74/1171.08 c 1171s| 1290k|177736 | 2768k| 2.1 | 162M| 35 | - | 40 | 11k| 40 | 16 | 18 | 774k|5313 | 0.000000e+00 | -- | Inf
1181.53/1181.89 c 1182s| 1300k|178565 | 2789k| 2.1 | 163M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 781k|5332 | 0.000000e+00 | -- | Inf
1190.94/1191.24 c 1191s| 1310k|179535 | 2809k| 2.1 | 164M| 35 | - | 40 | 12k| 40 | 16 | 18 | 787k|5346 | 0.000000e+00 | -- | Inf
1202.63/1202.96 c 1203s| 1320k|180036 | 2830k| 2.1 | 165M| 35 | - | 40 | 11k| 0 | 0 | 18 | 793k|5365 | 0.000000e+00 | -- | Inf
1213.63/1213.96 c 1214s| 1330k|180550 | 2852k| 2.1 | 166M| 35 | - | 40 | 11k| 40 | 16 | 18 | 800k|5389 | 0.000000e+00 | -- | Inf
1225.83/1226.11 c 1226s| 1340k|180987 | 2874k| 2.1 | 166M| 35 | - | 40 |9352 | 40 | 16 | 18 | 807k|5408 | 0.000000e+00 | -- | Inf
1238.52/1238.86 c 1239s| 1350k|181140 | 2896k| 2.1 | 166M| 35 | - | 40 |7643 | 40 | 16 | 18 | 814k|5430 | 0.000000e+00 | -- | Inf
1248.23/1248.57 c 1249s| 1360k|181817 | 2918k| 2.1 | 168M| 35 | 5 | 40 |9109 | 40 | 16 | 18 | 821k|5450 | 0.000000e+00 | -- | Inf
1260.41/1260.79 c 1261s| 1370k|182170 | 2940k| 2.1 | 168M| 35 | - | 40 |7793 | 0 | 0 | 18 | 828k|5472 | 0.000000e+00 | -- | Inf
1271.71/1272.02 c 1272s| 1380k|182500 | 2962k| 2.1 | 169M| 35 | 5 | 40 |7653 | 40 | 16 | 18 | 835k|5497 | 0.000000e+00 | -- | Inf
1282.61/1282.98 c 1283s| 1390k|182755 | 2985k| 2.1 | 169M| 35 | 5 | 40 |7502 | 40 | 16 | 18 | 842k|5512 | 0.000000e+00 | -- | Inf
1291.30/1291.63 c 1292s| 1400k|183800 | 3006k| 2.1 | 171M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 849k|5533 | 0.000000e+00 | -- | Inf
1303.41/1303.74 c 1304s| 1410k|184232 | 3029k| 2.1 | 171M| 35 | - | 40 |7976 | 40 | 16 | 18 | 856k|5553 | 0.000000e+00 | -- | Inf
1312.10/1312.43 c 1312s| 1420k|185418 | 3050k| 2.1 | 173M| 35 | - | 40 |9945 | 0 | 0 | 18 | 863k|5575 | 0.000000e+00 | -- | Inf
1323.40/1323.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.40/1323.76 c 1324s| 1430k|185938 | 3073k| 2.1 | 174M| 35 | 5 | 40 |9839 | 40 | 16 | 18 | 870k|5594 | 0.000000e+00 | -- | Inf
1335.40/1335.73 c 1336s| 1440k|186362 | 3095k| 2.1 | 174M| 35 | 5 | 40 |8090 | 40 | 16 | 18 | 877k|5615 | 0.000000e+00 | -- | Inf
1344.79/1345.13 c 1345s| 1450k|187240 | 3118k| 2.2 | 176M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 884k|5637 | 0.000000e+00 | -- | Inf
1354.59/1354.93 c 1355s| 1460k|188049 | 3139k| 2.2 | 177M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 891k|5659 | 0.000000e+00 | -- | Inf
1364.70/1365.06 c 1365s| 1470k|188926 | 3158k| 2.1 | 179M| 35 | - | 40 | 13k| 0 | 0 | 18 | 897k|5679 | 0.000000e+00 | -- | Inf
1376.89/1377.25 c 1377s| 1480k|189540 | 3180k| 2.1 | 179M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 904k|5702 | 0.000000e+00 | -- | Inf
1387.89/1388.29 c 1388s| 1490k|190079 | 3202k| 2.1 | 180M| 35 | - | 40 | 10k| 0 | 0 | 18 | 911k|5726 | 0.000000e+00 | -- | Inf
1397.89/1398.28 c 1398s| 1500k|190997 | 3225k| 2.1 | 181M| 35 | - | 40 | 10k| 0 | 0 | 18 | 917k|5742 | 0.000000e+00 | -- | Inf
1409.48/1409.87 c 1410s| 1510k|191389 | 3247k| 2.2 | 181M| 35 | - | 40 | 10k| 40 | 16 | 18 | 925k|5760 | 0.000000e+00 | -- | Inf
1419.08/1419.45 c 1419s| 1520k|192784 | 3268k| 2.1 | 183M| 35 | 5 | 40 | 11k| 40 | 16 | 18 | 931k|5783 | 0.000000e+00 | -- | Inf
1429.88/1430.26 c 1430s| 1530k|193549 | 3288k| 2.1 | 184M| 35 | 5 | 40 | 12k| 40 | 16 | 18 | 937k|5798 | 0.000000e+00 | -- | Inf
1444.07/1444.40 c 1444s| 1540k|193858 | 3309k| 2.1 | 184M| 35 | 5 | 40 |7600 | 40 | 16 | 18 | 944k|5829 | 0.000000e+00 | -- | Inf
1453.78/1454.14 c 1454s| 1550k|194658 | 3332k| 2.2 | 185M| 35 | 5 | 40 |9139 | 40 | 16 | 18 | 951k|5846 | 0.000000e+00 | -- | Inf
1463.87/1464.20 c 1464s| 1560k|195548 | 3355k| 2.2 | 186M| 35 | - | 40 | 10k| 0 | 0 | 18 | 958k|5867 | 0.000000e+00 | -- | Inf
1474.67/1475.05 c 1475s| 1570k|196211 | 3378k| 2.2 | 187M| 35 | - | 40 | 10k| 40 | 16 | 18 | 965k|5889 | 0.000000e+00 | -- | Inf
1487.26/1487.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.26/1487.65 c 1488s| 1580k|196515 | 3400k| 2.2 | 188M| 35 | 5 | 40 |8440 | 40 | 16 | 18 | 972k|5916 | 0.000000e+00 | -- | Inf
1499.26/1499.68 c 1500s| 1590k|196725 | 3423k| 2.2 | 188M| 35 | - | 40 |7440 | 40 | 16 | 18 | 979k|5943 | 0.000000e+00 | -- | Inf
1508.36/1508.72 c 1509s| 1600k|197475 | 3446k| 2.2 | 189M| 35 | - | 40 |8752 | 0 | 0 | 18 | 986k|5958 | 0.000000e+00 | -- | Inf
1518.26/1518.61 c 1519s| 1610k|198387 | 3468k| 2.2 | 190M| 35 | - | 40 |9092 | 40 | 16 | 18 | 993k|5971 | 0.000000e+00 | -- | Inf
1527.76/1528.19 c 1528s| 1620k|199352 | 3489k| 2.2 | 192M| 35 | 5 | 40 | 10k| 40 | 16 | 18 | 999k|5989 | 0.000000e+00 | -- | Inf
1538.95/1539.34 c 1539s| 1630k|199615 | 3510k| 2.2 | 192M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1006k|6015 | 0.000000e+00 | -- | Inf
1552.15/1552.51 c 1553s| 1640k|199504 | 3532k| 2.2 | 192M| 35 | - | 40 |7625 | 0 | 0 | 18 |1014k|6038 | 0.000000e+00 | -- | Inf
1561.84/1562.25 c 1562s| 1650k|200125 | 3554k| 2.2 | 193M| 35 | 5 | 40 |8681 | 40 | 16 | 18 |1021k|6053 | 0.000000e+00 | -- | Inf
1573.25/1573.64 c 1574s| 1660k|200605 | 3577k| 2.2 | 194M| 35 | - | 40 |8874 | 40 | 16 | 18 |1028k|6072 | 0.000000e+00 | -- | Inf
1585.75/1586.12 c 1586s| 1670k|200671 | 3599k| 2.2 | 194M| 35 | - | 40 |6895 | 40 | 16 | 18 |1035k|6089 | 0.000000e+00 | -- | Inf
1596.04/1596.45 c 1596s| 1680k|201013 | 3621k| 2.2 | 195M| 35 | 5 | 40 |8145 | 40 | 16 | 18 |1042k|6116 | 0.000000e+00 | -- | Inf
1606.13/1606.59 c 1607s| 1690k|201722 | 3644k| 2.2 | 196M| 35 | - | 40 |8329 | 40 | 16 | 18 |1050k|6138 | 0.000000e+00 | -- | Inf
1615.93/1616.34 c 1616s| 1700k|202463 | 3667k| 2.2 | 198M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1057k|6160 | 0.000000e+00 | -- | Inf
1626.73/1627.15 c 1627s| 1710k|203585 | 3690k| 2.2 | 199M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1063k|6178 | 0.000000e+00 | -- | Inf
1636.73/1637.14 c 1637s| 1720k|204655 | 3712k| 2.2 | 200M| 35 | - | 40 | 11k| 40 | 16 | 18 |1070k|6196 | 0.000000e+00 | -- | Inf
1648.33/1648.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.33/1648.72 c 1649s| 1730k|205085 | 3734k| 2.2 | 201M| 35 | - | 40 | 12k| 40 | 16 | 18 |1077k|6213 | 0.000000e+00 | -- | Inf
1661.33/1661.73 c 1662s| 1740k|205501 | 3756k| 2.2 | 201M| 35 | - | 40 |9840 | 40 | 16 | 18 |1084k|6234 | 0.000000e+00 | -- | Inf
1671.92/1672.32 c 1672s| 1750k|206179 | 3779k| 2.2 | 202M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1091k|6249 | 0.000000e+00 | -- | Inf
1683.82/1684.26 c 1684s| 1760k|206524 | 3801k| 2.2 | 203M| 35 | 5 | 40 |9362 | 40 | 16 | 18 |1098k|6269 | 0.000000e+00 | -- | Inf
1696.32/1696.71 c 1697s| 1770k|206757 | 3824k| 2.2 | 203M| 35 | - | 40 |8251 | 40 | 16 | 18 |1105k|6300 | 0.000000e+00 | -- | Inf
1707.51/1707.98 c 1708s| 1780k|207157 | 3848k| 2.2 | 204M| 35 | 5 | 40 |8428 | 40 | 16 | 18 |1113k|6321 | 0.000000e+00 | -- | Inf
1715.71/1716.19 c 1716s| 1790k|208622 | 3870k| 2.2 | 206M| 35 | 5 | 40 |9864 | 40 | 16 | 18 |1119k|6337 | 0.000000e+00 | -- | Inf
1725.81/1726.28 c 1726s| 1800k|209162 | 3893k| 2.2 | 207M| 35 | 5 | 40 | 10k| 40 | 16 | 18 |1126k|6360 | 0.000000e+00 | -- | Inf
1738.00/1738.46 c 1738s| 1810k|209355 | 3916k| 2.2 | 207M| 35 | 5 | 40 |8292 | 40 | 16 | 18 |1133k|6381 | 0.000000e+00 | -- | Inf
1749.01/1749.45 c 1749s| 1820k|209762 | 3939k| 2.2 | 208M| 35 | - | 40 |8603 | 40 | 16 | 18 |1141k|6399 | 0.000000e+00 | -- | Inf
1761.01/1761.42 c 1761s| 1830k|209905 | 3962k| 2.2 | 208M| 35 | 5 | 40 |8112 | 40 | 16 | 18 |1148k|6418 | 0.000000e+00 | -- | Inf
1772.00/1772.40 c 1772s| 1840k|210192 | 3985k| 2.2 | 209M| 35 | 5 | 40 |8858 | 40 | 16 | 18 |1156k|6431 | 0.000000e+00 | -- | Inf
1783.60/1784.05 c 1784s| 1850k|210501 | 4007k| 2.2 | 209M| 35 | 5 | 40 |7679 | 40 | 16 | 18 |1163k|6445 | 0.000000e+00 | -- | Inf
1789.60/1790.01 c
1789.60/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.60/1790.01 c Solving Time (sec) : 1790.00
1789.60/1790.01 c Solving Nodes : 1855114
1789.60/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.60/1790.01 c Dual Bound : +0.00000000000000e+00
1789.60/1790.01 c Gap : infinite
1789.60/1790.01 s UNKNOWN
1789.60/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.60/1790.01 c Solving Time : 1790.00
1789.60/1790.01 c Original Problem :
1789.60/1790.01 c Problem name : HOME/instance-2703537-1278562911.opb
1789.60/1790.01 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.60/1790.01 c Constraints : 11 initial, 11 maximal
1789.60/1790.01 c Presolved Problem :
1789.60/1790.01 c Problem name : t_HOME/instance-2703537-1278562911.opb
1789.60/1790.01 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.60/1790.01 c Constraints : 5 initial, 15968 maximal
1789.60/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.60/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.60/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c linear : 0.00 0 0 0 0 0 6 0 0
1789.60/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.60/1790.01 c root node : - 0 - - 0 - - - -
1789.60/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.60/1790.01 c integral : 0 0 0 1098844 0 807 3014 0 0 2190554
1789.60/1790.01 c linear : 5+ 7 4476778 0 0 285399 2310599 0 0 0
1789.60/1790.01 c logicor : 0+ 0 2261835 0 0 6530 904813 0 0 0
1789.60/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.60/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.60/1790.01 c integral : 14.07 0.00 0.00 14.07 0.00
1789.60/1790.01 c linear : 174.62 0.00 174.62 0.00 0.00
1789.60/1790.01 c logicor : 632.67 0.00 632.67 0.00 0.00
1789.60/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.60/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.60/1790.01 c vbounds : 1.67 2 0 0
1789.60/1790.01 c rootredcost : 1.78 0 0 0
1789.60/1790.01 c pseudoobj : 1.42 0 0 0
1789.60/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.60/1790.01 c propagation : 18.08 291929 228427 777669 28.6 43 22.8 -
1789.60/1790.01 c infeasible LP : 34.61 578917 578900 1064306 18.3 8443 22.2 0
1789.60/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.60/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.60/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.60/1790.01 c applied globally : - - - 1158127 19.1 - - -
1789.60/1790.01 c applied locally : - - - 9121 31.3 - - -
1789.60/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.60/1790.01 c cut pool : 0.00 5 - - 22 - (maximal pool size: 66)
1789.60/1790.01 c redcost : 2.25 1098848 0 0 0 0
1789.60/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.60/1790.01 c intobj : 0.00 0 0 0 0 0
1789.60/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.60/1790.01 c gomory : 0.00 6 0 0 0 0
1789.60/1790.01 c strongcg : 0.00 6 0 0 16 0
1789.60/1790.01 c cmir : 0.01 6 0 0 30 0
1789.60/1790.01 c flowcover : 0.02 6 0 0 39 0
1789.60/1790.01 c clique : 0.00 1 0 0 0 0
1789.60/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.60/1790.01 c mcf : 0.00 1 0 0 0 0
1789.60/1790.01 c rapidlearning : 0.08 1 0 0 0 74
1789.60/1790.01 c Pricers : Time Calls Vars
1789.60/1790.01 c problem variables: 0.00 0 0
1789.60/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.60/1790.01 c relpscost : 12.80 1098844 807 3014 0 0 2190554
1789.60/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.60/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.60/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.60/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.60/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.60/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.60/1790.01 c random : 0.00 0 0 0 0 0 0
1789.60/1790.01 c Primal Heuristics : Time Calls Found
1789.60/1790.01 c LP solutions : 0.00 - 0
1789.60/1790.01 c pseudo solutions : 0.00 - 0
1789.60/1790.01 c oneopt : 1.20 0 0
1789.60/1790.01 c crossover : 0.71 0 0
1789.60/1790.01 c guideddiving : 0.13 0 0
1789.60/1790.01 c linesearchdiving : 0.18 97 0
1789.60/1790.01 c objpscostdiving : 0.14 49 0
1789.60/1790.01 c rootsoldiving : 0.15 49 0
1789.60/1790.01 c feaspump : 0.15 49 0
1789.60/1790.01 c coefdiving : 0.18 98 0
1789.60/1790.01 c pscostdiving : 0.20 98 0
1789.60/1790.01 c fracdiving : 0.18 98 0
1789.60/1790.01 c veclendiving : 0.18 98 0
1789.60/1790.01 c trivial : 0.00 2 0
1789.60/1790.01 c simplerounding : 0.49 0 0
1789.60/1790.01 c zirounding : 0.70 1000 0
1789.60/1790.01 c rounding : 1.13 14827 0
1789.60/1790.01 c shifting : 2.13 4370 0
1789.60/1790.01 c intshifting : 0.06 0 0
1789.60/1790.01 c twoopt : 0.00 0 0
1789.60/1790.01 c fixandinfer : 0.00 0 0
1789.60/1790.01 c intdiving : 0.00 0 0
1789.60/1790.01 c actconsdiving : 0.00 0 0
1789.60/1790.01 c octane : 0.00 0 0
1789.60/1790.01 c rens : 0.03 1 0
1789.60/1790.01 c rins : 0.00 0 0
1789.60/1790.01 c localbranching : 0.00 0 0
1789.60/1790.01 c mutation : 0.00 0 0
1789.60/1790.01 c dins : 0.00 0 0
1789.60/1790.01 c undercover : 0.00 0 0
1789.60/1790.01 c nlp : 0.67 0 0
1789.60/1790.01 c trysol : 0.95 0 0
1789.60/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.60/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.60/1790.01 c dual LP : 171.39 1631518 4016882 2.46 23436.68
1789.60/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.60/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.60/1790.01 c diving/probing LP: 0.16 1487 2624 1.76 16000.88
1789.60/1790.01 c strong branching : 1.26 6456 23869 3.70 18884.64
1789.60/1790.01 c (at root node) : - 9 323 35.89 -
1789.60/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.60/1790.01 c B&B Tree :
1789.60/1790.01 c number of runs : 1
1789.60/1790.01 c nodes : 1855114
1789.60/1790.01 c nodes (total) : 1855114
1789.60/1790.01 c nodes left : 210595
1789.60/1790.01 c max depth : 35
1789.60/1790.01 c max depth (total): 35
1789.60/1790.01 c backtracks : 412933 (22.3%)
1789.60/1790.01 c delayed cutoffs : 124846
1789.60/1790.01 c repropagations : 1606192 (1523364 domain reductions, 110649 cutoffs)
1789.60/1790.01 c avg switch length: 5.86
1789.60/1790.01 c switching time : 505.02
1789.60/1790.01 c Solution :
1789.60/1790.01 c Solutions found : 0 (0 improvements)
1789.60/1790.01 c Primal Bound : -
1789.60/1790.01 c Dual Bound : +0.00000000000000e+00
1789.60/1790.01 c Gap : infinite
1789.60/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.60/1790.01 c Root Iterations : 117
1790.90/1791.37 c Time complete: 1790.97.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703537-1278562911/watcher-2703537-1278562911 -o /tmp/evaluation-result-2703537-1278562911/solver-2703537-1278562911 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703537-1278562911.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30798
/proc/meminfo: memFree=1671852/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=7904 CPUtime=0
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 1227 0 0 0 0 0 0 0 18 0 1 0 24502619 8093696 1138 1992294400 4194304 8395647 140735219774000 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30798/statm: 1976 1147 365 1026 0 946 0
[startup+0.0509861 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30798
/proc/meminfo: memFree=1671852/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=21732 CPUtime=0.04
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 4708 0 0 0 3 1 0 0 20 0 1 0 24502619 22253568 4266 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5433 4266 599 1026 0 4403 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21732
[startup+0.10199 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30798
/proc/meminfo: memFree=1671852/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=21732 CPUtime=0.09
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 4723 0 0 0 8 1 0 0 20 0 1 0 24502619 22253568 4281 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5433 4281 599 1026 0 4403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21732
[startup+0.302002 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30798
/proc/meminfo: memFree=1671852/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=0.29
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5149 0 0 0 26 3 0 0 20 0 1 0 24502619 23814144 4707 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4707 622 1026 0 4784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23256
[startup+0.701029 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30798
/proc/meminfo: memFree=1671852/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=0.69
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5152 0 0 0 64 5 0 0 20 0 1 0 24502619 23814144 4710 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4710 622 1026 0 4784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23256
[startup+1.50108 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30799
/proc/meminfo: memFree=1655352/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=1.49
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5154 0 0 0 141 8 0 0 23 0 1 0 24502619 23814144 4712 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4712 622 1026 0 4784 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23256
[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30799
/proc/meminfo: memFree=1655104/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=3.09
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5160 0 0 0 297 12 0 0 25 0 1 0 24502619 23814144 4718 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4718 622 1026 0 4784 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23256
[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30799
/proc/meminfo: memFree=1654732/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=6.29
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5220 0 0 0 606 23 0 0 25 0 1 0 24502619 23814144 4778 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4778 622 1026 0 4784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23256
[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30799
/proc/meminfo: memFree=1653740/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=23256 CPUtime=12.69
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 5402 0 0 0 1228 41 0 0 25 0 1 0 24502619 23814144 4960 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 5814 4960 622 1026 0 4784 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23256
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30800
/proc/meminfo: memFree=1647788/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=29188 CPUtime=25.49
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 6914 0 0 0 2475 74 0 0 25 0 1 0 24502619 29888512 6472 1992294400 4194304 8395647 140735219774000 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 7297 6472 622 1026 0 6267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29188
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30801
/proc/meminfo: memFree=1638364/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=38992 CPUtime=51.08
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 9371 0 0 0 4977 131 0 0 25 0 1 0 24502619 39927808 8929 1992294400 4194304 8395647 140735219774000 18446744073709551615 6033774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 9748 8929 622 1026 0 8718 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38992
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30802
/proc/meminfo: memFree=1623608/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=53060 CPUtime=102.28
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 12933 0 0 0 9992 236 0 0 25 0 1 0 24502619 54333440 12491 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 13265 12491 622 1026 0 12235 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53060
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30803
/proc/meminfo: memFree=1609968/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=66828 CPUtime=162.26
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 16420 0 0 0 15883 343 0 0 25 0 1 0 24502619 68431872 15978 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 16707 15978 622 1026 0 15677 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 66828
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30805
/proc/meminfo: memFree=1599428/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=78300 CPUtime=222.24
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 18940 0 0 0 21783 441 0 0 25 0 1 0 24502619 80179200 18498 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 19575 18498 622 1026 0 18545 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78300
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30807
/proc/meminfo: memFree=1588764/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=89000 CPUtime=282.23
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 21610 0 0 0 27691 532 0 0 25 0 1 0 24502619 91136000 21168 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 22250 21168 622 1026 0 21220 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89000
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30809
/proc/meminfo: memFree=1580456/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=97268 CPUtime=342.22
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 23667 0 0 0 33604 618 0 0 25 0 1 0 24502619 99602432 23225 1992294400 4194304 8395647 140735219774000 18446744073709551615 5027242 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 24317 23225 622 1026 0 23287 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 97268
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30810
/proc/meminfo: memFree=1571156/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=106660 CPUtime=402.2
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 25959 0 0 0 39519 701 0 0 25 0 1 0 24502619 109219840 25517 1992294400 4194304 8395647 140735219774000 18446744073709551615 4243635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 26665 25517 622 1026 0 25635 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 106660
[startup+462.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 30811
/proc/meminfo: memFree=1564832/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=112732 CPUtime=462.19
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 27548 0 0 0 45434 785 0 0 25 0 1 0 24502619 115437568 27106 1992294400 4194304 8395647 140735219774000 18446744073709551615 6349011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 28183 27106 622 1026 0 27153 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 112732
[startup+522.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 30813
/proc/meminfo: memFree=1556400/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=121264 CPUtime=522.18
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 29633 0 0 0 51360 858 0 0 25 0 1 0 24502619 124174336 29191 1992294400 4194304 8395647 140735219774000 18446744073709551615 6028107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 30316 29191 622 1026 0 29286 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 121264
[startup+582.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 30815
/proc/meminfo: memFree=1549952/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=127364 CPUtime=582.17
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 31193 0 0 0 57283 934 0 0 25 0 1 0 24502619 130420736 30751 1992294400 4194304 8395647 140735219774000 18446744073709551615 4220208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 31841 30751 622 1026 0 30811 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 127364
[startup+642.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 30817
/proc/meminfo: memFree=1543132/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=134464 CPUtime=642.16
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 32886 0 0 0 63210 1006 0 0 25 0 1 0 24502619 137691136 32444 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 33616 32444 622 1026 0 32586 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 134464
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1502212/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=174872 CPUtime=1002.07
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 43011 0 0 0 98787 1420 0 0 25 0 1 0 24502619 179068928 42569 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 43718 42569 622 1026 0 42688 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 174872
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30827
/proc/meminfo: memFree=1498616/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=178348 CPUtime=1062.06
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 43895 0 0 0 104730 1476 0 0 25 0 1 0 24502619 182628352 43453 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 44587 43453 622 1026 0 43557 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 178348
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30829
/proc/meminfo: memFree=1493036/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=183684 CPUtime=1122.04
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 45253 0 0 0 110655 1549 0 0 25 0 1 0 24502619 188092416 44811 1992294400 4194304 8395647 140735219774000 18446744073709551615 4218167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 45921 44811 622 1026 0 44891 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 183684
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30831
/proc/meminfo: memFree=1485224/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=191700 CPUtime=1182.03
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 47233 0 0 0 116578 1625 0 0 25 0 1 0 24502619 196300800 46791 1992294400 4194304 8395647 140735219774000 18446744073709551615 4216443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 47925 46791 622 1026 0 46895 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 191700
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30833
/proc/meminfo: memFree=1480760/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=195844 CPUtime=1242.02
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 48284 0 0 0 122512 1690 0 0 25 0 1 0 24502619 200544256 47842 1992294400 4194304 8395647 140735219774000 18446744073709551615 6068924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 48961 47842 622 1026 0 47931 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 195844
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30834
/proc/meminfo: memFree=1476544/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=199868 CPUtime=1302.01
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 49313 0 0 0 128444 1757 0 0 25 0 1 0 24502619 204664832 48871 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 49967 48871 622 1026 0 48937 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 199868
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30835
/proc/meminfo: memFree=1468608/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=207912 CPUtime=1361.99
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 51356 0 0 0 134372 1827 0 0 25 0 1 0 24502619 212901888 50914 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 51978 50914 622 1026 0 50948 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 207912
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30837
/proc/meminfo: memFree=1463152/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=213184 CPUtime=1421.99
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 52637 0 0 0 140305 1894 0 0 25 0 1 0 24502619 218300416 52195 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 53296 52195 622 1026 0 52266 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 213184
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30839
/proc/meminfo: memFree=1459804/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=216308 CPUtime=1481.97
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 53469 0 0 0 146235 1962 0 0 25 0 1 0 24502619 221499392 53027 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 54077 53027 622 1026 0 53047 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 216308
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30841
/proc/meminfo: memFree=1453604/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=226432 CPUtime=1541.95
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 54988 0 0 0 152165 2030 0 0 25 0 1 0 24502619 231866368 54546 1992294400 4194304 8395647 140735219774000 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 56608 54546 622 1026 0 55578 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 226432
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30842
/proc/meminfo: memFree=1450380/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=229620 CPUtime=1601.94
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 55831 0 0 0 158094 2100 0 0 25 0 1 0 24502619 235130880 55389 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085645 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 57405 55389 622 1026 0 56375 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 229620
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30843
/proc/meminfo: memFree=1442636/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=236980 CPUtime=1661.92
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 57672 0 0 0 164018 2174 0 0 25 0 1 0 24502619 242667520 57230 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 59245 57230 622 1026 0 58215 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 236980
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30845
/proc/meminfo: memFree=1438792/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=240604 CPUtime=1721.91
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 58605 0 0 0 169946 2245 0 0 25 0 1 0 24502619 246378496 58163 1992294400 4194304 8395647 140735219774000 18446744073709551615 5085210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 60151 58163 622 1026 0 59121 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 240604
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1434204/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=244908 CPUtime=1781.9
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59725 0 0 0 175875 2315 0 0 25 0 1 0 24502619 250785792 59283 1992294400 4194304 8395647 140735219774000 18446744073709551615 6023205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 61227 59283 622 1026 0 60197 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 244908
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1434204/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=244908 CPUtime=1785.1
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59726 0 0 0 176190 2320 0 0 25 0 1 0 24502619 250785792 59284 1992294400 4194304 8395647 140735219774000 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 61227 59284 622 1026 0 60197 0
Current children cumulated CPU time (s) 1785.1
Current children cumulated vsize (KiB) 244908
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1433584/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=245548 CPUtime=1788.3
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59854 0 0 0 176506 2324 0 0 25 0 1 0 24502619 251441152 59412 1992294400 4194304 8395647 140735219774000 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30798/statm: 61387 59412 622 1026 0 60357 0
Current children cumulated CPU time (s) 1788.3
Current children cumulated vsize (KiB) 245548
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1433584/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=245548 CPUtime=1789.9
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59856 0 0 0 176665 2325 0 0 25 0 1 0 24502619 251441152 59414 1992294400 4194304 8395647 140735219774000 18446744073709551615 4664167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30798/statm: 61387 59414 624 1026 0 60357 0
Current children cumulated CPU time (s) 1789.9
Current children cumulated vsize (KiB) 245548
[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1433584/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=245548 CPUtime=1790.7
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59856 0 0 0 176745 2325 0 0 25 0 1 0 24502619 251441152 59414 1992294400 4194304 8395647 140735219774000 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30798/statm: 61387 59414 624 1026 0 60357 0
Current children cumulated CPU time (s) 1790.7
Current children cumulated vsize (KiB) 245548
[startup+1791.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30847
/proc/meminfo: memFree=1433584/2059040 swapFree=4162804/4192956
[pid=30798] ppid=30796 vsize=245548 CPUtime=1790.9
/proc/30798/stat : 30798 (pbscip.linux.x8) R 30796 30798 30686 0 -1 4202496 59856 0 0 0 176765 2325 0 0 25 0 1 0 24502619 251441152 59414 1992294400 4194304 8395647 140735219774000 18446744073709551615 6345756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30798/statm: 61387 59414 624 1026 0 60357 0
Current children cumulated CPU time (s) 1790.9
Current children cumulated vsize (KiB) 245548
Child status: 0
Real time (s): 1791.37
CPU time (s): 1790.98
CPU user time (s): 1767.7
CPU system time (s): 23.2775
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 245548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.7
system time used= 23.2775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3953
runsolver used 2.81457 second user time and 8.61269 second system time
The end