0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665428-1276455876.opb>
0.19/0.26	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.19/0.26	c problem read
0.19/0.26	c presolving settings loaded
0.29/0.36	c presolving:
0.39/0.46	c (round 1) 2972 del vars, 502 del conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38894 impls, 0 clqs
0.49/0.52	c (round 2) 3246 del vars, 4518 del conss, 363 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 48820 impls, 0 clqs
0.49/0.55	c (round 3) 3283 del vars, 4951 del conss, 378 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49175 impls, 0 clqs
0.49/0.56	c (round 4) 3318 del vars, 5037 del conss, 392 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 49532 impls, 0 clqs
0.49/0.57	c (round 5) 3350 del vars, 5120 del conss, 405 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 49951 impls, 0 clqs
0.49/0.58	c (round 6) 3378 del vars, 5193 del conss, 416 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50234 impls, 0 clqs
0.59/0.60	c (round 7) 3402 del vars, 5256 del conss, 425 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 50473 impls, 0 clqs
0.59/0.61	c (round 8) 3422 del vars, 5309 del conss, 432 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 50788 impls, 0 clqs
0.59/0.62	c (round 9) 3438 del vars, 5353 del conss, 438 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 50975 impls, 0 clqs
0.59/0.63	c (round 10) 3454 del vars, 5393 del conss, 444 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51120 impls, 0 clqs
0.59/0.64	c (round 11) 3470 del vars, 5433 del conss, 450 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 51375 impls, 0 clqs
0.59/0.65	c (round 12) 3486 del vars, 5473 del conss, 456 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 51534 impls, 0 clqs
0.59/0.67	c (round 13) 3502 del vars, 5513 del conss, 462 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 51781 impls, 0 clqs
0.59/0.68	c (round 14) 3518 del vars, 5553 del conss, 468 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 52022 impls, 0 clqs
0.59/0.69	c (round 15) 3534 del vars, 5593 del conss, 474 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 52173 impls, 0 clqs
0.69/0.70	c (round 16) 3551 del vars, 5634 del conss, 481 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 52324 impls, 0 clqs
0.69/0.71	c (round 17) 3567 del vars, 5674 del conss, 487 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 52479 impls, 0 clqs
0.69/0.72	c (round 18) 3583 del vars, 5714 del conss, 493 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52636 impls, 0 clqs
0.69/0.73	c (round 19) 3599 del vars, 5754 del conss, 499 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 52911 impls, 0 clqs
0.69/0.74	c (round 20) 3615 del vars, 5794 del conss, 505 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 53110 impls, 0 clqs
0.69/0.76	c (round 21) 3631 del vars, 5834 del conss, 511 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 53307 impls, 0 clqs
0.69/0.77	c (round 22) 3647 del vars, 5874 del conss, 517 chg bounds, 60 chg sides, 120 chg coeffs, 0 upgd conss, 53532 impls, 0 clqs
0.69/0.78	c (round 23) 3656 del vars, 5909 del conss, 525 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 53572 impls, 0 clqs
0.69/0.79	c (round 24) 3672 del vars, 5943 del conss, 535 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 53659 impls, 0 clqs
0.79/0.80	c (round 25) 3687 del vars, 5985 del conss, 544 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 53754 impls, 0 clqs
0.79/0.81	c (round 26) 3703 del vars, 6026 del conss, 554 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 53865 impls, 0 clqs
0.79/0.82	c (round 27) 3718 del vars, 6064 del conss, 563 chg bounds, 68 chg sides, 136 chg coeffs, 0 upgd conss, 53990 impls, 0 clqs
0.79/0.83	c (round 28) 3734 del vars, 6105 del conss, 574 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 54089 impls, 0 clqs
0.79/0.84	c (round 29) 3751 del vars, 6147 del conss, 587 chg bounds, 73 chg sides, 146 chg coeffs, 0 upgd conss, 54185 impls, 0 clqs
0.79/0.85	c (round 30) 3763 del vars, 6182 del conss, 597 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 54281 impls, 0 clqs
0.79/0.86	c (round 31) 3778 del vars, 6217 del conss, 608 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 54327 impls, 0 clqs
0.79/0.87	c (round 32) 3793 del vars, 6255 del conss, 619 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 54408 impls, 0 clqs
0.79/0.88	c (round 33) 3806 del vars, 6293 del conss, 629 chg bounds, 85 chg sides, 168 chg coeffs, 0 upgd conss, 54466 impls, 0 clqs
0.79/0.89	c (round 34) 3824 del vars, 6329 del conss, 640 chg bounds, 86 chg sides, 170 chg coeffs, 0 upgd conss, 54583 impls, 0 clqs
0.89/0.90	c (round 35) 3839 del vars, 6373 del conss, 653 chg bounds, 89 chg sides, 176 chg coeffs, 0 upgd conss, 54645 impls, 0 clqs
0.89/0.91	c (round 36) 3854 del vars, 6410 del conss, 664 chg bounds, 94 chg sides, 186 chg coeffs, 0 upgd conss, 54707 impls, 0 clqs
0.89/0.92	c (round 37) 3874 del vars, 6448 del conss, 678 chg bounds, 96 chg sides, 190 chg coeffs, 0 upgd conss, 54833 impls, 0 clqs
0.89/0.93	c (round 38) 3888 del vars, 6496 del conss, 688 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54911 impls, 0 clqs
0.89/0.94	c (round 39) 3904 del vars, 6525 del conss, 698 chg bounds, 98 chg sides, 194 chg coeffs, 0 upgd conss, 54999 impls, 0 clqs
0.89/0.96	c (round 40) 3921 del vars, 6573 del conss, 713 chg bounds, 101 chg sides, 200 chg coeffs, 0 upgd conss, 55058 impls, 0 clqs
0.89/0.97	c (round 41) 3936 del vars, 6612 del conss, 725 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 55109 impls, 0 clqs
0.89/0.98	c (round 42) 3950 del vars, 6649 del conss, 737 chg bounds, 106 chg sides, 210 chg coeffs, 0 upgd conss, 55175 impls, 0 clqs
0.89/0.99	c (round 43) 3968 del vars, 6690 del conss, 752 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 55228 impls, 0 clqs
0.89/1.00	c (round 44) 3983 del vars, 6724 del conss, 765 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55305 impls, 0 clqs
0.99/1.00	c (round 45) 3989 del vars, 6755 del conss, 771 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 55323 impls, 0 clqs
0.99/1.01	c (round 46) 4008 del vars, 6785 del conss, 785 chg bounds, 110 chg sides, 218 chg coeffs, 0 upgd conss, 55400 impls, 0 clqs
0.99/1.02	c (round 47) 4024 del vars, 6822 del conss, 795 chg bounds, 112 chg sides, 222 chg coeffs, 0 upgd conss, 55506 impls, 0 clqs
0.99/1.03	c (round 48) 4038 del vars, 6865 del conss, 808 chg bounds, 117 chg sides, 232 chg coeffs, 0 upgd conss, 55597 impls, 0 clqs
0.99/1.04	c (round 49) 4053 del vars, 6911 del conss, 821 chg bounds, 122 chg sides, 242 chg coeffs, 0 upgd conss, 55684 impls, 0 clqs
0.99/1.05	c (round 50) 4067 del vars, 6946 del conss, 832 chg bounds, 124 chg sides, 246 chg coeffs, 0 upgd conss, 55751 impls, 0 clqs
0.99/1.06	c (round 51) 4084 del vars, 6979 del conss, 845 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 55829 impls, 0 clqs
0.99/1.07	c (round 52) 4101 del vars, 7019 del conss, 857 chg bounds, 131 chg sides, 260 chg coeffs, 0 upgd conss, 55932 impls, 0 clqs
0.99/1.09	c (round 53) 4115 del vars, 7062 del conss, 869 chg bounds, 135 chg sides, 267 chg coeffs, 0 upgd conss, 56002 impls, 0 clqs
0.99/1.09	c (round 54) 4123 del vars, 7095 del conss, 881 chg bounds, 139 chg sides, 275 chg coeffs, 0 upgd conss, 56089 impls, 0 clqs
1.09/1.10	c (round 55) 4141 del vars, 7137 del conss, 895 chg bounds, 141 chg sides, 279 chg coeffs, 0 upgd conss, 56134 impls, 0 clqs
1.09/1.11	c (round 56) 4157 del vars, 7175 del conss, 912 chg bounds, 147 chg sides, 291 chg coeffs, 0 upgd conss, 56163 impls, 0 clqs
1.09/1.12	c (round 57) 4173 del vars, 7214 del conss, 927 chg bounds, 150 chg sides, 297 chg coeffs, 0 upgd conss, 56200 impls, 0 clqs
1.09/1.13	c (round 58) 4187 del vars, 7250 del conss, 939 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56236 impls, 0 clqs
1.09/1.14	c (round 59) 4208 del vars, 7276 del conss, 951 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56396 impls, 0 clqs
1.09/1.15	c (round 60) 4217 del vars, 7327 del conss, 960 chg bounds, 154 chg sides, 305 chg coeffs, 0 upgd conss, 56448 impls, 0 clqs
1.09/1.16	c (round 61) 4223 del vars, 7346 del conss, 969 chg bounds, 157 chg sides, 311 chg coeffs, 0 upgd conss, 56474 impls, 0 clqs
1.09/1.17	c (round 62) 4234 del vars, 7370 del conss, 978 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56507 impls, 0 clqs
1.09/1.18	c (round 63) 4239 del vars, 7384 del conss, 982 chg bounds, 159 chg sides, 315 chg coeffs, 0 upgd conss, 56523 impls, 0 clqs
1.09/1.19	c (round 64) 4245 del vars, 7399 del conss, 989 chg bounds, 160 chg sides, 317 chg coeffs, 0 upgd conss, 56542 impls, 0 clqs
1.09/1.20	c (round 65) 4253 del vars, 7417 del conss, 996 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56567 impls, 0 clqs
1.19/1.20	c (round 66) 4257 del vars, 7430 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56623 impls, 0 clqs
1.19/1.21	c (round 67) 4257 del vars, 7431 del conss, 1000 chg bounds, 162 chg sides, 321 chg coeffs, 0 upgd conss, 56643 impls, 0 clqs
1.29/1.34	c (round 68) 4257 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 56643 impls, 0 clqs
1.49/1.54	c (round 69) 4307 del vars, 7440 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110535 impls, 0 clqs
1.49/1.55	c (round 70) 4308 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110593 impls, 0 clqs
1.49/1.58	c (round 71) 4310 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 110649 impls, 0 clqs
1.69/1.77	c (round 72) 4360 del vars, 7446 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.79/1.81	c (round 73) 4360 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 113939 impls, 0 clqs
1.89/1.94	c (round 74) 4410 del vars, 7448 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.89/1.97	c (round 75) 4410 del vars, 7452 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.00	c (round 76) 4410 del vars, 7455 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
1.99/2.07	c (round 77) 4410 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 114905 impls, 0 clqs
2.10/2.18	c    (1.5s) probing: 834/2095 (39.8%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.10/2.18	c    (1.5s) probing aborted: 100/100 successive totally useless probings
2.10/2.19	c (round 78) 4444 del vars, 7465 del conss, 1000 chg bounds, 171 chg sides, 321 chg coeffs, 5989 upgd conss, 115321 impls, 0 clqs
2.19/2.21	c    (1.6s) probing: 844/2095 (40.3%) - 1 fixings, 183 aggregations, 5531 implications, 0 bound changes
2.19/2.21	c    (1.6s) probing aborted: 100/100 successive totally useless probings
2.19/2.21	c presolving (79 rounds):
2.19/2.21	c  4444 deleted vars, 7465 deleted constraints, 1000 tightened bounds, 0 added holes, 171 changed sides, 321 changed coefficients
2.19/2.21	c  115321 implications, 0 cliques
2.19/2.21	c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5964 constraints
2.19/2.21	c    5964 constraints of type <logicor>
2.19/2.21	c transformed objective value is always integral (scale: 1)
2.19/2.21	c Presolving Time: 1.52
2.19/2.21	c - non default parameters ----------------------------------------------------------------------
2.19/2.21	c # SCIP version 1.2.1.2
2.19/2.21	c 
2.19/2.21	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.19/2.21	c # [type: int, range: [-1,2147483647], default: -1]
2.19/2.21	c conflict/interconss = 0
2.19/2.21	c 
2.19/2.21	c # should binary conflicts be preferred?
2.19/2.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.21	c conflict/preferbinary = TRUE
2.19/2.21	c 
2.19/2.21	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.19/2.21	c # [type: int, range: [-1,2147483647], default: 0]
2.19/2.21	c constraints/agelimit = 1
2.19/2.21	c 
2.19/2.21	c # should enforcement of pseudo solution be disabled?
2.19/2.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.21	c constraints/disableenfops = TRUE
2.19/2.21	c 
2.19/2.21	c # frequency for displaying node information lines
2.19/2.21	c # [type: int, range: [-1,2147483647], default: 100]
2.19/2.21	c display/freq = 10000
2.19/2.21	c 
2.19/2.21	c # maximal time in seconds to run
2.19/2.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.21	c limits/time = 1799.75
2.19/2.21	c 
2.19/2.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.19/2.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.19/2.21	c limits/memory = 1620
2.19/2.21	c 
2.19/2.21	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.19/2.21	c # [type: int, range: [-1,2147483647], default: 1]
2.19/2.21	c lp/solvefreq = 0
2.19/2.21	c 
2.19/2.21	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.19/2.21	c # [type: char, range: {lafpsqd}, default: l]
2.19/2.21	c lp/pricing = a
2.19/2.21	c 
2.19/2.21	c # should presolving try to simplify inequalities
2.19/2.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.21	c constraints/linear/simplifyinequalities = TRUE
2.19/2.21	c 
2.19/2.21	c # should presolving try to simplify knapsacks
2.19/2.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.19/2.21	c constraints/knapsack/simplifyinequalities = TRUE
2.19/2.21	c 
2.19/2.21	c # priority of node selection rule <dfs> in standard mode
2.19/2.21	c # [type: int, range: [-536870912,536870911], default: 0]
2.19/2.21	c nodeselection/dfs/stdpriority = 1000000
2.19/2.21	c 
2.19/2.21	c -----------------------------------------------------------------------------------------------
2.19/2.21	c start solving
2.19/2.21	c 
2.39/2.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.39/2.48	c   1.8s|     1 |     0 |  1797 |     - |  22M|   0 |1203 |1908 |5964 |1908 |5777 |   0 |   0 |   0 | 2.811119e+03 |      --      |    Inf 
3.39/3.42	c   2.7s|     1 |     0 |  2790 |     - |  23M|   0 |1217 |1908 |5964 |1908 |7600 |1823 |   0 |   0 | 2.842969e+03 |      --      |    Inf 
4.89/4.95	c   4.2s|     1 |     0 |  4739 |     - |  23M|   0 |1187 |1908 |5964 |1908 |7642 |1865 |   0 |   0 | 2.868380e+03 |      --      |    Inf 
5.50/5.56	c   4.8s|     1 |     0 |  5193 |     - |  24M|   0 |1198 |1908 |5964 |1908 |7676 |1899 |   0 |   0 | 2.873824e+03 |      --      |    Inf 
6.19/6.25	c   5.5s|     1 |     0 |  5834 |     - |  25M|   0 |1198 |1908 |5964 |1908 |7718 |1941 |   0 |   0 | 2.884545e+03 |      --      |    Inf 
7.08/7.19	c   6.5s|     1 |     0 |  6387 |     - |  26M|   0 |1205 |1908 |5964 |1908 |7764 |1987 |   0 |   0 | 2.896997e+03 |      --      |    Inf 
7.89/7.99	c   7.2s|     1 |     0 |  7130 |     - |  26M|   0 |1214 |1908 |5964 |1908 |7808 |2031 |   0 |   0 | 2.906997e+03 |      --      |    Inf 
8.89/8.98	c   8.2s|     1 |     0 |  8006 |     - |  27M|   0 |1219 |1908 |5964 |1908 |7865 |2088 |   0 |   0 | 2.920091e+03 |      --      |    Inf 
9.90/9.94	c   9.2s|     1 |     0 |  8710 |     - |  28M|   0 |1227 |1908 |5964 |1908 |7918 |2141 |   0 |   0 | 2.928025e+03 |      --      |    Inf 
10.79/10.89	c  10.1s|     1 |     0 |  9566 |     - |  29M|   0 |1226 |1908 |5964 |1908 |7959 |2182 |   0 |   0 | 2.933370e+03 |      --      |    Inf 
11.99/12.02	c  11.2s|     1 |     0 | 10674 |     - |  29M|   0 |1232 |1908 |5964 |1908 |8013 |2236 |   0 |   0 | 2.943059e+03 |      --      |    Inf 
13.09/13.12	c  12.3s|     1 |     0 | 11543 |     - |  30M|   0 |1265 |1908 |5964 |1908 |6390 |2282 |   0 |   0 | 2.947267e+03 |      --      |    Inf 
13.79/13.83	c  13.0s|     1 |     0 | 12121 |     - |  31M|   0 |1275 |1908 |5964 |1908 |6440 |2332 |   0 |   0 | 2.953372e+03 |      --      |    Inf 
14.69/14.71	c  13.9s|     1 |     0 | 13091 |     - |  32M|   0 |1276 |1908 |5964 |1908 |6491 |2383 |   0 |   0 | 2.962694e+03 |      --      |    Inf 
15.39/15.45	c  14.6s|     1 |     0 | 13815 |     - |  33M|   0 |1315 |1908 |5964 |1908 |6551 |2443 |   0 |   0 | 2.973581e+03 |      --      |    Inf 
16.29/16.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.29/16.37	c  15.5s|     1 |     0 | 14589 |     - |  34M|   0 |1299 |1908 |5964 |1908 |6610 |2502 |   0 |   0 | 2.983125e+03 |      --      |    Inf 
17.50/17.57	c  16.7s|     1 |     0 | 15707 |     - |  35M|   0 |1277 |1908 |5964 |1908 |6668 |2560 |   0 |   0 | 2.991756e+03 |      --      |    Inf 
18.28/18.37	c  17.4s|     1 |     0 | 16482 |     - |  35M|   0 |1321 |1908 |5964 |1908 |6491 |2619 |   0 |   0 | 3.001116e+03 |      --      |    Inf 
19.08/19.12	c  18.2s|     1 |     0 | 17257 |     - |  36M|   0 |1307 |1908 |5964 |1908 |6552 |2680 |   0 |   0 | 3.010333e+03 |      --      |    Inf 
19.69/19.80	c  18.9s|     1 |     0 | 17988 |     - |  37M|   0 |1331 |1908 |5964 |1908 |6606 |2734 |   0 |   0 | 3.018972e+03 |      --      |    Inf 
20.48/20.55	c  19.6s|     1 |     0 | 18885 |     - |  38M|   0 |1426 |1908 |5964 |1908 |6665 |2793 |   0 |   0 | 3.024201e+03 |      --      |    Inf 
21.49/21.53	c  20.6s|     1 |     0 | 19861 |     - |  39M|   0 |1436 |1908 |5964 |1908 |6723 |2851 |   0 |   0 | 3.028862e+03 |      --      |    Inf 
22.38/22.46	c  21.5s|     1 |     0 | 20846 |     - |  39M|   0 |1470 |1908 |5964 |1908 |6766 |2894 |   0 |   0 | 3.032234e+03 |      --      |    Inf 
23.39/23.48	c  22.5s|     1 |     0 | 21869 |     - |  40M|   0 |1413 |1908 |5964 |1908 |6590 |2950 |   0 |   0 | 3.038646e+03 |      --      |    Inf 
24.28/24.32	c  23.3s|     1 |     0 | 22935 |     - |  40M|   0 |1491 |1908 |5964 |1908 |6646 |3006 |   0 |   0 | 3.045647e+03 |      --      |    Inf 
25.19/25.27	c  24.2s|     1 |     0 | 24090 |     - |  41M|   0 |1551 |1908 |5964 |1908 |6706 |3066 |   0 |   0 | 3.054530e+03 |      --      |    Inf 
25.98/26.09	c  25.1s|     1 |     0 | 25125 |     - |  41M|   0 |1552 |1908 |5964 |1908 |6765 |3125 |   0 |   0 | 3.061088e+03 |      --      |    Inf 
26.79/26.86	c  25.8s|     1 |     0 | 26017 |     - |  42M|   0 |1585 |1908 |5964 |1908 |6810 |3170 |   0 |   0 | 3.065370e+03 |      --      |    Inf 
27.89/27.99	c  26.9s|     1 |     0 | 27159 |     - |  42M|   0 |1570 |1908 |5964 |1908 |6861 |3221 |   0 |   0 | 3.072654e+03 |      --      |    Inf 
29.08/29.11	c  28.0s|     1 |     0 | 28492 |     - |  42M|   0 |1614 |1908 |5964 |1908 |6627 |3264 |   0 |   0 | 3.077419e+03 |      --      |    Inf 
29.78/29.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.78/29.87	c  28.8s|     1 |     0 | 29353 |     - |  43M|   0 |1630 |1908 |5964 |1908 |6667 |3304 |   0 |   0 | 3.080461e+03 |      --      |    Inf 
30.79/30.80	c  29.7s|     1 |     0 | 30088 |     - |  43M|   0 |1646 |1908 |5964 |1908 |6709 |3346 |   0 |   0 | 3.084358e+03 |      --      |    Inf 
31.48/31.55	c  30.4s|     1 |     0 | 30751 |     - |  43M|   0 |1653 |1908 |5964 |1908 |6743 |3380 |   0 |   0 | 3.087398e+03 |      --      |    Inf 
32.68/32.72	c  31.6s|     1 |     0 | 31688 |     - |  44M|   0 |1671 |1908 |5964 |1908 |6783 |3420 |   0 |   0 | 3.089924e+03 |      --      |    Inf 
33.78/33.88	c  32.7s|     1 |     0 | 32612 |     - |  44M|   0 |1688 |1908 |5964 |1908 |6817 |3454 |   0 |   0 | 3.091940e+03 |      --      |    Inf 
35.28/35.32	c  34.1s|     1 |     0 | 33253 |     - |  44M|   0 |1667 |1908 |5964 |1908 |6575 |3473 |   0 |   0 | 3.094591e+03 |      --      |    Inf 
36.78/36.86	c  35.7s|     1 |     0 | 33878 |     - |  44M|   0 |1691 |1908 |5964 |1908 |6598 |3496 |   0 |   0 | 3.097392e+03 |      --      |    Inf 
38.27/38.35	c  37.1s|     1 |     0 | 34853 |     - |  45M|   0 |1672 |1908 |5964 |1908 |6618 |3516 |   0 |   0 | 3.099235e+03 |      --      |    Inf 
39.78/39.87	c  38.7s|     1 |     0 | 35234 |     - |  45M|   0 |1660 |1908 |5964 |1908 |6640 |3538 |   0 |   0 | 3.099874e+03 |      --      |    Inf 
41.07/41.18	c  40.0s|     1 |     0 | 35523 |     - |  45M|   0 |1666 |1908 |5964 |1908 |6657 |3555 |   0 |   0 | 3.100586e+03 |      --      |    Inf 
42.37/42.46	c  41.2s|     1 |     0 | 35659 |     - |  45M|   0 |1670 |1908 |5964 |1908 |6662 |3560 |   0 |   0 | 3.101059e+03 |      --      |    Inf 
43.78/43.83	c  42.6s|     1 |     0 | 35810 |     - |  45M|   0 |1672 |1908 |5964 |1908 |6444 |3565 |   0 |   0 | 3.101270e+03 |      --      |    Inf 
45.18/45.27	c  44.0s|     1 |     0 | 36287 |     - |  45M|   0 |1686 |1908 |5964 |1908 |6449 |3570 |   0 |   0 | 3.102111e+03 |      --      |    Inf 
46.58/46.60	c  45.3s|     1 |     0 | 36666 |     - |  45M|   0 |1649 |1908 |5964 |1908 |6463 |3584 |   0 |   0 | 3.102388e+03 |      --      |    Inf 
47.47/47.51	c  46.2s|     1 |     0 | 37266 |     - |  46M|   0 |1665 |1908 |5964 |1908 |6474 |3595 |   0 |   0 | 3.103166e+03 |      --      |    Inf 
48.87/48.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.87/48.93	c  47.6s|     1 |     0 | 37641 |     - |  46M|   0 |1651 |1908 |5964 |1908 |6489 |3610 |   0 |   0 | 3.103852e+03 |      --      |    Inf 
49.87/49.91	c  48.6s|     1 |     0 | 38134 |     - |  46M|   0 |1653 |1908 |5964 |1908 |6508 |3629 |   0 |   0 | 3.104895e+03 |      --      |    Inf 
51.18/51.29	c  50.0s|     1 |     0 | 39666 |     - |  46M|   0 |1638 |1908 |5964 |1908 |6371 |3662 |   0 |   0 | 3.107419e+03 |      --      |    Inf 
52.68/52.72	c  51.4s|     1 |     0 | 40649 |     - |  47M|   0 |1659 |1908 |5964 |1908 |6393 |3684 |   0 |   0 | 3.108403e+03 |      --      |    Inf 
53.97/54.06	c  52.7s|     1 |     0 | 41347 |     - |  47M|   0 |1657 |1908 |5964 |1908 |6419 |3710 |   0 |   0 | 3.108860e+03 |      --      |    Inf 
55.67/55.74	c  54.4s|     1 |     0 | 42174 |     - |  47M|   0 |1630 |1908 |5964 |1908 |6441 |3732 |   0 |   0 | 3.109736e+03 |      --      |    Inf 
56.98/57.09	c  55.7s|     1 |     0 | 43055 |     - |  47M|   0 |1648 |1908 |5964 |1908 |6473 |3764 |   0 |   0 | 3.110303e+03 |      --      |    Inf 
58.57/58.69	c  57.3s|     1 |     0 | 43671 |     - |  47M|   0 |1655 |1908 |5964 |1908 |6490 |3781 |   0 |   0 | 3.110690e+03 |      --      |    Inf 
60.37/60.47	c  59.1s|     1 |     0 | 44815 |     - |  47M|   0 |1646 |1908 |5964 |1908 |6430 |3799 |   0 |   0 | 3.111482e+03 |      --      |    Inf 
61.87/61.95	c  60.5s|     1 |     0 | 45569 |     - |  47M|   0 |1638 |1908 |5964 |1908 |6463 |3832 |   0 |   0 | 3.112535e+03 |      --      |    Inf 
62.97/63.04	c  61.6s|     1 |     0 | 46233 |     - |  48M|   0 |1660 |1908 |5964 |1908 |6493 |3862 |   0 |   0 | 3.113536e+03 |      --      |    Inf 
64.07/64.11	c  62.7s|     1 |     0 | 46868 |     - |  48M|   0 |1644 |1908 |5964 |1908 |6518 |3887 |   0 |   0 | 3.113889e+03 |      --      |    Inf 
65.37/65.49	c  64.0s|     1 |     0 | 47633 |     - |  48M|   0 |1611 |1908 |5964 |1908 |6545 |3914 |   0 |   0 | 3.114789e+03 |      --      |    Inf 
66.37/66.44	c  65.0s|     1 |     0 | 48098 |     - |  49M|   0 |1603 |1908 |5964 |1908 |6564 |3933 |   0 |   0 | 3.114958e+03 |      --      |    Inf 
67.87/67.95	c  66.5s|     1 |     0 | 48792 |     - |  49M|   0 |1642 |1908 |5964 |1908 |6466 |3948 |   0 |   0 | 3.115404e+03 |      --      |    Inf 
69.37/69.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.37/69.40	c  67.9s|     1 |     0 | 49277 |     - |  49M|   0 |1621 |1908 |5964 |1908 |6475 |3957 |   0 |   0 | 3.115518e+03 |      --      |    Inf 
70.47/70.57	c  69.0s|     1 |     0 | 49645 |     - |  49M|   0 |1625 |1908 |5964 |1908 |6492 |3974 |   0 |   0 | 3.115556e+03 |      --      |    Inf 
72.07/72.14	c  70.6s|     1 |     0 | 50372 |     - |  49M|   0 |1638 |1908 |5964 |1908 |6514 |3996 |   0 |   0 | 3.116503e+03 |      --      |    Inf 
73.47/73.56	c  72.0s|     1 |     0 | 50825 |     - |  49M|   0 |1615 |1908 |5964 |1908 |6538 |4020 |   0 |   0 | 3.117529e+03 |      --      |    Inf 
75.06/75.14	c  73.6s|     1 |     0 | 51338 |     - |  49M|   0 |1626 |1908 |5964 |1908 |6549 |4031 |   0 |   0 | 3.117732e+03 |      --      |    Inf 
76.36/76.49	c  74.9s|     1 |     0 | 51663 |     - |  49M|   0 |1614 |1908 |5964 |1908 |6441 |4046 |   0 |   0 | 3.117889e+03 |      --      |    Inf 
77.76/77.87	c  76.3s|     1 |     0 | 52117 |     - |  49M|   0 |1641 |1908 |5964 |1908 |6449 |4054 |   0 |   0 | 3.118097e+03 |      --      |    Inf 
79.27/79.31	c  77.7s|     1 |     0 | 52644 |     - |  49M|   0 |1657 |1908 |5964 |1908 |6461 |4066 |   0 |   0 | 3.118525e+03 |      --      |    Inf 
80.47/80.57	c  79.0s|     1 |     0 | 53095 |     - |  49M|   0 |1672 |1908 |5964 |1908 |6481 |4086 |   0 |   0 | 3.118822e+03 |      --      |    Inf 
81.67/81.78	c  80.2s|     1 |     0 | 53377 |     - |  50M|   0 |1655 |1908 |5964 |1908 |6490 |4095 |   0 |   0 | 3.119005e+03 |      --      |    Inf 
82.96/83.02	c  81.4s|     1 |     0 | 53738 |     - |  50M|   0 |1586 |1908 |5964 |1908 |6506 |4111 |   0 |   0 | 3.119452e+03 |      --      |    Inf 
84.06/84.17	c  82.5s|     1 |     0 | 54052 |     - |  50M|   0 |1582 |1908 |5964 |1908 |6425 |4118 |   0 |   0 | 3.119556e+03 |      --      |    Inf 
85.26/85.35	c  83.7s|     1 |     0 | 54463 |     - |  50M|   0 |1571 |1908 |5964 |1908 |6437 |4130 |   0 |   0 | 3.119966e+03 |      --      |    Inf 
86.26/86.35	c  84.7s|     1 |     0 | 54547 |     - |  50M|   0 |1591 |1908 |5964 |1908 |6449 |4142 |   0 |   0 | 3.120280e+03 |      --      |    Inf 
87.36/87.49	c  85.8s|     1 |     0 | 54696 |     - |  50M|   0 |1592 |1908 |5964 |1908 |6455 |4148 |   0 |   0 | 3.120620e+03 |      --      |    Inf 
88.56/88.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
88.56/88.66	c  87.0s|     1 |     0 | 55065 |     - |  50M|   0 |1599 |1908 |5964 |1908 |6463 |4156 |   0 |   0 | 3.120775e+03 |      --      |    Inf 
90.17/90.24	c  88.5s|     1 |     0 | 56001 |     - |  50M|   0 |1581 |1908 |5964 |1908 |6474 |4167 |   0 |   0 | 3.121413e+03 |      --      |    Inf 
91.46/91.55	c  89.8s|     1 |     0 | 56453 |     - |  50M|   0 |1572 |1908 |5964 |1908 |6423 |4189 |   0 |   0 | 3.122608e+03 |      --      |    Inf 
92.56/92.62	c  90.9s|     1 |     0 | 56837 |     - |  50M|   0 |1583 |1908 |5964 |1908 |6437 |4203 |   0 |   0 | 3.123328e+03 |      --      |    Inf 
93.66/93.80	c  92.1s|     1 |     0 | 57163 |     - |  51M|   0 |1566 |1908 |5964 |1908 |6456 |4222 |   0 |   0 | 3.123446e+03 |      --      |    Inf 
94.96/95.00	c  93.3s|     1 |     0 | 57432 |     - |  51M|   0 |1590 |1908 |5964 |1908 |6470 |4236 |   0 |   0 | 3.123449e+03 |      --      |    Inf 
95.95/96.09	c  94.3s|     1 |     0 | 57591 |     - |  51M|   0 |1593 |1908 |5964 |1908 |6475 |4241 |   0 |   0 | 3.123549e+03 |      --      |    Inf 
97.05/97.14	c  95.4s|     1 |     0 | 57760 |     - |  51M|   0 |1592 |1908 |5964 |1908 |6478 |4244 |   0 |   0 | 3.123652e+03 |      --      |    Inf 
98.16/98.29	c  96.5s|     1 |     0 | 57974 |     - |  51M|   0 |1597 |1908 |5964 |1908 |6431 |4249 |   0 |   0 | 3.123652e+03 |      --      |    Inf 
99.16/99.30	c  97.5s|     1 |     0 | 58062 |     - |  51M|   0 |1596 |1908 |5964 |1908 |6435 |4253 |   0 |   0 | 3.123679e+03 |      --      |    Inf 
100.36/100.45	c  98.7s|     1 |     0 | 58443 |     - |  51M|   0 |1616 |1908 |5964 |1908 |6437 |4255 |   0 |   0 | 3.123812e+03 |      --      |    Inf 
101.46/101.59	c  99.8s|     1 |     0 | 58507 |     - |  51M|   0 |1603 |1908 |5964 |1908 |6448 |4266 |   0 |   0 | 3.123812e+03 |      --      |    Inf 
102.66/102.70	c   101s|     1 |     0 | 58673 |     - |  51M|   0 |1614 |1908 |5964 |1908 |6450 |4268 |   0 |   0 | 3.123839e+03 |      --      |    Inf 
103.86/103.91	c   102s|     1 |     0 | 58956 |     - |  51M|   0 |1612 |1908 |5964 |1908 |6458 |4276 |   0 |   0 | 3.124189e+03 |      --      |    Inf 
105.26/105.38	c   104s|     1 |     0 | 59207 |     - |  51M|   0 |1593 |1908 |5964 |1908 |6388 |4281 |   0 |   0 | 3.124840e+03 |      --      |    Inf 
106.56/106.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.56/106.61	c   105s|     1 |     0 | 59485 |     - |  52M|   0 |1617 |1908 |5964 |1908 |6394 |4287 |   0 |   0 | 3.124902e+03 |      --      |    Inf 
107.85/107.91	c   106s|     1 |     0 | 59818 |     - |  52M|   0 |1617 |1908 |5964 |1908 |6403 |4296 |   0 |   0 | 3.125256e+03 |      --      |    Inf 
108.96/109.00	c   107s|     1 |     0 | 59931 |     - |  52M|   0 |1649 |1908 |5964 |1908 |6408 |4301 |   0 |   0 | 3.125272e+03 |      --      |    Inf 
110.05/110.12	c   108s|     1 |     0 | 60151 |     - |  52M|   0 |1640 |1908 |5964 |1908 |6410 |4303 |   0 |   0 | 3.125488e+03 |      --      |    Inf 
111.35/111.40	c   110s|     1 |     0 | 60520 |     - |  52M|   0 |1623 |1908 |5964 |1908 |6421 |4314 |   0 |   0 | 3.125535e+03 |      --      |    Inf 
112.75/112.89	c   111s|     1 |     0 | 60931 |     - |  52M|   0 |1610 |1908 |5964 |1908 |6400 |4319 |   0 |   0 | 3.125565e+03 |      --      |    Inf 
114.26/114.37	c   112s|     1 |     0 | 61346 |     - |  52M|   0 |1616 |1908 |5964 |1908 |6405 |4324 |   0 |   0 | 3.125645e+03 |      --      |    Inf 
115.65/115.79	c   114s|     1 |     0 | 61836 |     - |  52M|   0 |1626 |1908 |5964 |1908 |6412 |4331 |   0 |   0 | 3.125926e+03 |      --      |    Inf 
116.95/117.08	c   115s|     1 |     0 | 62294 |     - |  52M|   0 |1619 |1908 |5964 |1908 |6420 |4339 |   0 |   0 | 3.126707e+03 |      --      |    Inf 
118.25/118.32	c   116s|     1 |     0 | 62557 |     - |  52M|   0 |1613 |1908 |5964 |1908 |6428 |4347 |   0 |   0 | 3.126884e+03 |      --      |    Inf 
119.25/119.33	c   117s|     1 |     0 | 62632 |     - |  52M|   0 |1616 |1908 |5964 |1908 |6432 |4351 |   0 |   0 | 3.127160e+03 |      --      |    Inf 
120.35/120.42	c   118s|     1 |     0 | 62777 |     - |  52M|   0 |1620 |1908 |5964 |1908 |6408 |4356 |   0 |   0 | 3.127187e+03 |      --      |    Inf 
121.45/121.51	c   120s|     1 |     0 | 62852 |     - |  52M|   0 |1606 |1908 |5964 |1908 |6412 |4360 |   0 |   0 | 3.127187e+03 |      --      |    Inf 
122.55/122.65	c   121s|     1 |     0 | 63032 |     - |  52M|   0 |1606 |1908 |5964 |1908 |6417 |4365 |   0 |   0 | 3.127209e+03 |      --      |    Inf 
123.64/123.74	c   122s|     1 |     0 | 63204 |     - |  51M|   0 |1599 |1908 |5964 |1908 |6424 |4372 |   0 |   0 | 3.127261e+03 |      --      |    Inf 
124.65/124.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
124.65/124.77	c   123s|     1 |     0 | 63361 |     - |  50M|   0 |1614 |1908 |5964 |1908 |6432 |4380 |   0 |   0 | 3.127261e+03 |      --      |    Inf 
126.05/126.15	c   124s|     1 |     0 | 63904 |     - |  50M|   0 |1584 |1908 |5964 |1908 |6436 |4384 |   0 |   0 | 3.127581e+03 |      --      |    Inf 
127.14/127.27	c   125s|     1 |     0 | 64012 |     - |  49M|   0 |1588 |1908 |5964 |1908 |6419 |4394 |   0 |   0 | 3.127595e+03 |      --      |    Inf 
128.45/128.59	c   127s|     1 |     0 | 64332 |     - |  48M|   0 |1583 |1908 |5964 |1908 |6424 |4399 |   0 |   0 | 3.127659e+03 |      --      |    Inf 
129.76/129.82	c   128s|     1 |     0 | 64773 |     - |  48M|   0 |1577 |1908 |5964 |1908 |6430 |4405 |   0 |   0 | 3.128127e+03 |      --      |    Inf 
130.75/130.88	c   129s|     1 |     0 | 64998 |     - |  48M|   0 |1583 |1908 |5964 |1908 |6445 |4420 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
132.05/132.18	c   130s|     1 |     0 | 65062 |     - |  47M|   0 |1572 |1908 |5964 |1908 |6448 |4423 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
133.35/133.49	c   131s|     1 |     0 | 65405 |     - |  46M|   0 |1589 |1908 |5964 |1908 |6452 |4427 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
134.94/135.09	c   133s|     1 |     0 | 65473 |     - |  45M|   0 |1590 |1908 |5964 |1908 |6422 |4431 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
136.35/136.46	c   134s|     1 |     0 | 65554 |     - |  44M|   0 |1589 |1908 |5964 |1908 |6424 |4433 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
137.64/137.75	c   136s|     1 |     0 | 65769 |     - |  44M|   0 |1589 |1908 |5964 |1908 |6429 |4438 |   0 |   0 | 3.128627e+03 |      --      |    Inf 
139.74/139.81	c   138s|     1 |     2 | 65769 |     - |  44M|   0 |1589 |1908 |5964 |1908 |6429 |4438 |   0 |  24 | 3.128627e+03 |      --      |    Inf 
175.84/175.91	c   173s| 10000 |    47 | 65769 |   0.0 |  44M|  75 |   - |1908 |6007 |   0 |   0 |4438 |6651 |  24 | 3.128627e+03 |      --      |    Inf 
214.42/214.54	c   210s| 20000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6012 |   0 |   0 |4438 |  13k|  24 | 3.128627e+03 |      --      |    Inf 
264.10/264.29	c   258s| 30000 |    45 | 65769 |   0.0 |  44M|  75 |   - |1908 |6007 |   0 |   0 |4438 |  21k|  24 | 3.128627e+03 |      --      |    Inf 
313.29/313.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
313.29/313.45	c   306s| 40000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6075 |   0 |   0 |4438 |  30k|  24 | 3.128627e+03 |      --      |    Inf 
363.17/363.39	c   354s| 50000 |    44 | 65769 |   0.0 |  44M|  75 |   - |1908 |6049 |   0 |   0 |4438 |  39k|  24 | 3.128627e+03 |      --      |    Inf 
414.05/414.23	c   403s| 60000 |    42 | 65769 |   0.0 |  44M|  75 |   - |1908 |6057 |   0 |   0 |4438 |  48k|  24 | 3.128627e+03 |      --      |    Inf 
461.14/461.37	c   449s| 70000 |    42 | 65769 |   0.0 |  44M|  75 |   - |1908 |6088 |   0 |   0 |4438 |  55k|  24 | 3.128627e+03 |      --      |    Inf 
507.72/507.92	c   494s| 80000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6195 |   0 |   0 |4438 |  63k|  24 | 3.128627e+03 |      --      |    Inf 
550.40/550.65	c   536s| 90000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6112 |   0 |   0 |4438 |  71k|  24 | 3.128627e+03 |      --      |    Inf 
598.19/598.42	c   582s|100000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6121 |   0 |   0 |4438 |  78k|  24 | 3.128627e+03 |      --      |    Inf 
640.78/641.03	c   623s|110000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6116 |   0 |   0 |4438 |  86k|  24 | 3.128627e+03 |      --      |    Inf 
682.87/683.12	c   664s|120000 |    42 | 65769 |   0.0 |  44M|  75 |   - |1908 |6113 |   0 |   0 |4438 |  94k|  24 | 3.128627e+03 |      --      |    Inf 
726.24/726.54	c   706s|130000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6128 |   0 |   0 |4438 | 102k|  24 | 3.128627e+03 |      --      |    Inf 
771.43/771.72	c   750s|140000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6134 |   0 |   0 |4438 | 110k|  24 | 3.128627e+03 |      --      |    Inf 
815.32/815.65	c   793s|150000 |    40 | 65769 |   0.0 |  44M|  75 |   - |1908 |6151 |   0 |   0 |4438 | 118k|  24 | 3.128627e+03 |      --      |    Inf 
858.00/858.32	c   834s|160000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6151 |   0 |   0 |4438 | 126k|  24 | 3.128627e+03 |      --      |    Inf 
901.99/902.34	c   877s|170000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6156 |   0 |   0 |4438 | 134k|  24 | 3.128627e+03 |      --      |    Inf 
944.17/944.58	c   918s|180000 |    41 | 65769 |   0.0 |  44M|  75 |   - |1908 |6172 |   0 |   0 |4438 | 142k|  24 | 3.128627e+03 |      --      |    Inf 
987.26/987.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
987.26/987.60	c   960s|190000 |    43 | 65769 |   0.0 |  44M|  75 |   - |1908 |6472 |   0 |   0 |4438 | 151k|  24 | 3.128627e+03 |      --      |    Inf 
1030.44/1030.89	c  1002s|200000 |    44 | 65769 |   0.0 |  44M|  75 |   - |1908 |6401 |   0 |   0 |4438 | 159k|  24 | 3.128627e+03 |      --      |    Inf 
1073.62/1074.02	c  1044s|210000 |    42 | 65769 |   0.0 |  44M|  75 |   - |1908 |6434 |   0 |   0 |4438 | 166k|  24 | 3.128627e+03 |      --      |    Inf 
1114.41/1114.82	c  1083s|220000 |    44 | 65769 |   0.0 |  44M|  75 |   - |1908 |6448 |   0 |   0 |4438 | 174k|  24 | 3.128627e+03 |      --      |    Inf 
1157.10/1157.59	c  1125s|230000 |    40 | 65769 |   0.0 |  44M|  75 |   - |1908 |6524 |   0 |   0 |4438 | 182k|  24 | 3.128627e+03 |      --      |    Inf 
1198.69/1199.11	c  1165s|240000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6556 |   0 |   0 |4438 | 190k|  24 | 3.128627e+03 |      --      |    Inf 
1244.17/1244.60	c  1209s|250000 |    42 | 65769 |   0.0 |  44M|  75 |   - |1908 |6552 |   0 |   0 |4438 | 197k|  24 | 3.128627e+03 |      --      |    Inf 
1290.05/1290.51	c  1254s|260000 |    39 | 65769 |   0.0 |  44M|  75 |   - |1908 |6604 |   0 |   0 |4438 | 205k|  24 | 3.128627e+03 |      --      |    Inf 
1330.24/1330.76	c  1293s|270000 |    40 | 65769 |   0.0 |  45M|  75 |   - |1908 |6605 |   0 |   0 |4438 | 213k|  24 | 3.128627e+03 |      --      |    Inf 
1370.52/1371.08	c  1332s|280000 |    40 | 65769 |   0.0 |  45M|  75 |   - |1908 |6644 |   0 |   0 |4438 | 220k|  24 | 3.128627e+03 |      --      |    Inf 
1409.91/1410.44	c  1370s|290000 |    41 | 65769 |   0.0 |  45M|  75 |   - |1908 |6690 |   0 |   0 |4438 | 228k|  24 | 3.128627e+03 |      --      |    Inf 
1449.30/1449.81	c  1408s|300000 |    39 | 65769 |   0.0 |  45M|  75 |   - |1908 |6744 |   0 |   0 |4438 | 236k|  24 | 3.128627e+03 |      --      |    Inf 
1492.88/1493.46	c  1450s|310000 |    37 | 65769 |   0.0 |  45M|  75 |   - |1908 |6715 |   0 |   0 |4438 | 243k|  24 | 3.128627e+03 |      --      |    Inf 
1536.57/1537.15	c  1493s|320000 |    37 | 65769 |   0.0 |  45M|  75 |   - |1908 |6770 |   0 |   0 |4438 | 251k|  24 | 3.128627e+03 |      --      |    Inf 
1576.16/1576.78	c  1531s|330000 |    45 | 65769 |   0.0 |  45M|  75 |   - |1908 |6689 |   0 |   0 |4438 | 259k|  24 | 3.128627e+03 |      --      |    Inf 
1619.75/1620.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1619.75/1620.38	c  1573s|340000 |    39 | 65769 |   0.0 |  45M|  75 |   - |1908 |6753 |   0 |   0 |4438 | 266k|  24 | 3.128627e+03 |      --      |    Inf 
1661.54/1662.13	c  1614s|350000 |    41 | 65769 |   0.0 |  45M|  75 |   - |1908 |6727 |   0 |   0 |4438 | 273k|  24 | 3.128627e+03 |      --      |    Inf 
1705.42/1706.04	c  1656s|360000 |    39 | 65769 |   0.0 |  45M|  75 |   - |1908 |6733 |   0 |   0 |4438 | 280k|  24 | 3.128627e+03 |      --      |    Inf 
1749.09/1749.76	c  1698s|370000 |    39 | 65769 |   0.0 |  45M|  75 |   - |1908 |6759 |   0 |   0 |4438 | 288k|  24 | 3.128627e+03 |      --      |    Inf 
1794.78/1795.45	c  1743s|380000 |    41 | 65769 |   0.0 |  45M|  75 |   - |1908 |6757 |   0 |   0 |4438 | 295k|  24 | 3.128627e+03 |      --      |    Inf 
1800.09/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71	c 
1800.09/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.71	c Solving Time (sec) : 1747.76
1800.09/1800.71	c Solving Nodes      : 381184
1800.09/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.71	c Dual Bound         : +3.12862738804973e+03
1800.09/1800.71	c Gap                : infinite
1800.09/1800.71	s UNKNOWN
1800.09/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.71	c Solving Time       :    1747.76
1800.09/1800.71	c Original Problem   :
1800.09/1800.71	c   Problem name     : HOME/instance-2665428-1276455876.opb
1800.09/1800.71	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71	c   Constraints      : 13429 initial, 13429 maximal
1800.09/1800.71	c Presolved Problem  :
1800.09/1800.71	c   Problem name     : t_HOME/instance-2665428-1276455876.opb
1800.09/1800.71	c   Variables        : 1908 (1908 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71	c   Constraints      : 5964 initial, 6826 maximal
1800.09/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.71	c   trivial          :       0.04         35          0          0          0          0          0          0          0
1800.09/1800.71	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1800.09/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   implics          :       0.14          0       3209          0          0          0          0          0          0
1800.09/1800.71	c   probing          :       0.52          1        183          0          0          0          0          0          0
1800.09/1800.71	c   linear           :       0.44        965         51          0       1000          0       7440        171        321
1800.09/1800.71	c   logicor          :       0.28          0          0          0          0          0         25          0          0
1800.09/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.09/1800.71	c   logicor          :       5964+       115    9093832          0          0     261262   78224628          0          0          0
1800.09/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.71	c   integral         :       1.95       0.00       0.00       1.95       0.00
1800.09/1800.71	c   logicor          :     541.96       0.13     541.83       0.00       0.00
1800.09/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.71	c   vbounds          :       4.65          2          0          0
1800.09/1800.71	c   rootredcost      :       4.17          0          0          0
1800.09/1800.71	c   pseudoobj        :     554.83    9292069          0          0
1800.09/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.71	c   propagation      :      98.21     261261     261192     261192       29.3      35489       20.7          -
1800.09/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.71	c   applied globally :          -          -          -     296659       28.3          -          -          -
1800.09/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.71	c   cut pool         :       1.45        114          -          -       5687          -    (maximal pool size: 22221)
1800.09/1800.71	c   redcost          :       0.02        115          0          0          0          0
1800.09/1800.71	c   impliedbounds    :       0.17        115          0          0       3702          0
1800.09/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.09/1800.71	c   gomory           :      82.66        115          0          0      35595          0
1800.09/1800.71	c   strongcg         :       2.07         20          0          0      10000          0
1800.09/1800.71	c   cmir             :       0.65         10          0          0          0          0
1800.09/1800.71	c   flowcover        :       0.65         10          0          0          0          0
1800.09/1800.71	c   clique           :       0.25        114          0          0         49          0
1800.09/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.71	c   mcf              :       0.02          1          0          0          0          0
1800.09/1800.71	c   rapidlearning    :       0.00          0          0          0          0          0
1800.09/1800.71	c Pricers            :       Time      Calls       Vars
1800.09/1800.71	c   problem variables:       0.00          0          0
1800.09/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.71	c   relpscost        :       1.95          1          0          0          0          0          2
1800.09/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   inference        :      76.96     265008          0          0          0          0     530016
1800.09/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.71	c   LP solutions     :       0.00          -          0
1800.09/1800.71	c   pseudo solutions :       0.00          -          0
1800.09/1800.71	c   oneopt           :       0.18          0          0
1800.09/1800.71	c   crossover        :       0.00          0          0
1800.09/1800.71	c   trivial          :       0.02          2          0
1800.09/1800.71	c   simplerounding   :       0.00          0          0
1800.09/1800.71	c   zirounding       :       0.00          1          0
1800.09/1800.71	c   rounding         :       0.28        100          0
1800.09/1800.71	c   shifting         :       1.52        100          0
1800.09/1800.71	c   intshifting      :       0.00          0          0
1800.09/1800.71	c   twoopt           :       0.00          0          0
1800.09/1800.71	c   fixandinfer      :       0.00          0          0
1800.09/1800.71	c   feaspump         :       0.07          1          0
1800.09/1800.71	c   coefdiving       :       0.00          0          0
1800.09/1800.71	c   pscostdiving     :       0.00          0          0
1800.09/1800.71	c   fracdiving       :       0.00          0          0
1800.09/1800.71	c   veclendiving     :       0.00          0          0
1800.09/1800.71	c   intdiving        :       0.00          0          0
1800.09/1800.71	c   actconsdiving    :       0.00          0          0
1800.09/1800.71	c   objpscostdiving  :       0.00          0          0
1800.09/1800.71	c   rootsoldiving    :       0.00          0          0
1800.09/1800.71	c   linesearchdiving :       0.00          0          0
1800.09/1800.71	c   guideddiving     :       0.00          0          0
1800.09/1800.71	c   octane           :       0.00          0          0
1800.09/1800.71	c   rens             :       0.01          0          0
1800.09/1800.71	c   rins             :       0.00          0          0
1800.09/1800.71	c   localbranching   :       0.00          0          0
1800.09/1800.71	c   mutation         :       0.00          0          0
1800.09/1800.71	c   dins             :       0.00          0          0
1800.09/1800.71	c   undercover       :       0.00          0          0
1800.09/1800.71	c   nlp              :       0.28          0          0
1800.09/1800.71	c   trysol           :       0.17          0          0
1800.09/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.71	c   primal LP        :       0.23          0          0       0.00       0.00
1800.09/1800.71	c   dual LP          :      42.83        116      65769     566.97    1535.58
1800.09/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.09/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.71	c   diving/probing LP:       0.05          0          0       0.00       0.00
1800.09/1800.71	c   strong branching :       1.95         24       2112      88.00    1083.08
1800.09/1800.71	c     (at root node) :          -         24       2112      88.00          -
1800.09/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.71	c B&B Tree           :
1800.09/1800.71	c   number of runs   :          1
1800.09/1800.71	c   nodes            :     381184
1800.09/1800.71	c   nodes (total)    :     381184
1800.09/1800.71	c   nodes left       :         38
1800.09/1800.71	c   max depth        :         75
1800.09/1800.71	c   max depth (total):         75
1800.09/1800.71	c   backtracks       :     147454 (38.7%)
1800.09/1800.71	c   delayed cutoffs  :     148797
1800.09/1800.71	c   repropagations   :     352721 (38321382 domain reductions, 145086 cutoffs)
1800.09/1800.71	c   avg switch length:       2.51
1800.09/1800.71	c   switching time   :     296.11
1800.09/1800.71	c Solution           :
1800.09/1800.71	c   Solutions found  :          0 (0 improvements)
1800.09/1800.71	c   Primal Bound     :          -
1800.09/1800.71	c   Dual Bound       : +3.12862738804973e+03
1800.09/1800.71	c   Gap              :   infinite
1800.09/1800.71	c   Root Dual Bound  : +3.12862738804973e+03
1800.09/1800.71	c   Root Iterations  :      65769
1800.19/1800.84	c Time complete: 1800.23.

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665428-1276455876/watcher-2665428-1276455876 -o /tmp/evaluation-result-2665428-1276455876/solver-2665428-1276455876 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665428-1276455876.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26750
/proc/meminfo: memFree=1842052/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=8260 CPUtime=0
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 19243974 8458240 932 1992294400 4194304 9819077 140737048643152 18446744073709551615 8610801 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26750/statm: 2065 932 366 1374 0 686 0

[startup+0.077951 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26750
/proc/meminfo: memFree=1842052/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=16708 CPUtime=0.07
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 3126 0 0 0 6 1 0 0 20 0 1 0 19243974 17108992 3045 1992294400 4194304 9819077 140737048643152 18446744073709551615 8652568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26750/statm: 4177 3045 388 1374 0 2798 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16708

[startup+0.101956 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26750
/proc/meminfo: memFree=1842052/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=17192 CPUtime=0.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 3249 0 0 0 8 1 0 0 20 0 1 0 19243974 17604608 3168 1992294400 4194304 9819077 140737048643152 18446744073709551615 5649590 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26750/statm: 4298 3168 388 1374 0 2919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17192

[startup+0.301995 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26750
/proc/meminfo: memFree=1842052/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=33824 CPUtime=0.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 7813 0 0 0 26 3 0 0 20 0 1 0 19243974 34635776 7378 1992294400 4194304 9819077 140737048643152 18446744073709551615 6180942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 8456 7378 429 1374 0 7077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33824

[startup+0.701068 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 26750
/proc/meminfo: memFree=1842052/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=41456 CPUtime=0.69
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 13316 0 0 0 56 13 0 0 21 0 1 0 19243974 42450944 9026 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 10364 9026 492 1374 0 8985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41456

[startup+1.50122 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1807200/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=46460 CPUtime=1.49
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 28546 0 0 0 114 35 0 0 23 0 1 0 19243974 47575040 10317 1992294400 4194304 9819077 140737048643152 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 11615 10317 510 1374 0 10236 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46460

[startup+3.10152 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1801496/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=63148 CPUtime=3.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 37170 0 0 0 266 43 0 0 25 0 1 0 19243974 64663552 12915 1992294400 4194304 9819077 140737048643152 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 15787 12915 654 1374 0 14408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63148

[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1789964/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=67012 CPUtime=6.29
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 43889 0 0 0 581 48 0 0 25 0 1 0 19243974 68620288 13834 1992294400 4194304 9819077 140737048643152 18446744073709551615 7311727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 16753 13834 676 1374 0 15374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67012

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1782896/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=75384 CPUtime=12.69
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 56092 0 0 0 1212 57 0 0 25 0 1 0 19243974 77193216 15440 1992294400 4194304 9819077 140737048643152 18446744073709551615 6567017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 18846 15440 677 1374 0 17467 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75384

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1770744/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=87844 CPUtime=25.48
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 92798 0 0 0 2471 77 0 0 25 0 1 0 19243974 89952256 18548 1992294400 4194304 9819077 140737048643152 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 21961 18548 680 1374 0 20582 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87844

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 26751
/proc/meminfo: memFree=1765908/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=90196 CPUtime=51.08
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 130224 0 0 0 5004 104 0 0 25 0 1 0 19243974 92360704 19515 1992294400 4194304 9819077 140737048643152 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 22549 19515 680 1374 0 21170 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90196

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 26753
/proc/meminfo: memFree=1759832/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=95760 CPUtime=102.26
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 178299 0 0 0 10075 151 0 0 25 0 1 0 19243974 98058240 20990 1992294400 4194304 9819077 140737048643152 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 23940 20990 680 1374 0 22561 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95760

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26755
/proc/meminfo: memFree=1735032/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=120300 CPUtime=162.23
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 228447 0 0 0 15968 255 0 0 25 0 1 0 19243974 123187200 27182 1992294400 4194304 9819077 140737048643152 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 30075 27182 699 1374 0 28696 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 120300

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26757
/proc/meminfo: memFree=1721888/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=133848 CPUtime=222.21
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 231729 0 0 0 21790 431 0 0 25 0 1 0 19243974 137060352 30464 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 33462 30464 699 1374 0 32083 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 133848

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26757
/proc/meminfo: memFree=1719532/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=136320 CPUtime=282.2
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 232301 0 0 0 27599 621 0 0 25 0 1 0 19243974 139591680 31036 1992294400 4194304 9819077 140737048643152 18446744073709551615 5955654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 34080 31036 699 1374 0 32701 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 136320

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26759
/proc/meminfo: memFree=1718664/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=137200 CPUtime=342.18
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 232506 0 0 0 33397 821 0 0 25 0 1 0 19243974 140492800 31241 1992294400 4194304 9819077 140737048643152 18446744073709551615 4659942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 34300 31241 699 1374 0 32921 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 137200

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26761
/proc/meminfo: memFree=1718044/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=137964 CPUtime=402.15
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 232656 0 0 0 39198 1017 0 0 25 0 1 0 19243974 141275136 31391 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 34491 31391 699 1374 0 33112 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 137964

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26763
/proc/meminfo: memFree=1716928/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=139236 CPUtime=462.14
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 232927 0 0 0 45021 1193 0 0 25 0 1 0 19243974 142577664 31662 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 34809 31662 699 1374 0 33430 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 139236

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26765
/proc/meminfo: memFree=1714076/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=142320 CPUtime=522.12
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 233610 0 0 0 50841 1371 0 0 25 0 1 0 19243974 145735680 32345 1992294400 4194304 9819077 140737048643152 18446744073709551615 4223018 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 35580 32345 699 1374 0 34201 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 142320

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26765
/proc/meminfo: memFree=1712464/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=143956 CPUtime=582.1
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 234001 0 0 0 56665 1545 0 0 25 0 1 0 19243974 147410944 32736 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 35989 32736 699 1374 0 34610 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 143956

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26767
/proc/meminfo: memFree=1710852/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=145712 CPUtime=642.08
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 234381 0 0 0 62491 1717 0 0 25 0 1 0 19243974 149209088 33116 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 36428 33116 699 1374 0 35049 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 145712

[startup+702.301 s]

################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26773
/proc/meminfo: memFree=1707132/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=150016 CPUtime=881.99
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 235273 0 0 0 85777 2422 0 0 25 0 1 0 19243974 153616384 34008 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 37504 34008 699 1374 0 36125 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 150016

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26775
/proc/meminfo: memFree=1706140/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=151248 CPUtime=941.97
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 235506 0 0 0 91595 2602 0 0 25 0 1 0 19243974 154877952 34241 1992294400 4194304 9819077 140737048643152 18446744073709551615 4660962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 37812 34241 699 1374 0 36433 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 151248

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26777
/proc/meminfo: memFree=1705520/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=151856 CPUtime=1001.95
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 235620 0 0 0 97413 2782 0 0 25 0 1 0 19243974 155500544 34355 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 37964 34355 699 1374 0 36585 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 151856

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26779
/proc/meminfo: memFree=1705148/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=152496 CPUtime=1061.93
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 235727 0 0 0 103239 2954 0 0 25 0 1 0 19243974 156155904 34462 1992294400 4194304 9819077 140737048643152 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 38124 34462 699 1374 0 36745 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 152496

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26781
/proc/meminfo: memFree=1704032/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=153820 CPUtime=1121.91
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236003 0 0 0 109054 3137 0 0 25 0 1 0 19243974 157511680 34738 1992294400 4194304 9819077 140737048643152 18446744073709551615 5956787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 38455 34738 699 1374 0 37076 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 153820

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26781
/proc/meminfo: memFree=1703288/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=154512 CPUtime=1181.89
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236138 0 0 0 114874 3315 0 0 25 0 1 0 19243974 158220288 34873 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 38628 34873 699 1374 0 37249 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 154512

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26783
/proc/meminfo: memFree=1702668/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=155352 CPUtime=1241.87
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236278 0 0 0 120701 3486 0 0 25 0 1 0 19243974 159080448 35013 1992294400 4194304 9819077 140737048643152 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 38838 35013 699 1374 0 37459 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 155352

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26785
/proc/meminfo: memFree=1701924/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=155996 CPUtime=1301.86
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236439 0 0 0 126527 3659 0 0 25 0 1 0 19243974 159739904 35174 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 38999 35174 699 1374 0 37620 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 155996

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26787
/proc/meminfo: memFree=1700932/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=157220 CPUtime=1361.83
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236669 0 0 0 132335 3848 0 0 25 0 1 0 19243974 160993280 35404 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 39305 35404 699 1374 0 37926 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 157220

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26789
/proc/meminfo: memFree=1700684/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=157508 CPUtime=1421.82
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236725 0 0 0 138151 4031 0 0 25 0 1 0 19243974 161288192 35460 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 39377 35460 699 1374 0 37998 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 157508

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 26789
/proc/meminfo: memFree=1700188/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=158184 CPUtime=1481.79
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 236850 0 0 0 143974 4205 0 0 25 0 1 0 19243974 161980416 35585 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 39546 35585 699 1374 0 38167 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 158184

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 26791
/proc/meminfo: memFree=1699568/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=158956 CPUtime=1541.77
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237008 0 0 0 149780 4397 0 0 25 0 1 0 19243974 162770944 35743 1992294400 4194304 9819077 140737048643152 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 39739 35743 699 1374 0 38360 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 158956

[startup+1602.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 26793
/proc/meminfo: memFree=1698824/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=159876 CPUtime=1601.75
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237199 0 0 0 155600 4575 0 0 25 0 1 0 19243974 163713024 35934 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 39969 35934 699 1374 0 38590 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 159876

[startup+1662.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 26795
/proc/meminfo: memFree=1698080/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=160812 CPUtime=1661.73
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237370 0 0 0 161404 4769 0 0 25 0 1 0 19243974 164671488 36105 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 40203 36105 699 1374 0 38824 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 160812

[startup+1722.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 26797
/proc/meminfo: memFree=1697212/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=161732 CPUtime=1721.71
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237588 0 0 0 167211 4960 0 0 25 0 1 0 19243974 165613568 36323 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 40433 36323 699 1374 0 39054 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 161732

[startup+1782.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 26797
/proc/meminfo: memFree=1696220/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=162644 CPUtime=1781.69
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237768 0 0 0 173019 5150 0 0 25 0 1 0 19243974 166547456 36503 1992294400 4194304 9819077 140737048643152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 40661 36503 699 1374 0 39282 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 162644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 26799
/proc/meminfo: memFree=1696096/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=162776 CPUtime=1800.09
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237798 0 0 0 174799 5210 0 0 25 0 1 0 19243974 166682624 36533 1992294400 4194304 9819077 140737048643152 18446744073709551615 4677451 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26750/statm: 40694 36533 699 1374 0 39315 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 162776

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 26799
/proc/meminfo: memFree=1696096/2059040 swapFree=4142408/4192956
[pid=26750] ppid=26748 vsize=151804 CPUtime=1800.19
/proc/26750/stat : 26750 (pbscip.linux.x8) R 26748 26750 25013 0 -1 4202496 237816 0 0 0 174809 5210 0 0 25 0 1 0 19243974 155447296 33818 1992294400 4194304 9819077 140737048643152 18446744073709551615 5953359 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26750/statm: 37951 33818 703 1374 0 36572 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 151804

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.24
CPU user time (s): 1748.11
CPU system time (s): 52.1251
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 162776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.11
system time used= 52.1251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5146

runsolver used 3.11952 second user time and 8.36973 second system time

The end

Begin job on node019 at 2010-06-13 21:04:36
IDJOB=2665428
IDBENCH=2160
IDSOLVER=1168
FILE ID=node019/2665428-1276455876
PBS_JOBID= 11173339
Free space on /tmp= 62356 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665428-1276455876/watcher-2665428-1276455876 -o /tmp/evaluation-result-2665428-1276455876/solver-2665428-1276455876 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665428-1276455876.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa
RANDOM SEED=1281068674

node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842580 kB
Buffers:         28756 kB
Cached:          97216 kB
SwapCached:       4636 kB
Active:          99688 kB
Inactive:        39712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842580 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            6672 kB
Writeback:           0 kB
AnonPages:       11716 kB
Mapped:          13636 kB
Slab:            55392 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62348 MiB
End job on node019 at 2010-06-13 21:34:39