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-3488886-1307771315.opb>
0.00/0.02 c original problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 540 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8 upgd conss, 0 impls, 0 clqs
0.04/0.09 c (0.1s) probing: 109/603 (18.1%) - 0 fixings, 0 aggregations, 308 implications, 0 bound changes
0.04/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.09 c presolving (2 rounds):
0.04/0.09 c 0 deleted vars, 540 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.09 c 1152 implications, 0 cliques
0.04/0.09 c presolved problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 548 constraints
0.04/0.09 c 8 constraints of type <knapsack>
0.04/0.09 c 540 constraints of type <linear>
0.04/0.09 c transformed objective value is always integral (scale: 1)
0.04/0.09 c Presolving Time: 0.06
0.04/0.09 c - non default parameters ----------------------------------------------------------------------
0.04/0.09 c # SCIP version 2.0.1.5
0.04/0.09 c
0.04/0.09 c # frequency for displaying node information lines
0.04/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.09 c display/freq = 10000
0.04/0.09 c
0.04/0.09 c # maximal time in seconds to run
0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.09 c limits/time = 1797
0.04/0.09 c
0.04/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.09 c limits/memory = 13950
0.04/0.09 c
0.04/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.09 c # [type: int, range: [1,2], default: 1]
0.04/0.09 c timing/clocktype = 2
0.04/0.09 c
0.04/0.09 c # belongs reading time to solving time?
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c timing/reading = TRUE
0.04/0.09 c
0.04/0.09 c # should presolving try to simplify inequalities
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c constraints/linear/simplifyinequalities = TRUE
0.04/0.09 c
0.04/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c constraints/indicator/addCouplingCons = TRUE
0.04/0.09 c
0.04/0.09 c # should presolving try to simplify knapsacks
0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.09 c
0.04/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.09 c separating/rapidlearning/freq = 0
0.04/0.09 c
0.04/0.09 c -----------------------------------------------------------------------------------------------
0.04/0.09 c start solving
0.04/0.09 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 0 | 545 | - |4601k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | -- | Inf
0.59/0.63 o 117
0.59/0.63 c y 0.6s| 1 | 0 | 5427 | - |5202k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.59/0.64 c 0.6s| 1 | 0 | 5441 | - |5551k| 0 | 369 | 603 | 884 | 603 | 587 | 39 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.69/0.71 c 0.7s| 1 | 0 | 5529 | - |6119k| 0 | 366 | 603 | 884 | 603 | 633 | 85 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.69/0.79 c 0.8s| 1 | 0 | 5669 | - |6688k| 0 | 367 | 603 | 884 | 603 | 674 | 126 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.79/0.88 c 0.9s| 1 | 0 | 5853 | - |7225k| 0 | 383 | 603 | 884 | 603 | 719 | 171 | 20 | 0 | 8.003540e+00 | 1.170000e+02 |1361.85%
0.89/0.98 c 1.0s| 1 | 0 | 6018 | - |7729k| 0 | 388 | 603 | 884 | 603 | 765 | 217 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.00/1.09 c 1.1s| 1 | 0 | 6219 | - |8189k| 0 | 388 | 603 | 884 | 603 | 814 | 266 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.19/1.22 c 1.2s| 1 | 0 | 6471 | - |8625k| 0 | 393 | 603 | 884 | 603 | 873 | 325 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.29/1.35 c 1.3s| 1 | 0 | 6761 | - |9053k| 0 | 387 | 603 | 884 | 603 | 932 | 384 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.39/1.49 c 1.5s| 1 | 0 | 7083 | - |9514k| 0 | 388 | 603 | 884 | 603 | 987 | 439 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.59/1.63 c 1.6s| 1 | 0 | 7307 | - | 10M| 0 | 385 | 603 | 884 | 603 |1044 | 496 | 20 | 0 | 8.222222e+00 | 1.170000e+02 |1322.97%
1.59/1.69 c 1.7s| 1 | 0 | 7621 | - | 10M| 0 | 387 | 603 | 884 | 603 |1074 | 526 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.69/1.74 c 1.7s| 1 | 0 | 7875 | - | 10M| 0 | 384 | 603 | 884 | 603 |1097 | 549 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.79/1.80 c 1.8s| 1 | 0 | 8153 | - | 10M| 0 | 389 | 603 | 884 | 603 |1120 | 572 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.79/1.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.86 c 1.9s| 1 | 0 | 8426 | - | 10M| 0 | 389 | 603 | 884 | 603 |1001 | 600 | 20 | 0 | 8.600000e+00 | 1.170000e+02 |1260.47%
1.89/1.92 c 1.9s| 1 | 0 | 8640 | - | 10M| 0 | 367 | 603 | 884 | 603 |1014 | 613 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.89/1.97 c 2.0s| 1 | 0 | 8777 | - | 10M| 0 | 366 | 603 | 884 | 603 |1030 | 629 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.02 c 2.0s| 1 | 0 | 9085 | - | 10M| 0 | 366 | 603 | 884 | 603 |1042 | 641 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.07 c 2.1s| 1 | 0 | 9385 | - | 10M| 0 | 363 | 603 | 884 | 603 |1055 | 654 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.10/2.13 c 2.1s| 1 | 0 | 9702 | - | 10M| 0 | 357 | 603 | 884 | 603 |1068 | 667 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.10/2.19 c 2.2s| 1 | 0 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.49/2.59 c 2.6s| 1 | 2 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 14 | 9.000000e+00 | 1.170000e+02 |1200.00%
28.79/28.85 o 97
28.79/28.85 c f28.8s| 3470 | 1363 |252180 | 69.8 | 13M| 55 | - | 603 |2494 | 603 | 677 | 679 |3095 |1451 | 1.200000e+01 | 9.700000e+01 | 708.33%
55.59/55.67 c 55.7s| 10000 | 2852 |608976 | 59.9 | 17M| 65 | - | 603 |3360 | 603 | 677 | 679 |9851 |2820 | 1.500000e+01 | 9.700000e+01 | 546.67%
88.09/88.17 c 88.2s| 20000 | 4271 | 1041k| 51.6 | 23M| 65 | - | 603 |4233 | 603 | 677 | 679 | 22k|4729 | 1.600000e+01 | 9.700000e+01 | 506.25%
116.09/116.14 c 116s| 30000 | 4719 | 1390k| 46.0 | 25M| 65 | - | 603 |4341 | 0 | 0 | 679 | 35k|6416 | 1.800000e+01 | 9.700000e+01 | 438.89%
140.19/140.28 c 140s| 40000 | 5543 | 1735k| 43.1 | 28M| 65 | 105 | 603 |5921 | 603 | 677 | 679 | 47k|7376 | 1.900000e+01 | 9.700000e+01 | 410.53%
161.39/161.44 c 161s| 50000 | 6281 | 2044k| 40.7 | 32M| 68 | 144 | 603 |5851 | 603 | 677 | 679 | 61k|7430 | 2.000000e+01 | 9.700000e+01 | 385.00%
186.10/186.10 c 186s| 60000 | 6987 | 2366k| 39.3 | 36M| 68 | 236 | 603 |5928 | 603 | 677 | 679 | 75k|8615 | 2.000000e+01 | 9.700000e+01 | 385.00%
210.59/210.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.59/210.66 c 211s| 70000 | 7549 | 2681k| 38.2 | 38M| 68 | 169 | 603 |5685 | 603 | 677 | 679 | 89k|9968 | 2.100000e+01 | 9.700000e+01 | 361.90%
234.10/234.17 c 234s| 80000 | 8223 | 2997k| 37.3 | 41M| 68 | 217 | 603 |5219 | 603 | 677 | 679 | 104k| 10k| 2.200000e+01 | 9.700000e+01 | 340.91%
256.20/256.22 c 256s| 90000 | 8666 | 3288k| 36.4 | 44M| 68 | 112 | 603 |5218 | 603 | 677 | 679 | 119k| 11k| 2.200000e+01 | 9.700000e+01 | 340.91%
279.60/279.61 c 280s|100000 | 8937 | 3591k| 35.8 | 45M| 68 | 74 | 603 |5606 | 603 | 677 | 679 | 134k| 13k| 2.300000e+01 | 9.700000e+01 | 321.74%
300.90/300.95 c 301s|110000 | 9370 | 3881k| 35.2 | 47M| 81 | - | 603 |5422 | 0 | 0 | 679 | 149k| 13k| 2.400000e+01 | 9.700000e+01 | 304.17%
322.90/322.91 c 323s|120000 | 9352 | 4141k| 34.4 | 48M| 81 | 73 | 603 |6863 | 603 | 677 | 679 | 165k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
343.60/343.69 c 344s|130000 | 9355 | 4436k| 34.1 | 49M| 81 | 152 | 603 |7174 | 603 | 677 | 679 | 179k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
367.31/367.31 c 367s|140000 | 9293 | 4742k| 33.8 | 50M| 81 | - | 603 |7551 | 0 | 0 | 679 | 194k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
388.90/388.92 c 389s|150000 | 9343 | 5053k| 33.6 | 51M| 81 | - | 603 |8748 | 603 | 677 | 679 | 210k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
412.30/412.39 c 412s|160000 | 9434 | 5338k| 33.3 | 52M| 81 | - | 603 |7812 | 0 | 0 | 679 | 225k| 19k| 2.433333e+01 | 9.700000e+01 | 298.63%
432.60/432.67 c 433s|170000 | 9544 | 5639k| 33.1 | 53M| 81 | - | 603 |7591 | 0 | 0 | 679 | 240k| 19k| 2.500000e+01 | 9.700000e+01 | 288.00%
454.11/454.14 c 454s|180000 | 9426 | 5899k| 32.7 | 52M| 81 | 133 | 603 |6949 | 603 | 677 | 679 | 255k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
473.90/473.91 c 474s|190000 | 9442 | 6186k| 32.5 | 52M| 81 | 174 | 603 |7710 | 603 | 677 | 679 | 269k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
494.21/494.29 c 494s|200000 | 9473 | 6452k| 32.2 | 52M| 94 | 180 | 603 |6264 | 603 | 677 | 679 | 283k| 21k| 2.700000e+01 | 9.700000e+01 | 259.26%
514.21/514.29 c 514s|210000 | 9222 | 6729k| 32.0 | 51M| 94 | 153 | 603 |5886 | 603 | 677 | 679 | 298k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
535.10/535.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.10/535.16 c 535s|220000 | 8943 | 7007k| 31.8 | 50M| 94 | 93 | 603 |8249 | 603 | 677 | 679 | 314k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
555.10/555.11 c 555s|230000 | 8716 | 7254k| 31.5 | 49M| 112 | - | 603 |8652 | 0 | 0 | 679 | 328k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
573.31/573.36 c 573s|240000 | 8609 | 7512k| 31.3 | 49M| 112 | 30 | 603 |9735 | 603 | 677 | 679 | 342k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
595.21/595.27 c 595s|250000 | 8321 | 7787k| 31.1 | 47M| 112 | 103 | 603 |7535 | 603 | 677 | 679 | 358k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
616.11/616.13 c 616s|260000 | 8094 | 8065k| 31.0 | 46M| 112 | 174 | 603 |8894 | 603 | 677 | 679 | 372k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
635.91/635.90 c 636s|270000 | 7823 | 8333k| 30.8 | 43M| 112 | - | 603 |6289 | 0 | 0 | 679 | 387k| 26k| 2.900000e+01 | 9.700000e+01 | 234.48%
656.31/656.33 c 656s|280000 | 7491 | 8584k| 30.6 | 40M| 112 | - | 603 |6629 | 0 | 0 | 679 | 402k| 27k| 2.900000e+01 | 9.700000e+01 | 234.48%
674.11/674.10 c 674s|290000 | 7467 | 8820k| 30.4 | 39M| 112 | 108 | 603 |6816 | 603 | 677 | 679 | 417k| 27k| 3.000000e+01 | 9.700000e+01 | 223.33%
694.51/694.59 c 695s|300000 | 7215 | 9085k| 30.3 | 34M| 112 | - | 603 |5368 | 0 | 0 | 679 | 432k| 27k| 3.200000e+01 | 9.700000e+01 | 203.12%
715.41/715.48 c 715s|310000 | 7762 | 9376k| 30.2 | 38M| 112 | - | 603 |5913 | 0 | 0 | 679 | 445k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
735.02/735.00 c 735s|320000 | 8540 | 9666k| 30.2 | 41M| 112 | 150 | 603 |6550 | 603 | 677 | 679 | 459k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
752.21/752.21 o 96
752.21/752.21 c * 752s|328021 | 7631 | 9889k| 30.1 | 41M| 112 | - | 603 |8542 | 603 | 677 | 679 | 471k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
756.61/756.63 c 757s|330000 | 7649 | 9943k| 30.1 | 41M| 112 | 169 | 603 |7178 | 603 | 677 | 679 | 474k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
775.61/775.68 c 776s|340000 | 8072 | 10218k| 30.0 | 43M| 112 | - | 603 |6134 | 603 | 677 | 679 | 488k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
795.41/795.46 c 795s|350000 | 8392 | 10495k| 30.0 | 46M| 112 | 45 | 603 |7894 | 603 | 677 | 679 | 501k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
816.51/816.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.51/816.50 c 816s|360000 | 8699 | 10767k| 29.9 | 48M| 112 | - | 603 |8698 | 0 | 0 | 679 | 516k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
834.61/834.68 c 835s|370000 | 8922 | 11016k| 29.7 | 49M| 112 | 35 | 603 |8079 | 603 | 677 | 679 | 531k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
854.72/854.77 c 855s|380000 | 9762 | 11317k| 29.8 | 54M| 112 | 47 | 603 |9476 | 603 | 677 | 679 | 545k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
876.12/876.13 c 876s|390000 | 10417 | 11618k| 29.8 | 58M| 112 | 99 | 603 |8862 | 603 | 677 | 679 | 559k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
896.02/896.05 c 896s|400000 | 11126 | 11928k| 29.8 | 62M| 112 | - | 603 | 10k| 0 | 0 | 679 | 575k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
916.32/916.39 c 916s|410000 | 11556 | 12213k| 29.8 | 65M| 112 | 35 | 603 |9331 | 603 | 677 | 679 | 589k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
938.61/938.66 c 939s|420000 | 12054 | 12544k| 29.8 | 67M| 112 | 234 | 603 |8384 | 603 | 677 | 679 | 604k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
958.81/958.87 c 959s|430000 | 12339 | 12860k| 29.9 | 69M| 112 | - | 603 |9539 | 0 | 0 | 679 | 618k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
980.12/980.11 c 980s|440000 | 12575 | 13126k| 29.8 | 71M| 112 | 82 | 603 | 10k| 603 | 677 | 679 | 632k| 34k| 3.200000e+01 | 9.600000e+01 | 200.00%
999.41/999.47 c 999s|450000 | 13157 | 13387k| 29.7 | 73M| 112 | - | 603 |7014 | 0 | 0 | 679 | 646k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
1017.81/1017.86 c 1018s|460000 | 13704 | 13660k| 29.7 | 76M| 112 | - | 603 |7460 | 0 | 0 | 679 | 660k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
1040.92/1040.95 c 1041s|470000 | 14298 | 13998k| 29.8 | 80M| 112 | 167 | 603 |9245 | 603 | 677 | 679 | 675k| 36k| 3.200000e+01 | 9.600000e+01 | 200.00%
1063.52/1063.59 c 1064s|480000 | 14757 | 14333k| 29.8 | 82M| 112 | 154 | 603 |8140 | 603 | 677 | 679 | 690k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1083.62/1083.64 c 1084s|490000 | 15157 | 14649k| 29.9 | 84M| 112 | - | 603 |7762 | 603 | 677 | 679 | 704k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1103.22/1103.20 c 1103s|500000 | 15585 | 14921k| 29.8 | 87M| 136 | 89 | 603 |7954 | 603 | 677 | 679 | 719k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1125.42/1125.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.42/1125.42 c 1125s|510000 | 16108 | 15241k| 29.9 | 90M| 136 | 157 | 603 |7264 | 603 | 677 | 679 | 734k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1145.52/1145.50 c 1146s|520000 | 16704 | 15559k| 29.9 | 93M| 136 | 46 | 603 |7418 | 603 | 677 | 679 | 748k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1167.21/1167.21 c 1167s|530000 | 17275 | 15886k| 30.0 | 96M| 136 | - | 603 |8016 | 0 | 0 | 679 | 763k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1188.42/1188.49 c 1188s|540000 | 17542 | 16188k| 30.0 | 98M| 136 | 128 | 603 |8539 | 603 | 677 | 679 | 777k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1206.82/1206.89 c 1207s|550000 | 17867 | 16446k| 29.9 | 100M| 136 | - | 603 |8038 | 0 | 0 | 679 | 792k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1226.22/1226.20 c 1226s|560000 | 18629 | 16757k| 29.9 | 104M| 136 | 57 | 603 |7785 | 603 | 677 | 679 | 805k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1245.72/1245.76 c 1246s|570000 | 18471 | 17020k| 29.8 | 105M| 136 | 128 | 603 |8523 | 603 | 677 | 679 | 819k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1263.93/1263.92 c 1264s|580000 | 18765 | 17281k| 29.8 | 108M| 136 | 58 | 603 |8965 | 603 | 677 | 679 | 832k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1283.02/1283.03 c 1283s|590000 | 19008 | 17548k| 29.7 | 110M| 136 | 50 | 603 |8438 | 603 | 677 | 679 | 847k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1301.82/1301.86 c 1302s|600000 | 19436 | 17816k| 29.7 | 111M| 136 | - | 603 |7281 | 0 | 0 | 679 | 862k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1321.22/1321.26 c 1321s|610000 | 19738 | 18078k| 29.6 | 112M| 136 | - | 603 |6974 | 0 | 0 | 679 | 877k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1339.42/1339.42 c 1339s|620000 | 20589 | 18328k| 29.5 | 116M| 136 | 172 | 603 |7466 | 603 | 677 | 679 | 891k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1356.03/1356.03 c 1356s|630000 | 21247 | 18565k| 29.5 | 119M| 136 | - | 603 |7299 | 0 | 0 | 679 | 905k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1373.53/1373.50 c 1374s|640000 | 21636 | 18825k| 29.4 | 122M| 136 | 182 | 603 |8691 | 603 | 677 | 679 | 919k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1390.93/1390.96 c 1391s|650000 | 21838 | 19068k| 29.3 | 124M| 136 | 95 | 603 | 10k| 603 | 677 | 679 | 932k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1411.93/1411.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.93/1411.92 c 1412s|660000 | 22201 | 19376k| 29.3 | 125M| 136 | - | 603 |8584 | 603 | 677 | 679 | 945k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1429.83/1429.81 c 1430s|670000 | 22813 | 19634k| 29.3 | 129M| 136 | 161 | 603 |7827 | 603 | 677 | 679 | 959k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1447.64/1447.65 c 1448s|680000 | 23262 | 19893k| 29.2 | 131M| 136 | - | 603 |7011 | 0 | 0 | 679 | 973k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1468.73/1468.74 c 1469s|690000 | 23675 | 20207k| 29.3 | 132M| 136 | 129 | 603 |6500 | 603 | 677 | 679 | 987k| 44k| 3.300000e+01 | 9.600000e+01 | 190.91%
1487.63/1487.68 c 1488s|700000 | 24443 | 20482k| 29.2 | 136M| 136 | 128 | 603 |7978 | 603 | 677 | 679 |1000k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1503.83/1503.84 c 1504s|710000 | 25027 | 20708k| 29.2 | 140M| 136 | 104 | 603 |8980 | 603 | 677 | 679 |1013k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1520.33/1520.37 c 1520s|720000 | 25242 | 20934k| 29.1 | 141M| 136 | 194 | 603 |9056 | 603 | 677 | 679 |1026k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1537.63/1537.61 c 1538s|730000 | 25609 | 21172k| 29.0 | 144M| 136 | - | 603 | 10k| 0 | 0 | 679 |1039k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1555.53/1555.53 c 1556s|740000 | 25654 | 21387k| 28.9 | 143M| 136 | 52 | 603 |8327 | 603 | 677 | 679 |1052k| 46k| 3.300000e+01 | 9.600000e+01 | 190.91%
1574.83/1574.81 c 1575s|750000 | 25964 | 21652k| 28.9 | 144M| 136 | 114 | 603 |7002 | 603 | 677 | 679 |1067k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1594.53/1594.51 c 1595s|760000 | 26074 | 21951k| 28.9 | 144M| 136 | - | 603 |6470 | 0 | 0 | 679 |1082k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1614.63/1614.64 c 1615s|770000 | 26646 | 22257k| 28.9 | 146M| 136 | - | 603 |5364 | 0 | 0 | 679 |1096k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1635.04/1635.03 c 1635s|780000 | 27481 | 22578k| 28.9 | 150M| 136 | 94 | 603 |6368 | 603 | 677 | 679 |1109k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1654.03/1654.06 c 1654s|790000 | 28562 | 22900k| 29.0 | 155M| 136 | 143 | 603 |6933 | 603 | 677 | 679 |1122k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1672.94/1672.95 c 1673s|800000 | 29372 | 23190k| 29.0 | 158M| 136 | - | 603 |6963 | 0 | 0 | 679 |1135k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1692.53/1692.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.53/1692.52 c 1693s|810000 | 30084 | 23483k| 29.0 | 161M| 136 | 147 | 603 |7382 | 603 | 677 | 679 |1148k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1710.63/1710.65 c 1711s|820000 | 31174 | 23770k| 29.0 | 165M| 136 | 86 | 603 |7869 | 603 | 677 | 679 |1161k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1730.03/1730.03 c 1730s|830000 | 31529 | 24063k| 29.0 | 167M| 136 | 114 | 603 |7025 | 603 | 677 | 679 |1176k| 48k| 3.433333e+01 | 9.600000e+01 | 179.61%
1750.04/1750.09 c 1750s|840000 | 31786 | 24344k| 29.0 | 168M| 136 | - | 603 |6705 | 0 | 0 | 679 |1191k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1769.54/1769.57 c 1770s|850000 | 31900 | 24611k| 28.9 | 169M| 136 | 76 | 603 |8212 | 603 | 677 | 679 |1205k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1789.04/1789.02 c 1789s|860000 | 31780 | 24876k| 28.9 | 168M| 136 | 34 | 603 |8331 | 603 | 677 | 679 |1221k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 864387
1797.03/1797.00 c Primal Bound : +9.60000000000000e+01 (3 solutions)
1797.03/1797.00 c Dual Bound : +3.50000000000000e+01
1797.03/1797.00 c Gap : 174.29 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v -x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 -x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 -x90 x91 x92 x93 x94
1797.03/1797.01 v x95 x96 -x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 -x107 x108 x109 x110 x111 x112 x113 -x114 x115 x116 x117 x118 x119 x120
1797.03/1797.01 v x121 x122 x123 x124 -x125 x126 x127 x128 x129 x130 x131 -x132 x133 -x134 -x135 x136 x137 x138 x139 x140 -x141 x142 x143 x144
1797.03/1797.01 v x145 x146 -x147 -x148 -x149 x150 x151 x152 -x153 -x154 x155 x156 x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 -x166 -x167
1797.03/1797.01 v x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 -x178 -x179 x180 x181 x182 -x183 -x184 x185 x186 x187 -x188 -x189 x190 x191
1797.03/1797.01 v -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 x200 x201 -x202 x203 x204 x205 -x206 x207 x208 x209 -x210 -x211 x212 x213 -x214
1797.03/1797.01 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 x226 x227 x228 x229 -x230 x231 x232 -x233 -x234 x235 -x236
1797.03/1797.01 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1797.03/1797.01 v -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 x271 x272 x273 x274 -x275 x276 x277 x278 x279 x280
1797.03/1797.01 v x281 x282 x283 x284 x285 -x286 x287 x288 x289 x290 x291 x292 -x293 x294 x295 -x296 x297 x298 x299 x300 x301 -x302 x303 x304
1797.03/1797.01 v x305 x306 x307 -x308 x309 x310 x311 x312 -x313 x314 x315 x316 x317 x318 x319 -x320 -x321 -x322 x323 x324 x325 x326 x327 -x328
1797.03/1797.01 v x329 x330 x331 x332 -x333 -x334 x335 x336 x337 -x338 x339 x340 x341 x342 x343 x344 -x345 -x346 -x347 -x348 x349 x350 x351 -x352
1797.03/1797.01 v x353 x354 x355 -x356 x357 x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 x372 x373 x374
1797.03/1797.01 v x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1797.03/1797.01 v -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x408 x409 x410 x411 x412
1797.03/1797.01 v x413 x414 x415 x416 x417 x418 -x419 x420 x421 x422 x423 x424 x425 -x426 x427 -x428 x429 x430 x431 x432 x433 x434 x435 x436
1797.03/1797.01 v x437 x438 -x439 x440 x441 x442 x443 x444 x445 -x446 -x447 -x448 -x449 x450 x451 x452 -x453 x454 x455 x456 -x457 -x458 x459 x460
1797.03/1797.01 v -x461 -x462 x463 -x464 -x465 -x466 x467 x468 x469 x470 x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481 -x482
1797.03/1797.01 v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x14 -x13 -x12 x11 x10 x9 x8
1797.03/1797.01 v x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 -x518 x519 x520 x521 x522 x523
1797.03/1797.01 v x524 -x525 -x526 -x527 x528 x529 x530 x531 x532 x533 -x534 x535 x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 -x546
1797.03/1797.01 v -x547 -x548 x549 -x550 -x551 -x552 -x553 -x28 -x27 x26 x25 x24 -x23 -x22 -x554 x555 x556 x557 x558 x559 x560 -x561 -x562 -x563
1797.03/1797.01 v x564 x565 x566 x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x35 x34
1797.03/1797.01 v -x33 -x32 -x31 -x30 -x29 x584 x585 x586 x587 x588 x589 x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x42 x41 x40 -x39 -x38
1797.03/1797.01 v x37 -x36 -x598 -x599 -x600 -x601 -x602 -x49 x48 x47 -x46 x45 x44 x43 x603 x63 -x62 x61 -x60 x59 x58 -x57 x56 -x55 x54 -x53 -x52
1797.03/1797.01 v -x51 -x50 x7 x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.00
1797.03/1797.01 c solving : 1797.00
1797.03/1797.01 c presolving : 0.06 (included in solving)
1797.03/1797.01 c reading : 0.02 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488886-1307771315.opb
1797.03/1797.01 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 1088 initial, 1088 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488886-1307771315.opb
1797.03/1797.01 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 548 initial, 11437 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.01 0 0 0 0 0 540 0 0 0
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 547613 0 8 0 564 33850 0 0 1075374
1797.03/1797.01 c knapsack : 8 20 3681119 1 1 5 5115942 17278 573126 193 0 0
1797.03/1797.01 c linear : 540+ 21 3745715 0 1 2 6087733 364759 34967493 2 0 0
1797.03/1797.01 c logicor : 0+ 20 1693709 0 0 0 5684767 16334 1679001 0 0 0
1797.03/1797.01 c countsols : 0 0 0 1 1 4 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 138.71 0.00 0.00 138.71 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 15.69 0.00 13.68 0.00 0.00 0.00 2.00
1797.03/1797.01 c linear : 288.17 0.00 280.88 0.00 0.00 0.00 7.28
1797.03/1797.01 c logicor : 86.04 0.00 81.66 0.00 0.00 0.00 4.38
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 2 0 0 0
1797.03/1797.01 c pseudoobj : 3762821 2348 4 1985
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.57 0.57 0.00
1797.03/1797.01 c rootredcost : 0.62 0.62 0.00
1797.03/1797.01 c pseudoobj : 1.84 1.84 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 27.09 398375 398146 3989588 34.2 13571 24.7 -
1797.03/1797.01 c infeasible LP : 7.05 75414 75414 433240 26.0 8335 18.7 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 1227519 26.1 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.01 19 - - 9069 - (maximal pool size: 5920)
1797.03/1797.01 c redcost : 5.63 547720 0 146 0 0
1797.03/1797.01 c impliedbounds : 0.00 20 0 0 8 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 0.17 20 0 0 540 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.16 20 0 0 626 0
1797.03/1797.01 c cmir : 0.47 10 0 0 4240 0
1797.03/1797.01 c flowcover : 0.27 10 0 0 2001 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.27 1 0 0 0 316
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 138.33 547612 564 33850 0 0 1075374
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 1
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c crossover : 0.69 0 0
1797.03/1797.01 c intshifting : 0.01 0 0
1797.03/1797.01 c oneopt : 0.18 3 0
1797.03/1797.01 c feaspump : 2.20 70 0
1797.03/1797.01 c pscostdiving : 4.62 237 0
1797.03/1797.01 c fracdiving : 1.75 237 1
1797.03/1797.01 c veclendiving : 2.80 237 0
1797.03/1797.01 c objpscostdiving : 2.92 119 0
1797.03/1797.01 c coefdiving : 1.86 238 0
1797.03/1797.01 c linesearchdiving : 2.91 238 0
1797.03/1797.01 c guideddiving : 2.46 238 0
1797.03/1797.01 c rootsoldiving : 1.39 120 0
1797.03/1797.01 c trivial : 0.00 2 0
1797.03/1797.01 c shiftandpropagate: 0.01 1 0
1797.03/1797.01 c simplerounding : 0.15 0 0
1797.03/1797.01 c zirounding : 0.24 1000 0
1797.03/1797.01 c rounding : 1.01 10440 0
1797.03/1797.01 c shifting : 7.25 3269 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.15 0 0
1797.03/1797.01 c trysol : 0.20 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 914.05 617436 24662097 39.94 26981.09
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 17.70 16911 328886 19.45 18583.64
1797.03/1797.01 c strong branching : 119.87 49949 2029920 40.64 16933.74
1797.03/1797.01 c (at root node) : - 14 5096 364.00 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 864387
1797.03/1797.01 c nodes (total) : 864387
1797.03/1797.01 c nodes left : 31855
1797.03/1797.01 c max depth : 136
1797.03/1797.01 c max depth (total): 136
1797.03/1797.01 c backtracks : 180789 (20.9%)
1797.03/1797.01 c delayed cutoffs : 177902
1797.03/1797.01 c repropagations : 1361020 (13681119 domain reductions, 142509 cutoffs)
1797.03/1797.01 c avg switch length: 6.54
1797.03/1797.01 c switching time : 203.83
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 3 (3 improvements)
1797.03/1797.01 c First Solution : +1.17000000000000e+02 (in run 1, after 1 nodes, 0.63 seconds, depth 0, found by <trysol>)
1797.03/1797.01 c Primal Bound : +9.60000000000000e+01 (in run 1, after 328021 nodes, 752.21 seconds, depth 35, found by <relaxation>)
1797.03/1797.01 c Dual Bound : +3.50000000000000e+01
1797.03/1797.01 c Gap : 174.29 %
1797.03/1797.01 c Root Dual Bound : +9.00000000000000e+00
1797.03/1797.01 c Root Iterations : 10120
1797.23/1797.20 c Time complete: 1797.23.
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-3488886-1307771315/watcher-3488886-1307771315 -o /tmp/evaluation-result-3488886-1307771315/solver-3488886-1307771315 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488886-1307771315.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: 2.03 2.01 2.00 2/181 9134
/proc/meminfo: memFree=30998048/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 1755 0 0 0 0 0 0 0 25 0 1 0 888729432 11206656 1709 33554432000 4194304 9016284 140736106149488 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9134/statm: 2736 1722 340 1178 0 1554 0
[startup+0.0450619 s]
/proc/loadavg: 2.03 2.01 2.00 2/181 9134
/proc/meminfo: memFree=30998048/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=25696 CPUtime=0.04 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 5472 0 0 0 4 0 0 0 25 0 1 0 888729432 26312704 5169 33554432000 4194304 9016284 140736106149488 18446744073709551615 5251849 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9134/statm: 6424 5169 514 1178 0 5242 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25696
[startup+0.10108 s]
/proc/loadavg: 2.03 2.01 2.00 2/181 9134
/proc/meminfo: memFree=30998048/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=28296 CPUtime=0.09 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 6222 0 0 0 9 0 0 0 25 0 1 0 888729432 28975104 5888 33554432000 4194304 9016284 140736106149488 18446744073709551615 18446744073699065856 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9134/statm: 7074 5888 594 1178 0 5892 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28296
[startup+0.301042 s]
/proc/loadavg: 2.03 2.01 2.00 2/181 9134
/proc/meminfo: memFree=30998048/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=29464 CPUtime=0.29 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 6814 0 0 0 29 0 0 0 25 0 1 0 888729432 30171136 6328 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9134/statm: 7366 6328 654 1178 0 6184 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29464
[startup+0.700955 s]
/proc/loadavg: 2.03 2.01 2.00 2/181 9134
/proc/meminfo: memFree=30998048/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=44072 CPUtime=0.69 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 11071 0 0 0 68 1 0 0 25 0 1 0 888729432 45129728 9864 33554432000 4194304 9016284 140736106149488 18446744073709551615 4239262 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11018 9864 702 1178 0 9836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44072
[startup+1.50079 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 9135
/proc/meminfo: memFree=30960988/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=44072 CPUtime=1.49 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 11308 0 0 0 148 1 0 0 25 0 1 0 888729432 45129728 10099 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11018 10099 700 1178 0 9836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44072
[startup+3.10055 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 9135
/proc/meminfo: memFree=30958132/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=47884 CPUtime=3.09 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 13082 0 0 0 306 3 0 0 25 0 1 0 888729432 49033216 11040 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11971 11040 701 1178 0 10789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47884
[startup+6.30098 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9135
/proc/meminfo: memFree=30955276/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=47884 CPUtime=6.29 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 13083 0 0 0 619 10 0 0 25 0 1 0 888729432 49033216 11041 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11971 11041 701 1178 0 10789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47884
[startup+12.7008 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9135
/proc/meminfo: memFree=30954204/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=47884 CPUtime=12.69 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 13084 0 0 0 1249 20 0 0 25 0 1 0 888729432 49033216 11042 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11971 11042 702 1178 0 10789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47884
[startup+25.5005 s]
/proc/loadavg: 2.15 2.04 2.01 3/182 9136
/proc/meminfo: memFree=30950104/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=47884 CPUtime=25.49 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 13089 0 0 0 2510 39 0 0 25 0 1 0 888729432 49033216 11047 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 11971 11047 702 1178 0 10789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47884
[startup+51.1008 s]
/proc/loadavg: 2.10 2.04 2.01 3/182 9136
/proc/meminfo: memFree=30944968/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=52616 CPUtime=51.09 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 14248 0 0 0 5029 80 0 0 25 0 1 0 888729432 53878784 12206 33554432000 4194304 9016284 140736106149488 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 13154 12206 702 1178 0 11972 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52616
[startup+102.307 s]
/proc/loadavg: 2.11 2.04 2.01 3/182 9138
/proc/meminfo: memFree=30933216/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=65868 CPUtime=102.3 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 17568 0 0 0 10063 167 0 0 25 0 1 0 888729432 67448832 15523 33554432000 4194304 9016284 140736106149488 18446744073709551615 4294179 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 16467 15523 702 1178 0 15285 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65868
[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 9139
/proc/meminfo: memFree=30911736/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=77948 CPUtime=162.29 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 20773 0 0 0 15963 266 0 0 25 0 1 0 888729432 79818752 18552 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 19487 18552 702 1178 0 18305 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77948
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 9141
/proc/meminfo: memFree=30897684/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=88796 CPUtime=222.29 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 23542 0 0 0 21872 357 0 0 25 0 1 0 888729432 90927104 21276 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 22199 21276 702 1178 0 21017 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 88796
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 9143
/proc/meminfo: memFree=30883880/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=96648 CPUtime=282.3 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 25614 0 0 0 27776 454 0 0 25 0 1 0 888729432 98967552 23255 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 24162 23255 702 1178 0 22980 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96648
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 9144
/proc/meminfo: memFree=30862264/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=102384 CPUtime=342.31 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 27127 0 0 0 33686 545 0 0 25 0 1 0 888729432 104841216 24658 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 25596 24658 702 1178 0 24414 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 102384
[startup+402.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 9146
/proc/meminfo: memFree=30868416/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=105972 CPUtime=402.31 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 28051 0 0 0 39594 637 0 0 25 0 1 0 888729432 108515328 25556 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 26493 25556 702 1178 0 25311 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 105972
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 9261
/proc/meminfo: memFree=31263884/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=109252 CPUtime=462.3 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 28920 0 0 0 45498 732 0 0 25 0 1 0 888729432 111874048 26387 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 27313 26387 702 1178 0 26131 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 109252
[startup+522.301 s]
/proc/loadavg: 1.96 2.00 1.99 3/182 9301
/proc/meminfo: memFree=31218064/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=110828 CPUtime=522.31 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 29306 0 0 0 51402 829 0 0 25 0 1 0 888729432 113487872 26773 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 27707 26773 702 1178 0 26525 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 110828
[startup+582.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/182 9303
/proc/meminfo: memFree=31217052/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=111516 CPUtime=582.31 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 29488 0 0 0 57315 916 0 0 25 0 1 0 888729432 114192384 26955 33554432000 4194304 9016284 140736106149488 18446744073709551615 4844415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 27879 26955 702 1178 0 26697 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 111516
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30781900/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=156496 CPUtime=1122.32 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 69162 0 0 0 110473 1759 0 0 25 0 1 0 888729432 160251904 38180 33554432000 4194304 9016284 140736106149488 18446744073709551615 7214502 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 39124 38180 703 1178 0 37942 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 156496
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 9369
/proc/meminfo: memFree=30719852/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=169912 CPUtime=1182.32 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 75600 0 0 0 116376 1856 0 0 25 0 1 0 888729432 173989888 41491 33554432000 4194304 9016284 140736106149488 18446744073709551615 6816922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 42478 41491 704 1178 0 41296 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 169912
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9370
/proc/meminfo: memFree=30662392/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=177940 CPUtime=1242.32 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 77720 0 0 0 122284 1948 0 0 25 0 1 0 888729432 182210560 43539 33554432000 4194304 9016284 140736106149488 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 44485 43539 704 1178 0 43303 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 177940
[startup+1302.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/182 9372
/proc/meminfo: memFree=30596868/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=184088 CPUtime=1302.33 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 79259 0 0 0 128194 2039 0 0 25 0 1 0 888729432 188506112 45026 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 46022 45026 704 1178 0 44840 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 184088
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/182 9373
/proc/meminfo: memFree=30526120/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=196736 CPUtime=1362.32 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 82529 0 0 0 134108 2124 0 0 25 0 1 0 888729432 201457664 48114 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 49184 48114 706 1178 0 48002 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 196736
[startup+1422.31 s]
/proc/loadavg: 2.05 2.04 2.01 3/182 9375
/proc/meminfo: memFree=30453160/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=203140 CPUtime=1422.33 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 84169 0 0 0 140016 2217 0 0 25 0 1 0 888729432 208015360 49718 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 50785 49718 705 1178 0 49603 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 203140
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/182 9377
/proc/meminfo: memFree=30383056/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=216120 CPUtime=1482.33 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 87436 0 0 0 145926 2307 0 0 25 0 1 0 888729432 221306880 52927 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 54030 52927 704 1178 0 52848 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 216120
[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/182 9378
/proc/meminfo: memFree=30325728/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=225968 CPUtime=1542.33 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 89844 0 0 0 151841 2392 0 0 25 0 1 0 888729432 231391232 55305 33554432000 4194304 9016284 140736106149488 18446744073709551615 5252189 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 56492 55305 703 1178 0 55310 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 225968
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/182 9380
/proc/meminfo: memFree=30278688/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=227384 CPUtime=1602.34 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 94117 0 0 0 157748 2486 0 0 25 0 1 0 888729432 232841216 55744 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 56846 55744 703 1178 0 55664 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 227384
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/182 9381
/proc/meminfo: memFree=30218004/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=240436 CPUtime=1662.34 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 97335 0 0 0 163649 2585 0 0 25 0 1 0 888729432 246206464 58903 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 60109 58903 703 1178 0 58927 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 240436
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/182 9383
/proc/meminfo: memFree=30156196/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=256320 CPUtime=1722.33 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 101298 0 0 0 169551 2682 0 0 25 0 1 0 888729432 262471680 62807 33554432000 4194304 9016284 140736106149488 18446744073709551615 5325570 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 64080 62807 703 1178 0 62898 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 256320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30106784/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=259744 CPUtime=1782.34 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102104 0 0 0 175465 2769 0 0 25 0 1 0 888729432 265977856 63574 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 64936 63574 702 1178 0 63754 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 259744
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30105292/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260548 CPUtime=1785.53 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102354 0 0 0 175779 2774 0 0 25 0 1 0 888729432 266801152 63824 33554432000 4194304 9016284 140736106149488 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 65137 63824 707 1178 0 63955 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 260548
[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30098844/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260692 CPUtime=1791.94 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102400 0 0 0 176412 2782 0 0 25 0 1 0 888729432 266948608 63860 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 65173 63860 704 1178 0 63991 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 260692
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30095368/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260840 CPUtime=1795.14 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102441 0 0 0 176728 2786 0 0 25 0 1 0 888729432 267100160 63901 33554432000 4194304 9016284 140736106149488 18446744073709551615 6523116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 65210 63901 704 1178 0 64028 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 260840
[startup+1795.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30095368/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260840 CPUtime=1795.94 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102489 0 0 0 176807 2787 0 0 25 0 1 0 888729432 267100160 63938 33554432000 4194304 9016284 140736106149488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 65210 63938 704 1178 0 64028 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 260840
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30094996/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260840 CPUtime=1796.74 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102489 0 0 0 176886 2788 0 0 25 0 1 0 888729432 267100160 63938 33554432000 4194304 9016284 140736106149488 18446744073709551615 5251951 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9134/statm: 65210 63938 704 1178 0 64028 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 260840
[startup+1797.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30094996/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=260840 CPUtime=1797.13 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102493 0 0 0 176925 2788 0 0 18 0 1 0 888729432 267100160 63942 33554432000 4194304 9016284 140736106149488 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9134/statm: 65210 63942 708 1178 0 64028 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 260840
[startup+1797.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 9385
/proc/meminfo: memFree=30094996/32951124 swapFree=67054536/67111528
[pid=9134] ppid=9132 vsize=69096 CPUtime=1797.23 cores=0,2,4,6
/proc/9134/stat : 9134 (scip-2.0.1.4b_2) R 9132 9134 8117 0 -1 4202496 102493 0 0 0 176934 2789 0 0 18 0 1 0 888729432 70754304 11249 33554432000 4194304 9016284 140736106149488 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9134/statm: 17274 11249 706 1178 0 16092 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 69096
Child status: 0
Real time (s): 1797.2
CPU time (s): 1797.25
CPU user time (s): 1769.35
CPU system time (s): 27.9008
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 260840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.35
system time used= 27.9008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102498
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= 8
involuntary context switches= 20936
runsolver used 3.3125 second user time and 6.07008 second system time
The end