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-3488575-1307783031.opb>
0.00/0.09 c original problem has 19244 variables (19244 bin, 0 int, 0 impl, 0 cont) and 19744 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.10/0.19 o 0
0.10/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.10/0.19 c presolving:
0.29/0.36 c (round 1) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74976 impls, 0 clqs
0.29/0.39 c (round 2) 18744 del vars, 1000 del conss, 0 add conss, 18744 chg bounds, 0 chg sides, 0 chg coeffs, 18744 upgd conss, 74976 impls, 0 clqs
0.49/0.57 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.57 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.57 c presolving (3 rounds):
0.49/0.57 c 18744 deleted vars, 1000 deleted constraints, 0 added constraints, 18744 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.57 c 112462 implications, 0 cliques
0.49/0.57 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18744 constraints
0.49/0.57 c 18744 constraints of type <setppc>
0.49/0.57 c transformed objective value is always integral (scale: 1)
0.49/0.57 c Presolving Time: 0.42
0.49/0.57 c - non default parameters ----------------------------------------------------------------------
0.49/0.57 c # SCIP version 2.0.1.5
0.49/0.57 c
0.49/0.57 c # frequency for displaying node information lines
0.49/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57 c display/freq = 10000
0.49/0.57 c
0.49/0.57 c # maximal time in seconds to run
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/time = 1797
0.49/0.57 c
0.49/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57 c limits/memory = 13950
0.49/0.57 c
0.49/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.57 c # [type: int, range: [1,2], default: 1]
0.49/0.57 c timing/clocktype = 2
0.49/0.57 c
0.49/0.57 c # belongs reading time to solving time?
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c timing/reading = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify inequalities
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/linear/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/indicator/addCouplingCons = TRUE
0.49/0.57 c
0.49/0.57 c # should presolving try to simplify knapsacks
0.49/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57 c
0.49/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57 c separating/rapidlearning/freq = 0
0.49/0.57 c
0.49/0.57 c -----------------------------------------------------------------------------------------------
0.49/0.57 c start solving
0.49/0.57 c
0.69/0.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.72 c t 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.75 o -2
0.69/0.75 c s 0.7s| 1 | 0 | 508 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.99/1.08 c 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
0.99/1.08 o -23
0.99/1.08 c b 1.1s| 1 | 0 | 671 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.425000e+02 |-2.300000e+01 | 90.52%
1.39/1.46 c 1.5s| 1 | 0 | 853 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 15 | 0 | 0 |-2.375000e+02 |-2.300000e+01 | 90.32%
1.79/1.82 c 1.8s| 1 | 0 | 1002 | - | 60M| 0 | 467 | 500 | 18k| 500 | 18k| 21 | 0 | 0 |-2.335000e+02 |-2.300000e+01 | 90.15%
2.20/2.29 c 2.3s| 1 | 0 | 1349 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 28 | 0 | 0 |-2.290000e+02 |-2.300000e+01 | 89.96%
2.69/2.77 c 2.8s| 1 | 0 | 1656 | - | 60M| 0 | 447 | 500 | 18k| 500 | 18k| 40 | 0 | 0 |-2.235000e+02 |-2.300000e+01 | 89.71%
3.19/3.22 c 3.2s| 1 | 0 | 1932 | - | 60M| 0 | 437 | 500 | 18k| 500 | 18k| 53 | 0 | 0 |-2.185000e+02 |-2.300000e+01 | 89.47%
3.69/3.79 c 3.8s| 1 | 0 | 2430 | - | 60M| 0 | 429 | 500 | 18k| 500 | 18k| 63 | 0 | 0 |-2.145000e+02 |-2.300000e+01 | 89.28%
4.29/4.30 c 4.3s| 1 | 0 | 2752 | - | 60M| 0 | 423 | 500 | 18k| 500 | 18k| 73 | 0 | 0 |-2.115000e+02 |-2.300000e+01 | 89.13%
4.79/4.86 c 4.9s| 1 | 0 | 3165 | - | 60M| 0 | 423 | 500 | 18k| 500 | 18k| 81 | 0 | 0 |-2.100000e+02 |-2.300000e+01 | 89.05%
5.29/5.38 c 5.4s| 1 | 0 | 3391 | - | 60M| 0 | 418 | 500 | 18k| 500 | 18k| 91 | 0 | 0 |-2.086667e+02 |-2.300000e+01 | 88.98%
5.79/5.84 c 5.8s| 1 | 0 | 3929 | - | 60M| 0 | 411 | 500 | 18k| 500 |1066 | 105 | 0 | 0 |-2.055000e+02 |-2.300000e+01 | 88.81%
5.89/5.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.93 c 5.9s| 1 | 0 | 4280 | - | 60M| 0 | 402 | 500 | 18k| 500 |1077 | 116 | 0 | 0 |-2.020000e+02 |-2.300000e+01 | 88.61%
5.99/6.04 c 6.0s| 1 | 0 | 4625 | - | 60M| 0 | 396 | 500 | 18k| 500 |1258 | 297 | 0 | 0 |-2.000000e+02 |-2.300000e+01 | 88.50%
6.09/6.18 c 6.2s| 1 | 0 | 5204 | - | 61M| 0 | 408 | 500 | 18k| 500 |1367 | 406 | 0 | 0 |-1.965000e+02 |-2.300000e+01 | 88.30%
6.39/6.45 c 6.4s| 1 | 0 | 6247 | - | 62M| 0 | 392 | 500 | 18k| 500 |2140 |1179 | 0 | 0 |-1.927500e+02 |-2.300000e+01 | 88.07%
6.50/6.58 c 6.6s| 1 | 0 | 6625 | - | 62M| 0 | 382 | 500 | 18k| 500 |2150 |1189 | 0 | 0 |-1.910000e+02 |-2.300000e+01 | 87.96%
6.70/6.70 c 6.7s| 1 | 0 | 6971 | - | 62M| 0 | 379 | 500 | 18k| 500 |1823 |1196 | 0 | 0 |-1.893333e+02 |-2.300000e+01 | 87.85%
6.79/6.85 c 6.8s| 1 | 0 | 7808 | - | 62M| 0 | 370 | 500 | 18k| 500 |1833 |1206 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
6.99/7.01 c 7.0s| 1 | 0 | 8313 | - | 62M| 0 | 358 | 500 | 18k| 500 |1953 |1326 | 0 | 0 |-1.865000e+02 |-2.300000e+01 | 87.67%
7.09/7.19 c 7.2s| 1 | 0 | 8904 | - | 62M| 0 | 378 | 500 | 18k| 500 |2423 |1796 | 0 | 0 |-1.835000e+02 |-2.300000e+01 | 87.47%
7.29/7.36 c 7.4s| 1 | 0 | 9577 | - | 63M| 0 | 374 | 500 | 18k| 500 |2568 |1941 | 0 | 0 |-1.813750e+02 |-2.300000e+01 | 87.32%
7.59/7.61 c 7.6s| 1 | 0 | 10653 | - | 64M| 0 | 352 | 500 | 18k| 500 |3111 |2484 | 0 | 0 |-1.780000e+02 |-2.300000e+01 | 87.08%
7.69/7.76 c 7.8s| 1 | 0 | 11412 | - | 64M| 0 | 346 | 500 | 18k| 500 |2817 |2580 | 0 | 0 |-1.750000e+02 |-2.300000e+01 | 86.86%
7.89/7.93 c 7.9s| 1 | 0 | 12436 | - | 64M| 0 | 346 | 500 | 18k| 500 |2896 |2659 | 0 | 0 |-1.735000e+02 |-2.300000e+01 | 86.74%
7.99/8.08 c 8.1s| 1 | 0 | 13130 | - | 64M| 0 | 377 | 500 | 18k| 500 |3112 |2875 | 0 | 0 |-1.722143e+02 |-2.300000e+01 | 86.64%
8.19/8.29 c 8.3s| 1 | 0 | 13256 | - | 65M| 0 | 343 | 500 | 18k| 500 |4652 |4415 | 0 | 0 |-1.715000e+02 |-2.300000e+01 | 86.59%
8.39/8.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.40 c 8.4s| 1 | 0 | 13470 | - | 65M| 0 | 337 | 500 | 18k| 500 |4663 |4426 | 0 | 0 |-1.695000e+02 |-2.300000e+01 | 86.43%
8.49/8.55 c 8.5s| 1 | 0 | 13846 | - | 65M| 0 | 345 | 500 | 18k| 500 |4717 |4480 | 0 | 0 |-1.682500e+02 |-2.300000e+01 | 86.33%
8.59/8.66 c 8.7s| 1 | 0 | 14105 | - | 65M| 0 | 336 | 500 | 18k| 500 |3650 |4489 | 0 | 0 |-1.672500e+02 |-2.300000e+01 | 86.25%
8.80/8.84 c 8.8s| 1 | 0 | 15082 | - | 65M| 0 | 375 | 500 | 18k| 500 |3658 |4497 | 0 | 0 |-1.660238e+02 |-2.300000e+01 | 86.15%
9.09/9.15 c 9.1s| 1 | 0 | 16149 | - | 66M| 0 | 346 | 500 | 18k| 500 |4483 |5322 | 0 | 0 |-1.633333e+02 |-2.300000e+01 | 85.92%
9.49/9.52 c 9.5s| 1 | 0 | 17584 | - | 66M| 0 | 343 | 500 | 18k| 500 |4532 |5371 | 0 | 0 |-1.610000e+02 |-2.300000e+01 | 85.71%
9.69/9.78 c 9.8s| 1 | 0 | 18658 | - | 66M| 0 | 319 | 500 | 18k| 500 |4629 |5468 | 0 | 0 |-1.595000e+02 |-2.300000e+01 | 85.58%
10.00/10.02 c 10.0s| 1 | 0 | 19417 | - | 66M| 0 | 360 | 500 | 18k| 500 |4638 |5477 | 0 | 0 |-1.579167e+02 |-2.300000e+01 | 85.44%
10.19/10.20 c 10.2s| 1 | 0 | 19951 | - | 66M| 0 | 357 | 500 | 18k| 500 |3209 |5601 | 0 | 0 |-1.570156e+02 |-2.300000e+01 | 85.35%
10.39/10.43 c 10.4s| 1 | 0 | 21085 | - | 67M| 0 | 327 | 500 | 18k| 500 |3224 |5616 | 0 | 0 |-1.546250e+02 |-2.300000e+01 | 85.13%
10.59/10.69 c 10.7s| 1 | 0 | 22474 | - | 67M| 0 | 346 | 500 | 18k| 500 |3360 |5752 | 0 | 0 |-1.534375e+02 |-2.300000e+01 | 85.01%
10.79/10.89 c 10.9s| 1 | 0 | 23236 | - | 68M| 0 | 334 | 500 | 18k| 500 |3724 |6116 | 0 | 0 |-1.523750e+02 |-2.300000e+01 | 84.91%
11.09/11.16 c 11.2s| 1 | 0 | 24486 | - | 68M| 0 | 347 | 500 | 18k| 500 |3861 |6253 | 0 | 0 |-1.516786e+02 |-2.300000e+01 | 84.84%
11.49/11.57 c 11.6s| 1 | 0 | 26366 | - | 69M| 0 | 349 | 500 | 18k| 500 |3971 |6363 | 0 | 0 |-1.501353e+02 |-2.300000e+01 | 84.68%
11.79/11.87 c 11.9s| 1 | 0 | 27407 | - | 70M| 0 | 358 | 500 | 18k| 500 |2004 |6542 | 0 | 0 |-1.494272e+02 |-2.300000e+01 | 84.61%
11.99/12.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.05 c 12.0s| 1 | 0 | 27863 | - | 71M| 0 | 336 | 500 | 18k| 500 |2143 |6681 | 0 | 0 |-1.489167e+02 |-2.300000e+01 | 84.56%
12.19/12.24 c 12.2s| 1 | 0 | 28759 | - | 72M| 0 | 348 | 500 | 18k| 500 |2210 |6748 | 0 | 0 |-1.482845e+02 |-2.300000e+01 | 84.49%
12.39/12.44 c 12.4s| 1 | 0 | 29387 | - | 72M| 0 | 361 | 500 | 18k| 500 |2427 |6965 | 0 | 0 |-1.476471e+02 |-2.300000e+01 | 84.42%
12.69/12.76 c 12.8s| 1 | 0 | 30462 | - | 73M| 0 | 358 | 500 | 18k| 500 |2520 |7058 | 0 | 0 |-1.468504e+02 |-2.300000e+01 | 84.34%
13.20/13.24 c 13.2s| 1 | 0 | 32424 | - | 73M| 0 | 363 | 500 | 18k| 500 |2621 |7159 | 0 | 0 |-1.445442e+02 |-2.300000e+01 | 84.09%
13.59/13.69 c 13.7s| 1 | 0 | 34702 | - | 74M| 0 | 364 | 500 | 18k| 500 |2216 |7277 | 0 | 0 |-1.426975e+02 |-2.300000e+01 | 83.88%
13.99/14.03 c 14.0s| 1 | 0 | 36281 | - | 76M| 0 | 360 | 500 | 18k| 500 |2253 |7314 | 0 | 0 |-1.408255e+02 |-2.300000e+01 | 83.67%
14.40/14.49 c 14.5s| 1 | 0 | 38047 | - | 77M| 0 | 373 | 500 | 18k| 500 |2617 |7678 | 0 | 0 |-1.396596e+02 |-2.300000e+01 | 83.53%
14.89/14.92 c 14.9s| 1 | 0 | 39222 | - | 77M| 0 | 374 | 500 | 18k| 500 |2780 |7841 | 0 | 0 |-1.384767e+02 |-2.300000e+01 | 83.39%
15.29/15.36 c 15.4s| 1 | 0 | 40360 | - | 77M| 0 | 365 | 500 | 18k| 500 |2924 |7985 | 0 | 0 |-1.370424e+02 |-2.300000e+01 | 83.22%
15.69/15.76 c 15.8s| 1 | 0 | 41807 | - | 79M| 0 | 385 | 500 | 18k| 500 |3050 |8111 | 0 | 0 |-1.358172e+02 |-2.300000e+01 | 83.07%
16.29/16.31 c 16.3s| 1 | 0 | 43045 | - | 79M| 0 | 396 | 500 | 18k| 500 |2296 |8144 | 0 | 0 |-1.351491e+02 |-2.300000e+01 | 82.98%
16.69/16.79 c 16.8s| 1 | 0 | 44175 | - | 79M| 0 | 383 | 500 | 18k| 500 |2617 |8465 | 0 | 0 |-1.345461e+02 |-2.300000e+01 | 82.91%
17.39/17.40 c 17.4s| 1 | 0 | 46106 | - | 79M| 0 | 383 | 500 | 18k| 500 |2630 |8478 | 0 | 0 |-1.329961e+02 |-2.300000e+01 | 82.71%
17.79/17.90 c 17.9s| 1 | 0 | 47261 | - | 79M| 0 | 393 | 500 | 18k| 500 |2715 |8563 | 0 | 0 |-1.319666e+02 |-2.300000e+01 | 82.57%
18.49/18.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.49/18.50 c 18.5s| 1 | 0 | 48801 | - | 79M| 0 | 397 | 500 | 18k| 500 |2781 |8629 | 0 | 0 |-1.309284e+02 |-2.300000e+01 | 82.43%
19.39/19.42 c 19.4s| 1 | 0 | 52122 | - | 79M| 0 | 391 | 500 | 18k| 500 |2954 |8802 | 0 | 0 |-1.297819e+02 |-2.300000e+01 | 82.28%
19.99/20.02 c 20.0s| 1 | 0 | 53245 | - | 79M| 0 | 391 | 500 | 18k| 500 |2598 |9101 | 0 | 0 |-1.289361e+02 |-2.300000e+01 | 82.16%
20.59/20.69 c 20.7s| 1 | 0 | 55585 | - | 79M| 0 | 386 | 500 | 18k| 500 |2625 |9128 | 0 | 0 |-1.279580e+02 |-2.300000e+01 | 82.03%
21.29/21.32 c 21.3s| 1 | 0 | 57391 | - | 80M| 0 | 384 | 500 | 18k| 500 |2809 |9312 | 0 | 0 |-1.261814e+02 |-2.300000e+01 | 81.77%
21.89/21.92 c 21.9s| 1 | 0 | 58630 | - | 80M| 0 | 403 | 500 | 18k| 500 |3001 |9504 | 0 | 0 |-1.254869e+02 |-2.300000e+01 | 81.67%
22.69/22.76 c 22.8s| 1 | 0 | 60843 | - | 80M| 0 | 398 | 500 | 18k| 500 |3117 |9620 | 0 | 0 |-1.238761e+02 |-2.300000e+01 | 81.43%
23.29/23.34 c 23.3s| 1 | 0 | 61898 | - | 80M| 0 | 398 | 500 | 18k| 500 |3148 |9651 | 0 | 0 |-1.229119e+02 |-2.300000e+01 | 81.29%
23.99/24.01 c 24.0s| 1 | 0 | 63082 | - | 80M| 0 | 407 | 500 | 18k| 500 |2722 |9724 | 0 | 0 |-1.219609e+02 |-2.300000e+01 | 81.14%
24.49/24.56 c 24.6s| 1 | 0 | 64000 | - | 80M| 0 | 407 | 500 | 18k| 500 |2778 |9780 | 0 | 0 |-1.211515e+02 |-2.300000e+01 | 81.02%
25.09/25.12 c 25.1s| 1 | 0 | 64961 | - | 80M| 0 | 412 | 500 | 18k| 500 |2907 |9909 | 0 | 0 |-1.206302e+02 |-2.300000e+01 | 80.93%
25.70/25.77 c 25.8s| 1 | 0 | 66236 | - | 80M| 0 | 415 | 500 | 18k| 500 |2949 |9951 | 0 | 0 |-1.201022e+02 |-2.300000e+01 | 80.85%
26.29/26.35 c 26.3s| 1 | 0 | 66987 | - | 80M| 0 | 413 | 500 | 18k| 500 |2990 |9992 | 0 | 0 |-1.196670e+02 |-2.300000e+01 | 80.78%
26.89/26.97 c 27.0s| 1 | 0 | 67979 | - | 80M| 0 | 419 | 500 | 18k| 500 |3016 | 10k| 0 | 0 |-1.192176e+02 |-2.300000e+01 | 80.71%
27.69/27.74 c 27.7s| 1 | 0 | 69576 | - | 80M| 0 | 411 | 500 | 18k| 500 |2601 | 10k| 0 | 0 |-1.184471e+02 |-2.300000e+01 | 80.58%
28.29/28.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.35 c 28.3s| 1 | 0 | 70862 | - | 80M| 0 | 419 | 500 | 18k| 500 |2654 | 10k| 0 | 0 |-1.180901e+02 |-2.300000e+01 | 80.52%
28.89/28.99 c 29.0s| 1 | 0 | 72049 | - | 80M| 0 | 420 | 500 | 18k| 500 |2695 | 10k| 0 | 0 |-1.177226e+02 |-2.300000e+01 | 80.46%
29.49/29.57 c 29.6s| 1 | 0 | 72843 | - | 80M| 0 | 419 | 500 | 18k| 500 |2720 | 10k| 0 | 0 |-1.172842e+02 |-2.300000e+01 | 80.39%
30.09/30.17 c 30.2s| 1 | 0 | 73727 | - | 80M| 0 | 421 | 500 | 18k| 500 |2746 | 10k| 0 | 0 |-1.168505e+02 |-2.300000e+01 | 80.32%
30.69/30.73 c 30.7s| 1 | 0 | 74312 | - | 80M| 0 | 436 | 500 | 18k| 500 |2794 | 10k| 0 | 0 |-1.166113e+02 |-2.300000e+01 | 80.28%
31.39/31.40 c 31.4s| 1 | 0 | 75375 | - | 80M| 0 | 433 | 500 | 18k| 500 |2445 | 10k| 0 | 0 |-1.161686e+02 |-2.300000e+01 | 80.20%
31.90/31.92 c 31.9s| 1 | 0 | 76043 | - | 80M| 0 | 433 | 500 | 18k| 500 |2479 | 10k| 0 | 0 |-1.158025e+02 |-2.300000e+01 | 80.14%
32.39/32.47 c 32.5s| 1 | 0 | 76795 | - | 80M| 0 | 434 | 500 | 18k| 500 |2520 | 10k| 0 | 0 |-1.153437e+02 |-2.300000e+01 | 80.06%
33.00/33.01 c 33.0s| 1 | 0 | 77477 | - | 80M| 0 | 438 | 500 | 18k| 500 |2537 | 10k| 0 | 0 |-1.150165e+02 |-2.300000e+01 | 80.00%
33.49/33.57 c 33.6s| 1 | 0 | 78200 | - | 80M| 0 | 442 | 500 | 18k| 500 |2576 | 10k| 0 | 0 |-1.146922e+02 |-2.300000e+01 | 79.95%
34.09/34.18 c 34.2s| 1 | 0 | 79067 | - | 80M| 0 | 449 | 500 | 18k| 500 |2600 | 10k| 0 | 0 |-1.143143e+02 |-2.300000e+01 | 79.88%
34.80/34.80 c 34.8s| 1 | 0 | 79899 | - | 80M| 0 | 445 | 500 | 18k| 500 |2476 | 10k| 0 | 0 |-1.139697e+02 |-2.300000e+01 | 79.82%
35.30/35.34 c 35.3s| 1 | 0 | 80541 | - | 80M| 0 | 446 | 500 | 18k| 500 |2496 | 10k| 0 | 0 |-1.137068e+02 |-2.300000e+01 | 79.77%
35.79/35.89 c 35.9s| 1 | 0 | 81221 | - | 80M| 0 | 448 | 500 | 18k| 500 |2523 | 10k| 0 | 0 |-1.134071e+02 |-2.300000e+01 | 79.72%
36.40/36.48 c 36.5s| 1 | 0 | 82074 | - | 80M| 0 | 454 | 500 | 18k| 500 |2545 | 10k| 0 | 0 |-1.130812e+02 |-2.300000e+01 | 79.66%
37.09/37.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.09/37.12 c 37.1s| 1 | 0 | 83177 | - | 80M| 0 | 454 | 500 | 18k| 500 |2573 | 10k| 0 | 0 |-1.127690e+02 |-2.300000e+01 | 79.60%
37.59/37.67 c 37.7s| 1 | 0 | 83730 | - | 80M| 0 | 453 | 500 | 18k| 500 |2592 | 10k| 0 | 0 |-1.125824e+02 |-2.300000e+01 | 79.57%
38.20/38.26 c 38.3s| 1 | 0 | 84401 | - | 80M| 0 | 454 | 500 | 18k| 500 |2491 | 10k| 0 | 0 |-1.122733e+02 |-2.300000e+01 | 79.51%
38.79/38.82 c 38.8s| 1 | 0 | 84955 | - | 80M| 0 | 459 | 500 | 18k| 500 |2509 | 10k| 0 | 0 |-1.120097e+02 |-2.300000e+01 | 79.47%
39.39/39.46 c 39.5s| 1 | 0 | 85862 | - | 80M| 0 | 454 | 500 | 18k| 500 |2535 | 10k| 0 | 0 |-1.116708e+02 |-2.300000e+01 | 79.40%
40.09/40.11 c 40.1s| 1 | 0 | 86916 | - | 80M| 0 | 461 | 500 | 18k| 500 |2556 | 10k| 0 | 0 |-1.113759e+02 |-2.300000e+01 | 79.35%
40.69/40.76 c 40.8s| 1 | 0 | 87918 | - | 80M| 0 | 454 | 500 | 18k| 500 |2580 | 10k| 0 | 0 |-1.110842e+02 |-2.300000e+01 | 79.29%
41.29/41.35 c 41.4s| 1 | 0 | 88539 | - | 80M| 0 | 458 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.108984e+02 |-2.300000e+01 | 79.26%
41.90/41.97 c 42.0s| 1 | 0 | 89150 | - | 80M| 0 | 459 | 500 | 18k| 500 |2564 | 10k| 0 | 0 |-1.107016e+02 |-2.300000e+01 | 79.22%
42.49/42.59 c 42.6s| 1 | 0 | 89986 | - | 80M| 0 | 463 | 500 | 18k| 500 |2572 | 10k| 0 | 0 |-1.104677e+02 |-2.300000e+01 | 79.18%
43.19/43.24 c 43.2s| 1 | 0 | 90811 | - | 80M| 0 | 467 | 500 | 18k| 500 |2587 | 10k| 0 | 0 |-1.102849e+02 |-2.300000e+01 | 79.14%
43.79/43.86 c 43.9s| 1 | 0 | 91516 | - | 80M| 0 | 473 | 500 | 18k| 500 |2606 | 10k| 0 | 0 |-1.100778e+02 |-2.300000e+01 | 79.11%
44.39/44.46 c 44.5s| 1 | 0 | 92029 | - | 80M| 0 | 465 | 500 | 18k| 500 |2618 | 10k| 0 | 0 |-1.098632e+02 |-2.300000e+01 | 79.06%
44.99/45.01 c 45.0s| 1 | 0 | 92408 | - | 80M| 0 | 466 | 500 | 18k| 500 |2630 | 10k| 0 | 0 |-1.097181e+02 |-2.300000e+01 | 79.04%
45.59/45.64 c 45.6s| 1 | 0 | 93096 | - | 80M| 0 | 469 | 500 | 18k| 500 |2583 | 10k| 0 | 0 |-1.095179e+02 |-2.300000e+01 | 79.00%
46.20/46.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.20/46.25 c 46.3s| 1 | 0 | 93710 | - | 80M| 0 | 471 | 500 | 18k| 500 |2599 | 10k| 0 | 0 |-1.093937e+02 |-2.300000e+01 | 78.98%
46.79/46.85 c 46.9s| 1 | 0 | 94297 | - | 80M| 0 | 477 | 500 | 18k| 500 |2611 | 10k| 0 | 0 |-1.092347e+02 |-2.300000e+01 | 78.94%
47.30/47.40 c 47.4s| 1 | 0 | 94564 | - | 80M| 0 | 479 | 500 | 18k| 500 |2620 | 10k| 0 | 0 |-1.091869e+02 |-2.300000e+01 | 78.94%
47.99/48.01 c 48.0s| 1 | 0 | 95167 | - | 80M| 0 | 481 | 500 | 18k| 500 |2628 | 10k| 0 | 0 |-1.090498e+02 |-2.300000e+01 | 78.91%
48.60/48.69 c 48.7s| 1 | 0 | 96023 | - | 80M| 0 | 480 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.088268e+02 |-2.300000e+01 | 78.87%
49.19/49.27 c 49.3s| 1 | 0 | 96416 | - | 80M| 0 | 486 | 500 | 18k| 500 |2583 | 10k| 0 | 0 |-1.087431e+02 |-2.300000e+01 | 78.85%
49.79/49.84 c 49.8s| 1 | 0 | 96832 | - | 80M| 0 | 486 | 500 | 18k| 500 |2592 | 10k| 0 | 0 |-1.086415e+02 |-2.300000e+01 | 78.83%
50.40/50.45 c 50.5s| 1 | 0 | 97250 | - | 80M| 0 | 476 | 500 | 18k| 500 |2605 | 10k| 0 | 0 |-1.085250e+02 |-2.300000e+01 | 78.81%
50.99/51.05 c 51.1s| 1 | 0 | 97765 | - | 80M| 0 | 488 | 500 | 18k| 500 |2619 | 10k| 0 | 0 |-1.084037e+02 |-2.300000e+01 | 78.78%
51.59/51.62 c 51.6s| 1 | 0 | 98118 | - | 80M| 0 | 484 | 500 | 18k| 500 |2629 | 10k| 0 | 0 |-1.082950e+02 |-2.300000e+01 | 78.76%
52.19/52.22 c 52.2s| 1 | 0 | 98645 | - | 80M| 0 | 486 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.081516e+02 |-2.300000e+01 | 78.73%
52.80/52.88 c 52.9s| 1 | 0 | 99286 | - | 80M| 0 | 482 | 500 | 18k| 500 |2611 | 10k| 0 | 0 |-1.079955e+02 |-2.300000e+01 | 78.70%
53.49/53.56 c 53.6s| 1 | 0 |100075 | - | 80M| 0 | 485 | 500 | 18k| 500 |2623 | 10k| 0 | 0 |-1.078427e+02 |-2.300000e+01 | 78.67%
54.09/54.13 c 54.1s| 1 | 0 |100420 | - | 79M| 0 | 486 | 500 | 18k| 500 |2632 | 10k| 0 | 0 |-1.077619e+02 |-2.300000e+01 | 78.66%
54.69/54.77 c 54.8s| 1 | 0 |101090 | - | 79M| 0 | 483 | 500 | 18k| 500 |2644 | 10k| 0 | 0 |-1.075738e+02 |-2.300000e+01 | 78.62%
55.40/55.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.40/55.43 c 55.4s| 1 | 0 |101765 | - | 79M| 0 | 483 | 500 | 18k| 500 |2652 | 10k| 0 | 0 |-1.073841e+02 |-2.300000e+01 | 78.58%
56.10/56.11 c 56.1s| 1 | 0 |102507 | - | 79M| 0 | 488 | 500 | 18k| 500 |2673 | 10k| 0 | 0 |-1.072323e+02 |-2.300000e+01 | 78.55%
56.69/56.72 c 56.7s| 1 | 0 |102861 | - | 79M| 0 | 486 | 500 | 18k| 500 |2651 | 11k| 0 | 0 |-1.071865e+02 |-2.300000e+01 | 78.54%
57.30/57.31 c 57.3s| 1 | 0 |103196 | - | 79M| 0 | 488 | 500 | 18k| 500 |2658 | 11k| 0 | 0 |-1.070964e+02 |-2.300000e+01 | 78.52%
57.89/57.92 c 57.9s| 1 | 0 |103648 | - | 78M| 0 | 488 | 500 | 18k| 500 |2672 | 11k| 0 | 0 |-1.069769e+02 |-2.300000e+01 | 78.50%
58.49/58.50 c 58.5s| 1 | 0 |103982 | - | 78M| 0 | 486 | 500 | 18k| 500 |2682 | 11k| 0 | 0 |-1.068851e+02 |-2.300000e+01 | 78.48%
58.99/59.08 c 59.1s| 1 | 0 |104311 | - | 78M| 0 | 494 | 500 | 18k| 500 |2696 | 11k| 0 | 0 |-1.068261e+02 |-2.300000e+01 | 78.47%
59.79/59.80 c 59.8s| 1 | 0 |104977 | - | 78M| 0 | 491 | 500 | 18k| 500 |2710 | 11k| 0 | 0 |-1.066731e+02 |-2.300000e+01 | 78.44%
60.39/60.41 c 60.4s| 1 | 0 |105364 | - | 78M| 0 | 490 | 500 | 18k| 500 |2674 | 11k| 0 | 0 |-1.066021e+02 |-2.300000e+01 | 78.42%
60.99/61.01 c 61.0s| 1 | 0 |105757 | - | 78M| 0 | 491 | 500 | 18k| 500 |2688 | 11k| 0 | 0 |-1.065517e+02 |-2.300000e+01 | 78.41%
61.59/61.64 c 61.6s| 1 | 0 |106219 | - | 78M| 0 | 493 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.064420e+02 |-2.300000e+01 | 78.39%
62.29/62.30 c 62.3s| 1 | 0 |106688 | - | 77M| 0 | 490 | 500 | 18k| 500 |2711 | 11k| 0 | 0 |-1.063294e+02 |-2.300000e+01 | 78.37%
62.89/62.94 c 62.9s| 1 | 0 |107230 | - | 77M| 0 | 491 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.062357e+02 |-2.300000e+01 | 78.35%
63.49/63.53 c 63.5s| 1 | 0 |107539 | - | 77M| 0 | 491 | 500 | 18k| 500 |2733 | 11k| 0 | 0 |-1.061442e+02 |-2.300000e+01 | 78.33%
64.10/64.12 c 64.1s| 1 | 0 |107793 | - | 77M| 0 | 494 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.061229e+02 |-2.300000e+01 | 78.33%
64.80/64.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.80/64.80 c 64.8s| 1 | 0 |108353 | - | 77M| 0 | 493 | 500 | 18k| 500 |2703 | 11k| 0 | 0 |-1.060091e+02 |-2.300000e+01 | 78.30%
65.29/65.39 c 65.4s| 1 | 0 |108598 | - | 77M| 0 | 491 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.059547e+02 |-2.300000e+01 | 78.29%
66.00/66.09 c 66.1s| 1 | 0 |109286 | - | 77M| 0 | 493 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.058437e+02 |-2.300000e+01 | 78.27%
66.69/66.78 c 66.8s| 1 | 0 |109915 | - | 77M| 0 | 491 | 500 | 18k| 500 |2751 | 11k| 0 | 0 |-1.057633e+02 |-2.300000e+01 | 78.25%
67.49/67.57 c 67.6s| 1 | 0 |110870 | - | 76M| 0 | 493 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.056614e+02 |-2.300000e+01 | 78.23%
68.09/68.18 c 68.2s| 1 | 0 |111108 | - | 75M| 0 | 490 | 500 | 18k| 500 |2718 | 11k| 0 | 0 |-1.056357e+02 |-2.300000e+01 | 78.23%
68.69/68.78 c 68.8s| 1 | 0 |111491 | - | 75M| 0 | 492 | 500 | 18k| 500 |2730 | 11k| 0 | 0 |-1.055987e+02 |-2.300000e+01 | 78.22%
69.30/69.39 c 69.4s| 1 | 0 |111788 | - | 74M| 0 | 495 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.055683e+02 |-2.300000e+01 | 78.21%
69.89/69.95 c 70.0s| 1 | 0 |111900 | - | 74M| 0 | 495 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.055437e+02 |-2.300000e+01 | 78.21%
70.59/70.62 c 70.6s| 1 | 0 |112310 | - | 73M| 0 | 495 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.054733e+02 |-2.300000e+01 | 78.19%
71.19/71.27 c 71.3s| 1 | 0 |112791 | - | 73M| 0 | 494 | 500 | 18k| 500 |2779 | 11k| 0 | 0 |-1.053628e+02 |-2.300000e+01 | 78.17%
71.89/71.90 c 71.9s| 1 | 0 |113127 | - | 72M| 0 | 495 | 500 | 18k| 500 |2743 | 11k| 0 | 0 |-1.052982e+02 |-2.300000e+01 | 78.16%
72.50/72.51 c 72.5s| 1 | 0 |113487 | - | 71M| 0 | 496 | 500 | 18k| 500 |2755 | 11k| 0 | 0 |-1.052648e+02 |-2.300000e+01 | 78.15%
72.99/73.08 c 73.1s| 1 | 0 |113645 | - | 70M| 0 | 496 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.052424e+02 |-2.300000e+01 | 78.15%
73.59/73.66 c 73.7s| 1 | 0 |113900 | - | 70M| 0 | 497 | 500 | 18k| 500 |2777 | 11k| 0 | 0 |-1.052039e+02 |-2.300000e+01 | 78.14%
74.29/74.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.29/74.32 c 74.3s| 1 | 0 |114363 | - | 70M| 0 | 497 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.051528e+02 |-2.300000e+01 | 78.13%
74.89/74.97 c 75.0s| 1 | 0 |114695 | - | 69M| 0 | 497 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.050948e+02 |-2.300000e+01 | 78.11%
75.59/75.60 c 75.6s| 1 | 0 |114952 | - | 68M| 0 | 496 | 500 | 18k| 500 |2767 | 11k| 0 | 0 |-1.050411e+02 |-2.300000e+01 | 78.10%
76.09/76.20 c 76.2s| 1 | 0 |115169 | - | 66M| 0 | 496 | 500 | 18k| 500 |2779 | 11k| 0 | 0 |-1.050053e+02 |-2.300000e+01 | 78.10%
76.89/76.96 c 77.0s| 1 | 0 |115965 | - | 65M| 0 | 496 | 500 | 18k| 500 |2794 | 11k| 0 | 0 |-1.049014e+02 |-2.300000e+01 | 78.07%
77.49/77.58 c 77.6s| 1 | 0 |116236 | - | 65M| 0 | 498 | 500 | 18k| 500 |2804 | 11k| 0 | 0 |-1.048697e+02 |-2.300000e+01 | 78.07%
78.20/78.25 c 78.2s| 1 | 0 |116667 | - | 65M| 0 | 498 | 500 | 18k| 500 |2817 | 11k| 0 | 0 |-1.047805e+02 |-2.300000e+01 | 78.05%
78.79/78.90 c 78.9s| 1 | 0 |117083 | - | 63M| 0 | 497 | 500 | 18k| 500 |2829 | 11k| 0 | 0 |-1.046994e+02 |-2.300000e+01 | 78.03%
79.59/79.60 c 79.6s| 1 | 0 |117697 | - | 63M| 0 | 496 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.046045e+02 |-2.300000e+01 | 78.01%
80.19/80.25 c 80.2s| 1 | 0 |118139 | - | 63M| 0 | 497 | 500 | 18k| 500 |2808 | 11k| 0 | 0 |-1.045138e+02 |-2.300000e+01 | 77.99%
80.89/80.99 c 81.0s| 1 | 0 |118770 | - | 63M| 0 | 497 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.044007e+02 |-2.300000e+01 | 77.97%
81.69/81.70 c 81.7s| 1 | 0 |119264 | - | 63M| 0 | 498 | 500 | 18k| 500 |2833 | 11k| 0 | 0 |-1.043195e+02 |-2.300000e+01 | 77.95%
82.30/82.32 c 82.3s| 1 | 0 |119463 | - | 63M| 0 | 499 | 500 | 18k| 500 |2844 | 11k| 0 | 0 |-1.042936e+02 |-2.300000e+01 | 77.95%
82.99/83.00 c 83.0s| 1 | 0 |119949 | - | 63M| 0 | 498 | 500 | 18k| 500 |2854 | 11k| 0 | 0 |-1.042193e+02 |-2.300000e+01 | 77.93%
83.70/83.71 c 83.7s| 1 | 0 |120475 | - | 63M| 0 | 498 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.041457e+02 |-2.300000e+01 | 77.92%
84.39/84.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.39/84.41 c 84.4s| 1 | 0 |120989 | - | 62M| 0 | 498 | 500 | 18k| 500 |2827 | 11k| 0 | 0 |-1.040226e+02 |-2.300000e+01 | 77.89%
85.00/85.03 c 85.0s| 1 | 0 |121234 | - | 62M| 0 | 498 | 500 | 18k| 500 |2839 | 11k| 0 | 0 |-1.039963e+02 |-2.300000e+01 | 77.88%
85.59/85.67 c 85.7s| 1 | 0 |121538 | - | 62M| 0 | 498 | 500 | 18k| 500 |2850 | 11k| 0 | 0 |-1.039660e+02 |-2.300000e+01 | 77.88%
86.29/86.37 c 86.4s| 1 | 0 |122013 | - | 62M| 0 | 498 | 500 | 18k| 500 |2861 | 11k| 0 | 0 |-1.039026e+02 |-2.300000e+01 | 77.86%
87.00/87.08 c 87.1s| 1 | 0 |122451 | - | 62M| 0 | 498 | 500 | 18k| 500 |2871 | 11k| 0 | 0 |-1.038566e+02 |-2.300000e+01 | 77.85%
87.69/87.77 c 87.8s| 1 | 0 |122874 | - | 62M| 0 | 498 | 500 | 18k| 500 |2814 | 11k| 0 | 0 |-1.037891e+02 |-2.300000e+01 | 77.84%
88.39/88.50 c 88.5s| 1 | 0 |123524 | - | 62M| 0 | 497 | 500 | 18k| 500 |2826 | 11k| 0 | 0 |-1.037027e+02 |-2.300000e+01 | 77.82%
89.20/89.22 c 89.2s| 1 | 0 |124156 | - | 62M| 0 | 498 | 500 | 18k| 500 |2842 | 11k| 0 | 0 |-1.036426e+02 |-2.300000e+01 | 77.81%
89.89/89.94 c 89.9s| 1 | 0 |124636 | - | 62M| 0 | 498 | 500 | 18k| 500 |2857 | 11k| 0 | 0 |-1.035927e+02 |-2.300000e+01 | 77.80%
90.59/90.65 c 90.6s| 1 | 0 |125079 | - | 62M| 0 | 498 | 500 | 18k| 500 |2866 | 11k| 0 | 0 |-1.035129e+02 |-2.300000e+01 | 77.78%
91.19/91.28 c 91.3s| 1 | 0 |125325 | - | 62M| 0 | 499 | 500 | 18k| 500 |2879 | 11k| 0 | 0 |-1.034984e+02 |-2.300000e+01 | 77.78%
91.89/91.96 c 92.0s| 1 | 0 |125758 | - | 62M| 0 | 500 | 500 | 18k| 500 |2837 | 11k| 0 | 0 |-1.034510e+02 |-2.300000e+01 | 77.77%
92.59/92.61 c 92.6s| 1 | 0 |126177 | - | 62M| 0 | 500 | 500 | 18k| 500 |2846 | 11k| 0 | 0 |-1.034070e+02 |-2.300000e+01 | 77.76%
93.29/93.30 c 93.3s| 1 | 0 |126588 | - | 62M| 0 | 497 | 500 | 18k| 500 |2859 | 11k| 0 | 0 |-1.033453e+02 |-2.300000e+01 | 77.74%
93.99/94.04 c 94.0s| 1 | 0 |127187 | - | 62M| 0 | 499 | 500 | 18k| 500 |2877 | 11k| 0 | 0 |-1.032945e+02 |-2.300000e+01 | 77.73%
94.70/94.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.70/94.71 c 94.7s| 1 | 0 |127549 | - | 62M| 0 | 499 | 500 | 18k| 500 |2891 | 11k| 0 | 0 |-1.032673e+02 |-2.300000e+01 | 77.73%
95.29/95.33 c 95.3s| 1 | 0 |127807 | - | 62M| 0 | 498 | 500 | 18k| 500 |2901 | 11k| 0 | 0 |-1.032449e+02 |-2.300000e+01 | 77.72%
95.90/95.98 c 96.0s| 1 | 0 |128071 | - | 62M| 0 | 500 | 500 | 18k| 500 |2856 | 11k| 0 | 0 |-1.032193e+02 |-2.300000e+01 | 77.72%
96.59/96.62 c 96.6s| 1 | 0 |128275 | - | 62M| 0 | 499 | 500 | 18k| 500 |2865 | 11k| 0 | 0 |-1.031826e+02 |-2.300000e+01 | 77.71%
97.19/97.25 c 97.3s| 1 | 0 |128566 | - | 62M| 0 | 498 | 500 | 18k| 500 |2874 | 11k| 0 | 0 |-1.031301e+02 |-2.300000e+01 | 77.70%
97.90/97.96 c 98.0s| 1 | 0 |128886 | - | 62M| 0 | 499 | 500 | 18k| 500 |2888 | 11k| 0 | 0 |-1.030845e+02 |-2.300000e+01 | 77.69%
98.59/98.61 c 98.6s| 1 | 0 |129163 | - | 62M| 0 | 499 | 500 | 18k| 500 |2898 | 11k| 0 | 0 |-1.030541e+02 |-2.300000e+01 | 77.68%
99.29/99.37 c 99.4s| 1 | 0 |129814 | - | 62M| 0 | 499 | 500 | 18k| 500 |2911 | 11k| 0 | 0 |-1.030122e+02 |-2.300000e+01 | 77.67%
100.10/100.11 c 100s| 1 | 0 |130222 | - | 62M| 0 | 499 | 500 | 18k| 500 |2872 | 11k| 0 | 0 |-1.029905e+02 |-2.300000e+01 | 77.67%
100.69/100.73 c 101s| 1 | 0 |130424 | - | 62M| 0 | 499 | 500 | 18k| 500 |2883 | 11k| 0 | 0 |-1.029757e+02 |-2.300000e+01 | 77.66%
101.40/101.42 c 101s| 1 | 0 |130758 | - | 62M| 0 | 499 | 500 | 18k| 500 |2893 | 11k| 0 | 0 |-1.029348e+02 |-2.300000e+01 | 77.66%
102.00/102.09 c 102s| 1 | 0 |131079 | - | 62M| 0 | 499 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.028913e+02 |-2.300000e+01 | 77.65%
102.79/102.82 c 103s| 1 | 0 |131510 | - | 62M| 0 | 499 | 500 | 18k| 500 |2921 | 11k| 0 | 0 |-1.028359e+02 |-2.300000e+01 | 77.63%
103.40/103.48 c 103s| 1 | 0 |131799 | - | 62M| 0 | 499 | 500 | 18k| 500 |2934 | 11k| 0 | 0 |-1.028098e+02 |-2.300000e+01 | 77.63%
104.09/104.14 c 104s| 1 | 0 |132125 | - | 62M| 0 | 499 | 500 | 18k| 500 |2894 | 11k| 0 | 0 |-1.027769e+02 |-2.300000e+01 | 77.62%
104.69/104.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.69/104.76 c 105s| 1 | 0 |132335 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 11k| 0 | 0 |-1.027639e+02 |-2.300000e+01 | 77.62%
105.40/105.40 c 105s| 1 | 0 |132526 | - | 62M| 0 | 499 | 500 | 18k| 500 |2915 | 11k| 0 | 0 |-1.027528e+02 |-2.300000e+01 | 77.62%
106.10/106.14 c 106s| 1 | 0 |133049 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.026897e+02 |-2.300000e+01 | 77.60%
106.70/106.79 c 107s| 1 | 0 |133240 | - | 62M| 0 | 500 | 500 | 18k| 500 |2936 | 11k| 0 | 0 |-1.026643e+02 |-2.300000e+01 | 77.60%
107.49/107.52 c 108s| 1 | 0 |133792 | - | 62M| 0 | 500 | 500 | 18k| 500 |2948 | 11k| 0 | 0 |-1.026020e+02 |-2.300000e+01 | 77.58%
108.30/108.31 c 108s| 1 | 0 |134515 | - | 62M| 0 | 500 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.025647e+02 |-2.300000e+01 | 77.58%
109.00/109.04 c 109s| 1 | 0 |134847 | - | 62M| 0 | 500 | 500 | 18k| 500 |2915 | 11k| 0 | 0 |-1.025438e+02 |-2.300000e+01 | 77.57%
109.69/109.75 c 110s| 1 | 0 |135123 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 11k| 0 | 0 |-1.025191e+02 |-2.300000e+01 | 77.57%
110.39/110.42 c 110s| 1 | 0 |135367 | - | 62M| 0 | 500 | 500 | 18k| 500 |2937 | 11k| 0 | 0 |-1.025014e+02 |-2.300000e+01 | 77.56%
111.10/111.14 c 111s| 1 | 0 |135714 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 11k| 0 | 0 |-1.024779e+02 |-2.300000e+01 | 77.56%
111.79/111.82 c 112s| 1 | 0 |136004 | - | 62M| 0 | 500 | 500 | 18k| 500 |2963 | 11k| 0 | 0 |-1.024588e+02 |-2.300000e+01 | 77.55%
112.49/112.52 c 113s| 1 | 0 |136304 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 12k| 0 | 0 |-1.024344e+02 |-2.300000e+01 | 77.55%
113.20/113.21 c 113s| 1 | 0 |136588 | - | 62M| 0 | 500 | 500 | 18k| 500 |2932 | 12k| 0 | 0 |-1.024205e+02 |-2.300000e+01 | 77.54%
113.90/113.92 c 114s| 1 | 0 |136943 | - | 62M| 0 | 500 | 500 | 18k| 500 |2938 | 12k| 0 | 0 |-1.023975e+02 |-2.300000e+01 | 77.54%
114.59/114.64 c 115s| 1 | 0 |137298 | - | 62M| 0 | 500 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.023767e+02 |-2.300000e+01 | 77.53%
115.29/115.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.29/115.32 c 115s| 1 | 0 |137560 | - | 62M| 0 | 500 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.023561e+02 |-2.300000e+01 | 77.53%
115.89/115.98 c 116s| 1 | 0 |137703 | - | 62M| 0 | 500 | 500 | 18k| 500 |2966 | 12k| 0 | 0 |-1.023485e+02 |-2.300000e+01 | 77.53%
116.59/116.64 c 117s| 1 | 0 |137901 | - | 62M| 0 | 500 | 500 | 18k| 500 |2902 | 12k| 0 | 0 |-1.023341e+02 |-2.300000e+01 | 77.52%
117.20/117.29 c 117s| 1 | 0 |138095 | - | 62M| 0 | 500 | 500 | 18k| 500 |2912 | 12k| 0 | 0 |-1.023288e+02 |-2.300000e+01 | 77.52%
117.89/117.99 c 118s| 1 | 0 |138322 | - | 62M| 0 | 500 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.023153e+02 |-2.300000e+01 | 77.52%
118.59/118.65 c 119s| 1 | 0 |138494 | - | 62M| 0 | 500 | 500 | 18k| 500 |2931 | 12k| 0 | 0 |-1.023054e+02 |-2.300000e+01 | 77.52%
119.30/119.36 c 119s| 1 | 0 |138759 | - | 62M| 0 | 500 | 500 | 18k| 500 |2940 | 12k| 0 | 0 |-1.022891e+02 |-2.300000e+01 | 77.51%
120.00/120.02 c 120s| 1 | 0 |138939 | - | 62M| 0 | 500 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.022788e+02 |-2.300000e+01 | 77.51%
120.59/120.69 c 121s| 1 | 0 |139012 | - | 62M| 0 | 500 | 500 | 18k| 500 |2903 | 12k| 0 | 0 |-1.022764e+02 |-2.300000e+01 | 77.51%
121.29/121.35 c 121s| 1 | 0 |139226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2913 | 12k| 0 | 0 |-1.022682e+02 |-2.300000e+01 | 77.51%
121.99/122.01 c 122s| 1 | 0 |139333 | - | 62M| 0 | 500 | 500 | 18k| 500 |2920 | 12k| 0 | 0 |-1.022643e+02 |-2.300000e+01 | 77.51%
122.59/122.67 c 123s| 1 | 0 |139439 | - | 62M| 0 | 500 | 500 | 18k| 500 |2925 | 12k| 0 | 0 |-1.022611e+02 |-2.300000e+01 | 77.51%
123.30/123.31 c 123s| 1 | 0 |139455 | - | 62M| 0 | 500 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.022609e+02 |-2.300000e+01 | 77.51%
123.89/123.95 c 124s| 1 | 0 |139469 | - | 62M| 0 | 500 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.022608e+02 |-2.300000e+01 | 77.51%
124.59/124.61 c 125s| 1 | 0 |139498 | - | 62M| 0 | 500 | 500 | 18k| 500 |2877 | 12k| 0 | 0 |-1.022605e+02 |-2.300000e+01 | 77.51%
129.60/129.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.60/129.61 c 130s| 1 | 2 |139498 | - | 62M| 0 | 500 | 500 | 18k| 500 |2877 | 12k| 0 | 17 |-1.022605e+02 |-2.300000e+01 | 77.51%
360.00/360.02 o -24
360.00/360.02 c p 360s| 2413 | 2414 | 2155k| 835.7 | 101M| 67 | - | 500 | 18k| 500 | 568 | 30k| 0 |1854 |-9.859461e+01 |-2.400000e+01 | 75.66%
410.20/410.22 o -27
410.20/410.22 c c 410s| 3685 | 3682 | 2714k| 699.1 | 115M| 69 | - | 500 | 18k| 500 | 540 | 50k| 0 |2236 |-9.833642e+01 |-2.700000e+01 | 72.54%
428.50/428.55 o -28
428.50/428.55 c o 429s| 4184 | 4181 | 2930k| 667.2 | 121M| 71 | 0 | 500 | 18k| 500 | 584 | 58k| 0 |2354 |-9.821037e+01 |-2.800000e+01 | 71.49%
521.10/521.18 o -30
521.10/521.18 c * 521s| 7593 | 7448 | 4048k| 514.9 | 152M| 76 | - | 500 | 18k| 500 | 571 | 127k| 0 |2888 |-9.770856e+01 |-3.000000e+01 | 69.30%
540.80/540.85 o -31
540.80/540.85 c * 541s| 8637 | 8312 | 4307k| 482.6 | 160M| 77 | - | 500 | 18k| 500 | 570 | 150k| 0 |2926 |-9.761132e+01 |-3.100000e+01 | 68.24%
572.70/572.71 c 573s| 10000 | 9545 | 4683k| 454.5 | 171M| 78 | 66 | 500 | 18k| 500 | 500 | 178k| 0 |3219 |-9.746255e+01 |-3.100000e+01 | 68.19%
751.81/751.82 o -32
751.81/751.82 c * 752s| 17789 | 15734 | 6875k| 378.7 | 230M| 101 | - | 500 | 18k| 500 | 568 | 328k| 0 |4133 |-9.600210e+01 |-3.200000e+01 | 66.67%
773.61/773.64 c 774s| 20000 | 17009 | 7140k| 350.1 | 239M| 101 | - | 500 | 18k| 500 | 565 | 370k| 0 |4297 |-9.596902e+01 |-3.200000e+01 | 66.66%
860.61/860.63 c 861s| 30000 | 22743 | 8300k| 272.1 | 277M| 109 | 38 | 500 | 18k| 500 | 564 | 567k| 0 |4714 |-9.574823e+01 |-3.200000e+01 | 66.58%
937.10/937.16 c 937s| 40000 | 28105 | 9311k| 229.3 | 311M| 114 | 40 | 500 | 18k| 500 | 582 | 761k| 0 |5224 |-9.555522e+01 |-3.200000e+01 | 66.51%
954.01/954.10 o -33
954.01/954.10 c * 954s| 42445 | 28316 | 9553k| 221.8 | 318M| 114 | - | 500 | 18k| 500 | 559 | 806k| 0 |5224 |-9.549821e+01 |-3.300000e+01 | 65.44%
1015.71/1015.70 c 1016s| 50000 | 32017 | 10361k| 204.5 | 343M| 114 | 70 | 500 | 18k| 500 | 500 | 951k| 0 |5599 |-9.535334e+01 |-3.300000e+01 | 65.39%
1094.82/1094.80 c 1095s| 60000 | 36903 | 11429k| 188.2 | 377M| 114 | 17 | 500 | 18k| 500 | 552 |1149k| 0 |5941 |-9.511131e+01 |-3.300000e+01 | 65.30%
1120.61/1120.66 o -35
1120.61/1120.66 c *1121s| 63464 | 36064 | 11785k| 183.5 | 384M| 114 | - | 500 | 18k| 500 | 566 |1219k| 0 |6043 |-9.505879e+01 |-3.500000e+01 | 63.18%
1174.41/1174.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.41/1174.42 c 1174s| 70000 | 38930 | 12510k| 176.7 | 406M| 118 | - | 500 | 18k| 500 | 546 |1345k| 0 |6222 |-9.492015e+01 |-3.500000e+01 | 63.13%
1255.01/1255.07 c 1255s| 80000 | 43156 | 13581k| 168.0 | 438M| 127 | 43 | 500 | 18k| 500 | 546 |1538k| 0 |6622 |-9.466604e+01 |-3.500000e+01 | 63.03%
1324.92/1324.91 c 1325s| 90000 | 47184 | 14532k| 159.9 | 468M| 127 | 4 | 500 | 18k| 500 | 534 |1736k| 0 |6884 |-9.442703e+01 |-3.500000e+01 | 62.93%
1381.61/1381.62 c 1382s|100000 | 51052 | 15327k| 151.9 | 493M| 127 | - | 500 | 18k| 500 | 568 |1934k| 0 |7105 |-9.428530e+01 |-3.500000e+01 | 62.88%
1456.82/1456.86 c 1457s|110000 | 55172 | 16355k| 147.4 | 525M| 127 | 12 | 500 | 18k| 500 | 500 |2120k| 0 |7336 |-9.409039e+01 |-3.500000e+01 | 62.80%
1533.82/1533.81 c 1534s|120000 | 59308 | 17423k| 144.0 | 557M| 127 | - | 500 | 18k| 500 | 593 |2311k| 0 |7561 |-9.388717e+01 |-3.500000e+01 | 62.72%
1601.12/1601.17 c 1601s|130000 | 63306 | 18362k| 140.2 | 586M| 128 | 109 | 500 | 18k| 500 | 675 |2501k| 0 |7785 |-9.365521e+01 |-3.500000e+01 | 62.63%
1677.93/1677.98 c 1678s|140000 | 67618 | 19436k| 137.8 | 619M| 128 | 50 | 500 | 18k| 500 | 562 |2688k| 0 |8006 |-9.351593e+01 |-3.500000e+01 | 62.57%
1737.02/1737.05 c 1737s|150000 | 71426 | 20266k| 134.2 | 645M| 132 | - | 500 | 18k| 500 | 551 |2883k| 0 |8230 |-9.336257e+01 |-3.500000e+01 | 62.51%
1794.02/1794.09 c 1794s|160000 | 75048 | 21080k| 130.9 | 672M| 132 | - | 500 | 18k| 500 | 576 |3074k| 0 |8445 |-9.324107e+01 |-3.500000e+01 | 62.46%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 160641
1797.02/1797.00 c Primal Bound : -3.50000000000000e+01 (838 solutions)
1797.02/1797.00 c Dual Bound : -9.32324945564717e+01
1797.02/1797.00 c Gap : 62.46 %
1797.02/1797.02 s SATISFIABLE
1797.02/1797.02 v -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479
1797.02/1797.02 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458
1797.02/1797.02 v -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.02/1797.02 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.02/1797.02 v -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 x397 x396 -x395 -x394
1797.02/1797.02 v x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.02/1797.02 v -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 x353 -x352 x351
1797.02/1797.02 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330
1797.02/1797.02 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.02/1797.02 v -x308 -x307 -x306 -x305 -x304 x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.02/1797.02 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.02/1797.02 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1797.02/1797.02 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1797.02/1797.02 v -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
1797.02/1797.02 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1797.02/1797.02 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.02/1797.02 v -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141
1797.02/1797.02 v -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.02/1797.02 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.02/1797.02 v -x98 -x97 -x96 x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.02/1797.02 v -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1797.02/1797.02 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1797.02/1797.02 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.02/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.02 c Total Time : 1797.00
1797.02/1797.02 c solving : 1797.00
1797.02/1797.02 c presolving : 0.42 (included in solving)
1797.02/1797.02 c reading : 0.09 (included in solving)
1797.02/1797.02 c Original Problem :
1797.02/1797.02 c Problem name : HOME/instance-3488575-1307783031.opb
1797.02/1797.02 c Variables : 19244 (19244 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 19744 initial, 19744 maximal
1797.02/1797.02 c Presolved Problem :
1797.02/1797.02 c Problem name : t_HOME/instance-3488575-1307783031.opb
1797.02/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.02 c Constraints : 18744 initial, 18744 maximal
1797.02/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1797.02/1797.02 c linear : 0.05 18744 0 0 18744 0 500 0 0 0
1797.02/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1797.02/1797.02 c root node : - 0 - - 0 - - - - -
1797.02/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c integral : 0 0 0 170214 0 72485 0 2 18 0 0 239920
1797.02/1797.02 c setppc : 18744 221 293916 50243 1 72481 0 0 2356555 3086768 0 0
1797.02/1797.02 c countsols : 0 0 0 5 1 835 0 0 0 0 0 0
1797.02/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.02 c integral : 175.34 0.00 0.00 175.31 0.00 0.04 0.00
1797.02/1797.02 c setppc : 46.64 0.97 17.90 3.09 0.00 24.68 0.00
1797.02/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.02 c vbounds : 0 0 0 0
1797.02/1797.02 c rootredcost : 8 0 0 0
1797.02/1797.02 c pseudoobj : 295513 0 0 0
1797.02/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.02 c vbounds : 0.06 0.06 0.00
1797.02/1797.02 c rootredcost : 0.06 0.06 0.00
1797.02/1797.02 c pseudoobj : 2.52 2.52 0.00
1797.02/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.02 c applied globally : - - - 0 0.0 - - -
1797.02/1797.02 c applied locally : - - - 0 0.0 - - -
1797.02/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.02 c cut pool : 0.39 220 - - 2011 - (maximal pool size: 11223)
1797.02/1797.02 c redcost : 1.99 171624 0 1828 0 0
1797.02/1797.02 c impliedbounds : 0.13 221 0 0 16228 0
1797.02/1797.02 c intobj : 0.00 0 0 0 0 0
1797.02/1797.02 c gomory : 81.47 220 0 0 29729 0
1797.02/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.02 c strongcg : 0.88 20 0 0 10000 0
1797.02/1797.02 c cmir : 0.72 10 0 0 0 0
1797.02/1797.02 c flowcover : 0.66 10 0 0 0 0
1797.02/1797.02 c clique : 4.32 220 0 0 2072 0
1797.02/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.02 c mcf : 0.01 1 0 0 0 0
1797.02/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.02 c Pricers : Time Calls Vars
1797.02/1797.02 c problem variables: 0.00 0 0
1797.02/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.02 c relpscost : 175.21 119971 2 18 0 0 239920
1797.02/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.02 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.02 c random : 0.00 0 0 0 0 0 0
1797.02/1797.02 c Primal Heuristics : Time Calls Found
1797.02/1797.02 c LP solutions : 0.01 - 5
1797.02/1797.02 c pseudo solutions : 0.00 - 0
1797.02/1797.02 c feaspump : 0.00 0 0
1797.02/1797.02 c oneopt : 0.05 10 1
1797.02/1797.02 c crossover : 3.12 35 16
1797.02/1797.02 c pscostdiving : 3.31 347 47
1797.02/1797.02 c fracdiving : 3.22 347 24
1797.02/1797.02 c guideddiving : 3.39 347 25
1797.02/1797.02 c veclendiving : 5.22 347 74
1797.02/1797.02 c objpscostdiving : 4.61 174 31
1797.02/1797.02 c rootsoldiving : 2.81 174 8
1797.02/1797.02 c linesearchdiving : 3.23 348 38
1797.02/1797.02 c coefdiving : 3.66 348 71
1797.02/1797.02 c trivial : 0.02 2 1
1797.02/1797.02 c shiftandpropagate: 0.00 0 0
1797.02/1797.02 c simplerounding : 20.74 120200 495
1797.02/1797.02 c zirounding : 0.23 1000 0
1797.02/1797.02 c rounding : 9.23 16332 1
1797.02/1797.02 c shifting : 3.71 4856 1
1797.02/1797.02 c intshifting : 0.00 0 0
1797.02/1797.02 c twoopt : 0.00 0 0
1797.02/1797.02 c fixandinfer : 0.00 0 0
1797.02/1797.02 c clique : 0.00 0 0
1797.02/1797.02 c intdiving : 0.00 0 0
1797.02/1797.02 c actconsdiving : 0.00 0 0
1797.02/1797.02 c octane : 0.00 0 0
1797.02/1797.02 c rens : 0.04 0 0
1797.02/1797.02 c rins : 0.00 0 0
1797.02/1797.02 c localbranching : 0.00 0 0
1797.02/1797.02 c mutation : 0.00 0 0
1797.02/1797.02 c dins : 0.00 0 0
1797.02/1797.02 c vbounds : 0.00 0 0
1797.02/1797.02 c undercover : 0.01 1 0
1797.02/1797.02 c subnlp : 0.03 0 0
1797.02/1797.02 c trysol : 0.04 0 0
1797.02/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.02 c primal LP : 6.73 0 0 0.00 0.00
1797.02/1797.02 c dual LP : 1378.04 211127 20767683 98.37 15070.42
1797.02/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.02 c diving/probing LP: 22.95 10877 357162 32.84 15565.18
1797.02/1797.02 c strong branching : 172.90 8445 1971385 233.44 11402.14
1797.02/1797.02 c (at root node) : - 17 17000 1000.00 -
1797.02/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.02 c B&B Tree :
1797.02/1797.02 c number of runs : 1
1797.02/1797.02 c nodes : 160641
1797.02/1797.02 c nodes (total) : 160641
1797.02/1797.02 c nodes left : 75287
1797.02/1797.02 c max depth : 133
1797.02/1797.02 c max depth (total): 133
1797.02/1797.02 c backtracks : 13581 (8.5%)
1797.02/1797.02 c delayed cutoffs : 0
1797.02/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.02 c avg switch length: 4.25
1797.02/1797.02 c switching time : 33.52
1797.02/1797.02 c Solution :
1797.02/1797.02 c Solutions found : 838 (12 improvements)
1797.02/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1797.02/1797.02 c Primal Bound : -3.50000000000000e+01 (in run 1, after 63464 nodes, 1120.65 seconds, depth 72, found by <relaxation>)
1797.02/1797.02 c Dual Bound : -9.32324945564717e+01
1797.02/1797.02 c Gap : 62.46 %
1797.02/1797.02 c Root Dual Bound : -1.02260497168176e+02
1797.02/1797.02 c Root Iterations : 139498
1797.72/1797.70 c Time complete: 1797.73.
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-3488575-1307783031/watcher-3488575-1307783031 -o /tmp/evaluation-result-3488575-1307783031/solver-3488575-1307783031 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488575-1307783031.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31831
/proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=12564 CPUtime=0 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 2122 0 0 0 0 0 0 0 25 0 1 0 889902739 12865536 2077 33554432000 4194304 9016284 140734257873376 18446744073709551615 4900880 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31831/statm: 3141 2083 353 1178 0 1959 0
[startup+0.11186 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31831
/proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=55940 CPUtime=0.1 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 12972 0 0 0 9 1 0 0 25 0 1 0 889902739 57282560 12890 33554432000 4194304 9016284 140734257873376 18446744073709551615 6817152 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/31831/statm: 13985 12890 426 1178 0 12803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 55940
[startup+0.200846 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31831
/proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=74004 CPUtime=0.19 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 16957 0 0 0 18 1 0 0 25 0 1 0 889902739 75780096 16875 33554432000 4194304 9016284 140734257873376 18446744073709551615 7870483 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/31831/statm: 18501 16875 480 1178 0 17319 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74004
[startup+0.300828 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31831
/proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=82096 CPUtime=0.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 19749 0 0 0 28 1 0 0 25 0 1 0 889902739 84066304 18913 33554432000 4194304 9016284 140734257873376 18446744073709551615 18446744073699065989 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/31831/statm: 20524 18913 480 1178 0 19342 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82096
[startup+0.700793 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 31831
/proc/meminfo: memFree=28994100/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=115520 CPUtime=0.69 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 28138 0 0 0 66 3 0 0 18 0 1 0 889902739 118292480 26711 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 28880 26711 742 1178 0 27698 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115520
[startup+1.50069 s]
/proc/loadavg: 0.00 0.00 0.00 3/173 31832
/proc/meminfo: memFree=28884756/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=118896 CPUtime=1.49 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 31373 0 0 0 145 4 0 0 19 0 1 0 889902739 121749504 27719 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 29724 27719 737 1178 0 28542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118896
[startup+3.10042 s]
/proc/loadavg: 0.16 0.03 0.01 3/173 31832
/proc/meminfo: memFree=28877688/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=119692 CPUtime=3.09 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 32243 0 0 0 305 4 0 0 22 0 1 0 889902739 122564608 28576 33554432000 4194304 9016284 140734257873376 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 29923 28576 727 1178 0 28741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119692
[startup+6.30089 s]
/proc/loadavg: 0.16 0.03 0.01 3/173 31832
/proc/meminfo: memFree=28855240/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=123688 CPUtime=6.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 33175 0 0 0 624 5 0 0 25 0 1 0 889902739 126656512 29486 33554432000 4194304 9016284 140734257873376 18446744073709551615 6561037 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 30922 29486 705 1178 0 29740 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123688
[startup+12.7008 s]
/proc/loadavg: 0.75 0.16 0.05 3/173 31832
/proc/meminfo: memFree=28809112/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=144480 CPUtime=12.69 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 38540 0 0 0 1259 10 0 0 25 0 1 0 889902739 147947520 34706 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 36120 34706 683 1178 0 34938 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144480
[startup+25.5006 s]
/proc/loadavg: 0.94 0.22 0.07 3/173 31832
/proc/meminfo: memFree=28781916/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=153016 CPUtime=25.49 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 40524 0 0 0 2530 19 0 0 25 0 1 0 889902739 156688384 36671 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 38254 36671 683 1178 0 37072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153016
[startup+51.1003 s]
/proc/loadavg: 1.30 0.36 0.12 3/173 31832
/proc/meminfo: memFree=28740460/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=154664 CPUtime=51.09 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 40948 0 0 0 5079 30 0 0 25 0 1 0 889902739 158375936 37095 33554432000 4194304 9016284 140734257873376 18446744073709551615 6578097 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 38666 37095 683 1178 0 37484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 154664
[startup+102.301 s]
/proc/loadavg: 1.72 0.64 0.23 3/173 31834
/proc/meminfo: memFree=28734176/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=154920 CPUtime=102.3 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 41017 0 0 0 10179 51 0 0 25 0 1 0 889902739 158638080 37164 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 38730 37164 683 1178 0 37548 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154920
[startup+162.301 s]
/proc/loadavg: 1.89 0.88 0.34 3/173 31839
/proc/meminfo: memFree=28734716/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=154132 CPUtime=162.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 44257 0 0 0 16145 84 0 0 25 0 1 0 889902739 157831168 37039 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 38533 37039 699 1178 0 37351 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154132
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.44 3/173 31841
/proc/meminfo: memFree=28730848/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=160520 CPUtime=222.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 52546 0 0 0 22078 151 0 0 25 0 1 0 889902739 164372480 38154 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 40130 38154 708 1178 0 38948 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 160520
[startup+282.3 s]
/proc/loadavg: 2.06 1.26 0.54 3/173 31843
/proc/meminfo: memFree=28720168/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=171564 CPUtime=282.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 62525 0 0 0 28007 222 0 0 25 0 1 0 889902739 175681536 40920 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 42891 40920 708 1178 0 41709 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 171564
[startup+342.3 s]
/proc/loadavg: 2.02 1.39 0.63 3/173 31843
/proc/meminfo: memFree=28704284/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=189340 CPUtime=342.29 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 73743 0 0 0 33930 299 0 0 25 0 1 0 889902739 193884160 44901 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 47335 44901 708 1178 0 46153 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 189340
[startup+402.301 s]
/proc/loadavg: 2.00 1.50 0.71 3/173 31845
/proc/meminfo: memFree=28687660/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=205540 CPUtime=402.3 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 92127 0 0 0 39852 378 0 0 25 0 1 0 889902739 210472960 48916 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 51385 48916 708 1178 0 50203 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 205540
[startup+462.301 s]
/proc/loadavg: 2.00 1.59 0.79 3/173 31847
/proc/meminfo: memFree=28669048/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=221932 CPUtime=462.3 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 111004 0 0 0 45774 456 0 0 25 0 1 0 889902739 227258368 53326 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 55483 53326 708 1178 0 54301 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 221932
[startup+522.301 s]
/proc/loadavg: 2.00 1.66 0.86 3/173 31849
/proc/meminfo: memFree=28650308/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=244864 CPUtime=522.3 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 130582 0 0 0 51696 534 0 0 25 0 1 0 889902739 250740736 58520 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 61216 58520 708 1178 0 60034 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 244864
[startup+582.307 s]
/proc/loadavg: 2.08 1.74 0.93 3/173 31851
/proc/meminfo: memFree=28630712/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=263788 CPUtime=582.31 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 156907 0 0 0 57613 618 0 0 25 0 1 0 889902739 270118912 63397 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 65947 63397 708 1178 0 64765 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 263788
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28440516/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=450500 CPUtime=1062.31 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 310768 0 0 0 104936 1295 0 0 25 0 1 0 889902739 461312000 110435 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 112625 110435 709 1178 0 111443 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 450500
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/173 31865
/proc/meminfo: memFree=28410120/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=476044 CPUtime=1122.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 316866 0 0 0 110852 1380 0 0 25 0 1 0 889902739 487469056 116533 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 119011 116533 709 1178 0 117829 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 476044
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/173 31867
/proc/meminfo: memFree=28387300/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=496168 CPUtime=1182.31 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 357394 0 0 0 116763 1468 0 0 25 0 1 0 889902739 508076032 121916 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 124042 121916 709 1178 0 122860 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 496168
[startup+1242.31 s]
/proc/loadavg: 2.00 1.96 1.46 3/173 31867
/proc/meminfo: memFree=28355404/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=521372 CPUtime=1242.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 370629 0 0 0 122680 1552 0 0 25 0 1 0 889902739 533884928 128035 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 130343 128035 709 1178 0 129161 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 521372
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/173 31869
/proc/meminfo: memFree=28330468/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=542332 CPUtime=1302.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 375964 0 0 0 128593 1639 0 0 25 0 1 0 889902739 555347968 133370 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 135583 133370 709 1178 0 134401 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 542332
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/173 31871
/proc/meminfo: memFree=28297964/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=569060 CPUtime=1362.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 389380 0 0 0 134508 1724 0 0 25 0 1 0 889902739 582717440 139728 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 142265 139728 709 1178 0 141083 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 569060
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/173 31873
/proc/meminfo: memFree=28265472/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=595976 CPUtime=1422.31 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 396096 0 0 0 140424 1807 0 0 25 0 1 0 889902739 610279424 146444 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 148994 146444 709 1178 0 147812 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 595976
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/173 31875
/proc/meminfo: memFree=28232600/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=622004 CPUtime=1482.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 403051 0 0 0 146338 1894 0 0 25 0 1 0 889902739 636932096 153399 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 155501 153399 709 1178 0 154319 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 622004
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/173 31875
/proc/meminfo: memFree=28200604/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=647704 CPUtime=1542.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 416363 0 0 0 152257 1975 0 0 25 0 1 0 889902739 663248896 159765 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 161926 159765 709 1178 0 160744 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 647704
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/173 31877
/proc/meminfo: memFree=28172200/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=671960 CPUtime=1602.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 422289 0 0 0 158168 2064 0 0 25 0 1 0 889902739 688087040 165691 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 167990 165691 709 1178 0 166808 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 671960
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/173 31879
/proc/meminfo: memFree=28142064/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=700840 CPUtime=1662.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 428862 0 0 0 164077 2155 0 0 25 0 1 0 889902739 717660160 172264 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 175210 172264 709 1178 0 174028 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 700840
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/173 31881
/proc/meminfo: memFree=28106464/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=729088 CPUtime=1722.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 435992 0 0 0 169994 2238 0 0 25 0 1 0 889902739 746586112 179394 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 182272 179394 709 1178 0 181090 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 729088
[startup+1782.3 s]
/proc/loadavg: 2.05 1.99 1.68 3/173 31883
/proc/meminfo: memFree=28070868/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=758944 CPUtime=1782.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 443542 0 0 0 175909 2323 0 0 25 0 1 0 889902739 777158656 186944 33554432000 4194304 9016284 140734257873376 18446744073709551615 4786416 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 189736 186944 709 1178 0 188554 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 758944
Solver just ended. Dumping a history of the last processes samples
[startup+1785.9 s]
/proc/loadavg: 2.05 1.99 1.68 3/173 31883
/proc/meminfo: memFree=28070248/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=758944 CPUtime=1785.92 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 443719 0 0 0 176265 2327 0 0 25 0 1 0 889902739 777158656 187121 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 189736 187121 709 1178 0 188554 0
Current children cumulated CPU time (s) 1785.92
Current children cumulated vsize (KiB) 758944
[startup+1792.31 s]
/proc/loadavg: 2.04 1.99 1.68 3/173 31883
/proc/meminfo: memFree=28066772/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=761008 CPUtime=1792.32 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444255 0 0 0 176896 2336 0 0 25 0 1 0 889902739 779272192 187657 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 190252 187657 709 1178 0 189070 0
Current children cumulated CPU time (s) 1792.32
Current children cumulated vsize (KiB) 761008
[startup+1795.5 s]
/proc/loadavg: 2.04 1.99 1.68 3/173 31883
/proc/meminfo: memFree=28066152/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=761216 CPUtime=1795.52 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444370 0 0 0 177212 2340 0 0 25 0 1 0 889902739 779485184 187772 33554432000 4194304 9016284 140734257873376 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31831/statm: 190304 187772 709 1178 0 189122 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (KiB) 761216
[startup+1797.1 s]
/proc/loadavg: 2.04 1.99 1.68 3/168 31912
/proc/meminfo: memFree=28339572/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=761216 CPUtime=1797.12 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177369 2343 0 0 25 0 1 0 889902739 779485184 187835 33554432000 4194304 9016284 140734257873376 18446744073709551615 4330237 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31831/statm: 190304 187835 711 1178 0 189122 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 761216
[startup+1797.5 s]
/proc/loadavg: 2.04 1.99 1.68 3/168 31912
/proc/meminfo: memFree=28339572/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=761216 CPUtime=1797.52 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177409 2343 0 0 25 0 1 0 889902739 779485184 187835 33554432000 4194304 9016284 140734257873376 18446744073709551615 4329904 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31831/statm: 190304 187835 711 1178 0 189122 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 761216
[startup+1797.7 s]
/proc/loadavg: 2.04 1.99 1.68 3/173 31921
/proc/meminfo: memFree=28812944/32951132 swapFree=67061148/67111528
[pid=31831] ppid=31829 vsize=124024 CPUtime=1797.72 cores=0,2,4,6
/proc/31831/stat : 31831 (scip-2.0.1.4b_2) R 31829 31831 31747 0 -1 4202496 444433 0 0 0 177427 2345 0 0 25 0 1 0 889902739 127000576 23779 33554432000 4194304 9016284 140734257873376 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31831/statm: 31006 23779 711 1178 0 29824 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 124024
Child status: 0
Real time (s): 1797.71
CPU time (s): 1797.74
CPU user time (s): 1774.28
CPU system time (s): 23.4634
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 761216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.28
system time used= 23.4634
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 444438
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= 4
involuntary context switches= 1633
runsolver used 2.73258 second user time and 5.9481 second system time
The end