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-3693040-1338043545.opb>
0.01/0.03 c original problem has 6324 variables (6324 bin, 0 int, 0 impl, 0 cont) and 6512 constraints
0.01/0.03 c problem read in 0.03
0.01/0.08 c presolving:
0.08/0.11 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10764 impls, 93 clqs
0.08/0.12 c (round 2) 136 del vars, 12 del conss, 0 add conss, 136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10764 impls, 91 clqs
0.08/0.13 c (round 3) 212 del vars, 155 del conss, 0 add conss, 212 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10816 impls, 91 clqs
0.08/0.14 c (round 4) 269 del vars, 212 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10928 impls, 91 clqs
0.08/0.14 c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11052 impls, 91 clqs
0.08/0.15 c (round 6) 345 del vars, 288 del conss, 0 add conss, 345 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11186 impls, 91 clqs
0.08/0.15 c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11266 impls, 91 clqs
0.08/0.16 c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11298 impls, 91 clqs
0.08/0.17 c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11308 impls, 91 clqs
0.18/0.24 c (round 10) 362 del vars, 396 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6025 upgd conss, 11320 impls, 91 clqs
0.18/0.27 c (round 11) 362 del vars, 396 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6116 upgd conss, 11320 impls, 91 clqs
1.99/2.06 c (round 12) 387 del vars, 396 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6116 upgd conss, 630158 impls, 91 clqs
1.99/2.07 c (round 13) 387 del vars, 421 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6116 upgd conss, 630176 impls, 91 clqs
1.99/2.10 c (round 14) 387 del vars, 421 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6124 upgd conss, 630176 impls, 91 clqs
3.59/3.65 c (round 15) 412 del vars, 421 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6124 upgd conss, 1788064 impls, 91 clqs
3.59/3.66 c (round 16) 412 del vars, 446 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6124 upgd conss, 1788150 impls, 91 clqs
3.59/3.69 c (round 17) 412 del vars, 446 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6129 upgd conss, 1788150 impls, 91 clqs
3.69/3.73 c (round 18) 437 del vars, 446 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6129 upgd conss, 1794454 impls, 91 clqs
3.69/3.74 c (round 19) 437 del vars, 471 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6129 upgd conss, 1794546 impls, 91 clqs
3.69/3.77 c (round 20) 437 del vars, 471 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6135 upgd conss, 1794546 impls, 91 clqs
3.78/3.83 c (round 21) 462 del vars, 471 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 6135 upgd conss, 1813718 impls, 91 clqs
3.78/3.84 c (round 22) 467 del vars, 502 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6135 upgd conss, 1813880 impls, 91 clqs
3.78/3.87 c (round 23) 469 del vars, 503 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6150 upgd conss, 1813912 impls, 91 clqs
3.88/3.92 c (round 24) 494 del vars, 503 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 6150 upgd conss, 1817184 impls, 91 clqs
3.99/4.07 c (round 25) 494 del vars, 529 del conss, 0 add conss, 364 chg bounds, 0 chg sides, 0 chg coeffs, 6150 upgd conss, 1817187 impls, 91 clqs
3.99/4.07 c (round 26) 495 del vars, 530 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 6150 upgd conss, 1817188 impls, 91 clqs
3.99/4.07 c (round 27) 498 del vars, 533 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6150 upgd conss, 1817189 impls, 91 clqs
3.99/4.07 c (round 28) 499 del vars, 533 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817189 impls, 91 clqs
3.99/4.07 c (round 29) 524 del vars, 533 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817189 impls, 91 clqs
3.99/4.07 c (round 30) 524 del vars, 558 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817189 impls, 91 clqs
4.09/4.13 c (round 31) 549 del vars, 558 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817189 impls, 91 clqs
4.09/4.14 c (round 32) 549 del vars, 583 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817189 impls, 91 clqs
4.09/4.18 c (round 33) 574 del vars, 583 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817915 impls, 91 clqs
4.09/4.19 c (round 34) 578 del vars, 614 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6151 upgd conss, 1817925 impls, 91 clqs
4.19/4.23 c (round 35) 580 del vars, 614 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 1817925 impls, 91 clqs
4.19/4.26 c (round 36) 605 del vars, 614 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 1817925 impls, 91 clqs
4.19/4.27 c (round 37) 605 del vars, 639 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 1817925 impls, 91 clqs
4.48/4.53 c (4.5s) probing: 1000/5962 (16.8%) - 246 fixings, 1 aggregations, 359915 implications, 0 bound changes
6.60/6.64 c (round 38) 630 del vars, 639 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2349461 impls, 91 clqs
6.60/6.65 c (round 39) 630 del vars, 664 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2349461 impls, 91 clqs
6.60/6.69 c (round 40) 655 del vars, 664 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2349717 impls, 91 clqs
6.69/6.70 c (round 41) 655 del vars, 689 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2349717 impls, 91 clqs
6.79/6.84 c (6.8s) probing: 2000/5962 (33.5%) - 283 fixings, 1 aggregations, 608243 implications, 0 bound changes
9.29/9.36 c (round 42) 680 del vars, 689 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2975513 impls, 91 clqs
9.29/9.38 c (round 43) 680 del vars, 714 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2975513 impls, 91 clqs
9.38/9.43 c (round 44) 705 del vars, 714 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2975993 impls, 91 clqs
9.38/9.44 c (round 45) 705 del vars, 739 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6152 upgd conss, 2975995 impls, 91 clqs
9.38/9.47 c (round 46) 705 del vars, 739 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6153 upgd conss, 2975995 impls, 91 clqs
10.18/10.20 c (10.2s) probing: 3000/5962 (50.3%) - 335 fixings, 1 aggregations, 996279 implications, 0 bound changes
12.49/12.54 c (round 47) 730 del vars, 739 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6153 upgd conss, 3743583 impls, 91 clqs
12.49/12.55 c (round 48) 730 del vars, 764 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6153 upgd conss, 3743583 impls, 91 clqs
12.68/12.72 c (12.7s) probing: 4000/5962 (67.1%) - 354 fixings, 1 aggregations, 1311935 implications, 0 bound changes
15.78/15.86 c (15.9s) probing: 4949/5962 (83.0%) - 354 fixings, 1 aggregations, 1643460 implications, 0 bound changes
15.78/15.86 c (15.9s) probing aborted: 1000/1000 successive useless probings
15.78/15.86 c (round 49) 735 del vars, 764 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6153 upgd conss, 4445313 impls, 91 clqs
15.78/15.88 c (round 50) 735 del vars, 769 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 6153 upgd conss, 4445313 impls, 91 clqs
15.98/16.08 c (16.1s) probing: 5000/5962 (83.9%) - 354 fixings, 1 aggregations, 1658835 implications, 0 bound changes
16.19/16.23 c (16.2s) probing: 5049/5962 (84.7%) - 354 fixings, 1 aggregations, 1673204 implications, 0 bound changes
16.19/16.23 c (16.2s) probing aborted: 1000/1000 successive useless probings
16.19/16.24 c presolving (51 rounds):
16.19/16.24 c 735 deleted vars, 769 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
16.19/16.24 c 4505105 implications, 91 cliques
16.19/16.24 c presolved problem has 5589 variables (5589 bin, 0 int, 0 impl, 0 cont) and 5743 constraints
16.19/16.24 c 1232 constraints of type <setppc>
16.19/16.24 c 4511 constraints of type <logicor>
16.19/16.24 c transformed objective value is always integral (scale: 1)
16.19/16.24 c Presolving Time: 16.19
16.19/16.24 c - non default parameters ----------------------------------------------------------------------
16.19/16.24 c # SCIP version 2.1.1.4
16.19/16.24 c
16.19/16.24 c # maximal time in seconds to run
16.19/16.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.24 c limits/time = 1797
16.19/16.24 c
16.19/16.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.19/16.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.24 c limits/memory = 13950
16.19/16.24 c
16.19/16.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.19/16.24 c # [type: int, range: [1,2], default: 1]
16.19/16.24 c timing/clocktype = 2
16.19/16.24 c
16.19/16.24 c # belongs reading time to solving time?
16.19/16.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.24 c timing/reading = TRUE
16.19/16.24 c
16.19/16.24 c -----------------------------------------------------------------------------------------------
16.19/16.24 c start solving
16.19/16.24 c
20.38/20.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.38/20.49 c 20.5s| 1 | 0 | 10380 | - | 142M| 0 |1445 |5589 |5837 |5589 |5743 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
108.56/108.69 c 109s| 1 | 0 | 71226 | - | 143M| 0 |1541 |5589 |5837 |5589 |5934 | 191 | 94 | 0 | 0.000000e+00 | -- | Inf
111.76/111.85 c 112s| 1 | 0 | 75636 | - | 143M| 0 |1600 |5589 |5837 |5589 |6028 | 285 | 94 | 0 | 0.000000e+00 | -- | Inf
114.37/114.46 c 114s| 1 | 0 | 78898 | - | 143M| 0 |1707 |5589 |5837 |5589 |6077 | 334 | 94 | 0 | 0.000000e+00 | -- | Inf
116.96/117.04 c 117s| 1 | 0 | 81939 | - | 143M| 0 |1856 |5589 |5837 |5589 |6113 | 370 | 94 | 0 | 0.000000e+00 | -- | Inf
120.56/120.65 c 121s| 1 | 0 | 86462 | - | 143M| 0 |1862 |5589 |5837 |5589 |6135 | 392 | 94 | 0 | 0.000000e+00 | -- | Inf
122.56/122.62 c 123s| 1 | 0 | 88287 | - | 143M| 0 |1806 |5589 |5837 |5589 |6153 | 410 | 94 | 0 | 0.000000e+00 | -- | Inf
153.06/153.18 c 153s| 1 | 2 | 88287 | - | 143M| 0 |1806 |5589 |5837 |5589 |6153 | 410 | 94 | 17 | 0.000000e+00 | -- | Inf
527.20/527.37 c 527s| 100 | 23 |476101 |3917.3 | 143M| 28 | 629 |5589 |5843 |5589 |5923 | 410 | 110 | 303 | 0.000000e+00 | -- | Inf
656.97/657.18 c 657s| 200 | 27 |667918 |2912.7 | 143M| 28 | - |5589 |5853 |5589 |5923 | 410 | 124 | 367 | 0.000000e+00 | -- | Inf
768.66/768.86 c 769s| 300 | 27 |818337 |2441.6 | 143M| 29 | - |5589 |5854 |5589 |5923 | 410 | 138 | 461 | 0.000000e+00 | -- | Inf
936.33/936.53 c 937s| 400 | 46 | 1045k|2399.7 | 143M| 29 | 569 |5589 |5844 |5589 |5923 | 410 | 147 | 567 | 0.000000e+00 | -- | Inf
1041.62/1041.80 c 1042s| 500 | 43 | 1195k|2219.4 | 143M| 29 | 636 |5589 |5846 |5589 |5923 | 410 | 154 | 652 | 0.000000e+00 | -- | Inf
1156.50/1156.74 c 1157s| 600 | 47 | 1372k|2144.2 | 143M| 29 | - |5589 |5855 |5589 |5923 | 410 | 168 | 728 | 0.000000e+00 | -- | Inf
1275.78/1276.02 c 1276s| 700 | 45 | 1537k|2072.6 | 143M| 34 | - |5589 |5858 |5589 |5923 | 410 | 176 | 820 | 0.000000e+00 | -- | Inf
1393.76/1394.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.76/1394.07 c 1394s| 800 | 47 | 1689k|2004.5 | 143M| 34 | 421 |5589 |5873 |5589 |5923 | 410 | 193 | 925 | 0.000000e+00 | -- | Inf
1484.95/1485.27 c 1485s| 900 | 47 | 1818k|1924.5 | 144M| 40 | - |5589 |5875 |5589 |5923 | 410 | 198 |1002 | 0.000000e+00 | -- | Inf
1599.43/1599.78 c 1600s| 1000 | 49 | 1976k|1889.8 | 144M| 40 | - |5589 |5875 |5589 |5923 | 410 | 198 |1107 | 0.000000e+00 | -- | Inf
1691.71/1692.07 c 1692s| 1100 | 47 | 2102k|1832.8 | 144M| 43 | 565 |5589 |5876 |5589 |5923 | 410 | 200 |1196 | 0.000000e+00 | -- | Inf
1794.91/1795.27 c 1795s| 1200 | 51 | 2247k|1800.8 | 144M| 43 | - |5589 |5877 |5589 |5923 | 410 | 201 |1280 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 1205
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 16.19 (included in solving)
1796.70/1797.00 c reading : 0.03 (included in solving)
1796.70/1797.00 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3693040-1338043545.opb
1796.70/1797.00 c Variables : 6324 (6324 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 6512 initial, 6512 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3693040-1338043545.opb
1796.70/1797.00 c Variables : 5589 (5589 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 5743 initial, 5878 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.01 0.00 6 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 15.14 0.00 354 1 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.15 0.00 9 0 0 0 0 102 0 0 0
1796.70/1797.00 c linear : 0.13 0.00 362 0 0 362 0 396 0 0 0
1796.70/1797.00 c logicor : 0.58 0.00 3 0 0 6 0 271 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 653 0 4 0 1 35 0 0 1254
1796.70/1797.00 c setppc : 1232 1232 6 80846 0 2 3 59863 208 45379 0 0 0
1796.70/1797.00 c logicor : 4511+ 4646 6 74305 0 2 0 119632 102 56002 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 2 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 565.66 0.00 0.00 0.00 565.66 0.00 0.00 0.00
1796.70/1797.00 c setppc : 1.86 0.00 0.00 1.79 0.00 0.00 0.00 0.07
1796.70/1797.00 c logicor : 2.38 0.00 0.00 2.23 0.00 0.00 0.00 0.14
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 0 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 659 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c redcost : 0.11 0.00 0.00 0.11 0.00
1796.70/1797.00 c probing : 15.14 0.00 15.14 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.06 310 38 144 44.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 3.11 583 55 918 704.7 7 8.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 202 49.4 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 5 - - 11 - (maximal pool size: 461)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.13 0.00 6 0 0 556 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.23 0.00 6 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.24 0.00 6 0 0 0 0
1796.70/1797.00 c cmir : 0.21 0.00 6 0 0 0 0
1796.70/1797.00 c flowcover : 0.21 0.00 6 0 0 0 0
1796.70/1797.00 c clique : 9.92 0.00 6 0 0 60 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 565.66 0.00 653 1 35 0 0 1254
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 2 0 0 0 0 4
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 29.25 0.00 2 0
1796.70/1797.00 c linesearchdiving : 17.44 0.00 2 0
1796.70/1797.00 c rootsoldiving : 47.64 0.00 1 0
1796.70/1797.00 c veclendiving : 55.37 0.00 3 0
1796.70/1797.00 c coefdiving : 54.88 0.00 3 0
1796.70/1797.00 c pscostdiving : 49.02 0.00 3 0
1796.70/1797.00 c objpscostdiving : 27.24 0.00 2 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.01 0.00 2 0
1796.70/1797.00 c shiftandpropagate: 0.08 0.00 1 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 0.09 0.00 0 0
1796.70/1797.00 c rounding : 0.13 0.00 318 0
1796.70/1797.00 c shifting : 0.18 0.00 74 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 74.91 0.00 1 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 18.03 0.00 1 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.00 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.70/1797.00 c dual LP : 822.63 1221 1717495 1411.25 2087.81 0.04 4
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 352.22 1973 533562 270.43 1514.85
1796.70/1797.00 c strong branching : 565.49 1280 1006668 786.46 1780.17
1796.70/1797.00 c (at root node) : - 17 17000 1000.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 1205
1796.70/1797.00 c nodes (total) : 1205
1796.70/1797.00 c nodes left : 52
1796.70/1797.00 c max depth : 43
1796.70/1797.00 c max depth (total): 43
1796.70/1797.00 c backtracks : 196 (16.3%)
1796.70/1797.00 c delayed cutoffs : 2
1796.70/1797.00 c repropagations : 274 (1622 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 2.89
1796.70/1797.00 c switching time : 0.44
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 88287
1796.70/1797.06 c Time complete: 1796.77.
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-3693040-1338043545/watcher-3693040-1338043545 -o /tmp/evaluation-result-3693040-1338043545/solver-3693040-1338043545 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693040-1338043545.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 3625
/proc/meminfo: memFree=28017208/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=6328 CPUtime=0 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 270479291 6479872 286 33554432000 4194304 10169799 140737157424112 140735798977848 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 1582 287 209 1459 0 114 0
[startup+0.0262519 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 3625
/proc/meminfo: memFree=28017208/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=16492 CPUtime=0.01 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 2859 0 0 0 1 0 0 0 20 0 1 0 270479291 16887808 2814 33554432000 4194304 10169799 140737157424112 140737157422760 5282286 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 4123 2814 409 1459 0 2655 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16492
[startup+0.100327 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 3625
/proc/meminfo: memFree=28017208/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=41104 CPUtime=0.08 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 8710 0 0 0 6 2 0 0 20 0 1 0 270479291 42090496 8665 33554432000 4194304 10169799 140737157424112 140737157422760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 10276 8665 544 1459 0 8808 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41104
[startup+0.300318 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 3625
/proc/meminfo: memFree=28017208/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=48892 CPUtime=0.28 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 11100 0 0 0 19 9 0 0 20 0 1 0 270479291 50065408 10610 33554432000 4194304 10169799 140737157424112 140737157422760 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 12223 10610 573 1459 0 10755 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48892
[startup+0.700273 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 3625
/proc/meminfo: memFree=28017208/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=88820 CPUtime=0.69 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 20417 0 0 0 58 11 0 0 20 0 1 0 270479291 90951680 19927 33554432000 4194304 10169799 140737157424112 140737157422760 8884044 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 22205 19927 596 1459 0 20737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88820
[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.01 3/180 3626
/proc/meminfo: memFree=27935980/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=106068 CPUtime=1.49 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 24288 0 0 0 137 12 0 0 20 0 1 0 270479291 108613632 23798 33554432000 4194304 10169799 140737157424112 140737157421640 5295876 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 26517 23798 596 1459 0 25049 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106068
[startup+3.1003 s]
/proc/loadavg: 2.00 2.03 2.01 3/180 3626
/proc/meminfo: memFree=27913776/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=147784 CPUtime=3.08 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 34351 0 0 0 288 20 0 0 20 0 1 0 270479291 151330816 33861 33554432000 4194304 10169799 140737157424112 140737157421640 8883659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 36946 33861 601 1459 0 35478 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147784
[startup+6.30027 s]
/proc/loadavg: 2.00 2.03 2.01 3/180 3626
/proc/meminfo: memFree=27855868/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=187304 CPUtime=6.29 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 44108 0 0 0 579 50 0 0 20 0 1 0 270479291 191799296 43618 33554432000 4194304 10169799 140737157424112 140737157422120 5910360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 46826 43618 605 1459 0 45358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187304
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 3626
/proc/meminfo: memFree=27789684/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=248004 CPUtime=12.68 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 59347 0 0 0 1179 89 0 0 20 0 1 0 270479291 253956096 58857 33554432000 4194304 10169799 140737157424112 140737157421640 8925833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 62001 58858 605 1459 0 60533 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 248004
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 3626
/proc/meminfo: memFree=27737480/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=294776 CPUtime=25.49 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 74372 0 0 0 2435 114 0 0 20 0 1 0 270479291 301850624 70739 33554432000 4194304 10169799 140737157424112 140737157416424 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 73694 70739 776 1459 0 72226 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 294776
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 3626
/proc/meminfo: memFree=27732760/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=299744 CPUtime=51.08 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 78737 0 0 0 4991 117 0 0 20 0 1 0 270479291 306937856 71747 33554432000 4194304 10169799 140737157424112 140737157415688 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 74936 71747 776 1459 0 73468 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 299744
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 3626
/proc/meminfo: memFree=27727720/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=296892 CPUtime=102.27 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 80280 0 0 0 10016 211 0 0 20 0 1 0 270479291 304017408 72809 33554432000 4194304 10169799 140737157424112 140737157421224 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 74223 72809 793 1459 0 72755 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 296892
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3627
/proc/meminfo: memFree=27711316/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=313964 CPUtime=162.26 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 93609 0 0 0 15921 305 0 0 20 0 1 0 270479291 321499136 77066 33554432000 4194304 10169799 140737157424112 140737157418712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78491 77066 845 1459 0 77023 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 313964
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 3627
/proc/meminfo: memFree=27708928/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=313964 CPUtime=222.24 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 93680 0 0 0 21905 319 0 0 20 0 1 0 270479291 321499136 77703 33554432000 4194304 10169799 140737157424112 140737157418072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78491 77703 846 1459 0 77023 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 313964
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/180 3630
/proc/meminfo: memFree=27707856/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=315308 CPUtime=282.23 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 93994 0 0 0 27885 338 0 0 20 0 1 0 270479291 322875392 78017 33554432000 4194304 10169799 140737157424112 140737157418712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78827 78017 846 1459 0 77359 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 315308
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 3630
/proc/meminfo: memFree=27707120/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=315724 CPUtime=342.22 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 94139 0 0 0 33864 358 0 0 20 0 1 0 270479291 323301376 78162 33554432000 4194304 10169799 140737157424112 140737157418184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78931 78162 846 1459 0 77463 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 315724
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3630
/proc/meminfo: memFree=27706624/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=315724 CPUtime=402.21 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 94139 0 0 0 39845 376 0 0 20 0 1 0 270479291 323301376 78162 33554432000 4194304 10169799 140737157424112 140737157418712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78931 78162 846 1459 0 77463 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 315724
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3631
/proc/meminfo: memFree=27706808/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=315724 CPUtime=462.2 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 94139 0 0 0 45823 397 0 0 20 0 1 0 270479291 323301376 78162 33554432000 4194304 10169799 140737157424112 140737157418568 8052248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 78931 78162 846 1459 0 77463 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 315724
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 3631
/proc/meminfo: memFree=27705816/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=316924 CPUtime=522.2 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 94434 0 0 0 51804 416 0 0 20 0 1 0 270479291 324530176 78457 33554432000 4194304 10169799 140737157424112 140737157418616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 79231 78457 846 1459 0 77763 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 316924
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 3631
/proc/meminfo: memFree=27705072/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=317936 CPUtime=582.19 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 94694 0 0 0 57780 439 0 0 20 0 1 0 270479291 325566464 78717 33554432000 4194304 10169799 140737157424112 140737157417640 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 79484 78717 846 1459 0 78016 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 317936
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26939288/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=319264 CPUtime=1122.11 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95032 0 0 0 111595 616 0 0 20 0 1 0 270479291 326926336 79053 33554432000 4194304 10169799 140737157424112 140737157418440 8004781 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 79816 79053 846 1459 0 78348 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 319264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3698
/proc/meminfo: memFree=26938280/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=319880 CPUtime=1182.1 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95147 0 0 0 117577 633 0 0 20 0 1 0 270479291 327557120 79168 33554432000 4194304 10169799 140737157424112 140737157418616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 79970 79168 846 1459 0 78502 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 319880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3698
/proc/meminfo: memFree=26935456/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=320892 CPUtime=1242.08 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95306 0 0 0 123559 649 0 0 20 0 1 0 270479291 328593408 79327 33554432000 4194304 10169799 140737157424112 140737157418616 7983406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80223 79327 846 1459 0 78755 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 320892
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 3698
/proc/meminfo: memFree=26930400/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=321204 CPUtime=1302.08 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95510 0 0 0 129539 669 0 0 20 0 1 0 270479291 328912896 79531 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80301 79531 846 1459 0 78833 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 321204
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3698
/proc/meminfo: memFree=26925220/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=322632 CPUtime=1362.07 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95895 0 0 0 135517 690 0 0 20 0 1 0 270479291 330375168 79916 33554432000 4194304 10169799 140737157424112 140737157418520 8009472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80658 79916 846 1459 0 79190 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 322632
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3699
/proc/meminfo: memFree=26922644/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=323164 CPUtime=1422.06 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 95966 0 0 0 141499 707 0 0 20 0 1 0 270479291 330919936 79987 33554432000 4194304 10169799 140737157424112 140737157418808 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80791 79987 846 1459 0 79323 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 323164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3702
/proc/meminfo: memFree=26922168/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=323604 CPUtime=1482.04 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96112 0 0 0 147482 722 0 0 20 0 1 0 270479291 331370496 80133 33554432000 4194304 10169799 140737157424112 140737157418616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80901 80133 846 1459 0 79433 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 323604
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=26921832/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=323604 CPUtime=1542.04 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96112 0 0 0 153462 742 0 0 20 0 1 0 270479291 331370496 80133 33554432000 4194304 10169799 140737157424112 140737157417976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80901 80133 846 1459 0 79433 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 323604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=26921488/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=323604 CPUtime=1602.03 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96112 0 0 0 159444 759 0 0 20 0 1 0 270479291 331370496 80133 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80901 80133 846 1459 0 79433 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 323604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=26917680/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=323604 CPUtime=1662.02 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96112 0 0 0 165427 775 0 0 20 0 1 0 270479291 331370496 80133 33554432000 4194304 10169799 140737157424112 140737157418568 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 80901 80133 846 1459 0 79433 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 323604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1722.01 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 171409 792 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418616 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 324040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1782 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 177394 806 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 324040
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1785.2 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 177713 807 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 324040
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1791.6 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178351 809 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 324040
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1794.81 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178670 811 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418616 8004296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 324040
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1795.6 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178749 811 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 324040
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1796.4 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178829 811 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 324040
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1796.6 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178849 811 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 324040
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3703
/proc/meminfo: memFree=26869020/32873844 swapFree=7608/7608
[pid=3625] ppid=3623 vsize=324040 CPUtime=1796.7 cores=1,3,5,7
/proc/3625/stat : 3625 (scip-2.1.1.4sfi) R 3623 3625 30878 0 -1 4202496 96113 0 0 0 178859 811 0 0 20 0 1 0 270479291 331816960 80134 33554432000 4194304 10169799 140737157424112 140737157418520 7983411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3625/statm: 81010 80134 846 1459 0 79542 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 324040
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.78
CPU user time (s): 1788.66
CPU system time (s): 8.12177
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 352804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.66
system time used= 8.12176
maximum resident set size= 346156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96117
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= 23
involuntary context switches= 1850
runsolver used 2.66959 second user time and 7.29489 second system time
The end