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-3489520-1307771345.opb>
0.00/0.01 c original problem has 392 variables (392 bin, 0 int, 0 impl, 0 cont) and 679 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 56 chg sides, 56 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 308 del conss, 0 add conss, 0 chg bounds, 56 chg sides, 56 chg coeffs, 35 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 308 del conss, 0 add conss, 0 chg bounds, 56 chg sides, 56 chg coeffs, 63 upgd conss, 322 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 308 del conss, 0 add conss, 0 chg bounds, 77 chg sides, 92 chg coeffs, 63 upgd conss, 322 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 185/392 (47.2%) - 1 fixings, 0 aggregations, 357 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c (round 5) 1 del vars, 308 del conss, 0 add conss, 0 chg bounds, 77 chg sides, 92 chg coeffs, 63 upgd conss, 1036 impls, 0 clqs
0.09/0.12 c (round 6) 1 del vars, 308 del conss, 0 add conss, 0 chg bounds, 77 chg sides, 133 chg coeffs, 63 upgd conss, 1036 impls, 0 clqs
0.09/0.12 c presolving (7 rounds):
0.09/0.12 c 1 deleted vars, 308 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 77 changed sides, 133 changed coefficients
0.09/0.12 c 1036 implications, 0 cliques
0.09/0.12 c presolved problem has 391 variables (391 bin, 0 int, 0 impl, 0 cont) and 371 constraints
0.09/0.12 c 63 constraints of type <knapsack>
0.09/0.12 c 308 constraints of type <linear>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.10
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 2.0.1.5
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1797
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 13950
0.09/0.12 c
0.09/0.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.12 c # [type: int, range: [1,2], default: 1]
0.09/0.12 c timing/clocktype = 2
0.09/0.12 c
0.09/0.12 c # belongs reading time to solving time?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c timing/reading = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/indicator/addCouplingCons = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 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.13 c 0.1s| 1 | 0 | 277 | - |3110k| 0 | 244 | 391 | 383 | 391 | 371 | 0 | 12 | 0 | 7.000000e+00 | -- | Inf
0.29/0.31 o 95
0.29/0.31 c y 0.3s| 1 | 0 | 2037 | - |3680k| 0 | 244 | 391 | 383 | 391 | 371 | 0 | 12 | 0 | 7.000000e+00 | 9.500000e+01 |1257.14%
0.29/0.32 c 0.3s| 1 | 0 | 2053 | - |3682k| 0 | 242 | 391 | 514 | 391 | 391 | 20 | 12 | 0 | 7.000000e+00 | 9.500000e+01 |1257.14%
0.29/0.35 c 0.4s| 1 | 0 | 2082 | - |4127k| 0 | 250 | 391 | 514 | 391 | 417 | 46 | 12 | 0 | 7.000000e+00 | 9.500000e+01 |1257.14%
0.39/0.40 c 0.4s| 1 | 0 | 2201 | - |4478k| 0 | 248 | 391 | 514 | 391 | 441 | 70 | 12 | 0 | 7.000000e+00 | 9.500000e+01 |1257.14%
0.39/0.45 c 0.5s| 1 | 0 | 2349 | - |4880k| 0 | 246 | 391 | 514 | 391 | 471 | 100 | 12 | 0 | 7.000000e+00 | 9.500000e+01 |1257.14%
0.49/0.51 c 0.5s| 1 | 0 | 2550 | - |5298k| 0 | 257 | 391 | 514 | 391 | 504 | 133 | 12 | 0 | 7.000244e+00 | 9.500000e+01 |1257.10%
0.49/0.57 c 0.6s| 1 | 0 | 2738 | - |5692k| 0 | 252 | 391 | 514 | 391 | 537 | 166 | 12 | 0 | 7.005525e+00 | 9.500000e+01 |1256.07%
0.59/0.63 c 0.6s| 1 | 0 | 2913 | - |6072k| 0 | 253 | 391 | 514 | 391 | 571 | 200 | 12 | 0 | 7.007609e+00 | 9.500000e+01 |1255.67%
0.69/0.70 c 0.7s| 1 | 0 | 3109 | - |6380k| 0 | 259 | 391 | 514 | 391 | 606 | 235 | 12 | 0 | 7.666667e+00 | 9.500000e+01 |1139.13%
0.69/0.77 c 0.8s| 1 | 0 | 3333 | - |6644k| 0 | 255 | 391 | 514 | 391 | 634 | 263 | 12 | 0 | 7.666667e+00 | 9.500000e+01 |1139.13%
0.79/0.85 c 0.9s| 1 | 0 | 3645 | - |6882k| 0 | 235 | 391 | 514 | 391 | 665 | 294 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
0.79/0.89 c 0.9s| 1 | 0 | 3888 | - |6887k| 0 | 239 | 391 | 514 | 391 | 682 | 311 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
0.89/0.91 c 0.9s| 1 | 0 | 3982 | - |6896k| 0 | 241 | 391 | 514 | 391 | 693 | 322 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
0.89/0.94 c 0.9s| 1 | 0 | 4181 | - |6903k| 0 | 239 | 391 | 514 | 391 | 701 | 330 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
0.89/0.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.98 c 1.0s| 1 | 0 | 4394 | - |6914k| 0 | 232 | 391 | 514 | 391 | 633 | 343 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
0.89/1.00 c 1.0s| 1 | 0 | 4512 | - |6942k| 0 | 240 | 391 | 514 | 391 | 647 | 357 | 12 | 0 | 8.000000e+00 | 9.500000e+01 |1087.50%
1.19/1.23 c 1.2s| 1 | 2 | 4512 | - |6943k| 0 | 240 | 391 | 514 | 391 | 647 | 357 | 12 | 14 | 8.000000e+00 | 9.500000e+01 |1087.50%
2.99/3.08 o 65
2.99/3.08 c c 3.1s| 21 | 20 | 5349 | 41.9 |7042k| 19 | - | 391 | 531 | 391 | 446 | 357 | 29 | 855 | 8.000000e+00 | 6.500000e+01 | 712.50%
9.99/10.07 o 60
9.99/10.07 c c10.1s| 4222 | 1553 | 67890 | 15.0 |9375k| 45 | - | 391 |2342 | 391 | 446 | 357 |2753 |2279 | 9.000000e+00 | 6.000000e+01 | 566.67%
10.49/10.58 o 58
10.49/10.58 c v10.6s| 4537 | 1649 | 76575 | 15.9 |9503k| 45 | - | 391 |2238 | 391 | 446 | 357 |3020 |2287 | 1.000000e+01 | 5.800000e+01 | 480.00%
11.09/11.13 o 57
11.09/11.13 c C11.1s| 4737 | 1708 | 85511 | 17.1 |9652k| 45 | 157 | 391 |2250 | 391 | 446 | 357 |3256 |2387 | 1.000000e+01 | 5.700000e+01 | 470.00%
13.99/14.03 o 51
13.99/14.03 c v14.0s| 6190 | 2125 |135042 | 21.1 | 10M| 45 | - | 391 |2261 | 391 | 446 | 357 |4895 |2583 | 1.000000e+01 | 5.100000e+01 | 410.00%
20.09/20.19 o 49
20.09/20.19 c c20.2s| 9312 | 3155 |233451 | 24.6 | 12M| 45 | - | 391 |2584 | 391 | 446 | 357 |8321 |3071 | 1.100000e+01 | 4.900000e+01 | 345.45%
21.49/21.51 c 21.5s| 10000 | 3316 |251831 | 24.7 | 13M| 45 | - | 391 |2517 | 391 | 446 | 357 |9081 |3276 | 1.100000e+01 | 4.900000e+01 | 345.45%
22.19/22.27 o 46
22.19/22.27 c l22.3s| 10381 | 3341 |262549 | 24.9 | 13M| 45 | - | 391 |2534 | 391 | 446 | 357 |9499 |3422 | 1.100000e+01 | 4.600000e+01 | 318.18%
23.10/23.19 o 44
23.10/23.19 c p23.2s| 10825 | 3360 |273926 | 24.9 | 13M| 45 | - | 391 |2679 | 391 | 446 | 357 |9987 |3618 | 1.100000e+01 | 4.400000e+01 | 300.00%
23.89/23.91 o 43
23.89/23.91 c f23.9s| 11141 | 3331 |281816 | 24.9 | 13M| 45 | - | 391 |2743 | 391 | 446 | 357 | 10k|3841 | 1.100000e+01 | 4.300000e+01 | 290.91%
27.89/27.98 o 42
27.89/27.98 c *28.0s| 13689 | 3526 |339304 | 24.5 | 14M| 57 | - | 391 |2955 | 391 | 446 | 357 | 13k|4236 | 1.100000e+01 | 4.200000e+01 | 281.82%
36.99/37.09 c 37.1s| 20000 | 4708 |470253 | 23.3 | 17M| 57 | 129 | 391 |3472 | 391 | 446 | 357 | 19k|4988 | 1.200000e+01 | 4.200000e+01 | 250.00%
38.50/38.56 o 41
38.50/38.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.50/38.56 c c38.6s| 21105 | 4648 |493613 | 23.2 | 17M| 57 | - | 391 |3624 | 391 | 446 | 357 | 20k|4989 | 1.200000e+01 | 4.100000e+01 | 241.67%
49.29/49.31 c 49.3s| 30000 | 5533 |654609 | 21.7 | 20M| 59 | - | 391 |4134 | 391 | 446 | 357 | 30k|4991 | 1.300000e+01 | 4.100000e+01 | 215.38%
62.99/63.09 c 63.1s| 40000 | 6945 |847503 | 21.1 | 24M| 71 | - | 391 |5743 | 0 | 0 | 357 | 41k|6514 | 1.500000e+01 | 4.100000e+01 | 173.33%
75.59/75.67 c 75.7s| 50000 | 7801 | 1002k| 20.0 | 26M| 71 | - | 391 |5221 | 391 | 446 | 357 | 52k|8068 | 1.600000e+01 | 4.100000e+01 | 156.25%
87.79/87.83 c 87.8s| 60000 | 8413 | 1152k| 19.1 | 29M| 71 | - | 391 |6399 | 391 | 446 | 357 | 63k|9482 | 1.620000e+01 | 4.100000e+01 | 153.09%
99.49/99.54 c 99.5s| 70000 | 9100 | 1296k| 18.5 | 32M| 71 | 88 | 391 |6766 | 391 | 446 | 357 | 75k| 10k| 1.700000e+01 | 4.100000e+01 | 141.18%
110.59/110.69 c 111s| 80000 | 9825 | 1432k| 17.8 | 34M| 73 | - | 391 |6790 | 0 | 0 | 357 | 86k| 11k| 1.800000e+01 | 4.100000e+01 | 127.78%
122.69/122.72 c 123s| 90000 | 10634 | 1574k| 17.4 | 37M| 73 | 125 | 391 |6758 | 391 | 446 | 357 | 98k| 13k| 1.900000e+01 | 4.100000e+01 | 115.79%
134.70/134.73 c 135s|100000 | 11712 | 1722k| 17.2 | 41M| 73 | 51 | 391 |7180 | 391 | 446 | 357 | 109k| 14k| 1.900000e+01 | 4.100000e+01 | 115.79%
146.20/146.25 c 146s|110000 | 12439 | 1864k| 16.9 | 44M| 73 | - | 391 |8886 | 391 | 446 | 357 | 121k| 15k| 2.000000e+01 | 4.100000e+01 | 105.00%
157.39/157.44 c 157s|120000 | 13163 | 1994k| 16.6 | 47M| 73 | 114 | 391 |8801 | 391 | 446 | 357 | 133k| 16k| 2.100000e+01 | 4.100000e+01 | 95.24%
169.49/169.57 c 170s|130000 | 14109 | 2132k| 16.4 | 49M| 73 | 95 | 391 |6418 | 391 | 446 | 357 | 145k| 17k| 2.100000e+01 | 4.100000e+01 | 95.24%
180.70/180.72 c 181s|140000 | 15308 | 2274k| 16.2 | 53M| 73 | - | 391 |7009 | 391 | 446 | 357 | 157k| 18k| 2.200000e+01 | 4.100000e+01 | 86.36%
191.50/191.55 c 192s|150000 | 16528 | 2417k| 16.1 | 56M| 73 | - | 391 |6346 | 391 | 446 | 357 | 168k| 18k| 2.233333e+01 | 4.100000e+01 | 83.58%
202.79/202.81 c 203s|160000 | 17153 | 2551k| 15.9 | 59M| 73 | - | 391 |7477 | 391 | 446 | 357 | 180k| 19k| 2.300000e+01 | 4.100000e+01 | 78.26%
214.19/214.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.19/214.29 c 214s|170000 | 18079 | 2683k| 15.8 | 62M| 73 | 42 | 391 |7709 | 391 | 446 | 357 | 193k| 20k| 2.300000e+01 | 4.100000e+01 | 78.26%
225.20/225.27 c 225s|180000 | 18944 | 2809k| 15.6 | 65M| 73 | 73 | 391 |7960 | 391 | 446 | 357 | 205k| 21k| 2.300000e+01 | 4.100000e+01 | 78.26%
236.40/236.46 c 236s|190000 | 19886 | 2943k| 15.5 | 67M| 73 | 60 | 391 |7624 | 391 | 446 | 357 | 217k| 22k| 2.366667e+01 | 4.100000e+01 | 73.24%
247.10/247.14 c 247s|200000 | 20328 | 3065k| 15.3 | 70M| 81 | - | 391 |8921 | 391 | 446 | 357 | 229k| 22k| 2.400000e+01 | 4.100000e+01 | 70.83%
258.90/258.94 c 259s|210000 | 20734 | 3194k| 15.2 | 71M| 81 | 86 | 391 |7447 | 391 | 446 | 357 | 242k| 23k| 2.400000e+01 | 4.100000e+01 | 70.83%
269.80/269.82 c 270s|220000 | 21161 | 3322k| 15.1 | 73M| 81 | - | 391 |8078 | 391 | 446 | 357 | 255k| 24k| 2.400000e+01 | 4.100000e+01 | 70.83%
280.80/280.85 c 281s|230000 | 21534 | 3442k| 14.9 | 75M| 81 | 21 | 391 |8842 | 391 | 446 | 357 | 268k| 25k| 2.440000e+01 | 4.100000e+01 | 68.03%
292.10/292.11 c 292s|240000 | 21922 | 3561k| 14.8 | 77M| 81 | - | 391 |8450 | 391 | 446 | 357 | 281k| 25k| 2.500000e+01 | 4.100000e+01 | 64.00%
295.70/295.70 o 36
295.70/295.70 c * 296s|243388 | 18448 | 3607k| 14.8 | 70M| 81 | - | 391 |8084 | 391 | 446 | 357 | 285k| 25k| 2.500000e+01 | 3.600000e+01 | 44.00%
303.89/303.96 c 304s|250000 | 18730 | 3703k| 14.8 | 72M| 81 | - | 391 |8334 | 391 | 446 | 357 | 293k| 26k| 2.500000e+01 | 3.600000e+01 | 44.00%
315.19/315.26 c 315s|260000 | 18964 | 3841k| 14.8 | 73M| 81 | - | 391 |8265 | 391 | 446 | 357 | 305k| 27k| 2.500000e+01 | 3.600000e+01 | 44.00%
326.49/326.59 c 327s|270000 | 19089 | 3964k| 14.7 | 75M| 81 | 60 | 391 |8511 | 391 | 446 | 357 | 317k| 28k| 2.500000e+01 | 3.600000e+01 | 44.00%
338.39/338.43 c 338s|280000 | 19135 | 4102k| 14.6 | 76M| 81 | 76 | 391 |8131 | 391 | 446 | 357 | 330k| 28k| 2.500000e+01 | 3.600000e+01 | 44.00%
349.10/349.16 c 349s|290000 | 19107 | 4228k| 14.6 | 77M| 81 | - | 391 |9068 | 391 | 446 | 357 | 342k| 29k| 2.500000e+01 | 3.600000e+01 | 44.00%
361.40/361.48 c 361s|300000 | 19327 | 4367k| 14.5 | 78M| 81 | 94 | 391 |8543 | 391 | 446 | 357 | 354k| 30k| 2.500000e+01 | 3.600000e+01 | 44.00%
372.00/372.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.00/372.03 c 372s|310000 | 19743 | 4502k| 14.5 | 80M| 81 | 53 | 391 |8719 | 391 | 446 | 357 | 366k| 30k| 2.566667e+01 | 3.600000e+01 | 40.26%
383.70/383.75 c 384s|320000 | 19768 | 4628k| 14.5 | 81M| 81 | 95 | 391 |8907 | 391 | 446 | 357 | 379k| 31k| 2.600000e+01 | 3.600000e+01 | 38.46%
394.50/394.53 c 395s|330000 | 20067 | 4763k| 14.4 | 83M| 81 | - | 391 |8825 | 391 | 446 | 357 | 391k| 31k| 2.600000e+01 | 3.600000e+01 | 38.46%
405.50/405.56 c 406s|340000 | 20334 | 4886k| 14.4 | 84M| 81 | - | 391 |9208 | 0 | 0 | 357 | 403k| 32k| 2.600000e+01 | 3.600000e+01 | 38.46%
417.40/417.47 c 417s|350000 | 20394 | 5010k| 14.3 | 85M| 81 | - | 391 |9882 | 0 | 0 | 357 | 416k| 34k| 2.600000e+01 | 3.600000e+01 | 38.46%
427.81/427.81 c 428s|360000 | 20489 | 5125k| 14.2 | 86M| 81 | 12 | 391 |9835 | 391 | 446 | 357 | 428k| 34k| 2.600000e+01 | 3.600000e+01 | 38.46%
439.10/439.13 c 439s|370000 | 20497 | 5242k| 14.2 | 87M| 81 | 112 | 391 |9411 | 391 | 446 | 357 | 441k| 35k| 2.650000e+01 | 3.600000e+01 | 35.85%
442.80/442.84 o 35
442.80/442.84 c * 443s|373039 | 18594 | 5279k| 14.1 | 82M| 81 | - | 391 |8307 | 391 | 446 | 357 | 444k| 35k| 2.700000e+01 | 3.500000e+01 | 29.63%
450.70/450.76 c 451s|380000 | 18332 | 5355k| 14.1 | 80M| 81 | 71 | 391 |5055 | 391 | 446 | 357 | 453k| 36k| 2.700000e+01 | 3.500000e+01 | 29.63%
460.91/460.91 c 461s|390000 | 18376 | 5471k| 14.0 | 81M| 81 | - | 391 |5269 | 0 | 0 | 357 | 465k| 36k| 2.700000e+01 | 3.500000e+01 | 29.63%
471.10/471.16 c 471s|400000 | 18418 | 5594k| 14.0 | 82M| 81 | 38 | 391 |5416 | 391 | 446 | 357 | 477k| 37k| 2.700000e+01 | 3.500000e+01 | 29.63%
482.00/482.09 c 482s|410000 | 18359 | 5713k| 13.9 | 82M| 81 | 25 | 391 |5756 | 391 | 446 | 357 | 489k| 38k| 2.700000e+01 | 3.500000e+01 | 29.63%
492.30/492.32 c 492s|420000 | 18110 | 5824k| 13.9 | 82M| 81 | 60 | 391 |6102 | 391 | 446 | 357 | 502k| 38k| 2.700000e+01 | 3.500000e+01 | 29.63%
503.20/503.20 c 503s|430000 | 18063 | 5949k| 13.8 | 83M| 81 | - | 391 |6943 | 0 | 0 | 357 | 515k| 38k| 2.700000e+01 | 3.500000e+01 | 29.63%
514.20/514.29 c 514s|440000 | 17794 | 6061k| 13.8 | 82M| 81 | 77 | 391 |7212 | 391 | 446 | 357 | 527k| 40k| 2.700000e+01 | 3.500000e+01 | 29.63%
524.91/524.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.91/524.96 c 525s|450000 | 17602 | 6172k| 13.7 | 82M| 81 | 52 | 391 |6700 | 391 | 446 | 357 | 539k| 40k| 2.700000e+01 | 3.500000e+01 | 29.63%
535.40/535.42 c 535s|460000 | 17466 | 6290k| 13.7 | 82M| 81 | - | 391 |6875 | 391 | 446 | 357 | 552k| 40k| 2.750000e+01 | 3.500000e+01 | 27.27%
546.71/546.75 c 547s|470000 | 17116 | 6399k| 13.6 | 81M| 81 | - | 391 |6023 | 0 | 0 | 357 | 564k| 41k| 2.800000e+01 | 3.500000e+01 | 25.00%
557.90/557.99 c 558s|480000 | 16993 | 6510k| 13.6 | 81M| 81 | - | 391 |7286 | 0 | 0 | 357 | 577k| 43k| 2.800000e+01 | 3.500000e+01 | 25.00%
568.70/568.70 c 569s|490000 | 16697 | 6621k| 13.5 | 80M| 81 | - | 391 |6370 | 391 | 446 | 357 | 589k| 43k| 2.800000e+01 | 3.500000e+01 | 25.00%
578.61/578.62 c 579s|500000 | 16349 | 6723k| 13.4 | 79M| 81 | 95 | 391 |7096 | 391 | 446 | 357 | 601k| 43k| 2.800000e+01 | 3.500000e+01 | 25.00%
589.90/589.94 c 590s|510000 | 16202 | 6835k| 13.4 | 79M| 81 | 28 | 391 |7786 | 391 | 446 | 357 | 615k| 44k| 2.800000e+01 | 3.500000e+01 | 25.00%
601.30/601.33 c 601s|520000 | 16182 | 6948k| 13.4 | 80M| 81 | 60 | 391 |7795 | 391 | 446 | 357 | 627k| 46k| 2.842857e+01 | 3.500000e+01 | 23.12%
612.30/612.34 c 612s|530000 | 15530 | 7055k| 13.3 | 78M| 81 | - | 391 |7192 | 0 | 0 | 357 | 641k| 46k| 2.900000e+01 | 3.500000e+01 | 20.69%
622.90/622.97 c 623s|540000 | 14791 | 7163k| 13.3 | 75M| 81 | - | 391 |7228 | 0 | 0 | 357 | 653k| 46k| 2.900000e+01 | 3.500000e+01 | 20.69%
634.11/634.13 c 634s|550000 | 14242 | 7274k| 13.2 | 73M| 81 | 14 | 391 |7480 | 391 | 446 | 357 | 666k| 47k| 2.900000e+01 | 3.500000e+01 | 20.69%
645.40/645.42 c 645s|560000 | 13616 | 7386k| 13.2 | 71M| 81 | 24 | 391 |7803 | 391 | 446 | 357 | 679k| 48k| 2.900000e+01 | 3.500000e+01 | 20.69%
655.80/655.88 c 656s|570000 | 13236 | 7496k| 13.1 | 69M| 81 | 31 | 391 |7210 | 391 | 446 | 357 | 691k| 48k| 2.900000e+01 | 3.500000e+01 | 20.69%
666.91/666.98 c 667s|580000 | 12540 | 7605k| 13.1 | 66M| 81 | 102 | 391 |7144 | 391 | 446 | 357 | 703k| 49k| 2.933333e+01 | 3.500000e+01 | 19.32%
678.61/678.65 c 679s|590000 | 11904 | 7717k| 13.1 | 64M| 81 | 57 | 391 |6951 | 391 | 446 | 357 | 716k| 50k| 2.975000e+01 | 3.500000e+01 | 17.65%
689.30/689.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.30/689.35 c 689s|600000 | 11407 | 7820k| 13.0 | 63M| 81 | - | 391 |7663 | 0 | 0 | 357 | 728k| 50k| 3.000000e+01 | 3.500000e+01 | 16.67%
699.80/699.83 c 700s|610000 | 10784 | 7931k| 13.0 | 60M| 81 | 16 | 391 |7525 | 391 | 446 | 357 | 740k| 50k| 3.000000e+01 | 3.500000e+01 | 16.67%
711.10/711.17 c 711s|620000 | 10459 | 8058k| 13.0 | 59M| 81 | - | 391 |7713 | 391 | 446 | 357 | 752k| 51k| 3.000000e+01 | 3.500000e+01 | 16.67%
722.30/722.32 c 722s|630000 | 9876 | 8172k| 13.0 | 57M| 81 | - | 391 |8039 | 0 | 0 | 357 | 764k| 52k| 3.000000e+01 | 3.500000e+01 | 16.67%
732.81/732.87 c 733s|640000 | 9200 | 8282k| 12.9 | 54M| 81 | - | 391 |7543 | 391 | 446 | 357 | 776k| 52k| 3.042857e+01 | 3.500000e+01 | 15.02%
744.00/744.05 c 744s|650000 | 8214 | 8395k| 12.9 | 49M| 81 | - | 391 |7126 | 391 | 446 | 357 | 789k| 52k| 3.100000e+01 | 3.500000e+01 | 12.90%
755.01/755.06 c 755s|660000 | 7906 | 8523k| 12.9 | 48M| 81 | 26 | 391 |7445 | 391 | 446 | 357 | 802k| 53k| 3.100000e+01 | 3.500000e+01 | 12.90%
764.91/764.99 c 765s|670000 | 7782 | 8653k| 12.9 | 48M| 81 | - | 391 |8424 | 391 | 446 | 357 | 813k| 53k| 3.100000e+01 | 3.500000e+01 | 12.90%
775.71/775.78 c 776s|680000 | 7058 | 8765k| 12.9 | 45M| 81 | 25 | 391 |7603 | 391 | 446 | 357 | 825k| 54k| 3.100000e+01 | 3.500000e+01 | 12.90%
786.81/786.88 c 787s|690000 | 6227 | 8878k| 12.9 | 42M| 81 | 18 | 391 |7587 | 391 | 446 | 357 | 836k| 54k| 3.100000e+01 | 3.500000e+01 | 12.90%
797.20/797.20 c 797s|700000 | 5447 | 9006k| 12.9 | 38M| 81 | - | 391 |4310 | 0 | 0 | 357 | 849k| 54k| 3.200000e+01 | 3.500000e+01 | 9.38%
803.21/803.23 o 34
803.21/803.23 c * 803s|706116 | 3838 | 9084k| 12.9 | 31M| 81 | - | 391 |5055 | 391 | 446 | 357 | 856k| 54k| 3.200000e+01 | 3.400000e+01 | 6.25%
807.90/807.96 c 808s|710000 | 3510 | 9143k| 12.9 | 30M| 81 | 50 | 391 |5523 | 391 | 446 | 357 | 861k| 55k| 3.200000e+01 | 3.400000e+01 | 6.25%
819.91/819.97 c 820s|720000 | 2717 | 9306k| 12.9 | 26M| 81 | 61 | 391 |6095 | 391 | 446 | 357 | 874k| 55k| 3.200000e+01 | 3.400000e+01 | 6.25%
830.81/830.81 c 831s|730000 | 2192 | 9458k| 13.0 | 24M| 81 | 73 | 391 |8391 | 391 | 446 | 357 | 887k| 55k| 3.200000e+01 | 3.400000e+01 | 6.25%
842.41/842.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.41/842.45 c 842s|740000 | 1761 | 9620k| 13.0 | 23M| 81 | 13 | 391 |9405 | 391 | 446 | 357 | 899k| 56k| 3.200000e+01 | 3.400000e+01 | 6.25%
854.11/854.15 c 854s|750000 | 1539 | 9788k| 13.0 | 22M| 81 | - | 391 | 11k| 0 | 0 | 357 | 911k| 56k| 3.200000e+01 | 3.400000e+01 | 6.25%
865.91/865.92 c 866s|760000 | 1198 | 9957k| 13.1 | 20M| 81 | 47 | 391 | 10k| 391 | 446 | 357 | 924k| 56k| 3.200000e+01 | 3.400000e+01 | 6.25%
878.31/878.30 c 878s|770000 | 724 | 10133k| 13.2 | 18M| 81 | 85 | 391 | 10k| 391 | 446 | 357 | 936k| 57k| 3.200000e+01 | 3.400000e+01 | 6.25%
890.71/890.78 c 891s|780000 | 358 | 10314k| 13.2 | 16M| 81 | - | 391 | 11k| 0 | 0 | 357 | 949k| 57k| 3.200000e+01 | 3.400000e+01 | 6.25%
898.91/898.94 c
898.91/898.94 c SCIP Status : problem is solved [optimal solution found]
898.91/898.94 c Solving Time (sec) : 898.94
898.91/898.94 c Solving Nodes : 787241
898.91/898.94 c Primal Bound : +3.40000000000000e+01 (15 solutions)
898.91/898.94 c Dual Bound : +3.40000000000000e+01
898.91/898.94 c Gap : 0.00 %
898.91/898.94 s OPTIMUM FOUND
898.91/898.94 v x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88
898.91/898.94 v x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 -x111 x112 x113 x114 x115
898.91/898.94 v x116 x117 x118 x119 x120 x121 -x122 x123 x124 x125 x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 x138
898.91/898.94 v x139 x140 x141 x142 x143 x144 -x145 -x146 x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 x161
898.91/898.94 v x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 x179 x180 -x181 -x182 -x183
898.91/898.94 v -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206
898.91/898.94 v x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 -x217 x218 x219 x220 x221 x222 -x223 x224 x225 x226 x227 -x228 -x229 x230
898.91/898.94 v x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 x241 -x242 -x243 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
898.91/898.94 v -x253 -x254 -x255 x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x274
898.91/898.94 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x288 x289
898.91/898.94 v x290 x291 x292 -x293 x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 x306 -x307 -x308 -x309 -x310 -x311
898.91/898.94 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
898.91/898.94 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x343 x344 x345 x346 -x347 x348
898.91/898.94 v x349 -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
898.91/898.94 v -x370 -x371 -x372 -x28 -x27 -x26 x25 x24 -x23 -x22 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
898.91/898.94 v -x386 -x35 -x34 x33 -x32 -x31 x30 x29 -x387 -x388 -x389 -x390 -x391 -x42 -x41 x40 x39 -x38 -x37 x36 -x392 -x56 x55 -x54 -x53
898.91/898.94 v -x52 -x51 x50 -x49 -x48 x47 x46 x45 x44 -x43 -x7 x6 -x5 -x4 -x3 x2 -x1
898.91/898.94 c SCIP Status : problem is solved [optimal solution found]
898.91/898.94 c Total Time : 898.94
898.91/898.94 c solving : 898.94
898.91/898.94 c presolving : 0.10 (included in solving)
898.91/898.94 c reading : 0.01 (included in solving)
898.91/898.94 c Original Problem :
898.91/898.94 c Problem name : HOME/instance-3489520-1307771345.opb
898.91/898.94 c Variables : 392 (392 binary, 0 integer, 0 implicit integer, 0 continuous)
898.91/898.94 c Constraints : 679 initial, 679 maximal
898.91/898.94 c Presolved Problem :
898.91/898.94 c Problem name : t_HOME/instance-3489520-1307771345.opb
898.91/898.94 c Variables : 391 (391 binary, 0 integer, 0 implicit integer, 0 continuous)
898.91/898.94 c Constraints : 371 initial, 11986 maximal
898.91/898.94 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
898.91/898.94 c trivial : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c implics : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c probing : 0.09 1 0 0 0 0 0 0 0 0
898.91/898.94 c knapsack : 0.00 0 0 0 0 0 0 0 21 77
898.91/898.94 c linear : 0.01 0 0 0 0 0 308 0 56 56
898.91/898.94 c logicor : 0.00 0 0 0 0 0 0 0 0 0
898.91/898.94 c root node : - 29 - - 29 - - - - -
898.91/898.94 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
898.91/898.94 c integral : 0 0 0 459656 0 17 0 549 47528 0 0 894576
898.91/898.94 c knapsack : 63 15 3587376 1 0 14 3420096 29120 1354219 664 0 0
898.91/898.94 c linear : 308+ 16 3562262 0 0 11 1931140 211034 13895481 0 0 0
898.91/898.94 c logicor : 0+ 15 2154222 0 0 0 3936764 15174 3716125 0 0 0
898.91/898.94 c countsols : 0 0 0 4 0 13 0 0 0 0 0 0
898.91/898.94 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
898.91/898.94 c integral : 63.10 0.00 0.00 63.10 0.00 0.00 0.00
898.91/898.94 c knapsack : 22.10 0.01 20.31 0.00 0.00 0.00 1.78
898.91/898.94 c linear : 164.86 0.00 162.01 0.00 0.00 0.00 2.84
898.91/898.94 c logicor : 74.42 0.00 71.93 0.00 0.00 0.00 2.50
898.91/898.94 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
898.91/898.94 c Propagators : #Propagate #Resprop Cutoffs DomReds
898.91/898.94 c vbounds : 0 0 0 0
898.91/898.94 c rootredcost : 14 0 0 2
898.91/898.94 c pseudoobj : 3592061 305161 909 78578
898.91/898.94 c Propagator Timings : TotalTime Propagate Resprop
898.91/898.94 c vbounds : 0.49 0.49 0.00
898.91/898.94 c rootredcost : 0.55 0.55 0.00
898.91/898.94 c pseudoobj : 2.46 2.36 0.10
898.91/898.94 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
898.91/898.94 c propagation : 13.15 256236 256038 2456267 28.5 9741 18.6 -
898.91/898.94 c infeasible LP : 6.79 114729 114729 527186 21.1 11004 17.5 0
898.91/898.94 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
898.91/898.94 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
898.91/898.94 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
898.91/898.94 c applied globally : - - - 958443 21.4 - - -
898.91/898.94 c applied locally : - - - 3 41.0 - - -
898.91/898.94 c Separators : Time Calls Cutoffs DomReds Cuts Conss
898.91/898.94 c cut pool : 0.00 14 - - 3608 - (maximal pool size: 4262)
898.91/898.94 c redcost : 3.37 478224 0 26566 0 0
898.91/898.94 c impliedbounds : 0.00 15 0 0 19 0
898.91/898.94 c intobj : 0.00 0 0 0 0 0
898.91/898.94 c gomory : 0.06 15 0 0 348 0
898.91/898.94 c cgmip : 0.00 0 0 0 0 0
898.91/898.94 c closecuts : 0.00 0 0 0 0 0
898.91/898.94 c strongcg : 0.06 15 0 0 438 0
898.91/898.94 c cmir : 0.22 10 0 0 2569 0
898.91/898.94 c flowcover : 0.16 10 0 0 2002 0
898.91/898.94 c clique : 0.00 1 0 0 0 0
898.91/898.94 c zerohalf : 0.00 0 0 0 0 0
898.91/898.94 c mcf : 0.00 1 0 0 0 0
898.91/898.94 c oddcycle : 0.00 0 0 0 0 0
898.91/898.94 c rapidlearning : 0.10 1 0 0 0 131
898.91/898.94 c Pricers : Time Calls Vars
898.91/898.94 c problem variables: 0.00 0 0
898.91/898.94 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
898.91/898.94 c relpscost : 62.83 459652 549 47528 0 0 894576
898.91/898.94 c pscost : 0.00 0 0 0 0 0 0
898.91/898.94 c inference : 0.00 0 0 0 0 0 0
898.91/898.94 c mostinf : 0.00 0 0 0 0 0 0
898.91/898.94 c leastinf : 0.00 0 0 0 0 0 0
898.91/898.94 c fullstrong : 0.00 0 0 0 0 0 0
898.91/898.94 c allfullstrong : 0.00 0 0 0 0 0 0
898.91/898.94 c random : 0.00 0 0 0 0 0 0
898.91/898.94 c Primal Heuristics : Time Calls Found
898.91/898.94 c LP solutions : 0.02 - 4
898.91/898.94 c pseudo solutions : 0.00 - 0
898.91/898.94 c intshifting : 0.01 0 0
898.91/898.94 c oneopt : 0.18 15 0
898.91/898.94 c feaspump : 0.12 5 0
898.91/898.94 c crossover : 2.63 18 1
898.91/898.94 c guideddiving : 1.76 674 0
898.91/898.94 c veclendiving : 2.74 675 2
898.91/898.94 c coefdiving : 1.75 675 4
898.91/898.94 c pscostdiving : 3.27 675 1
898.91/898.94 c fracdiving : 1.52 675 1
898.91/898.94 c linesearchdiving : 2.89 675 1
898.91/898.94 c rootsoldiving : 1.92 338 0
898.91/898.94 c objpscostdiving : 1.91 338 0
898.91/898.94 c trivial : 0.00 2 0
898.91/898.94 c shiftandpropagate: 0.01 1 0
898.91/898.94 c simplerounding : 0.11 0 0
898.91/898.94 c zirounding : 0.17 1000 0
898.91/898.94 c rounding : 0.60 9760 0
898.91/898.94 c shifting : 5.34 3014 0
898.91/898.94 c twoopt : 0.00 0 0
898.91/898.94 c fixandinfer : 0.00 0 0
898.91/898.94 c clique : 0.00 0 0
898.91/898.94 c intdiving : 0.00 0 0
898.91/898.94 c actconsdiving : 0.00 0 0
898.91/898.94 c octane : 0.00 0 0
898.91/898.94 c rens : 0.01 0 0
898.91/898.94 c rins : 0.00 0 0
898.91/898.94 c localbranching : 0.00 0 0
898.91/898.94 c mutation : 0.00 0 0
898.91/898.94 c dins : 0.00 0 0
898.91/898.94 c vbounds : 0.00 0 0
898.91/898.94 c undercover : 0.00 0 0
898.91/898.94 c subnlp : 0.12 0 0
898.91/898.94 c trysol : 0.16 0 0
898.91/898.94 c LP : Time Calls Iterations Iter/call Iter/sec
898.91/898.94 c primal LP : 0.00 0 0 0.00 -
898.91/898.94 c dual LP : 348.79 628340 10170662 16.19 29159.93
898.91/898.94 c lex dual LP : 0.00 0 0 0.00 -
898.91/898.94 c barrier LP : 0.00 0 0 0.00 -
898.91/898.94 c diving/probing LP: 11.69 24214 271875 11.23 23257.53
898.91/898.94 c strong branching : 53.81 57928 760922 13.14 14141.71
898.91/898.94 c (at root node) : - 14 3445 246.07 -
898.91/898.94 c conflict analysis: 0.00 0 0 0.00 -
898.91/898.94 c B&B Tree :
898.91/898.94 c number of runs : 1
898.91/898.94 c nodes : 787241
898.91/898.94 c nodes (total) : 787241
898.91/898.94 c nodes left : 0
898.91/898.94 c max depth : 81
898.91/898.94 c max depth (total): 81
898.91/898.94 c backtracks : 160954 (20.4%)
898.91/898.94 c delayed cutoffs : 99707
898.91/898.94 c repropagations : 1026472 (6002447 domain reductions, 75363 cutoffs)
898.91/898.94 c avg switch length: 6.90
898.91/898.94 c switching time : 116.12
898.91/898.94 c Solution :
898.91/898.94 c Solutions found : 15 (15 improvements)
898.91/898.94 c First Solution : +9.50000000000000e+01 (in run 1, after 1 nodes, 0.31 seconds, depth 0, found by <trysol>)
898.91/898.94 c Primal Bound : +3.40000000000000e+01 (in run 1, after 706116 nodes, 803.22 seconds, depth 29, found by <relaxation>)
898.91/898.94 c Dual Bound : +3.40000000000000e+01
898.91/898.94 c Gap : 0.00 %
898.91/898.94 c Root Dual Bound : +8.00000000000001e+00
898.91/898.94 c Root Iterations : 4512
898.91/898.97 c Time complete: 898.98.
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-3489520-1307771345/watcher-3489520-1307771345 -o /tmp/evaluation-result-3489520-1307771345/solver-3489520-1307771345 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489520-1307771345.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.02 2.01 2.00 2/175 26054
/proc/meminfo: memFree=30285448/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 2143 0 0 0 0 0 0 0 25 0 1 0 888734144 12861440 2098 33554432000 4194304 9016284 140737257087040 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26054/statm: 3140 2098 360 1178 0 1958 0
[startup+0.0954511 s]
/proc/loadavg: 2.02 2.01 2.00 2/175 26054
/proc/meminfo: memFree=30285448/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=22332 CPUtime=0.08 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 4646 0 0 0 8 0 0 0 25 0 1 0 888734144 22867968 4344 33554432000 4194304 9016284 140737257087040 18446744073709551615 5253112 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 5583 4344 518 1178 0 4401 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22332
[startup+0.100451 s]
/proc/loadavg: 2.02 2.01 2.00 2/175 26054
/proc/meminfo: memFree=30285448/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=22332 CPUtime=0.09 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 4646 0 0 0 9 0 0 0 25 0 1 0 888734144 22867968 4344 33554432000 4194304 9016284 140737257087040 18446744073709551615 5222104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 5583 4344 518 1178 0 4401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22332
[startup+0.300418 s]
/proc/loadavg: 2.02 2.01 2.00 2/175 26054
/proc/meminfo: memFree=30285448/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=40048 CPUtime=0.29 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 9107 0 0 0 27 2 0 0 18 0 1 0 888734144 41009152 8745 33554432000 4194304 9016284 140737257087040 18446744073709551615 5251793 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 10012 8745 690 1178 0 8830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40048
[startup+0.700349 s]
/proc/loadavg: 2.02 2.01 2.00 2/175 26054
/proc/meminfo: memFree=30285448/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=38364 CPUtime=0.69 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 9391 0 0 0 65 4 0 0 18 0 1 0 888734144 39284736 8320 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 9591 8320 699 1178 0 8409 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38364
[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26055
/proc/meminfo: memFree=30255104/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=38728 CPUtime=1.49 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 9802 0 0 0 138 11 0 0 19 0 1 0 888734144 39657472 8731 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 9682 8731 700 1178 0 8500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38728
[startup+3.10093 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26055
/proc/meminfo: memFree=30253492/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=38728 CPUtime=3.09 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 9802 0 0 0 275 34 0 0 25 0 1 0 888734144 39657472 8731 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 9682 8731 700 1178 0 8500 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38728
[startup+6.30038 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26055
/proc/meminfo: memFree=30252916/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=38728 CPUtime=6.3 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 9804 0 0 0 556 74 0 0 25 0 1 0 888734144 39657472 8733 33554432000 4194304 9016284 140737257087040 18446744073709551615 7199047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 9682 8733 701 1178 0 8500 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 38728
[startup+12.7003 s]
/proc/loadavg: 2.18 2.04 2.01 3/176 26055
/proc/meminfo: memFree=30251956/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=38636 CPUtime=12.69 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 18624 0 0 0 1125 144 0 0 25 0 1 0 888734144 39563264 8748 33554432000 4194304 9016284 140737257087040 18446744073709551615 7213844 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 9659 8748 709 1178 0 8477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38636
[startup+25.501 s]
/proc/loadavg: 2.14 2.04 2.01 3/176 26056
/proc/meminfo: memFree=30249240/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=42108 CPUtime=25.5 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 44387 0 0 0 2254 296 0 0 25 0 1 0 888734144 43118592 9610 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 10527 9610 709 1178 0 9345 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 42108
[startup+51.1006 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 26057
/proc/meminfo: memFree=30240208/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=51828 CPUtime=51.09 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 80276 0 0 0 4549 560 0 0 25 0 1 0 888734144 53071872 12034 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 12957 12034 709 1178 0 11775 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51828
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 26058
/proc/meminfo: memFree=30223876/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=66656 CPUtime=102.3 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 96058 0 0 0 9179 1051 0 0 25 0 1 0 888734144 68255744 15766 33554432000 4194304 9016284 140737257087040 18446744073709551615 5256648 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 16664 15766 709 1178 0 15482 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66656
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26059
/proc/meminfo: memFree=30198912/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=87540 CPUtime=162.29 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 109911 0 0 0 14654 1575 0 0 25 0 1 0 888734144 89640960 20960 33554432000 4194304 9016284 140737257087040 18446744073709551615 7214194 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 21885 20960 709 1178 0 20703 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 87540
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26061
/proc/meminfo: memFree=30174344/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=106840 CPUtime=222.29 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 114918 0 0 0 20134 2095 0 0 25 0 1 0 888734144 109404160 25847 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 26710 25847 709 1178 0 25528 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 106840
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26063
/proc/meminfo: memFree=30150020/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=122324 CPUtime=282.3 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 127171 0 0 0 25652 2578 0 0 25 0 1 0 888734144 125259776 29697 33554432000 4194304 9016284 140737257087040 18446744073709551615 5254730 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 30581 29697 709 1178 0 29399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 122324
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26065
/proc/meminfo: memFree=30136864/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=127808 CPUtime=342.29 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 166084 0 0 0 31160 3069 0 0 25 0 1 0 888734144 130875392 31067 33554432000 4194304 9016284 140737257087040 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 31952 31067 709 1178 0 30770 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 127808
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26066
/proc/meminfo: memFree=30126044/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=135472 CPUtime=402.3 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 177215 0 0 0 36679 3551 0 0 25 0 1 0 888734144 138723328 32980 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 33868 32980 709 1178 0 32686 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 135472
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26067
/proc/meminfo: memFree=30116464/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=141860 CPUtime=462.3 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 211133 0 0 0 42222 4008 0 0 25 0 1 0 888734144 145264640 34564 33554432000 4194304 9016284 140737257087040 18446744073709551615 4889096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35465 34564 709 1178 0 34283 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 141860
[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 26069
/proc/meminfo: memFree=30110236/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=142444 CPUtime=522.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 217005 0 0 0 47785 4446 0 0 25 0 1 0 888734144 145862656 34733 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35611 34733 709 1178 0 34429 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 142444
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 26147
/proc/meminfo: memFree=30460888/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=142544 CPUtime=582.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 219988 0 0 0 53422 4809 0 0 25 0 1 0 888734144 145965056 34774 33554432000 4194304 9016284 140737257087040 18446744073709551615 6403834 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35636 34774 709 1178 0 34454 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 142544
[startup+642.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 26187
/proc/meminfo: memFree=30501480/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=143156 CPUtime=642.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 220134 0 0 0 59178 5053 0 0 25 0 1 0 888734144 146591744 34912 33554432000 4194304 9016284 140737257087040 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35789 34912 709 1178 0 34607 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 143156
[startup+702.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 26188
/proc/meminfo: memFree=30425836/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=143300 CPUtime=702.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 223096 0 0 0 64935 5296 0 0 25 0 1 0 888734144 146739200 34946 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35825 34946 709 1178 0 34643 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 143300
[startup+762.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26198
/proc/meminfo: memFree=30353016/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=143300 CPUtime=762.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 223097 0 0 0 70669 5562 0 0 25 0 1 0 888734144 146739200 34947 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35825 34947 709 1178 0 34643 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 143300
[startup+822.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/176 26200
/proc/meminfo: memFree=30278452/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=143360 CPUtime=822.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 246286 0 0 0 76368 5863 0 0 25 0 1 0 888734144 146800640 34941 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 35840 34941 709 1178 0 34658 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 143360
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30213436/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=882.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253595 0 0 0 82037 6194 0 0 25 0 1 0 888734144 147476480 35078 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35078 709 1178 0 34823 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 144020
Solver just ended. Dumping a history of the last processes samples
[startup+883.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30213436/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=883.11 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253595 0 0 0 82113 6198 0 0 25 0 1 0 888734144 147476480 35078 33554432000 4194304 9016284 140737257087040 18446744073709551615 5254010 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35078 709 1178 0 34823 0
Current children cumulated CPU time (s) 883.11
Current children cumulated vsize (KiB) 144020
[startup+889.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30204624/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=889.5 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 82718 6232 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 889.5
Current children cumulated vsize (KiB) 144020
[startup+895.901 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30197056/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=895.91 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 83324 6267 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 895.91
Current children cumulated vsize (KiB) 144020
[startup+897.501 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30196312/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=897.51 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 83477 6274 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 897.51
Current children cumulated vsize (KiB) 144020
[startup+898.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30196312/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=898.31 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 83553 6278 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 898.31
Current children cumulated vsize (KiB) 144020
[startup+898.707 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30193460/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=898.71 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 83591 6280 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 898.71
Current children cumulated vsize (KiB) 144020
[startup+898.901 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26202
/proc/meminfo: memFree=30193460/32951132 swapFree=67054616/67111528
[pid=26054] ppid=26052 vsize=144020 CPUtime=898.91 cores=1,3,5,7
/proc/26054/stat : 26054 (scip-2.0.1.4b_2) R 26052 26054 24772 0 -1 4202496 253602 0 0 0 83610 6281 0 0 25 0 1 0 888734144 147476480 35085 33554432000 4194304 9016284 140737257087040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/26054/statm: 36005 35085 709 1178 0 34823 0
Current children cumulated CPU time (s) 898.91
Current children cumulated vsize (KiB) 144020
Child status: 0
Real time (s): 898.971
CPU time (s): 898.988
CPU user time (s): 836.162
CPU system time (s): 62.8264
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 168820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 836.162
system time used= 62.8264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253609
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= 9
involuntary context switches= 1060
runsolver used 1.10983 second user time and 3.02854 second system time
The end