0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3731348-1338695768.opb>
0.38/0.49 c original problem has 147395 variables (147395 bin, 0 int, 0 impl, 0 cont) and 26533 constraints
0.38/0.49 c problem read
0.38/0.49 c presolving settings loaded
0.89/0.97 c presolving:
1.10/1.11 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 0 upgd conss, 20 impls, 407 clqs
1.39/1.49 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 25987 upgd conss, 20 impls, 407 clqs
3.69/3.75 c (round 3) 0 del vars, 8160 del conss, 85408 add conss, 0 chg bounds, 360128 chg sides, 1477144 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
4.59/4.60 c (round 4) 128928 del vars, 97920 del conss, 85408 add conss, 0 chg bounds, 360672 chg sides, 1507064 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
4.69/4.77 c (round 5) 128983 del vars, 97920 del conss, 85408 add conss, 0 chg bounds, 360672 chg sides, 1507064 chg coeffs, 25997 upgd conss, 464046 impls, 379 clqs
4.78/4.84 c (round 6) 128983 del vars, 98186 del conss, 85626 add conss, 0 chg bounds, 361024 chg sides, 1507634 chg coeffs, 25997 upgd conss, 464222 impls, 379 clqs
4.88/4.92 c (round 7) 129271 del vars, 98388 del conss, 85626 add conss, 0 chg bounds, 361024 chg sides, 1507634 chg coeffs, 25997 upgd conss, 464222 impls, 379 clqs
5.08/5.17 c (round 8) 129321 del vars, 98388 del conss, 85626 add conss, 0 chg bounds, 361024 chg sides, 1507634 chg coeffs, 25997 upgd conss, 464634 impls, 375 clqs
5.18/5.24 c (round 9) 129321 del vars, 98463 del conss, 85685 add conss, 0 chg bounds, 361108 chg sides, 1507850 chg coeffs, 25997 upgd conss, 464658 impls, 381 clqs
5.28/5.30 c (round 10) 129395 del vars, 98542 del conss, 85708 add conss, 0 chg bounds, 361145 chg sides, 1507964 chg coeffs, 26003 upgd conss, 464658 impls, 392 clqs
5.28/5.31 c (round 11) 129425 del vars, 98543 del conss, 85709 add conss, 0 chg bounds, 361147 chg sides, 1507966 chg coeffs, 26003 upgd conss, 464662 impls, 392 clqs
5.49/5.55 c (round 12) 129475 del vars, 98543 del conss, 85709 add conss, 0 chg bounds, 361147 chg sides, 1507966 chg coeffs, 26003 upgd conss, 464910 impls, 377 clqs
5.58/5.62 c (round 13) 129475 del vars, 98588 del conss, 85739 add conss, 0 chg bounds, 361201 chg sides, 1508168 chg coeffs, 26003 upgd conss, 464910 impls, 401 clqs
5.58/5.65 c (round 14) 129517 del vars, 98638 del conss, 85739 add conss, 0 chg bounds, 361201 chg sides, 1508200 chg coeffs, 26008 upgd conss, 464910 impls, 401 clqs
6.08/6.11 c (round 15) 129567 del vars, 98638 del conss, 85739 add conss, 0 chg bounds, 361201 chg sides, 1508200 chg coeffs, 26008 upgd conss, 465860 impls, 400 clqs
6.18/6.20 c (round 16) 129568 del vars, 98649 del conss, 85743 add conss, 1 chg bounds, 361205 chg sides, 1508712 chg coeffs, 26008 upgd conss, 465860 impls, 423 clqs
6.18/6.26 c (round 17) 129572 del vars, 98653 del conss, 85745 add conss, 1 chg bounds, 361207 chg sides, 1508910 chg coeffs, 26031 upgd conss, 465860 impls, 423 clqs
6.18/6.27 c (round 18) 129574 del vars, 98653 del conss, 85745 add conss, 1 chg bounds, 361207 chg sides, 1508910 chg coeffs, 26031 upgd conss, 465860 impls, 423 clqs
6.49/6.52 c (round 19) 129624 del vars, 98653 del conss, 85745 add conss, 1 chg bounds, 361207 chg sides, 1508910 chg coeffs, 26031 upgd conss, 466646 impls, 423 clqs
6.49/6.60 c (round 20) 129624 del vars, 98740 del conss, 85786 add conss, 1 chg bounds, 361280 chg sides, 1509367 chg coeffs, 26031 upgd conss, 466646 impls, 436 clqs
6.59/6.63 c (round 21) 129677 del vars, 98791 del conss, 85814 add conss, 1 chg bounds, 361324 chg sides, 1509556 chg coeffs, 26044 upgd conss, 466646 impls, 436 clqs
6.59/6.65 c (round 22) 129711 del vars, 98811 del conss, 85824 add conss, 1 chg bounds, 361345 chg sides, 1509585 chg coeffs, 26044 upgd conss, 466660 impls, 436 clqs
6.59/6.66 c (round 23) 129718 del vars, 98811 del conss, 85824 add conss, 1 chg bounds, 361345 chg sides, 1509585 chg coeffs, 26044 upgd conss, 466660 impls, 436 clqs
6.88/6.97 c (round 24) 129768 del vars, 98811 del conss, 85824 add conss, 1 chg bounds, 361345 chg sides, 1509585 chg coeffs, 26044 upgd conss, 467302 impls, 419 clqs
6.98/7.05 c (round 25) 129769 del vars, 98957 del conss, 85886 add conss, 1 chg bounds, 361449 chg sides, 1510044 chg coeffs, 26044 upgd conss, 467304 impls, 431 clqs
7.08/7.10 c (round 26) 129854 del vars, 98972 del conss, 85896 add conss, 1 chg bounds, 361463 chg sides, 1510135 chg coeffs, 26057 upgd conss, 467304 impls, 431 clqs
7.08/7.11 c (round 27) 129863 del vars, 98988 del conss, 85904 add conss, 1 chg bounds, 361478 chg sides, 1510154 chg coeffs, 26057 upgd conss, 467318 impls, 431 clqs
7.08/7.13 c (round 28) 129866 del vars, 98988 del conss, 85904 add conss, 1 chg bounds, 361478 chg sides, 1510154 chg coeffs, 26057 upgd conss, 467318 impls, 431 clqs
7.28/7.32 c (7.3s) probing: 1000/18467 (5.4%) - 203 fixings, 118 aggregations, 1627 implications, 0 bound changes
7.48/7.57 c (round 29) 129916 del vars, 98988 del conss, 85904 add conss, 1 chg bounds, 361478 chg sides, 1510154 chg coeffs, 26057 upgd conss, 467516 impls, 391 clqs
7.59/7.62 c (round 30) 129916 del vars, 99493 del conss, 86308 add conss, 1 chg bounds, 362172 chg sides, 1511300 chg coeffs, 26057 upgd conss, 467738 impls, 396 clqs
7.69/7.71 c (round 31) 130585 del vars, 99876 del conss, 86311 add conss, 1 chg bounds, 362177 chg sides, 1511322 chg coeffs, 26058 upgd conss, 467738 impls, 398 clqs
7.69/7.74 c (round 32) 130589 del vars, 99876 del conss, 86311 add conss, 1 chg bounds, 362177 chg sides, 1511322 chg coeffs, 26058 upgd conss, 467738 impls, 399 clqs
7.88/7.92 c (round 33) 130639 del vars, 99876 del conss, 86311 add conss, 1 chg bounds, 362177 chg sides, 1511322 chg coeffs, 26058 upgd conss, 467916 impls, 352 clqs
7.88/7.97 c (round 34) 130639 del vars, 100602 del conss, 86883 add conss, 1 chg bounds, 363165 chg sides, 1512936 chg coeffs, 26058 upgd conss, 468022 impls, 368 clqs
7.98/8.05 c (round 35) 131630 del vars, 101190 del conss, 86896 add conss, 1 chg bounds, 363180 chg sides, 1512984 chg coeffs, 26073 upgd conss, 468022 impls, 370 clqs
7.98/8.08 c (round 36) 131642 del vars, 101200 del conss, 86899 add conss, 1 chg bounds, 363189 chg sides, 1512995 chg coeffs, 26073 upgd conss, 468022 impls, 370 clqs
7.98/8.09 c (round 37) 131646 del vars, 101200 del conss, 86899 add conss, 1 chg bounds, 363189 chg sides, 1512995 chg coeffs, 26073 upgd conss, 468022 impls, 370 clqs
8.38/8.44 c (round 38) 131696 del vars, 101200 del conss, 86899 add conss, 1 chg bounds, 363189 chg sides, 1512995 chg coeffs, 26073 upgd conss, 468776 impls, 321 clqs
8.48/8.50 c (round 39) 131696 del vars, 101916 del conss, 87453 add conss, 1 chg bounds, 364059 chg sides, 1514886 chg coeffs, 26073 upgd conss, 468828 impls, 344 clqs
8.48/8.58 c (round 40) 132612 del vars, 102620 del conss, 87551 add conss, 1 chg bounds, 364193 chg sides, 1515303 chg coeffs, 26096 upgd conss, 468828 impls, 399 clqs
8.58/8.64 c (round 41) 132714 del vars, 102637 del conss, 87558 add conss, 1 chg bounds, 364206 chg sides, 1515327 chg coeffs, 26096 upgd conss, 468828 impls, 400 clqs
8.58/8.66 c (round 42) 132722 del vars, 102637 del conss, 87558 add conss, 1 chg bounds, 364206 chg sides, 1515327 chg coeffs, 26096 upgd conss, 468828 impls, 400 clqs
9.08/9.12 c (9.1s) probing: 1681/18467 (9.1%) - 341 fixings, 145 aggregations, 2353 implications, 0 bound changes
9.08/9.12 c (9.1s) probing aborted: 100/100 successive totally useless probings
9.08/9.12 c (round 43) 132753 del vars, 102637 del conss, 87558 add conss, 1 chg bounds, 364206 chg sides, 1515327 chg coeffs, 26096 upgd conss, 469406 impls, 372 clqs
9.08/9.17 c (round 44) 132753 del vars, 103053 del conss, 87863 add conss, 1 chg bounds, 364795 chg sides, 1516574 chg coeffs, 26096 upgd conss, 469428 impls, 397 clqs
9.18/9.23 c (round 45) 133353 del vars, 103433 del conss, 87912 add conss, 1 chg bounds, 364882 chg sides, 1516820 chg coeffs, 26117 upgd conss, 469428 impls, 440 clqs
9.18/9.27 c (round 46) 133419 del vars, 103455 del conss, 87922 add conss, 1 chg bounds, 364898 chg sides, 1516858 chg coeffs, 26117 upgd conss, 469428 impls, 440 clqs
9.18/9.28 c (round 47) 133432 del vars, 103455 del conss, 87922 add conss, 1 chg bounds, 364898 chg sides, 1516858 chg coeffs, 26117 upgd conss, 469428 impls, 440 clqs
9.28/9.31 c (9.3s) probing: 1691/18467 (9.2%) - 341 fixings, 145 aggregations, 2353 implications, 0 bound changes
9.28/9.31 c (9.3s) probing aborted: 100/100 successive totally useless probings
9.28/9.31 c presolving (48 rounds):
9.28/9.31 c 133432 deleted vars, 103455 deleted constraints, 87922 added constraints, 1 tightened bounds, 0 added holes, 364898 changed sides, 1516858 changed coefficients
9.28/9.31 c 469428 implications, 440 cliques
9.28/9.31 c presolved problem has 13963 variables (13963 bin, 0 int, 0 impl, 0 cont) and 11000 constraints
9.28/9.31 c 10037 constraints of type <knapsack>
9.28/9.31 c 611 constraints of type <setppc>
9.28/9.31 c 352 constraints of type <linear>
9.28/9.31 c transformed objective value is always integral (scale: 1)
9.28/9.31 c Presolving Time: 8.58
9.28/9.31 c - non default parameters ----------------------------------------------------------------------
9.28/9.31 c # SCIP version 2.0.1.5
9.28/9.31 c
9.28/9.31 c # frequency for displaying node information lines
9.28/9.31 c # [type: int, range: [-1,2147483647], default: 100]
9.28/9.31 c display/freq = 10000
9.28/9.31 c
9.28/9.31 c # maximal time in seconds to run
9.28/9.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.28/9.31 c limits/time = 1797
9.28/9.31 c
9.28/9.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.28/9.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.28/9.31 c limits/memory = 13950
9.28/9.31 c
9.28/9.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
9.28/9.31 c # [type: int, range: [1,2], default: 1]
9.28/9.31 c timing/clocktype = 2
9.28/9.31 c
9.28/9.31 c # belongs reading time to solving time?
9.28/9.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.31 c timing/reading = TRUE
9.28/9.31 c
9.28/9.31 c # should presolving try to simplify inequalities
9.28/9.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.31 c constraints/linear/simplifyinequalities = TRUE
9.28/9.31 c
9.28/9.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.28/9.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.31 c constraints/indicator/addCouplingCons = TRUE
9.28/9.31 c
9.28/9.31 c # should presolving try to simplify knapsacks
9.28/9.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.28/9.31 c constraints/knapsack/simplifyinequalities = TRUE
9.28/9.31 c
9.28/9.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.28/9.31 c # [type: int, range: [-1,2147483647], default: -1]
9.28/9.31 c separating/rapidlearning/freq = 0
9.28/9.31 c
9.28/9.31 c -----------------------------------------------------------------------------------------------
9.28/9.31 c start solving
9.28/9.32 c
13.88/13.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.88/13.97 c 14.0s| 1 | 0 | 14553 | - | 430M| 0 | 815 | 13k| 11k| 13k| 11k| 0 | 93 | 0 | 6.849595e+01 | -- | Inf
28.09/28.17 c 28.2s| 1 | 0 | 39462 | - | 434M| 0 |1062 | 13k| 11k| 13k| 11k| 239 | 93 | 0 | 7.639722e+01 | -- | Inf
35.88/35.98 c 36.0s| 1 | 0 | 44716 | - | 439M| 0 |1148 | 13k| 11k| 13k| 11k| 358 | 93 | 0 | 8.068878e+01 | -- | Inf
41.38/41.43 c 41.4s| 1 | 0 | 46523 | - | 444M| 0 |1282 | 13k| 11k| 13k| 11k| 482 | 93 | 0 | 8.275676e+01 | -- | Inf
46.68/46.71 c 46.7s| 1 | 0 | 48374 | - | 449M| 0 |1286 | 13k| 11k| 13k| 11k| 552 | 93 | 0 | 8.343438e+01 | -- | Inf
52.38/52.40 c 52.4s| 1 | 0 | 49119 | - | 454M| 0 |1409 | 13k| 11k| 13k| 11k| 649 | 93 | 0 | 8.364393e+01 | -- | Inf
57.88/57.96 c 58.0s| 1 | 0 | 51512 | - | 458M| 0 |1460 | 13k| 11k| 13k| 11k| 725 | 93 | 0 | 8.401059e+01 | -- | Inf
64.58/64.69 c 64.7s| 1 | 0 | 53511 | - | 461M| 0 |1405 | 13k| 11k| 13k| 11k| 802 | 93 | 0 | 8.439263e+01 | -- | Inf
70.39/70.43 c 70.4s| 1 | 0 | 54575 | - | 464M| 0 |1449 | 13k| 11k| 13k| 11k| 887 | 93 | 0 | 8.454858e+01 | -- | Inf
76.88/76.94 c 76.9s| 1 | 0 | 55859 | - | 468M| 0 |1481 | 13k| 11k| 13k| 11k| 949 | 93 | 0 | 8.465585e+01 | -- | Inf
80.48/80.56 c 80.6s| 1 | 0 | 59870 | - | 469M| 0 |1482 | 13k| 11k| 13k| 12k|1017 | 93 | 0 | 8.568980e+01 | -- | Inf
85.27/85.34 c 85.3s| 1 | 0 | 60600 | - | 474M| 0 |1601 | 13k| 11k| 13k| 12k|1101 | 93 | 0 | 8.593828e+01 | -- | Inf
90.37/90.47 c 90.5s| 1 | 0 | 61299 | - | 479M| 0 |1619 | 13k| 11k| 13k| 11k|1160 | 93 | 0 | 8.598217e+01 | -- | Inf
95.97/96.06 c 96.1s| 1 | 0 | 62846 | - | 482M| 0 |1568 | 13k| 11k| 13k| 12k|1198 | 93 | 0 | 8.609143e+01 | -- | Inf
101.78/101.84 c 102s| 1 | 0 | 64188 | - | 486M| 0 |1574 | 13k| 11k| 13k| 12k|1244 | 93 | 0 | 8.620957e+01 | -- | Inf
111.67/111.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.67/111.79 c 112s| 1 | 0 | 65803 | - | 486M| 0 |1541 | 13k| 11k| 13k| 12k|1301 | 93 | 0 | 8.660655e+01 | -- | Inf
122.08/122.14 c 122s| 1 | 0 | 66520 | - | 487M| 0 |1543 | 13k| 11k| 13k| 12k|1333 | 93 | 0 | 8.670329e+01 | -- | Inf
132.36/132.41 c 132s| 1 | 0 | 67294 | - | 487M| 0 |1493 | 13k| 11k| 13k| 12k|1359 | 93 | 0 | 8.672747e+01 | -- | Inf
142.76/142.83 c 143s| 1 | 0 | 68251 | - | 487M| 0 |1493 | 13k| 11k| 13k| 11k|1383 | 93 | 0 | 8.700210e+01 | -- | Inf
152.47/152.59 c 153s| 1 | 0 | 68327 | - | 488M| 0 |1513 | 13k| 11k| 13k| 11k|1403 | 93 | 0 | 8.700210e+01 | -- | Inf
162.57/162.67 c 163s| 1 | 0 | 68920 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1412 | 93 | 0 | 8.708649e+01 | -- | Inf
167.77/167.89 c 168s| 1 | 0 | 68956 | - | 488M| 0 |1497 | 13k| 11k| 13k| 11k|1422 | 93 | 0 | 8.708649e+01 | -- | Inf
173.06/173.10 c 173s| 1 | 0 | 68968 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1423 | 93 | 0 | 8.708649e+01 | -- | Inf
178.26/178.31 c 178s| 1 | 0 | 68970 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1425 | 93 | 0 | 8.708649e+01 | -- | Inf
183.46/183.52 c 184s| 1 | 0 | 68971 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1426 | 93 | 0 | 8.708649e+01 | -- | Inf
188.55/188.61 c 189s| 1 | 0 | 68972 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1427 | 93 | 0 | 8.708649e+01 | -- | Inf
197.06/197.17 c 197s| 1 | 2 | 68972 | - | 488M| 0 |1495 | 13k| 11k| 13k| 11k|1427 | 93 | 36 | 8.708649e+01 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 318
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +9.95181673791800e+01
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 8.58 (included in solving)
1796.69/1797.01 c reading : 0.49 (included in solving)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3731348-1338695768.opb
1796.69/1797.01 c Variables : 147395 (147395 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 26533 initial, 26533 maximal
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3731348-1338695768.opb
1796.69/1797.01 c Variables : 13963 (13963 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 11000 initial, 11248 maximal
1796.69/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c trivial : 0.09 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.61 132944 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.05 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 2.98 341 145 0 0 0 0 0 0 0
1796.69/1797.01 c knapsack : 3.87 0 0 0 0 0 15541 87922 348011 1499994
1796.69/1797.01 c setppc : 0.16 0 0 0 0 0 87848 0 23 0
1796.69/1797.01 c linear : 0.45 1 1 0 1 0 64 0 16864 16864
1796.69/1797.01 c logicor : 0.00 0 0 0 0 0 2 0 0 0
1796.69/1797.01 c root node : - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 343 0 4 0 3 79 0 0 578
1796.69/1797.01 c knapsack : 10037 25 12160 0 1 3 907 7 25125 2474 0 0
1796.69/1797.01 c setppc : 611 25 12153 0 1 0 583 167 1178 0 0 0
1796.69/1797.01 c linear : 352 25 11986 0 0 0 379 136 301 0 0 0
1796.69/1797.01 c logicor : 0+ 25 370 0 0 0 65 11 49 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.69/1797.01 c integral : 526.66 0.00 0.00 526.66 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 4.89 0.53 4.36 0.00 0.00 0.00 0.00
1796.69/1797.01 c setppc : 0.21 0.00 0.21 0.00 0.00 0.00 0.00
1796.69/1797.01 c linear : 0.64 0.49 0.14 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 7684 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.69/1797.01 c vbounds : 0.01 0.01 0.00
1796.69/1797.01 c rootredcost : 0.00 0.00 0.00
1796.69/1797.01 c pseudoobj : 0.02 0.02 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 38 38 112 16.6 34 4.3 -
1796.69/1797.01 c infeasible LP : 0.05 30 30 165 29.5 9 3.7 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 248 19.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.19 24 - - 680 - (maximal pool size: 5475)
1796.69/1797.01 c redcost : 0.19 367 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.03 25 0 0 1257 0
1796.69/1797.01 c intobj : 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 109.54 25 0 0 4321 0
1796.69/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.69/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 37.70 20 0 0 8341 0
1796.69/1797.01 c cmir : 1.63 10 0 0 147 0
1796.69/1797.01 c flowcover : 3.67 10 0 0 1201 0
1796.69/1797.01 c clique : 0.25 25 0 0 61 0
1796.69/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.01 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : Time Calls Vars
1796.69/1797.01 c problem variables: 0.00 0 0
1796.69/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 526.66 343 3 79 0 0 578
1796.69/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : Time Calls Found
1796.69/1797.01 c LP solutions : 0.00 - 0
1796.69/1797.01 c pseudo solutions : 0.00 - 0
1796.69/1797.01 c oneopt : 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0 0
1796.69/1797.01 c linesearchdiving : 53.12 14 0
1796.69/1797.01 c trivial : 0.10 2 0
1796.69/1797.01 c shiftandpropagate: 0.12 1 0
1796.69/1797.01 c simplerounding : 0.00 0 0
1796.69/1797.01 c zirounding : 0.34 0 0
1796.69/1797.01 c rounding : 0.23 224 0
1796.69/1797.01 c shifting : 2.10 62 0
1796.69/1797.01 c intshifting : 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0 0
1796.69/1797.01 c feaspump : 32.15 4 0
1796.69/1797.01 c clique : 0.00 0 0
1796.69/1797.01 c coefdiving : 28.07 14 0
1796.69/1797.01 c pscostdiving : 62.21 14 0
1796.69/1797.01 c fracdiving : 60.04 15 0
1796.69/1797.01 c veclendiving : 85.12 6 0
1796.69/1797.01 c intdiving : 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0 0
1796.69/1797.01 c objpscostdiving : 35.59 4 0
1796.69/1797.01 c rootsoldiving : 40.62 4 0
1796.69/1797.01 c guideddiving : 0.00 0 0
1796.69/1797.01 c octane : 0.00 0 0
1796.69/1797.01 c rens : 0.19 1 0
1796.69/1797.01 c rins : 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0 0
1796.69/1797.01 c dins : 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.69/1797.01 c primal LP : 0.03 0 0 0.00 0.00
1796.69/1797.01 c dual LP : 704.69 390 2127003 5453.85 3018.34
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.69/1797.01 c diving/probing LP: 375.61 5793 907205 156.60 2415.28
1796.69/1797.01 c strong branching : 526.37 2755 1191385 432.44 2263.39
1796.69/1797.01 c (at root node) : - 36 18490 513.61 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 318
1796.69/1797.01 c nodes (total) : 318
1796.69/1797.01 c nodes left : 258
1796.69/1797.01 c max depth : 29
1796.69/1797.01 c max depth (total): 29
1796.69/1797.01 c backtracks : 143 (45.0%)
1796.69/1797.01 c delayed cutoffs : 5
1796.69/1797.01 c repropagations : 136 (315 domain reductions, 1 cutoffs)
1796.69/1797.01 c avg switch length: 5.19
1796.69/1797.01 c switching time : 0.23
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +9.95181673791800e+01
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +8.70864891287614e+01
1796.69/1797.01 c Root Iterations : 68972
1797.00/1797.39 c Time complete: 1797.09.
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-3731348-1338695768/watcher-3731348-1338695768 -o /tmp/evaluation-result-3731348-1338695768/solver-3731348-1338695768 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731348-1338695768.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.00 2.00 2.00 3/174 31213
/proc/meminfo: memFree=27482268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=9592 CPUtime=0 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 1546 0 0 0 0 0 0 0 20 0 1 0 335702733 9822208 1501 33554432000 4194304 9016284 140733893669312 140736541766680 7925162 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 2481 1510 330 1178 0 1299 0
[startup+0.0778341 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31213
/proc/meminfo: memFree=27482268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=47920 CPUtime=0.07 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 10962 0 0 0 6 1 0 0 20 0 1 0 335702733 49070080 10917 33554432000 4194304 9016284 140733893669312 140736541766680 7937002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 11980 10917 360 1178 0 10798 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 47920
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31213
/proc/meminfo: memFree=27482268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=59900 CPUtime=0.09 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 13931 0 0 0 8 1 0 0 20 0 1 0 335702733 61337600 13886 33554432000 4194304 9016284 140733893669312 140736541766680 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 14975 13886 360 1178 0 13793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59900
[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31213
/proc/meminfo: memFree=27482268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=126588 CPUtime=0.29 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 30578 0 0 0 25 4 0 0 20 0 1 0 335702733 129626112 30533 33554432000 4194304 9016284 140733893669312 140736541766680 7874926 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 31647 30533 360 1178 0 30465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126588
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31213
/proc/meminfo: memFree=27482268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=294196 CPUtime=0.69 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 72367 0 0 0 59 10 0 0 20 0 1 0 335702733 301256704 72319 33554432000 4194304 9016284 140733893669312 140733893533208 5205744 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 73549 72319 413 1178 0 72367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 294196
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=27164456/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=499524 CPUtime=1.48 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 124857 0 0 0 132 16 0 0 20 0 1 0 335702733 511512576 123435 33554432000 4194304 9016284 140733893669312 140733893662904 5959781 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 124881 123435 492 1178 0 123699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 499524
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26950864/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=554972 CPUtime=3.09 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 136092 0 0 0 291 18 0 0 20 0 1 0 335702733 568291328 135056 33554432000 4194304 9016284 140733893669312 140733893664664 4933599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 138743 135056 507 1178 0 137561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 554972
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26935268/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=561660 CPUtime=6.28 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 138950 0 0 0 610 18 0 0 20 0 1 0 335702733 575139840 136814 33554432000 4194304 9016284 140733893669312 140733893664984 4222970 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 140415 136814 537 1178 0 139233 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 561660
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26917792/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=580708 CPUtime=12.68 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 145226 0 0 0 1247 21 0 0 20 0 1 0 335702733 594644992 141286 33554432000 4194304 9016284 140733893669312 140733893663096 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 145177 141286 653 1178 0 143995 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 580708
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26912256/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=586672 CPUtime=25.48 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 146468 0 0 0 2524 24 0 0 20 0 1 0 335702733 600752128 142917 33554432000 4194304 9016284 140733893669312 140733893663272 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 146668 142917 697 1178 0 145486 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 586672
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26889392/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=606528 CPUtime=51.08 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 151580 0 0 0 5078 30 0 0 20 0 1 0 335702733 621084672 148026 33554432000 4194304 9016284 140733893669312 140733893664376 6590023 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 151632 148026 697 1178 0 150450 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 606528
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26793000/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=649068 CPUtime=102.28 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 160770 0 0 0 10186 42 0 0 20 0 1 0 335702733 664645632 158453 33554432000 4194304 9016284 140733893669312 140733893664472 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 162267 158453 697 1178 0 161085 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 649068
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31214
/proc/meminfo: memFree=26778776/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=661352 CPUtime=162.27 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 162909 0 0 0 16175 52 0 0 20 0 1 0 335702733 677224448 161835 33554432000 4194304 9016284 140733893669312 140733893664472 6520756 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165338 161835 697 1178 0 164156 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 661352
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31215
/proc/meminfo: memFree=26776336/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=661352 CPUtime=222.25 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 172824 0 0 0 22156 69 0 0 20 0 1 0 335702733 677224448 161910 33554432000 4194304 9016284 140733893669312 140733893663064 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165338 161910 713 1178 0 164156 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 661352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31218
/proc/meminfo: memFree=26776728/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=661352 CPUtime=282.24 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 172824 0 0 0 28135 89 0 0 20 0 1 0 335702733 677224448 161910 33554432000 4194304 9016284 140733893669312 140733893663240 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165338 161910 713 1178 0 164156 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 661352
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31240
/proc/meminfo: memFree=26764796/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662648 CPUtime=342.22 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173137 0 0 0 34116 106 0 0 20 0 1 0 335702733 678551552 164472 33554432000 4194304 9016284 140733893669312 140733893663032 7081890 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165662 164472 715 1178 0 164480 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 662648
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31240
/proc/meminfo: memFree=26763300/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662648 CPUtime=402.2 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173146 0 0 0 40094 126 0 0 20 0 1 0 335702733 678551552 164774 33554432000 4194304 9016284 140733893669312 140733893662824 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165662 164774 715 1178 0 164480 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 662648
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31240
/proc/meminfo: memFree=26757128/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662648 CPUtime=462.2 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173146 0 0 0 46076 144 0 0 20 0 1 0 335702733 678551552 164774 33554432000 4194304 9016284 140733893669312 140733893663592 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165662 164774 715 1178 0 164480 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 662648
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31240
/proc/meminfo: memFree=26745872/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=522.19 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173201 0 0 0 52051 168 0 0 20 0 1 0 335702733 678711296 164846 33554432000 4194304 9016284 140733893669312 140733893663112 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164846 715 1178 0 164519 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 662804
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31241
/proc/meminfo: memFree=26744376/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=582.17 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173201 0 0 0 58028 189 0 0 20 0 1 0 335702733 678711296 164846 33554432000 4194304 9016284 140733893669312 140733893663240 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164846 715 1178 0 164519 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 662804
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27000504/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1062.11 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 105861 350 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893663272 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 662804
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31283
/proc/meminfo: memFree=27001868/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1122.1 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 111839 371 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893663176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 662804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31284
/proc/meminfo: memFree=27002240/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1182.08 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 117819 389 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893663064 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 662804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31284
/proc/meminfo: memFree=27001744/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1242.08 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 123799 409 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893663160 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 662804
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 31284
/proc/meminfo: memFree=27001496/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1302.08 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 129774 434 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893662888 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 662804
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 31284
/proc/meminfo: memFree=27001496/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1362.06 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 135752 454 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893663384 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 662804
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31284
/proc/meminfo: memFree=27001868/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=662804 CPUtime=1422.06 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173207 0 0 0 141736 470 0 0 20 0 1 0 335702733 678711296 164852 33554432000 4194304 9016284 140733893669312 140733893661992 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 165701 164852 715 1178 0 164519 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 662804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31288
/proc/meminfo: memFree=26998760/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=665796 CPUtime=1482.04 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 173953 0 0 0 147711 493 0 0 20 0 1 0 335702733 681775104 165598 33554432000 4194304 9016284 140733893669312 140733893663064 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 166449 165598 715 1178 0 165267 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 665796
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31288
/proc/meminfo: memFree=26994924/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1542.04 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174829 0 0 0 153690 514 0 0 20 0 1 0 335702733 685408256 166474 33554432000 4194304 9016284 140733893669312 140733893663272 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166474 715 1178 0 166154 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 669344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31288
/proc/meminfo: memFree=26994428/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1602.02 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174829 0 0 0 159670 532 0 0 20 0 1 0 335702733 685408256 166474 33554432000 4194304 9016284 140733893669312 140733893663480 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166474 715 1178 0 166154 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 669344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31288
/proc/meminfo: memFree=26993808/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1662.01 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174847 0 0 0 165649 552 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 669344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31288
/proc/meminfo: memFree=26993492/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1722 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 171624 576 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 669344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991260/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1781.99 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 177603 596 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893662120 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 669344
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991260/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1785.2 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 177922 598 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 669344
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991136/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1791.6 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 178560 600 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663064 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 669344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991012/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1794.8 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 178879 601 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663176 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 669344
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991012/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=669344 CPUtime=1796.39 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174848 0 0 0 179037 602 0 0 20 0 1 0 335702733 685408256 166492 33554432000 4194304 9016284 140733893669312 140733893663224 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 167336 166492 715 1178 0 166154 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 669344
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=26991012/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=659080 CPUtime=1796.79 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174850 0 0 0 179077 602 0 0 20 0 1 0 335702733 674897920 163945 33554432000 4194304 9016284 140733893669312 140733893663224 6812640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 164770 163945 717 1178 0 163588 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 659080
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31289
/proc/meminfo: memFree=27072852/32873852 swapFree=6856/6856
[pid=31213] ppid=31211 vsize=572668 CPUtime=1797 cores=0,2,4,6
/proc/31213/stat : 31213 (scip-2.0.1.4b_2) R 31211 31213 20074 0 -1 4202496 174850 0 0 0 179097 603 0 0 20 0 1 0 335702733 586412032 142342 33554432000 4194304 9016284 140733893669312 140733893663224 4445255 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31213/statm: 143167 142342 717 1178 0 141985 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 572668
Child status: 0
Real time (s): 1797.39
CPU time (s): 1797.09
CPU user time (s): 1791.04
CPU system time (s): 6.05308
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 700668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.04
system time used= 6.05308
maximum resident set size= 686984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174855
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= 39
involuntary context switches= 1850
runsolver used 2.53961 second user time and 7.27189 second system time
The end