0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2665587-1276351135.opb>
0.01/0.02 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.01/0.08 c (0.1s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.08 c presolving (3 rounds):
0.01/0.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 10 changed coefficients
0.01/0.08 c 200 implications, 0 cliques
0.01/0.08 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.01/0.08 c 73 constraints of type <knapsack>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.04
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 1.2.1.2
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1799.99
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 1620
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/rapidlearning/freq = 0
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.01/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.09 c 0.1s| 1 | 0 | 60 | - |1545k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | -- | Inf
0.01/0.09 o 36864
0.01/0.09 c R 0.1s| 1 | 0 | 60 | - |1548k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.686400e+04 | 176.92%
0.01/0.09 o 35840
0.01/0.09 c s 0.1s| 1 | 0 | 60 | - |1551k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.584000e+04 | 169.23%
0.29/0.35 o 17408
0.29/0.35 c z 0.3s| 1 | 0 | 60 | - |1554k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
1.10/1.13 o 16384
1.10/1.13 c E 1.0s| 1 | 0 | 60 | - |1555k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.10/1.14 c 1.0s| 1 | 0 | 60 | - |1555k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.29/1.39 c 1.2s| 1 | 2 | 60 | - |1556k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 33 | 1.331200e+04 | 1.638400e+04 | 23.08%
4.08/4.10 o 16384
4.08/4.10 c z 3.8s| 207 | 182 | 6462 | 31.1 |1872k| 24 | 28 | 163 | 73 | 163 | 73 | 0 | 0 | 535 | 1.369600e+04 | 1.638400e+04 | 19.63%
8.29/8.35 o 16384
8.29/8.35 c s 8.0s| 936 | 805 | 43616 | 46.6 |2148k| 29 | 28 | 163 | 79 | 163 | 73 | 0 | 10 | 600 | 1.403733e+04 | 1.638400e+04 | 16.72%
26.68/26.78 o 16384
26.68/26.78 c s25.4s| 5237 | 5034 |233820 | 44.6 |3983k| 35 | 8 | 163 | 92 | 163 | 73 | 0 | 28 | 759 | 1.408000e+04 | 1.638400e+04 | 16.36%
45.38/45.48 c 42.9s| 10000 | 9751 |422557 | 42.3 |5974k| 38 | 15 | 163 | 91 | 163 | 73 | 0 | 39 |1051 | 1.420800e+04 | 1.638400e+04 | 15.32%
67.57/67.65 o 16130
67.57/67.65 c f63.6s| 15901 | 15508 |649377 | 40.8 |8489k| 42 | - | 163 | 92 | 163 | 73 | 0 | 50 |1324 | 1.420800e+04 | 1.613000e+04 | 13.53%
69.17/69.25 o 16128
69.17/69.25 c v65.1s| 16264 | 15051 |665186 | 40.9 |8324k| 42 | - | 163 | 90 | 163 | 73 | 0 | 50 |1352 | 1.420800e+04 | 1.612800e+04 | 13.51%
84.67/84.77 c 79.5s| 20000 | 18281 |824397 | 41.2 |9891k| 42 | 18 | 163 | 104 | 163 | 73 | 0 | 76 |1560 | 1.420800e+04 | 1.612800e+04 | 13.51%
118.86/118.94 c 111s| 30000 | 26979 | 1172k| 39.1 | 14M| 42 | 16 | 163 | 102 | 163 | 73 | 0 | 93 |2008 | 1.420800e+04 | 1.612800e+04 | 13.51%
151.54/151.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.54/151.68 c 142s| 40000 | 35655 | 1506k| 37.7 | 18M| 42 | 21 | 163 | 93 | 163 | 73 | 0 | 103 |2418 | 1.425067e+04 | 1.612800e+04 | 13.17%
177.93/178.08 o 15872
177.93/178.08 c v 166s| 48977 | 28599 | 1778k| 36.3 | 14M| 43 | - | 163 | 94 | 163 | 73 | 0 | 115 |2728 | 1.429662e+04 | 1.587200e+04 | 11.02%
179.34/179.44 o 15746
179.34/179.44 c v 168s| 49393 | 28815 | 1794k| 36.3 | 15M| 43 | - | 163 | 100 | 163 | 73 | 0 | 127 |2746 | 1.429943e+04 | 1.574600e+04 | 10.12%
181.03/181.19 c 169s| 50000 | 29102 | 1815k| 36.3 | 15M| 43 | 10 | 163 | 105 | 163 | 73 | 0 | 132 |2759 | 1.429943e+04 | 1.574600e+04 | 10.12%
211.63/211.76 c 198s| 60000 | 34254 | 2125k| 35.4 | 18M| 46 | 10 | 163 | 98 | 163 | 73 | 0 | 155 |3174 | 1.433600e+04 | 1.574600e+04 | 9.84%
238.52/238.63 c 223s| 70000 | 39186 | 2389k| 34.1 | 20M| 46 | 12 | 163 | 89 | 163 | 73 | 0 | 166 |3542 | 1.433600e+04 | 1.574600e+04 | 9.84%
265.82/265.98 c 248s| 80000 | 44424 | 2659k| 33.2 | 23M| 46 | 15 | 163 | 89 | 163 | 73 | 0 | 178 |3880 | 1.433600e+04 | 1.574600e+04 | 9.84%
269.81/269.92 o 15362
269.81/269.92 c g 252s| 81395 | 40818 | 2700k| 33.2 | 21M| 46 | - | 163 | 88 | 163 | 73 | 0 | 178 |3928 | 1.433600e+04 | 1.536200e+04 | 7.16%
291.90/292.02 c 272s| 90000 | 44389 | 2930k| 32.6 | 24M| 46 | 8 | 163 | 93 | 163 | 73 | 0 | 192 |4186 | 1.433600e+04 | 1.536200e+04 | 7.16%
318.49/318.65 c 297s|100000 | 49059 | 3203k| 32.0 | 27M| 46 | 20 | 163 | 98 | 163 | 73 | 0 | 200 |4486 | 1.433600e+04 | 1.536200e+04 | 7.16%
345.59/345.77 c 322s|110000 | 53953 | 3474k| 31.6 | 30M| 46 | 13 | 163 | 100 | 163 | 73 | 0 | 209 |4770 | 1.433600e+04 | 1.536200e+04 | 7.16%
346.40/346.59 o 15361
346.40/346.59 c l 323s|110354 | 54133 | 3483k| 31.6 | 31M| 46 | - | 163 | 100 | 163 | 73 | 0 | 209 |4775 | 1.433600e+04 | 1.536100e+04 | 7.15%
371.48/371.60 c 346s|120000 | 58881 | 3747k| 31.2 | 34M| 46 | - | 163 | 100 | 163 | 73 | 0 | 224 |5050 | 1.433600e+04 | 1.536100e+04 | 7.15%
395.98/396.14 c 369s|130000 | 63951 | 4007k| 30.8 | 37M| 46 | 14 | 163 | 105 | 163 | 73 | 0 | 239 |5282 | 1.433600e+04 | 1.536100e+04 | 7.15%
403.18/403.31 o 15360
403.18/403.31 c f 376s|132557 | 39577 | 4073k| 30.7 | 23M| 46 | - | 163 | 106 | 163 | 73 | 0 | 243 |5359 | 1.433600e+04 | 1.536000e+04 | 7.14%
424.18/424.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.18/424.32 c 395s|140000 | 42358 | 4283k| 30.6 | 24M| 46 | 11 | 163 | 114 | 163 | 73 | 0 | 252 |5616 | 1.433600e+04 | 1.536000e+04 | 7.14%
451.97/452.18 c 421s|150000 | 45616 | 4560k| 30.4 | 26M| 46 | 11 | 163 | 104 | 163 | 73 | 0 | 259 |5869 | 1.433600e+04 | 1.536000e+04 | 7.14%
479.37/479.58 c 446s|160000 | 49010 | 4838k| 30.2 | 29M| 46 | 22 | 163 | 95 | 163 | 73 | 0 | 269 |6159 | 1.433600e+04 | 1.536000e+04 | 7.14%
505.95/506.13 c 471s|170000 | 52482 | 5118k| 30.1 | 31M| 46 | - | 163 | 99 | 163 | 73 | 0 | 281 |6401 | 1.433600e+04 | 1.536000e+04 | 7.14%
532.74/532.97 c 496s|180000 | 55884 | 5397k| 30.0 | 33M| 46 | - | 163 | 101 | 163 | 73 | 0 | 294 |6663 | 1.433600e+04 | 1.536000e+04 | 7.14%
559.34/559.53 c 521s|190000 | 59400 | 5669k| 29.8 | 35M| 46 | 11 | 163 | 104 | 163 | 73 | 0 | 309 |6907 | 1.433600e+04 | 1.536000e+04 | 7.14%
585.64/585.89 c 545s|200000 | 62926 | 5941k| 29.7 | 37M| 46 | 20 | 163 | 96 | 163 | 73 | 0 | 314 |7155 | 1.433600e+04 | 1.536000e+04 | 7.14%
611.53/611.70 c 569s|210000 | 66624 | 6208k| 29.6 | 39M| 46 | - | 163 | 101 | 163 | 73 | 0 | 333 |7349 | 1.433600e+04 | 1.536000e+04 | 7.14%
636.62/636.90 c 593s|220000 | 70174 | 6469k| 29.4 | 42M| 46 | - | 163 | 95 | 163 | 73 | 0 | 341 |7548 | 1.433600e+04 | 1.536000e+04 | 7.14%
661.82/662.07 c 616s|230000 | 73778 | 6732k| 29.3 | 44M| 46 | 18 | 163 | 97 | 163 | 73 | 0 | 352 |7775 | 1.433600e+04 | 1.536000e+04 | 7.14%
687.11/687.39 c 639s|240000 | 77632 | 6999k| 29.2 | 46M| 46 | - | 163 | 100 | 163 | 73 | 0 | 363 |7998 | 1.433600e+04 | 1.536000e+04 | 7.14%
713.40/713.62 c 664s|250000 | 81730 | 7275k| 29.1 | 49M| 46 | 16 | 163 | 97 | 163 | 73 | 0 | 377 |8222 | 1.433600e+04 | 1.536000e+04 | 7.14%
739.69/739.90 c 688s|260000 | 86148 | 7536k| 29.0 | 51M| 46 | 15 | 163 | 100 | 163 | 73 | 0 | 387 |8410 | 1.433600e+04 | 1.536000e+04 | 7.14%
764.79/765.00 c 711s|270000 | 90178 | 7797k| 28.9 | 54M| 46 | 12 | 163 | 99 | 163 | 73 | 0 | 396 |8599 | 1.433600e+04 | 1.536000e+04 | 7.14%
790.69/790.94 c 736s|280000 | 94258 | 8068k| 28.8 | 56M| 46 | - | 163 | 104 | 163 | 73 | 0 | 408 |8788 | 1.433600e+04 | 1.536000e+04 | 7.14%
816.58/816.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.58/816.84 c 760s|290000 | 98398 | 8337k| 28.7 | 58M| 46 | 21 | 163 | 106 | 163 | 73 | 0 | 422 |9014 | 1.433600e+04 | 1.536000e+04 | 7.14%
842.17/842.41 c 784s|300000 |102382 | 8602k| 28.7 | 61M| 46 | 15 | 163 | 100 | 163 | 73 | 0 | 431 |9182 | 1.433600e+04 | 1.536000e+04 | 7.14%
867.16/867.48 c 807s|310000 |106436 | 8861k| 28.6 | 63M| 46 | 19 | 163 | 103 | 163 | 73 | 0 | 448 |9363 | 1.433600e+04 | 1.536000e+04 | 7.14%
892.36/892.66 c 830s|320000 |110852 | 9121k| 28.5 | 66M| 46 | 15 | 163 | 110 | 163 | 73 | 0 | 459 |9515 | 1.433600e+04 | 1.536000e+04 | 7.14%
917.95/918.29 c 854s|330000 |114448 | 9389k| 28.5 | 68M| 46 | - | 163 | 98 | 163 | 73 | 0 | 465 |9670 | 1.436800e+04 | 1.536000e+04 | 6.90%
942.54/942.84 c 877s|340000 |117490 | 9637k| 28.3 | 70M| 46 | 16 | 163 | 101 | 163 | 73 | 0 | 493 |9857 | 1.437867e+04 | 1.536000e+04 | 6.82%
968.14/968.43 c 901s|350000 |120680 | 9895k| 28.3 | 72M| 46 | - | 163 | 99 | 163 | 73 | 0 | 517 | 10k| 1.438720e+04 | 1.536000e+04 | 6.76%
992.33/992.64 c 923s|360000 |123594 | 10136k| 28.2 | 74M| 46 | - | 163 | 97 | 163 | 73 | 0 | 532 | 10k| 1.440000e+04 | 1.536000e+04 | 6.67%
1017.13/1017.46 c 947s|370000 |126600 | 10392k| 28.1 | 76M| 46 | 17 | 163 | 94 | 163 | 73 | 0 | 548 | 10k| 1.440000e+04 | 1.536000e+04 | 6.67%
1041.42/1041.73 c 969s|380000 |129334 | 10641k| 28.0 | 78M| 46 | 11 | 163 | 100 | 163 | 73 | 0 | 559 | 10k| 1.440914e+04 | 1.536000e+04 | 6.60%
1067.11/1067.49 c 993s|390000 |132114 | 10906k| 28.0 | 80M| 46 | 11 | 163 | 96 | 163 | 73 | 0 | 570 | 10k| 1.442133e+04 | 1.536000e+04 | 6.51%
1092.51/1092.82 c 1017s|400000 |134686 | 11174k| 27.9 | 82M| 46 | 16 | 163 | 93 | 163 | 73 | 0 | 581 | 10k| 1.442133e+04 | 1.536000e+04 | 6.51%
1117.50/1117.85 c 1040s|410000 |137280 | 11442k| 27.9 | 84M| 46 | - | 163 | 94 | 163 | 73 | 0 | 594 | 10k| 1.442133e+04 | 1.536000e+04 | 6.51%
1142.60/1142.94 c 1063s|420000 |139778 | 11710k| 27.9 | 86M| 46 | - | 163 | 85 | 163 | 73 | 0 | 603 | 11k| 1.442909e+04 | 1.536000e+04 | 6.45%
1166.69/1167.01 c 1086s|430000 |142142 | 11961k| 27.8 | 88M| 46 | 16 | 163 | 79 | 163 | 73 | 0 | 609 | 11k| 1.443840e+04 | 1.536000e+04 | 6.38%
1190.58/1190.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.58/1190.94 c 1108s|440000 |144360 | 12211k| 27.8 | 89M| 46 | 9 | 163 | 79 | 163 | 73 | 0 | 618 | 11k| 1.443840e+04 | 1.536000e+04 | 6.38%
1214.17/1214.59 c 1130s|450000 |146726 | 12460k| 27.7 | 91M| 46 | 18 | 163 | 81 | 163 | 73 | 0 | 627 | 11k| 1.444978e+04 | 1.536000e+04 | 6.30%
1238.37/1238.77 c 1153s|460000 |149132 | 12711k| 27.6 | 93M| 46 | - | 163 | 81 | 163 | 73 | 0 | 632 | 11k| 1.446400e+04 | 1.536000e+04 | 6.19%
1261.06/1261.46 c 1174s|470000 |151198 | 12949k| 27.6 | 94M| 46 | - | 163 | 85 | 163 | 73 | 0 | 641 | 11k| 1.446400e+04 | 1.536000e+04 | 6.19%
1284.76/1285.18 c 1196s|480000 |153512 | 13195k| 27.5 | 96M| 46 | 16 | 163 | 88 | 163 | 73 | 0 | 650 | 11k| 1.446400e+04 | 1.536000e+04 | 6.19%
1308.15/1308.52 c 1217s|490000 |155774 | 13435k| 27.4 | 98M| 46 | - | 163 | 90 | 163 | 73 | 0 | 663 | 12k| 1.446400e+04 | 1.536000e+04 | 6.19%
1331.04/1331.42 c 1239s|500000 |157978 | 13673k| 27.3 | 99M| 46 | 10 | 163 | 87 | 163 | 73 | 0 | 670 | 12k| 1.448229e+04 | 1.536000e+04 | 6.06%
1353.65/1354.03 c 1260s|510000 |160038 | 13910k| 27.3 | 101M| 46 | - | 163 | 86 | 163 | 73 | 0 | 678 | 12k| 1.448960e+04 | 1.536000e+04 | 6.01%
1375.93/1376.37 c 1280s|520000 |162010 | 14141k| 27.2 | 103M| 46 | 13 | 163 | 92 | 163 | 73 | 0 | 690 | 12k| 1.450667e+04 | 1.536000e+04 | 5.88%
1398.43/1398.82 c 1301s|530000 |163968 | 14380k| 27.1 | 104M| 46 | - | 163 | 94 | 163 | 73 | 0 | 702 | 12k| 1.450667e+04 | 1.536000e+04 | 5.88%
1421.22/1421.63 c 1323s|540000 |165980 | 14620k| 27.1 | 106M| 46 | - | 163 | 90 | 163 | 73 | 0 | 717 | 12k| 1.450667e+04 | 1.536000e+04 | 5.88%
1443.72/1444.18 c 1343s|550000 |167972 | 14859k| 27.0 | 107M| 46 | 13 | 163 | 88 | 163 | 73 | 0 | 722 | 12k| 1.450667e+04 | 1.536000e+04 | 5.88%
1467.02/1467.41 c 1365s|560000 |170048 | 15103k| 27.0 | 109M| 46 | - | 163 | 85 | 163 | 73 | 0 | 731 | 12k| 1.450667e+04 | 1.536000e+04 | 5.88%
1490.70/1491.10 c 1387s|570000 |172056 | 15349k| 26.9 | 110M| 46 | 19 | 163 | 88 | 163 | 73 | 0 | 745 | 13k| 1.450667e+04 | 1.536000e+04 | 5.88%
1513.11/1513.57 c 1408s|580000 |173984 | 15585k| 26.9 | 112M| 46 | 13 | 163 | 85 | 163 | 73 | 0 | 756 | 13k| 1.450667e+04 | 1.536000e+04 | 5.88%
1536.20/1536.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.20/1536.68 c 1429s|590000 |176002 | 15826k| 26.8 | 113M| 46 | - | 163 | 92 | 163 | 73 | 0 | 779 | 13k| 1.450667e+04 | 1.536000e+04 | 5.88%
1557.48/1557.98 c 1449s|600000 |177676 | 16047k| 26.7 | 115M| 46 | - | 163 | 80 | 163 | 73 | 0 | 781 | 13k| 1.452800e+04 | 1.536000e+04 | 5.73%
1579.28/1579.75 c 1469s|610000 |179314 | 16271k| 26.7 | 116M| 46 | - | 163 | 81 | 163 | 73 | 0 | 785 | 13k| 1.452800e+04 | 1.536000e+04 | 5.73%
1600.78/1601.27 c 1489s|620000 |180842 | 16490k| 26.6 | 118M| 46 | - | 163 | 79 | 163 | 73 | 0 | 790 | 13k| 1.452800e+04 | 1.536000e+04 | 5.73%
1621.47/1621.98 c 1509s|630000 |182450 | 16708k| 26.5 | 119M| 46 | 17 | 163 | 80 | 163 | 73 | 0 | 799 | 13k| 1.454080e+04 | 1.536000e+04 | 5.63%
1643.07/1643.51 c 1528s|640000 |184206 | 16930k| 26.5 | 120M| 46 | 11 | 163 | 86 | 163 | 73 | 0 | 808 | 13k| 1.454080e+04 | 1.536000e+04 | 5.63%
1663.66/1664.15 c 1548s|650000 |185714 | 17144k| 26.4 | 122M| 46 | 16 | 163 | 80 | 163 | 73 | 0 | 815 | 14k| 1.454933e+04 | 1.536000e+04 | 5.57%
1684.15/1684.60 c 1567s|660000 |187082 | 17358k| 26.3 | 123M| 46 | - | 163 | 78 | 163 | 73 | 0 | 819 | 14k| 1.455543e+04 | 1.536000e+04 | 5.53%
1704.85/1705.32 c 1586s|670000 |188438 | 17572k| 26.2 | 124M| 46 | - | 163 | 78 | 163 | 73 | 0 | 825 | 14k| 1.459200e+04 | 1.536000e+04 | 5.26%
1725.94/1726.41 c 1605s|680000 |189944 | 17793k| 26.2 | 126M| 46 | 17 | 163 | 80 | 163 | 73 | 0 | 831 | 14k| 1.459200e+04 | 1.536000e+04 | 5.26%
1746.94/1747.47 c 1625s|690000 |191382 | 18011k| 26.1 | 127M| 46 | 17 | 163 | 81 | 163 | 73 | 0 | 841 | 14k| 1.459200e+04 | 1.536000e+04 | 5.26%
1767.44/1767.93 c 1644s|700000 |192738 | 18225k| 26.0 | 128M| 46 | 15 | 163 | 82 | 163 | 73 | 0 | 851 | 14k| 1.459200e+04 | 1.536000e+04 | 5.26%
1788.53/1789.05 c 1663s|710000 |194340 | 18446k| 26.0 | 129M| 46 | - | 163 | 84 | 163 | 73 | 0 | 858 | 14k| 1.459200e+04 | 1.536000e+04 | 5.26%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1673.92
1800.03/1800.50 c Solving Nodes : 715256
1800.03/1800.50 c Primal Bound : +1.53600000000000e+04 (459 solutions)
1800.03/1800.50 c Dual Bound : +1.45920000000000e+04
1800.03/1800.50 c Gap : 5.26 %
1800.03/1800.50 s SATISFIABLE
1800.03/1800.50 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.03/1800.50 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.03/1800.50 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.03/1800.50 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.03/1800.50 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1800.03/1800.50 v -x43 -x42 x41 -x40 -x39 x38 -x37 -x36 -x35 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x22 x21 -x20 -x19 x18 -x17 -x16
1800.03/1800.50 v x15 -x14 -x13 -x11 -x10 x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x163 x162 x161 -x116 -x45 -x34 -x23 x12 -x1
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1673.92
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2665587-1276351135.opb
1800.03/1800.51 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 73 initial, 73 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2665587-1276351135.opb
1800.03/1800.51 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 73 initial, 114 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.00 0 0 0 0 0 0 10 10
1800.03/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 480977 0 0 3533 0 0 955702
1800.03/1800.51 c knapsack : 73 1 1385775 0 0 799 2265 0 0 0
1800.03/1800.51 c logicor : 0+ 0 166415 0 0 0 0 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 29.07 0.00 0.00 29.07 0.00
1800.03/1800.51 c knapsack : 222.14 0.07 222.07 0.00 0.00
1800.03/1800.51 c logicor : 0.70 0.00 0.70 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 0.79 2 0 0
1800.03/1800.51 c rootredcost : 0.80 7 0 0
1800.03/1800.51 c pseudoobj : 14.94 1385848 84 31
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 0.08 881 865 936 33.3 0 0.0 -
1800.03/1800.51 c infeasible LP : 0.00 3 3 3 2.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 582 26.8 - - -
1800.03/1800.51 c applied locally : - - - 286 41.3 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 9.95 665997 0 1079350 0 0
1800.03/1800.51 c impliedbounds : 0.00 2 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.01 2 0 0 0 0
1800.03/1800.51 c strongcg : 0.01 2 0 0 0 0
1800.03/1800.51 c cmir : 0.00 2 0 0 0 0
1800.03/1800.51 c flowcover : 0.22 2 0 0 0 0
1800.03/1800.51 c clique : 0.00 1 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.05 1 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 28.27 480977 0 3533 0 0 955702
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c oneopt : 0.51 11 0
1800.03/1800.51 c crossover : 15.74 34 3
1800.03/1800.51 c objpscostdiving : 7.03 178 3
1800.03/1800.51 c rootsoldiving : 7.62 676 0
1800.03/1800.51 c coefdiving : 50.73 2582 12
1800.03/1800.51 c guideddiving : 82.24 3848 1
1800.03/1800.51 c veclendiving : 54.44 4411 9
1800.03/1800.51 c fracdiving : 98.31 4715 2
1800.03/1800.51 c linesearchdiving : 49.30 4715 3
1800.03/1800.51 c pscostdiving : 99.81 4715 0
1800.03/1800.51 c trivial : 0.00 2 0
1800.03/1800.51 c simplerounding : 3.13 480978 6
1800.03/1800.51 c zirounding : 1.14 14851 297
1800.03/1800.51 c rounding : 1.82 33328 1
1800.03/1800.51 c shifting : 2.92 30530 121
1800.03/1800.51 c intshifting : 0.04 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.02 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.70 1 1
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.35 0 0
1800.03/1800.51 c trysol : 0.72 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 936.75 718393 14226136 19.80 15186.69
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 323.56 454044 4339695 9.56 13412.33
1800.03/1800.51 c strong branching : 19.61 14778 260172 17.61 13267.31
1800.03/1800.51 c (at root node) : - 33 1449 43.91 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 715256
1800.03/1800.51 c nodes (total) : 715256
1800.03/1800.51 c nodes left : 195240
1800.03/1800.51 c max depth : 46
1800.03/1800.51 c max depth (total): 46
1800.03/1800.51 c backtracks : 125880 (17.6%)
1800.03/1800.51 c delayed cutoffs : 0
1800.03/1800.51 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.51 c avg switch length: 5.83
1800.03/1800.51 c switching time : 21.93
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 459 (14 improvements)
1800.03/1800.51 c First Solution : +3.68640000000000e+04 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <rounding>)
1800.03/1800.51 c Primal Bound : +1.53600000000000e+04 (in run 1, after 132557 nodes, 375.42 seconds, depth 48, found by <fracdiving>)
1800.03/1800.51 c Dual Bound : +1.45920000000000e+04
1800.03/1800.51 c Gap : 5.26 %
1800.03/1800.51 c Root Dual Bound : +1.33120000000000e+04
1800.03/1800.51 c Root Iterations : 60
1800.72/1801.20 c Time complete: 1800.73.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665587-1276351135/watcher-2665587-1276351135 -o /tmp/evaluation-result-2665587-1276351135/solver-2665587-1276351135 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665587-1276351135.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.37 2.44 1.94 3/106 13061
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=9288 CPUtime=0
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 1047 0 0 0 0 0 0 0 18 0 1 0 8769867 9510912 967 1992294400 4194304 9819077 140734391084336 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13061/statm: 2322 977 371 1374 0 943 0
[startup+0.01595 s]
/proc/loadavg: 2.37 2.44 1.94 3/106 13061
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=10728 CPUtime=0.01
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 1623 0 0 0 1 0 0 0 18 0 1 0 8769867 10985472 1543 1992294400 4194304 9819077 140734391084336 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13061/statm: 2682 1543 388 1374 0 1303 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10728
[startup+0.100957 s]
/proc/loadavg: 2.37 2.44 1.94 3/106 13061
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=17420 CPUtime=0.09
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 3898 0 0 0 8 1 0 0 20 0 1 0 8769867 17838080 2934 1992294400 4194304 9819077 140734391084336 18446744073709551615 4878527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 4355 2934 651 1374 0 2976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17420
[startup+0.300977 s]
/proc/loadavg: 2.37 2.44 1.94 3/106 13061
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=26024 CPUtime=0.29
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 5938 0 0 0 27 2 0 0 20 0 1 0 8769867 26648576 4974 1992294400 4194304 9819077 140734391084336 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 6506 4976 673 1374 0 5127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26024
[startup+0.701015 s]
/proc/loadavg: 2.37 2.44 1.94 3/106 13061
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=30768 CPUtime=0.69
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13081 0 0 0 62 7 0 0 21 0 1 0 8769867 31506432 5688 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 7447 5683 707 1374 0 6068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30768
[startup+1.50109 s]
/proc/loadavg: 2.37 2.44 1.94 2/107 13062
/proc/meminfo: memFree=1480316/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=22372 CPUtime=1.49
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 19723 0 0 0 136 13 0 0 23 0 1 0 8769867 22908928 4269 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 5593 4269 715 1374 0 4214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22372
[startup+3.10124 s]
/proc/loadavg: 2.37 2.44 1.94 2/107 13062
/proc/meminfo: memFree=1485400/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=22560 CPUtime=3.09
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 21323 0 0 0 293 16 0 0 25 0 1 0 8769867 23101440 4270 1992294400 4194304 9819077 140734391084336 18446744073709551615 7309876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 5640 4270 715 1374 0 4261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22560
[startup+6.30155 s]
/proc/loadavg: 2.26 2.42 1.93 2/107 13064
/proc/meminfo: memFree=1485028/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=21808 CPUtime=6.29
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 32402 0 0 0 597 32 0 0 25 0 1 0 8769867 22331392 4273 1992294400 4194304 9819077 140734391084336 18446744073709551615 6371772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 5452 4273 719 1374 0 4073 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21808
[startup+12.7012 s]
/proc/loadavg: 2.16 2.40 1.93 2/107 13064
/proc/meminfo: memFree=1485152/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=22644 CPUtime=12.69
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 45477 0 0 0 1215 54 0 0 25 0 1 0 8769867 23187456 4371 1992294400 4194304 9819077 140734391084336 18446744073709551615 7282354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 5706 4372 719 1374 0 4327 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22644
[startup+25.5014 s]
/proc/loadavg: 1.90 2.33 1.91 2/107 13064
/proc/meminfo: memFree=1483788/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=24516 CPUtime=25.49
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 115187 0 0 0 2420 129 0 0 25 0 1 0 8769867 25104384 4756 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 6129 4756 719 1374 0 4750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24516
[startup+51.1019 s]
/proc/loadavg: 1.59 2.22 1.88 2/107 13064
/proc/meminfo: memFree=1481804/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=26632 CPUtime=51.08
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 295648 0 0 0 4814 294 0 0 25 0 1 0 8769867 27271168 5251 1992294400 4194304 9819077 140734391084336 18446744073709551615 4854137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 6658 5251 719 1374 0 5279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26632
[startup+102.309 s]
/proc/loadavg: 1.26 2.03 1.84 2/107 13066
/proc/meminfo: memFree=1475356/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=32444 CPUtime=102.28
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 678883 0 0 0 9584 644 0 0 25 0 1 0 8769867 33222656 6743 1992294400 4194304 9819077 140734391084336 18446744073709551615 4854121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 8111 6743 720 1374 0 6732 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32444
[startup+162.302 s]
/proc/loadavg: 1.09 1.84 1.78 2/107 13077
/proc/meminfo: memFree=1466180/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=41048 CPUtime=162.24
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 1124847 0 0 0 15172 1052 0 0 25 0 1 0 8769867 42033152 8966 1992294400 4194304 9819077 140734391084336 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 10262 8966 720 1374 0 8883 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 41048
[startup+222.301 s]
/proc/loadavg: 1.03 1.68 1.73 2/107 13077
/proc/meminfo: memFree=1461964/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=44644 CPUtime=222.22
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 1590322 0 0 0 20753 1469 0 0 25 0 1 0 8769867 45715456 9879 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 11161 9879 720 1374 0 9782 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44644
[startup+282.301 s]
/proc/loadavg: 1.01 1.56 1.68 2/107 13079
/proc/meminfo: memFree=1458492/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=48140 CPUtime=282.21
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 2073432 0 0 0 26314 1907 0 0 25 0 1 0 8769867 49295360 10759 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 12035 10759 720 1374 0 10656 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 48140
[startup+342.301 s]
/proc/loadavg: 1.00 1.45 1.63 2/107 13081
/proc/meminfo: memFree=1452292/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=54084 CPUtime=342.19
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 2560101 0 0 0 31882 2337 0 0 25 0 1 0 8769867 55382016 12297 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 13521 12297 720 1374 0 12142 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54084
[startup+402.301 s]
/proc/loadavg: 1.00 1.37 1.59 2/107 13083
/proc/meminfo: memFree=1437164/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=62108 CPUtime=402.18
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 3043469 0 0 0 37456 2762 0 0 25 0 1 0 8769867 63598592 14323 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 15527 14323 720 1374 0 14148 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 62108
[startup+462.3 s]
/proc/loadavg: 1.00 1.30 1.55 2/107 13085
/proc/meminfo: memFree=1443984/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=62040 CPUtime=462.16
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 3529457 0 0 0 43031 3185 0 0 25 0 1 0 8769867 63528960 14340 1992294400 4194304 9819077 140734391084336 18446744073709551615 6372754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 15258 14335 721 1374 0 13879 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 62040
[startup+522.301 s]
/proc/loadavg: 1.00 1.24 1.52 2/107 13085
/proc/meminfo: memFree=1443488/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=62872 CPUtime=522.15
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 4001675 0 0 0 48603 3612 0 0 25 0 1 0 8769867 64380928 14583 1992294400 4194304 9819077 140734391084336 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 15718 14585 723 1374 0 14339 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 62872
[startup+582.301 s]
/proc/loadavg: 1.00 1.19 1.48 2/107 13087
/proc/meminfo: memFree=1441008/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=65596 CPUtime=582.14
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 4471127 0 0 0 54178 4036 0 0 25 0 1 0 8769867 67170304 15221 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 16399 15221 723 1374 0 15020 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 65596
[startup+642.301 s]
/proc/loadavg: 1.00 1.16 1.45 2/107 13089
/proc/meminfo: memFree=1435800/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=72700 CPUtime=642.12
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 4942237 0 0 0 59757 4455 0 0 25 0 1 0 8769867 74444800 16516 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 18175 16516 723 1374 0 16796 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 72700
[startup+702.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.04 1.29 2/107 13099
/proc/meminfo: memFree=1400956/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=106404 CPUtime=1002.03
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 7744677 0 0 0 93247 6956 0 0 25 0 1 0 8769867 108957696 25150 1992294400 4194304 9819077 140734391084336 18446744073709551615 6567630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 26601 25150 729 1374 0 25222 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 106404
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.27 2/107 13101
/proc/meminfo: memFree=1396864/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=110076 CPUtime=1062.02
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 8204774 0 0 0 98829 7373 0 0 25 0 1 0 8769867 112717824 26149 1992294400 4194304 9819077 140734391084336 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 27431 26145 729 1374 0 26052 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 110076
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/107 13101
/proc/meminfo: memFree=1392028/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=115232 CPUtime=1121.99
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 8659145 0 0 0 104421 7778 0 0 25 0 1 0 8769867 117997568 27381 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 28808 27381 729 1374 0 27429 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 115232
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 13103
/proc/meminfo: memFree=1388680/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=118352 CPUtime=1181.98
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 9120180 0 0 0 110007 8191 0 0 25 0 1 0 8769867 121192448 28180 1992294400 4194304 9819077 140734391084336 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 29588 28180 729 1374 0 28209 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 118352
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/107 13105
/proc/meminfo: memFree=1383968/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=122984 CPUtime=1241.97
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 9584491 0 0 0 115581 8616 0 0 25 0 1 0 8769867 125935616 29362 1992294400 4194304 9819077 140734391084336 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 30746 29362 729 1374 0 29367 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 122984
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/107 13107
/proc/meminfo: memFree=1374420/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=132408 CPUtime=1301.96
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 10053013 0 0 0 121161 9035 0 0 25 0 1 0 8769867 135585792 31741 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 33102 31741 729 1374 0 31723 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 132408
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 13109
/proc/meminfo: memFree=1371692/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=134952 CPUtime=1361.94
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 10523126 0 0 0 126733 9461 0 0 25 0 1 0 8769867 138190848 32407 1992294400 4194304 9819077 140734391084336 18446744073709551615 6581308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 33738 32407 729 1374 0 32359 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 134952
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 13109
/proc/meminfo: memFree=1367228/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=139268 CPUtime=1421.93
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 10988878 0 0 0 132314 9879 0 0 25 0 1 0 8769867 142610432 33504 1992294400 4194304 9819077 140734391084336 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 34817 33504 729 1374 0 33438 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 139268
[startup+1482.3 s]
/proc/loadavg: 1.08 1.02 1.16 2/107 13111
/proc/meminfo: memFree=1363756/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=142568 CPUtime=1481.91
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 11457120 0 0 0 137891 10300 0 0 25 0 1 0 8769867 145989632 34359 1992294400 4194304 9819077 140734391084336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 35642 34359 729 1374 0 34263 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 142568
[startup+1542.3 s]
/proc/loadavg: 1.10 1.03 1.16 2/107 13113
/proc/meminfo: memFree=1361028/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=145360 CPUtime=1541.89
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 11922430 0 0 0 143464 10725 0 0 25 0 1 0 8769867 148848640 35079 1992294400 4194304 9819077 140734391084336 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 36340 35079 729 1374 0 34961 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 145360
[startup+1602.3 s]
/proc/loadavg: 1.10 1.04 1.15 2/107 13115
/proc/meminfo: memFree=1358300/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=147996 CPUtime=1601.88
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 12396915 0 0 0 149031 11157 0 0 25 0 1 0 8769867 151547904 35748 1992294400 4194304 9819077 140734391084336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 36999 35748 729 1374 0 35620 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 147996
[startup+1662.3 s]
/proc/loadavg: 1.10 1.04 1.14 2/107 13117
/proc/meminfo: memFree=1355324/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=150892 CPUtime=1661.86
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 12870634 0 0 0 154592 11594 0 0 25 0 1 0 8769867 154513408 36496 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 37723 36496 729 1374 0 36344 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 150892
[startup+1722.3 s]
/proc/loadavg: 1.17 1.06 1.14 2/107 13117
/proc/meminfo: memFree=1350860/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=155344 CPUtime=1721.85
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13346237 0 0 0 160150 12035 0 0 25 0 1 0 8769867 159072256 37596 1992294400 4194304 9819077 140734391084336 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 38836 37596 729 1374 0 37457 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 155344
[startup+1782.3 s]
/proc/loadavg: 1.11 1.06 1.14 2/107 13119
/proc/meminfo: memFree=1346024/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=160056 CPUtime=1781.83
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13818897 0 0 0 165701 12482 0 0 25 0 1 0 8769867 163897344 38793 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 40014 38793 729 1374 0 38635 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 160056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.08 1.06 1.13 2/107 13119
/proc/meminfo: memFree=1342676/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=163344 CPUtime=1800.03
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13961558 0 0 0 167392 12611 0 0 25 0 1 0 8769867 167264256 39618 1992294400 4194304 9819077 140734391084336 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13061/statm: 40836 39618 729 1374 0 39457 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 163344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.08 1.06 1.13 2/108 13120
/proc/meminfo: memFree=1342668/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=163344 CPUtime=1800.14
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13961567 0 0 0 167403 12611 0 0 25 0 1 0 8769867 167264256 39617 1992294400 4194304 9819077 140734391084336 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13061/statm: 40836 39617 730 1374 0 39457 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 163344
[startup+1801 s]
/proc/loadavg: 1.08 1.06 1.13 2/108 13120
/proc/meminfo: memFree=1342668/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=162316 CPUtime=1800.53
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13961567 0 0 0 167442 12611 0 0 25 0 1 0 8769867 166211584 39361 1992294400 4194304 9819077 140734391084336 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13061/statm: 40579 39361 730 1374 0 39200 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 162316
[startup+1801.2 s]
/proc/loadavg: 1.08 1.06 1.13 2/108 13120
/proc/meminfo: memFree=1342668/2059040 swapFree=4192956/4192956
[pid=13061] ppid=13059 vsize=58096 CPUtime=1800.72
/proc/13061/stat : 13061 (pbscip.linux.x8) R 13059 13061 12965 0 -1 4202496 13961567 0 0 0 167460 12612 0 0 25 0 1 0 8769867 59490304 13538 1992294400 4194304 9819077 140734391084336 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13061/statm: 14463 13417 730 1374 0 13084 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 58096
Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.75
CPU user time (s): 1674.61
CPU system time (s): 126.138
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 163364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.61
system time used= 126.138
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13961571
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= 2
involuntary context switches= 21918
runsolver used 3.06953 second user time and 8.41672 second system time
The end