0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693045-1338043528.opb>
0.00/0.03 c original problem has 6664 variables (6664 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
0.00/0.03 c problem read in 0.03
0.00/0.07 c presolving:
0.06/0.09 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11834 impls, 98 clqs
0.09/0.10 c (round 2) 136 del vars, 12 del conss, 0 add conss, 136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11834 impls, 96 clqs
0.09/0.10 c (round 3) 212 del vars, 155 del conss, 0 add conss, 212 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11886 impls, 96 clqs
0.09/0.10 c (round 4) 269 del vars, 212 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11998 impls, 96 clqs
0.09/0.11 c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12122 impls, 96 clqs
0.09/0.11 c (round 6) 345 del vars, 288 del conss, 0 add conss, 345 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12256 impls, 96 clqs
0.09/0.11 c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12336 impls, 96 clqs
0.09/0.11 c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12368 impls, 96 clqs
0.09/0.12 c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12378 impls, 96 clqs
0.09/0.17 c (round 10) 362 del vars, 401 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6365 upgd conss, 12390 impls, 96 clqs
0.09/0.19 c (round 11) 362 del vars, 401 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6461 upgd conss, 12390 impls, 96 clqs
1.99/2.03 c (round 12) 387 del vars, 401 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6461 upgd conss, 694178 impls, 96 clqs
1.99/2.03 c (round 13) 387 del vars, 426 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6461 upgd conss, 694196 impls, 96 clqs
1.99/2.06 c (round 14) 387 del vars, 426 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6469 upgd conss, 694196 impls, 96 clqs
3.48/3.53 c (round 15) 412 del vars, 426 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6469 upgd conss, 1924114 impls, 96 clqs
3.48/3.54 c (round 16) 412 del vars, 451 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6469 upgd conss, 1924200 impls, 96 clqs
3.48/3.56 c (round 17) 412 del vars, 451 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6474 upgd conss, 1924200 impls, 96 clqs
3.48/3.59 c (round 18) 437 del vars, 451 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6474 upgd conss, 1930504 impls, 96 clqs
3.48/3.59 c (round 19) 437 del vars, 476 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6474 upgd conss, 1930596 impls, 96 clqs
3.59/3.62 c (round 20) 437 del vars, 476 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6480 upgd conss, 1930596 impls, 96 clqs
3.59/3.67 c (round 21) 462 del vars, 476 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6480 upgd conss, 1949768 impls, 96 clqs
3.59/3.67 c (round 22) 467 del vars, 507 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6480 upgd conss, 1949930 impls, 96 clqs
3.59/3.69 c (round 23) 469 del vars, 508 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6495 upgd conss, 1949962 impls, 96 clqs
3.68/3.73 c (round 24) 494 del vars, 508 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6495 upgd conss, 1953234 impls, 96 clqs
3.68/3.73 c (round 25) 494 del vars, 534 del conss, 0 add conss, 364 chg bounds, 0 chg sides, 0 chg coeffs, 6495 upgd conss, 1953237 impls, 96 clqs
3.68/3.74 c (round 26) 495 del vars, 535 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 6495 upgd conss, 1953238 impls, 96 clqs
3.68/3.74 c (round 27) 498 del vars, 538 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6495 upgd conss, 1953239 impls, 96 clqs
3.68/3.77 c (round 28) 499 del vars, 538 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953239 impls, 96 clqs
3.79/3.82 c (round 29) 524 del vars, 538 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953239 impls, 96 clqs
3.79/3.83 c (round 30) 524 del vars, 563 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953239 impls, 96 clqs
3.79/3.88 c (round 31) 549 del vars, 563 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953239 impls, 96 clqs
3.79/3.89 c (round 32) 549 del vars, 588 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953239 impls, 96 clqs
3.89/3.92 c (round 33) 574 del vars, 588 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953965 impls, 96 clqs
3.89/3.93 c (round 34) 578 del vars, 619 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6496 upgd conss, 1953975 impls, 96 clqs
3.89/3.95 c (round 35) 580 del vars, 619 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 1953975 impls, 96 clqs
3.89/3.99 c (round 36) 605 del vars, 619 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 1953975 impls, 96 clqs
3.89/3.99 c (round 37) 605 del vars, 644 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 1953975 impls, 96 clqs
3.99/4.01 c (round 38) 630 del vars, 644 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 1953975 impls, 96 clqs
3.99/4.02 c (round 39) 630 del vars, 669 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 1953975 impls, 96 clqs
4.09/4.10 c (4.1s) probing: 1000/6302 (15.9%) - 251 fixings, 1 aggregations, 367305 implications, 0 bound changes
6.09/6.14 c (6.1s) probing: 2000/6302 (31.7%) - 253 fixings, 1 aggregations, 634947 implications, 0 bound changes
8.19/8.23 c (round 40) 655 del vars, 669 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3117919 impls, 96 clqs
8.19/8.24 c (round 41) 655 del vars, 694 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3117919 impls, 96 clqs
8.19/8.27 c (round 42) 680 del vars, 694 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3117919 impls, 96 clqs
8.19/8.28 c (round 43) 680 del vars, 719 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3117919 impls, 96 clqs
8.79/8.84 c (8.8s) probing: 3000/6302 (47.6%) - 319 fixings, 1 aggregations, 1017408 implications, 0 bound changes
9.28/9.38 c (round 44) 705 del vars, 719 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3431325 impls, 96 clqs
9.28/9.38 c (round 45) 705 del vars, 744 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6497 upgd conss, 3431327 impls, 96 clqs
9.38/9.41 c (round 46) 705 del vars, 744 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6498 upgd conss, 3431327 impls, 96 clqs
10.28/10.38 c (round 47) 730 del vars, 744 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6498 upgd conss, 3710437 impls, 96 clqs
10.28/10.39 c (round 48) 730 del vars, 769 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6498 upgd conss, 3710437 impls, 96 clqs
10.99/11.06 c (11.1s) probing: 4000/6302 (63.5%) - 358 fixings, 1 aggregations, 1329241 implications, 0 bound changes
13.59/13.63 c (13.6s) probing: 5000/6302 (79.3%) - 359 fixings, 1 aggregations, 1688919 implications, 0 bound changes
13.98/14.07 c (14.1s) probing: 5167/6302 (82.0%) - 359 fixings, 1 aggregations, 1736859 implications, 0 bound changes
13.98/14.07 c (14.1s) probing aborted: 1000/1000 successive useless probings
13.98/14.07 c (round 49) 740 del vars, 769 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6498 upgd conss, 4719023 impls, 96 clqs
13.98/14.07 c (round 50) 740 del vars, 779 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6498 upgd conss, 4719023 impls, 96 clqs
14.29/14.35 c (14.4s) probing: 5267/6302 (83.6%) - 359 fixings, 1 aggregations, 1765844 implications, 0 bound changes
14.29/14.35 c (14.4s) probing aborted: 1000/1000 successive useless probings
14.29/14.36 c presolving (51 rounds):
14.29/14.36 c 740 deleted vars, 779 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.29/14.36 c 4777319 implications, 96 cliques
14.29/14.36 c presolved problem has 5924 variables (5924 bin, 0 int, 0 impl, 0 cont) and 6083 constraints
14.29/14.36 c 1302 constraints of type <setppc>
14.29/14.36 c 4781 constraints of type <logicor>
14.29/14.36 c transformed objective value is always integral (scale: 1)
14.29/14.36 c Presolving Time: 14.32
14.29/14.36 c - non default parameters ----------------------------------------------------------------------
14.29/14.36 c # SCIP version 2.1.1.4
14.29/14.36 c
14.29/14.36 c # maximal time in seconds to run
14.29/14.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.29/14.36 c limits/time = 1797
14.29/14.36 c
14.29/14.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.29/14.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.29/14.36 c limits/memory = 13950
14.29/14.36 c
14.29/14.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.29/14.36 c # [type: int, range: [1,2], default: 1]
14.29/14.36 c timing/clocktype = 2
14.29/14.36 c
14.29/14.36 c # belongs reading time to solving time?
14.29/14.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.29/14.36 c timing/reading = TRUE
14.29/14.36 c
14.29/14.36 c -----------------------------------------------------------------------------------------------
14.29/14.36 c start solving
14.29/14.36 c
18.78/18.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.78/18.81 c 18.8s| 1 | 0 | 10402 | - | 150M| 0 |1484 |5924 |6125 |5924 |6083 | 0 | 42 | 0 | 0.000000e+00 | -- | Inf
102.37/102.41 c 102s| 1 | 0 | 67163 | - | 151M| 0 |1560 |5924 |6125 |5924 |6369 | 286 | 42 | 0 | 0.000000e+00 | -- | Inf
106.27/106.34 c 106s| 1 | 0 | 72523 | - | 151M| 0 |1783 |5924 |6125 |5924 |6446 | 363 | 42 | 0 | 0.000000e+00 | -- | Inf
109.47/109.58 c 110s| 1 | 0 | 76485 | - | 151M| 0 |1817 |5924 |6125 |5924 |6537 | 454 | 42 | 0 | 0.000000e+00 | -- | Inf
114.27/114.38 c 114s| 1 | 0 | 82538 | - | 151M| 0 |1923 |5924 |6125 |5924 |6589 | 506 | 42 | 0 | 0.000000e+00 | -- | Inf
118.17/118.29 c 118s| 1 | 0 | 87317 | - | 151M| 0 |1943 |5924 |6125 |5924 |6651 | 568 | 42 | 0 | 0.000000e+00 | -- | Inf
121.86/121.95 c 122s| 1 | 0 | 91588 | - | 151M| 0 |2135 |5924 |6125 |5924 |6704 | 621 | 42 | 0 | 0.000000e+00 | -- | Inf
161.75/161.84 c 162s| 1 | 2 | 91588 | - | 151M| 0 |2135 |5924 |6125 |5924 |6704 | 621 | 42 | 21 | 0.000000e+00 | -- | Inf
528.69/528.83 c 529s| 100 | 28 |440643 |3525.8 | 152M| 31 | - |5924 |6133 |5924 |6321 | 621 | 55 | 295 | 0.000000e+00 | -- | Inf
601.68/601.80 c 602s| 200 | 28 |542262 |2264.7 | 152M| 32 | - |5924 |6135 |5924 |6321 | 621 | 57 | 359 | 0.000000e+00 | -- | Inf
757.76/757.95 c 758s| 300 | 30 |727072 |2125.4 | 152M| 33 | - |5924 |6135 |5924 |6321 | 621 | 58 | 455 | 0.000000e+00 | -- | Inf
873.93/874.17 c 874s| 400 | 42 |895081 |2013.8 | 152M| 42 | - |5924 |6156 |5924 |6321 | 621 | 95 | 518 | 0.000000e+00 | -- | Inf
977.63/977.83 c 978s| 500 | 48 | 1032k|1885.3 | 152M| 43 | - |5924 |6189 |5924 |6321 | 621 | 128 | 598 | 0.000000e+00 | -- | Inf
1099.50/1099.79 c 1100s| 600 | 52 | 1225k|1892.7 | 152M| 43 | 431 |5924 |6218 |5924 |6321 | 621 | 162 | 677 | 0.000000e+00 | -- | Inf
1187.99/1188.22 c 1188s| 700 | 48 | 1344k|1792.8 | 152M| 43 | - |5924 |6243 |5924 |6321 | 621 | 192 | 754 | 0.000000e+00 | -- | Inf
1288.18/1288.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.18/1288.42 c 1288s| 800 | 48 | 1471k|1727.4 | 152M| 43 | - |5924 |6248 |5924 |6321 | 621 | 200 | 845 | 0.000000e+00 | -- | Inf
1385.56/1385.87 c 1386s| 900 | 50 | 1608k|1687.8 | 152M| 43 | - |5924 |6247 |5924 |6321 | 621 | 206 | 920 | 0.000000e+00 | -- | Inf
1485.44/1485.76 c 1486s| 1000 | 48 | 1745k|1655.1 | 152M| 43 | 535 |5924 |6247 |5924 |6321 | 621 | 210 |1010 | 0.000000e+00 | -- | Inf
1591.22/1591.50 c 1591s| 1100 | 46 | 1885k|1632.6 | 152M| 43 | - |5924 |6243 |5924 |6321 | 621 | 213 |1100 | 0.000000e+00 | -- | Inf
1690.11/1690.47 c 1690s| 1200 | 44 | 2016k|1605.2 | 152M| 43 | - |5924 |6248 |5924 |6321 | 621 | 218 |1190 | 0.000000e+00 | -- | Inf
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 1297
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +0.00000000000000e+00
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 s UNKNOWN
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 14.32 (included in solving)
1796.69/1797.00 c reading : 0.03 (included in solving)
1796.69/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3693045-1338043528.opb
1796.69/1797.00 c Variables : 6664 (6664 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 6862 initial, 6862 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3693045-1338043528.opb
1796.69/1797.00 c Variables : 5924 (5924 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 6083 initial, 6249 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.01 0.00 6 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 13.63 0.00 359 1 0 0 0 0 0 0 0
1796.69/1797.00 c setppc : 0.07 0.00 9 0 0 0 0 102 0 0 0
1796.69/1797.00 c linear : 0.07 0.00 362 0 0 362 0 401 0 0 0
1796.69/1797.00 c logicor : 0.37 0.00 3 0 0 6 0 276 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 701 0 4 0 1 43 0 0 1342
1796.69/1797.00 c setppc : 1302 1302 6 86311 0 1 3 81696 208 49575 0 0 0
1796.69/1797.00 c logicor : 4781+ 4947 6 79458 0 1 0 166923 130 61039 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 579.48 0.00 0.00 0.00 579.48 0.00 0.00 0.00
1796.69/1797.00 c setppc : 1.83 0.00 0.00 1.79 0.00 0.00 0.00 0.04
1796.69/1797.00 c logicor : 2.08 0.00 0.00 1.97 0.00 0.00 0.00 0.10
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 0 0 0 0
1796.69/1797.00 c pseudoobj : 0 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 707 0 0 0
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.00 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.00 c redcost : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.00 c probing : 13.63 0.00 13.63 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 0.05 338 64 354 88.4 3 9.3 -
1796.69/1797.00 c infeasible LP : 3.49 607 60 1448 873.7 2 6.0 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 221 50.0 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.00 5 - - 9 - (maximal pool size: 666)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.13 0.00 6 0 0 844 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 1.37 0.00 6 0 0 0 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 1.38 0.00 6 0 0 0 0
1796.69/1797.00 c cmir : 0.22 0.00 6 0 0 0 0
1796.69/1797.00 c flowcover : 0.23 0.00 6 0 0 0 0
1796.69/1797.00 c clique : 8.85 0.00 6 0 0 60 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 579.48 0.00 701 1 43 0 0 1342
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c oneopt : 0.00 0.00 0 0
1796.69/1797.00 c crossover : 0.00 0.00 0 0
1796.69/1797.00 c guideddiving : 0.00 0.00 0 0
1796.69/1797.00 c fracdiving : 31.23 0.00 2 0
1796.69/1797.00 c objpscostdiving : 0.48 0.00 1 0
1796.69/1797.00 c rootsoldiving : 47.05 0.00 1 0
1796.69/1797.00 c coefdiving : 56.57 0.00 2 0
1796.69/1797.00 c pscostdiving : 47.69 0.00 2 0
1796.69/1797.00 c veclendiving : 54.19 0.00 2 0
1796.69/1797.00 c linesearchdiving : 29.12 0.00 2 0
1796.69/1797.00 c feaspump : 71.13 0.00 1 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.01 0.00 2 0
1796.69/1797.00 c shiftandpropagate: 0.07 0.00 1 0
1796.69/1797.00 c simplerounding : 0.00 0.00 0 0
1796.69/1797.00 c zirounding : 0.09 0.00 0 0
1796.69/1797.00 c rounding : 0.14 0.00 330 0
1796.69/1797.00 c shifting : 0.17 0.00 67 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.00 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 23.70 0.00 1 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 0 0
1796.69/1797.00 c subnlp : 0.00 0.00 0 0
1796.69/1797.00 c trysol : 0.00 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.69/1797.00 c dual LP : 823.65 1293 1680614 1302.80 2040.44 0.03 3
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 333.99 1889 469360 248.47 1405.32
1796.69/1797.00 c strong branching : 579.32 1291 993808 769.80 1715.47
1796.69/1797.00 c (at root node) : - 21 21000 1000.00 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 1297
1796.69/1797.00 c nodes (total) : 1297
1796.69/1797.00 c nodes left : 47
1796.69/1797.00 c max depth : 43
1796.69/1797.00 c max depth (total): 43
1796.69/1797.00 c backtracks : 197 (15.2%)
1796.69/1797.00 c delayed cutoffs : 1
1796.69/1797.00 c repropagations : 548 (2434 domain reductions, 0 cutoffs)
1796.69/1797.00 c avg switch length: 3.31
1796.69/1797.00 c switching time : 0.48
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 0 (0 improvements)
1796.69/1797.00 c Primal Bound : -
1796.69/1797.00 c Dual Bound : +0.00000000000000e+00
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.00 c Root Iterations : 91588
1796.69/1797.06 c Time complete: 1796.76.
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-3693045-1338043528/watcher-3693045-1338043528 -o /tmp/evaluation-result-3693045-1338043528/solver-3693045-1338043528 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693045-1338043528.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9576
/proc/meminfo: memFree=28497384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=10484 CPUtime=0 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 1 0 270477320 10735616 1307 33554432000 4194304 10169799 140736039466416 140734046657208 8801104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 2621 1311 409 1459 0 1153 0
[startup+0.080131 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9576
/proc/meminfo: memFree=28497384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=41204 CPUtime=0.06 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 8721 0 0 0 6 0 0 0 20 0 1 0 270477320 42192896 8675 33554432000 4194304 10169799 140736039466416 140736039464504 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 10301 8675 544 1459 0 8833 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41204
[startup+0.100312 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9576
/proc/meminfo: memFree=28497384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=42624 CPUtime=0.09 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 9345 0 0 0 8 1 0 0 20 0 1 0 270477320 43646976 9042 33554432000 4194304 10169799 140736039466416 140736039464504 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 10656 9043 557 1459 0 9188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42624
[startup+0.300283 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9576
/proc/meminfo: memFree=28497384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=67636 CPUtime=0.29 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 15734 0 0 0 27 2 0 0 20 0 1 0 270477320 69259264 15243 33554432000 4194304 10169799 140736039466416 140736039462680 8918704 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 16909 15243 596 1459 0 15441 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67636
[startup+0.700305 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9576
/proc/meminfo: memFree=28497384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=94172 CPUtime=0.68 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 21549 0 0 0 65 3 0 0 20 0 1 0 270477320 96432128 21058 33554432000 4194304 10169799 140736039466416 140736039463944 5295883 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 23543 21058 596 1459 0 22075 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 94172
[startup+1.50029 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9577
/proc/meminfo: memFree=28409440/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=107116 CPUtime=1.48 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 24516 0 0 0 145 3 0 0 20 0 1 0 270477320 109686784 24025 33554432000 4194304 10169799 140736039466416 140736039463944 4950730 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 26779 24025 596 1459 0 25311 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107116
[startup+3.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9577
/proc/meminfo: memFree=28390468/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=154512 CPUtime=3.09 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 36146 0 0 0 301 8 0 0 20 0 1 0 270477320 158220288 35655 33554432000 4194304 10169799 140736039466416 140736039463944 8883659 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 38628 35655 601 1459 0 37160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 154512
[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9577
/proc/meminfo: memFree=28325628/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=200584 CPUtime=6.28 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 47565 0 0 0 613 15 0 0 20 0 1 0 270477320 205398016 47074 33554432000 4194304 10169799 140736039466416 140736039463928 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 50146 47074 605 1459 0 48678 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 200584
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9577
/proc/meminfo: memFree=28247944/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=270468 CPUtime=12.69 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 65086 0 0 0 1244 25 0 0 20 0 1 0 270477320 276959232 64595 33554432000 4194304 10169799 140736039466416 140736039463944 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 67617 64595 605 1459 0 66149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 270468
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9577
/proc/meminfo: memFree=28207188/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=304772 CPUtime=25.49 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 75826 0 0 0 2517 32 0 0 20 0 1 0 270477320 312086528 73357 33554432000 4194304 10169799 140736039466416 140736039458824 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 76193 73357 776 1459 0 74725 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 304772
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9577
/proc/meminfo: memFree=28204872/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=305416 CPUtime=51.07 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 75962 0 0 0 5073 34 0 0 20 0 1 0 270477320 312745984 73919 33554432000 4194304 10169799 140736039466416 140736039458872 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 76354 73919 776 1459 0 74886 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 305416
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9578
/proc/meminfo: memFree=28181976/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=326880 CPUtime=102.28 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 83080 0 0 0 10159 69 0 0 20 0 1 0 270477320 334725120 79653 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 81720 79653 803 1459 0 80252 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 326880
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9578
/proc/meminfo: memFree=28178176/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=329576 CPUtime=162.25 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 93701 0 0 0 16137 88 0 0 20 0 1 0 270477320 337485824 80434 33554432000 4194304 10169799 140736039466416 140736039461400 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82394 80434 845 1459 0 80926 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 329576
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9578
/proc/meminfo: memFree=28174912/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=330932 CPUtime=222.24 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 93963 0 0 0 22124 100 0 0 20 0 1 0 270477320 338874368 81384 33554432000 4194304 10169799 140736039466416 140736039460664 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82733 81384 845 1459 0 81265 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 330932
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 9581
/proc/meminfo: memFree=28176164/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=330932 CPUtime=282.23 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 93964 0 0 0 28111 112 0 0 20 0 1 0 270477320 338874368 81385 33554432000 4194304 10169799 140736039466416 140736039460904 8051778 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82733 81385 846 1459 0 81265 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 330932
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9581
/proc/meminfo: memFree=28176492/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=330932 CPUtime=342.23 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 93970 0 0 0 34098 125 0 0 20 0 1 0 270477320 338874368 81391 33554432000 4194304 10169799 140736039466416 140736039460872 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82733 81391 846 1459 0 81265 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 330932
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9582
/proc/meminfo: memFree=28175508/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=331996 CPUtime=402.21 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 94218 0 0 0 40084 137 0 0 20 0 1 0 270477320 339963904 81639 33554432000 4194304 10169799 140736039466416 140736039461016 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82999 81639 846 1459 0 81531 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 331996
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9582
/proc/meminfo: memFree=28175632/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=331996 CPUtime=462.21 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 94218 0 0 0 46069 152 0 0 20 0 1 0 270477320 339963904 81639 33554432000 4194304 10169799 140736039466416 140736039460872 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82999 81639 846 1459 0 81531 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 331996
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9582
/proc/meminfo: memFree=28175632/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=331996 CPUtime=522.19 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 94218 0 0 0 52055 164 0 0 20 0 1 0 270477320 339963904 81639 33554432000 4194304 10169799 140736039466416 140736039461016 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82999 81639 846 1459 0 81531 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 331996
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9582
/proc/meminfo: memFree=28175196/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=331996 CPUtime=582.18 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 94219 0 0 0 58037 181 0 0 20 0 1 0 270477320 339963904 81652 33554432000 4194304 10169799 140736039466416 140736039461208 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9576/statm: 82999 81652 846 1459 0 81531 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 331996
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28168848/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=338584 CPUtime=1122.1 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97111 0 0 0 111864 346 0 0 20 0 1 0 270477320 346710016 83293 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 84646 83293 846 1459 0 83178 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 338584
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9610
/proc/meminfo: memFree=28167484/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=339800 CPUtime=1182.09 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97452 0 0 0 117847 362 0 0 20 0 1 0 270477320 347955200 83634 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 84950 83634 846 1459 0 83482 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 339800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9610
/proc/meminfo: memFree=28166244/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341212 CPUtime=1242.08 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97770 0 0 0 123831 377 0 0 20 0 1 0 270477320 349401088 83952 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85303 83952 846 1459 0 83835 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 341212
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9611
/proc/meminfo: memFree=28165624/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341212 CPUtime=1302.08 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97866 0 0 0 129813 395 0 0 20 0 1 0 270477320 349401088 84048 33554432000 4194304 10169799 140736039466416 140736039461016 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85303 84048 846 1459 0 83835 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 341212
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9649
/proc/meminfo: memFree=28251788/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341212 CPUtime=1362.06 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97868 0 0 0 135795 411 0 0 20 0 1 0 270477320 349401088 84048 33554432000 4194304 10169799 140736039466416 140736039459768 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85303 84048 846 1459 0 83835 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 341212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9649
/proc/meminfo: memFree=27795480/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341212 CPUtime=1422.06 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 97868 0 0 0 141781 425 0 0 20 0 1 0 270477320 349401088 84048 33554432000 4194304 10169799 140736039466416 140736039461208 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85303 84048 846 1459 0 83835 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 341212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9652
/proc/meminfo: memFree=27787384/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341860 CPUtime=1482.04 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98006 0 0 0 147761 443 0 0 20 0 1 0 270477320 350064640 84186 33554432000 4194304 10169799 140736039466416 140736039461208 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85465 84186 846 1459 0 83997 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 341860
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9653
/proc/meminfo: memFree=27782912/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341860 CPUtime=1542.04 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98018 0 0 0 153737 467 0 0 20 0 1 0 270477320 350064640 84198 33554432000 4194304 10169799 140736039466416 140736039461112 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85465 84198 846 1459 0 83997 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 341860
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 9653
/proc/meminfo: memFree=27782704/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=341860 CPUtime=1602.02 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98030 0 0 0 159713 489 0 0 20 0 1 0 270477320 350064640 84210 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85465 84210 846 1459 0 83997 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 341860
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27781856/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342212 CPUtime=1662.02 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98115 0 0 0 165690 512 0 0 20 0 1 0 270477320 350425088 84295 33554432000 4194304 10169799 140736039466416 140736039461016 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85553 84295 846 1459 0 84085 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 342212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27780272/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1722 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98252 0 0 0 171663 537 0 0 20 0 1 0 270477320 351170560 84432 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84432 846 1459 0 84267 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 342940
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736696/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1782 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98252 0 0 0 177639 561 0 0 20 0 1 0 270477320 351170560 84432 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84432 846 1459 0 84267 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 342940
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736696/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1785.2 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98252 0 0 0 177958 562 0 0 20 0 1 0 270477320 351170560 84432 33554432000 4194304 10169799 140736039466416 140736039460824 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84432 846 1459 0 84267 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 342940
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736572/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1791.61 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98252 0 0 0 178596 565 0 0 20 0 1 0 270477320 351170560 84432 33554432000 4194304 10169799 140736039466416 140736039461112 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84432 846 1459 0 84267 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 342940
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736448/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1794.8 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98275 0 0 0 178914 566 0 0 20 0 1 0 270477320 351170560 84455 33554432000 4194304 10169799 140736039466416 140736039461400 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84455 846 1459 0 84267 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 342940
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736448/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1795.59 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98275 0 0 0 178993 566 0 0 20 0 1 0 270477320 351170560 84455 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84455 846 1459 0 84267 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 342940
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736448/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1796.39 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98275 0 0 0 179073 566 0 0 20 0 1 0 270477320 351170560 84455 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84455 846 1459 0 84267 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 342940
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736448/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1796.59 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98275 0 0 0 179093 566 0 0 20 0 1 0 270477320 351170560 84455 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84455 846 1459 0 84267 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 342940
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9654
/proc/meminfo: memFree=27736448/32873648 swapFree=6596/6596
[pid=9576] ppid=9574 vsize=342940 CPUtime=1796.69 cores=1,3,5,7
/proc/9576/stat : 9576 (scip-2.1.1.4sfi) R 9574 9576 6744 0 -1 4202496 98275 0 0 0 179103 566 0 0 20 0 1 0 270477320 351170560 84455 33554432000 4194304 10169799 140736039466416 140736039460920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9576/statm: 85735 84455 846 1459 0 84267 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 342940
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.77
CPU user time (s): 1791.1
CPU system time (s): 5.67314
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 370388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.1
system time used= 5.67314
maximum resident set size= 360704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98279
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= 28
involuntary context switches= 2373
runsolver used 2.6366 second user time and 7.17091 second system time
The end