0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450966-1307092408.opb>
0.00/0.03 c original problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.05 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.09/0.10 c (0.1s) probing: 109/603 (18.1%) - 0 fixings, 0 aggregations, 308 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (2 rounds):
0.09/0.10 c 0 deleted vars, 540 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 1152 implications, 0 cliques
0.09/0.10 c presolved problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 548 constraints
0.09/0.10 c 8 constraints of type <knapsack>
0.09/0.10 c 540 constraints of type <linear>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 0 | 545 | - |4601k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | -- | Inf
0.59/0.68 o 117
0.59/0.68 c y 0.7s| 1 | 0 | 5427 | - |5202k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.59/0.70 c 0.7s| 1 | 0 | 5441 | - |5551k| 0 | 369 | 603 | 884 | 603 | 587 | 39 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.69/0.77 c 0.8s| 1 | 0 | 5529 | - |6119k| 0 | 366 | 603 | 884 | 603 | 633 | 85 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.79/0.85 c 0.9s| 1 | 0 | 5669 | - |6688k| 0 | 367 | 603 | 884 | 603 | 674 | 126 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.89/0.94 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.99/1.05 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.11/1.17 c 1.2s| 1 | 0 | 6219 | - |8189k| 0 | 388 | 603 | 884 | 603 | 814 | 266 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.19/1.29 c 1.3s| 1 | 0 | 6471 | - |8625k| 0 | 393 | 603 | 884 | 603 | 873 | 325 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.39/1.43 c 1.4s| 1 | 0 | 6761 | - |9053k| 0 | 387 | 603 | 884 | 603 | 932 | 384 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.49/1.58 c 1.6s| 1 | 0 | 7083 | - |9514k| 0 | 388 | 603 | 884 | 603 | 987 | 439 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.69/1.72 c 1.7s| 1 | 0 | 7307 | - | 10M| 0 | 385 | 603 | 884 | 603 |1044 | 496 | 20 | 0 | 8.222222e+00 | 1.170000e+02 |1322.97%
1.69/1.78 c 1.8s| 1 | 0 | 7621 | - | 10M| 0 | 387 | 603 | 884 | 603 |1074 | 526 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.78/1.83 c 1.8s| 1 | 0 | 7875 | - | 10M| 0 | 384 | 603 | 884 | 603 |1097 | 549 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.78/1.89 c 1.9s| 1 | 0 | 8153 | - | 10M| 0 | 389 | 603 | 884 | 603 |1120 | 572 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.89/1.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.95 c 2.0s| 1 | 0 | 8426 | - | 10M| 0 | 389 | 603 | 884 | 603 |1001 | 600 | 20 | 0 | 8.600000e+00 | 1.170000e+02 |1260.47%
1.99/2.01 c 2.0s| 1 | 0 | 8640 | - | 10M| 0 | 367 | 603 | 884 | 603 |1014 | 613 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.06 c 2.1s| 1 | 0 | 8777 | - | 10M| 0 | 366 | 603 | 884 | 603 |1030 | 629 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.11 c 2.1s| 1 | 0 | 9085 | - | 10M| 0 | 366 | 603 | 884 | 603 |1042 | 641 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.09/2.16 c 2.2s| 1 | 0 | 9385 | - | 10M| 0 | 363 | 603 | 884 | 603 |1055 | 654 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.21/2.22 c 2.2s| 1 | 0 | 9702 | - | 10M| 0 | 357 | 603 | 884 | 603 |1068 | 667 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.21/2.28 c 2.3s| 1 | 0 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.59/2.68 c 2.7s| 1 | 2 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 14 | 9.000000e+00 | 1.170000e+02 |1200.00%
28.19/28.29 o 97
28.19/28.29 c f28.3s| 3470 | 1363 |252180 | 69.8 | 13M| 55 | - | 603 |2494 | 603 | 677 | 679 |3095 |1451 | 1.200000e+01 | 9.700000e+01 | 708.33%
54.19/54.27 c 54.3s| 10000 | 2852 |608976 | 59.9 | 17M| 65 | - | 603 |3360 | 603 | 677 | 679 |9851 |2820 | 1.500000e+01 | 9.700000e+01 | 546.67%
85.70/85.74 c 85.7s| 20000 | 4271 | 1041k| 51.6 | 23M| 65 | - | 603 |4233 | 603 | 677 | 679 | 22k|4729 | 1.600000e+01 | 9.700000e+01 | 506.25%
112.79/112.80 c 113s| 30000 | 4719 | 1390k| 46.0 | 25M| 65 | - | 603 |4341 | 0 | 0 | 679 | 35k|6416 | 1.800000e+01 | 9.700000e+01 | 438.89%
136.09/136.19 c 136s| 40000 | 5543 | 1735k| 43.1 | 28M| 65 | 105 | 603 |5921 | 603 | 677 | 679 | 47k|7376 | 1.900000e+01 | 9.700000e+01 | 410.53%
156.70/156.75 c 157s| 50000 | 6281 | 2044k| 40.7 | 32M| 68 | 144 | 603 |5851 | 603 | 677 | 679 | 61k|7430 | 2.000000e+01 | 9.700000e+01 | 385.00%
180.59/180.60 c 181s| 60000 | 6987 | 2366k| 39.3 | 36M| 68 | 236 | 603 |5928 | 603 | 677 | 679 | 75k|8615 | 2.000000e+01 | 9.700000e+01 | 385.00%
204.30/204.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.30/204.38 c 204s| 70000 | 7549 | 2681k| 38.2 | 38M| 68 | 169 | 603 |5685 | 603 | 677 | 679 | 89k|9968 | 2.100000e+01 | 9.700000e+01 | 361.90%
227.09/227.18 c 227s| 80000 | 8223 | 2997k| 37.3 | 41M| 68 | 217 | 603 |5219 | 603 | 677 | 679 | 104k| 10k| 2.200000e+01 | 9.700000e+01 | 340.91%
248.50/248.58 c 249s| 90000 | 8666 | 3288k| 36.4 | 44M| 68 | 112 | 603 |5218 | 603 | 677 | 679 | 119k| 11k| 2.200000e+01 | 9.700000e+01 | 340.91%
271.20/271.24 c 271s|100000 | 8937 | 3591k| 35.8 | 45M| 68 | 74 | 603 |5606 | 603 | 677 | 679 | 134k| 13k| 2.300000e+01 | 9.700000e+01 | 321.74%
291.90/291.94 c 292s|110000 | 9370 | 3881k| 35.2 | 47M| 81 | - | 603 |5422 | 0 | 0 | 679 | 149k| 13k| 2.400000e+01 | 9.700000e+01 | 304.17%
313.10/313.19 c 313s|120000 | 9352 | 4141k| 34.4 | 48M| 81 | 73 | 603 |6863 | 603 | 677 | 679 | 165k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
333.40/333.44 c 333s|130000 | 9355 | 4436k| 34.1 | 49M| 81 | 152 | 603 |7174 | 603 | 677 | 679 | 179k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
356.19/356.28 c 356s|140000 | 9293 | 4742k| 33.8 | 50M| 81 | - | 603 |7551 | 0 | 0 | 679 | 194k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
377.31/377.35 c 377s|150000 | 9343 | 5053k| 33.6 | 51M| 81 | - | 603 |8748 | 603 | 677 | 679 | 210k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
400.10/400.11 c 400s|160000 | 9434 | 5338k| 33.3 | 52M| 81 | - | 603 |7812 | 0 | 0 | 679 | 225k| 19k| 2.433333e+01 | 9.700000e+01 | 298.63%
419.80/419.81 c 420s|170000 | 9544 | 5639k| 33.1 | 53M| 81 | - | 603 |7591 | 0 | 0 | 679 | 240k| 19k| 2.500000e+01 | 9.700000e+01 | 288.00%
440.50/440.55 c 441s|180000 | 9426 | 5899k| 32.7 | 52M| 81 | 133 | 603 |6949 | 603 | 677 | 679 | 255k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
459.70/459.80 c 460s|190000 | 9442 | 6186k| 32.5 | 52M| 81 | 174 | 603 |7710 | 603 | 677 | 679 | 269k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
479.51/479.61 c 480s|200000 | 9473 | 6452k| 32.2 | 52M| 94 | 180 | 603 |6264 | 603 | 677 | 679 | 283k| 21k| 2.700000e+01 | 9.700000e+01 | 259.26%
499.00/499.10 c 499s|210000 | 9222 | 6729k| 32.0 | 51M| 94 | 153 | 603 |5886 | 603 | 677 | 679 | 298k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
519.40/519.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.40/519.44 c 519s|220000 | 8943 | 7007k| 31.8 | 50M| 94 | 93 | 603 |8249 | 603 | 677 | 679 | 314k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
538.80/538.91 c 539s|230000 | 8716 | 7254k| 31.5 | 49M| 112 | - | 603 |8652 | 0 | 0 | 679 | 328k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
556.80/556.88 c 557s|240000 | 8609 | 7512k| 31.3 | 49M| 112 | 30 | 603 |9735 | 603 | 677 | 679 | 342k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
578.21/578.26 c 578s|250000 | 8321 | 7787k| 31.1 | 47M| 112 | 103 | 603 |7535 | 603 | 677 | 679 | 358k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
598.60/598.70 c 599s|260000 | 8094 | 8065k| 31.0 | 46M| 112 | 174 | 603 |8894 | 603 | 677 | 679 | 372k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
618.00/618.08 c 618s|270000 | 7823 | 8333k| 30.8 | 43M| 112 | - | 603 |6289 | 0 | 0 | 679 | 387k| 26k| 2.900000e+01 | 9.700000e+01 | 234.48%
637.91/637.99 c 638s|280000 | 7491 | 8584k| 30.6 | 40M| 112 | - | 603 |6629 | 0 | 0 | 679 | 402k| 27k| 2.900000e+01 | 9.700000e+01 | 234.48%
655.31/655.31 c 655s|290000 | 7467 | 8820k| 30.4 | 39M| 112 | 108 | 603 |6816 | 603 | 677 | 679 | 417k| 27k| 3.000000e+01 | 9.700000e+01 | 223.33%
675.21/675.21 c 675s|300000 | 7215 | 9085k| 30.3 | 34M| 112 | - | 603 |5368 | 0 | 0 | 679 | 432k| 27k| 3.200000e+01 | 9.700000e+01 | 203.12%
695.40/695.47 c 695s|310000 | 7762 | 9376k| 30.2 | 38M| 112 | - | 603 |5913 | 0 | 0 | 679 | 445k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
714.51/714.57 c 715s|320000 | 8540 | 9666k| 30.2 | 41M| 112 | 150 | 603 |6550 | 603 | 677 | 679 | 459k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
731.31/731.34 o 96
731.31/731.34 c * 731s|328021 | 7631 | 9889k| 30.1 | 41M| 112 | - | 603 |8542 | 603 | 677 | 679 | 471k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
735.61/735.66 c 736s|330000 | 7649 | 9943k| 30.1 | 41M| 112 | 169 | 603 |7178 | 603 | 677 | 679 | 474k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
754.21/754.28 c 754s|340000 | 8072 | 10218k| 30.0 | 43M| 112 | - | 603 |6134 | 603 | 677 | 679 | 488k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
773.61/773.61 c 774s|350000 | 8392 | 10495k| 30.0 | 46M| 112 | 45 | 603 |7894 | 603 | 677 | 679 | 501k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
794.12/794.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.12/794.18 c 794s|360000 | 8699 | 10767k| 29.9 | 48M| 112 | - | 603 |8698 | 0 | 0 | 679 | 516k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
812.02/812.03 c 812s|370000 | 8922 | 11016k| 29.7 | 49M| 112 | 35 | 603 |8079 | 603 | 677 | 679 | 531k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
831.71/831.73 c 832s|380000 | 9762 | 11317k| 29.8 | 54M| 112 | 47 | 603 |9476 | 603 | 677 | 679 | 545k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
852.61/852.69 c 853s|390000 | 10417 | 11618k| 29.8 | 58M| 112 | 99 | 603 |8862 | 603 | 677 | 679 | 559k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
872.22/872.27 c 872s|400000 | 11126 | 11928k| 29.8 | 62M| 112 | - | 603 | 10k| 0 | 0 | 679 | 575k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
892.14/892.15 c 892s|410000 | 11556 | 12213k| 29.8 | 65M| 112 | 35 | 603 |9331 | 603 | 677 | 679 | 589k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
913.92/913.93 c 914s|420000 | 12054 | 12544k| 29.8 | 67M| 112 | 234 | 603 |8384 | 603 | 677 | 679 | 604k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
933.72/933.81 c 934s|430000 | 12339 | 12860k| 29.9 | 69M| 112 | - | 603 |9539 | 0 | 0 | 679 | 618k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
954.52/954.53 c 955s|440000 | 12575 | 13126k| 29.8 | 71M| 112 | 82 | 603 | 10k| 603 | 677 | 679 | 632k| 34k| 3.200000e+01 | 9.600000e+01 | 200.00%
973.31/973.38 c 973s|450000 | 13157 | 13387k| 29.7 | 73M| 112 | - | 603 |7014 | 0 | 0 | 679 | 646k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
991.51/991.51 c 992s|460000 | 13704 | 13660k| 29.7 | 76M| 112 | - | 603 |7460 | 0 | 0 | 679 | 660k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
1014.12/1014.18 c 1014s|470000 | 14298 | 13998k| 29.8 | 80M| 112 | 167 | 603 |9245 | 603 | 677 | 679 | 675k| 36k| 3.200000e+01 | 9.600000e+01 | 200.00%
1036.32/1036.33 c 1036s|480000 | 14757 | 14333k| 29.8 | 82M| 112 | 154 | 603 |8140 | 603 | 677 | 679 | 690k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1056.12/1056.14 c 1056s|490000 | 15157 | 14649k| 29.9 | 84M| 112 | - | 603 |7762 | 603 | 677 | 679 | 704k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1075.42/1075.42 c 1075s|500000 | 15585 | 14921k| 29.8 | 87M| 136 | 89 | 603 |7954 | 603 | 677 | 679 | 719k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1097.22/1097.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.22/1097.23 c 1097s|510000 | 16108 | 15241k| 29.9 | 90M| 136 | 157 | 603 |7264 | 603 | 677 | 679 | 734k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1117.02/1117.04 c 1117s|520000 | 16704 | 15559k| 29.9 | 93M| 136 | 46 | 603 |7418 | 603 | 677 | 679 | 748k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1138.22/1138.29 c 1138s|530000 | 17275 | 15886k| 30.0 | 96M| 136 | - | 603 |8016 | 0 | 0 | 679 | 763k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1159.02/1159.05 c 1159s|540000 | 17542 | 16188k| 30.0 | 98M| 136 | 128 | 603 |8539 | 603 | 677 | 679 | 777k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1177.04/1177.05 c 1177s|550000 | 17867 | 16446k| 29.9 | 100M| 136 | - | 603 |8038 | 0 | 0 | 679 | 792k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1195.92/1195.93 c 1196s|560000 | 18629 | 16757k| 29.9 | 104M| 136 | 57 | 603 |7785 | 603 | 677 | 679 | 805k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1215.02/1215.01 c 1215s|570000 | 18471 | 17020k| 29.8 | 105M| 136 | 128 | 603 |8523 | 603 | 677 | 679 | 819k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1232.72/1232.79 c 1233s|580000 | 18765 | 17281k| 29.8 | 108M| 136 | 58 | 603 |8965 | 603 | 677 | 679 | 832k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1251.42/1251.45 c 1251s|590000 | 19008 | 17548k| 29.7 | 110M| 136 | 50 | 603 |8438 | 603 | 677 | 679 | 847k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1269.83/1269.88 c 1270s|600000 | 19436 | 17816k| 29.7 | 111M| 136 | - | 603 |7281 | 0 | 0 | 679 | 862k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1288.83/1288.87 c 1289s|610000 | 19738 | 18078k| 29.6 | 112M| 136 | - | 603 |6974 | 0 | 0 | 679 | 877k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1306.53/1306.53 c 1307s|620000 | 20589 | 18328k| 29.5 | 116M| 136 | 172 | 603 |7466 | 603 | 677 | 679 | 891k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1322.82/1322.89 c 1323s|630000 | 21247 | 18565k| 29.5 | 119M| 136 | - | 603 |7299 | 0 | 0 | 679 | 905k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1340.03/1340.06 c 1340s|640000 | 21636 | 18825k| 29.4 | 122M| 136 | 182 | 603 |8691 | 603 | 677 | 679 | 919k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1357.33/1357.33 c 1357s|650000 | 21838 | 19068k| 29.3 | 124M| 136 | 95 | 603 | 10k| 603 | 677 | 679 | 932k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1377.83/1377.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.83/1377.82 c 1378s|660000 | 22201 | 19376k| 29.3 | 125M| 136 | - | 603 |8584 | 603 | 677 | 679 | 945k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1395.33/1395.32 c 1395s|670000 | 22813 | 19634k| 29.3 | 129M| 136 | 161 | 603 |7827 | 603 | 677 | 679 | 959k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1412.83/1412.82 c 1413s|680000 | 23262 | 19893k| 29.2 | 131M| 136 | - | 603 |7011 | 0 | 0 | 679 | 973k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1433.42/1433.45 c 1433s|690000 | 23675 | 20207k| 29.3 | 132M| 136 | 129 | 603 |6500 | 603 | 677 | 679 | 987k| 44k| 3.300000e+01 | 9.600000e+01 | 190.91%
1452.05/1452.04 c 1452s|700000 | 24443 | 20482k| 29.2 | 136M| 136 | 128 | 603 |7978 | 603 | 677 | 679 |1000k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1467.83/1467.81 c 1468s|710000 | 25027 | 20708k| 29.2 | 140M| 136 | 104 | 603 |8980 | 603 | 677 | 679 |1013k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1483.95/1483.96 c 1484s|720000 | 25242 | 20934k| 29.1 | 141M| 136 | 194 | 603 |9056 | 603 | 677 | 679 |1026k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1500.83/1500.83 c 1501s|730000 | 25609 | 21172k| 29.0 | 144M| 136 | - | 603 | 10k| 0 | 0 | 679 |1039k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1518.33/1518.34 c 1518s|740000 | 25654 | 21387k| 28.9 | 143M| 136 | 52 | 603 |8327 | 603 | 677 | 679 |1052k| 46k| 3.300000e+01 | 9.600000e+01 | 190.91%
1537.33/1537.30 c 1537s|750000 | 25964 | 21652k| 28.9 | 144M| 136 | 114 | 603 |7002 | 603 | 677 | 679 |1067k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1556.63/1556.63 c 1557s|760000 | 26074 | 21951k| 28.9 | 144M| 136 | - | 603 |6470 | 0 | 0 | 679 |1082k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1576.35/1576.37 c 1576s|770000 | 26646 | 22257k| 28.9 | 146M| 136 | - | 603 |5364 | 0 | 0 | 679 |1096k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1596.33/1596.32 c 1596s|780000 | 27481 | 22578k| 28.9 | 150M| 136 | 94 | 603 |6368 | 603 | 677 | 679 |1109k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1615.03/1615.01 c 1615s|790000 | 28562 | 22900k| 29.0 | 155M| 136 | 143 | 603 |6933 | 603 | 677 | 679 |1122k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1633.56/1633.55 c 1634s|800000 | 29372 | 23190k| 29.0 | 158M| 136 | - | 603 |6963 | 0 | 0 | 679 |1135k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1652.63/1652.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.63/1652.68 c 1653s|810000 | 30084 | 23483k| 29.0 | 161M| 136 | 147 | 603 |7382 | 603 | 677 | 679 |1148k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1670.43/1670.41 c 1670s|820000 | 31174 | 23770k| 29.0 | 165M| 136 | 86 | 603 |7869 | 603 | 677 | 679 |1161k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1689.33/1689.36 c 1689s|830000 | 31529 | 24063k| 29.0 | 167M| 136 | 114 | 603 |7025 | 603 | 677 | 679 |1176k| 48k| 3.433333e+01 | 9.600000e+01 | 179.61%
1708.94/1708.92 c 1709s|840000 | 31786 | 24344k| 29.0 | 168M| 136 | - | 603 |6705 | 0 | 0 | 679 |1191k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1728.04/1728.04 c 1728s|850000 | 31900 | 24611k| 28.9 | 169M| 136 | 76 | 603 |8212 | 603 | 677 | 679 |1205k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1747.04/1747.09 c 1747s|860000 | 31780 | 24876k| 28.9 | 168M| 136 | 34 | 603 |8331 | 603 | 677 | 679 |1221k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1765.23/1765.27 c 1765s|870000 | 31918 | 25146k| 28.9 | 168M| 136 | - | 603 |7849 | 0 | 0 | 679 |1235k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1784.44/1784.41 c 1784s|880000 | 32264 | 25416k| 28.9 | 170M| 136 | - | 603 |7933 | 0 | 0 | 679 |1250k| 50k| 3.500000e+01 | 9.600000e+01 | 174.29%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 887906
1800.04/1800.00 c Primal Bound : +9.60000000000000e+01 (3 solutions)
1800.04/1800.00 c Dual Bound : +3.50000000000000e+01
1800.04/1800.00 c Gap : 174.29 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v x145 x146 -x147 -x148 -x149 x150 x151 x152 -x153 -x154 x155 x156 x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 -x166 -x167
1800.04/1800.00 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
1800.04/1800.00 v -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 x200 x201 -x202 x203 x204 x205 -x206 x207 x208 x209 -x210 -x211 x212 x213 -x214
1800.04/1800.00 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 x226 x227 x228 x229 -x230 x231 x232 -x233 -x234 x235 -x236
1800.04/1800.00 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.04/1800.00 v -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 x271 x272 x273 x274 -x275 x276 x277 x278 x279 x280
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v x353 x354 x355 -x356 x357 x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 x372 x373 x374
1800.04/1800.00 v x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.04/1800.00 v -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x408 x409 x410 x411 x412
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v -x461 -x462 x463 -x464 -x465 -x466 x467 x468 x469 x470 x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481 -x482
1800.04/1800.00 v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x14 -x13 -x12 x11 x10 x9 x8
1800.04/1800.00 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
1800.04/1800.00 v x524 -x525 -x526 -x527 x528 x529 x530 x531 x532 x533 -x534 x535 x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 -x545 -x546
1800.04/1800.00 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
1800.04/1800.00 v x564 x565 x566 x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x35 x34
1800.04/1800.00 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
1800.04/1800.00 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
1800.04/1800.00 v -x51 -x50 x7 x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.07 (included in solving)
1800.04/1800.00 c reading : 0.03 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450966-1307092408.opb
1800.04/1800.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1088 initial, 1088 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450966-1307092408.opb
1800.04/1800.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 548 initial, 11437 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.06 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 0 0 540 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 562369 0 8 0 574 34628 0 0 1104552
1800.04/1800.00 c knapsack : 8 20 3776791 1 1 5 5275097 17754 588390 193 0 0
1800.04/1800.00 c linear : 540+ 21 3843366 0 0 2 6247653 375801 35873099 2 0 0
1800.04/1800.00 c logicor : 0+ 20 1737380 0 0 0 5843574 16715 1717026 0 0 0
1800.04/1800.00 c countsols : 0 0 0 1 1 4 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 134.25 0.00 0.00 134.25 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 15.96 0.00 13.91 0.00 0.00 0.00 2.05
1800.04/1800.00 c linear : 302.25 0.00 294.53 0.00 0.00 0.00 7.72
1800.04/1800.00 c logicor : 90.00 0.00 85.51 0.00 0.00 0.00 4.49
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 2 0 0 0
1800.04/1800.00 c pseudoobj : 3860948 2348 4 1985
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.65 0.65 0.00
1800.04/1800.00 c rootredcost : 0.76 0.76 0.00
1800.04/1800.00 c pseudoobj : 1.91 1.91 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 28.09 410274 410043 4121675 34.2 13941 24.7 -
1800.04/1800.00 c infeasible LP : 7.13 76828 76828 442716 26.1 8472 18.8 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 1262812 26.1 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.01 19 - - 9069 - (maximal pool size: 5920)
1800.04/1800.00 c redcost : 5.64 562478 0 148 0 0
1800.04/1800.00 c impliedbounds : 0.00 20 0 0 8 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.17 20 0 0 540 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.16 20 0 0 626 0
1800.04/1800.00 c cmir : 0.51 10 0 0 4240 0
1800.04/1800.00 c flowcover : 0.28 10 0 0 2001 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.28 1 0 0 0 316
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 133.86 562368 574 34628 0 0 1104552
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 1
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c crossover : 0.74 0 0
1800.04/1800.00 c intshifting : 0.01 0 0
1800.04/1800.00 c oneopt : 0.19 3 0
1800.04/1800.00 c feaspump : 2.18 70 0
1800.04/1800.00 c fracdiving : 1.68 242 1
1800.04/1800.00 c veclendiving : 2.71 242 0
1800.04/1800.00 c linesearchdiving : 2.81 243 0
1800.04/1800.00 c guideddiving : 2.37 243 0
1800.04/1800.00 c coefdiving : 1.80 243 0
1800.04/1800.00 c pscostdiving : 4.47 243 0
1800.04/1800.00 c rootsoldiving : 1.36 122 0
1800.04/1800.00 c objpscostdiving : 2.84 122 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.01 1 0
1800.04/1800.00 c simplerounding : 0.13 0 0
1800.04/1800.00 c zirounding : 0.26 1000 0
1800.04/1800.00 c rounding : 1.08 10578 0
1800.04/1800.00 c shifting : 7.49 3314 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.15 0 0
1800.04/1800.00 c trysol : 0.20 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 900.57 633530 25293844 39.93 28086.34
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 17.00 17008 330332 19.42 19427.39
1800.04/1800.00 c strong branching : 114.58 50918 2059336 40.44 17972.59
1800.04/1800.00 c (at root node) : - 14 5096 364.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 887906
1800.04/1800.00 c nodes (total) : 887906
1800.04/1800.00 c nodes left : 32187
1800.04/1800.00 c max depth : 136
1800.04/1800.00 c max depth (total): 136
1800.04/1800.00 c backtracks : 186038 (21.0%)
1800.04/1800.00 c delayed cutoffs : 183229
1800.04/1800.00 c repropagations : 1395124 (14031759 domain reductions, 146825 cutoffs)
1800.04/1800.00 c avg switch length: 6.56
1800.04/1800.00 c switching time : 208.73
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 3 (3 improvements)
1800.04/1800.00 c First Solution : +1.17000000000000e+02 (in run 1, after 1 nodes, 0.68 seconds, depth 0, found by <trysol>)
1800.04/1800.00 c Primal Bound : +9.60000000000000e+01 (in run 1, after 328021 nodes, 731.34 seconds, depth 35, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +3.50000000000000e+01
1800.04/1800.00 c Gap : 174.29 %
1800.04/1800.00 c Root Dual Bound : +9.00000000000000e+00
1800.04/1800.00 c Root Iterations : 10120
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450966-1307092408/watcher-3450966-1307092408 -o /tmp/evaluation-result-3450966-1307092408/solver-3450966-1307092408 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450966-1307092408.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.00 2.00 2.00 2/530 9335
/proc/meminfo: memFree=25270684/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=11092 CPUtime=0 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 801657038 11358208 1623 33554432000 4194304 9163163 140734292115152 18446744073709551615 8041965 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9335/statm: 2773 1636 378 1214 0 1555 0
[startup+0.096609 s]
/proc/loadavg: 2.00 2.00 2.00 2/530 9335
/proc/meminfo: memFree=25270684/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=25840 CPUtime=0.08 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 5499 0 0 0 8 0 0 0 25 0 1 0 801657038 26460160 5195 33554432000 4194304 9163163 140734292115152 18446744073709551615 5947529 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 6460 5195 539 1214 0 5242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25840
[startup+0.100609 s]
/proc/loadavg: 2.00 2.00 2.00 2/530 9335
/proc/meminfo: memFree=25270684/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=25840 CPUtime=0.09 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 5499 0 0 0 9 0 0 0 25 0 1 0 801657038 26460160 5195 33554432000 4194304 9163163 140734292115152 18446744073709551615 5148234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 6460 5195 539 1214 0 5242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25840
[startup+0.300586 s]
/proc/loadavg: 2.00 2.00 2.00 2/530 9335
/proc/meminfo: memFree=25270684/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=29608 CPUtime=0.28 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 6835 0 0 0 28 0 0 0 25 0 1 0 801657038 30318592 6348 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 7402 6348 673 1214 0 6184 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29608
[startup+0.700501 s]
/proc/loadavg: 2.00 2.00 2.00 2/530 9335
/proc/meminfo: memFree=25270684/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=44216 CPUtime=0.69 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 10992 0 0 0 68 1 0 0 25 0 1 0 801657038 45277184 9784 33554432000 4194304 9163163 140734292115152 18446744073709551615 6649040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 11054 9784 720 1214 0 9836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44216
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9346
/proc/meminfo: memFree=25189068/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=44216 CPUtime=1.49 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 11340 0 0 0 148 1 0 0 25 0 1 0 801657038 45277184 10119 33554432000 4194304 9163163 140734292115152 18446744073709551615 8041874 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 11054 10119 718 1214 0 9836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44216
[startup+3.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9346
/proc/meminfo: memFree=25181628/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=48028 CPUtime=3.09 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 13116 0 0 0 306 3 0 0 25 0 1 0 801657038 49180672 11062 33554432000 4194304 9163163 140734292115152 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 12007 11062 723 1214 0 10789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48028
[startup+6.30053 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9346
/proc/meminfo: memFree=25179308/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=48028 CPUtime=6.29 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 13116 0 0 0 618 11 0 0 25 0 1 0 801657038 49180672 11062 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 12007 11062 723 1214 0 10789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48028
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9346
/proc/meminfo: memFree=25177384/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=48028 CPUtime=12.69 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 13118 0 0 0 1248 21 0 0 25 0 1 0 801657038 49180672 11064 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 12007 11064 725 1214 0 10789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48028
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9347
/proc/meminfo: memFree=25175180/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=48028 CPUtime=25.49 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 13124 0 0 0 2508 41 0 0 25 0 1 0 801657038 49180672 11070 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 12007 11070 725 1214 0 10789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48028
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9347
/proc/meminfo: memFree=25158620/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=53068 CPUtime=51.09 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 14324 0 0 0 5022 87 0 0 25 0 1 0 801657038 54341632 12265 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 13267 12265 725 1214 0 12049 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 53068
[startup+102.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9349
/proc/meminfo: memFree=25127948/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=66664 CPUtime=102.31 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 17736 0 0 0 10057 174 0 0 25 0 1 0 801657038 68263936 15677 33554432000 4194304 9163163 140734292115152 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 16666 15677 725 1214 0 15448 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66664
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 9350
/proc/meminfo: memFree=25094056/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=79232 CPUtime=162.29 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 21026 0 0 0 15957 272 0 0 25 0 1 0 801657038 81133568 18824 33554432000 4194304 9163163 140734292115152 18446744073709551615 5142127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 19808 18824 735 1214 0 18590 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79232
[startup+222.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/536 9352
/proc/meminfo: memFree=25075268/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=90980 CPUtime=222.29 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 24126 0 0 0 21866 363 0 0 25 0 1 0 801657038 93163520 21803 33554432000 4194304 9163163 140734292115152 18446744073709551615 6687952 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 22745 21803 725 1214 0 21527 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 90980
[startup+282.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 9354
/proc/meminfo: memFree=25067408/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=97972 CPUtime=282.3 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 25912 0 0 0 27772 458 0 0 25 0 1 0 801657038 100323328 23560 33554432000 4194304 9163163 140734292115152 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 24493 23560 725 1214 0 23275 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 97972
[startup+342.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/536 9355
/proc/meminfo: memFree=25060180/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=102932 CPUtime=342.3 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 27215 0 0 0 33680 550 0 0 25 0 1 0 801657038 105402368 24792 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 25733 24792 725 1214 0 24515 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 102932
[startup+402.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 9357
/proc/meminfo: memFree=25052704/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=107056 CPUtime=402.3 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 28254 0 0 0 39585 645 0 0 25 0 1 0 801657038 109625344 25798 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 26764 25798 730 1214 0 25546 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 107056
[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 9358
/proc/meminfo: memFree=25048932/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=110024 CPUtime=462.3 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 29017 0 0 0 45490 740 0 0 25 0 1 0 801657038 112664576 26556 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 27506 26556 725 1214 0 26288 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 110024
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 9360
/proc/meminfo: memFree=25047408/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=110816 CPUtime=522.31 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 29254 0 0 0 51397 834 0 0 25 0 1 0 801657038 113475584 26793 33554432000 4194304 9163163 140734292115152 18446744073709551615 4207762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 27704 26793 725 1214 0 26486 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 110816
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9362
/proc/meminfo: memFree=25046624/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=111812 CPUtime=582.3 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 29490 0 0 0 57309 921 0 0 25 0 1 0 801657038 114495488 27014 33554432000 4194304 9163163 140734292115152 18446744073709551615 7379358 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 27953 27014 725 1214 0 26735 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 111812
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/536 9371
/proc/meminfo: memFree=25042000/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=115016 CPUtime=822.31 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 51301 0 0 0 80943 1288 0 0 25 0 1 0 801657038 117776384 27817 33554432000 4194304 9163163 140734292115152 18446744073709551615 4948085 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 28754 27817 725 1214 0 27536 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 115016
[startup+882.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/536 9373
/proc/meminfo: memFree=25033024/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=123172 CPUtime=882.31 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 56947 0 0 0 86849 1382 0 0 25 0 1 0 801657038 126128128 29845 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 30793 29845 725 1214 0 29575 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 123172
[startup+942.301 s]
/proc/loadavg: 2.09 2.07 2.02 3/536 9374
/proc/meminfo: memFree=25026164/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=130512 CPUtime=942.31 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 62375 0 0 0 92755 1476 0 0 25 0 1 0 801657038 133644288 31675 33554432000 4194304 9163163 140734292115152 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 32628 31675 725 1214 0 31410 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 130512
[startup+1002.3 s]
/proc/loadavg: 1.64 1.96 1.98 2/530 9393
/proc/meminfo: memFree=25132632/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=141588 CPUtime=1002.32 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 65195 0 0 0 98659 1573 0 0 25 0 1 0 801657038 144986112 34422 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 35397 34422 727 1214 0 34179 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 141588
[startup+1062.3 s]
/proc/loadavg: 1.23 1.78 1.91 2/530 9394
/proc/meminfo: memFree=25122648/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=151632 CPUtime=1062.32 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 67791 0 0 0 104559 1673 0 0 25 0 1 0 801657038 155271168 36928 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 37908 36928 727 1214 0 36690 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 151632
[startup+1122.3 s]
/proc/loadavg: 1.08 1.64 1.85 2/530 9396
/proc/meminfo: memFree=25110320/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=164372 CPUtime=1122.32 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 70996 0 0 0 110458 1774 0 0 25 0 1 0 801657038 168316928 40101 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 41093 40101 728 1214 0 39875 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 164372
[startup+1182.3 s]
/proc/loadavg: 1.03 1.52 1.80 2/530 9398
/proc/meminfo: memFree=25100840/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=173392 CPUtime=1182.32 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 76389 0 0 0 116361 1871 0 0 25 0 1 0 801657038 177553408 42336 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 43348 42336 727 1214 0 42130 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 173392
[startup+1242.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/530 9399
/proc/meminfo: memFree=25090744/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=182580 CPUtime=1242.32 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 78768 0 0 0 122267 1965 0 0 25 0 1 0 801657038 186961920 44644 33554432000 4194304 9163163 140734292115152 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 45645 44644 727 1214 0 44427 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 182580
[startup+1302.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/530 9401
/proc/meminfo: memFree=25083272/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=190100 CPUtime=1302.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 80757 0 0 0 128174 2059 0 0 25 0 1 0 801657038 194662400 46546 33554432000 4194304 9163163 140734292115152 18446744073709551615 5148292 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 47525 46546 729 1214 0 46307 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 190100
[startup+1362.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/530 9402
/proc/meminfo: memFree=25072444/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=201604 CPUtime=1362.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 83529 0 0 0 134075 2158 0 0 25 0 1 0 801657038 206442496 49264 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 50401 49264 726 1214 0 49183 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 201604
[startup+1422.32 s]
/proc/loadavg: 1.15 1.26 1.62 2/530 9404
/proc/meminfo: memFree=25064956/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=210652 CPUtime=1422.34 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 85730 0 0 0 139983 2251 0 0 25 0 1 0 801657038 215707648 51426 33554432000 4194304 9163163 140734292115152 18446744073709551615 5176888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 52663 51426 726 1214 0 51445 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 210652
[startup+1482.3 s]
/proc/loadavg: 1.12 1.22 1.58 2/530 9406
/proc/meminfo: memFree=25051400/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=223788 CPUtime=1482.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 89031 0 0 0 145889 2344 0 0 25 0 1 0 801657038 229158912 54680 33554432000 4194304 9163163 140734292115152 18446744073709551615 7238352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 55947 54680 726 1214 0 54729 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 223788
[startup+1542.3 s]
/proc/loadavg: 1.04 1.18 1.54 2/530 9407
/proc/meminfo: memFree=25048128/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=227500 CPUtime=1542.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 93790 0 0 0 151801 2432 0 0 25 0 1 0 801657038 232960000 55634 33554432000 4194304 9163163 140734292115152 18446744073709551615 6687830 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 56875 55634 726 1214 0 55657 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 227500
[startup+1602.3 s]
/proc/loadavg: 1.01 1.14 1.51 2/530 9409
/proc/meminfo: memFree=25040268/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=236112 CPUtime=1602.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 95983 0 0 0 157695 2538 0 0 25 0 1 0 801657038 241778688 57755 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 59028 57755 730 1214 0 57810 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 236112
[startup+1662.3 s]
/proc/loadavg: 1.00 1.12 1.47 2/530 9410
/proc/meminfo: memFree=25021868/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=254376 CPUtime=1662.34 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 100582 0 0 0 163594 2640 0 0 25 0 1 0 801657038 260481024 62305 33554432000 4194304 9163163 140734292115152 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 63594 62305 731 1214 0 62376 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 254376
[startup+1722.3 s]
/proc/loadavg: 1.00 1.09 1.44 2/530 9412
/proc/meminfo: memFree=25016372/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=258844 CPUtime=1722.33 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 101763 0 0 0 169502 2731 0 0 25 0 1 0 801657038 265056256 63428 33554432000 4194304 9163163 140734292115152 18446744073709551615 5150268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 64711 63428 729 1214 0 63493 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 258844
[startup+1782.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/530 9414
/proc/meminfo: memFree=25011992/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=262280 CPUtime=1782.34 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 102584 0 0 0 175413 2821 0 0 25 0 1 0 801657038 268574720 64234 33554432000 4194304 9163163 140734292115152 18446744073709551615 4240214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9335/statm: 65570 64234 729 1214 0 64352 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 262280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.07 1.40 2/530 9414
/proc/meminfo: memFree=25012604/32951124 swapFree=46970528/67111528
[pid=9335] ppid=9333 vsize=262280 CPUtime=1800.05 cores=0,2,4,6
/proc/9335/stat : 9335 (scip-2.0.1.4b.l) R 9333 9335 6615 0 -1 4202496 102590 0 0 0 177157 2848 0 0 25 0 1 0 801657038 268574720 64240 33554432000 4194304 9163163 140734292115152 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9335/statm: 65570 64240 729 1214 0 64352 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 262280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1771.58
CPU system time (s): 28.4967
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 262280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.58
system time used= 28.4967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5568
runsolver used 9.90549 second user time and 21.2238 second system time
The end