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-3732530-1338695416.opb>
0.04/0.09 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13473 constraints
0.08/0.11 c start presolving problem
0.08/0.11 c presolving:
0.08/0.15 c (round 1) 2944 del vars, 496 del conss, 325 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38274 impls, 0 clqs
0.08/0.17 c (round 2) 3207 del vars, 4467 del conss, 356 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 47718 impls, 0 clqs
0.08/0.18 c (round 3) 3240 del vars, 4891 del conss, 371 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 47987 impls, 0 clqs
0.08/0.18 c (round 4) 3275 del vars, 4972 del conss, 387 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 48326 impls, 0 clqs
0.08/0.18 c (round 5) 3310 del vars, 5064 del conss, 401 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 48683 impls, 0 clqs
0.08/0.19 c (round 6) 3339 del vars, 5138 del conss, 413 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 49050 impls, 0 clqs
0.08/0.19 c (round 7) 3362 del vars, 5205 del conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 49290 impls, 0 clqs
0.08/0.19 c (round 8) 3386 del vars, 5263 del conss, 434 chg bounds, 19 chg sides, 38 chg coeffs, 0 upgd conss, 49503 impls, 0 clqs
0.08/0.19 c (round 9) 3402 del vars, 5310 del conss, 442 chg bounds, 23 chg sides, 46 chg coeffs, 0 upgd conss, 49664 impls, 0 clqs
0.18/0.20 c (round 10) 3418 del vars, 5350 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 49805 impls, 0 clqs
0.18/0.20 c (round 11) 3434 del vars, 5390 del conss, 458 chg bounds, 31 chg sides, 62 chg coeffs, 0 upgd conss, 49928 impls, 0 clqs
0.18/0.20 c (round 12) 3450 del vars, 5430 del conss, 466 chg bounds, 35 chg sides, 70 chg coeffs, 0 upgd conss, 50061 impls, 0 clqs
0.18/0.21 c (round 13) 3466 del vars, 5470 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 50182 impls, 0 clqs
0.18/0.21 c (round 14) 3482 del vars, 5510 del conss, 482 chg bounds, 43 chg sides, 86 chg coeffs, 0 upgd conss, 50325 impls, 0 clqs
0.18/0.21 c (round 15) 3499 del vars, 5551 del conss, 491 chg bounds, 47 chg sides, 94 chg coeffs, 0 upgd conss, 50508 impls, 0 clqs
0.18/0.21 c (round 16) 3515 del vars, 5591 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 50725 impls, 0 clqs
0.18/0.22 c (round 17) 3531 del vars, 5631 del conss, 507 chg bounds, 55 chg sides, 110 chg coeffs, 0 upgd conss, 50918 impls, 0 clqs
0.18/0.22 c (round 18) 3547 del vars, 5671 del conss, 515 chg bounds, 59 chg sides, 118 chg coeffs, 0 upgd conss, 51049 impls, 0 clqs
0.18/0.22 c (round 19) 3563 del vars, 5711 del conss, 523 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 51190 impls, 0 clqs
0.18/0.22 c (round 20) 3579 del vars, 5751 del conss, 531 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 51333 impls, 0 clqs
0.18/0.23 c (round 21) 3592 del vars, 5784 del conss, 536 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 51499 impls, 0 clqs
0.18/0.23 c (round 22) 3609 del vars, 5825 del conss, 546 chg bounds, 72 chg sides, 144 chg coeffs, 0 upgd conss, 51613 impls, 0 clqs
0.18/0.23 c (round 23) 3622 del vars, 5872 del conss, 556 chg bounds, 75 chg sides, 150 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.18/0.23 c (round 24) 3640 del vars, 5910 del conss, 568 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 51800 impls, 0 clqs
0.18/0.24 c (round 25) 3654 del vars, 5949 del conss, 577 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 51911 impls, 0 clqs
0.18/0.24 c (round 26) 3670 del vars, 5987 del conss, 587 chg bounds, 78 chg sides, 156 chg coeffs, 0 upgd conss, 52054 impls, 0 clqs
0.18/0.24 c (round 27) 3690 del vars, 6027 del conss, 597 chg bounds, 80 chg sides, 160 chg coeffs, 0 upgd conss, 52205 impls, 0 clqs
0.18/0.24 c (round 28) 3697 del vars, 6068 del conss, 606 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 52223 impls, 0 clqs
0.18/0.25 c (round 29) 3713 del vars, 6097 del conss, 616 chg bounds, 85 chg sides, 170 chg coeffs, 0 upgd conss, 52300 impls, 0 clqs
0.18/0.25 c (round 30) 3727 del vars, 6136 del conss, 628 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 52349 impls, 0 clqs
0.18/0.25 c (round 31) 3742 del vars, 6172 del conss, 640 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 52408 impls, 0 clqs
0.18/0.25 c (round 32) 3759 del vars, 6211 del conss, 653 chg bounds, 88 chg sides, 176 chg coeffs, 0 upgd conss, 52441 impls, 0 clqs
0.18/0.26 c (round 33) 3778 del vars, 6252 del conss, 666 chg bounds, 89 chg sides, 178 chg coeffs, 0 upgd conss, 52548 impls, 0 clqs
0.18/0.26 c (round 34) 3795 del vars, 6294 del conss, 676 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 52671 impls, 0 clqs
0.18/0.26 c (round 35) 3807 del vars, 6327 del conss, 686 chg bounds, 92 chg sides, 185 chg coeffs, 0 upgd conss, 52708 impls, 0 clqs
0.18/0.26 c (round 36) 3816 del vars, 6357 del conss, 694 chg bounds, 95 chg sides, 191 chg coeffs, 0 upgd conss, 52762 impls, 0 clqs
0.18/0.27 c (round 37) 3836 del vars, 6398 del conss, 707 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52853 impls, 0 clqs
0.18/0.27 c (round 38) 3846 del vars, 6439 del conss, 716 chg bounds, 96 chg sides, 193 chg coeffs, 0 upgd conss, 52881 impls, 0 clqs
0.18/0.27 c (round 39) 3863 del vars, 6472 del conss, 731 chg bounds, 100 chg sides, 201 chg coeffs, 0 upgd conss, 52932 impls, 0 clqs
0.18/0.27 c (round 40) 3878 del vars, 6516 del conss, 743 chg bounds, 102 chg sides, 205 chg coeffs, 0 upgd conss, 52989 impls, 0 clqs
0.18/0.27 c (round 41) 3892 del vars, 6554 del conss, 759 chg bounds, 107 chg sides, 215 chg coeffs, 0 upgd conss, 53019 impls, 0 clqs
0.18/0.28 c (round 42) 3910 del vars, 6592 del conss, 773 chg bounds, 109 chg sides, 219 chg coeffs, 0 upgd conss, 53112 impls, 0 clqs
0.18/0.28 c (round 43) 3922 del vars, 6632 del conss, 787 chg bounds, 112 chg sides, 225 chg coeffs, 0 upgd conss, 53133 impls, 0 clqs
0.18/0.28 c (round 44) 3943 del vars, 6667 del conss, 802 chg bounds, 114 chg sides, 229 chg coeffs, 0 upgd conss, 53246 impls, 0 clqs
0.18/0.28 c (round 45) 3956 del vars, 6711 del conss, 815 chg bounds, 117 chg sides, 235 chg coeffs, 0 upgd conss, 53276 impls, 0 clqs
0.18/0.29 c (round 46) 3974 del vars, 6749 del conss, 830 chg bounds, 120 chg sides, 241 chg coeffs, 0 upgd conss, 53396 impls, 0 clqs
0.18/0.29 c (round 47) 3985 del vars, 6790 del conss, 842 chg bounds, 123 chg sides, 247 chg coeffs, 0 upgd conss, 53422 impls, 0 clqs
0.18/0.29 c (round 48) 4000 del vars, 6823 del conss, 855 chg bounds, 125 chg sides, 251 chg coeffs, 0 upgd conss, 53441 impls, 0 clqs
0.18/0.29 c (round 49) 4017 del vars, 6864 del conss, 871 chg bounds, 127 chg sides, 255 chg coeffs, 0 upgd conss, 53531 impls, 0 clqs
0.18/0.29 c (round 50) 4031 del vars, 6898 del conss, 883 chg bounds, 128 chg sides, 257 chg coeffs, 0 upgd conss, 53574 impls, 0 clqs
0.29/0.30 c (round 51) 4051 del vars, 6943 del conss, 901 chg bounds, 130 chg sides, 261 chg coeffs, 0 upgd conss, 53725 impls, 0 clqs
0.29/0.30 c (round 52) 4067 del vars, 6992 del conss, 916 chg bounds, 134 chg sides, 269 chg coeffs, 0 upgd conss, 53788 impls, 0 clqs
0.29/0.30 c (round 53) 4080 del vars, 7026 del conss, 930 chg bounds, 139 chg sides, 279 chg coeffs, 0 upgd conss, 53823 impls, 0 clqs
0.29/0.30 c (round 54) 4101 del vars, 7062 del conss, 943 chg bounds, 140 chg sides, 281 chg coeffs, 0 upgd conss, 53946 impls, 0 clqs
0.29/0.31 c (round 55) 4114 del vars, 7108 del conss, 955 chg bounds, 143 chg sides, 287 chg coeffs, 0 upgd conss, 54060 impls, 0 clqs
0.29/0.31 c (round 56) 4129 del vars, 7152 del conss, 970 chg bounds, 145 chg sides, 291 chg coeffs, 0 upgd conss, 54088 impls, 0 clqs
0.29/0.31 c (round 57) 4149 del vars, 7184 del conss, 984 chg bounds, 149 chg sides, 297 chg coeffs, 0 upgd conss, 54194 impls, 0 clqs
0.29/0.31 c (round 58) 4159 del vars, 7225 del conss, 994 chg bounds, 151 chg sides, 301 chg coeffs, 0 upgd conss, 54226 impls, 0 clqs
0.29/0.32 c (round 59) 4174 del vars, 7249 del conss, 1006 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54313 impls, 0 clqs
0.29/0.32 c (round 60) 4182 del vars, 7284 del conss, 1013 chg bounds, 153 chg sides, 305 chg coeffs, 0 upgd conss, 54337 impls, 0 clqs
0.29/0.32 c (round 61) 4189 del vars, 7299 del conss, 1022 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54356 impls, 0 clqs
0.29/0.32 c (round 62) 4197 del vars, 7320 del conss, 1028 chg bounds, 155 chg sides, 309 chg coeffs, 0 upgd conss, 54396 impls, 0 clqs
0.29/0.32 c (round 63) 4202 del vars, 7334 del conss, 1033 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54421 impls, 0 clqs
0.29/0.33 c (round 64) 4210 del vars, 7345 del conss, 1037 chg bounds, 157 chg sides, 313 chg coeffs, 0 upgd conss, 54471 impls, 0 clqs
0.29/0.33 c (round 65) 4214 del vars, 7364 del conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54527 impls, 0 clqs
0.29/0.33 c (round 66) 4214 del vars, 7366 del conss, 1041 chg bounds, 158 chg sides, 315 chg coeffs, 0 upgd conss, 54535 impls, 0 clqs
0.29/0.37 c (round 67) 4214 del vars, 7367 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 54535 impls, 0 clqs
0.39/0.44 c (round 68) 4264 del vars, 7367 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105479 impls, 0 clqs
0.39/0.44 c (round 69) 4264 del vars, 7373 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
0.39/0.45 c (round 70) 4264 del vars, 7375 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 105487 impls, 0 clqs
0.49/0.53 c (round 71) 4314 del vars, 7375 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
0.49/0.54 c (round 72) 4314 del vars, 7376 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 111775 impls, 0 clqs
0.49/0.59 c (round 73) 4364 del vars, 7376 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112835 impls, 0 clqs
0.58/0.61 c (round 74) 4364 del vars, 7381 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 112835 impls, 0 clqs
0.58/0.65 c (0.5s) probing: 835/2138 (39.1%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
0.58/0.65 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.58/0.65 c (round 75) 4401 del vars, 7381 del conss, 1041 chg bounds, 159 chg sides, 315 chg coeffs, 6106 upgd conss, 113305 impls, 0 clqs
0.58/0.66 c (0.5s) probing: 845/2138 (39.5%) - 1 fixings, 186 aggregations, 5652 implications, 0 bound changes
0.58/0.66 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.58/0.66 c presolving (76 rounds):
0.58/0.66 c 4401 deleted vars, 7381 deleted constraints, 1041 tightened bounds, 0 added holes, 159 changed sides, 315 changed coefficients
0.58/0.66 c 113305 implications, 0 cliques
0.58/0.66 c presolved problem has 1951 variables (1951 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
0.58/0.66 c 6092 constraints of type <logicor>
0.58/0.66 c transformed objective value is always integral (scale: 1)
0.58/0.66 c Presolving Time: 0.45
0.58/0.66 c strange?!, PURESAT with obj
0.58/0.66 c -----------------------------------------------------------------------------------------------
0.58/0.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.66 c limits/memory = c 13950
0.58/0.66 c # maximal time in seconds to run
0.58/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.66 c limits/time = c 1791
0.58/0.66 c # frequency for displaying node information lines
0.58/0.66 c # [type: int, range: [-1,2147483647], default: 100]
0.58/0.66 c display/freq = c 10000
0.58/0.66 c -----------------------------------------------------------------------------------------------
0.58/0.66 c start solving problem
0.58/0.66 c
0.88/0.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.94 c 0.7s| 1 | 0 | 2051 | 22M| 0 |1246 |1951 |6092 |6092 |1951 |5905 | 0 | 0 | 0 | 2.808013e+03 | -- | Inf
2.19/2.23 c 2.0s| 1 | 0 | 7169 | 23M| 0 |1230 |1951 |6092 |6092 |1951 |7905 |2000 | 0 | 0 | 2.815667e+03 | -- | Inf
2.99/3.03 c 2.8s| 1 | 0 | 8552 | 24M| 0 |1138 |1951 |6092 |6092 |1951 |7932 |2027 | 0 | 0 | 2.840662e+03 | -- | Inf
3.30/3.38 c 3.2s| 1 | 0 | 9016 | 24M| 0 |1161 |1951 |6092 |6092 |1951 |7959 |2054 | 0 | 0 | 2.845122e+03 | -- | Inf
3.79/3.87 c 3.6s| 1 | 0 | 9779 | 25M| 0 |1181 |1951 |6092 |6092 |1951 |7989 |2084 | 0 | 0 | 2.849386e+03 | -- | Inf
4.49/4.59 c 4.4s| 1 | 0 | 10738 | 27M| 0 |1211 |1951 |6092 |6092 |1951 |8026 |2121 | 0 | 0 | 2.853744e+03 | -- | Inf
5.29/5.30 c 5.1s| 1 | 0 | 11834 | 28M| 0 |1224 |1951 |6092 |6092 |1951 |8058 |2153 | 0 | 0 | 2.857439e+03 | -- | Inf
5.99/6.03 c 5.8s| 1 | 0 | 12899 | 30M| 0 |1252 |1951 |6092 |6092 |1951 |8093 |2188 | 0 | 0 | 2.860982e+03 | -- | Inf
6.69/6.75 c 6.5s| 1 | 0 | 13998 | 31M| 0 |1247 |1951 |6092 |6092 |1951 |8138 |2233 | 0 | 0 | 2.867543e+03 | -- | Inf
7.58/7.64 c 7.4s| 1 | 0 | 15404 | 33M| 0 |1283 |1951 |6092 |6092 |1951 |8185 |2280 | 0 | 0 | 2.870742e+03 | -- | Inf
8.48/8.54 c 8.3s| 1 | 0 | 16846 | 34M| 0 |1278 |1951 |6092 |6092 |1951 |8227 |2322 | 0 | 0 | 2.874725e+03 | -- | Inf
9.28/9.31 c 9.0s| 1 | 0 | 17863 | 36M| 0 |1308 |1951 |6092 |6092 |1951 |8281 |2376 | 0 | 0 | 2.878989e+03 | -- | Inf
10.28/10.30 c 10.0s| 1 | 0 | 19371 | 38M| 0 |1300 |1951 |6092 |6092 |1951 |8322 |2417 | 0 | 0 | 2.882764e+03 | -- | Inf
10.99/11.06 c 10.8s| 1 | 0 | 20527 | 39M| 0 |1265 |1951 |6092 |6092 |1951 |8368 |2463 | 0 | 0 | 2.886197e+03 | -- | Inf
11.98/12.08 c 11.8s| 1 | 0 | 21665 | 40M| 0 |1337 |1951 |6092 |6092 |1951 |6445 |2506 | 0 | 0 | 2.889519e+03 | -- | Inf
13.19/13.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.23 c 12.9s| 1 | 0 | 22888 | 41M| 0 |1321 |1951 |6092 |6092 |1951 |6498 |2559 | 0 | 0 | 2.893324e+03 | -- | Inf
14.08/14.18 c 13.9s| 1 | 0 | 23920 | 43M| 0 |1330 |1951 |6092 |6092 |1951 |6540 |2601 | 0 | 0 | 2.898232e+03 | -- | Inf
15.17/15.27 c 15.0s| 1 | 0 | 25212 | 45M| 0 |1353 |1951 |6092 |6092 |1951 |6579 |2640 | 0 | 0 | 2.901804e+03 | -- | Inf
17.18/17.23 c 16.9s| 1 | 0 | 27771 | 47M| 0 |1341 |1951 |6092 |6092 |1951 |6620 |2681 | 0 | 0 | 2.904748e+03 | -- | Inf
18.27/18.38 c 18.1s| 1 | 0 | 29319 | 52M| 0 |1375 |1951 |6092 |6092 |1951 |6667 |2728 | 0 | 0 | 2.913669e+03 | -- | Inf
19.47/19.56 c 19.2s| 1 | 0 | 30323 | 54M| 0 |1410 |1951 |6092 |6092 |1951 |6554 |2786 | 0 | 0 | 2.919393e+03 | -- | Inf
20.67/20.77 c 20.4s| 1 | 0 | 31652 | 56M| 0 |1391 |1951 |6092 |6092 |1951 |6609 |2841 | 0 | 0 | 2.923435e+03 | -- | Inf
21.58/21.60 c 21.3s| 1 | 0 | 32921 | 56M| 0 |1410 |1951 |6092 |6092 |1951 |6655 |2887 | 0 | 0 | 2.926648e+03 | -- | Inf
22.87/22.96 c 22.6s| 1 | 0 | 34680 | 57M| 0 |1403 |1951 |6092 |6092 |1951 |6703 |2935 | 0 | 0 | 2.930898e+03 | -- | Inf
24.08/24.15 c 23.8s| 1 | 0 | 36527 | 57M| 0 |1424 |1951 |6092 |6092 |1951 |6746 |2978 | 0 | 0 | 2.934679e+03 | -- | Inf
25.28/25.35 c 25.0s| 1 | 0 | 38511 | 59M| 0 |1446 |1951 |6092 |6092 |1951 |6780 |3012 | 0 | 0 | 2.936400e+03 | -- | Inf
27.17/27.23 c 26.9s| 1 | 0 | 41369 | 59M| 0 |1584 |1951 |6092 |6092 |1951 |6631 |3049 | 0 | 0 | 2.938086e+03 | -- | Inf
29.07/29.18 c 28.8s| 1 | 0 | 43061 | 59M| 0 |1466 |1951 |6092 |6092 |1951 |6699 |3117 | 0 | 0 | 2.950456e+03 | -- | Inf
30.16/30.26 c 29.9s| 1 | 0 | 44674 | 61M| 0 |1489 |1951 |6092 |6092 |1951 |6747 |3165 | 0 | 0 | 2.955447e+03 | -- | Inf
31.67/31.71 c 31.3s| 1 | 0 | 47114 | 61M| 0 |1511 |1951 |6092 |6092 |1951 |6791 |3209 | 0 | 0 | 2.958980e+03 | -- | Inf
33.67/33.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.67/33.73 c 33.4s| 1 | 0 | 49589 | 62M| 0 |1431 |1951 |6092 |6092 |1951 |6861 |3279 | 0 | 0 | 2.970728e+03 | -- | Inf
34.87/34.94 c 34.5s| 1 | 0 | 51532 | 62M| 0 |1487 |1951 |6092 |6092 |1951 |6914 |3332 | 0 | 0 | 2.975407e+03 | -- | Inf
35.86/35.97 c 35.6s| 1 | 0 | 52911 | 63M| 0 |1430 |1951 |6092 |6092 |1951 |6713 |3371 | 0 | 0 | 2.979732e+03 | -- | Inf
36.67/36.77 c 36.4s| 1 | 0 | 54147 | 64M| 0 |1446 |1951 |6092 |6092 |1951 |6750 |3408 | 0 | 0 | 2.984759e+03 | -- | Inf
37.66/37.76 c 37.4s| 1 | 0 | 55881 | 65M| 0 |1461 |1951 |6092 |6092 |1951 |6787 |3445 | 0 | 0 | 2.987862e+03 | -- | Inf
38.66/38.71 c 38.3s| 1 | 0 | 57604 | 66M| 0 |1482 |1951 |6092 |6092 |1951 |6826 |3484 | 0 | 0 | 2.990813e+03 | -- | Inf
39.47/39.58 c 39.2s| 1 | 0 | 59237 | 68M| 0 |1551 |1951 |6092 |6092 |1951 |6857 |3515 | 0 | 0 | 2.993416e+03 | -- | Inf
40.46/40.56 c 40.1s| 1 | 0 | 60689 | 68M| 0 |1484 |1951 |6092 |6092 |1951 |6891 |3549 | 0 | 0 | 2.995551e+03 | -- | Inf
41.86/41.91 c 41.5s| 1 | 0 | 62965 | 70M| 0 |1597 |1951 |6092 |6092 |1951 |6711 |3581 | 0 | 0 | 2.997662e+03 | -- | Inf
43.26/43.30 c 42.9s| 1 | 0 | 64776 | 70M| 0 |1560 |1951 |6092 |6092 |1951 |6752 |3622 | 0 | 0 | 3.002387e+03 | -- | Inf
44.26/44.32 c 43.9s| 1 | 0 | 65710 | 71M| 0 |1554 |1951 |6092 |6092 |1951 |6794 |3664 | 0 | 0 | 3.004530e+03 | -- | Inf
45.36/45.42 c 45.0s| 1 | 0 | 67103 | 72M| 0 |1621 |1951 |6092 |6092 |1951 |6823 |3693 | 0 | 0 | 3.007859e+03 | -- | Inf
46.56/46.64 c 46.2s| 1 | 0 | 68324 | 73M| 0 |1633 |1951 |6092 |6092 |1951 |6859 |3729 | 0 | 0 | 3.011503e+03 | -- | Inf
48.26/48.40 c 47.9s| 1 | 0 | 70042 | 73M| 0 |1618 |1951 |6092 |6092 |1951 |6899 |3769 | 0 | 0 | 3.015939e+03 | -- | Inf
49.95/50.07 c 49.6s| 1 | 0 | 71728 | 73M| 0 |1643 |1951 |6092 |6092 |1951 |6684 |3810 | 0 | 0 | 3.017979e+03 | -- | Inf
52.25/52.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.25/52.38 c 51.9s| 1 | 0 | 74366 | 73M| 0 |1608 |1951 |6092 |6092 |1951 |6719 |3845 | 0 | 0 | 3.021393e+03 | -- | Inf
53.56/53.62 c 53.1s| 1 | 0 | 75817 | 74M| 0 |1583 |1951 |6092 |6092 |1951 |6747 |3873 | 0 | 0 | 3.022396e+03 | -- | Inf
54.65/54.70 c 54.2s| 1 | 0 | 77393 | 75M| 0 |1671 |1951 |6092 |6092 |1951 |6779 |3905 | 0 | 0 | 3.025342e+03 | -- | Inf
56.06/56.18 c 55.7s| 1 | 0 | 79068 | 75M| 0 |1664 |1951 |6092 |6092 |1951 |6814 |3940 | 0 | 0 | 3.028884e+03 | -- | Inf
56.86/56.98 c 56.5s| 1 | 0 | 80633 | 76M| 0 |1635 |1951 |6092 |6092 |1951 |6844 |3970 | 0 | 0 | 3.031194e+03 | -- | Inf
57.95/58.04 c 57.5s| 1 | 0 | 82146 | 76M| 0 |1595 |1951 |6092 |6092 |1951 |6716 |4001 | 0 | 0 | 3.033874e+03 | -- | Inf
58.75/58.88 c 58.3s| 1 | 0 | 83468 | 76M| 0 |1661 |1951 |6092 |6092 |1951 |6757 |4042 | 0 | 0 | 3.038334e+03 | -- | Inf
60.16/60.24 c 59.7s| 1 | 0 | 84510 | 77M| 0 |1637 |1951 |6092 |6092 |1951 |6799 |4084 | 0 | 0 | 3.042291e+03 | -- | Inf
61.05/61.17 c 60.6s| 1 | 0 | 85735 | 77M| 0 |1619 |1951 |6092 |6092 |1951 |6829 |4114 | 0 | 0 | 3.044581e+03 | -- | Inf
62.05/62.10 c 61.5s| 1 | 0 | 86613 | 77M| 0 |1626 |1951 |6092 |6092 |1951 |6860 |4145 | 0 | 0 | 3.046380e+03 | -- | Inf
62.66/62.77 c 62.2s| 1 | 0 | 87895 | 78M| 0 |1640 |1951 |6092 |6092 |1951 |6890 |4175 | 0 | 0 | 3.047432e+03 | -- | Inf
63.35/63.42 c 62.9s| 1 | 0 | 88544 | 78M| 0 |1641 |1951 |6092 |6092 |1951 |6722 |4196 | 0 | 0 | 3.048485e+03 | -- | Inf
64.55/64.66 c 64.1s| 1 | 0 | 89471 | 79M| 0 |1622 |1951 |6092 |6092 |1951 |6740 |4214 | 0 | 0 | 3.049026e+03 | -- | Inf
65.65/65.75 c 65.2s| 1 | 0 | 89799 | 79M| 0 |1611 |1951 |6092 |6092 |1951 |6757 |4231 | 0 | 0 | 3.049529e+03 | -- | Inf
66.64/66.75 c 66.2s| 1 | 0 | 90243 | 79M| 0 |1620 |1951 |6092 |6092 |1951 |6767 |4241 | 0 | 0 | 3.049671e+03 | -- | Inf
67.84/67.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.84/67.96 c 67.4s| 1 | 0 | 90718 | 79M| 0 |1598 |1951 |6092 |6092 |1951 |6777 |4251 | 0 | 0 | 3.050356e+03 | -- | Inf
69.15/69.29 c 68.7s| 1 | 0 | 91695 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6800 |4274 | 0 | 0 | 3.051715e+03 | -- | Inf
70.14/70.25 c 69.6s| 1 | 0 | 91854 | 79M| 0 |1625 |1951 |6092 |6092 |1951 |6626 |4286 | 0 | 0 | 3.051747e+03 | -- | Inf
71.25/71.36 c 70.7s| 1 | 0 | 92383 | 79M| 0 |1634 |1951 |6092 |6092 |1951 |6633 |4293 | 0 | 0 | 3.051914e+03 | -- | Inf
72.45/72.52 c 71.9s| 1 | 0 | 93029 | 79M| 0 |1636 |1951 |6092 |6092 |1951 |6643 |4303 | 0 | 0 | 3.052852e+03 | -- | Inf
73.45/73.57 c 72.9s| 1 | 0 | 93282 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6646 |4306 | 0 | 0 | 3.052913e+03 | -- | Inf
74.35/74.41 c 73.8s| 1 | 0 | 93499 | 79M| 0 |1628 |1951 |6092 |6092 |1951 |6651 |4311 | 0 | 0 | 3.053077e+03 | -- | Inf
75.14/75.28 c 74.6s| 1 | 0 | 93775 | 79M| 0 |1633 |1951 |6092 |6092 |1951 |6666 |4326 | 0 | 0 | 3.053589e+03 | -- | Inf
76.04/76.19 c 75.5s| 1 | 0 | 94450 | 80M| 0 |1623 |1951 |6092 |6092 |1951 |6554 |4338 | 0 | 0 | 3.054135e+03 | -- | Inf
77.15/77.27 c 76.6s| 1 | 0 | 95136 | 80M| 0 |1608 |1951 |6092 |6092 |1951 |6567 |4351 | 0 | 0 | 3.055150e+03 | -- | Inf
78.15/78.21 c 77.5s| 1 | 0 | 95731 | 80M| 0 |1612 |1951 |6092 |6092 |1951 |6587 |4371 | 0 | 0 | 3.056729e+03 | -- | Inf
79.34/79.44 c 78.8s| 1 | 0 | 96365 | 81M| 0 |1650 |1951 |6092 |6092 |1951 |6598 |4382 | 0 | 0 | 3.057640e+03 | -- | Inf
80.55/80.61 c 79.9s| 1 | 0 | 97206 | 81M| 0 |1639 |1951 |6092 |6092 |1951 |6613 |4397 | 0 | 0 | 3.058459e+03 | -- | Inf
81.45/81.56 c 80.9s| 1 | 0 | 97693 | 81M| 0 |1629 |1951 |6092 |6092 |1951 |6623 |4407 | 0 | 0 | 3.059367e+03 | -- | Inf
82.14/82.29 c 81.6s| 1 | 0 | 98876 | 81M| 0 |1622 |1951 |6092 |6092 |1951 |6567 |4429 | 0 | 0 | 3.061063e+03 | -- | Inf
83.54/83.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.54/83.62 c 82.9s| 1 | 0 |100039 | 81M| 0 |1607 |1951 |6092 |6092 |1951 |6592 |4454 | 0 | 0 | 3.061921e+03 | -- | Inf
84.44/84.52 c 83.8s| 1 | 0 |100641 | 81M| 0 |1616 |1951 |6092 |6092 |1951 |6612 |4474 | 0 | 0 | 3.062176e+03 | -- | Inf
85.55/85.60 c 84.9s| 1 | 0 |101259 | 82M| 0 |1602 |1951 |6092 |6092 |1951 |6649 |4511 | 0 | 0 | 3.062949e+03 | -- | Inf
86.94/87.09 c 86.4s| 1 | 0 |102267 | 82M| 0 |1611 |1951 |6092 |6092 |1951 |6670 |4532 | 0 | 0 | 3.064346e+03 | -- | Inf
87.84/87.93 c 87.2s| 1 | 0 |103260 | 82M| 0 |1625 |1951 |6092 |6092 |1951 |6698 |4560 | 0 | 0 | 3.065256e+03 | -- | Inf
88.94/89.00 c 88.3s| 1 | 0 |104058 | 83M| 0 |1653 |1951 |6092 |6092 |1951 |6656 |4589 | 0 | 0 | 3.066457e+03 | -- | Inf
90.15/90.23 c 89.5s| 1 | 0 |105088 | 83M| 0 |1651 |1951 |6092 |6092 |1951 |6687 |4620 | 0 | 0 | 3.068049e+03 | -- | Inf
90.85/90.93 c 90.2s| 1 | 0 |105934 | 83M| 0 |1644 |1951 |6092 |6092 |1951 |6707 |4640 | 0 | 0 | 3.069506e+03 | -- | Inf
92.04/92.18 c 91.4s| 1 | 0 |106941 | 83M| 0 |1666 |1951 |6092 |6092 |1951 |6728 |4661 | 0 | 0 | 3.070145e+03 | -- | Inf
93.04/93.15 c 92.4s| 1 | 0 |107504 | 83M| 0 |1654 |1951 |6092 |6092 |1951 |6751 |4684 | 0 | 0 | 3.070991e+03 | -- | Inf
94.14/94.23 c 93.5s| 1 | 0 |108162 | 83M| 0 |1664 |1951 |6092 |6092 |1951 |6781 |4714 | 0 | 0 | 3.071428e+03 | -- | Inf
95.24/95.36 c 94.6s| 1 | 0 |109041 | 83M| 0 |1671 |1951 |6092 |6092 |1951 |6705 |4733 | 0 | 0 | 3.071818e+03 | -- | Inf
96.34/96.46 c 95.7s| 1 | 0 |109699 | 84M| 0 |1662 |1951 |6092 |6092 |1951 |6714 |4742 | 0 | 0 | 3.072011e+03 | -- | Inf
97.14/97.24 c 96.5s| 1 | 0 |109722 | 84M| 0 |1663 |1951 |6092 |6092 |1951 |6724 |4752 | 0 | 0 | 3.072014e+03 | -- | Inf
97.94/98.03 c 97.2s| 1 | 0 |109779 | 84M| 0 |1661 |1951 |6092 |6092 |1951 |6727 |4755 | 0 | 0 | 3.072015e+03 | -- | Inf
103.74/103.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.74/103.88 c 103s| 1 | 2 |109779 | 84M| 0 |1661 |1951 |6092 |6092 |1951 |6727 |4755 | 0 | 40 | 3.072015e+03 | -- | Inf
1799.47/1799.82 c
1799.47/1799.82 c SCIP Status : solving was interrupted [time limit reached]
1799.47/1799.82 c Solving Time (sec) : 1791.00
1799.47/1799.82 c Solving Nodes : 6365
1799.47/1799.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.47/1799.82 c Dual Bound : +3.09489351284270e+03
1799.47/1799.82 c Gap : infinite
1799.47/1799.82 c NODE 6365
1799.47/1799.82 c DUAL BOUND 3094.89
1799.47/1799.82 c PRIMAL BOUND 1e+20
1799.47/1799.82 c GAP 1e+20
1799.47/1799.82 s UNKNOWN
1799.47/1799.82 c SCIP Status : solving was interrupted [time limit reached]
1799.47/1799.82 c Solving Time : 1791.00
1799.47/1799.82 c Original Problem :
1799.47/1799.82 c Problem name : HOME/instance-3732530-1338695416.opb
1799.47/1799.82 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.47/1799.82 c Constraints : 13473 initial, 13473 maximal
1799.47/1799.82 c Presolved Problem :
1799.47/1799.82 c Problem name : t_HOME/instance-3732530-1338695416.opb
1799.47/1799.82 c Variables : 1951 (1951 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.47/1799.82 c Constraints : 6092 initial, 9187 maximal
1799.47/1799.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.47/1799.82 c trivial : 0.01 40 0 0 0 0 0 0 0
1799.47/1799.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1799.47/1799.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.47/1799.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.47/1799.82 c implics : 0.04 0 3128 0 0 0 0 0 0
1799.47/1799.82 c probing : 0.21 1 186 0 0 0 0 0 0
1799.47/1799.82 c linear : 0.11 1001 45 0 1041 0 7367 159 315
1799.47/1799.82 c logicor : 0.07 0 0 0 0 0 14 0 0
1799.47/1799.82 c root node : - 0 - - 0 - - - -
1799.47/1799.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.47/1799.82 c integral : 0 0 0 4844 0 11 113 0 0 9534
1799.47/1799.82 c logicor : 6092+ 90 183103 0 0 2787 1357854 0 0 0
1799.47/1799.82 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.47/1799.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.47/1799.82 c integral : 463.85 0.00 0.00 463.85 0.00
1799.47/1799.82 c logicor : 5.19 0.06 5.13 0.00 0.00
1799.47/1799.82 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.47/1799.82 c Propagators : Time Calls Cutoffs DomReds
1799.47/1799.82 c rootredcost : 0.01 0 0 0
1799.47/1799.82 c pseudoobj : 4.09 183178 0 0
1799.47/1799.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.47/1799.82 c propagation : 0.67 2786 2644 33855 40.3 635 6.5 -
1799.47/1799.82 c infeasible LP : 0.32 439 438 6821 43.2 60 3.4 0
1799.47/1799.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.47/1799.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.47/1799.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.47/1799.82 c applied globally : - - - 12977 33.4 - - -
1799.47/1799.82 c applied locally : - - - 0 0.0 - - -
1799.47/1799.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.47/1799.82 c cut pool : 0.83 89 - - 3141 - (maximal pool size: 24617)
1799.47/1799.82 c redcost : 0.12 4933 0 0 0 0
1799.47/1799.82 c impliedbounds : 0.01 90 0 0 4099 0
1799.47/1799.82 c intobj : 0.00 0 0 0 0 0
1799.47/1799.82 c gomory : 43.76 89 0 0 36011 0
1799.47/1799.82 c strongcg : 2.33 20 0 0 10000 0
1799.47/1799.82 c cmir : 0.39 10 0 0 0 0
1799.47/1799.82 c flowcover : 0.33 10 0 0 0 0
1799.47/1799.82 c clique : 0.11 89 0 0 33 0
1799.47/1799.82 c zerohalf : 0.00 0 0 0 0 0
1799.47/1799.82 c mcf : 0.01 1 0 0 0 0
1799.47/1799.82 c Pricers : Time Calls Vars
1799.47/1799.82 c problem variables: 0.00 0 0
1799.47/1799.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.47/1799.82 c relpscost : 463.85 4844 11 113 0 0 9534
1799.47/1799.82 c pscost : 0.00 0 0 0 0 0 0
1799.47/1799.82 c inference : 0.00 0 0 0 0 0 0
1799.47/1799.82 c mostinf : 0.00 0 0 0 0 0 0
1799.47/1799.82 c leastinf : 0.00 0 0 0 0 0 0
1799.47/1799.82 c fullstrong : 0.00 0 0 0 0 0 0
1799.47/1799.82 c allfullstrong : 0.00 0 0 0 0 0 0
1799.47/1799.82 c random : 0.00 0 0 0 0 0 0
1799.47/1799.82 c Primal Heuristics : Time Calls Found
1799.47/1799.82 c LP solutions : 0.00 - 0
1799.47/1799.82 c pseudo solutions : 0.00 - 0
1799.47/1799.82 c oneopt : 0.01 0 0
1799.47/1799.82 c crossover : 0.00 0 0
1799.47/1799.82 c veclendiving : 57.17 37 0
1799.47/1799.82 c fracdiving : 44.74 46 0
1799.47/1799.82 c coefdiving : 50.97 46 0
1799.47/1799.82 c linesearchdiving : 42.62 46 0
1799.47/1799.82 c pscostdiving : 49.46 47 0
1799.47/1799.82 c simplerounding : 0.00 0 0
1799.47/1799.82 c rounding : 0.38 943 0
1799.47/1799.82 c shifting : 0.87 285 0
1799.47/1799.82 c intshifting : 0.00 0 0
1799.47/1799.82 c fixandinfer : 0.00 0 0
1799.47/1799.82 c feaspump : 33.36 12 0
1799.47/1799.82 c intdiving : 0.00 0 0
1799.47/1799.82 c actconsdiving : 0.00 0 0
1799.47/1799.82 c objpscostdiving : 54.22 4 0
1799.47/1799.82 c rootsoldiving : 44.19 7 0
1799.47/1799.82 c guideddiving : 0.00 0 0
1799.47/1799.82 c octane : 0.00 0 0
1799.47/1799.82 c rens : 0.01 0 0
1799.47/1799.82 c rins : 0.00 0 0
1799.47/1799.82 c localbranching : 0.00 0 0
1799.47/1799.82 c mutation : 0.00 0 0
1799.47/1799.82 c dins : 0.00 0 0
1799.47/1799.82 c LP : Time Calls Iterations Iter/call Iter/sec
1799.47/1799.82 c primal LP : 0.05 0 0 0.00 0.00
1799.47/1799.82 c dual LP : 883.12 5284 2592833 490.70 2935.99
1799.47/1799.82 c barrier LP : 0.00 0 0 0.00 -
1799.47/1799.82 c diving/probing LP: 358.95 17060 824674 48.34 2297.46
1799.47/1799.82 c strong branching : 461.79 3831 1237353 322.98 2679.47
1799.47/1799.82 c (at root node) : - 40 11978 299.45 -
1799.47/1799.82 c conflict analysis: 0.00 0 0 0.00 -
1799.47/1799.82 c B&B Tree :
1799.47/1799.82 c number of runs : 1
1799.47/1799.82 c nodes : 6365
1799.47/1799.82 c nodes (total) : 6365
1799.47/1799.82 c nodes left : 1576
1799.47/1799.82 c max depth : 45
1799.47/1799.82 c max depth (total): 45
1799.47/1799.82 c backtracks : 1941 (30.5%)
1799.47/1799.82 c delayed cutoffs : 1594
1799.47/1799.82 c repropagations : 4037 (633702 domain reductions, 1130 cutoffs)
1799.47/1799.82 c avg switch length: 4.55
1799.47/1799.82 c switching time : 2.46
1799.47/1799.82 c Solution :
1799.47/1799.82 c Solutions found : 0 (0 improvements)
1799.47/1799.82 c Primal Bound : -
1799.47/1799.82 c Dual Bound : +3.09489351284270e+03
1799.47/1799.82 c Gap : infinite
1799.47/1799.82 c Root Dual Bound : +3.07201485726424e+03
1799.47/1799.88 c Time complete: 1799.55.
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-3732530-1338695416/watcher-3732530-1338695416 -o /tmp/evaluation-result-3732530-1338695416/solver-3732530-1338695416 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732530-1338695416.opb
running on 4 cores: 0,2,4,6
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: 1.97 1.97 1.99 3/177 15741
/proc/meminfo: memFree=30443932/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=6124 CPUtime=0 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 921 0 0 0 0 0 0 0 20 0 1 0 335667429 6270976 874 33554432000 4194304 7823515 140735694962160 140733468558552 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 1788 885 335 887 0 898 0
[startup+0.0463791 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 15741
/proc/meminfo: memFree=30443932/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=16660 CPUtime=0.04 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 3535 0 0 0 4 0 0 0 20 0 1 0 335667429 17059840 3488 33554432000 4194304 7823515 140735694962160 140733468558552 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 4165 3488 354 887 0 3275 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16660
[startup+0.100276 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 15741
/proc/meminfo: memFree=30443932/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=26292 CPUtime=0.08 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 6231 0 0 0 8 0 0 0 20 0 1 0 335667429 26923008 5830 33554432000 4194304 7823515 140735694962160 140733468558552 6911387 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 6573 5832 370 887 0 5683 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26292
[startup+0.30026 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 15741
/proc/meminfo: memFree=30443932/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=38560 CPUtime=0.29 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 9158 0 0 0 22 7 0 0 20 0 1 0 335667429 39485440 8757 33554432000 4194304 7823515 140735694962160 140733468558552 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 9640 8757 432 887 0 8750 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38560
[startup+0.7002 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 15741
/proc/meminfo: memFree=30443932/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=50684 CPUtime=0.69 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 12003 0 0 0 58 11 0 0 20 0 1 0 335667429 51900416 11580 33554432000 4194304 7823515 140735694962160 140735694958856 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 12671 11580 517 887 0 11781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50684
[startup+1.50025 s]
/proc/loadavg: 1.97 1.97 1.99 3/178 15742
/proc/meminfo: memFree=30395548/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=55340 CPUtime=1.48 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 13448 0 0 0 137 11 0 0 20 0 1 0 335667429 56668160 12884 33554432000 4194304 7823515 140735694962160 140735694956920 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15741/statm: 13835 12884 531 887 0 12945 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55340
[startup+3.10013 s]
/proc/loadavg: 1.97 1.97 1.99 3/178 15742
/proc/meminfo: memFree=30393068/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=61000 CPUtime=3.09 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 15737 0 0 0 296 13 0 0 20 0 1 0 335667429 62464000 14276 33554432000 4194304 7823515 140735694962160 140735694957352 4348739 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/15741/statm: 15250 14276 560 887 0 14360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61000
[startup+6.3002 s]
/proc/loadavg: 1.97 1.97 1.99 3/178 15742
/proc/meminfo: memFree=30377444/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=75164 CPUtime=6.29 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 19526 0 0 0 614 15 0 0 20 0 1 0 335667429 76967936 17927 33554432000 4194304 7823515 140735694962160 140735694957304 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15741/statm: 18791 17927 560 887 0 17901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75164
[startup+12.7002 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 15742
/proc/meminfo: memFree=30358604/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=91280 CPUtime=12.68 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 26626 0 0 0 1248 20 0 0 20 0 1 0 335667429 93470720 21716 33554432000 4194304 7823515 140735694962160 140735694957304 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15741/statm: 22820 21716 560 887 0 21930 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 91280
[startup+25.5011 s]
/proc/loadavg: 1.98 1.97 1.99 3/178 15742
/proc/meminfo: memFree=30326496/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=120080 CPUtime=25.47 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 37406 0 0 0 2522 25 0 0 20 0 1 0 335667429 122961920 28630 33554432000 4194304 7823515 140735694962160 140735694957304 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15741/statm: 30020 28630 560 887 0 29130 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 120080
[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15742
/proc/meminfo: memFree=30307368/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=137104 CPUtime=51.05 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 46916 0 0 0 5067 38 0 0 20 0 1 0 335667429 140394496 32888 33554432000 4194304 7823515 140735694962160 140735694957256 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 34276 32888 560 887 0 33386 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 137104
[startup+102.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15742
/proc/meminfo: memFree=30297744/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=102.24 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52028 0 0 0 10155 69 0 0 20 0 1 0 335667429 150122496 35967 33554432000 4194304 7823515 140735694962160 140735694957208 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 35967 564 887 0 35761 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146604
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15742
/proc/meminfo: memFree=30295816/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=162.24 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52058 0 0 0 16130 94 0 0 20 0 1 0 335667429 150122496 35997 33554432000 4194304 7823515 140735694962160 140735694958280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 35997 569 887 0 35761 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 146604
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15742
/proc/meminfo: memFree=30296188/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=222.23 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52089 0 0 0 22102 121 0 0 20 0 1 0 335667429 150122496 36028 33554432000 4194304 7823515 140735694962160 140735694957592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 36028 569 887 0 35761 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 146604
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15743
/proc/meminfo: memFree=30293460/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=282.21 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52090 0 0 0 28073 148 0 0 20 0 1 0 335667429 150122496 36029 33554432000 4194304 7823515 140735694962160 140735694957608 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 36029 570 887 0 35761 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 146604
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15743
/proc/meminfo: memFree=30293456/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=342.2 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52090 0 0 0 34044 176 0 0 20 0 1 0 335667429 150122496 36029 33554432000 4194304 7823515 140735694962160 140735694957976 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 36029 570 887 0 35761 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 146604
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15743
/proc/meminfo: memFree=30293332/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=146604 CPUtime=402.19 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52090 0 0 0 40019 200 0 0 20 0 1 0 335667429 150122496 36029 33554432000 4194304 7823515 140735694962160 140735694958056 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 36651 36029 570 887 0 35761 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 146604
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 15743
/proc/meminfo: memFree=30290232/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=149724 CPUtime=462.18 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52872 0 0 0 45993 225 0 0 20 0 1 0 335667429 153317376 36811 33554432000 4194304 7823515 140735694962160 140735694956856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 37431 36811 570 887 0 36541 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 149724
[startup+522.301 s]
/proc/loadavg: 2.03 1.99 1.99 3/177 15743
/proc/meminfo: memFree=30290236/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=149724 CPUtime=522.18 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 52906 0 0 0 51965 253 0 0 20 0 1 0 335667429 153317376 36845 33554432000 4194304 7823515 140735694962160 140735694956856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 37431 36845 570 887 0 36541 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 149724
[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/177 15744
/proc/meminfo: memFree=30287008/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=150608 CPUtime=582.17 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 53685 0 0 0 57933 284 0 0 20 0 1 0 335667429 154222592 36894 33554432000 4194304 7823515 140735694962160 140735694957624 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 37652 36894 570 887 0 36762 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 150608
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30271552/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=167484 CPUtime=1062.09 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 59054 0 0 0 105714 495 0 0 20 0 1 0 335667429 171503616 41285 33554432000 4194304 7823515 140735694962160 140735694957496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 41871 41285 570 887 0 40981 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 167484
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15771
/proc/meminfo: memFree=30269316/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=170068 CPUtime=1122.08 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 59619 0 0 0 111685 523 0 0 20 0 1 0 335667429 174149632 41848 33554432000 4194304 7823515 140735694962160 140735694957176 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 42517 41848 570 887 0 41627 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 170068
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/176 15771
/proc/meminfo: memFree=30268956/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=171148 CPUtime=1182.07 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 60868 0 0 0 117655 552 0 0 20 0 1 0 335667429 175255552 42120 33554432000 4194304 7823515 140735694962160 140735694959240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 42787 42120 570 887 0 41897 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 171148
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15775
/proc/meminfo: memFree=30266716/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=172300 CPUtime=1242.06 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 63030 0 0 0 123623 583 0 0 20 0 1 0 335667429 176435200 42487 33554432000 4194304 7823515 140735694962160 140735694956856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43075 42487 570 887 0 42185 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 172300
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15775
/proc/meminfo: memFree=30265792/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=173284 CPUtime=1302.05 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 63279 0 0 0 129592 613 0 0 20 0 1 0 335667429 177442816 42735 33554432000 4194304 7823515 140735694962160 140735694957496 6109480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43321 42735 570 887 0 42431 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 173284
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15775
/proc/meminfo: memFree=30267560/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=172120 CPUtime=1362.04 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 64672 0 0 0 135563 641 0 0 20 0 1 0 335667429 176250880 42254 33554432000 4194304 7823515 140735694962160 140735694957320 6235077 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43030 42254 570 887 0 42140 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 172120
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15775
/proc/meminfo: memFree=30264092/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=175020 CPUtime=1422.04 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 67169 0 0 0 141533 671 0 0 20 0 1 0 335667429 179220480 43076 33554432000 4194304 7823515 140735694962160 140735694956856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43755 43076 570 887 0 42865 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 175020
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15775
/proc/meminfo: memFree=30263592/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=174904 CPUtime=1482.03 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 68098 0 0 0 147508 695 0 0 20 0 1 0 335667429 179101696 43140 33554432000 4194304 7823515 140735694962160 140735694957960 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43726 43140 570 887 0 42836 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 174904
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15776
/proc/meminfo: memFree=30265732/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=174504 CPUtime=1542.01 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 71068 0 0 0 153477 724 0 0 20 0 1 0 335667429 178692096 42862 33554432000 4194304 7823515 140735694962160 140735694957496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 43626 42862 570 887 0 42736 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 174504
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15776
/proc/meminfo: memFree=30262880/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=176904 CPUtime=1602 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 71822 0 0 0 159446 754 0 0 20 0 1 0 335667429 181149696 43540 33554432000 4194304 7823515 140735694962160 140735694957496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44226 43540 570 887 0 43336 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 176904
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15776
/proc/meminfo: memFree=30262132/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=177976 CPUtime=1661.99 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 73062 0 0 0 165416 783 0 0 20 0 1 0 335667429 182247424 43768 33554432000 4194304 7823515 140735694962160 140735694958088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44494 43768 570 887 0 43604 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 177976
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15776
/proc/meminfo: memFree=30261764/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=177308 CPUtime=1721.98 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 74050 0 0 0 171389 809 0 0 20 0 1 0 335667429 181563392 43735 33554432000 4194304 7823515 140735694962160 140735694957944 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44327 43735 570 887 0 43437 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 177308
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15928
/proc/meminfo: memFree=30327188/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1781.98 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 177363 835 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957912 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 178636
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 15931
/proc/meminfo: memFree=30326544/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1791.68 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 178329 839 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 178636
[startup+1795.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15932
/proc/meminfo: memFree=30326760/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1794.88 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 178648 840 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957912 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 178636
[startup+1798.4 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15932
/proc/meminfo: memFree=30326976/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1798.07 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 178965 842 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957736 6237451 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 178636
[startup+1799.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15932
/proc/meminfo: memFree=30326984/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1798.87 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 179045 842 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957736 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1798.87
Current children cumulated vsize (KiB) 178636
[startup+1799.6 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15932
/proc/meminfo: memFree=30327052/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1799.28 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 179086 842 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957736 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 178636
[startup+1799.8 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 15932
/proc/meminfo: memFree=30327052/32873648 swapFree=6860/6860
[pid=15741] ppid=15739 vsize=178636 CPUtime=1799.47 cores=0,2,4,6
/proc/15741/stat : 15741 (pbscip.linux.x8) R 15739 15741 4790 0 -1 4202496 75308 0 0 0 179105 842 0 0 20 0 1 0 335667429 182923264 44073 33554432000 4194304 7823515 140735694962160 140735694957736 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15741/statm: 44659 44073 570 887 0 43769 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 178636
Child status: 0
Real time (s): 1799.89
CPU time (s): 1799.57
CPU user time (s): 1791.14
CPU system time (s): 8.42872
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 179280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.14
system time used= 8.42872
maximum resident set size= 176388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75315
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= 51
involuntary context switches= 1961
runsolver used 2.75858 second user time and 7.46286 second system time
The end