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-3488641-1307786030.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.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.04 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.00/0.05 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.00/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1244 deleted vars, 1644 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 10152 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.05 c 200 constraints of type <knapsack>
0.00/0.05 c 100 constraints of type <setppc>
0.00/0.05 c 1 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 1133 | - |4129k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 1133 | - |4146k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.09/0.19 o -19
0.09/0.19 c y 0.2s| 1 | 0 | 1133 | - |4536k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.19/0.20 c 0.2s| 1 | 0 | 1148 | - |4544k| 0 | 200 | 200 | 302 | 200 | 316 | 15 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.19/0.25 c 0.2s| 1 | 0 | 1151 | - |4645k| 0 | 200 | 200 | 302 | 200 | 318 | 17 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.19/0.29 c 0.3s| 1 | 0 | 1156 | - |4654k| 0 | 200 | 200 | 302 | 200 | 319 | 18 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.29/0.34 c 0.3s| 1 | 0 | 1159 | - |4661k| 0 | 200 | 200 | 302 | 200 | 321 | 20 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.29/0.39 c 0.4s| 1 | 0 | 1163 | - |4670k| 0 | 200 | 200 | 302 | 200 | 322 | 21 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
0.39/0.44 c 0.4s| 1 | 0 | 1166 | - |4672k| 0 | 200 | 200 | 302 | 200 | 324 | 23 | 0 | 0 |-5.000000e+01 |-1.900000e+01 | 62.00%
1.69/1.71 c 1.7s| 1 | 2 | 1166 | - |4673k| 0 | 200 | 200 | 302 | 200 | 324 | 23 | 0 | 27 |-5.000000e+01 |-1.900000e+01 | 62.00%
3.89/3.94 o -21
3.89/3.94 c c 3.9s| 14 | 15 | 2510 | 103.4 |4779k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 286 |-4.982160e+01 |-2.100000e+01 | 57.85%
5.40/5.47 o -23
5.40/5.47 c p 5.5s| 26 | 27 | 3841 | 107.0 |4799k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 467 |-4.962849e+01 |-2.300000e+01 | 53.66%
6.49/6.52 o -24
6.49/6.52 c f 6.5s| 38 | 39 | 4764 | 97.2 |4829k| 13 | - | 200 | 302 | 200 | 320 | 23 | 0 | 625 |-4.962849e+01 |-2.400000e+01 | 51.64%
13.09/13.17 o -25
13.09/13.17 c l13.2s| 575 | 516 | 44650 | 75.8 |5681k| 25 | - | 200 | 320 | 200 | 320 | 23 | 18 |1274 |-4.829421e+01 |-2.500000e+01 | 48.23%
13.69/13.72 o -27
13.69/13.72 c f13.7s| 637 | 521 | 49364 | 75.8 |5766k| 25 | - | 200 | 321 | 200 | 320 | 23 | 19 |1274 |-4.728458e+01 |-2.700000e+01 | 42.90%
14.19/14.25 o -28
14.19/14.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.19/14.25 c f14.2s| 658 | 513 | 53359 | 79.4 |5772k| 25 | - | 200 | 321 | 200 | 320 | 23 | 19 |1274 |-4.693720e+01 |-2.800000e+01 | 40.35%
55.29/55.32 c 55.3s| 10000 | 5281 |450884 | 45.0 | 10M| 94 | 76 | 200 | 417 | 200 | 320 | 23 | 166 |1277 |-4.394206e+01 |-2.800000e+01 | 36.28%
112.09/112.12 c 112s| 20000 | 15019 | 1113k| 55.6 | 17M| 94 | 151 | 200 | 522 | 200 | 320 | 23 | 335 |1292 |-4.321467e+01 |-2.800000e+01 | 35.21%
165.29/165.32 c 165s| 30000 | 24675 | 1742k| 58.0 | 25M| 94 | 140 | 200 | 526 | 200 | 320 | 23 | 455 |1408 |-4.290529e+01 |-2.800000e+01 | 34.74%
216.29/216.39 c 216s| 40000 | 34185 | 2354k| 58.8 | 32M| 94 | 135 | 200 | 480 | 200 | 320 | 23 | 546 |1564 |-4.265593e+01 |-2.800000e+01 | 34.36%
265.70/265.77 c 266s| 50000 | 43629 | 2955k| 59.1 | 39M| 94 | 89 | 200 | 456 | 200 | 320 | 23 | 640 |1714 |-4.242640e+01 |-2.800000e+01 | 34.00%
314.30/314.34 c 314s| 60000 | 53105 | 3548k| 59.1 | 47M| 94 | 82 | 200 | 455 | 200 | 320 | 23 | 737 |1848 |-4.225333e+01 |-2.800000e+01 | 33.73%
359.90/359.90 c 360s| 70000 | 62211 | 4125k| 58.9 | 55M| 94 | 80 | 200 | 467 | 200 | 320 | 23 | 835 |1982 |-4.213595e+01 |-2.800000e+01 | 33.55%
406.00/406.01 c 406s| 80000 | 71461 | 4705k| 58.8 | 62M| 94 | - | 200 | 498 | 200 | 320 | 23 | 935 |2113 |-4.205602e+01 |-2.800000e+01 | 33.42%
450.00/450.07 c 450s| 90000 | 80571 | 5270k| 58.6 | 70M| 94 | 75 | 200 | 491 | 200 | 320 | 23 |1047 |2233 |-4.201622e+01 |-2.800000e+01 | 33.36%
493.60/493.64 c 494s|100000 | 89577 | 5842k| 58.4 | 77M| 94 | 115 | 200 | 539 | 200 | 320 | 23 |1190 |2336 |-4.192814e+01 |-2.800000e+01 | 33.22%
535.20/535.22 c 535s|110000 | 98313 | 6393k| 58.1 | 84M| 94 | 88 | 200 | 515 | 200 | 320 | 23 |1263 |2431 |-4.187058e+01 |-2.800000e+01 | 33.13%
577.00/577.00 c 577s|120000 |107127 | 6955k| 58.0 | 92M| 94 | 107 | 200 | 574 | 200 | 320 | 23 |1444 |2532 |-4.181159e+01 |-2.800000e+01 | 33.03%
617.60/617.60 c 618s|130000 |115827 | 7498k| 57.7 | 99M| 94 | 102 | 200 | 580 | 200 | 320 | 23 |1566 |2612 |-4.175328e+01 |-2.800000e+01 | 32.94%
659.31/659.38 c 659s|140000 |124655 | 8053k| 57.5 | 107M| 94 | 60 | 200 | 530 | 200 | 320 | 23 |1667 |2692 |-4.170707e+01 |-2.800000e+01 | 32.87%
700.41/700.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.41/700.45 c 700s|150000 |133427 | 8601k| 57.3 | 114M| 94 | 75 | 200 | 480 | 200 | 320 | 23 |1729 |2760 |-4.166719e+01 |-2.800000e+01 | 32.80%
738.91/738.93 c 739s|160000 |141857 | 9126k| 57.0 | 121M| 94 | 142 | 200 | 470 | 200 | 320 | 23 |1818 |2823 |-4.162170e+01 |-2.800000e+01 | 32.73%
778.51/778.50 c 778s|170000 |150523 | 9655k| 56.8 | 128M| 94 | 110 | 200 | 463 | 200 | 320 | 23 |1890 |2882 |-4.158451e+01 |-2.800000e+01 | 32.67%
818.31/818.32 c 818s|180000 |159287 | 10191k| 56.6 | 136M| 94 | 126 | 200 | 467 | 200 | 320 | 23 |1972 |2932 |-4.154923e+01 |-2.800000e+01 | 32.61%
858.11/858.13 c 858s|190000 |168035 | 10726k| 56.5 | 143M| 94 | 79 | 200 | 470 | 200 | 320 | 23 |2055 |2986 |-4.151746e+01 |-2.800000e+01 | 32.56%
897.02/897.01 c 897s|200000 |176651 | 11247k| 56.2 | 151M| 94 | 78 | 200 | 463 | 200 | 320 | 23 |2135 |3055 |-4.148481e+01 |-2.800000e+01 | 32.51%
936.81/936.85 c 937s|210000 |185423 | 11784k| 56.1 | 158M| 94 | 122 | 200 | 452 | 200 | 320 | 23 |2212 |3115 |-4.144759e+01 |-2.800000e+01 | 32.44%
976.21/976.22 c 976s|220000 |194217 | 12310k| 56.0 | 165M| 94 | 115 | 200 | 444 | 200 | 320 | 23 |2283 |3164 |-4.141729e+01 |-2.800000e+01 | 32.40%
1013.62/1013.67 c 1014s|230000 |202779 | 12823k| 55.8 | 173M| 94 | 67 | 200 | 444 | 200 | 320 | 23 |2361 |3208 |-4.138761e+01 |-2.800000e+01 | 32.35%
1053.41/1053.42 c 1053s|240000 |211651 | 13357k| 55.7 | 180M| 94 | 85 | 200 | 454 | 200 | 320 | 23 |2443 |3253 |-4.135929e+01 |-2.800000e+01 | 32.30%
1091.02/1091.08 c 1091s|250000 |220185 | 13869k| 55.5 | 188M| 94 | 122 | 200 | 467 | 200 | 320 | 23 |2529 |3300 |-4.132932e+01 |-2.800000e+01 | 32.25%
1127.32/1127.39 c 1127s|260000 |228495 | 14368k| 55.3 | 195M| 94 | 59 | 200 | 452 | 200 | 320 | 23 |2586 |3341 |-4.130069e+01 |-2.800000e+01 | 32.20%
1164.02/1164.07 c 1164s|270000 |236867 | 14868k| 55.1 | 202M| 94 | 63 | 200 | 427 | 200 | 320 | 23 |2651 |3387 |-4.127152e+01 |-2.800000e+01 | 32.16%
1202.12/1202.15 c 1202s|280000 |245363 | 15393k| 55.0 | 209M| 94 | 70 | 200 | 436 | 200 | 320 | 23 |2726 |3445 |-4.123767e+01 |-2.800000e+01 | 32.10%
1239.32/1239.33 c 1239s|290000 |253731 | 15902k| 54.8 | 217M| 94 | 92 | 200 | 470 | 200 | 320 | 23 |2819 |3494 |-4.121140e+01 |-2.800000e+01 | 32.06%
1277.13/1277.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.13/1277.16 c 1277s|300000 |262291 | 16409k| 54.7 | 224M| 94 | 77 | 200 | 450 | 200 | 320 | 23 |2876 |3549 |-4.118254e+01 |-2.800000e+01 | 32.01%
1313.82/1313.81 c 1314s|310000 |270845 | 16913k| 54.6 | 231M| 94 | 56 | 200 | 420 | 200 | 320 | 23 |2937 |3589 |-4.116607e+01 |-2.800000e+01 | 31.98%
1350.53/1350.51 c 1351s|320000 |279317 | 17414k| 54.4 | 239M| 94 | 67 | 200 | 423 | 200 | 320 | 23 |3005 |3628 |-4.114373e+01 |-2.800000e+01 | 31.95%
1388.03/1388.05 c 1388s|330000 |287921 | 17927k| 54.3 | 246M| 94 | 72 | 200 | 447 | 200 | 320 | 23 |3089 |3672 |-4.112236e+01 |-2.800000e+01 | 31.91%
1424.03/1424.06 c 1424s|340000 |296381 | 18426k| 54.2 | 253M| 94 | 127 | 200 | 429 | 200 | 320 | 23 |3163 |3712 |-4.110012e+01 |-2.800000e+01 | 31.87%
1459.43/1459.45 c 1459s|350000 |304767 | 18917k| 54.0 | 260M| 94 | 91 | 200 | 421 | 200 | 320 | 23 |3222 |3750 |-4.108330e+01 |-2.800000e+01 | 31.85%
1495.13/1495.11 c 1495s|360000 |313285 | 19409k| 53.9 | 268M| 94 | 122 | 200 | 424 | 200 | 320 | 23 |3275 |3797 |-4.106479e+01 |-2.800000e+01 | 31.82%
1527.53/1527.50 c 1527s|370000 |321109 | 19868k| 53.7 | 275M| 94 | 106 | 200 | 423 | 200 | 320 | 23 |3339 |3826 |-4.105387e+01 |-2.800000e+01 | 31.80%
1562.83/1562.90 c 1563s|380000 |329417 | 20362k| 53.6 | 282M| 94 | 54 | 200 | 411 | 200 | 320 | 23 |3396 |3865 |-4.103656e+01 |-2.800000e+01 | 31.77%
1599.63/1599.69 c 1600s|390000 |337817 | 20873k| 53.5 | 289M| 94 | 78 | 200 | 438 | 200 | 320 | 23 |3471 |3921 |-4.101569e+01 |-2.800000e+01 | 31.73%
1634.83/1634.87 c 1635s|400000 |346021 | 21368k| 53.4 | 296M| 94 | 134 | 200 | 435 | 200 | 320 | 23 |3531 |3948 |-4.099918e+01 |-2.800000e+01 | 31.71%
1667.03/1667.03 c 1667s|410000 |353451 | 21836k| 53.3 | 303M| 94 | 121 | 200 | 504 | 200 | 320 | 23 |3654 |3988 |-4.097715e+01 |-2.800000e+01 | 31.67%
1701.13/1701.12 c 1701s|420000 |361497 | 22323k| 53.1 | 310M| 94 | 71 | 200 | 523 | 200 | 320 | 23 |3753 |4016 |-4.095998e+01 |-2.800000e+01 | 31.64%
1736.24/1736.25 c 1736s|430000 |369687 | 22814k| 53.1 | 317M| 94 | - | 200 | 456 | 200 | 320 | 23 |3811 |4058 |-4.094213e+01 |-2.800000e+01 | 31.61%
1769.83/1769.84 c 1770s|440000 |377727 | 23285k| 52.9 | 324M| 94 | 67 | 200 | 443 | 200 | 320 | 23 |3885 |4085 |-4.092299e+01 |-2.800000e+01 | 31.58%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 447860
1797.04/1797.00 c Primal Bound : -2.80000000000000e+01 (455 solutions)
1797.04/1797.00 c Dual Bound : -4.09110076086708e+01
1797.04/1797.00 c Gap : 31.56 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x166 -x164 x158 -x163 -x121 x171 -x113 x156 -x144 x135 -x152 x161 x122 -x130 -x157 x146 -x181 x129 -x111 x192 x167 -x154 -x185
1797.04/1797.00 v x127 -x117 -x184 -x120 -x124 x134 x178 -x168 x136 x172 x110 x187 x190 x200 -x105 -x151 -x131 -x109 -x106 -x183 -x153 -x182 -x189
1797.04/1797.00 v -x149 -x195 -x104 -x198 -x193 -x188 -x128 -x119 -x112 x191 -x179 -x162 -x107 -x137 -x115 -x175 -x145 -x132 -x108 x199 -x138
1797.04/1797.00 v -x148 -x174 x139 -x143 -x197 -x180 -x160 -x155 -x150 -x118 -x114 -x116 -x196 x176 -x142 -x103 x140 -x194 -x125 -x101 -x170
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 v -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.04 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488641-1307786030.opb
1797.04/1797.00 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1745 initial, 1745 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488641-1307786030.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 301 initial, 594 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 1244 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 1644 200 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 416173 0 460 0 0 89 0 0 832206
1797.04/1797.00 c knapsack : 200 6 1590552 0 1 455 32523 103 1896120 0 0 0
1797.04/1797.00 c setppc : 100 6 1577938 0 1 454 3934 0 290757 0 0 0
1797.04/1797.00 c linear : 1+ 7 1590448 0 0 454 0 278 0 0 0 0
1797.04/1797.00 c logicor : 0+ 0 382915 0 0 0 0 0 36 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 458 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 33.18 0.00 0.00 33.18 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 9.01 0.01 8.97 0.00 0.00 0.03 0.01
1797.04/1797.00 c setppc : 1.70 0.00 1.70 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 1.19 0.01 1.19 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.79 0.00 0.79 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 7 0 0 0
1797.04/1797.00 c pseudoobj : 1600083 206 162 850
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.30 0.30 0.00
1797.04/1797.00 c rootredcost : 0.28 0.28 0.00
1797.04/1797.00 c pseudoobj : 5.51 5.51 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.01 103 103 1046 57.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.25 5946 5766 19257 33.8 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 3844 8.5 - - -
1797.04/1797.00 c applied locally : - - - 85 44.9 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 2 - (maximal pool size: 105)
1797.04/1797.00 c redcost : 2.74 447469 0 166723 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.09 6 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.08 6 0 0 87 0
1797.04/1797.00 c cmir : 0.02 6 0 0 18 0
1797.04/1797.00 c flowcover : 0.03 6 0 0 0 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.03 1 0 0 0 1
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 32.93 416173 0 89 0 0 832206
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c intshifting : 0.01 0 0
1797.04/1797.00 c oneopt : 0.11 7 0
1797.04/1797.00 c crossover : 0.22 3 0
1797.04/1797.00 c veclendiving : 39.49 4312 0
1797.04/1797.00 c fracdiving : 41.12 4313 3
1797.04/1797.00 c coefdiving : 40.18 4313 1
1797.04/1797.00 c pscostdiving : 41.63 4313 1
1797.04/1797.00 c linesearchdiving : 40.18 4313 1
1797.04/1797.00 c guideddiving : 39.35 4313 0
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.10 0 0
1797.04/1797.00 c zirounding : 14.17 0 0
1797.04/1797.00 c rounding : 13.15 31544 1
1797.04/1797.00 c shifting : 36.46 37791 325
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 0.01 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 20.44 442 62
1797.04/1797.00 c rootsoldiving : 15.14 1142 59
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.07 0 0
1797.04/1797.00 c trysol : 0.12 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 1358.34 463015 20214304 43.66 14881.67
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 232.85 605322 3451715 5.70 14823.59
1797.04/1797.00 c strong branching : 22.37 4108 184910 45.01 8264.57
1797.04/1797.00 c (at root node) : - 27 8063 298.63 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 447860
1797.04/1797.00 c nodes (total) : 447860
1797.04/1797.00 c nodes left : 384237
1797.04/1797.00 c max depth : 94
1797.04/1797.00 c max depth (total): 94
1797.04/1797.00 c backtracks : 43647 (9.7%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 95 (36 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 4.80
1797.04/1797.00 c switching time : 11.52
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 455 (9 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -2.80000000000000e+01 (in run 1, after 658 nodes, 14.25 seconds, depth 101, found by <fracdiving>)
1797.04/1797.00 c Dual Bound : -4.09110076086708e+01
1797.04/1797.00 c Gap : 31.56 %
1797.04/1797.00 c Root Dual Bound : -4.99999999999983e+01
1797.04/1797.00 c Root Iterations : 1166
1797.54/1797.57 c Time complete: 1797.61.
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-3488641-1307786030/watcher-3488641-1307786030 -o /tmp/evaluation-result-3488641-1307786030/solver-3488641-1307786030 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488641-1307786030.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: 1.78 1.95 1.99 4/176 305
/proc/meminfo: memFree=31550672/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=7620 CPUtime=0 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 667 0 0 0 0 0 0 0 24 0 1 0 890202783 7802880 622 33554432000 4194304 9016284 140735521447200 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/303/statm: 1905 635 189 1178 0 723 0
[startup+0.091019 s]
/proc/loadavg: 1.78 1.95 1.99 4/176 305
/proc/meminfo: memFree=31550672/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=24692 CPUtime=0.08 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 5357 0 0 0 8 0 0 0 25 0 1 0 890202783 25284608 5055 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 6173 5055 637 1178 0 4991 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24692
[startup+0.100956 s]
/proc/loadavg: 1.78 1.95 1.99 4/176 305
/proc/meminfo: memFree=31550672/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=24692 CPUtime=0.09 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 5358 0 0 0 9 0 0 0 25 0 1 0 890202783 25284608 5056 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 6173 5056 637 1178 0 4991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24692
[startup+0.301031 s]
/proc/loadavg: 1.78 1.95 1.99 4/176 305
/proc/meminfo: memFree=31550672/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36048 CPUtime=0.29 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8694 0 0 0 28 1 0 0 25 0 1 0 890202783 36913152 7686 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9012 7686 701 1178 0 7830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36048
[startup+0.700963 s]
/proc/loadavg: 1.78 1.95 1.99 4/176 305
/proc/meminfo: memFree=31550672/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=0.69 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8813 0 0 0 68 1 0 0 25 0 1 0 890202783 37036032 7805 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7805 705 1178 0 7860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36168
[startup+1.50082 s]
/proc/loadavg: 1.78 1.95 1.99 4/178 307
/proc/meminfo: memFree=31499632/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=1.49 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8813 0 0 0 148 1 0 0 25 0 1 0 890202783 37036032 7805 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7805 705 1178 0 7860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36168
[startup+3.10054 s]
/proc/loadavg: 1.78 1.95 1.99 4/178 307
/proc/meminfo: memFree=31498888/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=3.09 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8815 0 0 0 307 2 0 0 25 0 1 0 890202783 37036032 7807 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7807 707 1178 0 7860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36168
[startup+6.30097 s]
/proc/loadavg: 1.80 1.95 1.99 4/178 307
/proc/meminfo: memFree=31496044/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=6.29 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8815 0 0 0 622 7 0 0 25 0 1 0 890202783 37036032 7807 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7807 707 1178 0 7860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36168
[startup+12.7008 s]
/proc/loadavg: 1.81 1.95 1.99 4/178 307
/proc/meminfo: memFree=31495884/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=12.69 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8818 0 0 0 1254 15 0 0 25 0 1 0 890202783 37036032 7810 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7810 710 1178 0 7860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36168
[startup+25.5005 s]
/proc/loadavg: 1.85 1.95 1.99 4/178 307
/proc/meminfo: memFree=31495044/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=36168 CPUtime=25.5 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 8819 0 0 0 2521 29 0 0 25 0 1 0 890202783 37036032 7811 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/303/statm: 9042 7811 710 1178 0 7860 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 36168
[startup+51.1009 s]
/proc/loadavg: 1.90 1.96 1.99 4/178 308
/proc/meminfo: memFree=31485264/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=38744 CPUtime=51.09 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 11046 0 0 0 5046 63 0 0 25 0 1 0 890202783 39673856 8716 33554432000 4194304 9016284 140735521447200 18446744073709551615 5155054 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 9686 8716 716 1178 0 8504 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38744
[startup+102.306 s]
/proc/loadavg: 1.96 1.96 1.99 4/178 310
/proc/meminfo: memFree=31473628/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=43004 CPUtime=102.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 13762 0 0 0 10099 131 0 0 25 0 1 0 890202783 44036096 9810 33554432000 4194304 9016284 140735521447200 18446744073709551615 7214093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 10751 9810 716 1178 0 9569 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43004
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.99 4/178 320
/proc/meminfo: memFree=31462032/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=52588 CPUtime=162.29 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 18902 0 0 0 16016 213 0 0 25 0 1 0 890202783 53850112 12252 33554432000 4194304 9016284 140735521447200 18446744073709551615 7226726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 13147 12252 716 1178 0 11965 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 52588
[startup+222.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 398
/proc/meminfo: memFree=31463516/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=62792 CPUtime=222.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 21505 0 0 0 21935 295 0 0 25 0 1 0 890202783 64299008 14855 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 15698 14855 716 1178 0 14516 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 62792
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 399
/proc/meminfo: memFree=31450260/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=72644 CPUtime=282.29 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 25553 0 0 0 27851 378 0 0 25 0 1 0 890202783 74387456 17357 33554432000 4194304 9016284 140735521447200 18446744073709551615 7199011 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 18161 17357 716 1178 0 16979 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 72644
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 401
/proc/meminfo: memFree=31435696/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=81568 CPUtime=342.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 27750 0 0 0 33768 462 0 0 25 0 1 0 890202783 83525632 19554 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 20392 19554 716 1178 0 19210 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 81568
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 403
/proc/meminfo: memFree=31414196/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=95392 CPUtime=402.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 30794 0 0 0 39683 547 0 0 25 0 1 0 890202783 97681408 22598 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 23848 22598 716 1178 0 22666 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95392
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 413
/proc/meminfo: memFree=31391068/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=106512 CPUtime=462.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 33639 0 0 0 45593 637 0 0 25 0 1 0 890202783 109068288 25443 33554432000 4194304 9016284 140735521447200 18446744073709551615 7216410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 26628 25443 716 1178 0 25446 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 106512
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 415
/proc/meminfo: memFree=31370076/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=116880 CPUtime=522.31 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 38937 0 0 0 51509 722 0 0 25 0 1 0 890202783 119685120 28019 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 29220 28019 716 1178 0 28038 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 116880
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 416
/proc/meminfo: memFree=31349712/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=127368 CPUtime=582.3 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 41678 0 0 0 57422 808 0 0 25 0 1 0 890202783 130424832 30760 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 31842 30760 716 1178 0 30660 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 127368
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31164460/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=225068 CPUtime=1062.32 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 67063 0 0 0 104707 1525 0 0 25 0 1 0 890202783 230469632 54562 33554432000 4194304 9016284 140735521447200 18446744073709551615 7082012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 56267 54562 716 1178 0 55085 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 225068
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 434
/proc/meminfo: memFree=31141472/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=238104 CPUtime=1122.32 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 70365 0 0 0 110613 1619 0 0 25 0 1 0 890202783 243818496 57864 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 59526 57864 716 1178 0 58344 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 238104
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 435
/proc/meminfo: memFree=31118136/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=248200 CPUtime=1182.31 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 72963 0 0 0 116520 1711 0 0 25 0 1 0 890202783 254156800 60448 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 62050 60448 716 1178 0 60868 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 248200
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 437
/proc/meminfo: memFree=31094028/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=260660 CPUtime=1242.32 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 76110 0 0 0 122431 1801 0 0 25 0 1 0 890202783 266915840 63595 33554432000 4194304 9016284 140735521447200 18446744073709551615 6776667 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 65165 63595 716 1178 0 63983 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 260660
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 439
/proc/meminfo: memFree=31067836/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=273400 CPUtime=1302.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 79291 0 0 0 128339 1894 0 0 25 0 1 0 890202783 279961600 66776 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 68350 66776 716 1178 0 67168 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 273400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 440
/proc/meminfo: memFree=31046096/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=284644 CPUtime=1362.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 82178 0 0 0 134246 1987 0 0 25 0 1 0 890202783 291475456 69663 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 71161 69663 716 1178 0 69979 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 284644
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 442
/proc/meminfo: memFree=31020276/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=295296 CPUtime=1422.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 84964 0 0 0 140161 2072 0 0 25 0 1 0 890202783 302383104 72437 33554432000 4194304 9016284 140735521447200 18446744073709551615 7201563 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 73824 72437 716 1178 0 72642 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 295296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 443
/proc/meminfo: memFree=30994696/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=308832 CPUtime=1482.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 88403 0 0 0 146066 2167 0 0 25 0 1 0 890202783 316243968 75876 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 77208 75876 716 1178 0 76026 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 308832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 445
/proc/meminfo: memFree=30969600/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=322404 CPUtime=1542.32 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 91767 0 0 0 151972 2260 0 0 25 0 1 0 890202783 330141696 79238 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 80601 79238 716 1178 0 79419 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 322404
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 447
/proc/meminfo: memFree=30946260/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=336424 CPUtime=1602.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 95377 0 0 0 157883 2350 0 0 25 0 1 0 890202783 344498176 82848 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 84106 82848 716 1178 0 82924 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 336424
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 448
/proc/meminfo: memFree=30921168/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=346008 CPUtime=1662.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 97827 0 0 0 163782 2451 0 0 25 0 1 0 890202783 354312192 85298 33554432000 4194304 9016284 140735521447200 18446744073709551615 6776119 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 86502 85298 716 1178 0 85320 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 346008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 450
/proc/meminfo: memFree=30897692/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=360212 CPUtime=1722.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 102258 0 0 0 169686 2547 0 0 25 0 1 0 890202783 368857088 88897 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 90053 88897 716 1178 0 88871 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 360212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 451
/proc/meminfo: memFree=30874840/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=368556 CPUtime=1782.33 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 104486 0 0 0 175595 2638 0 0 25 0 1 0 890202783 377401344 91125 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 92139 91125 716 1178 0 90957 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 368556
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 451
/proc/meminfo: memFree=30873104/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=369076 CPUtime=1785.53 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 104574 0 0 0 175909 2644 0 0 25 0 1 0 890202783 377933824 91213 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 92269 91213 716 1178 0 91087 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 369076
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 452
/proc/meminfo: memFree=30870240/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=370448 CPUtime=1791.94 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 104895 0 0 0 176540 2654 0 0 25 0 1 0 890202783 379338752 91534 33554432000 4194304 9016284 140735521447200 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 92612 91534 716 1178 0 91430 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 370448
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 452
/proc/meminfo: memFree=30869496/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=370704 CPUtime=1795.13 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 104973 0 0 0 176855 2658 0 0 25 0 1 0 890202783 379600896 91612 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 92676 91612 716 1178 0 91494 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 370704
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 452
/proc/meminfo: memFree=30869492/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=371156 CPUtime=1796.73 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 105072 0 0 0 177012 2661 0 0 25 0 1 0 890202783 380063744 91711 33554432000 4194304 9016284 140735521447200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/303/statm: 92789 91711 716 1178 0 91607 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 371156
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 452
/proc/meminfo: memFree=30869492/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=371156 CPUtime=1797.14 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 105074 0 0 0 177052 2662 0 0 25 0 1 0 890202783 380063744 91713 33554432000 4194304 9016284 140735521447200 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/303/statm: 92789 91713 718 1178 0 91607 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 371156
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 452
/proc/meminfo: memFree=30869244/32950928 swapFree=67055156/67111528
[pid=303] ppid=300 vsize=371156 CPUtime=1797.54 cores=0,2,4,6
/proc/303/stat : 303 (scip-2.0.1.4b_2) R 300 303 30017 0 -1 4202496 105074 0 0 0 177092 2662 0 0 25 0 1 0 890202783 380063744 91713 33554432000 4194304 9016284 140735521447200 18446744073709551615 6812659 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/303/statm: 92789 91713 718 1178 0 91607 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 371156
Child status: 0
Real time (s): 1797.58
CPU time (s): 1797.62
CPU user time (s): 1770.98
CPU system time (s): 26.6379
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 371156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.98
system time used= 26.638
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105079
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= 5
involuntary context switches= 3038
runsolver used 2.6526 second user time and 5.58215 second system time
The end