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-3693035-1338043045.opb>
0.00/0.03 c original problem has 5984 variables (5984 bin, 0 int, 0 impl, 0 cont) and 6162 constraints
0.00/0.03 c problem read in 0.03
0.05/0.07 c presolving:
0.05/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, 9744 impls, 88 clqs
0.05/0.09 c (round 2) 136 del vars, 12 del conss, 0 add conss, 136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9744 impls, 86 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, 9796 impls, 86 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, 9908 impls, 86 clqs
0.09/0.10 c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10032 impls, 86 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, 10166 impls, 86 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, 10246 impls, 86 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, 10278 impls, 86 clqs
0.09/0.11 c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10288 impls, 86 clqs
0.09/0.16 c (round 10) 362 del vars, 391 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5685 upgd conss, 10300 impls, 86 clqs
0.09/0.18 c (round 11) 362 del vars, 391 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5771 upgd conss, 10300 impls, 86 clqs
1.59/1.63 c (round 12) 387 del vars, 391 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5771 upgd conss, 569538 impls, 86 clqs
1.59/1.63 c (round 13) 387 del vars, 416 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5771 upgd conss, 569556 impls, 86 clqs
1.59/1.65 c (round 14) 387 del vars, 416 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5779 upgd conss, 569556 impls, 86 clqs
2.88/2.97 c (round 15) 412 del vars, 416 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5779 upgd conss, 1655414 impls, 86 clqs
2.88/2.97 c (round 16) 412 del vars, 441 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5779 upgd conss, 1655500 impls, 86 clqs
2.99/3.00 c (round 17) 412 del vars, 441 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5784 upgd conss, 1655500 impls, 86 clqs
2.99/3.02 c (round 18) 437 del vars, 441 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5784 upgd conss, 1661804 impls, 86 clqs
2.99/3.03 c (round 19) 437 del vars, 466 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5784 upgd conss, 1661896 impls, 86 clqs
2.99/3.05 c (round 20) 437 del vars, 466 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5790 upgd conss, 1661896 impls, 86 clqs
3.09/3.10 c (round 21) 462 del vars, 466 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5790 upgd conss, 1681068 impls, 86 clqs
3.09/3.10 c (round 22) 467 del vars, 497 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5790 upgd conss, 1681184 impls, 86 clqs
3.09/3.12 c (round 23) 469 del vars, 498 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5805 upgd conss, 1681262 impls, 86 clqs
3.09/3.16 c (round 24) 494 del vars, 498 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5805 upgd conss, 1684534 impls, 86 clqs
3.09/3.16 c (round 25) 494 del vars, 525 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 5805 upgd conss, 1684538 impls, 86 clqs
3.09/3.17 c (round 26) 498 del vars, 528 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5805 upgd conss, 1684539 impls, 86 clqs
3.09/3.19 c (round 27) 499 del vars, 528 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1684539 impls, 86 clqs
3.20/3.24 c (round 28) 524 del vars, 528 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1684539 impls, 86 clqs
3.20/3.24 c (round 29) 524 del vars, 553 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1684539 impls, 86 clqs
3.20/3.30 c (round 30) 549 del vars, 553 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1684539 impls, 86 clqs
3.30/3.30 c (round 31) 549 del vars, 578 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1684539 impls, 86 clqs
3.30/3.33 c (round 32) 574 del vars, 578 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1685265 impls, 86 clqs
3.30/3.33 c (round 33) 577 del vars, 608 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5806 upgd conss, 1685275 impls, 86 clqs
3.30/3.36 c (round 34) 579 del vars, 608 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 1685275 impls, 86 clqs
3.30/3.38 c (round 35) 604 del vars, 608 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 1685275 impls, 86 clqs
3.30/3.38 c (round 36) 604 del vars, 633 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 1685275 impls, 86 clqs
3.59/3.68 c (3.7s) probing: 1000/5622 (17.8%) - 244 fixings, 1 aggregations, 350432 implications, 0 bound changes
5.68/5.72 c (5.7s) probing: 2000/5622 (35.6%) - 245 fixings, 1 aggregations, 617217 implications, 0 bound changes
6.60/6.67 c (round 37) 629 del vars, 633 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2583749 impls, 86 clqs
6.60/6.67 c (round 38) 629 del vars, 658 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2583749 impls, 86 clqs
6.69/6.71 c (round 39) 654 del vars, 658 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2583749 impls, 86 clqs
6.69/6.71 c (round 40) 654 del vars, 683 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2583749 impls, 86 clqs
7.49/7.56 c (round 41) 679 del vars, 683 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2822881 impls, 86 clqs
7.49/7.56 c (round 42) 679 del vars, 708 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2822881 impls, 86 clqs
7.49/7.60 c (round 43) 704 del vars, 708 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2823355 impls, 86 clqs
7.59/7.61 c (round 44) 704 del vars, 733 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 2823355 impls, 86 clqs
8.29/8.36 c (8.4s) probing: 3000/5622 (53.4%) - 333 fixings, 1 aggregations, 986427 implications, 0 bound changes
10.39/10.49 c (10.5s) probing: 4000/5622 (71.1%) - 348 fixings, 1 aggregations, 1329193 implications, 0 bound changes
12.49/12.51 c (12.5s) probing: 4712/5622 (83.8%) - 348 fixings, 1 aggregations, 1553775 implications, 0 bound changes
12.49/12.51 c (12.5s) probing aborted: 1000/1000 successive useless probings
12.49/12.51 c (round 45) 728 del vars, 733 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 4175493 impls, 86 clqs
12.49/12.51 c (round 46) 728 del vars, 757 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5807 upgd conss, 4175493 impls, 86 clqs
12.49/12.54 c (round 47) 728 del vars, 757 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5808 upgd conss, 4175493 impls, 86 clqs
13.20/13.24 c (13.2s) probing: 5000/5622 (88.9%) - 350 fixings, 1 aggregations, 1633165 implications, 0 bound changes
14.39/14.47 c (14.5s) probing cycle finished: starting next cycle
14.49/14.57 c (14.6s) probing: 51/5254 (1.0%) - 350 fixings, 1 aggregations, 1806106 implications, 0 bound changes
14.49/14.57 c (14.6s) probing aborted: 50/50 successive totally useless probings
14.49/14.57 c (round 48) 730 del vars, 757 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5808 upgd conss, 4682695 impls, 86 clqs
14.49/14.57 c (round 49) 730 del vars, 759 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5808 upgd conss, 4682695 impls, 86 clqs
14.59/14.62 c (14.6s) probing: 56/5254 (1.1%) - 350 fixings, 1 aggregations, 1806106 implications, 0 bound changes
14.59/14.62 c (14.6s) probing aborted: 50/50 successive totally useless probings
14.59/14.62 c presolving (50 rounds):
14.59/14.62 c 730 deleted vars, 759 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.59/14.62 c 4682695 implications, 86 cliques
14.59/14.62 c presolved problem has 5254 variables (5254 bin, 0 int, 0 impl, 0 cont) and 5403 constraints
14.59/14.62 c 1162 constraints of type <setppc>
14.59/14.62 c 4241 constraints of type <logicor>
14.59/14.62 c transformed objective value is always integral (scale: 1)
14.59/14.62 c Presolving Time: 14.58
14.59/14.62 c - non default parameters ----------------------------------------------------------------------
14.59/14.62 c # SCIP version 2.1.1.4
14.59/14.62 c
14.59/14.62 c # maximal time in seconds to run
14.59/14.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.59/14.62 c limits/time = 1797
14.59/14.62 c
14.59/14.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.59/14.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.59/14.62 c limits/memory = 13950
14.59/14.62 c
14.59/14.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.59/14.62 c # [type: int, range: [1,2], default: 1]
14.59/14.62 c timing/clocktype = 2
14.59/14.62 c
14.59/14.62 c # belongs reading time to solving time?
14.59/14.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.59/14.62 c timing/reading = TRUE
14.59/14.62 c
14.59/14.62 c -----------------------------------------------------------------------------------------------
14.59/14.62 c start solving
14.59/14.62 c
18.79/18.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.79/18.87 c 18.9s| 1 | 0 | 10284 | - | 146M| 0 |1381 |5254 |5486 |5254 |5403 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
101.07/101.17 c 101s| 1 | 0 | 63899 | - | 147M| 0 |1550 |5254 |5486 |5254 |5546 | 143 | 83 | 0 | 0.000000e+00 | -- | Inf
104.56/104.63 c 105s| 1 | 0 | 68757 | - | 147M| 0 |1534 |5254 |5486 |5254 |5620 | 217 | 83 | 0 | 0.000000e+00 | -- | Inf
107.26/107.37 c 107s| 1 | 0 | 72303 | - | 147M| 0 |1643 |5254 |5486 |5254 |5667 | 264 | 83 | 0 | 0.000000e+00 | -- | Inf
109.56/109.62 c 110s| 1 | 0 | 74917 | - | 147M| 0 |1744 |5254 |5486 |5254 |5704 | 301 | 83 | 0 | 0.000000e+00 | -- | Inf
112.96/113.04 c 113s| 1 | 0 | 79261 | - | 147M| 0 |1807 |5254 |5486 |5254 |5740 | 337 | 83 | 0 | 0.000000e+00 | -- | Inf
116.36/116.50 c 117s| 1 | 0 | 83650 | - | 147M| 0 |1746 |5254 |5486 |5254 |5767 | 364 | 83 | 0 | 0.000000e+00 | -- | Inf
144.26/144.37 c 144s| 1 | 2 | 83650 | - | 147M| 0 |1746 |5254 |5486 |5254 |5767 | 364 | 83 | 23 | 0.000000e+00 | -- | Inf
548.28/548.46 c 548s| 100 | 31 |506724 |4273.5 | 148M| 35 | - |5254 |5549 |5254 |5577 | 364 | 161 | 309 | 0.000000e+00 | -- | Inf
675.75/675.90 c 676s| 200 | 37 |663388 |2913.3 | 148M| 38 | - |5254 |5588 | 0 | 0 | 364 | 206 | 405 | 0.000000e+00 | -- | Inf
772.23/772.48 c 772s| 300 | 36 |789255 |2359.9 | 148M| 38 | - |5254 |5647 |5254 |5577 | 364 | 265 | 485 | 0.000000e+00 | -- | Inf
874.72/874.95 c 875s| 400 | 40 |948456 |2167.4 | 148M| 38 | - |5254 |5670 |5254 |5577 | 364 | 321 | 560 | 0.000000e+00 | -- | Inf
974.59/974.87 c 975s| 500 | 43 | 1092k|2021.0 | 148M| 38 | 471 |5254 |5725 |5254 |5577 | 364 | 407 | 650 | 0.000000e+00 | -- | Inf
1065.98/1066.24 c 1066s| 600 | 43 | 1219k|1896.1 | 148M| 38 | - |5254 |5770 |5254 |5577 | 364 | 457 | 740 | 0.000000e+00 | -- | Inf
1160.47/1160.70 c 1161s| 700 | 46 | 1351k|1813.3 | 148M| 38 | 511 |5254 |5855 |5254 |5577 | 364 | 560 | 815 | 0.000000e+00 | -- | Inf
1260.55/1260.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.55/1260.82 c 1261s| 800 | 44 | 1499k|1771.8 | 148M| 38 | - |5254 |5884 |5254 |5577 | 364 | 606 | 887 | 0.000000e+00 | -- | Inf
1374.74/1375.02 c 1375s| 900 | 44 | 1659k|1753.3 | 148M| 38 | - |5254 |5920 |5254 |5577 | 364 | 679 | 971 | 0.000000e+00 | -- | Inf
1476.82/1477.16 c 1477s| 1000 | 44 | 1798k|1716.9 | 149M| 38 | - |5254 |5957 |5254 |5577 | 364 | 751 |1068 | 0.000000e+00 | -- | Inf
1570.41/1570.77 c 1571s| 1100 | 44 | 1944k|1693.6 | 149M| 38 | - |5254 |5960 |5254 |5577 | 364 | 759 |1138 | 0.000000e+00 | -- | Inf
1656.39/1656.79 c 1657s| 1200 | 44 | 2066k|1653.9 | 149M| 38 | - |5254 |5963 | 0 | 0 | 364 | 767 |1218 | 0.000000e+00 | -- | Inf
1743.18/1743.59 c 1744s| 1300 | 42 | 2198k|1627.7 | 148M| 43 | - |5254 |5936 |5254 |5577 | 364 | 782 |1283 | 0.000000e+00 | -- | Inf
1796.67/1797.02 c
1796.67/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.02 c Solving Time (sec) : 1797.02
1796.67/1797.02 c Solving Nodes : 1357
1796.67/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.67/1797.02 c Dual Bound : +0.00000000000000e+00
1796.67/1797.02 c Gap : infinite
1796.67/1797.02 s UNKNOWN
1796.67/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.02 c Total Time : 1797.02
1796.67/1797.02 c solving : 1797.02
1796.67/1797.02 c presolving : 14.58 (included in solving)
1796.67/1797.02 c reading : 0.03 (included in solving)
1796.67/1797.02 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.02 c Original Problem :
1796.67/1797.02 c Problem name : HOME/instance-3693035-1338043045.opb
1796.67/1797.02 c Variables : 5984 (5984 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 6162 initial, 6162 maximal
1796.67/1797.02 c Objective sense : minimize
1796.67/1797.02 c Presolved Problem :
1796.67/1797.02 c Problem name : t_HOME/instance-3693035-1338043045.opb
1796.67/1797.02 c Variables : 5254 (5254 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 5403 initial, 5965 maximal
1796.67/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c trivial : 0.01 0.00 6 0 0 0 0 0 0 0 0
1796.67/1797.02 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c gateextraction : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c implics : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c probing : 13.94 0.00 350 1 0 0 0 0 0 0 0
1796.67/1797.02 c setppc : 0.06 0.00 8 0 0 0 0 102 0 0 0
1796.67/1797.02 c linear : 0.07 0.00 362 0 0 362 0 391 0 0 0
1796.67/1797.02 c logicor : 0.36 0.00 3 0 0 6 0 266 0 0 0
1796.67/1797.02 c root node : - - 0 - - 0 - - - - -
1796.67/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c integral : 0 0 0 0 739 0 4 0 0 67 0 0 1400
1796.67/1797.02 c setppc : 1162 1162 6 87174 0 1 3 241891 173 48665 0 0 0
1796.67/1797.02 c logicor : 4241+ 4803 6 80027 0 1 0 492607 132 67543 0 0 0
1796.67/1797.02 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.67/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.02 c integral : 608.26 0.00 0.00 0.00 608.26 0.00 0.00 0.00
1796.67/1797.02 c setppc : 1.73 0.00 0.00 1.61 0.00 0.00 0.00 0.11
1796.67/1797.02 c logicor : 2.26 0.00 0.00 2.01 0.00 0.00 0.00 0.25
1796.67/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.02 c rootredcost : 0 0 0 0
1796.67/1797.02 c pseudoobj : 0 0 0 0
1796.67/1797.02 c vbounds : 0 0 0 0
1796.67/1797.02 c redcost : 745 0 0 0
1796.67/1797.02 c probing : 0 0 0 0
1796.67/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.02 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.67/1797.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.67/1797.02 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.67/1797.02 c redcost : 0.07 0.00 0.00 0.07 0.00
1796.67/1797.02 c probing : 13.94 0.00 13.94 0.00 0.00
1796.67/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.02 c propagation : 0.03 305 37 200 83.4 2 43.5 -
1796.67/1797.02 c infeasible LP : 4.10 669 261 5918 653.2 4 5.0 0
1796.67/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.02 c applied globally : - - - 784 214.8 - - -
1796.67/1797.02 c applied locally : - - - 0 0.0 - - -
1796.67/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.02 c cut pool : 0.00 5 - - 5 - (maximal pool size: 412)
1796.67/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c impliedbounds : 0.14 0.00 6 0 0 493 0
1796.67/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c gomory : 1.10 0.00 6 0 0 0 0
1796.67/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c strongcg : 1.11 0.00 6 0 0 0 0
1796.67/1797.02 c cmir : 0.20 0.00 6 0 0 0 0
1796.67/1797.02 c flowcover : 0.20 0.00 6 0 0 0 0
1796.67/1797.02 c clique : 9.79 0.00 6 0 0 57 0
1796.67/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c mcf : 0.00 0.00 1 0 0 0 0
1796.67/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.02 c problem variables: 0.00 - 0 0
1796.67/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c relpscost : 608.26 0.00 739 0 67 0 0 1400
1796.67/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c inference : 0.00 0.00 1 0 0 0 0 2
1796.67/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.02 c LP solutions : 0.00 - - 0
1796.67/1797.02 c pseudo solutions : 0.00 - - 0
1796.67/1797.02 c oneopt : 0.00 0.00 0 0
1796.67/1797.02 c crossover : 0.00 0.00 0 0
1796.67/1797.02 c guideddiving : 0.00 0.00 0 0
1796.67/1797.02 c linesearchdiving : 5.46 0.00 1 0
1796.67/1797.02 c objpscostdiving : 3.51 0.00 1 0
1796.67/1797.02 c rootsoldiving : 15.28 0.00 1 0
1796.67/1797.02 c coefdiving : 33.74 0.00 2 0
1796.67/1797.02 c pscostdiving : 33.73 0.00 2 0
1796.67/1797.02 c fracdiving : 39.91 0.00 2 0
1796.67/1797.02 c veclendiving : 56.73 0.00 2 0
1796.67/1797.02 c feaspump : 70.47 0.00 1 0
1796.67/1797.02 c smallcard : 0.00 0.00 0 0
1796.67/1797.02 c trivial : 0.01 0.00 2 0
1796.67/1797.02 c shiftandpropagate: 0.05 0.00 1 0
1796.67/1797.02 c simplerounding : 0.00 0.00 0 0
1796.67/1797.02 c zirounding : 0.07 0.00 0 0
1796.67/1797.02 c rounding : 0.12 0.00 324 0
1796.67/1797.02 c shifting : 0.17 0.00 76 0
1796.67/1797.02 c intshifting : 0.00 0.00 0 0
1796.67/1797.02 c twoopt : 0.00 0.00 0 0
1796.67/1797.02 c indoneopt : 0.00 0.00 0 0
1796.67/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.02 c clique : 0.00 0.00 0 0
1796.67/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.02 c indrounding : 0.00 0.00 0 0
1796.67/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.02 c intdiving : 0.00 0.00 0 0
1796.67/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.02 c octane : 0.00 0.00 0 0
1796.67/1797.02 c rens : 10.59 0.00 1 0
1796.67/1797.02 c rins : 0.00 0.00 0 0
1796.67/1797.02 c localbranching : 0.00 0.00 0 0
1796.67/1797.02 c mutation : 0.00 0.00 0 0
1796.67/1797.02 c dins : 0.00 0.00 0 0
1796.67/1797.02 c vbounds : 0.00 0.00 0 0
1796.67/1797.02 c undercover : 0.00 0.00 0 0
1796.67/1797.02 c subnlp : 0.00 0.00 0 0
1796.67/1797.02 c trysol : 0.00 0.00 0 0
1796.67/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.02 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.67/1797.02 c dual LP : 885.84 1390 1880257 1355.63 2122.58 0.02 3
1796.67/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.02 c diving/probing LP: 257.07 1162 394507 339.51 1534.60
1796.67/1797.02 c strong branching : 608.11 1332 1094591 821.77 1799.99
1796.67/1797.02 c (at root node) : - 23 23000 1000.00 -
1796.67/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.02 c B&B Tree :
1796.67/1797.02 c number of runs : 1
1796.67/1797.02 c nodes : 1357
1796.67/1797.02 c nodes (total) : 1357
1796.67/1797.02 c nodes left : 43
1796.67/1797.02 c max depth : 43
1796.67/1797.02 c max depth (total): 43
1796.67/1797.02 c backtracks : 211 (15.5%)
1796.67/1797.02 c delayed cutoffs : 3
1796.67/1797.02 c repropagations : 522 (5557 domain reductions, 3 cutoffs)
1796.67/1797.02 c avg switch length: 3.64
1796.67/1797.02 c switching time : 0.42
1796.67/1797.02 c Solution :
1796.67/1797.02 c Solutions found : 0 (0 improvements)
1796.67/1797.02 c Primal Bound : -
1796.67/1797.02 c Dual Bound : +0.00000000000000e+00
1796.67/1797.02 c Gap : infinite
1796.67/1797.02 c Root Dual Bound : +0.00000000000000e+00
1796.67/1797.02 c Root Iterations : 83650
1796.67/1797.06 c Time complete: 1796.74.
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-3693035-1338043045/watcher-3693035-1338043045 -o /tmp/evaluation-result-3693035-1338043045/solver-3693035-1338043045 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693035-1338043045.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 9533
/proc/meminfo: memFree=28260228/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=11160 CPUtime=0 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 1534 0 0 0 0 0 0 0 20 0 1 0 270428811 11427840 1489 33554432000 4194304 10169799 140734144949088 140737178220328 5282283 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 2790 1489 409 1459 0 1322 0
[startup+0.0540891 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 9533
/proc/meminfo: memFree=28260228/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=33336 CPUtime=0.05 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 6842 0 0 0 4 1 0 0 20 0 1 0 270428811 34136064 6797 33554432000 4194304 10169799 140734144949088 140737178220328 4907069 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 8334 6797 497 1459 0 6866 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33336
[startup+0.100311 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 9533
/proc/meminfo: memFree=28260228/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=42520 CPUtime=0.09 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 9326 0 0 0 8 1 0 0 20 0 1 0 270428811 43540480 9024 33554432000 4194304 10169799 140734144949088 140737178220328 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 10630 9024 557 1459 0 9162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42520
[startup+0.300232 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 9533
/proc/meminfo: memFree=28260228/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=68088 CPUtime=0.29 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 15570 0 0 0 25 4 0 0 20 0 1 0 270428811 69722112 15080 33554432000 4194304 10169799 140734144949088 140737178220328 8883659 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 17022 15087 596 1459 0 15554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68088
[startup+0.700229 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 9533
/proc/meminfo: memFree=28260228/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=88056 CPUtime=0.69 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 20023 0 0 0 64 5 0 0 20 0 1 0 270428811 90169344 19533 33554432000 4194304 10169799 140734144949088 140734144946616 8918796 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 22014 19533 596 1459 0 20546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88056
[startup+1.50023 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9534
/proc/meminfo: memFree=28178736/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=106148 CPUtime=1.49 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 23983 0 0 0 144 5 0 0 20 0 1 0 270428811 108695552 23493 33554432000 4194304 10169799 140734144949088 140734144946616 5930475 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 26537 23493 601 1459 0 25069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106148
[startup+3.10023 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9534
/proc/meminfo: memFree=28150092/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=153736 CPUtime=3.09 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 35853 0 0 0 300 9 0 0 20 0 1 0 270428811 157425664 35363 33554432000 4194304 10169799 140734144949088 140734144946600 6914987 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 38434 35363 605 1459 0 36966 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153736
[startup+6.30023 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 9534
/proc/meminfo: memFree=28089952/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=192012 CPUtime=6.29 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 45333 0 0 0 614 15 0 0 20 0 1 0 270428811 196620288 44843 33554432000 4194304 10169799 140734144949088 140734144946600 4950787 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 48003 44843 605 1459 0 46535 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192012
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 9534
/proc/meminfo: memFree=28017180/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=262896 CPUtime=12.69 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 63157 0 0 0 1244 25 0 0 20 0 1 0 270428811 269205504 62667 33554432000 4194304 10169799 140734144949088 140734144946616 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 65724 62667 605 1459 0 64256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 262896
[startup+25.5002 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 9534
/proc/meminfo: memFree=27973836/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=298424 CPUtime=25.49 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 75477 0 0 0 2516 33 0 0 20 0 1 0 270428811 305586176 71743 33554432000 4194304 10169799 140734144949088 140734144941496 7978382 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 74606 71743 776 1459 0 73138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 298424
[startup+51.1002 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 9534
/proc/meminfo: memFree=27972680/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=298424 CPUtime=51.08 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 75486 0 0 0 5072 36 0 0 20 0 1 0 270428811 305586176 72086 33554432000 4194304 10169799 140734144949088 140734144941304 7969408 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 74606 72086 776 1459 0 73138 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 298424
[startup+102.306 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 9534
/proc/meminfo: memFree=27951268/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=316288 CPUtime=102.27 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 81609 0 0 0 10156 71 0 0 20 0 1 0 270428811 323878912 77392 33554432000 4194304 10169799 140734144949088 140734144945624 8009831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79072 77392 803 1459 0 77604 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 316288
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 9537
/proc/meminfo: memFree=27949420/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=317316 CPUtime=162.25 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 91094 0 0 0 16136 89 0 0 20 0 1 0 270428811 324931584 77525 33554432000 4194304 10169799 140734144949088 140734144943688 7983368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79329 77525 845 1459 0 77861 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 317316
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 9576
/proc/meminfo: memFree=27697388/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=317316 CPUtime=222.23 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 91111 0 0 0 22122 101 0 0 20 0 1 0 270428811 324931584 78226 33554432000 4194304 10169799 140734144949088 140734144943336 8009933 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79329 78226 846 1459 0 77861 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 317316
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9576
/proc/meminfo: memFree=27691340/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=318980 CPUtime=282.22 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 91624 0 0 0 28109 113 0 0 20 0 1 0 270428811 326635520 78739 33554432000 4194304 10169799 140734144949088 140734144943208 8038537 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79745 78739 846 1459 0 78277 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 318980
[startup+342.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 9576
/proc/meminfo: memFree=27668548/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=318980 CPUtime=342.22 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 91702 0 0 0 34093 129 0 0 20 0 1 0 270428811 326635520 78817 33554432000 4194304 10169799 140734144949088 140734144943688 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79745 78817 846 1459 0 78277 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 318980
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 9576
/proc/meminfo: memFree=27664504/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=318980 CPUtime=402.2 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 91702 0 0 0 40076 144 0 0 20 0 1 0 270428811 326635520 78817 33554432000 4194304 10169799 140734144949088 140734144943496 7707129 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 79745 78817 846 1459 0 78277 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 318980
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9576
/proc/meminfo: memFree=27662148/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=321028 CPUtime=462.19 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 92147 0 0 0 46061 158 0 0 20 0 1 0 270428811 328732672 79262 33554432000 4194304 10169799 140734144949088 140734144943160 7707614 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 80257 79262 846 1459 0 78789 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 321028
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9577
/proc/meminfo: memFree=27659420/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=322516 CPUtime=522.19 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 92449 0 0 0 52040 179 0 0 20 0 1 0 270428811 330256384 79564 33554432000 4194304 10169799 140734144949088 140734144943592 7983353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 80629 79564 846 1459 0 79161 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 322516
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9577
/proc/meminfo: memFree=27658112/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=323316 CPUtime=582.16 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 92782 0 0 0 58023 193 0 0 20 0 1 0 270428811 331075584 79894 33554432000 4194304 10169799 140734144949088 140734144943784 7593032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9533/statm: 80829 79894 846 1459 0 79361 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 323316
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27645144/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=332528 CPUtime=1122.07 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95038 0 0 0 111852 355 0 0 20 0 1 0 270428811 340508672 82147 33554432000 4194304 10169799 140734144949088 140734144943496 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83132 82147 846 1459 0 81664 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 332528
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9582
/proc/meminfo: memFree=27644768/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=332988 CPUtime=1182.07 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95213 0 0 0 117832 375 0 0 20 0 1 0 270428811 340979712 82322 33554432000 4194304 10169799 140734144949088 140734144942760 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83247 82322 846 1459 0 81779 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 332988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9582
/proc/meminfo: memFree=27643528/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=333764 CPUtime=1242.06 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95403 0 0 0 123810 396 0 0 20 0 1 0 270428811 341774336 82512 33554432000 4194304 10169799 140734144949088 140734144943784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83441 82512 846 1459 0 81973 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 333764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9582
/proc/meminfo: memFree=27642040/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=334224 CPUtime=1302.05 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95518 0 0 0 129791 414 0 0 20 0 1 0 270428811 342245376 82627 33554432000 4194304 10169799 140734144949088 140734144944072 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83556 82627 846 1459 0 82088 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 334224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9585
/proc/meminfo: memFree=27640756/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335480 CPUtime=1362.04 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95778 0 0 0 135773 431 0 0 20 0 1 0 270428811 343531520 82886 33554432000 4194304 10169799 140734144949088 140734144943592 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83870 82886 846 1459 0 82402 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 335480
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9609
/proc/meminfo: memFree=27640320/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335480 CPUtime=1422.03 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95779 0 0 0 141755 448 0 0 20 0 1 0 270428811 343531520 82887 33554432000 4194304 10169799 140734144949088 140734144943592 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83870 82887 846 1459 0 82402 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 335480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27640300/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1482.01 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 147735 466 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943544 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 335916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27640052/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1542.01 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 153716 485 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 335916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27638812/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1602 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 159695 505 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943496 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 335916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=27638812/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1662 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 165677 523 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943592 8059272 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 335916
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9610
/proc/meminfo: memFree=27638812/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1721.98 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 171659 539 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943496 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 335916
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1781.97 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 177638 559 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943688 8009572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 335916
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1785.17 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 177956 561 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 335916
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1791.57 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 178595 562 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943496 8004379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 335916
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1794.78 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 178914 564 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144942952 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 335916
[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1795.57 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 178993 564 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943688 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 335916
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1796.37 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 179072 565 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 335916
[startup+1796.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1796.57 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 179092 565 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 335916
[startup+1797 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9610
/proc/meminfo: memFree=27638688/32873844 swapFree=7616/7616
[pid=9533] ppid=9531 vsize=335916 CPUtime=1796.67 cores=0,2,4,6
/proc/9533/stat : 9533 (scip-2.1.1.4sfi) R 9531 9533 6477 0 -1 4202496 95846 0 0 0 179102 565 0 0 20 0 1 0 270428811 343977984 82954 33554432000 4194304 10169799 140734144949088 140734144943784 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9533/statm: 83979 82954 846 1459 0 82511 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 335916
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.74
CPU user time (s): 1791.09
CPU system time (s): 5.65214
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 354520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.09
system time used= 5.65214
maximum resident set size= 346448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95850
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= 25
involuntary context switches= 2335
runsolver used 4.11137 second user time and 10.2124 second system time
The end