0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485444-1307771090.opb>
0.00/0.01 c original problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 540 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8 upgd conss, 0 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 109/603 (18.1%) - 0 fixings, 0 aggregations, 308 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (2 rounds):
0.00/0.09 c 0 deleted vars, 540 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 1152 implications, 0 cliques
0.00/0.09 c presolved problem has 603 variables (603 bin, 0 int, 0 impl, 0 cont) and 548 constraints
0.00/0.09 c 8 constraints of type <knapsack>
0.00/0.09 c 540 constraints of type <linear>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.07
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.0.1.4
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
0.08/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.11 c 0.1s| 1 | 0 | 545 | - |4513k| 0 | 363 | 603 | 568 | 603 | 548 | 0 | 20 | 0 | 8.000000e+00 | -- | Inf
0.59/0.62 o 117
0.59/0.62 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.63 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.70 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.77 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.85 c 0.8s| 1 | 0 | 5853 | - |7138k| 0 | 383 | 603 | 884 | 603 | 719 | 171 | 20 | 0 | 8.003540e+00 | 1.170000e+02 |1361.85%
0.89/0.94 c 0.9s| 1 | 0 | 6018 | - |7642k| 0 | 388 | 603 | 884 | 603 | 765 | 217 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
0.99/1.04 c 1.0s| 1 | 0 | 6219 | - |8101k| 0 | 388 | 603 | 884 | 603 | 814 | 266 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.09/1.15 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.19/1.27 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.38/1.41 c 1.4s| 1 | 0 | 7083 | - |9427k| 0 | 388 | 603 | 884 | 603 | 987 | 439 | 20 | 0 | 8.166667e+00 | 1.170000e+02 |1332.65%
1.49/1.54 c 1.5s| 1 | 0 | 7307 | - |9915k| 0 | 385 | 603 | 884 | 603 |1044 | 496 | 20 | 0 | 8.222222e+00 | 1.170000e+02 |1322.97%
1.49/1.59 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.64 c 1.6s| 1 | 0 | 7875 | - | 10M| 0 | 384 | 603 | 884 | 603 |1097 | 549 | 20 | 0 | 8.283154e+00 | 1.170000e+02 |1312.51%
1.59/1.69 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.69/1.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.75 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.78/1.80 c 1.8s| 1 | 0 | 8640 | - | 10M| 0 | 367 | 603 | 884 | 603 |1014 | 613 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.78/1.85 c 1.8s| 1 | 0 | 8777 | - | 10M| 0 | 366 | 603 | 884 | 603 |1030 | 629 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.78/1.89 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.94 c 1.9s| 1 | 0 | 9385 | - | 10M| 0 | 363 | 603 | 884 | 603 |1055 | 654 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
1.89/1.99 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.05 c 2.0s| 1 | 0 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 0 | 9.000000e+00 | 1.170000e+02 |1200.00%
2.39/2.41 c 2.4s| 1 | 2 | 10120 | - | 10M| 0 | 362 | 603 | 884 | 603 | 798 | 679 | 20 | 14 | 9.000000e+00 | 1.170000e+02 |1200.00%
26.30/26.30 o 97
26.30/26.30 c f26.3s| 3470 | 1363 |252180 | 69.8 | 13M| 55 | - | 603 |2494 | 603 | 677 | 679 |3095 |1451 | 1.200000e+01 | 9.700000e+01 | 708.33%
50.60/50.68 c 50.7s| 10000 | 2852 |608976 | 59.9 | 17M| 65 | - | 603 |3360 | 603 | 677 | 679 |9851 |2820 | 1.500000e+01 | 9.700000e+01 | 546.67%
80.19/80.24 c 80.2s| 20000 | 4271 | 1041k| 51.6 | 23M| 65 | - | 603 |4233 | 603 | 677 | 679 | 22k|4729 | 1.600000e+01 | 9.700000e+01 | 506.25%
105.60/105.67 c 106s| 30000 | 4719 | 1390k| 46.0 | 25M| 65 | - | 603 |4341 | 0 | 0 | 679 | 35k|6416 | 1.800000e+01 | 9.700000e+01 | 438.89%
127.50/127.59 c 128s| 40000 | 5543 | 1735k| 43.1 | 28M| 65 | 105 | 603 |5921 | 603 | 677 | 679 | 47k|7376 | 1.900000e+01 | 9.700000e+01 | 410.53%
146.70/146.78 c 147s| 50000 | 6281 | 2044k| 40.7 | 32M| 68 | 144 | 603 |5851 | 603 | 677 | 679 | 61k|7430 | 2.000000e+01 | 9.700000e+01 | 385.00%
169.10/169.16 c 169s| 60000 | 6987 | 2366k| 39.3 | 35M| 68 | 236 | 603 |5928 | 603 | 677 | 679 | 75k|8615 | 2.000000e+01 | 9.700000e+01 | 385.00%
191.40/191.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.40/191.46 c 191s| 70000 | 7549 | 2681k| 38.2 | 38M| 68 | 169 | 603 |5685 | 603 | 677 | 679 | 89k|9968 | 2.100000e+01 | 9.700000e+01 | 361.90%
212.80/212.82 c 213s| 80000 | 8223 | 2997k| 37.3 | 41M| 68 | 217 | 603 |5219 | 603 | 677 | 679 | 104k| 10k| 2.200000e+01 | 9.700000e+01 | 340.91%
232.79/232.86 c 233s| 90000 | 8666 | 3288k| 36.4 | 44M| 68 | 112 | 603 |5218 | 603 | 677 | 679 | 119k| 11k| 2.200000e+01 | 9.700000e+01 | 340.91%
254.11/254.13 c 254s|100000 | 8937 | 3591k| 35.8 | 45M| 68 | 74 | 603 |5606 | 603 | 677 | 679 | 134k| 13k| 2.300000e+01 | 9.700000e+01 | 321.74%
273.50/273.51 c 274s|110000 | 9370 | 3881k| 35.2 | 47M| 81 | - | 603 |5422 | 0 | 0 | 679 | 149k| 13k| 2.400000e+01 | 9.700000e+01 | 304.17%
293.40/293.44 c 293s|120000 | 9352 | 4141k| 34.4 | 48M| 81 | 73 | 603 |6863 | 603 | 677 | 679 | 165k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
312.30/312.31 c 312s|130000 | 9355 | 4436k| 34.1 | 49M| 81 | 152 | 603 |7174 | 603 | 677 | 679 | 179k| 15k| 2.400000e+01 | 9.700000e+01 | 304.17%
333.70/333.72 c 334s|140000 | 9293 | 4742k| 33.8 | 50M| 81 | - | 603 |7551 | 0 | 0 | 679 | 194k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
353.30/353.31 c 353s|150000 | 9343 | 5053k| 33.6 | 51M| 81 | - | 603 |8748 | 603 | 677 | 679 | 210k| 17k| 2.400000e+01 | 9.700000e+01 | 304.17%
374.60/374.64 c 375s|160000 | 9434 | 5338k| 33.3 | 52M| 81 | - | 603 |7812 | 0 | 0 | 679 | 225k| 19k| 2.433333e+01 | 9.700000e+01 | 298.63%
393.00/393.00 c 393s|170000 | 9544 | 5639k| 33.1 | 53M| 81 | - | 603 |7591 | 0 | 0 | 679 | 240k| 19k| 2.500000e+01 | 9.700000e+01 | 288.00%
412.40/412.47 c 412s|180000 | 9426 | 5899k| 32.7 | 52M| 81 | 133 | 603 |6949 | 603 | 677 | 679 | 255k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
430.40/430.43 c 430s|190000 | 9442 | 6186k| 32.5 | 52M| 81 | 174 | 603 |7710 | 603 | 677 | 679 | 269k| 20k| 2.600000e+01 | 9.700000e+01 | 273.08%
448.90/448.95 c 449s|200000 | 9473 | 6452k| 32.2 | 52M| 94 | 180 | 603 |6264 | 603 | 677 | 679 | 283k| 21k| 2.700000e+01 | 9.700000e+01 | 259.26%
467.10/467.12 c 467s|210000 | 9222 | 6729k| 32.0 | 51M| 94 | 153 | 603 |5886 | 603 | 677 | 679 | 298k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
486.00/486.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.00/486.05 c 486s|220000 | 8943 | 7007k| 31.8 | 50M| 94 | 93 | 603 |8249 | 603 | 677 | 679 | 314k| 22k| 2.800000e+01 | 9.700000e+01 | 246.43%
504.11/504.14 c 504s|230000 | 8716 | 7254k| 31.5 | 49M| 112 | - | 603 |8652 | 0 | 0 | 679 | 328k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
520.70/520.70 c 521s|240000 | 8609 | 7512k| 31.3 | 49M| 112 | 30 | 603 |9735 | 603 | 677 | 679 | 342k| 23k| 2.800000e+01 | 9.700000e+01 | 246.43%
540.50/540.58 c 541s|250000 | 8321 | 7787k| 31.1 | 47M| 112 | 103 | 603 |7535 | 603 | 677 | 679 | 358k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
559.51/559.50 c 560s|260000 | 8094 | 8065k| 31.0 | 46M| 112 | 174 | 603 |8894 | 603 | 677 | 679 | 372k| 25k| 2.800000e+01 | 9.700000e+01 | 246.43%
577.41/577.44 c 577s|270000 | 7823 | 8333k| 30.8 | 43M| 112 | - | 603 |6289 | 0 | 0 | 679 | 387k| 26k| 2.900000e+01 | 9.700000e+01 | 234.48%
596.01/596.00 c 596s|280000 | 7491 | 8584k| 30.6 | 40M| 112 | - | 603 |6629 | 0 | 0 | 679 | 402k| 27k| 2.900000e+01 | 9.700000e+01 | 234.48%
612.10/612.12 c 612s|290000 | 7467 | 8820k| 30.4 | 39M| 112 | 108 | 603 |6816 | 603 | 677 | 679 | 417k| 27k| 3.000000e+01 | 9.700000e+01 | 223.33%
630.61/630.68 c 631s|300000 | 7215 | 9085k| 30.3 | 34M| 112 | - | 603 |5368 | 0 | 0 | 679 | 432k| 27k| 3.200000e+01 | 9.700000e+01 | 203.12%
649.61/649.62 c 650s|310000 | 7762 | 9376k| 30.2 | 38M| 112 | - | 603 |5913 | 0 | 0 | 679 | 445k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
667.30/667.35 c 667s|320000 | 8540 | 9666k| 30.2 | 41M| 112 | 150 | 603 |6550 | 603 | 677 | 679 | 459k| 28k| 3.200000e+01 | 9.700000e+01 | 203.12%
682.90/682.98 o 96
682.90/682.98 c * 683s|328021 | 7631 | 9889k| 30.1 | 41M| 112 | - | 603 |8542 | 603 | 677 | 679 | 471k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
686.80/686.88 c 687s|330000 | 7649 | 9943k| 30.1 | 41M| 112 | 169 | 603 |7178 | 603 | 677 | 679 | 474k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
704.10/704.10 c 704s|340000 | 8072 | 10218k| 30.0 | 43M| 112 | - | 603 |6134 | 603 | 677 | 679 | 488k| 29k| 3.200000e+01 | 9.600000e+01 | 200.00%
722.00/722.03 c 722s|350000 | 8392 | 10495k| 30.0 | 46M| 112 | 45 | 603 |7894 | 603 | 677 | 679 | 501k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
741.11/741.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.11/741.11 c 741s|360000 | 8699 | 10767k| 29.9 | 48M| 112 | - | 603 |8698 | 0 | 0 | 679 | 516k| 30k| 3.200000e+01 | 9.600000e+01 | 200.00%
757.61/757.60 c 758s|370000 | 8922 | 11016k| 29.7 | 49M| 112 | 35 | 603 |8079 | 603 | 677 | 679 | 531k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
775.81/775.80 c 776s|380000 | 9762 | 11317k| 29.8 | 54M| 112 | 47 | 603 |9476 | 603 | 677 | 679 | 545k| 31k| 3.200000e+01 | 9.600000e+01 | 200.00%
795.11/795.19 c 795s|390000 | 10417 | 11618k| 29.8 | 57M| 112 | 99 | 603 |8862 | 603 | 677 | 679 | 559k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
813.21/813.26 c 813s|400000 | 11126 | 11928k| 29.8 | 62M| 112 | - | 603 | 10k| 0 | 0 | 679 | 575k| 32k| 3.200000e+01 | 9.600000e+01 | 200.00%
831.71/831.71 c 832s|410000 | 11556 | 12213k| 29.8 | 65M| 112 | 35 | 603 |9331 | 603 | 677 | 679 | 589k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
851.91/851.93 c 852s|420000 | 12054 | 12544k| 29.8 | 67M| 112 | 234 | 603 |8384 | 603 | 677 | 679 | 604k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
870.31/870.32 c 870s|430000 | 12339 | 12860k| 29.9 | 69M| 112 | - | 603 |9539 | 0 | 0 | 679 | 618k| 33k| 3.200000e+01 | 9.600000e+01 | 200.00%
889.52/889.53 c 890s|440000 | 12575 | 13126k| 29.8 | 71M| 112 | 82 | 603 | 10k| 603 | 677 | 679 | 632k| 34k| 3.200000e+01 | 9.600000e+01 | 200.00%
907.01/907.07 c 907s|450000 | 13157 | 13387k| 29.7 | 73M| 112 | - | 603 |7014 | 0 | 0 | 679 | 646k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
923.71/923.75 c 924s|460000 | 13704 | 13660k| 29.7 | 76M| 112 | - | 603 |7460 | 0 | 0 | 679 | 660k| 35k| 3.200000e+01 | 9.600000e+01 | 200.00%
944.71/944.70 c 945s|470000 | 14298 | 13998k| 29.8 | 80M| 112 | 167 | 603 |9245 | 603 | 677 | 679 | 675k| 36k| 3.200000e+01 | 9.600000e+01 | 200.00%
965.22/965.24 c 965s|480000 | 14757 | 14333k| 29.8 | 82M| 112 | 154 | 603 |8140 | 603 | 677 | 679 | 690k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
983.42/983.42 c 983s|490000 | 15157 | 14649k| 29.9 | 84M| 112 | - | 603 |7762 | 603 | 677 | 679 | 704k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1001.12/1001.18 c 1001s|500000 | 15585 | 14921k| 29.8 | 87M| 136 | 89 | 603 |7954 | 603 | 677 | 679 | 719k| 37k| 3.200000e+01 | 9.600000e+01 | 200.00%
1021.32/1021.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.32/1021.37 c 1021s|510000 | 16108 | 15241k| 29.9 | 90M| 136 | 157 | 603 |7264 | 603 | 677 | 679 | 734k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1039.52/1039.58 c 1040s|520000 | 16704 | 15559k| 29.9 | 93M| 136 | 46 | 603 |7418 | 603 | 677 | 679 | 748k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1059.22/1059.24 c 1059s|530000 | 17275 | 15886k| 30.0 | 96M| 136 | - | 603 |8016 | 0 | 0 | 679 | 763k| 38k| 3.200000e+01 | 9.600000e+01 | 200.00%
1078.42/1078.47 c 1078s|540000 | 17542 | 16188k| 30.0 | 98M| 136 | 128 | 603 |8539 | 603 | 677 | 679 | 777k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1095.12/1095.15 c 1095s|550000 | 17867 | 16446k| 29.9 | 100M| 136 | - | 603 |8038 | 0 | 0 | 679 | 792k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1112.61/1112.64 c 1113s|560000 | 18629 | 16757k| 29.9 | 104M| 136 | 57 | 603 |7785 | 603 | 677 | 679 | 805k| 39k| 3.200000e+01 | 9.600000e+01 | 200.00%
1130.32/1130.32 c 1130s|570000 | 18471 | 17020k| 29.8 | 105M| 136 | 128 | 603 |8523 | 603 | 677 | 679 | 819k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1146.72/1146.74 c 1147s|580000 | 18765 | 17281k| 29.8 | 108M| 136 | 58 | 603 |8965 | 603 | 677 | 679 | 832k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1164.02/1164.05 c 1164s|590000 | 19008 | 17548k| 29.7 | 110M| 136 | 50 | 603 |8438 | 603 | 677 | 679 | 847k| 40k| 3.200000e+01 | 9.600000e+01 | 200.00%
1181.12/1181.13 c 1181s|600000 | 19436 | 17816k| 29.7 | 111M| 136 | - | 603 |7281 | 0 | 0 | 679 | 862k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1198.72/1198.72 c 1199s|610000 | 19738 | 18078k| 29.6 | 112M| 136 | - | 603 |6974 | 0 | 0 | 679 | 877k| 41k| 3.300000e+01 | 9.600000e+01 | 190.91%
1215.12/1215.18 c 1215s|620000 | 20589 | 18328k| 29.5 | 116M| 136 | 172 | 603 |7466 | 603 | 677 | 679 | 891k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1230.22/1230.25 c 1230s|630000 | 21247 | 18565k| 29.5 | 119M| 136 | - | 603 |7299 | 0 | 0 | 679 | 905k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1246.02/1246.09 c 1246s|640000 | 21636 | 18825k| 29.4 | 122M| 136 | 182 | 603 |8691 | 603 | 677 | 679 | 919k| 42k| 3.300000e+01 | 9.600000e+01 | 190.91%
1261.92/1261.93 c 1262s|650000 | 21838 | 19068k| 29.3 | 124M| 136 | 95 | 603 | 10k| 603 | 677 | 679 | 932k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1280.92/1280.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.92/1280.93 c 1281s|660000 | 22201 | 19376k| 29.3 | 125M| 136 | - | 603 |8584 | 603 | 677 | 679 | 945k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1297.12/1297.16 c 1297s|670000 | 22813 | 19634k| 29.3 | 128M| 136 | 161 | 603 |7827 | 603 | 677 | 679 | 959k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1313.33/1313.35 c 1313s|680000 | 23262 | 19893k| 29.2 | 131M| 136 | - | 603 |7011 | 0 | 0 | 679 | 973k| 43k| 3.300000e+01 | 9.600000e+01 | 190.91%
1332.42/1332.46 c 1332s|690000 | 23675 | 20207k| 29.3 | 132M| 136 | 129 | 603 |6500 | 603 | 677 | 679 | 987k| 44k| 3.300000e+01 | 9.600000e+01 | 190.91%
1349.63/1349.64 c 1350s|700000 | 24443 | 20482k| 29.2 | 136M| 136 | 128 | 603 |7978 | 603 | 677 | 679 |1000k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1364.22/1364.28 c 1364s|710000 | 25027 | 20708k| 29.2 | 140M| 136 | 104 | 603 |8980 | 603 | 677 | 679 |1013k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1379.22/1379.22 c 1379s|720000 | 25242 | 20934k| 29.1 | 141M| 136 | 194 | 603 |9056 | 603 | 677 | 679 |1026k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1394.83/1394.82 c 1395s|730000 | 25609 | 21172k| 29.0 | 144M| 136 | - | 603 | 10k| 0 | 0 | 679 |1039k| 45k| 3.300000e+01 | 9.600000e+01 | 190.91%
1410.93/1410.99 c 1411s|740000 | 25654 | 21387k| 28.9 | 143M| 136 | 52 | 603 |8327 | 603 | 677 | 679 |1052k| 46k| 3.300000e+01 | 9.600000e+01 | 190.91%
1428.43/1428.49 c 1428s|750000 | 25964 | 21652k| 28.9 | 144M| 136 | 114 | 603 |7002 | 603 | 677 | 679 |1067k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1446.32/1446.36 c 1446s|760000 | 26074 | 21951k| 28.9 | 144M| 136 | - | 603 |6470 | 0 | 0 | 679 |1082k| 46k| 3.400000e+01 | 9.600000e+01 | 182.35%
1464.62/1464.63 c 1465s|770000 | 26646 | 22257k| 28.9 | 146M| 136 | - | 603 |5364 | 0 | 0 | 679 |1096k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1483.13/1483.13 c 1483s|780000 | 27481 | 22578k| 28.9 | 150M| 136 | 94 | 603 |6368 | 603 | 677 | 679 |1109k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1500.33/1500.40 c 1500s|790000 | 28562 | 22900k| 29.0 | 154M| 136 | 143 | 603 |6933 | 603 | 677 | 679 |1122k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1517.53/1517.54 c 1518s|800000 | 29372 | 23190k| 29.0 | 158M| 136 | - | 603 |6963 | 0 | 0 | 679 |1135k| 47k| 3.400000e+01 | 9.600000e+01 | 182.35%
1535.23/1535.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.23/1535.28 c 1535s|810000 | 30084 | 23483k| 29.0 | 161M| 136 | 147 | 603 |7382 | 603 | 677 | 679 |1148k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1551.73/1551.74 c 1552s|820000 | 31174 | 23770k| 29.0 | 165M| 136 | 86 | 603 |7869 | 603 | 677 | 679 |1161k| 48k| 3.400000e+01 | 9.600000e+01 | 182.35%
1569.33/1569.32 c 1569s|830000 | 31529 | 24063k| 29.0 | 167M| 136 | 114 | 603 |7025 | 603 | 677 | 679 |1176k| 48k| 3.433333e+01 | 9.600000e+01 | 179.61%
1587.53/1587.51 c 1588s|840000 | 31786 | 24344k| 29.0 | 168M| 136 | - | 603 |6705 | 0 | 0 | 679 |1191k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1605.12/1605.18 c 1605s|850000 | 31900 | 24611k| 28.9 | 169M| 136 | 76 | 603 |8212 | 603 | 677 | 679 |1205k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1622.73/1622.77 c 1623s|860000 | 31780 | 24876k| 28.9 | 168M| 136 | 34 | 603 |8331 | 603 | 677 | 679 |1221k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1639.53/1639.54 c 1640s|870000 | 31918 | 25146k| 28.9 | 168M| 136 | - | 603 |7849 | 0 | 0 | 679 |1235k| 49k| 3.500000e+01 | 9.600000e+01 | 174.29%
1657.23/1657.22 c 1657s|880000 | 32264 | 25416k| 28.9 | 170M| 136 | - | 603 |7933 | 0 | 0 | 679 |1250k| 50k| 3.500000e+01 | 9.600000e+01 | 174.29%
1675.63/1675.66 c 1676s|890000 | 32169 | 25682k| 28.8 | 170M| 136 | - | 603 |8931 | 0 | 0 | 679 |1266k| 51k| 3.500000e+01 | 9.600000e+01 | 174.29%
1694.04/1694.03 c 1694s|900000 | 32537 | 25965k| 28.8 | 171M| 136 | 145 | 603 |8651 | 603 | 677 | 679 |1281k| 51k| 3.500000e+01 | 9.600000e+01 | 174.29%
1711.64/1711.67 c 1712s|910000 | 32957 | 26259k| 28.8 | 172M| 136 | - | 603 |7728 | 0 | 0 | 679 |1295k| 51k| 3.500000e+01 | 9.600000e+01 | 174.29%
1729.33/1729.30 c 1729s|920000 | 33534 | 26549k| 28.8 | 174M| 136 | 115 | 603 |8663 | 603 | 677 | 679 |1309k| 51k| 3.566667e+01 | 9.600000e+01 | 169.16%
1748.13/1748.12 c 1748s|930000 | 33699 | 26827k| 28.8 | 176M| 136 | 152 | 603 |9330 | 603 | 677 | 679 |1325k| 52k| 3.600000e+01 | 9.600000e+01 | 166.67%
1767.03/1767.04 c 1767s|940000 | 33556 | 27097k| 28.8 | 176M| 136 | - | 603 | 11k| 0 | 0 | 679 |1340k| 52k| 3.600000e+01 | 9.600000e+01 | 166.67%
1785.24/1785.30 c 1785s|950000 | 33239 | 27371k| 28.8 | 175M| 136 | - | 603 | 10k| 0 | 0 | 679 |1356k| 52k| 3.600000e+01 | 9.600000e+01 | 166.67%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 956686
1797.04/1797.00 c Primal Bound : +9.60000000000000e+01 (3 solutions)
1797.04/1797.00 c Dual Bound : +3.60000000000000e+01
1797.04/1797.00 c Gap : 166.67 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 x225 x226 x227 x228 x229 -x230 x231 x232 -x233 -x234 x235 -x236
1797.04/1797.00 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v x353 x354 x355 -x356 x357 x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 x372 x373 x374
1797.04/1797.00 v x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v -x461 -x462 x463 -x464 -x465 -x466 x467 x468 x469 x470 x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481 -x482
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v x564 x565 x566 x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x35 x34
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v -x51 -x50 x7 x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.07 (included in solving)
1797.04/1797.00 c reading : 0.02 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485444-1307771090.opb
1797.04/1797.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1088 initial, 1088 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485444-1307771090.opb
1797.04/1797.00 c Variables : 603 (603 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 548 initial, 11647 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 540 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 605567 0 8 0 605 36057 0 0 1189986
1797.04/1797.00 c knapsack : 8 20 4057922 1 2 5 5721106 19064 631686 193 0 0
1797.04/1797.00 c linear : 540+ 21 4130861 0 2 2 6740694 408507 38545356 2 0 0
1797.04/1797.00 c logicor : 0+ 20 1864291 0 0 0 6327876 17724 1826661 0 0 0
1797.04/1797.00 c countsols : 0 0 0 1 2 4 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 133.02 0.00 0.00 133.02 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 15.70 0.00 13.68 0.00 0.00 0.00 2.01
1797.04/1797.00 c linear : 290.06 0.00 282.65 0.00 0.00 0.00 7.41
1797.04/1797.00 c logicor : 87.81 0.00 83.44 0.00 0.00 0.00 4.37
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 2 0 0 0
1797.04/1797.00 c pseudoobj : 4149758 2348 4 1985
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.54 0.54 0.00
1797.04/1797.00 c rootredcost : 0.59 0.59 0.00
1797.04/1797.00 c pseudoobj : 1.81 1.80 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 27.70 445299 445062 4507040 34.3 15028 24.8 -
1797.04/1797.00 c infeasible LP : 6.84 80829 80829 470619 26.2 8830 18.9 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 1366157 26.2 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.01 19 - - 9069 - (maximal pool size: 5920)
1797.04/1797.00 c redcost : 5.48 605677 0 153 0 0
1797.04/1797.00 c impliedbounds : 0.00 20 0 0 8 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.15 20 0 0 540 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.15 20 0 0 626 0
1797.04/1797.00 c cmir : 0.43 10 0 0 4240 0
1797.04/1797.00 c flowcover : 0.25 10 0 0 2001 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.26 1 0 0 0 316
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 132.62 605566 605 36057 0 0 1189986
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 1
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c crossover : 0.29 0 0
1797.04/1797.00 c oneopt : 0.19 3 0
1797.04/1797.00 c feaspump : 2.02 70 0
1797.04/1797.00 c fracdiving : 1.61 251 1
1797.04/1797.00 c veclendiving : 2.57 251 0
1797.04/1797.00 c linesearchdiving : 2.67 251 0
1797.04/1797.00 c guideddiving : 2.28 251 0
1797.04/1797.00 c rootsoldiving : 1.30 126 0
1797.04/1797.00 c objpscostdiving : 2.68 126 0
1797.04/1797.00 c coefdiving : 1.74 252 0
1797.04/1797.00 c pscostdiving : 4.27 252 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.01 1 0
1797.04/1797.00 c simplerounding : 0.16 0 0
1797.04/1797.00 c zirounding : 0.22 1000 0
1797.04/1797.00 c rounding : 0.96 10986 0
1797.04/1797.00 c shifting : 6.95 3458 0
1797.04/1797.00 c intshifting : 0.01 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.12 0 0
1797.04/1797.00 c trysol : 0.18 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 912.79 680505 27222783 40.00 29823.58
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 16.30 17150 332650 19.40 20402.54
1797.04/1797.00 c strong branching : 114.36 52949 2130731 40.24 18632.33
1797.04/1797.00 c (at root node) : - 14 5096 364.00 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 956686
1797.04/1797.00 c nodes (total) : 956686
1797.04/1797.00 c nodes left : 33091
1797.04/1797.00 c max depth : 136
1797.04/1797.00 c max depth (total): 136
1797.04/1797.00 c backtracks : 201653 (21.1%)
1797.04/1797.00 c delayed cutoffs : 198981
1797.04/1797.00 c repropagations : 1496311 (15053466 domain reductions, 159688 cutoffs)
1797.04/1797.00 c avg switch length: 6.64
1797.04/1797.00 c switching time : 209.01
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 3 (3 improvements)
1797.04/1797.00 c First Solution : +1.17000000000000e+02 (in run 1, after 1 nodes, 0.62 seconds, depth 0, found by <trysol>)
1797.04/1797.00 c Primal Bound : +9.60000000000000e+01 (in run 1, after 328021 nodes, 682.98 seconds, depth 35, found by <relaxation>)
1797.04/1797.00 c Dual Bound : +3.60000000000000e+01
1797.04/1797.00 c Gap : 166.67 %
1797.04/1797.00 c Root Dual Bound : +9.00000000000000e+00
1797.04/1797.00 c Root Iterations : 10120
1797.14/1797.19 c Time complete: 1797.22.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485444-1307771090/watcher-3485444-1307771090 -o /tmp/evaluation-result-3485444-1307771090/solver-3485444-1307771090 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485444-1307771090.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 18440
/proc/meminfo: memFree=31613600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=9836 CPUtime=0 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 1475 0 0 0 0 0 0 0 25 0 1 0 888711605 10072064 1429 33554432000 4194304 8979876 140737443513840 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18440/statm: 2459 1429 366 1169 0 1286 0
[startup+0.00943804 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 18440
/proc/meminfo: memFree=31613600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=10332 CPUtime=0 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 1572 0 0 0 0 0 0 0 25 0 1 0 888711605 10579968 1526 33554432000 4194304 8979876 140737443513840 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18440/statm: 2583 1526 366 1169 0 1410 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10332
[startup+0.100461 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 18440
/proc/meminfo: memFree=31613600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=27588 CPUtime=0.08 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 6065 0 0 0 8 0 0 0 25 0 1 0 888711605 28250112 5732 33554432000 4194304 8979876 140737443513840 18446744073709551615 4889078 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 6897 5732 604 1169 0 5724 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27588
[startup+0.300435 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 18440
/proc/meminfo: memFree=31613600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=28756 CPUtime=0.29 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 6654 0 0 0 26 3 0 0 25 0 1 0 888711605 29446144 6170 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 7189 6170 661 1169 0 6016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28756
[startup+0.700362 s]
/proc/loadavg: 2.00 2.00 1.93 2/172 18440
/proc/meminfo: memFree=31613600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=43116 CPUtime=0.69 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 10390 0 0 0 65 4 0 0 25 0 1 0 888711605 44150784 9545 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 10779 9545 713 1169 0 9606 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43116
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18450
/proc/meminfo: memFree=31547732/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=43116 CPUtime=1.49 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 10540 0 0 0 144 5 0 0 25 0 1 0 888711605 44150784 9686 33554432000 4194304 8979876 140737443513840 18446744073709551615 6543911 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 10779 9686 704 1169 0 9606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43116
[startup+3.10093 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18450
/proc/meminfo: memFree=31543532/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=45520 CPUtime=3.09 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 12067 0 0 0 295 14 0 0 25 0 1 0 888711605 46612480 10467 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 11380 10467 754 1169 0 10207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45520
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18450
/proc/meminfo: memFree=31543036/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=45520 CPUtime=6.29 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 12069 0 0 0 586 43 0 0 25 0 1 0 888711605 46612480 10469 33554432000 4194304 8979876 140737443513840 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 11380 10469 755 1169 0 10207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45520
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18450
/proc/meminfo: memFree=31541600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=45520 CPUtime=12.69 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 12070 0 0 0 1178 91 0 0 25 0 1 0 888711605 46612480 10470 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 11380 10470 756 1169 0 10207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45520
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18450
/proc/meminfo: memFree=31538964/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=45844 CPUtime=25.49 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 12165 0 0 0 2377 172 0 0 25 0 1 0 888711605 46944256 10519 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 11461 10519 710 1169 0 10288 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45844
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18451
/proc/meminfo: memFree=31522900/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=52888 CPUtime=51.09 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 13897 0 0 0 4753 356 0 0 25 0 1 0 888711605 54157312 12251 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 13222 12251 710 1169 0 12049 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52888
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18452
/proc/meminfo: memFree=31486848/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=66080 CPUtime=102.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 17318 0 0 0 9532 698 0 0 25 0 1 0 888711605 67665920 15599 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 16520 15599 710 1169 0 15347 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66080
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 18454
/proc/meminfo: memFree=31458164/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=78596 CPUtime=162.29 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 20510 0 0 0 15118 1111 0 0 25 0 1 0 888711605 80482304 18696 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 19649 18696 710 1169 0 18476 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78596
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 18456
/proc/meminfo: memFree=31429836/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=91048 CPUtime=222.29 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 23813 0 0 0 20721 1508 0 0 25 0 1 0 888711605 93233152 21853 33554432000 4194304 8979876 140737443513840 18446744073709551615 5023443 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 22762 21853 710 1169 0 21589 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 91048
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18457
/proc/meminfo: memFree=31416896/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=97444 CPUtime=282.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 25455 0 0 0 26337 1893 0 0 25 0 1 0 888711605 99782656 23470 33554432000 4194304 8979876 140737443513840 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 24361 23470 710 1169 0 23188 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 97444
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 18459
/proc/meminfo: memFree=31403452/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=102576 CPUtime=342.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 26792 0 0 0 31951 2279 0 0 25 0 1 0 888711605 105037824 24758 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 25644 24758 710 1169 0 24471 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 102576
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 18460
/proc/meminfo: memFree=31389652/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=107224 CPUtime=402.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 27913 0 0 0 37567 2663 0 0 25 0 1 0 888711605 109797376 25869 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 26806 25869 710 1169 0 25633 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 107224
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18462
/proc/meminfo: memFree=31379808/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=109148 CPUtime=462.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 28398 0 0 0 43177 3053 0 0 25 0 1 0 888711605 111767552 26354 33554432000 4194304 8979876 140737443513840 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 27287 26354 710 1169 0 26114 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 109148
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18464
/proc/meminfo: memFree=31377172/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=109584 CPUtime=522.3 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 28503 0 0 0 48801 3429 0 0 25 0 1 0 888711605 112214016 26459 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 27396 26459 710 1169 0 26223 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 109584
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18465
/proc/meminfo: memFree=31370056/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=110996 CPUtime=582.31 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 28906 0 0 0 54421 3810 0 0 25 0 1 0 888711605 113659904 26838 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 27749 26838 710 1169 0 26576 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 110996
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31244472/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=167252 CPUtime=1062.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 51978 0 0 0 99364 6868 0 0 25 0 1 0 888711605 171266048 40888 33554432000 4194304 8979876 140737443513840 18446744073709551615 5309974 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 41813 40888 711 1169 0 40640 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 167252
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18529
/proc/meminfo: memFree=31232800/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=176840 CPUtime=1122.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 55398 0 0 0 104960 7272 0 0 25 0 1 0 888711605 181084160 43280 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 44210 43280 713 1169 0 43037 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 176840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18531
/proc/meminfo: memFree=31226308/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=183416 CPUtime=1182.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 57043 0 0 0 110579 7653 0 0 25 0 1 0 888711605 187817984 44889 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 45854 44889 713 1169 0 44681 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 183416
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18533
/proc/meminfo: memFree=31213016/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=196652 CPUtime=1242.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 60451 0 0 0 116194 8038 0 0 25 0 1 0 888711605 201371648 48124 33554432000 4194304 8979876 140737443513840 18446744073709551615 5311992 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 49163 48124 715 1169 0 47990 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 196652
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18534
/proc/meminfo: memFree=31204540/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=204956 CPUtime=1302.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 62532 0 0 0 121795 8438 0 0 25 0 1 0 888711605 209874944 50141 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 51239 50141 714 1169 0 50066 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 204956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18536
/proc/meminfo: memFree=31291420/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=219412 CPUtime=1362.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 66126 0 0 0 127389 8843 0 0 25 0 1 0 888711605 224677888 53681 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 54853 53681 714 1169 0 53680 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 219412
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 18538
/proc/meminfo: memFree=31284196/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=224824 CPUtime=1422.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 68427 0 0 0 133027 9206 0 0 25 0 1 0 888711605 230219776 55027 33554432000 4194304 8979876 140737443513840 18446744073709551615 6445850 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 56206 55027 712 1169 0 55033 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 224824
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 18539
/proc/meminfo: memFree=31276600/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=231472 CPUtime=1482.32 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 70137 0 0 0 138612 9620 0 0 25 0 1 0 888711605 237027328 56720 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 57868 56720 712 1169 0 56695 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 231472
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 18541
/proc/meminfo: memFree=31245072/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=247924 CPUtime=1542.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 74139 0 0 0 144192 10041 0 0 25 0 1 0 888711605 253874176 60636 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 61981 60636 714 1169 0 60808 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 247924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18542
/proc/meminfo: memFree=31224068/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=256152 CPUtime=1602.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 76262 0 0 0 149778 10455 0 0 25 0 1 0 888711605 262299648 62730 33554432000 4194304 8979876 140737443513840 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 64038 62730 714 1169 0 62865 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 256152
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18544
/proc/meminfo: memFree=31220796/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=259604 CPUtime=1662.34 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 77095 0 0 0 155387 10847 0 0 25 0 1 0 888711605 265834496 63548 33554432000 4194304 8979876 140737443513840 18446744073709551615 7179652 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 64901 63548 714 1169 0 63728 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 259604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18546
/proc/meminfo: memFree=31216900/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=263124 CPUtime=1722.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 77992 0 0 0 160998 11235 0 0 25 0 1 0 888711605 269438976 64438 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 65781 64438 714 1169 0 64608 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 263124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18547
/proc/meminfo: memFree=31206816/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271156 CPUtime=1782.33 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80030 0 0 0 166631 11602 0 0 25 0 1 0 888711605 277663744 66460 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67789 66460 715 1169 0 66616 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 271156
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18547
/proc/meminfo: memFree=31206688/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271344 CPUtime=1785.53 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80073 0 0 0 166933 11620 0 0 25 0 1 0 888711605 277856256 66503 33554432000 4194304 8979876 140737443513840 18446744073709551615 5308157 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67836 66503 715 1169 0 66663 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 271344
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18548
/proc/meminfo: memFree=31206552/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271344 CPUtime=1791.94 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80098 0 0 0 167536 11658 0 0 25 0 1 0 888711605 277856256 66528 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67836 66528 715 1169 0 66663 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 271344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18548
/proc/meminfo: memFree=31206552/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271480 CPUtime=1795.14 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80123 0 0 0 167836 11678 0 0 25 0 1 0 888711605 277995520 66553 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67870 66553 715 1169 0 66697 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 271480
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18548
/proc/meminfo: memFree=31206552/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271480 CPUtime=1795.94 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80123 0 0 0 167911 11683 0 0 25 0 1 0 888711605 277995520 66553 33554432000 4194304 8979876 140737443513840 18446744073709551615 4341481 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67870 66553 715 1169 0 66697 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 271480
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18548
/proc/meminfo: memFree=31206428/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271480 CPUtime=1796.73 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80123 0 0 0 167987 11686 0 0 25 0 1 0 888711605 277995520 66553 33554432000 4194304 8979876 140737443513840 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18440/statm: 67870 66553 715 1169 0 66697 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 271480
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 18548
/proc/meminfo: memFree=31206428/32951124 swapFree=67052812/67111528
[pid=18440] ppid=18438 vsize=271480 CPUtime=1797.14 cores=1,3,5,7
/proc/18440/stat : 18440 (scip-2.0.1.4_2.) R 18438 18440 15120 0 -1 4202496 80128 0 0 0 168025 11689 0 0 18 0 1 0 888711605 277995520 66558 33554432000 4194304 8979876 140737443513840 18446744073709551615 4897579 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18440/statm: 67870 66558 720 1169 0 66697 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 271480
Child status: 0
Real time (s): 1797.19
CPU time (s): 1797.23
CPU user time (s): 1680.33
CPU system time (s): 116.904
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 271480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.33
system time used= 116.904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 19848
runsolver used 2.38464 second user time and 5.82811 second system time
The end