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-3731491-1338697531.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 469 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 469 upgd conss, 2 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 61 del conss, 158 add conss, 0 chg bounds, 216 chg sides, 518 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 82 del conss, 168 add conss, 0 chg bounds, 277 chg sides, 616 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 86 del conss, 170 add conss, 0 chg bounds, 289 chg sides, 636 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.04 c (round 6) 0 del vars, 88 del conss, 172 add conss, 0 chg bounds, 294 chg sides, 656 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.04 c (round 7) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 296 chg sides, 660 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.04 c (round 8) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 298 chg sides, 662 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.04 c (round 9) 0 del vars, 89 del conss, 173 add conss, 0 chg bounds, 299 chg sides, 672 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/470 (21.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (10 rounds):
0.00/0.04 c 0 deleted vars, 89 deleted constraints, 173 added constraints, 0 tightened bounds, 0 added holes, 299 changed sides, 672 changed coefficients
0.00/0.04 c 224 implications, 0 cliques
0.00/0.04 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 553 constraints
0.00/0.04 c 442 constraints of type <knapsack>
0.00/0.04 c 111 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.68/1.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.68/1.06 c t 1.1s| 1 | 0 | 10328 | - |2615k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 4.700000e+02 | 212.80%
0.68/1.06 o 339
0.68/1.06 c r 1.1s| 1 | 0 | 10328 | - |2628k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.390000e+02 | 125.62%
0.68/1.06 o 338
0.68/1.06 c R 1.1s| 1 | 0 | 10328 | - |2641k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.380000e+02 | 124.95%
0.68/1.06 o 337
0.68/1.06 c s 1.1s| 1 | 0 | 10328 | - |2655k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.370000e+02 | 124.29%
1.19/1.29 o 222
1.19/1.29 c y 1.3s| 1 | 0 | 10328 | - |3018k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 2.220000e+02 | 47.75%
1.89/1.94 c 1.9s| 1 | 0 | 15106 | - |2950k| 0 | 392 | 470 | 553 | 470 | 766 | 213 | 0 | 0 | 1.561028e+02 | 2.220000e+02 | 42.21%
2.49/2.58 c 2.6s| 1 | 0 | 17936 | - |3184k| 0 | 414 | 470 | 553 | 470 | 939 | 386 | 0 | 0 | 1.593240e+02 | 2.220000e+02 | 39.34%
3.29/3.32 c 3.3s| 1 | 0 | 21241 | - |3377k| 0 | 427 | 470 | 553 | 470 |1072 | 519 | 0 | 0 | 1.612141e+02 | 2.220000e+02 | 37.71%
3.89/3.93 c 3.9s| 1 | 0 | 23023 | - |3503k| 0 | 435 | 470 | 553 | 470 |1168 | 615 | 0 | 0 | 1.622819e+02 | 2.220000e+02 | 36.80%
4.38/4.43 c 4.4s| 1 | 0 | 23788 | - |3572k| 0 | 434 | 470 | 553 | 470 |1227 | 674 | 0 | 0 | 1.628702e+02 | 2.220000e+02 | 36.30%
4.78/4.89 c 4.9s| 1 | 0 | 24208 | - |3602k| 0 | 436 | 470 | 553 | 470 |1257 | 704 | 0 | 0 | 1.630897e+02 | 2.220000e+02 | 36.12%
5.29/5.32 c 5.3s| 1 | 0 | 24514 | - |3619k| 0 | 436 | 470 | 553 | 470 |1276 | 723 | 0 | 0 | 1.631622e+02 | 2.220000e+02 | 36.06%
5.69/5.71 c 5.7s| 1 | 0 | 24637 | - |3633k| 0 | 437 | 470 | 553 | 470 |1284 | 731 | 0 | 0 | 1.631787e+02 | 2.220000e+02 | 36.05%
5.99/6.05 c 6.0s| 1 | 0 | 24692 | - |3641k| 0 | 438 | 470 | 553 | 470 |1287 | 734 | 0 | 0 | 1.631860e+02 | 2.220000e+02 | 36.04%
6.28/6.38 c 6.4s| 1 | 0 | 24740 | - |3647k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 0 | 1.631895e+02 | 2.220000e+02 | 36.04%
8.99/9.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.07 c 9.1s| 1 | 2 | 24740 | - |3668k| 0 | 437 | 470 | 553 | 470 |1288 | 735 | 0 | 16 | 1.631895e+02 | 2.220000e+02 | 36.04%
28.68/28.75 o 221
28.68/28.75 c c28.7s| 15 | 16 | 43095 |1311.1 |4437k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.210000e+02 | 35.31%
28.68/28.75 o 220
28.68/28.75 c c28.8s| 15 | 16 | 43102 |1311.6 |4439k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.68/28.76 o 220
28.68/28.76 c c28.8s| 15 | 16 | 43108 |1312.0 |4440k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.200000e+02 | 34.70%
28.68/28.76 o 218
28.68/28.76 c c28.8s| 15 | 16 | 43125 |1313.2 |4441k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.180000e+02 | 33.47%
28.68/28.76 o 217
28.68/28.76 c c28.8s| 15 | 16 | 43127 |1313.4 |4444k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.68/28.76 o 217
28.68/28.76 c c28.8s| 15 | 16 | 43169 |1316.4 |4448k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.170000e+02 | 32.86%
28.68/28.76 o 215
28.68/28.76 c c28.8s| 15 | 16 | 43181 |1317.2 |4450k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.150000e+02 | 31.64%
28.68/28.78 o 214
28.68/28.78 c c28.8s| 15 | 16 | 43286 |1324.7 |4479k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633282e+02 | 2.140000e+02 | 31.02%
30.28/30.34 o 214
30.28/30.34 c p30.3s| 27 | 28 | 55012 |1164.3 |4563k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.140000e+02 | 30.98%
30.28/30.34 o 213
30.28/30.34 c p30.3s| 27 | 28 | 55015 |1164.4 |4564k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.130000e+02 | 30.37%
30.28/30.34 o 212
30.28/30.34 c p30.3s| 27 | 28 | 55019 |1164.6 |4566k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.120000e+02 | 29.76%
30.28/30.35 o 211
30.28/30.35 c p30.3s| 27 | 28 | 55022 |1164.7 |4569k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.110000e+02 | 29.15%
30.28/30.35 o 210
30.28/30.35 c p30.3s| 27 | 28 | 55023 |1164.7 |4570k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.100000e+02 | 28.54%
30.28/30.35 o 209
30.28/30.35 c p30.3s| 27 | 28 | 55030 |1165.0 |4572k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
30.28/30.35 o 209
30.28/30.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.35 c p30.3s| 27 | 28 | 55048 |1165.7 |4578k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 218 | 1.633788e+02 | 2.090000e+02 | 27.92%
34.58/34.66 o 208
34.58/34.66 c v34.7s| 51 | 52 | 81057 |1126.3 |4604k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.58/34.66 o 208
34.58/34.66 c v34.7s| 51 | 52 | 81085 |1126.9 |4608k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.58/34.66 o 208
34.58/34.66 c v34.7s| 51 | 52 | 81105 |1127.3 |4612k| 14 | - | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.080000e+02 | 27.31%
34.58/34.67 o 202
34.58/34.67 c b34.7s| 51 | 52 | 81116 |1127.5 |4482k| 14 | 383 | 470 | 553 | 470 | 930 | 735 | 0 | 232 | 1.633788e+02 | 2.020000e+02 | 23.64%
71.58/71.63 o 201
71.58/71.63 c v71.6s| 210 | 211 |381594 |1707.4 |4764k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.634119e+02 | 2.010000e+02 | 23.00%
71.58/71.68 o 197
71.58/71.68 c b71.7s| 211 | 212 |381863 |1700.6 |4649k| 26 | 414 | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.970000e+02 | 20.48%
72.78/72.87 o 196
72.78/72.87 c p72.9s| 213 | 214 |391143 |1728.3 |4798k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.960000e+02 | 19.86%
72.78/72.87 o 195
72.78/72.87 c p72.9s| 213 | 214 |391144 |1728.3 |4799k| 26 | - | 470 | 553 | 470 | 930 | 735 | 0 | 287 | 1.635183e+02 | 1.950000e+02 | 19.25%
292.74/292.88 o 193
292.74/292.88 c C 293s| 3325 | 2320 | 2101k| 624.7 |6113k| 136 | 79 | 470 | 556 | 470 | 930 | 735 | 3 | 649 | 1.640445e+02 | 1.930000e+02 | 17.65%
292.74/292.89 o 192
292.74/292.89 c b 293s| 3326 | 2111 | 2101k| 624.5 |5960k| 136 | 83 | 470 | 556 | 470 | 930 | 735 | 3 | 649 | 1.640445e+02 | 1.920000e+02 | 17.04%
364.52/364.64 o 191
364.52/364.64 c C 365s| 5870 | 2863 | 2667k| 450.2 |6518k| 136 | - | 470 | 556 | 470 | 930 | 735 | 3 | 794 | 1.641580e+02 | 1.910000e+02 | 16.35%
364.52/364.69 o 190
364.52/364.69 c b 365s| 5871 | 2582 | 2667k| 450.2 |6278k| 136 | 386 | 470 | 556 | 470 | 930 | 735 | 3 | 794 | 1.641598e+02 | 1.900000e+02 | 15.74%
479.01/479.10 c 479s| 10000 | 3889 | 3638k| 361.4 |7372k| 136 | 133 | 470 | 556 | 470 | 930 | 735 | 3 | 869 | 1.642607e+02 | 1.900000e+02 | 15.67%
764.46/764.62 c 765s| 20000 | 6895 | 5945k| 296.0 |9737k| 136 | - | 470 | 560 | 470 | 930 | 735 | 8 |1426 | 1.644516e+02 | 1.900000e+02 | 15.54%
1039.93/1040.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.93/1040.15 c 1040s| 30000 | 10049 | 8184k| 272.0 | 12M| 136 | - | 470 | 564 | 470 | 930 | 735 | 13 |1877 | 1.645795e+02 | 1.900000e+02 | 15.45%
1283.09/1283.34 c 1283s| 40000 | 12761 | 10168k| 253.6 | 14M| 136 | - | 470 | 560 | 470 | 930 | 735 | 13 |2235 | 1.646660e+02 | 1.900000e+02 | 15.39%
1522.05/1522.30 c 1522s| 50000 | 15957 | 12150k| 242.5 | 16M| 136 | 131 | 470 | 562 | 470 | 930 | 735 | 18 |2512 | 1.647177e+02 | 1.900000e+02 | 15.35%
1728.82/1729.12 c 1729s| 60000 | 18827 | 13846k| 230.4 | 18M| 136 | - | 470 | 560 | 470 | 930 | 735 | 18 |2790 | 1.647661e+02 | 1.900000e+02 | 15.31%
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 63498
1796.71/1797.01 c Primal Bound : +1.90000000000000e+02 (729 solutions)
1796.71/1797.01 c Dual Bound : +1.64783319745682e+02
1796.71/1797.01 c Gap : 15.30 %
1796.71/1797.01 s SATISFIABLE
1796.71/1797.01 v -x470 x469 -x468 x467 x466 -x465 -x464 x463 -x462 -x461 -x460 x459 -x458 x457 x456 -x455 -x454 -x453 x452 x451 x450 x449 -x448
1796.71/1797.01 v -x447 -x446 -x445 -x444 x443 x442 -x441 -x440 -x439 x438 x437 -x436 x435 -x434 x433 -x432 -x431 -x430 x429 x428 x427 -x426 -x425
1796.71/1797.01 v -x424 x423 x422 -x421 -x420 x419 -x418 -x417 -x416 x415 -x414 x413 -x412 -x411 x410 x409 -x408 x407 -x406 -x405 -x404 -x403
1796.71/1797.01 v x402 x401 -x400 x399 -x398 x397 x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388 -x387 x386 -x385 x384 -x383 x382 -x381
1796.71/1797.01 v -x380 x379 x378 x377 -x376 -x375 -x374 -x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 x362 x361 -x360 -x359 x358
1796.71/1797.01 v -x357 x356 x355 x354 -x353 -x352 -x351 x350 -x349 -x348 x347 -x346 x345 -x344 -x343 -x342 -x341 x340 x339 -x338 x337 -x336
1796.71/1797.01 v x335 -x334 x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 x321 x320 x319 x318 -x317 x316 -x315 x314 -x313
1796.71/1797.01 v x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 x302 x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 x291
1796.71/1797.01 v x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269
1796.71/1797.01 v x268 x267 -x266 -x265 -x264 x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 x252 x251 x250 -x249 -x248 x247
1796.71/1797.01 v -x246 -x245 x244 -x243 -x242 -x241 -x240 x239 -x238 x237 -x236 x235 x234 x233 -x232 x231 -x230 -x229 -x228 x227 -x226 -x225
1796.71/1797.01 v x224 -x223 x222 x221 -x220 -x219 x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 x203
1796.71/1797.01 v x202 x201 -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 -x181
1796.71/1797.01 v -x180 -x179 x178 -x177 x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159
1796.71/1797.01 v x158 x157 -x156 x155 -x154 x153 x152 x151 -x150 -x149 -x148 -x147 x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138 x137 -x136
1796.71/1797.01 v -x135 -x134 x133 -x132 -x131 -x130 x129 x128 -x127 x126 -x125 -x124 -x123 -x122 x121 -x120 x119 x118 x117 -x116 x115 x114 -x113
1796.71/1797.01 v x112 x111 x110 -x109 x108 -x107 -x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 x89
1796.71/1797.01 v -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 x76 x75 -x74 -x73 x72 -x71 -x70 x69 x68 -x67 -x66 x65 -x64 x63 x62
1796.71/1797.01 v -x61 -x60 x59 x58 x57 x56 x55 -x54 -x53 x52 x51 -x50 x49 x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 x39 -x38 x37 -x36 -x35
1796.71/1797.01 v -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 x9 -x8 -x7
1796.71/1797.01 v x6 -x5 x4 x3 x2 x1
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 0.03 (included in solving)
1796.71/1797.01 c reading : 0.01 (included in solving)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3731491-1338697531.opb
1796.71/1797.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 469 initial, 469 maximal
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3731491-1338697531.opb
1796.71/1797.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 553 initial, 565 maximal
1796.71/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 0.02 0 0 0 0 0 26 173 299 649
1796.71/1797.01 c setppc : 0.00 0 0 0 0 0 63 0 0 0
1796.71/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 23
1796.71/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 42234 0 734 0 0 136 0 0 84262
1796.71/1797.01 c knapsack : 442 11 334578 0 2 729 0 0 299231 748 0 0
1796.71/1797.01 c setppc : 111 11 334578 0 2 728 0 0 49017 0 0 0
1796.71/1797.01 c logicor : 0+ 0 18365 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 2 732 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.01 c integral : 85.51 0.00 0.00 85.51 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 3.43 0.04 3.39 0.00 0.00 0.01 0.00
1796.71/1797.01 c setppc : 0.60 0.00 0.59 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c rootredcost : 21 0 0 0
1796.71/1797.01 c pseudoobj : 335563 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.01 c vbounds : 0.24 0.24 0.00
1796.71/1797.01 c rootredcost : 0.23 0.23 0.00
1796.71/1797.01 c pseudoobj : 2.68 2.68 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 18 18 18 4.0 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 18 4.0 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 10 - - 248 - (maximal pool size: 1330)
1796.71/1797.01 c redcost : 1.72 83480 0 918128 0 0
1796.71/1797.01 c impliedbounds : 0.00 11 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 1.47 11 0 0 1 0
1796.71/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 1.42 11 0 0 1 0
1796.71/1797.01 c cmir : 0.20 10 0 0 774 0
1796.71/1797.01 c flowcover : 0.28 10 0 0 929 0
1796.71/1797.01 c clique : 0.00 1 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.09 1 0 0 0 0
1796.71/1797.01 c Pricers : Time Calls Vars
1796.71/1797.01 c problem variables: 0.00 0 0
1796.71/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 85.41 42234 0 136 0 0 84262
1796.71/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 2 0 0 0 0 4
1796.71/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : Time Calls Found
1796.71/1797.01 c LP solutions : 0.00 - 0
1796.71/1797.01 c pseudo solutions : 0.00 - 0
1796.71/1797.01 c intshifting : 0.00 0 0
1796.71/1797.01 c oneopt : 0.05 12 4
1796.71/1797.01 c crossover : 1.53 7 6
1796.71/1797.01 c fracdiving : 57.34 53 5
1796.71/1797.01 c veclendiving : 149.58 183 94
1796.71/1797.01 c coefdiving : 218.51 183 162
1796.71/1797.01 c pscostdiving : 220.16 288 251
1796.71/1797.01 c trivial : 0.00 2 1
1796.71/1797.01 c shiftandpropagate: 0.00 0 0
1796.71/1797.01 c simplerounding : 1.24 72403 25
1796.71/1797.01 c zirounding : 0.47 1301 26
1796.71/1797.01 c rounding : 11.02 12620 1
1796.71/1797.01 c shifting : 2.99 3417 1
1796.71/1797.01 c twoopt : 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0 0
1796.71/1797.01 c feaspump : 0.01 0 0
1796.71/1797.01 c clique : 0.00 0 0
1796.71/1797.01 c intdiving : 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0 0
1796.71/1797.01 c objpscostdiving : 41.61 5 108
1796.71/1797.01 c rootsoldiving : 13.57 14 0
1796.71/1797.01 c linesearchdiving : 76.10 112 44
1796.71/1797.01 c guideddiving : 49.95 48 0
1796.71/1797.01 c octane : 0.00 0 0
1796.71/1797.01 c rens : 0.01 0 0
1796.71/1797.01 c rins : 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0 0
1796.71/1797.01 c dins : 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0 0
1796.71/1797.01 c subnlp : 0.04 0 0
1796.71/1797.01 c trysol : 0.10 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.71/1797.01 c dual LP : 838.40 93752 7147853 76.24 8525.57
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.01 c diving/probing LP: 801.08 129252 7260595 56.17 9063.47
1796.71/1797.01 c strong branching : 83.29 2855 585878 205.21 7034.22
1796.71/1797.01 c (at root node) : - 16 15139 946.19 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 63498
1796.71/1797.01 c nodes (total) : 63498
1796.71/1797.01 c nodes left : 19795
1796.71/1797.01 c max depth : 136
1796.71/1797.01 c max depth (total): 136
1796.71/1797.01 c backtracks : 11120 (17.5%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 7.34
1796.71/1797.01 c switching time : 2.83
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 729 (32 improvements)
1796.71/1797.01 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.90000000000000e+02 (in run 1, after 5871 nodes, 364.68 seconds, depth 12, found by <oneopt>)
1796.71/1797.01 c Dual Bound : +1.64783319745682e+02
1796.71/1797.01 c Gap : 15.30 %
1796.71/1797.01 c Root Dual Bound : +1.63189540168253e+02
1796.71/1797.01 c Root Iterations : 24740
1796.71/1797.04 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731491-1338697531/watcher-3731491-1338697531 -o /tmp/evaluation-result-3731491-1338697531/solver-3731491-1338697531 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731491-1338697531.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: 1.83 2.13 2.86 3/174 1785
/proc/meminfo: memFree=28213896/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 1387 0 0 0 0 0 0 0 20 0 1 0 335878484 9547776 1341 33554432000 4194304 9016284 140736575261264 140737148513096 6813403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 2331 1354 272 1178 0 1149 0
[startup+0.0903039 s]
/proc/loadavg: 1.83 2.13 2.86 3/174 1785
/proc/meminfo: memFree=28213896/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=22292 CPUtime=0.08 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 4732 0 0 0 7 1 0 0 20 0 1 0 335878484 22827008 4421 33554432000 4194304 9016284 140736575261264 140737148513096 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 5573 4421 620 1178 0 4391 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22292
[startup+0.100236 s]
/proc/loadavg: 1.83 2.13 2.86 3/174 1785
/proc/meminfo: memFree=28213896/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=22292 CPUtime=0.09 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 4732 0 0 0 8 1 0 0 20 0 1 0 335878484 22827008 4421 33554432000 4194304 9016284 140736575261264 140737148513096 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 5573 4421 620 1178 0 4391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22292
[startup+0.300163 s]
/proc/loadavg: 1.83 2.13 2.86 3/174 1785
/proc/meminfo: memFree=28213896/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=22612 CPUtime=0.29 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 4832 0 0 0 28 1 0 0 20 0 1 0 335878484 23154688 4521 33554432000 4194304 9016284 140736575261264 140737148513096 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 5653 4521 621 1178 0 4471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22612
[startup+0.700155 s]
/proc/loadavg: 1.83 2.13 2.86 3/174 1785
/proc/meminfo: memFree=28213896/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=22784 CPUtime=0.68 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 4874 0 0 0 67 1 0 0 20 0 1 0 335878484 23330816 4563 33554432000 4194304 9016284 140736575261264 140737148513096 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 5696 4563 621 1178 0 4514 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22784
[startup+1.5002 s]
/proc/loadavg: 1.83 2.13 2.86 3/179 1790
/proc/meminfo: memFree=28154228/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=24260 CPUtime=1.48 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 8424 0 0 0 146 2 0 0 20 0 1 0 335878484 24842240 5078 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6065 5078 694 1178 0 4883 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24260
[startup+3.10018 s]
/proc/loadavg: 1.84 2.13 2.86 3/179 1790
/proc/meminfo: memFree=28175928/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=25824 CPUtime=3.08 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 8782 0 0 0 305 3 0 0 20 0 1 0 335878484 26443776 5436 33554432000 4194304 9016284 140736575261264 140736575256424 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6456 5436 696 1178 0 5274 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25824
[startup+6.30016 s]
/proc/loadavg: 1.84 2.13 2.86 3/179 1790
/proc/meminfo: memFree=28173752/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=26868 CPUtime=6.28 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 9021 0 0 0 623 5 0 0 20 0 1 0 335878484 27512832 5675 33554432000 4194304 9016284 140736575261264 140736575256376 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6717 5675 696 1178 0 5535 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26868
[startup+12.7002 s]
/proc/loadavg: 1.86 2.12 2.85 3/179 1790
/proc/meminfo: memFree=28172296/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=27052 CPUtime=12.69 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 10617 0 0 0 1258 11 0 0 20 0 1 0 335878484 27701248 5727 33554432000 4194304 9016284 140736575261264 140736575255112 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6763 5727 699 1178 0 5581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27052
[startup+25.5002 s]
/proc/loadavg: 1.88 2.12 2.84 3/179 1790
/proc/meminfo: memFree=28171072/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=27052 CPUtime=25.48 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 10623 0 0 0 2527 21 0 0 20 0 1 0 335878484 27701248 5892 33554432000 4194304 9016284 140736575261264 140736575255064 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6763 5892 701 1178 0 5581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27052
[startup+51.1002 s]
/proc/loadavg: 1.92 2.11 2.81 3/179 1790
/proc/meminfo: memFree=28170824/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=27404 CPUtime=51.08 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 10707 0 0 0 5065 43 0 0 20 0 1 0 335878484 28061696 5976 33554432000 4194304 9016284 140736575261264 140736575254936 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6851 5976 702 1178 0 5669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27404
[startup+102.3 s]
/proc/loadavg: 2.01 2.10 2.77 3/179 1790
/proc/meminfo: memFree=28170080/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=27404 CPUtime=102.27 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 10720 0 0 0 10139 88 0 0 20 0 1 0 335878484 28061696 5989 33554432000 4194304 9016284 140736575261264 140736575254936 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6851 5989 702 1178 0 5669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27404
[startup+162.3 s]
/proc/loadavg: 2.00 2.08 2.72 3/179 1790
/proc/meminfo: memFree=28169336/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=27684 CPUtime=162.26 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 13551 0 0 0 16079 147 0 0 20 0 1 0 335878484 28348416 6042 33554432000 4194304 9016284 140736575261264 140736575254920 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 6921 6042 707 1178 0 5739 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27684
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.68 3/179 1790
/proc/meminfo: memFree=28169212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=28080 CPUtime=222.25 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 13662 0 0 0 22023 202 0 0 20 0 1 0 335878484 28753920 6153 33554432000 4194304 9016284 140736575261264 140736575254936 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7020 6153 707 1178 0 5838 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 28080
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.63 3/179 1793
/proc/meminfo: memFree=28167028/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=29636 CPUtime=282.24 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 18345 0 0 0 27956 268 0 0 20 0 1 0 335878484 30347264 6542 33554432000 4194304 9016284 140736575261264 140736575255320 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7409 6542 708 1178 0 6227 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29636
[startup+342.3 s]
/proc/loadavg: 2.07 2.05 2.59 3/179 1794
/proc/meminfo: memFree=28167044/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=29884 CPUtime=342.23 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 21522 0 0 0 33889 334 0 0 20 0 1 0 335878484 30601216 6613 33554432000 4194304 9016284 140736575261264 140736575255224 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7471 6613 709 1178 0 6289 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29884
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.56 3/179 1794
/proc/meminfo: memFree=28164808/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=30288 CPUtime=402.22 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 24813 0 0 0 39825 397 0 0 20 0 1 0 335878484 31014912 6699 33554432000 4194304 9016284 140736575261264 140736575254856 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7572 6699 709 1178 0 6390 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 30288
[startup+462.306 s]
/proc/loadavg: 2.03 2.05 2.52 3/179 1794
/proc/meminfo: memFree=28162572/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=30064 CPUtime=462.21 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 27984 0 0 0 45759 462 0 0 20 0 1 0 335878484 30785536 6664 33554432000 4194304 9016284 140736575261264 140736575255432 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7516 6664 709 1178 0 6334 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 30064
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.49 3/179 1794
/proc/meminfo: memFree=28160524/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=31908 CPUtime=522.21 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 28457 0 0 0 51694 527 0 0 20 0 1 0 335878484 32673792 7136 33554432000 4194304 9016284 140736575261264 140736575255432 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 7977 7136 709 1178 0 6795 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31908
[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.45 3/179 1794
/proc/meminfo: memFree=28156800/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=32964 CPUtime=582.2 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 31750 0 0 0 57628 592 0 0 20 0 1 0 335878484 33755136 7396 33554432000 4194304 9016284 140736575261264 140736575255272 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 8241 7396 709 1178 0 7059 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 32964
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28149224/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=37064 CPUtime=1062.12 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 40374 0 0 0 105110 1102 0 0 20 0 1 0 335878484 37953536 8433 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9266 8433 709 1178 0 8084 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 37064
[startup+1122.31 s]
/proc/loadavg: 2.03 2.01 2.24 3/179 1799
/proc/meminfo: memFree=28147860/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=37452 CPUtime=1122.12 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 40472 0 0 0 111049 1163 0 0 20 0 1 0 335878484 38350848 8531 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9363 8531 709 1178 0 8181 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 37452
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.23 3/179 1799
/proc/meminfo: memFree=28147240/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=37592 CPUtime=1182.11 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 40507 0 0 0 116987 1224 0 0 20 0 1 0 335878484 38494208 8566 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9398 8566 709 1178 0 8216 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 37592
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/179 1800
/proc/meminfo: memFree=28145748/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=38028 CPUtime=1242.09 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 40623 0 0 0 122926 1283 0 0 20 0 1 0 335878484 38940672 8682 33554432000 4194304 9016284 140736575261264 140736575255432 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9507 8682 709 1178 0 8325 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 38028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 1800
/proc/meminfo: memFree=28142956/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=38028 CPUtime=1302.09 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 40644 0 0 0 128871 1338 0 0 20 0 1 0 335878484 38940672 8703 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9507 8703 709 1178 0 8325 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 38028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/179 1800
/proc/meminfo: memFree=28142024/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=39220 CPUtime=1362.07 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 42464 0 0 0 134804 1403 0 0 20 0 1 0 335878484 40161280 9005 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 9805 9005 709 1178 0 8623 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 39220
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 1800
/proc/meminfo: memFree=28140288/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=40396 CPUtime=1422.06 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 42762 0 0 0 140741 1465 0 0 20 0 1 0 335878484 41365504 9303 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10099 9303 709 1178 0 8917 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 40396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/180 1804
/proc/meminfo: memFree=28139224/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=40396 CPUtime=1482.06 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 42778 0 0 0 146678 1528 0 0 20 0 1 0 335878484 41365504 9319 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10099 9319 709 1178 0 8917 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 40396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 1805
/proc/meminfo: memFree=28138920/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=41088 CPUtime=1542.05 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 42930 0 0 0 152614 1591 0 0 20 0 1 0 335878484 42074112 9470 33554432000 4194304 9016284 140736575261264 140736575255176 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10272 9470 709 1178 0 9090 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 41088
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.13 3/179 1805
/proc/meminfo: memFree=28138672/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=41088 CPUtime=1602.04 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 42935 0 0 0 158547 1657 0 0 20 0 1 0 335878484 42074112 9475 33554432000 4194304 9016284 140736575261264 140736575255064 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10272 9475 709 1178 0 9090 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 41088
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.12 3/178 1805
/proc/meminfo: memFree=28138184/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=42424 CPUtime=1662.03 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43270 0 0 0 164484 1719 0 0 20 0 1 0 335878484 43442176 9810 33554432000 4194304 9016284 140736575261264 140736575254872 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10606 9810 709 1178 0 9424 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 42424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 1806
/proc/meminfo: memFree=28134640/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=43800 CPUtime=1722.02 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43610 0 0 0 170417 1785 0 0 20 0 1 0 335878484 44851200 10149 33554432000 4194304 9016284 140736575261264 140736575255176 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 10950 10149 709 1178 0 9768 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 43800
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1782.01 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43756 0 0 0 176356 1845 0 0 20 0 1 0 335878484 45338624 10295 33554432000 4194304 9016284 140736575261264 140736575255128 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10295 709 1178 0 9887 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 44276
Solver just ended. Dumping a history of the last processes samples
[startup+1785.8 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1785.51 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43757 0 0 0 176702 1849 0 0 20 0 1 0 335878484 45338624 10296 33554432000 4194304 9016284 140736575261264 140736575254856 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10296 709 1178 0 9887 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 44276
[startup+1792.21 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1791.91 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43757 0 0 0 177335 1856 0 0 20 0 1 0 335878484 45338624 10296 33554432000 4194304 9016284 140736575261264 140736575255432 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10296 709 1178 0 9887 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 44276
[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1795.11 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43757 0 0 0 177652 1859 0 0 20 0 1 0 335878484 45338624 10296 33554432000 4194304 9016284 140736575261264 140736575254184 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10296 709 1178 0 9887 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 44276
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1795.91 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43758 0 0 0 177731 1860 0 0 20 0 1 0 335878484 45338624 10297 33554432000 4194304 9016284 140736575261264 140736575255208 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10297 709 1178 0 9887 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 44276
[startup+1796.61 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1796.31 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43758 0 0 0 177771 1860 0 0 20 0 1 0 335878484 45338624 10297 33554432000 4194304 9016284 140736575261264 140736575255208 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10297 709 1178 0 9887 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 44276
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 1806
/proc/meminfo: memFree=28133212/32873844 swapFree=7112/7112
[pid=1785] ppid=1782 vsize=44276 CPUtime=1796.71 cores=1,3,5,7
/proc/1785/stat : 1785 (scip-2.0.1.4b_2) R 1782 1785 27163 0 -1 4202496 43758 0 0 0 177810 1861 0 0 20 0 1 0 335878484 45338624 10297 33554432000 4194304 9016284 140736575261264 140736575255176 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/1785/statm: 11069 10297 709 1178 0 9887 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 44276
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.77
CPU user time (s): 1778.15
CPU system time (s): 18.6122
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 46120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.15
system time used= 18.6122
maximum resident set size= 41968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43765
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= 15
involuntary context switches= 1858
runsolver used 2.74858 second user time and 7.05593 second system time
The end