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-3693032-1338043222.opb>
0.00/0.02 c original problem has 5780 variables (5780 bin, 0 int, 0 impl, 0 cont) and 5952 constraints
0.00/0.02 c problem read in 0.03
0.03/0.06 c presolving:
0.03/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, 9156 impls, 85 clqs
0.08/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, 9156 impls, 83 clqs
0.08/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, 9208 impls, 83 clqs
0.08/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, 9320 impls, 83 clqs
0.08/0.12 c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9444 impls, 83 clqs
0.08/0.12 c (round 6) 345 del vars, 288 del conss, 0 add conss, 345 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9578 impls, 83 clqs
0.08/0.13 c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9658 impls, 83 clqs
0.08/0.13 c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9690 impls, 83 clqs
0.08/0.14 c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9700 impls, 83 clqs
0.08/0.19 c (round 10) 362 del vars, 388 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5481 upgd conss, 9712 impls, 83 clqs
0.19/0.22 c (round 11) 362 del vars, 388 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5564 upgd conss, 9712 impls, 83 clqs
1.39/1.48 c (round 12) 387 del vars, 388 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5564 upgd conss, 534798 impls, 83 clqs
1.39/1.49 c (round 13) 387 del vars, 413 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5564 upgd conss, 534816 impls, 83 clqs
1.49/1.52 c (round 14) 387 del vars, 413 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5572 upgd conss, 534816 impls, 83 clqs
2.69/2.77 c (round 15) 412 del vars, 413 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5572 upgd conss, 1577456 impls, 83 clqs
2.69/2.78 c (round 16) 412 del vars, 438 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5572 upgd conss, 1577542 impls, 83 clqs
2.79/2.81 c (round 17) 412 del vars, 438 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5577 upgd conss, 1577542 impls, 83 clqs
2.79/2.84 c (round 18) 437 del vars, 438 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5577 upgd conss, 1583846 impls, 83 clqs
2.79/2.84 c (round 19) 437 del vars, 463 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5577 upgd conss, 1583938 impls, 83 clqs
2.79/2.87 c (round 20) 437 del vars, 463 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5583 upgd conss, 1583938 impls, 83 clqs
2.88/2.92 c (round 21) 462 del vars, 463 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5583 upgd conss, 1603110 impls, 83 clqs
2.88/2.93 c (round 22) 467 del vars, 494 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5583 upgd conss, 1603226 impls, 83 clqs
2.88/2.96 c (round 23) 469 del vars, 495 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5598 upgd conss, 1603304 impls, 83 clqs
2.99/3.00 c (round 24) 494 del vars, 495 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5598 upgd conss, 1606576 impls, 83 clqs
2.99/3.00 c (round 25) 494 del vars, 522 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 5598 upgd conss, 1606580 impls, 83 clqs
2.99/3.01 c (round 26) 498 del vars, 525 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5598 upgd conss, 1606581 impls, 83 clqs
2.99/3.04 c (round 27) 499 del vars, 525 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1606581 impls, 83 clqs
2.99/3.09 c (round 28) 524 del vars, 525 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1606581 impls, 83 clqs
3.09/3.10 c (round 29) 524 del vars, 550 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1606581 impls, 83 clqs
3.09/3.15 c (round 30) 549 del vars, 550 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1606581 impls, 83 clqs
3.09/3.16 c (round 31) 549 del vars, 575 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1606581 impls, 83 clqs
3.09/3.19 c (round 32) 574 del vars, 575 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1607279 impls, 83 clqs
3.09/3.20 c (round 33) 576 del vars, 604 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5599 upgd conss, 1607293 impls, 83 clqs
3.20/3.23 c (round 34) 578 del vars, 604 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5602 upgd conss, 1607293 impls, 83 clqs
3.20/3.25 c (round 35) 603 del vars, 604 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5602 upgd conss, 1607293 impls, 83 clqs
3.20/3.26 c (round 36) 603 del vars, 629 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5602 upgd conss, 1607293 impls, 83 clqs
3.59/3.64 c (3.6s) probing: 1000/5418 (18.5%) - 240 fixings, 1 aggregations, 345942 implications, 0 bound changes
5.59/5.67 c (5.7s) probing: 2000/5418 (36.9%) - 246 fixings, 1 aggregations, 615327 implications, 0 bound changes
6.29/6.39 c (round 37) 628 del vars, 629 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5602 upgd conss, 2468953 impls, 83 clqs
6.29/6.39 c (round 38) 628 del vars, 654 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5602 upgd conss, 2468957 impls, 83 clqs
6.39/6.42 c (round 39) 628 del vars, 654 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5604 upgd conss, 2468957 impls, 83 clqs
6.39/6.45 c (round 40) 653 del vars, 654 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5604 upgd conss, 2468957 impls, 83 clqs
6.39/6.46 c (round 41) 654 del vars, 680 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5604 upgd conss, 2468957 impls, 83 clqs
7.18/7.26 c (round 42) 679 del vars, 680 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5604 upgd conss, 2697797 impls, 83 clqs
7.18/7.27 c (round 43) 679 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5604 upgd conss, 2697803 impls, 83 clqs
7.18/7.29 c (round 44) 679 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5607 upgd conss, 2697803 impls, 83 clqs
7.29/7.32 c (round 45) 704 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5607 upgd conss, 2698113 impls, 83 clqs
7.29/7.33 c (round 46) 704 del vars, 730 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5607 upgd conss, 2698113 impls, 83 clqs
8.19/8.23 c (8.2s) probing: 3000/5418 (55.4%) - 331 fixings, 1 aggregations, 970857 implications, 0 bound changes
10.38/10.49 c (10.5s) probing: 4000/5418 (73.8%) - 345 fixings, 1 aggregations, 1319723 implications, 0 bound changes
12.00/12.05 c (12.1s) probing: 4585/5418 (84.6%) - 345 fixings, 1 aggregations, 1500120 implications, 0 bound changes
12.00/12.05 c (12.1s) probing aborted: 1000/1000 successive useless probings
12.00/12.05 c (round 47) 725 del vars, 730 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5607 upgd conss, 4019639 impls, 83 clqs
12.00/12.06 c (round 48) 725 del vars, 751 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5607 upgd conss, 4019641 impls, 83 clqs
12.00/12.09 c (round 49) 725 del vars, 751 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5608 upgd conss, 4019641 impls, 83 clqs
12.99/13.07 c (13.1s) probing: 5000/5418 (92.3%) - 347 fixings, 1 aggregations, 1626823 implications, 0 bound changes
13.79/13.81 c (13.8s) probing cycle finished: starting next cycle
13.89/13.90 c (13.9s) probing: 51/5053 (1.0%) - 347 fixings, 1 aggregations, 1729168 implications, 0 bound changes
13.89/13.90 c (13.9s) probing aborted: 50/50 successive totally useless probings
13.89/13.90 c (round 50) 727 del vars, 751 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5608 upgd conss, 4480129 impls, 83 clqs
13.89/13.91 c (round 51) 727 del vars, 753 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5608 upgd conss, 4480129 impls, 83 clqs
13.89/13.96 c (14.0s) probing: 56/5053 (1.1%) - 347 fixings, 1 aggregations, 1729168 implications, 0 bound changes
13.89/13.96 c (14.0s) probing aborted: 50/50 successive totally useless probings
13.89/13.97 c presolving (52 rounds):
13.89/13.97 c 727 deleted vars, 753 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.89/13.97 c 4480129 implications, 83 cliques
13.89/13.97 c presolved problem has 5053 variables (5053 bin, 0 int, 0 impl, 0 cont) and 5199 constraints
13.89/13.97 c 1120 constraints of type <setppc>
13.89/13.97 c 4079 constraints of type <logicor>
13.89/13.97 c transformed objective value is always integral (scale: 1)
13.89/13.97 c Presolving Time: 13.93
13.89/13.97 c - non default parameters ----------------------------------------------------------------------
13.89/13.97 c # SCIP version 2.1.1.4
13.89/13.97 c
13.89/13.97 c # maximal time in seconds to run
13.89/13.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.89/13.97 c limits/time = 1797
13.89/13.97 c
13.89/13.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.89/13.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.89/13.97 c limits/memory = 13950
13.89/13.97 c
13.89/13.97 c # default clock type (1: CPU user seconds, 2: wall clock time)
13.89/13.97 c # [type: int, range: [1,2], default: 1]
13.89/13.97 c timing/clocktype = 2
13.89/13.97 c
13.89/13.97 c # belongs reading time to solving time?
13.89/13.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.89/13.97 c timing/reading = TRUE
13.89/13.97 c
13.89/13.97 c -----------------------------------------------------------------------------------------------
13.89/13.97 c start solving
13.89/13.97 c
18.39/18.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.41 c 18.4s| 1 | 0 | 11176 | - | 140M| 0 |1153 |5053 |5316 |5053 |5199 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf
103.38/103.45 c 103s| 1 | 0 | 70290 | - | 141M| 0 |1450 |5053 |5316 |5053 |5391 | 192 | 117 | 0 | 0.000000e+00 | -- | Inf
107.17/107.24 c 107s| 1 | 0 | 76315 | - | 141M| 0 |1560 |5053 |5316 |5053 |5518 | 319 | 117 | 0 | 0.000000e+00 | -- | Inf
110.47/110.52 c 111s| 1 | 0 | 81014 | - | 141M| 0 |1630 |5053 |5316 |5053 |5592 | 393 | 117 | 0 | 0.000000e+00 | -- | Inf
113.67/113.74 c 114s| 1 | 0 | 85564 | - | 141M| 0 |1651 |5053 |5316 |5053 |5645 | 446 | 117 | 0 | 0.000000e+00 | -- | Inf
116.47/116.52 c 117s| 1 | 0 | 89235 | - | 141M| 0 |1673 |5053 |5316 |5053 |5678 | 479 | 117 | 0 | 0.000000e+00 | -- | Inf
118.57/118.69 c 119s| 1 | 0 | 91852 | - | 141M| 0 |1791 |5053 |5316 |5053 |5705 | 506 | 117 | 0 | 0.000000e+00 | -- | Inf
150.87/150.95 c 151s| 1 | 2 | 91852 | - | 141M| 0 |1791 |5053 |5316 |5053 |5705 | 506 | 117 | 34 | 0.000000e+00 | -- | Inf
484.91/485.07 c 485s| 100 | 27 |418721 |3301.7 | 141M| 33 | 660 |5053 |5292 |5053 |5431 | 506 | 126 | 367 | 0.000000e+00 | -- | Inf
700.18/700.36 c 700s| 200 | 29 |798732 |3552.2 | 141M| 33 | - |5053 |5305 |5053 |5431 | 506 | 158 | 479 | 0.000000e+00 | -- | Inf
844.46/844.63 c 845s| 300 | 33 |996207 |3024.6 | 141M| 46 | 535 |5053 |5306 |5053 |5431 | 506 | 170 | 607 | 0.000000e+00 | -- | Inf
962.34/962.52 c 963s| 400 | 35 | 1166k|2693.0 | 141M| 46 | - |5053 |5324 |5053 |5431 | 506 | 191 | 701 | 0.000000e+00 | -- | Inf
1093.22/1093.45 c 1093s| 500 | 33 | 1354k|2529.7 | 141M| 46 | - |5053 |5340 |5053 |5431 | 506 | 213 | 807 | 0.000000e+00 | -- | Inf
1229.60/1229.81 c 1230s| 600 | 33 | 1546k|2429.2 | 141M| 46 | - |5053 |5352 |5053 |5431 | 506 | 228 | 911 | 0.000000e+00 | -- | Inf
1358.28/1358.55 c 1359s| 700 | 33 | 1735k|2351.2 | 141M| 46 | - |5053 |5356 |5053 |5431 | 506 | 238 |1010 | 0.000000e+00 | -- | Inf
1492.95/1493.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.95/1493.29 c 1493s| 800 | 33 | 1919k|2287.5 | 141M| 46 | - |5053 |5371 | 0 | 0 | 506 | 257 |1123 | 0.000000e+00 | -- | Inf
1632.04/1632.38 c 1632s| 900 | 33 | 2113k|2249.2 | 141M| 50 | 580 |5053 |5388 |5053 |5431 | 506 | 274 |1235 | 0.000000e+00 | -- | Inf
1788.01/1788.35 c 1788s| 1000 | 31 | 2332k|2243.1 | 141M| 52 | - |5053 |5419 |5053 |5431 | 506 | 307 |1352 | 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 1005
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 13.93 (included in solving)
1796.71/1797.00 c reading : 0.03 (included in solving)
1796.71/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3693032-1338043222.opb
1796.71/1797.00 c Variables : 5780 (5780 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 5952 initial, 5952 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3693032-1338043222.opb
1796.71/1797.00 c Variables : 5053 (5053 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 5199 initial, 5420 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.01 0.00 6 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 13.06 0.00 347 1 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.13 0.00 8 0 0 0 0 109 0 0 0
1796.71/1797.00 c linear : 0.11 0.00 362 0 0 362 0 388 0 0 0
1796.71/1797.00 c logicor : 0.49 0.00 3 0 0 6 0 256 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 533 0 4 0 0 25 0 0 1034
1796.71/1797.00 c setppc : 1120 1120 6 83620 0 1 3 113452 206 50982 0 0 0
1796.71/1797.00 c logicor : 4079+ 4300 6 77082 0 1 0 218761 101 100181 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 626.09 0.00 0.00 0.00 626.09 0.00 0.00 0.00
1796.71/1797.00 c setppc : 1.62 0.00 0.00 1.50 0.00 0.00 0.00 0.12
1796.71/1797.00 c logicor : 2.18 0.00 0.00 1.94 0.00 0.00 0.00 0.23
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 539 0 0 0
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.00 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.00 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.00 c redcost : 0.09 0.00 0.00 0.09 0.00
1796.71/1797.00 c probing : 13.06 0.00 13.06 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.09 307 42 292 124.7 1 45.0 -
1796.71/1797.00 c infeasible LP : 2.56 482 115 2328 644.3 3 4.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 308 79.6 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 5 - - 9 - (maximal pool size: 550)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.13 0.00 6 0 0 660 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.07 0.00 6 0 0 0 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.07 0.00 6 0 0 0 0
1796.71/1797.00 c cmir : 0.18 0.00 6 0 0 0 0
1796.71/1797.00 c flowcover : 0.19 0.00 6 0 0 0 0
1796.71/1797.00 c clique : 10.51 0.00 6 0 0 55 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 626.09 0.00 533 0 25 0 0 1034
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.00 0.00 0 0
1796.71/1797.00 c crossover : 0.00 0.00 0 0
1796.71/1797.00 c rootsoldiving : 0.00 0.00 0 0
1796.71/1797.00 c linesearchdiving : 0.00 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0.00 0 0
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 35.23 0.00 1 0
1796.71/1797.00 c pscostdiving : 33.81 0.00 1 0
1796.71/1797.00 c veclendiving : 75.76 0.00 1 0
1796.71/1797.00 c fracdiving : 26.84 0.00 2 0
1796.71/1797.00 c feaspump : 72.01 0.00 1 0
1796.71/1797.00 c objpscostdiving : 2.71 0.00 1 0
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.01 0.00 2 0
1796.71/1797.00 c shiftandpropagate: 0.10 0.00 1 0
1796.71/1797.00 c simplerounding : 0.00 0.00 0 0
1796.71/1797.00 c zirounding : 0.06 0.00 0 0
1796.71/1797.00 c rounding : 0.09 0.00 267 0
1796.71/1797.00 c shifting : 0.13 0.00 60 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.00 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 9.01 0.00 1 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.00 0.00 0 0
1796.71/1797.00 c trysol : 0.00 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.71/1797.00 c dual LP : 883.91 1008 1949119 1937.49 2205.10 0.01 2
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 245.19 770 389119 505.35 1587.04
1796.71/1797.00 c strong branching : 625.95 1365 1143189 837.50 1826.32
1796.71/1797.00 c (at root node) : - 34 34000 1000.00 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 1005
1796.71/1797.00 c nodes (total) : 1005
1796.71/1797.00 c nodes left : 32
1796.71/1797.00 c max depth : 52
1796.71/1797.00 c max depth (total): 52
1796.71/1797.00 c backtracks : 75 (7.5%)
1796.71/1797.00 c delayed cutoffs : 0
1796.71/1797.00 c repropagations : 442 (1430 domain reductions, 0 cutoffs)
1796.71/1797.00 c avg switch length: 2.98
1796.71/1797.00 c switching time : 0.32
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Root Iterations : 91852
1796.71/1797.04 c Time complete: 1796.75.
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-3693032-1338043222/watcher-3693032-1338043222 -o /tmp/evaluation-result-3693032-1338043222/solver-3693032-1338043222 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693032-1338043222.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.08 2.04 2.01 3/175 32711
/proc/meminfo: memFree=28041240/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=11160 CPUtime=0 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 1535 0 0 0 0 0 0 0 20 0 1 0 270450652 11427840 1490 33554432000 4194304 10169799 140735846928672 140735833491304 8801104 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 2790 1490 409 1459 0 1322 0
[startup+0.044353 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 32711
/proc/meminfo: memFree=28041240/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=28660 CPUtime=0.03 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 5907 0 0 0 3 0 0 0 20 0 1 0 270450652 29347840 5862 33554432000 4194304 10169799 140735846928672 140735833491304 5757840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 7165 5862 488 1459 0 5697 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28660
[startup+0.100328 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 32711
/proc/meminfo: memFree=28041240/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=39708 CPUtime=0.08 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 8646 0 0 0 7 1 0 0 20 0 1 0 270450652 40660992 8344 33554432000 4194304 10169799 140735846928672 140735833491304 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 9927 8344 557 1459 0 8459 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39708
[startup+0.300228 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 32711
/proc/meminfo: memFree=28041240/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=59456 CPUtime=0.29 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 13731 0 0 0 22 7 0 0 20 0 1 0 270450652 60882944 13241 33554432000 4194304 10169799 140735846928672 140735846926824 7428597 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 14864 13241 596 1459 0 13396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59456
[startup+0.700241 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 32711
/proc/meminfo: memFree=28041240/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=86688 CPUtime=0.69 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 19609 0 0 0 61 8 0 0 20 0 1 0 270450652 88768512 19119 33554432000 4194304 10169799 140735846928672 140735846926824 8918791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 21672 19119 596 1459 0 20204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86688
[startup+1.50023 s]
/proc/loadavg: 2.08 2.04 2.01 3/176 32712
/proc/meminfo: memFree=27961260/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=106928 CPUtime=1.49 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 24053 0 0 0 139 10 0 0 20 0 1 0 270450652 109494272 23563 33554432000 4194304 10169799 140735846928672 140735846926200 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 26732 23563 601 1459 0 25264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106928
[startup+3.10023 s]
/proc/loadavg: 2.08 2.04 2.01 3/176 32712
/proc/meminfo: memFree=27929268/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=147308 CPUtime=3.09 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 34169 0 0 0 284 25 0 0 20 0 1 0 270450652 150843392 33679 33554432000 4194304 10169799 140735846928672 140735846926184 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 36827 33679 605 1459 0 35359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 147308
[startup+6.30024 s]
/proc/loadavg: 2.07 2.04 2.00 3/176 32712
/proc/meminfo: memFree=27876552/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=188644 CPUtime=6.29 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 44332 0 0 0 580 49 0 0 20 0 1 0 270450652 193171456 43842 33554432000 4194304 10169799 140735846928672 140735846926184 5295879 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 47161 43842 605 1459 0 45693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188644
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.00 3/176 32712
/proc/meminfo: memFree=27804640/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=260356 CPUtime=12.69 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 62224 0 0 0 1184 85 0 0 20 0 1 0 270450652 266604544 61734 33554432000 4194304 10169799 140735846928672 140735846926184 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 65089 61734 605 1459 0 63621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 260356
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.00 3/176 32712
/proc/meminfo: memFree=27767308/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=289136 CPUtime=25.48 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 71142 0 0 0 2450 98 0 0 20 0 1 0 270450652 296075264 69017 33554432000 4194304 10169799 140735846928672 140735846920984 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 72284 69017 776 1459 0 70816 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 289136
[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 32712
/proc/meminfo: memFree=27763796/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=291356 CPUtime=51.08 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 72288 0 0 0 5008 100 0 0 20 0 1 0 270450652 298348544 69617 33554432000 4194304 10169799 140735846928672 140735846920984 7582208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 72839 69617 776 1459 0 71371 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 291356
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 32713
/proc/meminfo: memFree=27746912/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=303248 CPUtime=102.28 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 77446 0 0 0 9985 243 0 0 20 0 1 0 270450652 310525952 72796 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 75812 72796 803 1459 0 74344 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 303248
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 32713
/proc/meminfo: memFree=27744460/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=304000 CPUtime=162.27 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 86596 0 0 0 15965 262 0 0 20 0 1 0 270450652 311296000 73010 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76000 73010 845 1459 0 74532 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 304000
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32713
/proc/meminfo: memFree=27742956/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=304000 CPUtime=222.26 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 86651 0 0 0 21954 272 0 0 20 0 1 0 270450652 311296000 73065 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76000 73065 845 1459 0 74532 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 304000
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32713
/proc/meminfo: memFree=27733812/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=282.24 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87014 0 0 0 27945 279 0 0 20 0 1 0 270450652 313073664 74853 33554432000 4194304 10169799 140735846928672 140735846922744 8044557 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 74853 845 1459 0 74966 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 305736
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32713
/proc/meminfo: memFree=27733592/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=342.24 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87083 0 0 0 33939 285 0 0 20 0 1 0 270450652 313073664 74936 33554432000 4194304 10169799 140735846928672 140735846923272 7983345 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 74936 845 1459 0 74966 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 305736
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32714
/proc/meminfo: memFree=27730648/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=402.22 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87091 0 0 0 39929 293 0 0 20 0 1 0 270450652 313073664 75660 33554432000 4194304 10169799 140735846928672 140735846923128 7983390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 75660 846 1459 0 74966 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 305736
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32714
/proc/meminfo: memFree=27735672/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=462.22 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87091 0 0 0 45917 305 0 0 20 0 1 0 270450652 313073664 75660 33554432000 4194304 10169799 140735846928672 140735846923368 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 75660 846 1459 0 74966 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 305736
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 32714
/proc/meminfo: memFree=27735052/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=522.21 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87091 0 0 0 51904 317 0 0 20 0 1 0 270450652 313073664 75660 33554432000 4194304 10169799 140735846928672 140735846923128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 75660 846 1459 0 74966 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 305736
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32717
/proc/meminfo: memFree=27732400/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=305736 CPUtime=582.19 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 87091 0 0 0 57891 328 0 0 20 0 1 0 270450652 313073664 75660 33554432000 4194304 10169799 140735846928672 140735846922744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 76434 75660 846 1459 0 74966 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 305736
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27725624/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=312520 CPUtime=1122.11 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 88703 0 0 0 111767 444 0 0 20 0 1 0 270450652 320020480 77271 33554432000 4194304 10169799 140735846928672 140735846923272 7983411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78130 77271 846 1459 0 76662 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 312520
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 32722
/proc/meminfo: memFree=27724576/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=312724 CPUtime=1182.11 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 88870 0 0 0 117752 459 0 0 20 0 1 0 270450652 320229376 77438 33554432000 4194304 10169799 140735846928672 140735846923320 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78181 77438 846 1459 0 76713 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 312724
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32745
/proc/meminfo: memFree=27724184/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=313328 CPUtime=1242.09 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 88897 0 0 0 123737 472 0 0 20 0 1 0 270450652 320847872 77463 33554432000 4194304 10169799 140735846928672 140735846923128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78332 77463 846 1459 0 76864 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 313328
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32746
/proc/meminfo: memFree=27724132/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=313328 CPUtime=1302.09 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 88926 0 0 0 129724 485 0 0 20 0 1 0 270450652 320847872 77492 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78332 77492 846 1459 0 76864 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 313328
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32746
/proc/meminfo: memFree=27724380/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=313328 CPUtime=1362.07 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 88927 0 0 0 135711 496 0 0 20 0 1 0 270450652 320847872 77493 33554432000 4194304 10169799 140735846928672 140735846923368 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78332 77493 846 1459 0 76864 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 313328
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32746
/proc/meminfo: memFree=27723636/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=313864 CPUtime=1422.07 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89063 0 0 0 141699 508 0 0 20 0 1 0 270450652 321396736 77629 33554432000 4194304 10169799 140735846928672 140735846923176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78466 77629 846 1459 0 76998 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 313864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32746
/proc/meminfo: memFree=27723388/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=314128 CPUtime=1482.06 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89142 0 0 0 147683 523 0 0 20 0 1 0 270450652 321667072 77708 33554432000 4194304 10169799 140735846928672 140735846923656 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78532 77708 846 1459 0 77064 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 314128
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 32746
/proc/meminfo: memFree=27722644/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=314912 CPUtime=1542.05 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89340 0 0 0 153671 534 0 0 20 0 1 0 270450652 322469888 77906 33554432000 4194304 10169799 140735846928672 140735846923176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78728 77906 846 1459 0 77260 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 314912
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 316
/proc/meminfo: memFree=27635336/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1602.03 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89524 0 0 0 159655 548 0 0 20 0 1 0 270450652 323510272 78090 33554432000 4194304 10169799 140735846928672 140735846923368 8029204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78090 846 1459 0 77514 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 315928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 317
/proc/meminfo: memFree=27217080/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1662.03 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89540 0 0 0 165641 562 0 0 20 0 1 0 270450652 323510272 78105 33554432000 4194304 10169799 140735846928672 140735846922344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78105 846 1459 0 77514 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 315928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 317
/proc/meminfo: memFree=26952864/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1722.02 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89540 0 0 0 171629 573 0 0 20 0 1 0 270450652 323510272 78105 33554432000 4194304 10169799 140735846928672 140735846923368 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78105 846 1459 0 77514 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 315928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26935588/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1782.01 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89541 0 0 0 177615 586 0 0 20 0 1 0 270450652 323510272 78106 33554432000 4194304 10169799 140735846928672 140735846923176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78106 846 1459 0 77514 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 315928
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26935588/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1785.21 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 177934 587 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 315928
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26935868/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1791.61 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 178573 588 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846922952 8022976 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 315928
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26936116/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1794.81 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 178892 589 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923272 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 315928
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26936116/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1795.6 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 178971 589 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923128 8042848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 315928
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26936124/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1796.41 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 179051 590 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 315928
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26936124/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1796.61 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 179071 590 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 315928
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 320
/proc/meminfo: memFree=26936124/32873844 swapFree=6080/6080
[pid=32711] ppid=32709 vsize=315928 CPUtime=1796.71 cores=0,2,4,6
/proc/32711/stat : 32711 (scip-2.1.1.4sfi) R 32709 32711 29432 0 -1 4202496 89542 0 0 0 179081 590 0 0 20 0 1 0 270450652 323510272 78107 33554432000 4194304 10169799 140735846928672 140735846923080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32711/statm: 78982 78107 846 1459 0 77514 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 315928
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1790.86
CPU system time (s): 5.9091
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 341040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.86
system time used= 5.9091
maximum resident set size= 327324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89546
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= 16
involuntary context switches= 1876
runsolver used 3.77143 second user time and 8.25275 second system time
The end