0.04/0.09 c SCIP version 1.1.0.7
0.04/0.09 c LP-Solver SoPlex 1.4.1
0.04/0.09 c user parameter file <scip.set> not found - using default parameters
0.04/0.09 c read problem <HOME/instance-3732739-1338696589.opb>
0.04/0.09 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.09/0.12 c start presolving problem
0.09/0.12 c presolving:
0.09/0.15 c (round 1) 2985 del vars, 484 del conss, 317 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38900 impls, 0 clqs
0.09/0.18 c (round 2) 3252 del vars, 4511 del conss, 341 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 51428 impls, 0 clqs
0.09/0.19 c (round 3) 3283 del vars, 4948 del conss, 356 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.09/0.19 c (round 4) 3318 del vars, 5025 del conss, 370 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 52116 impls, 0 clqs
0.19/0.20 c (round 5) 3350 del vars, 5108 del conss, 383 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 52497 impls, 0 clqs
0.19/0.20 c (round 6) 3378 del vars, 5181 del conss, 394 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 52814 impls, 0 clqs
0.19/0.20 c (round 7) 3402 del vars, 5244 del conss, 403 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 53079 impls, 0 clqs
0.19/0.21 c (round 8) 3422 del vars, 5297 del conss, 410 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 53366 impls, 0 clqs
0.19/0.21 c (round 9) 3438 del vars, 5341 del conss, 416 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 53567 impls, 0 clqs
0.19/0.21 c (round 10) 3454 del vars, 5381 del conss, 422 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 53726 impls, 0 clqs
0.19/0.21 c (round 11) 3470 del vars, 5421 del conss, 428 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 53885 impls, 0 clqs
0.19/0.22 c (round 12) 3486 del vars, 5461 del conss, 434 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 54058 impls, 0 clqs
0.19/0.22 c (round 13) 3502 del vars, 5501 del conss, 440 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 54297 impls, 0 clqs
0.19/0.22 c (round 14) 3518 del vars, 5541 del conss, 446 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 54494 impls, 0 clqs
0.19/0.23 c (round 15) 3534 del vars, 5581 del conss, 452 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 54751 impls, 0 clqs
0.19/0.23 c (round 16) 3551 del vars, 5622 del conss, 459 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 54958 impls, 0 clqs
0.19/0.23 c (round 17) 3567 del vars, 5662 del conss, 465 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 55161 impls, 0 clqs
0.19/0.23 c (round 18) 3583 del vars, 5702 del conss, 471 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 55442 impls, 0 clqs
0.19/0.24 c (round 19) 3599 del vars, 5742 del conss, 477 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 55637 impls, 0 clqs
0.19/0.24 c (round 20) 3615 del vars, 5782 del conss, 483 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 55836 impls, 0 clqs
0.19/0.24 c (round 21) 3631 del vars, 5822 del conss, 489 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 55989 impls, 0 clqs
0.19/0.24 c (round 22) 3645 del vars, 5856 del conss, 493 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 56165 impls, 0 clqs
0.19/0.25 c (round 23) 3653 del vars, 5894 del conss, 500 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 56193 impls, 0 clqs
0.19/0.25 c (round 24) 3666 del vars, 5913 del conss, 505 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 56336 impls, 0 clqs
0.19/0.25 c (round 25) 3681 del vars, 5956 del conss, 514 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 56438 impls, 0 clqs
0.19/0.25 c (round 26) 3697 del vars, 5997 del conss, 524 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 56590 impls, 0 clqs
0.19/0.26 c (round 27) 3711 del vars, 6034 del conss, 533 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 56744 impls, 0 clqs
0.19/0.26 c (round 28) 3729 del vars, 6076 del conss, 544 chg bounds, 71 chg sides, 142 chg coeffs, 0 upgd conss, 56882 impls, 0 clqs
0.19/0.26 c (round 29) 3744 del vars, 6116 del conss, 553 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 57028 impls, 0 clqs
0.19/0.26 c (round 30) 3753 del vars, 6153 del conss, 562 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 57062 impls, 0 clqs
0.19/0.27 c (round 31) 3768 del vars, 6178 del conss, 571 chg bounds, 81 chg sides, 162 chg coeffs, 0 upgd conss, 57214 impls, 0 clqs
0.19/0.27 c (round 32) 3781 del vars, 6213 del conss, 579 chg bounds, 83 chg sides, 166 chg coeffs, 0 upgd conss, 57335 impls, 0 clqs
0.19/0.27 c (round 33) 3797 del vars, 6254 del conss, 590 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 57438 impls, 0 clqs
0.19/0.27 c (round 34) 3809 del vars, 6288 del conss, 603 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 57481 impls, 0 clqs
0.19/0.28 c (round 35) 3826 del vars, 6327 del conss, 615 chg bounds, 93 chg sides, 186 chg coeffs, 0 upgd conss, 57533 impls, 0 clqs
0.19/0.28 c (round 36) 3839 del vars, 6363 del conss, 628 chg bounds, 98 chg sides, 196 chg coeffs, 0 upgd conss, 57612 impls, 0 clqs
0.19/0.28 c (round 37) 3855 del vars, 6401 del conss, 639 chg bounds, 102 chg sides, 204 chg coeffs, 0 upgd conss, 57678 impls, 0 clqs
0.19/0.28 c (round 38) 3865 del vars, 6439 del conss, 650 chg bounds, 104 chg sides, 208 chg coeffs, 0 upgd conss, 57700 impls, 0 clqs
0.19/0.29 c (round 39) 3881 del vars, 6476 del conss, 666 chg bounds, 109 chg sides, 218 chg coeffs, 0 upgd conss, 57727 impls, 0 clqs
0.19/0.29 c (round 40) 3897 del vars, 6514 del conss, 681 chg bounds, 111 chg sides, 222 chg coeffs, 0 upgd conss, 57787 impls, 0 clqs
0.19/0.29 c (round 41) 3919 del vars, 6552 del conss, 698 chg bounds, 114 chg sides, 228 chg coeffs, 0 upgd conss, 57861 impls, 0 clqs
0.19/0.29 c (round 42) 3931 del vars, 6594 del conss, 710 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 57916 impls, 0 clqs
0.19/0.30 c (round 43) 3947 del vars, 6630 del conss, 725 chg bounds, 120 chg sides, 240 chg coeffs, 0 upgd conss, 57974 impls, 0 clqs
0.29/0.30 c (round 44) 3963 del vars, 6668 del conss, 737 chg bounds, 122 chg sides, 244 chg coeffs, 0 upgd conss, 58069 impls, 0 clqs
0.29/0.30 c (round 45) 3974 del vars, 6702 del conss, 750 chg bounds, 125 chg sides, 250 chg coeffs, 0 upgd conss, 58123 impls, 0 clqs
0.29/0.30 c (round 46) 3993 del vars, 6743 del conss, 769 chg bounds, 132 chg sides, 264 chg coeffs, 0 upgd conss, 58155 impls, 0 clqs
0.29/0.30 c (round 47) 4007 del vars, 6783 del conss, 781 chg bounds, 135 chg sides, 270 chg coeffs, 0 upgd conss, 58217 impls, 0 clqs
0.29/0.31 c (round 48) 4021 del vars, 6825 del conss, 798 chg bounds, 140 chg sides, 280 chg coeffs, 0 upgd conss, 58233 impls, 0 clqs
0.29/0.31 c (round 49) 4037 del vars, 6867 del conss, 813 chg bounds, 144 chg sides, 288 chg coeffs, 0 upgd conss, 58306 impls, 0 clqs
0.29/0.31 c (round 50) 4055 del vars, 6905 del conss, 832 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 58331 impls, 0 clqs
0.29/0.31 c (round 51) 4071 del vars, 6950 del conss, 845 chg bounds, 155 chg sides, 310 chg coeffs, 0 upgd conss, 58405 impls, 0 clqs
0.29/0.32 c (round 52) 4087 del vars, 6978 del conss, 859 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 58477 impls, 0 clqs
0.29/0.32 c (round 53) 4103 del vars, 7018 del conss, 874 chg bounds, 166 chg sides, 332 chg coeffs, 0 upgd conss, 58526 impls, 0 clqs
0.29/0.32 c (round 54) 4119 del vars, 7063 del conss, 886 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 58694 impls, 0 clqs
0.29/0.32 c (round 55) 4133 del vars, 7105 del conss, 902 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 58727 impls, 0 clqs
0.29/0.33 c (round 56) 4150 del vars, 7148 del conss, 918 chg bounds, 181 chg sides, 362 chg coeffs, 0 upgd conss, 58801 impls, 0 clqs
0.29/0.33 c (round 57) 4166 del vars, 7181 del conss, 930 chg bounds, 182 chg sides, 364 chg coeffs, 0 upgd conss, 58880 impls, 0 clqs
0.29/0.33 c (round 58) 4183 del vars, 7225 del conss, 947 chg bounds, 187 chg sides, 374 chg coeffs, 0 upgd conss, 58980 impls, 0 clqs
0.29/0.33 c (round 59) 4198 del vars, 7261 del conss, 957 chg bounds, 189 chg sides, 378 chg coeffs, 0 upgd conss, 59057 impls, 0 clqs
0.29/0.33 c (round 60) 4208 del vars, 7287 del conss, 966 chg bounds, 191 chg sides, 382 chg coeffs, 0 upgd conss, 59125 impls, 0 clqs
0.29/0.34 c (round 61) 4220 del vars, 7322 del conss, 978 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59177 impls, 0 clqs
0.29/0.34 c (round 62) 4228 del vars, 7340 del conss, 982 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59229 impls, 0 clqs
0.29/0.34 c (round 63) 4239 del vars, 7365 del conss, 993 chg bounds, 196 chg sides, 394 chg coeffs, 0 upgd conss, 59253 impls, 0 clqs
0.29/0.34 c (round 64) 4245 del vars, 7383 del conss, 999 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59274 impls, 0 clqs
0.29/0.34 c (round 65) 4252 del vars, 7395 del conss, 1003 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59336 impls, 0 clqs
0.29/0.35 c (round 66) 4256 del vars, 7414 del conss, 1007 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59340 impls, 0 clqs
0.29/0.35 c (round 67) 4257 del vars, 7419 del conss, 1008 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59396 impls, 0 clqs
0.39/0.40 c (round 68) 4257 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 59396 impls, 0 clqs
0.39/0.47 c (round 69) 4307 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114266 impls, 0 clqs
0.39/0.48 c (round 70) 4308 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114306 impls, 0 clqs
0.39/0.48 c (round 71) 4310 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
0.48/0.50 c (round 72) 4310 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
0.48/0.57 c (round 73) 4360 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
0.59/0.62 c (round 74) 4410 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
0.59/0.66 c (0.5s) probing: 714/2095 (34.1%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
0.59/0.66 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.66 c (round 75) 4443 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
0.59/0.68 c (round 76) 4443 del vars, 7436 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
0.59/0.68 c (0.5s) probing: 724/2095 (34.6%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
0.59/0.68 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.68 c presolving (77 rounds):
0.59/0.68 c 4443 deleted vars, 7436 deleted constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
0.59/0.68 c 118380 implications, 0 cliques
0.59/0.68 c presolved problem has 1909 variables (1909 bin, 0 int, 0 impl, 0 cont) and 6017 constraints
0.59/0.68 c 6017 constraints of type <logicor>
0.59/0.68 c transformed objective value is always integral (scale: 1)
0.59/0.68 c Presolving Time: 0.48
0.59/0.69 c strange?!, PURESAT with obj
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = c 13950
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = c 1791
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = c 10000
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving problem
0.59/0.69 c
1.00/1.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.02 c 0.8s| 1 | 0 | 2028 | 21M| 0 |1216 |1909 |6017 |6017 |1909 |5831 | 0 | 0 | 0 | 2.821920e+03 | -- | Inf
2.39/2.47 c 2.2s| 1 | 0 | 6292 | 22M| 0 |1083 |1909 |6017 |6017 |1909 |6112 | 281 | 0 | 0 | 2.855683e+03 | -- | Inf
2.69/2.75 c 2.5s| 1 | 0 | 6754 | 23M| 0 |1091 |1909 |6017 |6017 |1909 |6140 | 309 | 0 | 0 | 2.859583e+03 | -- | Inf
3.09/3.12 c 2.9s| 1 | 0 | 7474 | 23M| 0 |1127 |1909 |6017 |6017 |1909 |6177 | 346 | 0 | 0 | 2.864969e+03 | -- | Inf
3.49/3.51 c 3.3s| 1 | 0 | 8201 | 24M| 0 |1126 |1909 |6017 |6017 |1909 |6209 | 378 | 0 | 0 | 2.869249e+03 | -- | Inf
3.98/4.04 c 3.8s| 1 | 0 | 9119 | 26M| 0 |1157 |1909 |6017 |6017 |1909 |6240 | 409 | 0 | 0 | 2.873129e+03 | -- | Inf
4.49/4.57 c 4.3s| 1 | 0 | 10050 | 27M| 0 |1166 |1909 |6017 |6017 |1909 |6283 | 452 | 0 | 0 | 2.879151e+03 | -- | Inf
5.09/5.15 c 4.9s| 1 | 0 | 11092 | 28M| 0 |1179 |1909 |6017 |6017 |1909 |6318 | 487 | 0 | 0 | 2.884519e+03 | -- | Inf
5.79/5.84 c 5.6s| 1 | 0 | 12310 | 29M| 0 |1247 |1909 |6017 |6017 |1909 |6360 | 529 | 0 | 0 | 2.890060e+03 | -- | Inf
6.59/6.61 c 6.4s| 1 | 0 | 13718 | 31M| 0 |1252 |1909 |6017 |6017 |1909 |6403 | 572 | 0 | 0 | 2.894482e+03 | -- | Inf
7.39/7.41 c 7.2s| 1 | 0 | 14921 | 32M| 0 |1227 |1909 |6017 |6017 |1909 |6442 | 611 | 0 | 0 | 2.897780e+03 | -- | Inf
8.18/8.23 c 8.0s| 1 | 0 | 16380 | 34M| 0 |1303 |1909 |6017 |6017 |1909 |6474 | 643 | 0 | 0 | 2.902306e+03 | -- | Inf
9.38/9.45 c 9.2s| 1 | 0 | 17941 | 34M| 0 |1268 |1909 |6017 |6017 |1909 |6523 | 692 | 0 | 0 | 2.908699e+03 | -- | Inf
10.39/10.45 c 10.2s| 1 | 0 | 19782 | 37M| 0 |1319 |1909 |6017 |6017 |1909 |6563 | 732 | 0 | 0 | 2.912799e+03 | -- | Inf
11.59/11.63 c 11.3s| 1 | 0 | 21630 | 39M| 0 |1323 |1909 |6017 |6017 |1909 |6360 | 784 | 0 | 0 | 2.919672e+03 | -- | Inf
12.29/12.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.34 c 12.1s| 1 | 0 | 22912 | 42M| 0 |1323 |1909 |6017 |6017 |1909 |6398 | 822 | 0 | 0 | 2.922172e+03 | -- | Inf
13.20/13.27 c 13.0s| 1 | 0 | 24645 | 44M| 0 |1361 |1909 |6017 |6017 |1909 |6451 | 875 | 0 | 0 | 2.924883e+03 | -- | Inf
14.20/14.20 c 13.9s| 1 | 0 | 26069 | 47M| 0 |1350 |1909 |6017 |6017 |1909 |6496 | 920 | 0 | 0 | 2.929935e+03 | -- | Inf
15.48/15.55 c 15.2s| 1 | 0 | 28360 | 50M| 0 |1367 |1909 |6017 |6017 |1909 |6539 | 963 | 0 | 0 | 2.933251e+03 | -- | Inf
16.49/16.58 c 16.3s| 1 | 0 | 30036 | 53M| 0 |1394 |1909 |6017 |6017 |1909 |6581 |1005 | 0 | 0 | 2.938750e+03 | -- | Inf
18.99/19.03 c 18.7s| 1 | 0 | 33919 | 56M| 0 |1407 |1909 |6017 |6017 |1909 |6493 |1053 | 0 | 0 | 2.943385e+03 | -- | Inf
19.89/19.95 c 19.6s| 1 | 0 | 35238 | 56M| 0 |1382 |1909 |6017 |6017 |1909 |6532 |1092 | 0 | 0 | 2.946885e+03 | -- | Inf
20.99/21.02 c 20.7s| 1 | 0 | 37109 | 57M| 0 |1437 |1909 |6017 |6017 |1909 |6578 |1138 | 0 | 0 | 2.950717e+03 | -- | Inf
22.68/22.79 c 22.4s| 1 | 0 | 40037 | 58M| 0 |1465 |1909 |6017 |6017 |1909 |6621 |1181 | 0 | 0 | 2.956499e+03 | -- | Inf
23.98/24.06 c 23.7s| 1 | 0 | 42132 | 59M| 0 |1415 |1909 |6017 |6017 |1909 |6659 |1219 | 0 | 0 | 2.960152e+03 | -- | Inf
25.19/25.20 c 24.9s| 1 | 0 | 44026 | 60M| 0 |1516 |1909 |6017 |6017 |1909 |6707 |1267 | 0 | 0 | 2.963676e+03 | -- | Inf
26.68/26.73 c 26.4s| 1 | 0 | 46424 | 61M| 0 |1526 |1909 |6017 |6017 |1909 |6560 |1312 | 0 | 0 | 2.967325e+03 | -- | Inf
28.18/28.29 c 27.9s| 1 | 0 | 48657 | 62M| 0 |1534 |1909 |6017 |6017 |1909 |6610 |1362 | 0 | 0 | 2.973970e+03 | -- | Inf
29.28/29.39 c 29.0s| 1 | 0 | 50625 | 62M| 0 |1577 |1909 |6017 |6017 |1909 |6659 |1411 | 0 | 0 | 2.977403e+03 | -- | Inf
30.69/30.78 c 30.4s| 1 | 0 | 53078 | 63M| 0 |1627 |1909 |6017 |6017 |1909 |6697 |1449 | 0 | 0 | 2.979302e+03 | -- | Inf
33.18/33.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.18/33.25 c 32.9s| 1 | 0 | 56463 | 63M| 0 |1534 |1909 |6017 |6017 |1909 |6727 |1479 | 0 | 0 | 2.983695e+03 | -- | Inf
34.57/34.65 c 34.3s| 1 | 0 | 59003 | 63M| 0 |1592 |1909 |6017 |6017 |1909 |6771 |1523 | 0 | 0 | 2.986882e+03 | -- | Inf
35.98/36.04 c 35.6s| 1 | 0 | 61397 | 64M| 0 |1630 |1909 |6017 |6017 |1909 |6631 |1564 | 0 | 0 | 2.990968e+03 | -- | Inf
38.08/38.14 c 37.7s| 1 | 0 | 63402 | 65M| 0 |1634 |1909 |6017 |6017 |1909 |6656 |1589 | 0 | 0 | 2.993137e+03 | -- | Inf
39.97/40.07 c 39.6s| 1 | 0 | 65596 | 65M| 0 |1614 |1909 |6017 |6017 |1909 |6689 |1622 | 0 | 0 | 2.996220e+03 | -- | Inf
41.07/41.19 c 40.8s| 1 | 0 | 66766 | 65M| 0 |1540 |1909 |6017 |6017 |1909 |6715 |1648 | 0 | 0 | 2.998434e+03 | -- | Inf
41.87/41.94 c 41.5s| 1 | 0 | 67864 | 66M| 0 |1650 |1909 |6017 |6017 |1909 |6744 |1677 | 0 | 0 | 3.000863e+03 | -- | Inf
43.17/43.25 c 42.8s| 1 | 0 | 68812 | 66M| 0 |1610 |1909 |6017 |6017 |1909 |6773 |1706 | 0 | 0 | 3.003584e+03 | -- | Inf
44.78/44.84 c 44.4s| 1 | 0 | 70250 | 67M| 0 |1594 |1909 |6017 |6017 |1909 |6598 |1737 | 0 | 0 | 3.006305e+03 | -- | Inf
45.67/45.72 c 45.2s| 1 | 0 | 71345 | 67M| 0 |1575 |1909 |6017 |6017 |1909 |6632 |1771 | 0 | 0 | 3.008889e+03 | -- | Inf
46.57/46.63 c 46.2s| 1 | 0 | 73091 | 69M| 0 |1601 |1909 |6017 |6017 |1909 |6665 |1804 | 0 | 0 | 3.012386e+03 | -- | Inf
47.57/47.63 c 47.1s| 1 | 0 | 74296 | 69M| 0 |1606 |1909 |6017 |6017 |1909 |6703 |1842 | 0 | 0 | 3.014534e+03 | -- | Inf
48.17/48.28 c 47.8s| 1 | 0 | 74992 | 69M| 0 |1601 |1909 |6017 |6017 |1909 |6733 |1872 | 0 | 0 | 3.016925e+03 | -- | Inf
49.57/49.63 c 49.1s| 1 | 0 | 76864 | 70M| 0 |1571 |1909 |6017 |6017 |1909 |6766 |1905 | 0 | 0 | 3.019372e+03 | -- | Inf
50.67/50.71 c 50.2s| 1 | 0 | 78557 | 70M| 0 |1573 |1909 |6017 |6017 |1909 |6569 |1939 | 0 | 0 | 3.022444e+03 | -- | Inf
51.27/51.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.27/51.30 c 50.8s| 1 | 0 | 79608 | 71M| 0 |1639 |1909 |6017 |6017 |1909 |6601 |1971 | 0 | 0 | 3.024646e+03 | -- | Inf
52.67/52.75 c 52.2s| 1 | 0 | 81221 | 71M| 0 |1519 |1909 |6017 |6017 |1909 |6656 |2026 | 0 | 0 | 3.028961e+03 | -- | Inf
53.37/53.45 c 52.9s| 1 | 0 | 82559 | 72M| 0 |1518 |1909 |6017 |6017 |1909 |6713 |2083 | 0 | 0 | 3.031857e+03 | -- | Inf
54.06/54.12 c 53.6s| 1 | 0 | 83949 | 73M| 0 |1606 |1909 |6017 |6017 |1909 |6749 |2119 | 0 | 0 | 3.032504e+03 | -- | Inf
55.16/55.26 c 54.7s| 1 | 0 | 86113 | 74M| 0 |1611 |1909 |6017 |6017 |1909 |6790 |2160 | 0 | 0 | 3.035506e+03 | -- | Inf
56.46/56.52 c 56.0s| 1 | 0 | 87193 | 74M| 0 |1617 |1909 |6017 |6017 |1909 |6668 |2201 | 0 | 0 | 3.037146e+03 | -- | Inf
57.07/57.19 c 56.6s| 1 | 0 | 88093 | 75M| 0 |1588 |1909 |6017 |6017 |1909 |6697 |2230 | 0 | 0 | 3.038815e+03 | -- | Inf
58.17/58.22 c 57.7s| 1 | 0 | 89708 | 75M| 0 |1653 |1909 |6017 |6017 |1909 |6727 |2260 | 0 | 0 | 3.040521e+03 | -- | Inf
60.16/60.28 c 59.7s| 1 | 0 | 92270 | 75M| 0 |1594 |1909 |6017 |6017 |1909 |6768 |2301 | 0 | 0 | 3.043588e+03 | -- | Inf
61.06/61.11 c 60.5s| 1 | 0 | 93668 | 76M| 0 |1589 |1909 |6017 |6017 |1909 |6807 |2340 | 0 | 0 | 3.046754e+03 | -- | Inf
61.96/62.00 c 61.4s| 1 | 0 | 95119 | 76M| 0 |1617 |1909 |6017 |6017 |1909 |6849 |2382 | 0 | 0 | 3.049883e+03 | -- | Inf
62.76/62.86 c 62.3s| 1 | 0 | 96391 | 76M| 0 |1575 |1909 |6017 |6017 |1909 |6662 |2413 | 0 | 0 | 3.051962e+03 | -- | Inf
63.36/63.44 c 62.9s| 1 | 0 | 97394 | 77M| 0 |1597 |1909 |6017 |6017 |1909 |6681 |2432 | 0 | 0 | 3.053084e+03 | -- | Inf
64.66/64.74 c 64.2s| 1 | 0 | 99227 | 77M| 0 |1634 |1909 |6017 |6017 |1909 |6708 |2459 | 0 | 0 | 3.055558e+03 | -- | Inf
65.46/65.52 c 64.9s| 1 | 0 |100382 | 78M| 0 |1617 |1909 |6017 |6017 |1909 |6741 |2492 | 0 | 0 | 3.057430e+03 | -- | Inf
66.76/66.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.76/66.81 c 66.2s| 1 | 0 |102033 | 78M| 0 |1637 |1909 |6017 |6017 |1909 |6774 |2525 | 0 | 0 | 3.058721e+03 | -- | Inf
68.17/68.25 c 67.6s| 1 | 0 |104069 | 78M| 0 |1578 |1909 |6017 |6017 |1909 |6792 |2543 | 0 | 0 | 3.059904e+03 | -- | Inf
69.06/69.18 c 68.5s| 1 | 0 |105246 | 79M| 0 |1618 |1909 |6017 |6017 |1909 |6654 |2572 | 0 | 0 | 3.061335e+03 | -- | Inf
70.06/70.18 c 69.5s| 1 | 0 |106652 | 79M| 0 |1618 |1909 |6017 |6017 |1909 |6681 |2599 | 0 | 0 | 3.062031e+03 | -- | Inf
71.25/71.31 c 70.7s| 1 | 0 |107152 | 79M| 0 |1616 |1909 |6017 |6017 |1909 |6700 |2618 | 0 | 0 | 3.062516e+03 | -- | Inf
72.56/72.62 c 72.0s| 1 | 0 |108339 | 79M| 0 |1622 |1909 |6017 |6017 |1909 |6721 |2639 | 0 | 0 | 3.063524e+03 | -- | Inf
73.86/73.94 c 73.3s| 1 | 0 |109397 | 80M| 0 |1605 |1909 |6017 |6017 |1909 |6741 |2659 | 0 | 0 | 3.064982e+03 | -- | Inf
74.96/75.00 c 74.3s| 1 | 0 |109918 | 80M| 0 |1651 |1909 |6017 |6017 |1909 |6767 |2685 | 0 | 0 | 3.065412e+03 | -- | Inf
75.96/76.08 c 75.4s| 1 | 0 |110205 | 80M| 0 |1629 |1909 |6017 |6017 |1909 |6603 |2696 | 0 | 0 | 3.065546e+03 | -- | Inf
77.05/77.16 c 76.5s| 1 | 0 |110607 | 80M| 0 |1630 |1909 |6017 |6017 |1909 |6608 |2701 | 0 | 0 | 3.065786e+03 | -- | Inf
77.96/78.09 c 77.4s| 1 | 0 |110662 | 80M| 0 |1634 |1909 |6017 |6017 |1909 |6612 |2705 | 0 | 0 | 3.065813e+03 | -- | Inf
79.36/79.41 c 78.7s| 1 | 0 |111590 | 80M| 0 |1614 |1909 |6017 |6017 |1909 |6623 |2716 | 0 | 0 | 3.066499e+03 | -- | Inf
80.65/80.78 c 80.1s| 1 | 0 |112491 | 80M| 0 |1644 |1909 |6017 |6017 |1909 |6635 |2728 | 0 | 0 | 3.067346e+03 | -- | Inf
81.86/81.90 c 81.2s| 1 | 0 |113203 | 80M| 0 |1653 |1909 |6017 |6017 |1909 |6651 |2744 | 0 | 0 | 3.067915e+03 | -- | Inf
82.86/82.98 c 82.3s| 1 | 0 |114153 | 81M| 0 |1633 |1909 |6017 |6017 |1909 |6530 |2758 | 0 | 0 | 3.068297e+03 | -- | Inf
83.86/83.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.86/83.99 c 83.3s| 1 | 0 |114860 | 81M| 0 |1628 |1909 |6017 |6017 |1909 |6553 |2781 | 0 | 0 | 3.069590e+03 | -- | Inf
84.75/84.85 c 84.1s| 1 | 0 |115206 | 81M| 0 |1618 |1909 |6017 |6017 |1909 |6571 |2799 | 0 | 0 | 3.069814e+03 | -- | Inf
85.66/85.74 c 85.0s| 1 | 0 |115630 | 81M| 0 |1634 |1909 |6017 |6017 |1909 |6589 |2817 | 0 | 0 | 3.070672e+03 | -- | Inf
86.65/86.73 c 86.0s| 1 | 0 |115966 | 81M| 0 |1633 |1909 |6017 |6017 |1909 |6609 |2837 | 0 | 0 | 3.071924e+03 | -- | Inf
87.65/87.79 c 87.1s| 1 | 0 |116372 | 81M| 0 |1654 |1909 |6017 |6017 |1909 |6619 |2847 | 0 | 0 | 3.072261e+03 | -- | Inf
88.75/88.82 c 88.1s| 1 | 0 |116973 | 81M| 0 |1640 |1909 |6017 |6017 |1909 |6549 |2862 | 0 | 0 | 3.073052e+03 | -- | Inf
89.65/89.74 c 89.0s| 1 | 0 |117367 | 81M| 0 |1611 |1909 |6017 |6017 |1909 |6558 |2871 | 0 | 0 | 3.073446e+03 | -- | Inf
90.75/90.83 c 90.1s| 1 | 0 |118466 | 81M| 0 |1647 |1909 |6017 |6017 |1909 |6587 |2900 | 0 | 0 | 3.074600e+03 | -- | Inf
91.55/91.63 c 90.9s| 1 | 0 |119112 | 82M| 0 |1631 |1909 |6017 |6017 |1909 |6611 |2924 | 0 | 0 | 3.075601e+03 | -- | Inf
92.45/92.59 c 91.8s| 1 | 0 |119883 | 82M| 0 |1590 |1909 |6017 |6017 |1909 |6629 |2942 | 0 | 0 | 3.076765e+03 | -- | Inf
93.36/93.48 c 92.7s| 1 | 0 |120866 | 82M| 0 |1621 |1909 |6017 |6017 |1909 |6659 |2972 | 0 | 0 | 3.078741e+03 | -- | Inf
94.46/94.51 c 93.7s| 1 | 0 |121650 | 82M| 0 |1619 |1909 |6017 |6017 |1909 |6601 |3001 | 0 | 0 | 3.081173e+03 | -- | Inf
95.45/95.53 c 94.7s| 1 | 0 |122154 | 82M| 0 |1578 |1909 |6017 |6017 |1909 |6618 |3018 | 0 | 0 | 3.081776e+03 | -- | Inf
96.36/96.45 c 95.7s| 1 | 0 |123086 | 83M| 0 |1587 |1909 |6017 |6017 |1909 |6638 |3038 | 0 | 0 | 3.083231e+03 | -- | Inf
97.56/97.65 c 96.8s| 1 | 0 |124331 | 83M| 0 |1587 |1909 |6017 |6017 |1909 |6674 |3074 | 0 | 0 | 3.084708e+03 | -- | Inf
98.55/98.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.55/98.62 c 97.8s| 1 | 0 |125861 | 84M| 0 |1634 |1909 |6017 |6017 |1909 |6705 |3105 | 0 | 0 | 3.086524e+03 | -- | Inf
99.65/99.78 c 99.0s| 1 | 0 |126794 | 84M| 0 |1610 |1909 |6017 |6017 |1909 |6740 |3140 | 0 | 0 | 3.087973e+03 | -- | Inf
100.75/100.80 c 100s| 1 | 0 |127499 | 84M| 0 |1616 |1909 |6017 |6017 |1909 |6670 |3156 | 0 | 0 | 3.088232e+03 | -- | Inf
101.75/101.86 c 101s| 1 | 0 |128711 | 84M| 0 |1606 |1909 |6017 |6017 |1909 |6694 |3180 | 0 | 0 | 3.089020e+03 | -- | Inf
102.95/103.08 c 102s| 1 | 0 |130041 | 84M| 0 |1587 |1909 |6017 |6017 |1909 |6725 |3211 | 0 | 0 | 3.090230e+03 | -- | Inf
104.05/104.14 c 103s| 1 | 0 |130662 | 85M| 0 |1620 |1909 |6017 |6017 |1909 |6743 |3229 | 0 | 0 | 3.091462e+03 | -- | Inf
104.65/104.79 c 104s| 1 | 0 |131824 | 85M| 0 |1576 |1909 |6017 |6017 |1909 |6760 |3246 | 0 | 0 | 3.092474e+03 | -- | Inf
105.85/105.98 c 105s| 1 | 0 |133040 | 86M| 0 |1632 |1909 |6017 |6017 |1909 |6773 |3259 | 0 | 0 | 3.093475e+03 | -- | Inf
106.66/106.75 c 106s| 1 | 0 |133318 | 86M| 0 |1612 |1909 |6017 |6017 |1909 |6674 |3272 | 0 | 0 | 3.093516e+03 | -- | Inf
107.45/107.55 c 107s| 1 | 0 |133542 | 86M| 0 |1629 |1909 |6017 |6017 |1909 |6681 |3279 | 0 | 0 | 3.093537e+03 | -- | Inf
108.76/108.82 c 108s| 1 | 0 |134790 | 86M| 0 |1615 |1909 |6017 |6017 |1909 |6693 |3291 | 0 | 0 | 3.093969e+03 | -- | Inf
109.75/109.83 c 109s| 1 | 0 |135276 | 86M| 0 |1604 |1909 |6017 |6017 |1909 |6702 |3300 | 0 | 0 | 3.094028e+03 | -- | Inf
110.75/110.81 c 110s| 1 | 0 |135358 | 86M| 0 |1574 |1909 |6017 |6017 |1909 |6703 |3301 | 0 | 0 | 3.094029e+03 | -- | Inf
111.65/111.72 c 111s| 1 | 0 |135514 | 86M| 0 |1561 |1909 |6017 |6017 |1909 |6705 |3303 | 0 | 0 | 3.094034e+03 | -- | Inf
112.55/112.69 c 112s| 1 | 0 |135519 | 85M| 0 |1561 |1909 |6017 |6017 |1909 |6579 |3305 | 0 | 0 | 3.094034e+03 | -- | Inf
113.55/113.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.55/113.63 c 113s| 1 | 0 |135522 | 84M| 0 |1559 |1909 |6017 |6017 |1909 |6580 |3306 | 0 | 0 | 3.094034e+03 | -- | Inf
117.45/117.50 c 117s| 1 | 2 |135522 | 83M| 0 |1559 |1909 |6017 |6017 |1909 |6580 |3306 | 0 | 28 | 3.094034e+03 | -- | Inf
1798.38/1798.73 c
1798.38/1798.73 c SCIP Status : solving was interrupted [time limit reached]
1798.38/1798.73 c Solving Time (sec) : 1791.00
1798.38/1798.73 c Solving Nodes : 6317
1798.38/1798.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.38/1798.73 c Dual Bound : +3.11578041290755e+03
1798.38/1798.73 c Gap : infinite
1798.38/1798.73 c NODE 6317
1798.38/1798.73 c DUAL BOUND 3115.78
1798.38/1798.73 c PRIMAL BOUND 1e+20
1798.38/1798.73 c GAP 1e+20
1798.38/1798.73 s UNKNOWN
1798.38/1798.73 c SCIP Status : solving was interrupted [time limit reached]
1798.38/1798.73 c Solving Time : 1791.00
1798.38/1798.73 c Original Problem :
1798.38/1798.73 c Problem name : HOME/instance-3732739-1338696589.opb
1798.38/1798.73 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.38/1798.73 c Constraints : 13453 initial, 13453 maximal
1798.38/1798.73 c Presolved Problem :
1798.38/1798.73 c Problem name : t_HOME/instance-3732739-1338696589.opb
1798.38/1798.73 c Variables : 1909 (1909 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.38/1798.73 c Constraints : 6017 initial, 7744 maximal
1798.38/1798.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.38/1798.73 c trivial : 0.01 49 0 0 0 0 0 0 0
1798.38/1798.73 c dualfix : 0.01 0 0 0 0 0 0 0 0
1798.38/1798.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.38/1798.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.38/1798.73 c implics : 0.03 0 3215 0 0 0 0 0 0
1798.38/1798.73 c probing : 0.19 1 182 0 0 0 0 0 0
1798.38/1798.73 c linear : 0.10 959 37 0 1008 0 7422 201 398
1798.38/1798.73 c logicor : 0.08 0 0 0 0 0 14 0 0
1798.38/1798.73 c root node : - 0 - - 0 - - - -
1798.38/1798.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.38/1798.73 c integral : 0 0 0 4762 0 25 96 0 0 9364
1798.38/1798.73 c logicor : 6017+ 106 227659 0 1 3006 1537377 0 0 0
1798.38/1798.73 c countsols : 0 0 0 0 1 0 0 0 0 0
1798.38/1798.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.38/1798.73 c integral : 432.68 0.00 0.00 432.68 0.00
1798.38/1798.73 c logicor : 5.43 0.08 5.35 0.00 0.00
1798.38/1798.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.38/1798.73 c Propagators : Time Calls Cutoffs DomReds
1798.38/1798.73 c rootredcost : 0.03 0 0 0
1798.38/1798.73 c pseudoobj : 5.07 228166 0 0
1798.38/1798.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.38/1798.73 c propagation : 0.65 3005 2958 38148 41.0 391 8.7 -
1798.38/1798.73 c infeasible LP : 0.42 484 484 6145 43.6 45 5.2 0
1798.38/1798.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.38/1798.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.38/1798.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.38/1798.73 c applied globally : - - - 12857 32.6 - - -
1798.38/1798.73 c applied locally : - - - 0 0.0 - - -
1798.38/1798.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.38/1798.73 c cut pool : 1.15 105 - - 4380 - (maximal pool size: 24688)
1798.38/1798.73 c redcost : 0.08 4867 0 0 0 0
1798.38/1798.73 c impliedbounds : 0.04 106 0 0 614 0
1798.38/1798.73 c intobj : 0.00 0 0 0 0 0
1798.38/1798.73 c gomory : 51.75 106 0 0 40878 0
1798.38/1798.73 c strongcg : 1.58 20 0 0 10000 0
1798.38/1798.73 c cmir : 0.32 10 0 0 0 0
1798.38/1798.73 c flowcover : 0.25 10 0 0 0 0
1798.38/1798.73 c clique : 0.16 106 0 0 26 0
1798.38/1798.73 c zerohalf : 0.00 0 0 0 0 0
1798.38/1798.73 c mcf : 0.00 1 0 0 0 0
1798.38/1798.73 c Pricers : Time Calls Vars
1798.38/1798.73 c problem variables: 0.00 0 0
1798.38/1798.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.38/1798.73 c relpscost : 432.68 4762 25 96 0 0 9364
1798.38/1798.73 c pscost : 0.00 0 0 0 0 0 0
1798.38/1798.73 c inference : 0.00 1 0 0 0 0 2
1798.38/1798.73 c mostinf : 0.00 0 0 0 0 0 0
1798.38/1798.73 c leastinf : 0.00 0 0 0 0 0 0
1798.38/1798.73 c fullstrong : 0.00 0 0 0 0 0 0
1798.38/1798.73 c allfullstrong : 0.00 0 0 0 0 0 0
1798.38/1798.73 c random : 0.00 0 0 0 0 0 0
1798.38/1798.73 c Primal Heuristics : Time Calls Found
1798.38/1798.73 c LP solutions : 0.00 - 0
1798.38/1798.73 c pseudo solutions : 0.00 - 0
1798.38/1798.73 c oneopt : 0.01 0 0
1798.38/1798.73 c crossover : 0.00 0 0
1798.38/1798.73 c simplerounding : 0.00 0 0
1798.38/1798.73 c rounding : 0.59 933 0
1798.38/1798.73 c shifting : 0.98 305 0
1798.38/1798.73 c intshifting : 0.00 0 0
1798.38/1798.73 c fixandinfer : 0.00 0 0
1798.38/1798.73 c feaspump : 39.96 9 0
1798.38/1798.73 c coefdiving : 64.84 48 0
1798.38/1798.73 c pscostdiving : 65.61 46 0
1798.38/1798.73 c fracdiving : 71.32 59 0
1798.38/1798.73 c veclendiving : 58.97 25 0
1798.38/1798.73 c intdiving : 0.00 0 0
1798.38/1798.73 c actconsdiving : 0.00 0 0
1798.38/1798.73 c objpscostdiving : 34.63 3 0
1798.38/1798.73 c rootsoldiving : 41.46 7 0
1798.38/1798.73 c linesearchdiving : 66.40 70 0
1798.38/1798.73 c guideddiving : 0.00 0 0
1798.38/1798.73 c octane : 0.00 0 0
1798.38/1798.73 c rens : 0.01 0 0
1798.38/1798.73 c rins : 0.00 0 0
1798.38/1798.73 c localbranching : 0.00 0 0
1798.38/1798.73 c mutation : 0.00 0 0
1798.38/1798.73 c dins : 0.00 0 0
1798.38/1798.73 c LP : Time Calls Iterations Iter/call Iter/sec
1798.38/1798.73 c primal LP : 0.09 0 0 0.00 0.00
1798.38/1798.73 c dual LP : 838.49 5152 2381335 462.22 2840.03
1798.38/1798.73 c barrier LP : 0.00 0 0 0.00 -
1798.38/1798.73 c diving/probing LP: 419.27 23379 962059 41.15 2294.60
1798.38/1798.73 c strong branching : 430.76 3536 1139483 322.25 2645.29
1798.38/1798.73 c (at root node) : - 28 6003 214.39 -
1798.38/1798.73 c conflict analysis: 0.00 0 0 0.00 -
1798.38/1798.73 c B&B Tree :
1798.38/1798.73 c number of runs : 1
1798.38/1798.73 c nodes : 6317
1798.38/1798.73 c nodes (total) : 6317
1798.38/1798.73 c nodes left : 1455
1798.38/1798.73 c max depth : 54
1798.38/1798.73 c max depth (total): 54
1798.38/1798.73 c backtracks : 1770 (28.0%)
1798.38/1798.73 c delayed cutoffs : 1595
1798.38/1798.73 c repropagations : 4073 (757973 domain reductions, 1308 cutoffs)
1798.38/1798.73 c avg switch length: 4.40
1798.38/1798.73 c switching time : 3.33
1798.38/1798.73 c Solution :
1798.38/1798.73 c Solutions found : 0 (0 improvements)
1798.38/1798.73 c Primal Bound : -
1798.38/1798.73 c Dual Bound : +3.11578041290755e+03
1798.38/1798.73 c Gap : infinite
1798.38/1798.73 c Root Dual Bound : +3.09403406399384e+03
1798.48/1798.80 c Time complete: 1798.48.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732739-1338696589/watcher-3732739-1338696589 -o /tmp/evaluation-result-3732739-1338696589/solver-3732739-1338696589 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732739-1338696589.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 21832
/proc/meminfo: memFree=27307512/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=8180 CPUtime=0 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 1301 0 0 0 0 0 0 0 20 0 1 0 335783969 8376320 1253 33554432000 4194304 7823515 140734925425840 140734925421272 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 2045 1263 335 887 0 1155 0
[startup+0.050652 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 21832
/proc/meminfo: memFree=27307512/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=16660 CPUtime=0.04 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 3537 0 0 0 4 0 0 0 20 0 1 0 335783969 17059840 3489 33554432000 4194304 7823515 140734925425840 140734925421272 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 4165 3489 354 887 0 3275 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16660
[startup+0.100351 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 21832
/proc/meminfo: memFree=27307512/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=25412 CPUtime=0.09 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 6002 0 0 0 8 1 0 0 20 0 1 0 335783969 26021888 5600 33554432000 4194304 7823515 140734925425840 140734925421272 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 6353 5608 367 887 0 5463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25412
[startup+0.300294 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 21832
/proc/meminfo: memFree=27307512/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=38760 CPUtime=0.29 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 9198 0 0 0 22 7 0 0 20 0 1 0 335783969 39690240 8796 33554432000 4194304 7823515 140734925425840 140734925421272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 9690 8796 432 887 0 8800 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38760
[startup+0.700282 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 21832
/proc/meminfo: memFree=27307512/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=49376 CPUtime=0.69 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 11736 0 0 0 58 11 0 0 20 0 1 0 335783969 50561024 11319 33554432000 4194304 7823515 140734925425840 140734925421272 6182684 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 12344 11336 493 887 0 11454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49376
[startup+1.50028 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21833
/proc/meminfo: memFree=27259408/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=55292 CPUtime=1.49 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 13539 0 0 0 137 12 0 0 20 0 1 0 335783969 56619008 12981 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 13823 12981 531 887 0 12933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55292
[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21833
/proc/meminfo: memFree=27254324/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=60388 CPUtime=3.09 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 14969 0 0 0 295 14 0 0 20 0 1 0 335783969 61837312 14311 33554432000 4194304 7823515 140734925425840 140734925421528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 15097 14311 560 887 0 14207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60388
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 21833
/proc/meminfo: memFree=27244164/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=71828 CPUtime=6.29 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 17934 0 0 0 613 16 0 0 20 0 1 0 335783969 73551872 17084 33554432000 4194304 7823515 140734925425840 140734925421592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 17957 17084 560 887 0 17067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71828
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 21837
/proc/meminfo: memFree=27222436/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=96596 CPUtime=12.68 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 25191 0 0 0 1248 20 0 0 20 0 1 0 335783969 98914304 22997 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 24149 22997 560 887 0 23259 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96596
[startup+25.5002 s]
/proc/loadavg: 2.16 2.04 2.01 3/178 21951
/proc/meminfo: memFree=27221480/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=115096 CPUtime=25.49 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 33382 0 0 0 2523 26 0 0 20 0 1 0 335783969 117858304 26979 33554432000 4194304 7823515 140734925425840 140734925421176 4338813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 28774 26979 560 887 0 27884 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115096
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/178 21951
/proc/meminfo: memFree=27209304/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=123972 CPUtime=51.07 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 37682 0 0 0 5068 39 0 0 20 0 1 0 335783969 126947328 30173 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 30993 30173 560 887 0 30103 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123972
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 21951
/proc/meminfo: memFree=27188220/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=139672 CPUtime=102.25 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 43916 0 0 0 10154 71 0 0 20 0 1 0 335783969 143024128 34042 33554432000 4194304 7823515 140734925425840 140734925420936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 34918 34042 560 887 0 34028 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 139672
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 21951
/proc/meminfo: memFree=27183684/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=143020 CPUtime=162.25 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45362 0 0 0 16132 93 0 0 20 0 1 0 335783969 146452480 34820 33554432000 4194304 7823515 140734925425840 140734925420888 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 35755 34820 569 887 0 34865 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143020
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21951
/proc/meminfo: memFree=27180012/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=143020 CPUtime=222.23 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45364 0 0 0 22108 115 0 0 20 0 1 0 335783969 146452480 34820 33554432000 4194304 7823515 140734925425840 140734925420888 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 35755 34820 569 887 0 34865 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 143020
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21951
/proc/meminfo: memFree=27178768/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=143020 CPUtime=282.22 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45365 0 0 0 28085 137 0 0 20 0 1 0 335783969 146452480 34821 33554432000 4194304 7823515 140734925425840 140734925421624 6208315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 35755 34821 570 887 0 34865 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 143020
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21952
/proc/meminfo: memFree=27174672/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=144120 CPUtime=342.21 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45640 0 0 0 34063 158 0 0 20 0 1 0 335783969 147578880 35096 33554432000 4194304 7823515 140734925425840 140734925421272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 36030 35096 570 887 0 35140 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 144120
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22028
/proc/meminfo: memFree=27123220/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=144300 CPUtime=402.2 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45685 0 0 0 40041 179 0 0 20 0 1 0 335783969 147763200 35141 33554432000 4194304 7823515 140734925425840 140734925420536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 36075 35141 570 887 0 35185 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 144300
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22028
/proc/meminfo: memFree=27059220/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=144548 CPUtime=462.2 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 45687 0 0 0 46021 199 0 0 20 0 1 0 335783969 148017152 35142 33554432000 4194304 7823515 140734925425840 140734925420888 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 36137 35142 570 887 0 35247 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 144548
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22028
/proc/meminfo: memFree=27049592/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=147052 CPUtime=522.18 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 48268 0 0 0 51998 220 0 0 20 0 1 0 335783969 150581248 35829 33554432000 4194304 7823515 140734925425840 140734925421176 6211018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 36763 35829 570 887 0 35873 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 147052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22028
/proc/meminfo: memFree=27047184/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=147976 CPUtime=582.18 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 48499 0 0 0 57966 252 0 0 20 0 1 0 335783969 151527424 36060 33554432000 4194304 7823515 140734925425840 140734925421768 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 36994 36060 570 887 0 36104 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 147976
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27030052/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=163748 CPUtime=1122.09 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 58415 0 0 0 111750 459 0 0 20 0 1 0 335783969 167677952 39998 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 40937 39998 570 887 0 40047 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 163748
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22033
/proc/meminfo: memFree=27028068/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=164788 CPUtime=1182.08 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 61403 0 0 0 117729 479 0 0 20 0 1 0 335783969 168742912 40136 33554432000 4194304 7823515 140734925425840 140734925420536 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 41197 40136 570 887 0 40307 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 164788
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22037
/proc/meminfo: memFree=27027868/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=167772 CPUtime=1242.07 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 62136 0 0 0 123701 506 0 0 20 0 1 0 335783969 171798528 40866 33554432000 4194304 7823515 140734925425840 140734925421528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 41943 40866 570 887 0 41053 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 167772
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22037
/proc/meminfo: memFree=27028868/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=167380 CPUtime=1302.07 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 62848 0 0 0 129672 535 0 0 20 0 1 0 335783969 171397120 40801 33554432000 4194304 7823515 140734925425840 140734925421528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 41845 40801 570 887 0 40955 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 167380
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22037
/proc/meminfo: memFree=27025396/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=170200 CPUtime=1362.05 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 65320 0 0 0 135647 558 0 0 20 0 1 0 335783969 174284800 41616 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 42550 41616 570 887 0 41660 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 170200
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22037
/proc/meminfo: memFree=27024280/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=171400 CPUtime=1422.05 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 65652 0 0 0 141622 583 0 0 20 0 1 0 335783969 175513600 41948 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 42850 41948 570 887 0 41960 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 171400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22037
/proc/meminfo: memFree=27023156/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=172808 CPUtime=1482.03 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 65924 0 0 0 147598 605 0 0 20 0 1 0 335783969 176955392 42217 33554432000 4194304 7823515 140734925425840 140734925420536 6213520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 43202 42217 570 887 0 42312 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 172808
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22038
/proc/meminfo: memFree=27019064/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=176888 CPUtime=1542.02 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 68620 0 0 0 153569 633 0 0 20 0 1 0 335783969 181133312 43249 33554432000 4194304 7823515 140734925425840 140734925421176 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44222 43249 570 887 0 43332 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 176888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22039
/proc/meminfo: memFree=27019056/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=176888 CPUtime=1602.01 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 68622 0 0 0 159544 657 0 0 20 0 1 0 335783969 181133312 43251 33554432000 4194304 7823515 140734925425840 140734925421176 6234776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44222 43251 570 887 0 43332 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 176888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27018812/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=176888 CPUtime=1662 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 68625 0 0 0 165520 680 0 0 20 0 1 0 335783969 181133312 43252 33554432000 4194304 7823515 140734925425840 140734925421272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44222 43252 570 887 0 43332 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 176888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27017572/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=178368 CPUtime=1721.99 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 68974 0 0 0 171495 704 0 0 20 0 1 0 335783969 182648832 43601 33554432000 4194304 7823515 140734925425840 140734925421592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44592 43601 570 887 0 43702 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 178368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27016084/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=179180 CPUtime=1781.98 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 69250 0 0 0 177472 726 0 0 20 0 1 0 335783969 183480320 43874 33554432000 4194304 7823515 140734925425840 140734925421592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44795 43874 570 887 0 43905 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 179180
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27016456/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=180020 CPUtime=1791.58 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70142 0 0 0 178428 730 0 0 20 0 1 0 335783969 184340480 43872 33554432000 4194304 7823515 140734925425840 140734925421288 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 45005 43872 570 887 0 44115 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 180020
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27018068/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=178452 CPUtime=1794.79 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70571 0 0 0 178747 732 0 0 20 0 1 0 335783969 182734848 43495 33554432000 4194304 7823515 140734925425840 140734925421176 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44613 43495 570 887 0 43723 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 178452
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27018068/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=178452 CPUtime=1796.38 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70604 0 0 0 178905 733 0 0 20 0 1 0 335783969 182734848 43528 33554432000 4194304 7823515 140734925425840 140734925420840 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44613 43528 570 887 0 43723 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 178452
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27017944/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=179540 CPUtime=1797.18 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70907 0 0 0 178985 733 0 0 20 0 1 0 335783969 183848960 43797 33554432000 4194304 7823515 140734925425840 140734925422328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44885 43797 570 887 0 43995 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 179540
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27017944/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=179540 CPUtime=1797.98 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70909 0 0 0 179064 734 0 0 20 0 1 0 335783969 183848960 43799 33554432000 4194304 7823515 140734925425840 140734925420888 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44885 43799 570 887 0 43995 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 179540
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27016952/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=179540 CPUtime=1798.38 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70909 0 0 0 179104 734 0 0 20 0 1 0 335783969 183848960 43799 33554432000 4194304 7823515 140734925425840 140734925420888 6205621 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 44885 43799 570 887 0 43995 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 179540
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22039
/proc/meminfo: memFree=27016952/32873844 swapFree=7116/7116
[pid=21832] ppid=21830 vsize=132040 CPUtime=1798.48 cores=1,3,5,7
/proc/21832/stat : 21832 (pbscip.linux.x8) R 21830 21832 10620 0 -1 4202496 70913 0 0 0 179114 734 0 0 20 0 1 0 335783969 135208960 32657 33554432000 4194304 7823515 140734925425840 140734925420888 6962503 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21832/statm: 33010 32657 574 887 0 32120 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 132040
Child status: 0
Real time (s): 1798.8
CPU time (s): 1798.49
CPU user time (s): 1791.15
CPU system time (s): 7.34588
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 181188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.15
system time used= 7.34588
maximum resident set size= 176876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70916
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= 54
involuntary context switches= 1849
runsolver used 2.53761 second user time and 7.39188 second system time
The end