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-3693041-1338043247.opb>
0.02/0.03 c original problem has 6392 variables (6392 bin, 0 int, 0 impl, 0 cont) and 6582 constraints
0.02/0.03 c problem read in 0.03
0.02/0.07 c presolving:
0.09/0.10 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10974 impls, 94 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, 10974 impls, 92 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, 11026 impls, 92 clqs
0.09/0.11 c (round 4) 269 del vars, 212 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11138 impls, 92 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, 11262 impls, 92 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, 11396 impls, 92 clqs
0.09/0.12 c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11476 impls, 92 clqs
0.09/0.12 c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11508 impls, 92 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, 11518 impls, 92 clqs
0.09/0.18 c (round 10) 362 del vars, 397 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6093 upgd conss, 11530 impls, 92 clqs
0.18/0.20 c (round 11) 362 del vars, 397 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6185 upgd conss, 11530 impls, 92 clqs
1.99/2.03 c (round 12) 387 del vars, 397 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6185 upgd conss, 642690 impls, 92 clqs
1.99/2.03 c (round 13) 387 del vars, 422 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6185 upgd conss, 642708 impls, 92 clqs
1.99/2.06 c (round 14) 387 del vars, 422 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6193 upgd conss, 642708 impls, 92 clqs
3.49/3.57 c (round 15) 412 del vars, 422 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6193 upgd conss, 1815002 impls, 92 clqs
3.49/3.58 c (round 16) 412 del vars, 447 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6193 upgd conss, 1815088 impls, 92 clqs
3.59/3.61 c (round 17) 412 del vars, 447 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6198 upgd conss, 1815088 impls, 92 clqs
3.59/3.64 c (round 18) 437 del vars, 447 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6198 upgd conss, 1821392 impls, 92 clqs
3.59/3.65 c (round 19) 437 del vars, 472 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6198 upgd conss, 1821484 impls, 92 clqs
3.59/3.67 c (round 20) 437 del vars, 472 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6204 upgd conss, 1821484 impls, 92 clqs
3.69/3.72 c (round 21) 462 del vars, 472 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6204 upgd conss, 1840656 impls, 92 clqs
3.69/3.73 c (round 22) 467 del vars, 503 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6204 upgd conss, 1840818 impls, 92 clqs
3.69/3.75 c (round 23) 469 del vars, 504 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6219 upgd conss, 1840850 impls, 92 clqs
3.69/3.79 c (round 24) 494 del vars, 504 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6219 upgd conss, 1844122 impls, 92 clqs
3.79/3.80 c (round 25) 494 del vars, 531 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 6219 upgd conss, 1844126 impls, 92 clqs
3.79/3.80 c (round 26) 498 del vars, 534 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6219 upgd conss, 1844127 impls, 92 clqs
3.79/3.83 c (round 27) 499 del vars, 534 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844127 impls, 92 clqs
3.79/3.88 c (round 28) 524 del vars, 534 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844127 impls, 92 clqs
3.79/3.89 c (round 29) 524 del vars, 559 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844127 impls, 92 clqs
3.89/3.96 c (round 30) 549 del vars, 559 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844127 impls, 92 clqs
3.89/3.97 c (round 31) 549 del vars, 584 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844127 impls, 92 clqs
3.99/4.00 c (round 32) 574 del vars, 584 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844853 impls, 92 clqs
3.99/4.00 c (round 33) 578 del vars, 615 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6220 upgd conss, 1844863 impls, 92 clqs
3.99/4.03 c (round 34) 580 del vars, 615 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1844863 impls, 92 clqs
3.99/4.06 c (round 35) 605 del vars, 615 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1844863 impls, 92 clqs
3.99/4.07 c (round 36) 605 del vars, 640 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1844863 impls, 92 clqs
4.19/4.28 c (4.3s) probing: 1000/6030 (16.6%) - 247 fixings, 1 aggregations, 362418 implications, 0 bound changes
4.30/4.35 c (round 37) 630 del vars, 640 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1904717 impls, 92 clqs
4.30/4.35 c (round 38) 630 del vars, 665 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1904717 impls, 92 clqs
4.30/4.39 c (round 39) 655 del vars, 665 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1904717 impls, 92 clqs
4.30/4.40 c (round 40) 655 del vars, 690 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 1904717 impls, 92 clqs
6.38/6.48 c (6.5s) probing: 2000/6030 (33.2%) - 284 fixings, 1 aggregations, 613171 implications, 0 bound changes
8.69/8.73 c (round 41) 680 del vars, 690 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 2949135 impls, 92 clqs
8.69/8.73 c (round 42) 680 del vars, 715 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 2949135 impls, 92 clqs
8.69/8.78 c (round 43) 705 del vars, 715 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 2950045 impls, 92 clqs
8.69/8.79 c (round 44) 705 del vars, 740 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 2950045 impls, 92 clqs
9.59/9.68 c (9.7s) probing: 3000/6030 (49.8%) - 335 fixings, 1 aggregations, 999283 implications, 0 bound changes
12.00/12.05 c (round 45) 730 del vars, 740 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 3793463 impls, 92 clqs
12.00/12.06 c (round 46) 730 del vars, 765 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 3793463 impls, 92 clqs
12.09/12.12 c (12.1s) probing: 4000/6030 (66.3%) - 355 fixings, 1 aggregations, 1314469 implications, 0 bound changes
15.18/15.22 c (15.2s) probing: 4992/6030 (82.8%) - 355 fixings, 1 aggregations, 1661209 implications, 0 bound changes
15.18/15.22 c (15.2s) probing aborted: 1000/1000 successive useless probings
15.18/15.22 c (round 47) 736 del vars, 765 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 4495713 impls, 92 clqs
15.18/15.23 c (round 48) 736 del vars, 771 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6221 upgd conss, 4495713 impls, 92 clqs
15.18/15.29 c (15.3s) probing: 5000/6030 (82.9%) - 355 fixings, 1 aggregations, 1663801 implications, 0 bound changes
15.48/15.57 c (15.6s) probing: 5092/6030 (84.4%) - 355 fixings, 1 aggregations, 1691275 implications, 0 bound changes
15.48/15.57 c (15.6s) probing aborted: 1000/1000 successive useless probings
15.48/15.58 c presolving (49 rounds):
15.48/15.58 c 736 deleted vars, 771 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.48/15.58 c 4556149 implications, 92 cliques
15.48/15.58 c presolved problem has 5656 variables (5656 bin, 0 int, 0 impl, 0 cont) and 5811 constraints
15.48/15.58 c 1246 constraints of type <setppc>
15.48/15.58 c 4565 constraints of type <logicor>
15.48/15.58 c transformed objective value is always integral (scale: 1)
15.48/15.58 c Presolving Time: 15.53
15.48/15.58 c - non default parameters ----------------------------------------------------------------------
15.48/15.58 c # SCIP version 2.1.1.4
15.48/15.58 c
15.48/15.58 c # maximal time in seconds to run
15.48/15.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.48/15.58 c limits/time = 1797
15.48/15.58 c
15.48/15.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.48/15.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.48/15.58 c limits/memory = 13950
15.48/15.58 c
15.48/15.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.48/15.58 c # [type: int, range: [1,2], default: 1]
15.48/15.58 c timing/clocktype = 2
15.48/15.58 c
15.48/15.58 c # belongs reading time to solving time?
15.48/15.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.48/15.58 c timing/reading = TRUE
15.48/15.58 c
15.48/15.58 c -----------------------------------------------------------------------------------------------
15.48/15.58 c start solving
15.48/15.58 c
18.98/19.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.98/19.06 c 19.1s| 1 | 0 | 8696 | - | 144M| 0 |1260 |5656 |5855 |5656 |5811 | 0 | 44 | 0 | 0.000000e+00 | -- | Inf
85.07/85.11 c 85.1s| 1 | 0 | 55902 | - | 144M| 0 |1528 |5656 |5855 |5656 |5913 | 102 | 44 | 0 | 0.000000e+00 | -- | Inf
88.87/88.94 c 88.9s| 1 | 0 | 61518 | - | 144M| 0 |1788 |5656 |5855 |5656 |5960 | 149 | 44 | 0 | 0.000000e+00 | -- | Inf
92.27/92.31 c 92.3s| 1 | 0 | 66018 | - | 144M| 0 |1812 |5656 |5855 |5656 |6019 | 208 | 44 | 0 | 0.000000e+00 | -- | Inf
94.77/94.81 c 94.8s| 1 | 0 | 68888 | - | 144M| 0 |1932 |5656 |5855 |5656 |6058 | 247 | 44 | 0 | 0.000000e+00 | -- | Inf
98.88/98.96 c 99.0s| 1 | 0 | 74067 | - | 144M| 0 |1714 |5656 |5855 |5656 |6087 | 276 | 44 | 0 | 0.000000e+00 | -- | Inf
101.77/101.84 c 102s| 1 | 0 | 77494 | - | 144M| 0 |1931 |5656 |5855 |5656 |6110 | 299 | 44 | 0 | 0.000000e+00 | -- | Inf
151.26/151.39 c 151s| 1 | 2 | 77494 | - | 144M| 0 |1931 |5656 |5855 |5656 |6110 | 299 | 44 | 30 | 0.000000e+00 | -- | Inf
663.28/663.43 c 663s| 100 | 37 |589913 |5175.9 | 145M| 32 | 454 |5656 |5877 |5656 |5991 | 299 | 79 | 364 | 0.000000e+00 | -- | Inf
806.06/806.28 c 806s| 200 | 41 |789902 |3579.9 | 145M| 56 | 725 |5656 |5893 |5656 |5991 | 299 | 98 | 460 | 0.000000e+00 | -- | Inf
910.44/910.65 c 911s| 300 | 39 |923752 |2830.3 | 145M| 56 | - |5656 |5904 |5656 |5991 | 299 | 109 | 556 | 0.000000e+00 | -- | Inf
1027.52/1027.76 c 1028s| 400 | 41 | 1078k|2508.7 | 145M| 56 | 716 |5656 |5903 |5656 |5991 | 299 | 111 | 650 | 0.000000e+00 | -- | Inf
1166.70/1166.99 c 1167s| 500 | 41 | 1258k|2367.7 | 145M| 60 | - |5656 |5902 |5656 |5991 | 299 | 115 | 770 | 0.000000e+00 | -- | Inf
1292.19/1292.49 c 1292s| 600 | 49 | 1436k|2268.7 | 145M| 60 | - |5656 |5903 |5656 |5991 | 299 | 122 | 861 | 0.000000e+00 | -- | Inf
1410.86/1411.11 c 1411s| 700 | 49 | 1590k|2164.6 | 145M| 60 | - |5656 |5927 |5656 |5991 | 299 | 150 | 966 | 0.000000e+00 | -- | Inf
1531.74/1532.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.74/1532.08 c 1532s| 800 | 51 | 1744k|2086.0 | 145M| 60 | - |5656 |5934 |5656 |5991 | 299 | 157 |1086 | 0.000000e+00 | -- | Inf
1634.03/1634.36 c 1634s| 900 | 51 | 1881k|2006.7 | 145M| 60 | 758 |5656 |5936 |5656 |5991 | 299 | 159 |1175 | 0.000000e+00 | -- | Inf
1775.01/1775.36 c 1775s| 1000 | 47 | 2062k|1986.8 | 145M| 60 | - |5656 |5944 |5656 |5991 | 299 | 173 |1291 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 1024
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 15.53 (included in solving)
1796.70/1797.00 c reading : 0.03 (included in solving)
1796.70/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3693041-1338043247.opb
1796.70/1797.00 c Variables : 6392 (6392 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 6582 initial, 6582 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3693041-1338043247.opb
1796.70/1797.00 c Variables : 5656 (5656 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 5811 initial, 5945 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.02 0.00 6 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 14.79 0.00 355 1 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.09 0.00 9 0 0 0 0 101 0 0 0
1796.70/1797.00 c linear : 0.08 0.00 362 0 0 362 0 397 0 0 0
1796.70/1797.00 c logicor : 0.39 0.00 3 0 0 6 0 273 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 572 0 4 0 0 54 0 0 1074
1796.70/1797.00 c setppc : 1246 1246 6 82284 0 1 3 35784 209 57845 0 0 0
1796.70/1797.00 c logicor : 4565+ 4699 6 75948 0 1 0 66080 104 118853 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 596.15 0.00 0.00 0.00 596.15 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.85 0.00 0.00 1.83 0.00 0.00 0.00 0.02
1796.70/1797.00 c logicor : 2.38 0.00 0.00 2.34 0.00 0.00 0.00 0.04
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 0 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 578 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.70/1797.00 c redcost : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c probing : 14.79 0.00 14.79 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.02 313 40 160 40.4 2 4.0 -
1796.70/1797.00 c infeasible LP : 2.36 475 29 559 764.6 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 174 75.8 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 4 - (maximal pool size: 342)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.13 0.00 6 0 0 352 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.21 0.00 6 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.22 0.00 6 0 0 0 0
1796.70/1797.00 c cmir : 0.20 0.00 6 0 0 0 0
1796.70/1797.00 c flowcover : 0.21 0.00 6 0 0 0 0
1796.70/1797.00 c clique : 8.78 0.00 6 0 0 54 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 596.15 0.00 572 0 54 0 0 1074
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 27.65 0.00 2 0
1796.70/1797.00 c linesearchdiving : 15.27 0.00 2 0
1796.70/1797.00 c pscostdiving : 48.23 0.00 2 0
1796.70/1797.00 c objpscostdiving : 35.30 0.00 1 0
1796.70/1797.00 c rootsoldiving : 12.92 0.00 1 0
1796.70/1797.00 c veclendiving : 53.20 0.00 2 0
1796.70/1797.00 c feaspump : 55.06 0.00 1 0
1796.70/1797.00 c coefdiving : 55.33 0.00 2 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.01 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.05 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 0.09 0.00 0 0
1796.70/1797.00 c rounding : 0.14 0.00 297 0
1796.70/1797.00 c shifting : 0.17 0.00 59 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 27.85 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.00 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.70/1797.00 c dual LP : 837.80 1047 1680393 1609.57 2005.73 0.04 3
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 299.83 1677 413044 246.30 1377.59
1796.70/1797.00 c strong branching : 595.98 1306 991253 759.00 1663.24
1796.70/1797.00 c (at root node) : - 30 30000 1000.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 1024
1796.70/1797.00 c nodes (total) : 1024
1796.70/1797.00 c nodes left : 53
1796.70/1797.00 c max depth : 60
1796.70/1797.00 c max depth (total): 60
1796.70/1797.00 c backtracks : 102 (10.0%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 263 (1081 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 2.61
1796.70/1797.00 c switching time : 0.42
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 77494
1796.70/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-3693041-1338043247/watcher-3693041-1338043247 -o /tmp/evaluation-result-3693041-1338043247/solver-3693041-1338043247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693041-1338043247.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.01 2.03 2.00 3/177 9575
/proc/meminfo: memFree=27976296/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=11164 CPUtime=0 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 1535 0 0 0 0 0 0 0 20 0 1 0 270449048 11431936 1490 33554432000 4194304 10169799 140734367299760 140734367165752 5866645 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 2791 1490 409 1459 0 1323 0
[startup+0.0232799 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9575
/proc/meminfo: memFree=27976296/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=16496 CPUtime=0.02 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 2862 0 0 0 2 0 0 0 20 0 1 0 270449048 16891904 2817 33554432000 4194304 10169799 140734367299760 140734367165752 5670235 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 4124 2817 409 1459 0 2656 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16496
[startup+0.100289 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9575
/proc/meminfo: memFree=27976296/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=43180 CPUtime=0.09 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 9234 0 0 0 8 1 0 0 20 0 1 0 270449048 44216320 9189 33554432000 4194304 10169799 140734367299760 140734367165752 8801104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 10795 9192 556 1459 0 9327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43180
[startup+0.300294 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9575
/proc/meminfo: memFree=27976296/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=64964 CPUtime=0.29 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 15102 0 0 0 26 3 0 0 20 0 1 0 270449048 66523136 14612 33554432000 4194304 10169799 140734367299760 140734367296968 8883659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 16241 14616 596 1459 0 14773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64964
[startup+0.700295 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9575
/proc/meminfo: memFree=27976296/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=88968 CPUtime=0.69 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 20473 0 0 0 65 4 0 0 20 0 1 0 270449048 91103232 19983 33554432000 4194304 10169799 140734367299760 140734367296968 7431949 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 22242 19983 596 1459 0 20774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88968
[startup+1.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 9576
/proc/meminfo: memFree=27894556/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=106224 CPUtime=1.49 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 24394 0 0 0 144 5 0 0 20 0 1 0 270449048 108773376 23904 33554432000 4194304 10169799 140734367299760 140734367297768 4950771 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 26556 23904 596 1459 0 25088 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106224
[startup+3.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 9576
/proc/meminfo: memFree=27872360/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=147936 CPUtime=3.08 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 34508 0 0 0 300 8 0 0 20 0 1 0 270449048 151486464 34018 33554432000 4194304 10169799 140734367299760 140734367297288 7547447 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 36984 34018 601 1459 0 35516 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147936
[startup+6.3003 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 9576
/proc/meminfo: memFree=27810352/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=192584 CPUtime=6.29 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 45572 0 0 0 612 17 0 0 20 0 1 0 270449048 197206016 45192 33554432000 4194304 10169799 140734367299760 140734367297288 5828037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 48146 45192 605 1459 0 46678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192584
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 9576
/proc/meminfo: memFree=27742028/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=254300 CPUtime=12.68 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 60935 0 0 0 1241 27 0 0 20 0 1 0 270449048 260403200 60555 33554432000 4194304 10169799 140734367299760 140734367297288 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 63575 60555 605 1459 0 62107 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 254300
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 9576
/proc/meminfo: memFree=27692908/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=296832 CPUtime=25.48 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 73887 0 0 0 2514 34 0 0 20 0 1 0 270449048 303955968 71462 33554432000 4194304 10169799 140734367299760 140734367292072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 74208 71462 773 1459 0 72740 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 296832
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9576
/proc/meminfo: memFree=27689652/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=296832 CPUtime=51.08 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 73891 0 0 0 5071 37 0 0 20 0 1 0 270449048 303955968 72188 33554432000 4194304 10169799 140734367299760 140734367292072 7708674 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 74208 72188 776 1459 0 72740 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 296832
[startup+102.307 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 9576
/proc/meminfo: memFree=27632900/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=354164 CPUtime=102.27 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 88335 0 0 0 10153 74 0 0 20 0 1 0 270449048 362663936 85899 33554432000 4194304 10169799 140734367299760 140734367291304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 88541 85899 821 1459 0 87073 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 354164
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 9576
/proc/meminfo: memFree=27666720/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=317572 CPUtime=162.25 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 89324 0 0 0 16130 95 0 0 20 0 1 0 270449048 325193728 77437 33554432000 4194304 10169799 140734367299760 140734367294040 7983406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79393 77437 845 1459 0 77925 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 317572
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9576
/proc/meminfo: memFree=27663388/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=317572 CPUtime=222.25 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 89446 0 0 0 22116 109 0 0 20 0 1 0 270449048 325193728 78081 33554432000 4194304 10169799 140734367299760 140734367293672 8053270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79393 78081 846 1459 0 77925 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 317572
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 9576
/proc/meminfo: memFree=27662156/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=318280 CPUtime=282.23 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 89635 0 0 0 28104 119 0 0 20 0 1 0 270449048 325918720 78270 33554432000 4194304 10169799 140734367299760 140734367293512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79570 78270 846 1459 0 78102 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 318280
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9577
/proc/meminfo: memFree=27658180/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=319564 CPUtime=342.22 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 89989 0 0 0 34090 132 0 0 20 0 1 0 270449048 327233536 78624 33554432000 4194304 10169799 140734367299760 140734367294456 8051819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79891 78624 846 1459 0 78423 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 319564
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9577
/proc/meminfo: memFree=27657368/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=319564 CPUtime=402.22 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 89991 0 0 0 40077 145 0 0 20 0 1 0 270449048 327233536 78626 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79891 78626 846 1459 0 78423 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 319564
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9577
/proc/meminfo: memFree=27654640/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=318160 CPUtime=462.2 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 93492 0 0 0 46064 156 0 0 20 0 1 0 270449048 325795840 78314 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79540 78314 846 1459 0 78072 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 318160
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9577
/proc/meminfo: memFree=27654516/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=318616 CPUtime=522.2 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 93575 0 0 0 52049 171 0 0 20 0 1 0 270449048 326262784 78397 33554432000 4194304 10169799 140734367299760 140734367294552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 79654 78397 846 1459 0 78186 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 318616
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9580
/proc/meminfo: memFree=27651964/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=320252 CPUtime=582.19 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 93984 0 0 0 58033 186 0 0 20 0 1 0 270449048 327938048 78805 33554432000 4194304 10169799 140734367299760 140734367293880 7983423 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 80063 78805 846 1459 0 78595 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 320252
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27642040/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=323400 CPUtime=1122.1 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 94771 0 0 0 111882 328 0 0 20 0 1 0 270449048 331161600 79592 33554432000 4194304 10169799 140734367299760 140734367294360 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 80850 79592 846 1459 0 79382 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 323400
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9585
/proc/meminfo: memFree=27641036/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=323644 CPUtime=1182.09 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 94832 0 0 0 117864 345 0 0 20 0 1 0 270449048 331411456 79653 33554432000 4194304 10169799 140734367299760 140734367294456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 80911 79653 846 1459 0 79443 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 323644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9609
/proc/meminfo: memFree=27640416/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=323644 CPUtime=1242.09 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 94832 0 0 0 123851 358 0 0 20 0 1 0 270449048 331411456 79653 33554432000 4194304 10169799 140734367299760 140734367294456 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 80911 79653 846 1459 0 79443 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 323644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27640300/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=324664 CPUtime=1302.08 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 94862 0 0 0 129837 371 0 0 20 0 1 0 270449048 332455936 79683 33554432000 4194304 10169799 140734367299760 140734367294456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81166 79683 846 1459 0 79698 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 324664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27639184/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325388 CPUtime=1362.07 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95165 0 0 0 135822 385 0 0 20 0 1 0 270449048 333197312 79986 33554432000 4194304 10169799 140734367299760 140734367294264 8009675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81347 79986 846 1459 0 79879 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 325388
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27638936/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325388 CPUtime=1422.06 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95268 0 0 0 141807 399 0 0 20 0 1 0 270449048 333197312 80089 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81347 80089 846 1459 0 79879 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 325388
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9609
/proc/meminfo: memFree=27638812/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1482.05 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95269 0 0 0 147788 417 0 0 20 0 1 0 270449048 333496320 80090 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80090 846 1459 0 79952 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 325680
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9610
/proc/meminfo: memFree=27638812/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1542.04 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95269 0 0 0 153769 435 0 0 20 0 1 0 270449048 333496320 80090 33554432000 4194304 10169799 140734367299760 140734367294456 8052190 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80090 846 1459 0 79952 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 325680
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9648
/proc/meminfo: memFree=27685640/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1602.03 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95269 0 0 0 159752 451 0 0 20 0 1 0 270449048 333496320 80090 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80090 846 1459 0 79952 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 325680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9648
/proc/meminfo: memFree=27144088/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1662.02 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95269 0 0 0 165735 467 0 0 20 0 1 0 270449048 333496320 80090 33554432000 4194304 10169799 140734367299760 140734367294456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80090 846 1459 0 79952 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 325680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9648
/proc/meminfo: memFree=27134416/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1722.01 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95269 0 0 0 171721 480 0 0 20 0 1 0 270449048 333496320 80090 33554432000 4194304 10169799 140734367299760 140734367294552 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80090 846 1459 0 79952 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 325680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133448/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1782 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 177705 495 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294456 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 325680
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133432/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1785.2 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 178024 496 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294360 7983353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 325680
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133680/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1791.61 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 178664 497 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 325680
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133540/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1794.81 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 178983 498 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367293672 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 325680
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133540/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1795.6 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 179062 498 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 325680
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133540/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1796.4 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 179142 498 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294264 8009474 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 325680
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133540/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1796.6 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 179162 498 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 325680
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9651
/proc/meminfo: memFree=27133540/32873844 swapFree=7616/7616
[pid=9575] ppid=9573 vsize=325680 CPUtime=1796.7 cores=1,3,5,7
/proc/9575/stat : 9575 (scip-2.1.1.4sfi) R 9573 9575 6477 0 -1 4202496 95367 0 0 0 179172 498 0 0 20 0 1 0 270449048 333496320 80187 33554432000 4194304 10169799 140734367299760 140734367294264 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9575/statm: 81420 80187 846 1459 0 79952 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 325680
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.78
CPU user time (s): 1791.79
CPU system time (s): 4.98924
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 357452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.79
system time used= 4.98924
maximum resident set size= 347160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95371
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= 20
involuntary context switches= 1851
runsolver used 5.42518 second user time and 18.3262 second system time
The end