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-3488172-1307790326.opb>
0.00/0.03 c original problem has 2850 variables (2850 bin, 0 int, 0 impl, 0 cont) and 3286 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.04/0.05 c (round 1) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.04/0.06 c (round 2) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5688 impls, 57 clqs
0.04/0.07 c (round 3) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 5688 impls, 57 clqs
0.09/0.17 c (0.2s) probing: 101/2844 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (4 rounds):
0.09/0.17 c 6 deleted vars, 2845 deleted constraints, 0 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 5688 implications, 369 cliques
0.09/0.17 c presolved problem has 2844 variables (2844 bin, 0 int, 0 impl, 0 cont) and 441 constraints
0.09/0.17 c 384 constraints of type <knapsack>
0.09/0.17 c 57 constraints of type <setppc>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 2.0.1.5
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1797
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 13950
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.2s| 1 | 0 | 468 | - | 14M| 0 | 51 |2844 | 521 |2844 | 441 | 0 | 80 | 0 | 6.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 1436 | - | 15M| 0 | 83 |2844 | 665 |2844 | 465 | 24 | 80 | 0 | 6.000000e+00 | -- | Inf
0.69/0.79 c 0.8s| 1 | 0 | 1479 | - | 15M| 0 | 100 |2844 | 665 |2844 | 488 | 47 | 80 | 0 | 6.000000e+00 | -- | Inf
1.00/1.04 c 1.0s| 1 | 0 | 1586 | - | 15M| 0 | 113 |2844 | 665 |2844 | 512 | 71 | 80 | 0 | 6.000000e+00 | -- | Inf
1.10/1.19 c 1.2s| 1 | 0 | 1676 | - | 16M| 0 | 140 |2844 | 665 |2844 | 536 | 95 | 80 | 0 | 6.000000e+00 | -- | Inf
1.39/1.40 c 1.4s| 1 | 0 | 1980 | - | 16M| 0 | 138 |2844 | 665 |2844 | 560 | 119 | 80 | 0 | 6.000000e+00 | -- | Inf
1.59/1.65 c 1.6s| 1 | 0 | 2522 | - | 16M| 0 | 137 |2844 | 665 |2844 | 584 | 143 | 80 | 0 | 6.000000e+00 | -- | Inf
2.49/2.51 c 2.5s| 1 | 2 | 2522 | - | 16M| 0 | 137 |2844 | 665 |2844 | 584 | 143 | 80 | 17 | 6.000000e+00 | -- | Inf
65.79/65.84 c 65.8s| 10000 | 196 |253033 | 25.1 | 19M| 95 | 7 |2844 |2036 |2844 | 527 | 143 |9738 |6795 | 6.000000e+00 | -- | Inf
106.40/106.43 c 106s| 20000 | 177 |474268 | 23.6 | 19M| 124 | 24 |2844 |2084 |2844 | 527 | 143 | 13k|9193 | 6.000000e+00 | -- | Inf
140.80/140.89 c 141s| 30000 | 190 |677871 | 22.5 | 20M| 124 | - |2844 |2936 |2844 | 527 | 143 | 16k| 10k| 6.000000e+00 | -- | Inf
181.99/182.02 c 182s| 40000 | 226 |885313 | 22.1 | 20M| 124 | - |2844 |2638 |2844 | 527 | 143 | 22k| 13k| 6.000000e+00 | -- | Inf
218.59/218.64 c 219s| 50000 | 282 | 1096k| 21.9 | 21M| 124 | - |2844 |3664 |2844 | 527 | 143 | 29k| 14k| 6.000000e+00 | -- | Inf
253.40/253.44 c 253s| 60000 | 335 | 1320k| 22.0 | 21M| 124 | 12 |2844 |3572 |2844 | 527 | 143 | 32k| 15k| 6.000000e+00 | -- | Inf
290.99/291.01 c 291s| 70000 | 323 | 1531k| 21.8 | 21M| 124 | - |2844 |2738 | 0 | 0 | 143 | 35k| 17k| 6.000000e+00 | -- | Inf
333.20/333.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.20/333.21 c 333s| 80000 | 368 | 1784k| 22.3 | 22M| 124 | - |2844 |2884 | 0 | 0 | 143 | 44k| 19k| 6.000000e+00 | -- | Inf
374.90/374.90 c 375s| 90000 | 416 | 2030k| 22.5 | 22M| 124 | 10 |2844 |3519 |2844 | 527 | 143 | 50k| 21k| 6.000000e+00 | -- | Inf
410.90/410.97 c 411s|100000 | 451 | 2272k| 22.7 | 22M| 124 | - |2844 |3589 |2844 | 527 | 143 | 54k| 21k| 6.000000e+00 | -- | Inf
447.91/447.91 c 448s|110000 | 444 | 2514k| 22.8 | 22M| 124 | - |2844 |3744 |2844 | 527 | 143 | 58k| 22k| 6.000000e+00 | -- | Inf
479.11/479.10 c 479s|120000 | 444 | 2694k| 22.4 | 23M| 124 | 6 |2844 |3846 |2844 | 527 | 143 | 61k| 23k| 6.000000e+00 | -- | Inf
508.51/508.58 c 509s|130000 | 436 | 2884k| 22.2 | 23M| 124 | - |2844 |4279 |2844 | 527 | 143 | 62k| 23k| 6.000000e+00 | -- | Inf
551.01/551.10 c 551s|140000 | 407 | 3125k| 22.3 | 22M| 124 | 25 |2844 |3437 |2844 | 527 | 143 | 66k| 25k| 6.000000e+00 | -- | Inf
595.21/595.29 c 595s|150000 | 493 | 3373k| 22.5 | 23M| 124 | 28 |2844 |3311 |2844 | 527 | 143 | 70k| 28k| 6.000000e+00 | -- | Inf
631.00/631.03 c 631s|160000 | 564 | 3582k| 22.4 | 24M| 124 | - |2844 |3446 | 0 | 0 | 143 | 75k| 29k| 6.000000e+00 | -- | Inf
668.82/668.88 c 669s|170000 | 530 | 3811k| 22.4 | 23M| 124 | - |2844 |3390 |2844 | 527 | 143 | 80k| 31k| 6.000000e+00 | -- | Inf
700.41/700.42 c 700s|180000 | 526 | 3988k| 22.1 | 24M| 124 | - |2844 |3984 |2844 | 527 | 143 | 85k| 32k| 6.000000e+00 | -- | Inf
740.80/740.83 c 741s|190000 | 590 | 4183k| 22.0 | 24M| 124 | - |2844 |3803 |2844 | 527 | 143 | 91k| 35k| 6.000000e+00 | -- | Inf
773.51/773.52 c 774s|200000 | 555 | 4381k| 21.9 | 24M| 124 | - |2844 |3851 |2844 | 527 | 143 | 95k| 35k| 6.000000e+00 | -- | Inf
810.51/810.58 c 811s|210000 | 600 | 4595k| 21.9 | 24M| 124 | - |2844 |3742 | 0 | 0 | 143 | 104k| 37k| 6.000000e+00 | -- | Inf
842.52/842.59 c 843s|220000 | 623 | 4798k| 21.8 | 25M| 124 | 15 |2844 |3810 |2844 | 527 | 143 | 110k| 37k| 6.000000e+00 | -- | Inf
887.52/887.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.52/887.59 c 888s|230000 | 616 | 5088k| 22.1 | 25M| 124 | - |2844 |4514 | 0 | 0 | 143 | 115k| 38k| 6.000000e+00 | -- | Inf
923.81/923.88 c 924s|240000 | 629 | 5336k| 22.2 | 26M| 124 | - |2844 |5019 |2844 | 527 | 143 | 117k| 39k| 6.000000e+00 | -- | Inf
959.71/959.75 c 960s|250000 | 642 | 5563k| 22.2 | 26M| 124 | - |2844 |5204 |2844 | 527 | 143 | 119k| 39k| 6.000000e+00 | -- | Inf
996.01/996.09 c 996s|260000 | 644 | 5823k| 22.4 | 26M| 124 | 12 |2844 |5151 |2844 | 527 | 143 | 120k| 40k| 6.000000e+00 | -- | Inf
1029.22/1029.26 c 1029s|270000 | 628 | 6045k| 22.4 | 25M| 124 | 14 |2844 |4842 |2844 | 527 | 143 | 122k| 40k| 6.000000e+00 | -- | Inf
1067.41/1067.49 c 1067s|280000 | 641 | 6319k| 22.6 | 26M| 124 | 8 |2844 |5192 |2844 | 527 | 143 | 124k| 41k| 6.000000e+00 | -- | Inf
1101.61/1101.61 c 1102s|290000 | 666 | 6554k| 22.6 | 26M| 124 | - |2844 |6211 |2844 | 527 | 143 | 126k| 41k| 6.000000e+00 | -- | Inf
1137.22/1137.21 c 1137s|300000 | 644 | 6807k| 22.7 | 27M| 124 | - |2844 |6991 |2844 | 527 | 143 | 128k| 41k| 6.000000e+00 | -- | Inf
1173.42/1173.47 c 1173s|310000 | 630 | 7061k| 22.8 | 26M| 124 | 12 |2844 |6212 |2844 | 527 | 143 | 129k| 41k| 6.000000e+00 | -- | Inf
1209.92/1209.95 c 1210s|320000 | 664 | 7313k| 22.8 | 26M| 124 | - |2844 |5799 |2844 | 527 | 143 | 131k| 41k| 6.000000e+00 | -- | Inf
1247.22/1247.26 c 1247s|330000 | 638 | 7577k| 23.0 | 26M| 124 | 7 |2844 |6036 |2844 | 527 | 143 | 133k| 41k| 6.000000e+00 | -- | Inf
1282.42/1282.45 c 1282s|340000 | 629 | 7823k| 23.0 | 27M| 124 | 10 |2844 |6703 |2844 | 527 | 143 | 135k| 41k| 6.000000e+00 | -- | Inf
1316.92/1316.96 c 1317s|350000 | 637 | 8060k| 23.0 | 27M| 124 | - |2844 |6844 |2844 | 527 | 143 | 136k| 42k| 6.000000e+00 | -- | Inf
1350.12/1350.11 c 1350s|360000 | 645 | 8278k| 23.0 | 27M| 124 | - |2844 |7162 |2844 | 527 | 143 | 137k| 42k| 6.000000e+00 | -- | Inf
1383.52/1383.59 c 1384s|370000 | 621 | 8505k| 23.0 | 27M| 124 | 18 |2844 |6804 |2844 | 527 | 143 | 139k| 42k| 6.000000e+00 | -- | Inf
1417.62/1417.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.62/1417.62 c 1418s|380000 | 629 | 8739k| 23.0 | 27M| 124 | 12 |2844 |6868 |2844 | 527 | 143 | 140k| 42k| 6.000000e+00 | -- | Inf
1452.23/1452.29 c 1452s|390000 | 641 | 8977k| 23.0 | 27M| 124 | 12 |2844 |7532 |2844 | 527 | 143 | 142k| 42k| 6.000000e+00 | -- | Inf
1486.23/1486.21 c 1486s|400000 | 645 | 9216k| 23.0 | 28M| 124 | 10 |2844 |8199 |2844 | 527 | 143 | 144k| 42k| 6.000000e+00 | -- | Inf
1520.52/1520.52 c 1521s|410000 | 644 | 9450k| 23.0 | 28M| 124 | - |2844 |8535 |2844 | 527 | 143 | 145k| 42k| 6.000000e+00 | -- | Inf
1554.93/1554.94 c 1555s|420000 | 648 | 9687k| 23.1 | 28M| 124 | 8 |2844 |8695 |2844 | 527 | 143 | 146k| 42k| 6.000000e+00 | -- | Inf
1588.93/1588.96 c 1589s|430000 | 640 | 9916k| 23.1 | 28M| 124 | - |2844 |7893 | 0 | 0 | 143 | 148k| 43k| 6.000000e+00 | -- | Inf
1623.23/1623.29 c 1623s|440000 | 632 | 10147k| 23.1 | 28M| 124 | 8 |2844 |8147 |2844 | 527 | 143 | 149k| 43k| 6.000000e+00 | -- | Inf
1657.73/1657.76 c 1658s|450000 | 641 | 10378k| 23.1 | 28M| 124 | 9 |2844 |8134 |2844 | 527 | 143 | 150k| 43k| 6.000000e+00 | -- | Inf
1691.42/1691.44 c 1691s|460000 | 636 | 10604k| 23.0 | 28M| 124 | - |2844 |8145 |2844 | 527 | 143 | 151k| 43k| 6.000000e+00 | -- | Inf
1724.83/1724.89 c 1725s|470000 | 639 | 10823k| 23.0 | 28M| 124 | 13 |2844 |8599 |2844 | 527 | 143 | 152k| 43k| 6.000000e+00 | -- | Inf
1757.73/1757.75 c 1758s|480000 | 629 | 11035k| 23.0 | 28M| 124 | 11 |2844 |8803 |2844 | 527 | 143 | 153k| 43k| 6.000000e+00 | -- | Inf
1791.13/1791.17 c 1791s|490000 | 631 | 11262k| 23.0 | 28M| 124 | - |2844 |9107 |2844 | 527 | 143 | 154k| 43k| 6.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 491681
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +6.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.13 (included in solving)
1797.03/1797.00 c reading : 0.03 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488172-1307790326.opb
1797.03/1797.00 c Variables : 2850 (2850 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3286 initial, 3286 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488172-1307790326.opb
1797.03/1797.00 c Variables : 2844 (2844 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 441 initial, 9161 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.08 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.02 6 0 0 6 0 2845 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 265253 0 4 0 771 27634 0 0 497218
1797.03/1797.00 c knapsack : 384 6 1306203 0 1 3 11198903 11380 3184989 1203 0 0
1797.03/1797.00 c setppc : 57 6 1294823 0 1 2 4068643 1267 10878640 0 0 0
1797.03/1797.00 c linear : 0+ 6 21 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0+ 6 629327 0 0 0 2910548 15664 1083114 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 147.52 0.00 0.00 147.52 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 26.48 0.02 20.25 0.00 0.00 0.00 6.21
1797.03/1797.00 c setppc : 8.90 0.00 7.75 0.00 0.00 0.00 1.15
1797.03/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 15.96 0.00 11.94 0.00 0.00 0.00 4.02
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.21 0.21 0.00
1797.03/1797.00 c rootredcost : 0.20 0.20 0.00
1797.03/1797.00 c pseudoobj : 0.14 0.14 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 4.27 28311 28239 281962 91.0 1406 57.1 -
1797.03/1797.00 c infeasible LP : 348.28 217138 34013 1222657 289.6 221 66.5 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 154857 64.0 - - -
1797.03/1797.00 c applied locally : - - - 46 459.6 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 5 - - 695 - (maximal pool size: 1152)
1797.03/1797.00 c redcost : 10.94 264192 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.04 6 0 0 52 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.18 6 0 0 43 0
1797.03/1797.00 c cmir : 0.39 6 0 0 1439 0
1797.03/1797.00 c flowcover : 0.38 6 0 0 1202 0
1797.03/1797.00 c clique : 0.00 6 0 0 12 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.18 1 0 0 0 144
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 147.33 265253 771 27634 0 0 497218
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.13 0 0
1797.03/1797.00 c crossover : 0.11 0 0
1797.03/1797.00 c guideddiving : 0.02 0 0
1797.03/1797.00 c fracdiving : 2.30 66 0
1797.03/1797.00 c linesearchdiving : 0.74 66 0
1797.03/1797.00 c coefdiving : 2.04 66 0
1797.03/1797.00 c veclendiving : 0.99 66 0
1797.03/1797.00 c feaspump : 1.25 33 0
1797.03/1797.00 c pscostdiving : 1.46 67 0
1797.03/1797.00 c objpscostdiving : 0.39 34 0
1797.03/1797.00 c rootsoldiving : 1.13 34 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.02 1 0
1797.03/1797.00 c simplerounding : 0.06 0 0
1797.03/1797.00 c zirounding : 4.02 0 0
1797.03/1797.00 c rounding : 0.35 7231 0
1797.03/1797.00 c shifting : 2.57 2250 0
1797.03/1797.00 c intshifting : 0.01 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.06 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.08 0 0
1797.03/1797.00 c trysol : 0.09 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 1114.53 480123 11239163 23.41 10084.22
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 7.14 6367 61676 9.69 8634.42
1797.03/1797.00 c strong branching : 143.58 43509 1123180 25.81 7822.61
1797.03/1797.00 c (at root node) : - 17 6574 386.71 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 491681
1797.03/1797.00 c nodes (total) : 491681
1797.03/1797.00 c nodes left : 629
1797.03/1797.00 c max depth : 124
1797.03/1797.00 c max depth (total): 124
1797.03/1797.00 c backtracks : 80501 (16.4%)
1797.03/1797.00 c delayed cutoffs : 4911
1797.03/1797.00 c repropagations : 303452 (871276 domain reductions, 2045 cutoffs)
1797.03/1797.00 c avg switch length: 3.68
1797.03/1797.00 c switching time : 33.61
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +6.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +6.00000000000000e+00
1797.03/1797.00 c Root Iterations : 2522
1797.03/1797.03 c Time complete: 1797.07.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488172-1307790326/watcher-3488172-1307790326 -o /tmp/evaluation-result-3488172-1307790326/solver-3488172-1307790326 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488172-1307790326.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 1.94 2/177 8342
/proc/meminfo: memFree=31635452/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 2161 0 0 0 0 0 0 0 25 0 1 0 969263300 12996608 2115 33554432000 4194304 9016284 140737004052032 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8342/statm: 3173 2119 360 1178 0 1991 0
[startup+0.0534001 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 8342
/proc/meminfo: memFree=31635452/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=29184 CPUtime=0.04 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 6075 0 0 0 4 0 0 0 25 0 1 0 969263300 29884416 6029 33554432000 4194304 9016284 140737004052032 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 7296 6029 476 1178 0 6114 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29184
[startup+0.10039 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 8342
/proc/meminfo: memFree=31635452/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=34240 CPUtime=0.09 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 7646 0 0 0 9 0 0 0 25 0 1 0 969263300 35061760 7277 33554432000 4194304 9016284 140737004052032 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 8560 7310 511 1178 0 7378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34240
[startup+0.30037 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 8342
/proc/meminfo: memFree=31635452/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=43956 CPUtime=0.29 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 10555 0 0 0 29 0 0 0 18 0 1 0 969263300 45010944 9952 33554432000 4194304 9016284 140737004052032 18446744073709551615 6520750 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 10989 9952 674 1178 0 9807 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43956
[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 8342
/proc/meminfo: memFree=31635452/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=70620 CPUtime=0.69 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 17748 0 0 0 68 1 0 0 18 0 1 0 969263300 72314880 16428 33554432000 4194304 9016284 140737004052032 18446744073709551615 4438679 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 17655 16428 713 1178 0 16473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70620
[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 8343
/proc/meminfo: memFree=31572228/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=70620 CPUtime=1.49 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 17756 0 0 0 148 1 0 0 19 0 1 0 969263300 72314880 16429 33554432000 4194304 9016284 140737004052032 18446744073709551615 4243895 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 17655 16429 706 1178 0 16473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70620
[startup+3.10084 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 8343
/proc/meminfo: memFree=31569496/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=3.09 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18478 0 0 0 307 2 0 0 25 0 1 0 969263300 74174464 17151 33554432000 4194304 9016284 140737004052032 18446744073709551615 7158192 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17151 711 1178 0 16927 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72436
[startup+6.3003 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 8343
/proc/meminfo: memFree=31569000/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=6.29 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18478 0 0 0 623 6 0 0 25 0 1 0 969263300 74174464 17151 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17151 711 1178 0 16927 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72436
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 8343
/proc/meminfo: memFree=31568264/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=12.69 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18480 0 0 0 1258 11 0 0 25 0 1 0 969263300 74174464 17153 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17153 713 1178 0 16927 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72436
[startup+25.5009 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 8344
/proc/meminfo: memFree=31568376/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=25.5 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18481 0 0 0 2526 24 0 0 25 0 1 0 969263300 74174464 17154 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17154 714 1178 0 16927 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 72436
[startup+51.1005 s]
/proc/loadavg: 2.09 2.03 1.95 3/178 8344
/proc/meminfo: memFree=31567740/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=51.09 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 5062 47 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72436
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.95 3/178 8346
/proc/meminfo: memFree=31566864/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=102.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 10142 88 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72436
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 8347
/proc/meminfo: memFree=31566688/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=162.29 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 16094 135 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 72436
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 8349
/proc/meminfo: memFree=31564760/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=222.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 22045 185 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72436
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 8351
/proc/meminfo: memFree=31567444/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=282.29 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 27996 233 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 72436
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8352
/proc/meminfo: memFree=31569264/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=342.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 33943 287 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 72436
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8354
/proc/meminfo: memFree=31569584/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=402.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 39894 336 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 5155042 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72436
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8355
/proc/meminfo: memFree=31566936/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=462.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18484 0 0 0 45845 385 0 0 25 0 1 0 969263300 74174464 17157 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17157 714 1178 0 16927 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 72436
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8357
/proc/meminfo: memFree=31566904/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=72436 CPUtime=522.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18525 0 0 0 51795 435 0 0 25 0 1 0 969263300 74174464 17198 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18109 17198 714 1178 0 16927 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 72436
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8359
/proc/meminfo: memFree=31568096/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=73068 CPUtime=582.3 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 18682 0 0 0 57745 485 0 0 25 0 1 0 969263300 74821632 17355 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 18267 17355 714 1178 0 17085 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 73068
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31363636/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=81136 CPUtime=1122.32 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20764 0 0 0 111294 938 0 0 25 0 1 0 969263300 83083264 19428 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20284 19428 714 1178 0 19102 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 81136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8490
/proc/meminfo: memFree=31363712/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=81316 CPUtime=1182.31 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20785 0 0 0 117240 991 0 0 25 0 1 0 969263300 83267584 19449 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20329 19449 714 1178 0 19147 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 81316
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8491
/proc/meminfo: memFree=31363056/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=81632 CPUtime=1242.32 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20848 0 0 0 123191 1041 0 0 25 0 1 0 969263300 83591168 19512 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20408 19512 714 1178 0 19226 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 81632
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8493
/proc/meminfo: memFree=31362888/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=81632 CPUtime=1302.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20878 0 0 0 129146 1087 0 0 25 0 1 0 969263300 83591168 19542 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20408 19542 714 1178 0 19226 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 81632
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8494
/proc/meminfo: memFree=31362848/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=81764 CPUtime=1362.32 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20900 0 0 0 135096 1136 0 0 25 0 1 0 969263300 83726336 19564 33554432000 4194304 9016284 140737004052032 18446744073709551615 6776643 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20441 19564 714 1178 0 19259 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 81764
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8496
/proc/meminfo: memFree=31366412/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=82080 CPUtime=1422.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 20960 0 0 0 141053 1180 0 0 25 0 1 0 969263300 84049920 19624 33554432000 4194304 9016284 140737004052032 18446744073709551615 6422647 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20520 19624 714 1178 0 19338 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 82080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8498
/proc/meminfo: memFree=31366008/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=82424 CPUtime=1482.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21069 0 0 0 147004 1229 0 0 25 0 1 0 969263300 84402176 19733 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20606 19733 714 1178 0 19424 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 82424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8499
/proc/meminfo: memFree=31363248/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83052 CPUtime=1542.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21202 0 0 0 152954 1279 0 0 25 0 1 0 969263300 85045248 19866 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20763 19866 714 1178 0 19581 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 83052
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8501
/proc/meminfo: memFree=31362596/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83388 CPUtime=1602.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21301 0 0 0 158908 1325 0 0 25 0 1 0 969263300 85389312 19965 33554432000 4194304 9016284 140737004052032 18446744073709551615 7081817 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20847 19965 714 1178 0 19665 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 83388
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8502
/proc/meminfo: memFree=31364144/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83388 CPUtime=1662.32 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21301 0 0 0 164858 1374 0 0 25 0 1 0 969263300 85389312 19965 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20847 19965 714 1178 0 19665 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 83388
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8504
/proc/meminfo: memFree=31362872/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83536 CPUtime=1722.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21334 0 0 0 170811 1422 0 0 25 0 1 0 969263300 85540864 19998 33554432000 4194304 9016284 140737004052032 18446744073709551615 4291256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20884 19998 714 1178 0 19702 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 83536
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31363072/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83536 CPUtime=1782.33 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21342 0 0 0 176763 1470 0 0 25 0 1 0 969263300 85540864 20006 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20884 20006 714 1178 0 19702 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 83536
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31363072/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83536 CPUtime=1785.53 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21342 0 0 0 177080 1473 0 0 25 0 1 0 969263300 85540864 20006 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20884 20006 714 1178 0 19702 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 83536
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362944/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83536 CPUtime=1791.94 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21342 0 0 0 177716 1478 0 0 25 0 1 0 969263300 85540864 20006 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20884 20006 714 1178 0 19702 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 83536
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362816/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83920 CPUtime=1795.13 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21416 0 0 0 178033 1480 0 0 25 0 1 0 969263300 85934080 20080 33554432000 4194304 9016284 140737004052032 18446744073709551615 6422566 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20980 20080 714 1178 0 19798 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 83920
[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362816/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83920 CPUtime=1795.93 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21416 0 0 0 178112 1481 0 0 25 0 1 0 969263300 85934080 20080 33554432000 4194304 9016284 140737004052032 18446744073709551615 7177424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20980 20080 714 1178 0 19798 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 83920
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362692/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83920 CPUtime=1796.73 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21416 0 0 0 178192 1481 0 0 25 0 1 0 969263300 85934080 20080 33554432000 4194304 9016284 140737004052032 18446744073709551615 4292806 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20980 20080 714 1178 0 19798 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 83920
[startup+1796.9 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362692/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83920 CPUtime=1796.93 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21416 0 0 0 178212 1481 0 0 25 0 1 0 969263300 85934080 20080 33554432000 4194304 9016284 140737004052032 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20980 20080 714 1178 0 19798 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 83920
[startup+1797 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8506
/proc/meminfo: memFree=31362692/32951124 swapFree=67054712/67111528
[pid=8342] ppid=8340 vsize=83920 CPUtime=1797.03 cores=0,2,4,6
/proc/8342/stat : 8342 (scip-2.0.1.4b_2) R 8340 8342 7747 0 -1 4202496 21416 0 0 0 178222 1481 0 0 25 0 1 0 969263300 85934080 20080 33554432000 4194304 9016284 140737004052032 18446744073709551615 4291186 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8342/statm: 20980 20080 714 1178 0 19798 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 83920
Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.08
CPU user time (s): 1782.26
CPU system time (s): 14.8207
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 83920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.26
system time used= 14.8207
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21422
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= 8
involuntary context switches= 3060
runsolver used 2.69959 second user time and 5.60415 second system time
The end