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-3737483-1338728126.opb>
0.00/0.01 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1745 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.09/0.15 c (round 1) 0 del vars, 1644 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10152 impls, 199 clqs
0.09/0.16 c (round 2) 1244 del vars, 1644 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10152 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 101/200 (50.5%) - 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 (3 rounds):
0.09/0.17 c 1244 deleted vars, 1644 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 10152 implications, 0 cliques
0.09/0.17 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.09/0.17 c 200 constraints of type <knapsack>
0.09/0.17 c 100 constraints of type <setppc>
0.09/0.17 c 1 constraints of type <linear>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.15
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.24 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.24 c t 0.2s| 1 | 0 | 1133 | - |4129k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.24 o -1
0.19/0.24 c R 0.2s| 1 | 0 | 1133 | - |4146k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.29/0.31 o -19
0.29/0.31 c y 0.3s| 1 | 0 | 1133 | - |4536k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.29/0.33 c 0.3s| 1 | 0 | 1148 | - |4544k| 0 | 200 | 200 | 302 | 200 | 316 | 15 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.29/0.37 c 0.4s| 1 | 0 | 1151 | - |4645k| 0 | 200 | 200 | 302 | 200 | 318 | 17 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.39/0.42 c 0.4s| 1 | 0 | 1156 | - |4654k| 0 | 200 | 200 | 302 | 200 | 319 | 18 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.39/0.47 c 0.5s| 1 | 0 | 1159 | - |4661k| 0 | 200 | 200 | 302 | 200 | 321 | 20 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.49/0.52 c 0.5s| 1 | 0 | 1163 | - |4670k| 0 | 200 | 200 | 302 | 200 | 322 | 21 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.49/0.57 c 0.6s| 1 | 0 | 1166 | - |4672k| 0 | 200 | 200 | 302 | 200 | 324 | 23 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
1.79/1.84 c 1.8s| 1 | 2 | 1166 | - |4673k| 0 | 200 | 200 | 302 | 200 | 324 | 23 | 0 | 27 |-5.000000e+01 |-1.900000e+01 | 62.00%
3.99/4.08 o -21
3.99/4.08 c c 4.1s| 14 | 15 | 2510 | 103.4 |4779k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 286 |-4.982160e+01 |-2.100000e+01 | 57.85%
5.59/5.61 o -23
5.59/5.61 c p 5.6s| 26 | 27 | 3841 | 107.0 |4799k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 467 |-4.962849e+01 |-2.300000e+01 | 53.66%
6.59/6.66 o -24
6.59/6.66 c f 6.7s| 38 | 39 | 4764 | 97.2 |4829k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 625 |-4.962849e+01 |-2.400000e+01 | 51.64%
13.28/13.36 o -25
13.28/13.36 c l13.4s| 575 | 516 | 44650 | 75.8 |5681k| 25 | - | 200 | 320 | 200 | 320 | 23 | 18 |1274 |-4.829421e+01 |-2.500000e+01 | 48.23%
13.89/13.92 o -27
13.89/13.92 c f13.9s| 637 | 521 | 49364 | 75.8 |5766k| 25 | - | 200 | 321 | 200 | 320 | 23 | 19 |1274 |-4.728458e+01 |-2.700000e+01 | 42.90%
14.39/14.46 o -28
14.39/14.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.39/14.46 c f14.5s| 658 | 513 | 53359 | 79.4 |5772k| 25 | - | 200 | 321 | 200 | 320 | 23 | 19 |1274 |-4.693720e+01 |-2.800000e+01 | 40.35%
54.47/54.53 c 54.5s| 10000 | 5281 |450884 | 45.0 | 10M| 94 | 76 | 200 | 417 | 200 | 320 | 23 | 166 |1277 |-4.394206e+01 |-2.800000e+01 | 36.28%
107.46/107.56 c 108s| 20000 | 15019 | 1113k| 55.6 | 17M| 94 | 151 | 200 | 522 | 200 | 320 | 23 | 335 |1292 |-4.321467e+01 |-2.800000e+01 | 35.21%
156.86/156.94 c 157s| 30000 | 24675 | 1742k| 58.0 | 25M| 94 | 140 | 200 | 526 | 200 | 320 | 23 | 455 |1408 |-4.290529e+01 |-2.800000e+01 | 34.74%
204.34/204.50 c 204s| 40000 | 34185 | 2354k| 58.8 | 32M| 94 | 135 | 200 | 480 | 200 | 320 | 23 | 546 |1564 |-4.265593e+01 |-2.800000e+01 | 34.36%
250.24/250.30 c 250s| 50000 | 43629 | 2955k| 59.1 | 39M| 94 | 89 | 200 | 456 | 200 | 320 | 23 | 640 |1714 |-4.242640e+01 |-2.800000e+01 | 34.00%
295.22/295.35 c 295s| 60000 | 53105 | 3548k| 59.1 | 47M| 94 | 82 | 200 | 455 | 200 | 320 | 23 | 737 |1848 |-4.225333e+01 |-2.800000e+01 | 33.73%
337.32/337.47 c 337s| 70000 | 62211 | 4125k| 58.9 | 55M| 94 | 80 | 200 | 467 | 200 | 320 | 23 | 835 |1982 |-4.213595e+01 |-2.800000e+01 | 33.55%
380.01/380.19 c 380s| 80000 | 71461 | 4705k| 58.8 | 62M| 94 | - | 200 | 498 | 200 | 320 | 23 | 935 |2113 |-4.205602e+01 |-2.800000e+01 | 33.42%
420.90/421.02 c 421s| 90000 | 80571 | 5270k| 58.6 | 70M| 94 | 75 | 200 | 491 | 200 | 320 | 23 |1047 |2233 |-4.201622e+01 |-2.800000e+01 | 33.36%
461.29/461.40 c 461s|100000 | 89577 | 5842k| 58.4 | 77M| 94 | 115 | 200 | 539 | 200 | 320 | 23 |1190 |2336 |-4.192814e+01 |-2.800000e+01 | 33.22%
499.68/499.87 c 500s|110000 | 98313 | 6393k| 58.1 | 84M| 94 | 88 | 200 | 515 | 200 | 320 | 23 |1263 |2431 |-4.187058e+01 |-2.800000e+01 | 33.13%
538.58/538.73 c 539s|120000 |107127 | 6955k| 58.0 | 92M| 94 | 107 | 200 | 574 | 200 | 320 | 23 |1444 |2532 |-4.181159e+01 |-2.800000e+01 | 33.03%
576.28/576.46 c 576s|130000 |115827 | 7498k| 57.7 | 99M| 94 | 102 | 200 | 580 | 200 | 320 | 23 |1566 |2612 |-4.175328e+01 |-2.800000e+01 | 32.94%
615.07/615.23 c 615s|140000 |124655 | 8053k| 57.5 | 107M| 94 | 60 | 200 | 530 | 200 | 320 | 23 |1667 |2692 |-4.170707e+01 |-2.800000e+01 | 32.87%
653.17/653.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.17/653.32 c 653s|150000 |133427 | 8601k| 57.3 | 114M| 94 | 75 | 200 | 480 | 200 | 320 | 23 |1729 |2760 |-4.166719e+01 |-2.800000e+01 | 32.80%
688.84/689.02 c 689s|160000 |141857 | 9126k| 57.0 | 121M| 94 | 142 | 200 | 470 | 200 | 320 | 23 |1818 |2823 |-4.162170e+01 |-2.800000e+01 | 32.73%
725.44/725.68 c 726s|170000 |150523 | 9655k| 56.8 | 128M| 94 | 110 | 200 | 463 | 200 | 320 | 23 |1890 |2882 |-4.158451e+01 |-2.800000e+01 | 32.67%
762.34/762.59 c 763s|180000 |159287 | 10191k| 56.6 | 136M| 94 | 126 | 200 | 467 | 200 | 320 | 23 |1972 |2932 |-4.154923e+01 |-2.800000e+01 | 32.61%
799.23/799.45 c 799s|190000 |168035 | 10726k| 56.5 | 143M| 94 | 79 | 200 | 470 | 200 | 320 | 23 |2055 |2986 |-4.151746e+01 |-2.800000e+01 | 32.56%
835.22/835.47 c 835s|200000 |176651 | 11247k| 56.2 | 151M| 94 | 78 | 200 | 463 | 200 | 320 | 23 |2135 |3055 |-4.148481e+01 |-2.800000e+01 | 32.51%
872.32/872.54 c 873s|210000 |185423 | 11784k| 56.1 | 158M| 94 | 122 | 200 | 452 | 200 | 320 | 23 |2212 |3115 |-4.144759e+01 |-2.800000e+01 | 32.44%
908.91/909.16 c 909s|220000 |194217 | 12310k| 56.0 | 165M| 94 | 115 | 200 | 444 | 200 | 320 | 23 |2283 |3164 |-4.141729e+01 |-2.800000e+01 | 32.40%
943.70/943.94 c 944s|230000 |202779 | 12823k| 55.8 | 173M| 94 | 67 | 200 | 444 | 200 | 320 | 23 |2361 |3208 |-4.138761e+01 |-2.800000e+01 | 32.35%
980.60/980.83 c 981s|240000 |211651 | 13357k| 55.7 | 180M| 94 | 85 | 200 | 454 | 200 | 320 | 23 |2443 |3253 |-4.135929e+01 |-2.800000e+01 | 32.30%
1015.58/1015.82 c 1016s|250000 |220185 | 13869k| 55.5 | 188M| 94 | 122 | 200 | 467 | 200 | 320 | 23 |2529 |3300 |-4.132932e+01 |-2.800000e+01 | 32.25%
1049.18/1049.42 c 1049s|260000 |228495 | 14368k| 55.3 | 195M| 94 | 59 | 200 | 452 | 200 | 320 | 23 |2586 |3341 |-4.130069e+01 |-2.800000e+01 | 32.20%
1083.18/1083.42 c 1083s|270000 |236867 | 14868k| 55.1 | 202M| 94 | 63 | 200 | 427 | 200 | 320 | 23 |2651 |3387 |-4.127152e+01 |-2.800000e+01 | 32.16%
1118.48/1118.75 c 1119s|280000 |245363 | 15393k| 55.0 | 209M| 94 | 70 | 200 | 436 | 200 | 320 | 23 |2726 |3445 |-4.123767e+01 |-2.800000e+01 | 32.10%
1152.86/1153.18 c 1153s|290000 |253731 | 15902k| 54.8 | 217M| 94 | 92 | 200 | 470 | 200 | 320 | 23 |2819 |3494 |-4.121140e+01 |-2.800000e+01 | 32.06%
1187.96/1188.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.96/1188.22 c 1188s|300000 |262291 | 16409k| 54.7 | 224M| 94 | 77 | 200 | 450 | 200 | 320 | 23 |2876 |3549 |-4.118254e+01 |-2.800000e+01 | 32.01%
1222.05/1222.34 c 1222s|310000 |270845 | 16913k| 54.6 | 231M| 94 | 56 | 200 | 420 | 200 | 320 | 23 |2937 |3589 |-4.116607e+01 |-2.800000e+01 | 31.98%
1256.05/1256.38 c 1256s|320000 |279317 | 17414k| 54.4 | 239M| 94 | 67 | 200 | 423 | 200 | 320 | 23 |3005 |3628 |-4.114373e+01 |-2.800000e+01 | 31.95%
1290.84/1291.15 c 1291s|330000 |287921 | 17927k| 54.3 | 246M| 94 | 72 | 200 | 447 | 200 | 320 | 23 |3089 |3672 |-4.112236e+01 |-2.800000e+01 | 31.91%
1324.34/1324.69 c 1325s|340000 |296381 | 18426k| 54.2 | 253M| 94 | 127 | 200 | 429 | 200 | 320 | 23 |3163 |3712 |-4.110012e+01 |-2.800000e+01 | 31.87%
1357.14/1357.45 c 1357s|350000 |304767 | 18917k| 54.0 | 260M| 94 | 91 | 200 | 421 | 200 | 320 | 23 |3222 |3750 |-4.108330e+01 |-2.800000e+01 | 31.85%
1390.23/1390.59 c 1391s|360000 |313285 | 19409k| 53.9 | 268M| 94 | 122 | 200 | 424 | 200 | 320 | 23 |3275 |3797 |-4.106479e+01 |-2.800000e+01 | 31.82%
1420.32/1420.62 c 1421s|370000 |321109 | 19868k| 53.7 | 275M| 94 | 106 | 200 | 423 | 200 | 320 | 23 |3339 |3826 |-4.105387e+01 |-2.800000e+01 | 31.80%
1453.12/1453.48 c 1453s|380000 |329417 | 20362k| 53.6 | 282M| 94 | 54 | 200 | 411 | 200 | 320 | 23 |3396 |3865 |-4.103656e+01 |-2.800000e+01 | 31.77%
1487.20/1487.52 c 1488s|390000 |337817 | 20873k| 53.5 | 289M| 94 | 78 | 200 | 438 | 200 | 320 | 23 |3471 |3921 |-4.101569e+01 |-2.800000e+01 | 31.73%
1519.80/1520.16 c 1520s|400000 |346021 | 21368k| 53.4 | 296M| 94 | 134 | 200 | 435 | 200 | 320 | 23 |3531 |3948 |-4.099918e+01 |-2.800000e+01 | 31.71%
1549.59/1549.99 c 1550s|410000 |353451 | 21836k| 53.3 | 303M| 94 | 121 | 200 | 504 | 200 | 320 | 23 |3654 |3988 |-4.097715e+01 |-2.800000e+01 | 31.67%
1581.29/1581.63 c 1582s|420000 |361497 | 22323k| 53.1 | 310M| 94 | 71 | 200 | 523 | 200 | 320 | 23 |3753 |4016 |-4.095998e+01 |-2.800000e+01 | 31.64%
1613.78/1614.14 c 1614s|430000 |369687 | 22814k| 53.1 | 317M| 94 | - | 200 | 456 | 200 | 320 | 23 |3811 |4058 |-4.094213e+01 |-2.800000e+01 | 31.61%
1645.08/1645.41 c 1645s|440000 |377727 | 23285k| 52.9 | 324M| 94 | 67 | 200 | 443 | 200 | 320 | 23 |3885 |4085 |-4.092299e+01 |-2.800000e+01 | 31.58%
1676.37/1676.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.37/1676.71 c 1677s|450000 |385941 | 23757k| 52.8 | 331M| 94 | - | 200 | 442 | 200 | 320 | 23 |3943 |4111 |-4.090906e+01 |-2.800000e+01 | 31.56%
1707.26/1707.67 c 1708s|460000 |394163 | 24224k| 52.7 | 339M| 94 | 98 | 200 | 456 | 200 | 320 | 23 |4030 |4144 |-4.089474e+01 |-2.800000e+01 | 31.53%
1737.56/1737.95 c 1738s|470000 |402129 | 24685k| 52.5 | 346M| 94 | 124 | 200 | 443 | 200 | 320 | 23 |4085 |4175 |-4.088509e+01 |-2.800000e+01 | 31.52%
1767.96/1768.32 c 1768s|480000 |410101 | 25145k| 52.4 | 353M| 94 | 120 | 200 | 438 | 200 | 320 | 23 |4143 |4196 |-4.087511e+01 |-2.800000e+01 | 31.50%
1796.65/1797.01 c
1796.65/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.01 c Solving Time (sec) : 1797.00
1796.65/1797.01 c Solving Nodes : 488919
1796.65/1797.01 c Primal Bound : -2.80000000000000e+01 (457 solutions)
1796.65/1797.01 c Dual Bound : -4.08584499553398e+01
1796.65/1797.01 c Gap : 31.47 %
1796.65/1797.01 s SATISFIABLE
1796.65/1797.01 v -x166 -x164 x158 -x163 -x121 x171 -x113 x156 -x144 x135 -x152 x161 x122 -x130 -x157 x146 -x181 x129 -x111 x192 x167 -x154 -x185
1796.65/1797.01 v x127 -x117 -x184 -x120 -x124 x134 x178 -x168 x136 x172 x110 x187 x190 x200 -x105 -x151 -x131 -x109 -x106 -x183 -x153 -x182 -x189
1796.65/1797.01 v -x149 -x195 -x104 -x198 -x193 -x188 -x128 -x119 -x112 x191 -x179 -x162 -x107 -x137 -x115 -x175 -x145 -x132 -x108 x199 -x138
1796.65/1797.01 v -x148 -x174 x139 -x143 -x197 -x180 -x160 -x155 -x150 -x118 -x114 -x116 -x196 x176 -x142 -x103 x140 -x194 -x125 -x101 -x170
1796.65/1797.01 v x133 -x123 x159 -x165 -x102 -x177 -x173 -x126 x141 -x169 x186 -x147 -x100 -x99 x98 x97 x96 x95 -x94 -x93 -x92 -x91 -x90 -x89
1796.65/1797.01 v x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 x63 -x62
1796.65/1797.01 v -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 x52 -x51 x50 -x49 x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36
1796.65/1797.01 v -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 x24 -x23 -x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 -x13 x12 -x11 -x10
1796.65/1797.01 v -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1
1796.65/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.01 c Total Time : 1797.00
1796.65/1797.01 c solving : 1797.00
1796.65/1797.01 c presolving : 0.15 (included in solving)
1796.65/1797.01 c reading : 0.01 (included in solving)
1796.65/1797.01 c Original Problem :
1796.65/1797.01 c Problem name : HOME/instance-3737483-1338728126.opb
1796.65/1797.01 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 1745 initial, 1745 maximal
1796.65/1797.01 c Presolved Problem :
1796.65/1797.01 c Problem name : t_HOME/instance-3737483-1338728126.opb
1796.65/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.01 c Constraints : 301 initial, 594 maximal
1796.65/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c dualfix : 0.00 1244 0 0 0 0 0 0 0 0
1796.65/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 1644 200 0 0
1796.65/1797.01 c root node : - 0 - - 0 - - - - -
1796.65/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c integral : 0 0 0 453372 0 462 0 0 92 0 0 906598
1796.65/1797.01 c knapsack : 200 6 1718046 0 1 457 35434 110 2075506 0 0 0
1796.65/1797.01 c setppc : 100 6 1705008 0 1 456 4214 0 317889 0 0 0
1796.65/1797.01 c linear : 1+ 7 1717935 0 0 456 0 287 0 0 0 0
1796.65/1797.01 c logicor : 0+ 0 411939 0 0 0 0 0 36 0 0 0
1796.65/1797.01 c countsols : 0 0 0 0 1 460 0 0 0 0 0 0
1796.65/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.65/1797.01 c integral : 33.88 0.00 0.00 33.88 0.00 0.00 0.00
1796.65/1797.01 c knapsack : 9.64 0.01 9.57 0.00 0.00 0.03 0.03
1796.65/1797.01 c setppc : 2.59 0.00 2.58 0.00 0.00 0.00 0.00
1796.65/1797.01 c linear : 2.13 0.01 2.12 0.00 0.00 0.00 0.00
1796.65/1797.01 c logicor : 0.96 0.00 0.96 0.00 0.00 0.00 0.00
1796.65/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.65/1797.01 c vbounds : 0 0 0 0
1796.65/1797.01 c rootredcost : 7 0 0 0
1796.65/1797.01 c pseudoobj : 1728167 220 170 850
1796.65/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.65/1797.01 c vbounds : 1.20 1.20 0.00
1796.65/1797.01 c rootredcost : 1.19 1.19 0.00
1796.65/1797.01 c pseudoobj : 6.42 6.42 0.00
1796.65/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.01 c propagation : 0.01 110 110 1098 57.1 0 0.0 -
1796.65/1797.01 c infeasible LP : 0.29 6391 6194 20867 34.0 0 0.0 0
1796.65/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.01 c applied globally : - - - 4111 8.4 - - -
1796.65/1797.01 c applied locally : - - - 92 45.2 - - -
1796.65/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.65/1797.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 105)
1796.65/1797.01 c redcost : 3.01 488086 0 184523 0 0
1796.65/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1796.65/1797.01 c intobj : 0.00 0 0 0 0 0
1796.65/1797.01 c gomory : 0.10 6 0 0 0 0
1796.65/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.65/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.65/1797.01 c strongcg : 0.08 6 0 0 87 0
1796.65/1797.01 c cmir : 0.02 6 0 0 18 0
1796.65/1797.01 c flowcover : 0.04 6 0 0 0 0
1796.65/1797.01 c clique : 0.00 1 0 0 0 0
1796.65/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.65/1797.01 c mcf : 0.00 1 0 0 0 0
1796.65/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.65/1797.01 c rapidlearning : 0.04 1 0 0 0 1
1796.65/1797.01 c Pricers : Time Calls Vars
1796.65/1797.01 c problem variables: 0.00 0 0
1796.65/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.65/1797.01 c relpscost : 32.65 453372 0 92 0 0 906598
1796.65/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.65/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.65/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.65/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.65/1797.01 c random : 0.00 0 0 0 0 0 0
1796.65/1797.01 c Primal Heuristics : Time Calls Found
1796.65/1797.01 c LP solutions : 0.00 - 0
1796.65/1797.01 c pseudo solutions : 0.00 - 0
1796.65/1797.01 c oneopt : 0.38 7 0
1796.65/1797.01 c crossover : 0.49 3 0
1796.65/1797.01 c veclendiving : 39.25 4640 0
1796.65/1797.01 c fracdiving : 41.65 4641 3
1796.65/1797.01 c coefdiving : 40.86 4641 1
1796.65/1797.01 c pscostdiving : 42.31 4641 1
1796.65/1797.01 c linesearchdiving : 40.81 4641 1
1796.65/1797.01 c guideddiving : 39.70 4641 0
1796.65/1797.01 c trivial : 0.00 2 1
1796.65/1797.01 c shiftandpropagate: 0.00 0 0
1796.65/1797.01 c simplerounding : 0.89 0 0
1796.65/1797.01 c zirounding : 14.46 0 0
1796.65/1797.01 c rounding : 12.92 32965 1
1796.65/1797.01 c shifting : 35.14 39744 325
1796.65/1797.01 c intshifting : 0.04 0 0
1796.65/1797.01 c twoopt : 0.00 0 0
1796.65/1797.01 c fixandinfer : 0.00 0 0
1796.65/1797.01 c feaspump : 0.02 0 0
1796.65/1797.01 c clique : 0.00 0 0
1796.65/1797.01 c intdiving : 0.00 0 0
1796.65/1797.01 c actconsdiving : 0.00 0 0
1796.65/1797.01 c objpscostdiving : 19.80 470 63
1796.65/1797.01 c rootsoldiving : 14.91 1224 60
1796.65/1797.01 c octane : 0.00 0 0
1796.65/1797.01 c rens : 0.01 0 0
1796.65/1797.01 c rins : 0.00 0 0
1796.65/1797.01 c localbranching : 0.00 0 0
1796.65/1797.01 c mutation : 0.00 0 0
1796.65/1797.01 c dins : 0.00 0 0
1796.65/1797.01 c vbounds : 0.00 0 0
1796.65/1797.01 c undercover : 0.00 0 0
1796.65/1797.01 c subnlp : 0.35 0 0
1796.65/1797.01 c trysol : 0.69 0 0
1796.65/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.65/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.65/1797.01 c dual LP : 1341.32 505711 21901765 43.31 16328.51
1796.65/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.65/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.65/1797.01 c diving/probing LP: 227.21 644660 3670347 5.69 16153.86
1796.65/1797.01 c strong branching : 21.81 4228 190309 45.01 8726.76
1796.65/1797.01 c (at root node) : - 27 8063 298.63 -
1796.65/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.65/1797.01 c B&B Tree :
1796.65/1797.01 c number of runs : 1
1796.65/1797.01 c nodes : 488919
1796.65/1797.01 c nodes (total) : 488919
1796.65/1797.01 c nodes left : 417570
1796.65/1797.01 c max depth : 94
1796.65/1797.01 c max depth (total): 94
1796.65/1797.01 c backtracks : 47558 (9.7%)
1796.65/1797.01 c delayed cutoffs : 0
1796.65/1797.01 c repropagations : 95 (36 domain reductions, 0 cutoffs)
1796.65/1797.01 c avg switch length: 4.80
1796.65/1797.01 c switching time : 11.67
1796.65/1797.01 c Solution :
1796.65/1797.01 c Solutions found : 457 (9 improvements)
1796.65/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.65/1797.01 c Primal Bound : -2.80000000000000e+01 (in run 1, after 658 nodes, 14.45 seconds, depth 101, found by <fracdiving>)
1796.65/1797.01 c Dual Bound : -4.08584499553398e+01
1796.65/1797.01 c Gap : 31.47 %
1796.65/1797.01 c Root Dual Bound : -4.99999999999983e+01
1796.65/1797.01 c Root Iterations : 1166
1797.35/1797.75 c Time complete: 1797.41.
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-3737483-1338728126/watcher-3737483-1338728126 -o /tmp/evaluation-result-3737483-1338728126/solver-3737483-1338728126 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737483-1338728126.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.08 2.04 2.00 3/176 13213
/proc/meminfo: memFree=28921160/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 1526 0 0 0 0 0 0 0 20 0 1 0 338936999 9818112 1481 33554432000 4194304 9016284 140734019939232 140737131500056 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 2397 1483 311 1178 0 1215 0
[startup+0.0615669 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 13213
/proc/meminfo: memFree=28921160/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=22796 CPUtime=0.05 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 4711 0 0 0 5 0 0 0 20 0 1 0 338936999 23343104 4409 33554432000 4194304 9016284 140734019939232 140737131500056 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 5699 4409 484 1178 0 4517 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22796
[startup+0.100316 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 13213
/proc/meminfo: memFree=28921160/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=22796 CPUtime=0.09 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 4711 0 0 0 9 0 0 0 20 0 1 0 338936999 23343104 4409 33554432000 4194304 9016284 140734019939232 140737131500056 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 5699 4409 484 1178 0 4517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22796
[startup+0.300268 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 13213
/proc/meminfo: memFree=28921160/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=38632 CPUtime=0.29 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8589 0 0 0 28 1 0 0 20 0 1 0 338936999 39559168 8287 33554432000 4194304 9016284 140734019939232 140737131500056 4630128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9658 8287 689 1178 0 8476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38632
[startup+0.7003 s]
/proc/loadavg: 2.08 2.04 2.00 3/176 13213
/proc/meminfo: memFree=28921160/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=0.69 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8812 0 0 0 68 1 0 0 20 0 1 0 338936999 37040128 7804 33554432000 4194304 9016284 140734019939232 140734019932984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7804 705 1178 0 7861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36172
[startup+1.50023 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 13214
/proc/meminfo: memFree=28892120/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=1.49 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8812 0 0 0 147 2 0 0 20 0 1 0 338936999 37040128 7804 33554432000 4194304 9016284 140734019939232 140734019932984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7804 705 1178 0 7861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36172
[startup+3.10023 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 13214
/proc/meminfo: memFree=28891508/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=3.09 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8814 0 0 0 306 3 0 0 20 0 1 0 338936999 37040128 7806 33554432000 4194304 9016284 140734019939232 140734019932488 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7806 707 1178 0 7861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36172
[startup+6.30023 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 13214
/proc/meminfo: memFree=28891508/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=6.29 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8814 0 0 0 622 7 0 0 20 0 1 0 338936999 37040128 7806 33554432000 4194304 9016284 140734019939232 140734019932984 7214130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7806 707 1178 0 7861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36172
[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 13214
/proc/meminfo: memFree=28890260/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=12.68 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8817 0 0 0 1254 14 0 0 20 0 1 0 338936999 37040128 7809 33554432000 4194304 9016284 140734019939232 140734019933096 5858800 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7809 710 1178 0 7861 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36172
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13214
/proc/meminfo: memFree=28890820/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=36172 CPUtime=25.49 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 8818 0 0 0 2519 30 0 0 20 0 1 0 338936999 37040128 7810 33554432000 4194304 9016284 140734019939232 140734019932376 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9043 7810 710 1178 0 7861 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36172
[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13214
/proc/meminfo: memFree=28879388/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=38748 CPUtime=51.07 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 11054 0 0 0 5043 64 0 0 20 0 1 0 338936999 39677952 8720 33554432000 4194304 9016284 140734019939232 140734019932952 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 9687 8720 716 1178 0 8505 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38748
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13214
/proc/meminfo: memFree=28862020/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=43648 CPUtime=102.27 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 13918 0 0 0 10091 136 0 0 20 0 1 0 338936999 44695552 9961 33554432000 4194304 9016284 140734019939232 140734019932648 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 10912 9961 716 1178 0 9730 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43648
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 13214
/proc/meminfo: memFree=28827272/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=53892 CPUtime=162.25 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 19229 0 0 0 16003 222 0 0 20 0 1 0 338936999 55185408 12571 33554432000 4194304 9016284 140734019939232 140734019933320 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 13473 12571 716 1178 0 12291 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53892
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13215
/proc/meminfo: memFree=28795552/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=65596 CPUtime=222.24 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 22241 0 0 0 21911 313 0 0 20 0 1 0 338936999 67170304 15579 33554432000 4194304 9016284 140734019939232 140734019933400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 16399 15579 716 1178 0 15217 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 65596
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 13218
/proc/meminfo: memFree=28762592/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=74432 CPUtime=282.23 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 26017 0 0 0 27820 403 0 0 20 0 1 0 338936999 76218368 17802 33554432000 4194304 9016284 140734019939232 140734019933192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 18608 17802 716 1178 0 17426 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 74432
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 13241
/proc/meminfo: memFree=28728440/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=84744 CPUtime=342.22 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 28653 0 0 0 33730 492 0 0 20 0 1 0 338936999 86777856 20438 33554432000 4194304 9016284 140734019939232 140734019933192 7213597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 21186 20438 716 1178 0 20004 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 84744
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 13241
/proc/meminfo: memFree=28690508/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=101012 CPUtime=402.2 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 32187 0 0 0 39634 586 0 0 20 0 1 0 338936999 103436288 23972 33554432000 4194304 9016284 140734019939232 140734019933144 7216464 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 25253 23972 716 1178 0 24071 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 101012
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13241
/proc/meminfo: memFree=28657120/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=111428 CPUtime=462.19 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 34875 0 0 0 45545 674 0 0 20 0 1 0 338936999 114102272 26662 33554432000 4194304 9016284 140734019939232 140734019933400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 27857 26662 716 1178 0 26675 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 111428
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13242
/proc/meminfo: memFree=28625004/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=122604 CPUtime=522.18 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 40471 0 0 0 51451 767 0 0 20 0 1 0 338936999 125546496 29537 33554432000 4194304 9016284 140734019939232 140734019933144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 30651 29537 716 1178 0 29469 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 122604
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13242
/proc/meminfo: memFree=28586488/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=137176 CPUtime=582.17 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 44137 0 0 0 57358 859 0 0 20 0 1 0 338936999 140468224 33203 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 34294 33203 716 1178 0 33112 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 137176
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28351456/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=244160 CPUtime=1062.08 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 71934 0 0 0 104602 1606 0 0 20 0 1 0 338936999 250019840 59406 33554432000 4194304 9016284 140734019939232 140734019932600 4786416 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 61040 59406 716 1178 0 59858 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 244160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13247
/proc/meminfo: memFree=28324300/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=252656 CPUtime=1122.07 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 74137 0 0 0 110510 1697 0 0 20 0 1 0 338936999 258719744 61595 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 63164 61595 716 1178 0 61982 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 252656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13247
/proc/meminfo: memFree=28293680/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=266872 CPUtime=1182.06 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 77745 0 0 0 116417 1789 0 0 20 0 1 0 338936999 273276928 65203 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 66718 65203 716 1178 0 65536 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 266872
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13248
/proc/meminfo: memFree=28257244/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=279208 CPUtime=1242.06 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 80873 0 0 0 122319 1887 0 0 20 0 1 0 338936999 285908992 68331 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 69802 68331 716 1178 0 68620 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 279208
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13248
/proc/meminfo: memFree=28220128/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=292144 CPUtime=1302.05 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 84109 0 0 0 128223 1982 0 0 20 0 1 0 338936999 299155456 71567 33554432000 4194304 9016284 140734019939232 140734019932600 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 73036 71567 716 1178 0 71854 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 292144
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13248
/proc/meminfo: memFree=28183920/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=304868 CPUtime=1362.03 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 87387 0 0 0 134124 2079 0 0 20 0 1 0 338936999 312184832 74833 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 76217 74833 716 1178 0 75035 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 304868
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13249
/proc/meminfo: memFree=28143972/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=319952 CPUtime=1422.03 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 91164 0 0 0 140033 2170 0 0 20 0 1 0 338936999 327630848 78606 33554432000 4194304 9016284 140734019939232 140734019932424 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 79988 78606 716 1178 0 78806 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 319952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13252
/proc/meminfo: memFree=28107864/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=335268 CPUtime=1482 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 95105 0 0 0 145933 2267 0 0 20 0 1 0 338936999 343314432 82581 33554432000 4194304 9016284 140734019939232 140734019933400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 83817 82581 716 1178 0 82635 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 335268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13252
/proc/meminfo: memFree=28077988/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=345500 CPUtime=1541.99 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 97705 0 0 0 151828 2371 0 0 20 0 1 0 338936999 353792000 85181 33554432000 4194304 9016284 140734019939232 140734019933304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 86375 85181 716 1178 0 85193 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 345500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13252
/proc/meminfo: memFree=28043020/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=360216 CPUtime=1601.98 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 102332 0 0 0 157727 2471 0 0 20 0 1 0 338936999 368861184 88976 33554432000 4194304 9016284 140734019939232 140734019933400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 90054 88976 716 1178 0 88872 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 360216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13252
/proc/meminfo: memFree=28007184/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=369080 CPUtime=1661.97 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 104614 0 0 0 163625 2572 0 0 20 0 1 0 338936999 377937920 91258 33554432000 4194304 9016284 140734019939232 140734019933320 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 92270 91258 716 1178 0 91088 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 369080
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13253
/proc/meminfo: memFree=27968992/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=387160 CPUtime=1721.96 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 109139 0 0 0 169529 2667 0 0 20 0 1 0 338936999 396451840 95783 33554432000 4194304 9016284 140734019939232 140734019933192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 96790 95783 716 1178 0 95608 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 387160
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13253
/proc/meminfo: memFree=27933388/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=402628 CPUtime=1781.95 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113088 0 0 0 175426 2769 0 0 20 0 1 0 338936999 412291072 99732 33554432000 4194304 9016284 140734019939232 140734019933560 7201600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 100657 99732 716 1178 0 99475 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 402628
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13291
/proc/meminfo: memFree=28290672/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=403140 CPUtime=1785.15 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113219 0 0 0 175740 2775 0 0 20 0 1 0 338936999 412815360 99863 33554432000 4194304 9016284 140734019939232 140734019933400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 100785 99863 716 1178 0 99603 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 403140
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28252100/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=404504 CPUtime=1791.55 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113565 0 0 0 176369 2786 0 0 20 0 1 0 338936999 414212096 100209 33554432000 4194304 9016284 140734019939232 140734019933144 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 101126 100209 716 1178 0 99944 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 404504
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28246092/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=404504 CPUtime=1794.76 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113596 0 0 0 176685 2791 0 0 20 0 1 0 338936999 414212096 100240 33554432000 4194304 9016284 140734019939232 140734019933192 7199015 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 101126 100240 716 1178 0 99944 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 404504
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28240012/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=405332 CPUtime=1796.35 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113815 0 0 0 176842 2793 0 0 20 0 1 0 338936999 415059968 100459 33554432000 4194304 9016284 140734019939232 140734019933096 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 101333 100459 716 1178 0 100151 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 405332
[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28239392/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=405332 CPUtime=1797.15 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113818 0 0 0 176922 2793 0 0 20 0 1 0 338936999 415059968 100462 33554432000 4194304 9016284 140734019939232 140734019933096 4897769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 101333 100462 718 1178 0 100151 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 405332
[startup+1797.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13291
/proc/meminfo: memFree=28239392/32873844 swapFree=7644/7644
[pid=13213] ppid=13211 vsize=405332 CPUtime=1797.35 cores=1,3,5,7
/proc/13213/stat : 13213 (scip-2.0.1.4b_2) R 13211 13213 10351 0 -1 4202496 113818 0 0 0 176942 2793 0 0 20 0 1 0 338936999 415059968 100462 33554432000 4194304 9016284 140734019939232 140734019935032 6779415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13213/statm: 101333 100462 718 1178 0 100151 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 405332
Child status: 0
Real time (s): 1797.76
CPU time (s): 1797.42
CPU user time (s): 1769.48
CPU system time (s): 27.9448
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 405332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.48
system time used= 27.9448
maximum resident set size= 401848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113823
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= 68
involuntary context switches= 1844
runsolver used 2.6426 second user time and 7.17891 second system time
The end