0.00/0.00 c SCIP version 2.0.1.4 [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-3452626-1307092052.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.02/0.03 c presolving:
0.02/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.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.4
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.12 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.12 c 0.1s| 1 | 0 | 545 | - |4513k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | -- | Inf
0.59/0.64 o 117
0.59/0.64 c y 0.6s| 1 | 0 | 5427 | - |5115k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.59/0.65 c 0.6s| 1 | 0 | 5441 | - |5464k| 0 | 369 | 603 | 884 | 603 | 587 | 39 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.69/0.72 c 0.7s| 1 | 0 | 5529 | - |6032k| 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 | - |6600k| 0 | 367 | 603 | 884 | 603 | 674 | 126 | 20 | 0 | 8.000000e+00 | 1.170000e+02 |1362.50%
0.79/0.87 c 0.9s| 1 | 0 | 5853 | - |7138k| 0 | 383 | 603 | 884 | 603 | 719 | 171 | 20 | 0 | 8.003540e+00 | 1.170000e+02 |1361.85%
0.89/0.97 c 1.0s| 1 | 0 | 6018 | - |7642k| 0 | 388 | 603 | 884 | 603 | 765 | 217 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.00/1.08 c 1.1s| 1 | 0 | 6219 | - |8101k| 0 | 388 | 603 | 884 | 603 | 814 | 266 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.11/1.19 c 1.2s| 1 | 0 | 6471 | - |8537k| 0 | 393 | 603 | 884 | 603 | 873 | 325 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.29/1.32 c 1.3s| 1 | 0 | 6761 | - |8966k| 0 | 387 | 603 | 884 | 603 | 932 | 384 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.39/1.45 c 1.5s| 1 | 0 | 7083 | - |9427k| 0 | 388 | 603 | 884 | 603 | 987 | 439 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.49/1.59 c 1.6s| 1 | 0 | 7307 | - |9915k| 0 | 385 | 603 | 884 | 603 |1044 | 496 | 20 | 0 | 8.222222e+00 | 1.170000e+02 |1322.97%
1.59/1.64 c 1.6s| 1 | 0 | 7621 | - | 10M| 0 | 387 | 603 | 884 | 603 |1074 | 526 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.59/1.69 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.69/1.74 c 1.7s| 1 | 0 | 8153 | - | 10M| 0 | 389 | 603 | 884 | 603 |1120 | 572 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.79/1.80 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.80 c 1.8s| 1 | 0 | 8426 | - | 10M| 0 | 389 | 603 | 884 | 603 |1001 | 600 | 20 | 0 | 8.600000e+00 | 1.170000e+02 |1260.47%
1.79/1.85 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.90 c 1.9s| 1 | 0 | 8777 | - | 10M| 0 | 366 | 603 | 884 | 603 |1030 | 629 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.89/1.94 c 1.9s| 1 | 0 | 9085 | - | 10M| 0 | 366 | 603 | 884 | 603 |1042 | 641 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.89/1.99 c 2.0s| 1 | 0 | 9385 | - | 10M| 0 | 363 | 603 | 884 | 603 |1055 | 654 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.04 c 2.0s| 1 | 0 | 9702 | - | 10M| 0 | 357 | 603 | 884 | 603 |1068 | 667 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.99/2.10 c 2.1s| 1 | 0 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.39/2.47 c 2.5s| 1 | 2 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 14 | 9.000000e+00 | 1.170000e+02 |1200.00%
25.99/26.06 o 97
25.99/26.06 c f26.1s| 3470 | 1363 |252180 | 69.8 | 13M| 55 | - | 603 |2494 | 603 | 677 | 679 |3095 |1451 | 1.200000e+01 | 9.700000e+01 | 708.33%
51.47/51.54 c 51.5s| 10000 | 2852 |608976 | 59.9 | 17M| 65 | - | 603 |3360 | 603 | 677 | 679 |9851 |2820 | 1.500000e+01 | 9.700000e+01 | 546.67%
82.78/82.83 c 82.8s| 20000 | 4271 | 1041k| 51.6 | 23M| 65 | - | 603 |4233 | 603 | 677 | 679 | 22k|4729 | 1.600000e+01 | 9.700000e+01 | 506.25%
109.68/109.79 c 110s| 30000 | 4719 | 1390k| 46.0 | 25M| 65 | - | 603 |4341 | 0 | 0 | 679 | 35k|6416 | 1.800000e+01 | 9.700000e+01 | 438.89%
132.98/133.06 c 133s| 40000 | 5543 | 1735k| 43.1 | 28M| 65 | 105 | 603 |5921 | 603 | 677 | 679 | 47k|7376 | 1.900000e+01 | 9.700000e+01 | 410.53%
153.68/153.71 c 154s| 50000 | 6281 | 2044k| 40.7 | 32M| 68 | 144 | 603 |5851 | 603 | 677 | 679 | 61k|7430 | 2.000000e+01 | 9.700000e+01 | 385.00%
177.58/177.60 c 178s| 60000 | 6987 | 2366k| 39.3 | 35M| 68 | 236 | 603 |5928 | 603 | 677 | 679 | 75k|8615 | 2.000000e+01 | 9.700000e+01 | 385.00%
200.88/200.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.88/200.96 c 201s| 70000 | 7549 | 2681k| 38.2 | 38M| 68 | 169 | 603 |5685 | 603 | 677 | 679 | 89k|9968 | 2.100000e+01 | 9.700000e+01 | 361.90%
223.68/223.70 c 224s| 80000 | 8223 | 2997k| 37.3 | 41M| 68 | 217 | 603 |5219 | 603 | 677 | 679 | 104k| 10k| 2.200000e+01 | 9.700000e+01 | 340.91%
245.08/245.11 c 245s| 90000 | 8666 | 3288k| 36.4 | 44M| 68 | 112 | 603 |5218 | 603 | 677 | 679 | 119k| 11k| 2.200000e+01 | 9.700000e+01 | 340.91%
267.78/267.80 c 268s|100000 | 8937 | 3591k| 35.8 | 45M| 68 | 74 | 603 |5606 | 603 | 677 | 679 | 134k| 13k| 2.300000e+01 | 9.700000e+01 | 321.74%
288.38/288.41 c 288s|110000 | 9370 | 3881k| 35.2 | 47M| 81 | - | 603 |5422 | 0 | 0 | 679 | 149k| 13k| 2.400000e+01 | 9.700000e+01 | 304.17%
309.78/309.83 c 310s|120000 | 9352 | 4141k| 34.4 | 48M| 81 | 73 | 603 |6863 | 603 | 677 | 679 | 165k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
330.00/330.06 c 330s|130000 | 9355 | 4436k| 34.1 | 49M| 81 | 152 | 603 |7174 | 603 | 677 | 679 | 179k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
352.88/352.92 c 353s|140000 | 9293 | 4742k| 33.8 | 50M| 81 | - | 603 |7551 | 0 | 0 | 679 | 194k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
373.69/373.79 c 374s|150000 | 9343 | 5053k| 33.6 | 51M| 81 | - | 603 |8748 | 603 | 677 | 679 | 210k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
396.48/396.58 c 397s|160000 | 9434 | 5338k| 33.3 | 52M| 81 | - | 603 |7812 | 0 | 0 | 679 | 225k| 19k| 2.433333e+01 | 9.700000e+01 | 298.63%
416.19/416.25 c 416s|170000 | 9544 | 5639k| 33.1 | 53M| 81 | - | 603 |7591 | 0 | 0 | 679 | 240k| 19k| 2.500000e+01 | 9.700000e+01 | 288.00%
437.08/437.10 c 437s|180000 | 9426 | 5899k| 32.7 | 52M| 81 | 133 | 603 |6949 | 603 | 677 | 679 | 255k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
456.18/456.29 c 456s|190000 | 9442 | 6186k| 32.5 | 52M| 81 | 174 | 603 |7710 | 603 | 677 | 679 | 269k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
476.09/476.18 c 476s|200000 | 9473 | 6452k| 32.2 | 52M| 94 | 180 | 603 |6264 | 603 | 677 | 679 | 283k| 21k| 2.700000e+01 | 9.700000e+01 | 259.26%
495.39/495.46 c 495s|210000 | 9222 | 6729k| 32.0 | 51M| 94 | 153 | 603 |5886 | 603 | 677 | 679 | 298k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
515.59/515.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.59/515.60 c 516s|220000 | 8943 | 7007k| 31.8 | 50M| 94 | 93 | 603 |8249 | 603 | 677 | 679 | 314k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
534.99/535.01 c 535s|230000 | 8716 | 7254k| 31.5 | 49M| 112 | - | 603 |8652 | 0 | 0 | 679 | 328k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
552.68/552.79 c 553s|240000 | 8609 | 7512k| 31.3 | 49M| 112 | 30 | 603 |9735 | 603 | 677 | 679 | 342k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
574.10/574.14 c 574s|250000 | 8321 | 7787k| 31.1 | 47M| 112 | 103 | 603 |7535 | 603 | 677 | 679 | 358k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
594.29/594.30 c 594s|260000 | 8094 | 8065k| 31.0 | 46M| 112 | 174 | 603 |8894 | 603 | 677 | 679 | 372k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
613.58/613.65 c 614s|270000 | 7823 | 8333k| 30.8 | 43M| 112 | - | 603 |6289 | 0 | 0 | 679 | 387k| 26k| 2.900000e+01 | 9.700000e+01 | 234.48%
633.50/633.59 c 634s|280000 | 7491 | 8584k| 30.6 | 40M| 112 | - | 603 |6629 | 0 | 0 | 679 | 402k| 27k| 2.900000e+01 | 9.700000e+01 | 234.48%
650.59/650.63 c 651s|290000 | 7467 | 8820k| 30.4 | 39M| 112 | 108 | 603 |6816 | 603 | 677 | 679 | 417k| 27k| 3.000000e+01 | 9.700000e+01 | 223.33%
670.28/670.38 c 670s|300000 | 7215 | 9085k| 30.3 | 34M| 112 | - | 603 |5368 | 0 | 0 | 679 | 432k| 27k| 3.200000e+01 | 9.700000e+01 | 203.12%
690.49/690.58 c 691s|310000 | 7762 | 9376k| 30.2 | 38M| 112 | - | 603 |5913 | 0 | 0 | 679 | 445k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
709.08/709.15 c 709s|320000 | 8540 | 9666k| 30.2 | 41M| 112 | 150 | 603 |6550 | 603 | 677 | 679 | 459k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
725.79/725.88 o 96
725.79/725.88 c * 726s|328021 | 7631 | 9889k| 30.1 | 41M| 112 | - | 603 |8542 | 603 | 677 | 679 | 471k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
729.98/730.02 c 730s|330000 | 7649 | 9943k| 30.1 | 41M| 112 | 169 | 603 |7178 | 603 | 677 | 679 | 474k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
748.19/748.29 c 748s|340000 | 8072 | 10218k| 30.0 | 43M| 112 | - | 603 |6134 | 603 | 677 | 679 | 488k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
766.98/767.01 c 767s|350000 | 8392 | 10495k| 30.0 | 46M| 112 | 45 | 603 |7894 | 603 | 677 | 679 | 501k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
787.38/787.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.38/787.43 c 787s|360000 | 8699 | 10767k| 29.9 | 48M| 112 | - | 603 |8698 | 0 | 0 | 679 | 516k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
804.99/805.07 c 805s|370000 | 8922 | 11016k| 29.7 | 49M| 112 | 35 | 603 |8079 | 603 | 677 | 679 | 531k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
824.59/824.63 c 825s|380000 | 9762 | 11317k| 29.8 | 54M| 112 | 47 | 603 |9476 | 603 | 677 | 679 | 545k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
845.19/845.27 c 845s|390000 | 10417 | 11618k| 29.8 | 57M| 112 | 99 | 603 |8862 | 603 | 677 | 679 | 559k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
864.68/864.77 c 865s|400000 | 11126 | 11928k| 29.8 | 62M| 112 | - | 603 | 10k| 0 | 0 | 679 | 575k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
884.49/884.60 c 885s|410000 | 11556 | 12213k| 29.8 | 65M| 112 | 35 | 603 |9331 | 603 | 677 | 679 | 589k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
906.19/906.20 c 906s|420000 | 12054 | 12544k| 29.8 | 67M| 112 | 234 | 603 |8384 | 603 | 677 | 679 | 604k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
925.98/926.06 c 926s|430000 | 12339 | 12860k| 29.9 | 69M| 112 | - | 603 |9539 | 0 | 0 | 679 | 618k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
946.49/946.51 c 947s|440000 | 12575 | 13126k| 29.8 | 71M| 112 | 82 | 603 | 10k| 603 | 677 | 679 | 632k| 34k| 3.200000e+01 | 9.600000e+01 | 200.00%
965.19/965.24 c 965s|450000 | 13157 | 13387k| 29.7 | 73M| 112 | - | 603 |7014 | 0 | 0 | 679 | 646k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
982.79/982.86 c 983s|460000 | 13704 | 13660k| 29.7 | 76M| 112 | - | 603 |7460 | 0 | 0 | 679 | 660k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
1005.19/1005.21 c 1005s|470000 | 14298 | 13998k| 29.8 | 80M| 112 | 167 | 603 |9245 | 603 | 677 | 679 | 675k| 36k| 3.200000e+01 | 9.600000e+01 | 200.00%
1027.30/1027.41 c 1027s|480000 | 14757 | 14333k| 29.8 | 82M| 112 | 154 | 603 |8140 | 603 | 677 | 679 | 690k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1046.59/1046.68 c 1047s|490000 | 15157 | 14649k| 29.9 | 84M| 112 | - | 603 |7762 | 603 | 677 | 679 | 704k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1065.39/1065.46 c 1065s|500000 | 15585 | 14921k| 29.8 | 87M| 136 | 89 | 603 |7954 | 603 | 677 | 679 | 719k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1086.99/1087.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.99/1087.07 c 1087s|510000 | 16108 | 15241k| 29.9 | 90M| 136 | 157 | 603 |7264 | 603 | 677 | 679 | 734k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1106.61/1106.67 c 1107s|520000 | 16704 | 15559k| 29.9 | 93M| 136 | 46 | 603 |7418 | 603 | 677 | 679 | 748k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1127.60/1127.67 c 1128s|530000 | 17275 | 15886k| 30.0 | 96M| 136 | - | 603 |8016 | 0 | 0 | 679 | 763k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1148.09/1148.12 c 1148s|540000 | 17542 | 16188k| 30.0 | 98M| 136 | 128 | 603 |8539 | 603 | 677 | 679 | 777k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1165.90/1165.98 c 1166s|550000 | 17867 | 16446k| 29.9 | 100M| 136 | - | 603 |8038 | 0 | 0 | 679 | 792k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1184.79/1184.87 c 1185s|560000 | 18629 | 16757k| 29.9 | 104M| 136 | 57 | 603 |7785 | 603 | 677 | 679 | 805k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1203.60/1203.62 c 1204s|570000 | 18471 | 17020k| 29.8 | 105M| 136 | 128 | 603 |8523 | 603 | 677 | 679 | 819k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1221.10/1221.18 c 1221s|580000 | 18765 | 17281k| 29.8 | 108M| 136 | 58 | 603 |8965 | 603 | 677 | 679 | 832k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1239.71/1239.79 c 1240s|590000 | 19008 | 17548k| 29.7 | 110M| 136 | 50 | 603 |8438 | 603 | 677 | 679 | 847k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1258.10/1258.12 c 1258s|600000 | 19436 | 17816k| 29.7 | 111M| 136 | - | 603 |7281 | 0 | 0 | 679 | 862k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1276.89/1276.95 c 1277s|610000 | 19738 | 18078k| 29.6 | 112M| 136 | - | 603 |6974 | 0 | 0 | 679 | 877k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1294.60/1294.62 c 1295s|620000 | 20589 | 18328k| 29.5 | 116M| 136 | 172 | 603 |7466 | 603 | 677 | 679 | 891k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1310.60/1310.67 c 1311s|630000 | 21247 | 18565k| 29.5 | 119M| 136 | - | 603 |7299 | 0 | 0 | 679 | 905k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1327.71/1327.75 c 1328s|640000 | 21636 | 18825k| 29.4 | 122M| 136 | 182 | 603 |8691 | 603 | 677 | 679 | 919k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1344.40/1344.41 c 1344s|650000 | 21838 | 19068k| 29.3 | 124M| 136 | 95 | 603 | 10k| 603 | 677 | 679 | 932k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1364.70/1364.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.70/1364.77 c 1365s|660000 | 22201 | 19376k| 29.3 | 125M| 136 | - | 603 |8584 | 603 | 677 | 679 | 945k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1382.09/1382.15 c 1382s|670000 | 22813 | 19634k| 29.3 | 128M| 136 | 161 | 603 |7827 | 603 | 677 | 679 | 959k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1399.49/1399.56 c 1400s|680000 | 23262 | 19893k| 29.2 | 131M| 136 | - | 603 |7011 | 0 | 0 | 679 | 973k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1420.11/1420.13 c 1420s|690000 | 23675 | 20207k| 29.3 | 132M| 136 | 129 | 603 |6500 | 603 | 677 | 679 | 987k| 44k| 3.300000e+01 | 9.600000e+01 | 190.91%
1438.50/1438.57 c 1439s|700000 | 24443 | 20482k| 29.2 | 136M| 136 | 128 | 603 |7978 | 603 | 677 | 679 |1000k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1454.11/1454.21 c 1454s|710000 | 25027 | 20708k| 29.2 | 140M| 136 | 104 | 603 |8980 | 603 | 677 | 679 |1013k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1470.20/1470.21 c 1470s|720000 | 25242 | 20934k| 29.1 | 141M| 136 | 194 | 603 |9056 | 603 | 677 | 679 |1026k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1486.90/1486.93 c 1487s|730000 | 25609 | 21172k| 29.0 | 144M| 136 | - | 603 | 10k| 0 | 0 | 679 |1039k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1504.20/1504.24 c 1504s|740000 | 25654 | 21387k| 28.9 | 143M| 136 | 52 | 603 |8327 | 603 | 677 | 679 |1052k| 46k| 3.300000e+01 | 9.600000e+01 | 190.91%
1523.00/1523.02 c 1523s|750000 | 25964 | 21652k| 28.9 | 144M| 136 | 114 | 603 |7002 | 603 | 677 | 679 |1067k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1542.00/1542.02 c 1542s|760000 | 26074 | 21951k| 28.9 | 144M| 136 | - | 603 |6470 | 0 | 0 | 679 |1082k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1561.70/1561.75 c 1562s|770000 | 26646 | 22257k| 28.9 | 146M| 136 | - | 603 |5364 | 0 | 0 | 679 |1096k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1581.40/1581.49 c 1581s|780000 | 27481 | 22578k| 28.9 | 150M| 136 | 94 | 603 |6368 | 603 | 677 | 679 |1109k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1600.10/1600.12 c 1600s|790000 | 28562 | 22900k| 29.0 | 154M| 136 | 143 | 603 |6933 | 603 | 677 | 679 |1122k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1618.50/1618.54 c 1619s|800000 | 29372 | 23190k| 29.0 | 158M| 136 | - | 603 |6963 | 0 | 0 | 679 |1135k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1637.30/1637.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.30/1637.33 c 1637s|810000 | 30084 | 23483k| 29.0 | 161M| 136 | 147 | 603 |7382 | 603 | 677 | 679 |1148k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1655.00/1655.00 c 1655s|820000 | 31174 | 23770k| 29.0 | 165M| 136 | 86 | 603 |7869 | 603 | 677 | 679 |1161k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1673.70/1673.78 c 1674s|830000 | 31529 | 24063k| 29.0 | 167M| 136 | 114 | 603 |7025 | 603 | 677 | 679 |1176k| 48k| 3.433333e+01 | 9.600000e+01 | 179.61%
1693.30/1693.34 c 1693s|840000 | 31786 | 24344k| 29.0 | 168M| 136 | - | 603 |6705 | 0 | 0 | 679 |1191k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1712.10/1712.18 c 1712s|850000 | 31900 | 24611k| 28.9 | 169M| 136 | 76 | 603 |8212 | 603 | 677 | 679 |1205k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1731.10/1731.17 c 1731s|860000 | 31780 | 24876k| 28.9 | 168M| 136 | 34 | 603 |8331 | 603 | 677 | 679 |1221k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1749.30/1749.31 c 1749s|870000 | 31918 | 25146k| 28.9 | 168M| 136 | - | 603 |7849 | 0 | 0 | 679 |1235k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1768.00/1768.08 c 1768s|880000 | 32264 | 25416k| 28.9 | 170M| 136 | - | 603 |7933 | 0 | 0 | 679 |1250k| 50k| 3.500000e+01 | 9.600000e+01 | 174.29%
1787.90/1787.91 c 1788s|890000 | 32169 | 25682k| 28.8 | 170M| 136 | - | 603 |8931 | 0 | 0 | 679 |1266k| 51k| 3.500000e+01 | 9.600000e+01 | 174.29%
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 896177
1800.00/1800.00 c Primal Bound : +9.60000000000000e+01 (3 solutions)
1800.00/1800.00 c Dual Bound : +3.50000000000000e+01
1800.00/1800.00 c Gap : 174.29 %
1800.00/1800.00 s SATISFIABLE
1800.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/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.00/1800.00 v -x51 -x50 x7 x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.07 (included in solving)
1800.00/1800.00 c reading : 0.02 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3452626-1307092052.opb
1800.00/1800.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 1088 initial, 1088 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3452626-1307092052.opb
1800.00/1800.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 548 initial, 11437 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c probing : 0.05 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c linear : 0.01 0 0 0 0 0 540 0 0 0
1800.00/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c root node : - 0 - - 0 - - - - -
1800.00/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c integral : 0 0 0 567533 0 8 0 578 34889 0 0 1114744
1800.00/1800.01 c knapsack : 8 20 3812133 1 1 5 5327196 17906 593356 193 0 0
1800.00/1800.01 c linear : 540+ 21 3879263 0 1 2 6308133 379683 36180362 2 0 0
1800.00/1800.01 c logicor : 0+ 20 1752433 0 0 0 5900060 16826 1729342 0 0 0
1800.00/1800.01 c countsols : 0 0 0 1 1 4 0 0 0 0 0 0
1800.00/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.01 c integral : 133.62 0.00 0.00 133.62 0.00 0.00 0.00
1800.00/1800.01 c knapsack : 16.25 0.00 14.12 0.00 0.00 0.00 2.13
1800.00/1800.01 c linear : 302.89 0.00 295.52 0.00 0.00 0.00 7.37
1800.00/1800.01 c logicor : 90.19 0.00 85.71 0.00 0.00 0.00 4.49
1800.00/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.01 c vbounds : 0 0 0 0
1800.00/1800.01 c rootredcost : 2 0 0 0
1800.00/1800.01 c pseudoobj : 3896997 2348 4 1985
1800.00/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.01 c vbounds : 0.62 0.62 0.00
1800.00/1800.01 c rootredcost : 0.67 0.67 0.00
1800.00/1800.01 c pseudoobj : 1.74 1.74 0.00
1800.00/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.01 c propagation : 27.84 414419 414188 4167658 34.3 14075 24.7 -
1800.00/1800.01 c infeasible LP : 7.15 77333 77333 446123 26.1 8509 18.8 0
1800.00/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.00/1800.01 c applied globally : - - - 1275692 26.1 - - -
1800.00/1800.01 c applied locally : - - - 0 0.0 - - -
1800.00/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.01 c cut pool : 0.01 19 - - 9069 - (maximal pool size: 5920)
1800.00/1800.01 c redcost : 5.35 567642 0 148 0 0
1800.00/1800.01 c impliedbounds : 0.00 20 0 0 8 0
1800.00/1800.01 c intobj : 0.00 0 0 0 0 0
1800.00/1800.01 c gomory : 0.16 20 0 0 540 0
1800.00/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.01 c strongcg : 0.15 20 0 0 626 0
1800.00/1800.01 c cmir : 0.47 10 0 0 4240 0
1800.00/1800.01 c flowcover : 0.25 10 0 0 2001 0
1800.00/1800.01 c clique : 0.00 1 0 0 0 0
1800.00/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.01 c mcf : 0.00 1 0 0 0 0
1800.00/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.01 c rapidlearning : 0.26 1 0 0 0 316
1800.00/1800.01 c Pricers : Time Calls Vars
1800.00/1800.01 c problem variables: 0.00 0 0
1800.00/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c relpscost : 133.26 567532 578 34889 0 0 1114744
1800.00/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c random : 0.00 0 0 0 0 0 0
1800.00/1800.01 c Primal Heuristics : Time Calls Found
1800.00/1800.01 c LP solutions : 0.00 - 1
1800.00/1800.01 c pseudo solutions : 0.00 - 0
1800.00/1800.01 c crossover : 0.30 0 0
1800.00/1800.01 c intshifting : 0.01 0 0
1800.00/1800.01 c oneopt : 0.18 3 0
1800.00/1800.01 c feaspump : 2.12 70 0
1800.00/1800.01 c fracdiving : 1.64 243 1
1800.00/1800.01 c veclendiving : 2.67 243 0
1800.00/1800.01 c objpscostdiving : 2.78 122 0
1800.00/1800.01 c pscostdiving : 4.35 244 0
1800.00/1800.01 c linesearchdiving : 2.77 244 0
1800.00/1800.01 c guideddiving : 2.30 244 0
1800.00/1800.01 c coefdiving : 1.76 244 0
1800.00/1800.01 c rootsoldiving : 1.33 123 0
1800.00/1800.01 c trivial : 0.00 2 0
1800.00/1800.01 c shiftandpropagate: 0.01 1 0
1800.00/1800.01 c simplerounding : 0.16 0 0
1800.00/1800.01 c zirounding : 0.24 1000 0
1800.00/1800.01 c rounding : 1.03 10624 0
1800.00/1800.01 c shifting : 7.35 3333 0
1800.00/1800.01 c twoopt : 0.00 0 0
1800.00/1800.01 c fixandinfer : 0.00 0 0
1800.00/1800.01 c clique : 0.00 0 0
1800.00/1800.01 c intdiving : 0.00 0 0
1800.00/1800.01 c actconsdiving : 0.00 0 0
1800.00/1800.01 c octane : 0.00 0 0
1800.00/1800.01 c rens : 0.00 0 0
1800.00/1800.01 c rins : 0.00 0 0
1800.00/1800.01 c localbranching : 0.00 0 0
1800.00/1800.01 c mutation : 0.00 0 0
1800.00/1800.01 c dins : 0.00 0 0
1800.00/1800.01 c vbounds : 0.00 0 0
1800.00/1800.01 c undercover : 0.00 0 0
1800.00/1800.01 c subnlp : 0.14 0 0
1800.00/1800.01 c trysol : 0.19 0 0
1800.00/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.01 c dual LP : 900.95 639172 25521552 39.93 28327.49
1800.00/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.01 c diving/probing LP: 16.61 17013 330407 19.42 19894.79
1800.00/1800.01 c strong branching : 114.17 51346 2078837 40.49 18208.39
1800.00/1800.01 c (at root node) : - 14 5096 364.00 -
1800.00/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.01 c B&B Tree :
1800.00/1800.01 c number of runs : 1
1800.00/1800.01 c nodes : 896177
1800.00/1800.01 c nodes (total) : 896177
1800.00/1800.01 c nodes left : 32322
1800.00/1800.01 c max depth : 136
1800.00/1800.01 c max depth (total): 136
1800.00/1800.01 c backtracks : 187804 (21.0%)
1800.00/1800.01 c delayed cutoffs : 185015
1800.00/1800.01 c repropagations : 1409004 (14146273 domain reductions, 148289 cutoffs)
1800.00/1800.01 c avg switch length: 6.58
1800.00/1800.01 c switching time : 210.39
1800.00/1800.01 c Solution :
1800.00/1800.01 c Solutions found : 3 (3 improvements)
1800.00/1800.01 c First Solution : +1.17000000000000e+02 (in run 1, after 1 nodes, 0.64 seconds, depth 0, found by <trysol>)
1800.00/1800.01 c Primal Bound : +9.60000000000000e+01 (in run 1, after 328021 nodes, 725.88 seconds, depth 35, found by <relaxation>)
1800.00/1800.01 c Dual Bound : +3.50000000000000e+01
1800.00/1800.01 c Gap : 174.29 %
1800.00/1800.01 c Root Dual Bound : +9.00000000000000e+00
1800.00/1800.01 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-3452626-1307092052/watcher-3452626-1307092052 -o /tmp/evaluation-result-3452626-1307092052/solver-3452626-1307092052 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452626-1307092052.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: 1.84 1.98 1.92 2/446 9991
/proc/meminfo: memFree=31379460/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=10308 CPUtime=0 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 1567 0 0 0 0 0 0 0 25 0 1 0 820803960 10555392 1520 33554432000 4194304 9128323 140734235624048 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9991/statm: 2577 1520 400 1205 0 1368 0
[startup+0.0279041 s]
/proc/loadavg: 1.84 1.98 1.92 2/446 9991
/proc/meminfo: memFree=31379460/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=12728 CPUtime=0.02 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 2102 0 0 0 2 0 0 0 25 0 1 0 820803960 13033472 2054 33554432000 4194304 9128323 140734235624048 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 3182 2071 429 1205 0 1973 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12728
[startup+0.100952 s]
/proc/loadavg: 1.84 1.98 1.92 2/446 9991
/proc/meminfo: memFree=31379460/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=25144 CPUtime=0.09 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 5340 0 0 0 9 0 0 0 25 0 1 0 820803960 25747456 5035 33554432000 4194304 9128323 140734235624048 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 6286 5035 542 1205 0 5077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25144
[startup+0.30092 s]
/proc/loadavg: 1.84 1.98 1.92 2/446 9991
/proc/meminfo: memFree=31379460/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=28904 CPUtime=0.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 6670 0 0 0 28 1 0 0 18 0 1 0 820803960 29597696 6185 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 7226 6185 676 1205 0 6017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28904
[startup+0.70085 s]
/proc/loadavg: 1.84 1.98 1.92 2/446 9991
/proc/meminfo: memFree=31379460/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=43260 CPUtime=0.69 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 10412 0 0 0 68 1 0 0 18 0 1 0 820803960 44298240 9563 33554432000 4194304 9128323 140734235624048 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 10815 9563 732 1205 0 9606 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43260
[startup+1.50073 s]
/proc/loadavg: 1.84 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31298108/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=43260 CPUtime=1.49 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 10500 0 0 0 147 2 0 0 19 0 1 0 820803960 44298240 9643 33554432000 4194304 9128323 140734235624048 18446744073709551615 4312141 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 10815 9643 724 1205 0 9606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43260
[startup+3.10043 s]
/proc/loadavg: 1.84 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31288808/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=47712 CPUtime=3.09 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 11845 0 0 0 304 5 0 0 24 0 1 0 820803960 48857088 10969 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 11928 10969 730 1205 0 10719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47712
[startup+6.30082 s]
/proc/loadavg: 1.85 1.98 1.92 3/447 9992
/proc/meminfo: memFree=31286752/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=47712 CPUtime=6.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 11845 0 0 0 611 18 0 0 25 0 1 0 820803960 48857088 10969 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 11928 10969 730 1205 0 10719 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47712
[startup+12.7007 s]
/proc/loadavg: 1.87 1.98 1.92 3/447 9993
/proc/meminfo: memFree=31285536/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=47712 CPUtime=12.69 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 11847 0 0 0 1237 32 0 0 25 0 1 0 820803960 48857088 10971 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 11928 10971 732 1205 0 10719 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47712
[startup+25.5005 s]
/proc/loadavg: 1.89 1.98 1.92 3/447 9993
/proc/meminfo: memFree=31286388/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=47712 CPUtime=25.49 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 11851 0 0 0 2493 56 0 0 25 0 1 0 820803960 48857088 10975 33554432000 4194304 9128323 140734235624048 18446744073709551615 5201664 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9991/statm: 11928 10975 732 1205 0 10719 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47712
[startup+51.1009 s]
/proc/loadavg: 1.93 1.98 1.92 3/447 9994
/proc/meminfo: memFree=31282136/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=52196 CPUtime=51.07 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 12999 0 0 0 5007 100 0 0 25 0 1 0 820803960 53448704 12100 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 13049 12100 732 1205 0 11840 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52196
[startup+102.317 s]
/proc/loadavg: 1.97 1.98 1.92 3/447 9995
/proc/meminfo: memFree=31266236/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=65952 CPUtime=102.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 16462 0 0 0 10044 186 0 0 25 0 1 0 820803960 67534848 15549 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 16488 15549 732 1205 0 15279 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65952
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 9997
/proc/meminfo: memFree=31254552/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=77156 CPUtime=162.27 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 19387 0 0 0 15950 277 0 0 25 0 1 0 820803960 79007744 18356 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 19289 18356 732 1205 0 18080 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 77156
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 9998
/proc/meminfo: memFree=31243356/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=89492 CPUtime=222.28 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 22563 0 0 0 21860 368 0 0 25 0 1 0 820803960 91639808 21444 33554432000 4194304 9128323 140734235624048 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 22373 21444 732 1205 0 21164 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 89492
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10000
/proc/meminfo: memFree=31236136/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=96244 CPUtime=282.28 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 24304 0 0 0 27768 460 0 0 25 0 1 0 820803960 98553856 23167 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 24061 23167 732 1205 0 22852 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 96244
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10002
/proc/meminfo: memFree=31230160/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=101412 CPUtime=342.28 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 25628 0 0 0 33673 555 0 0 25 0 1 0 820803960 103845888 24436 33554432000 4194304 9128323 140734235624048 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 25353 24436 732 1205 0 24144 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 101412
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.92 3/447 10003
/proc/meminfo: memFree=31220940/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=105456 CPUtime=402.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 26650 0 0 0 39579 650 0 0 25 0 1 0 820803960 107986944 25419 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 26364 25419 736 1205 0 25155 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 105456
[startup+462.301 s]
/proc/loadavg: 2.14 2.02 1.94 3/447 10005
/proc/meminfo: memFree=31212600/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=108892 CPUtime=462.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 27535 0 0 0 45483 746 0 0 25 0 1 0 820803960 111505408 26292 33554432000 4194304 9128323 140734235624048 18446744073709551615 4911494 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 27223 26292 732 1205 0 26014 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 108892
[startup+522.301 s]
/proc/loadavg: 2.11 2.03 1.94 3/447 10006
/proc/meminfo: memFree=31207968/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=109244 CPUtime=522.28 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 27637 0 0 0 51391 837 0 0 25 0 1 0 820803960 111865856 26394 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 27311 26394 732 1205 0 26102 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 109244
[startup+582.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/447 10008
/proc/meminfo: memFree=31200236/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=109976 CPUtime=582.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 27822 0 0 0 57305 924 0 0 25 0 1 0 820803960 112615424 26579 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 27494 26579 732 1205 0 26285 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 109976
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/447 10014
/proc/meminfo: memFree=31169472/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=113296 CPUtime=822.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 35139 0 0 0 80950 1279 0 0 25 0 1 0 820803960 116015104 27405 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 28324 27405 732 1205 0 27115 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 113296
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10016
/proc/meminfo: memFree=31151968/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=122108 CPUtime=882.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 38397 0 0 0 86859 1370 0 0 25 0 1 0 820803960 125038592 29594 33554432000 4194304 9128323 140734235624048 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 30527 29594 734 1205 0 29318 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 122108
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10018
/proc/meminfo: memFree=31139180/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=129788 CPUtime=942.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 41384 0 0 0 92762 1467 0 0 25 0 1 0 820803960 132902912 31503 33554432000 4194304 9128323 140734235624048 18446744073709551615 5234106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 32447 31503 734 1205 0 31238 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 129788
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 10019
/proc/meminfo: memFree=31118824/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=142664 CPUtime=1002.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 44681 0 0 0 98670 1559 0 0 25 0 1 0 820803960 146087936 34718 33554432000 4194304 9128323 140734235624048 18446744073709551615 5234136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 35666 34718 734 1205 0 34457 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 142664
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/447 10021
/proc/meminfo: memFree=31099692/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=152188 CPUtime=1062.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 47120 0 0 0 104574 1655 0 0 25 0 1 0 820803960 155840512 37106 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 38047 37106 734 1205 0 36838 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 152188
[startup+1122.3 s]
/proc/loadavg: 2.19 2.05 1.97 3/447 10022
/proc/meminfo: memFree=31075832/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=165288 CPUtime=1122.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 50386 0 0 0 110476 1753 0 0 25 0 1 0 820803960 169254912 40292 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 41322 40292 738 1205 0 40113 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 165288
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.97 3/447 10024
/proc/meminfo: memFree=31057704/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=175352 CPUtime=1182.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 53968 0 0 0 116379 1851 0 0 25 0 1 0 820803960 179560448 42815 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 43838 42815 738 1205 0 42629 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 175352
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/447 10026
/proc/meminfo: memFree=31043284/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=181692 CPUtime=1242.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 55538 0 0 0 122292 1938 0 0 25 0 1 0 820803960 186052608 44381 33554432000 4194304 9128323 140734235624048 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 45423 44381 738 1205 0 44214 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 181692
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/447 10027
/proc/meminfo: memFree=31024296/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=192508 CPUtime=1302.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 58253 0 0 0 128201 2029 0 0 25 0 1 0 820803960 197128192 47001 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 48127 47001 735 1205 0 46918 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 192508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/447 10029
/proc/meminfo: memFree=31007768/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=200680 CPUtime=1362.29 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 60368 0 0 0 134107 2122 0 0 25 0 1 0 820803960 205496320 49053 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 50170 49053 733 1205 0 48961 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 200680
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 10030
/proc/meminfo: memFree=30991488/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=211068 CPUtime=1422.32 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 62953 0 0 0 140015 2217 0 0 25 0 1 0 820803960 216133632 51576 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 52767 51576 733 1205 0 51558 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 211068
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/447 10032
/proc/meminfo: memFree=30970360/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=222072 CPUtime=1482.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 65710 0 0 0 145924 2306 0 0 25 0 1 0 820803960 227401728 54293 33554432000 4194304 9128323 140734235624048 18446744073709551615 6713614 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 55518 54293 733 1205 0 54309 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 222072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/447 10034
/proc/meminfo: memFree=30957176/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=225592 CPUtime=1542.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 67562 0 0 0 151835 2395 0 0 25 0 1 0 820803960 231006208 55145 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 56398 55145 732 1205 0 55189 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 225592
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/447 10035
/proc/meminfo: memFree=30934704/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=237844 CPUtime=1602.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 70632 0 0 0 157734 2496 0 0 25 0 1 0 820803960 243552256 58157 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 59461 58157 736 1205 0 58252 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 237844
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/447 10037
/proc/meminfo: memFree=30909628/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=253736 CPUtime=1662.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 74598 0 0 0 163637 2593 0 0 25 0 1 0 820803960 259825664 62081 33554432000 4194304 9128323 140734235624048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 63434 62081 737 1205 0 62225 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 253736
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.98 3/447 10038
/proc/meminfo: memFree=30896204/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=257320 CPUtime=1722.3 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 75447 0 0 0 169545 2685 0 0 25 0 1 0 820803960 263495680 62898 33554432000 4194304 9128323 140734235624048 18446744073709551615 5199721 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 64330 62898 737 1205 0 63121 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 257320
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/447 10040
/proc/meminfo: memFree=30882020/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=259584 CPUtime=1782.31 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 76120 0 0 0 175462 2769 0 0 25 0 1 0 820803960 265814016 63568 33554432000 4194304 9128323 140734235624048 18446744073709551615 5234097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9991/statm: 64896 63568 737 1205 0 63687 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 259584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.02 1.98 2/445 10041
/proc/meminfo: memFree=31173044/32950928 swapFree=34365992/67111528
[pid=9991] ppid=9989 vsize=260172 CPUtime=1800.01 cores=0,2,4,6
/proc/9991/stat : 9991 (scip-2.0.1.4.li) R 9989 9991 6518 0 -1 4202496 76277 0 0 0 177205 2796 0 0 25 0 1 0 820803960 266416128 63709 33554432000 4194304 9128323 140734235624048 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9991/statm: 65043 63709 739 1205 0 63834 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 260172
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.04
CPU user time (s): 1772.06
CPU system time (s): 27.9787
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 260172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.06
system time used= 27.9787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 5531
runsolver used 8.11377 second user time and 18.1022 second system time
The end