0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667017-1276351143.opb>
0.00/0.02 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.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.00/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.03/0.08 c (0.1s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.08 c presolving (3 rounds):
0.03/0.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 10 changed coefficients
0.03/0.08 c 200 implications, 0 cliques
0.03/0.08 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.03/0.08 c 73 constraints of type <knapsack>
0.03/0.08 c transformed objective value is always integral (scale: 1)
0.03/0.08 c Presolving Time: 0.05
0.03/0.08 c - non default parameters ----------------------------------------------------------------------
0.03/0.08 c # SCIP version 1.2.1.2
0.03/0.08 c
0.03/0.08 c # frequency for displaying node information lines
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.08 c display/freq = 10000
0.03/0.08 c
0.03/0.08 c # maximal time in seconds to run
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/time = 1799.99
0.03/0.08 c
0.03/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/memory = 1620
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify inequalities
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/linear/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify knapsacks
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c separating/rapidlearning/freq = 0
0.03/0.08 c
0.03/0.08 c -----------------------------------------------------------------------------------------------
0.03/0.08 c start solving
0.03/0.08 c
0.03/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.03/0.09 c 0.1s| 1 | 0 | 122 | - |1545k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | -- | Inf
0.03/0.09 o 36352
0.03/0.09 c R 0.1s| 1 | 0 | 122 | - |1548k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.635200e+04 | 173.08%
0.03/0.09 o 35328
0.03/0.09 c s 0.1s| 1 | 0 | 122 | - |1551k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.532800e+04 | 165.38%
0.29/0.36 c 0.3s| 1 | 0 | 123 | - |1700k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 3.532800e+04 | 165.38%
0.29/0.36 o 17408
0.29/0.36 c b 0.3s| 1 | 0 | 123 | - |1703k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
1.00/1.07 o 16384
1.00/1.07 c E 1.0s| 1 | 0 | 123 | - |1705k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.00/1.08 c 1.0s| 1 | 0 | 123 | - |1705k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.29/1.37 c 1.3s| 1 | 2 | 123 | - |1706k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 33 | 1.331200e+04 | 1.638400e+04 | 23.08%
8.49/8.56 o 16384
8.49/8.56 c s 8.3s| 24 | 21 | 3469 | 145.5 |1795k| 13 | 7 | 163 | 73 | 163 | 79 | 8 | 0 | 392 | 1.352533e+04 | 1.638400e+04 | 21.14%
9.99/10.03 o 16384
9.99/10.03 c z 9.7s| 95 | 76 | 12034 | 126.7 |1960k| 21 | 26 | 163 | 73 | 163 | 79 | 8 | 0 | 434 | 1.352533e+04 | 1.638400e+04 | 21.14%
22.08/22.13 o 16384
22.08/22.13 c z21.4s| 828 | 735 |122276 | 147.7 |2270k| 31 | 36 | 163 | 73 | 163 | 79 | 8 | 7 | 550 | 1.408000e+04 | 1.638400e+04 | 16.36%
50.77/50.87 o 15892
50.77/50.87 c p49.3s| 2938 | 2803 |405714 | 138.1 |3166k| 32 | - | 163 | 75 | 163 | 79 | 8 | 23 | 638 | 1.408000e+04 | 1.589200e+04 | 12.87%
50.77/50.87 o 15883
50.77/50.87 c b49.3s| 2939 | 2804 |405729 | 138.1 |3116k| 32 | 17 | 163 | 75 | 163 | 79 | 8 | 23 | 638 | 1.408000e+04 | 1.588300e+04 | 12.81%
60.48/60.53 o 15880
60.48/60.53 c v58.6s| 3604 | 3467 |499773 | 138.7 |3450k| 32 | - | 163 | 75 | 163 | 79 | 8 | 23 | 664 | 1.408000e+04 | 1.588000e+04 | 12.78%
138.75/138.81 c 134s| 10000 | 9663 | 1280k| 128.1 |6748k| 36 | 18 | 163 | 108 | 163 | 79 | 8 | 67 |1242 | 1.420800e+04 | 1.588000e+04 | 11.77%
201.43/201.53 o 15360
201.43/201.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.43/201.53 c f 195s| 16090 | 9756 | 1920k| 119.4 |6426k| 37 | - | 163 | 108 | 163 | 79 | 8 | 91 |1687 | 1.420800e+04 | 1.536000e+04 | 8.11%
230.72/230.88 c 223s| 20000 | 12202 | 2202k| 110.1 |7733k| 37 | 21 | 163 | 105 | 163 | 79 | 8 | 95 |1972 | 1.420800e+04 | 1.536000e+04 | 8.11%
293.51/293.65 c 284s| 30000 | 18154 | 2816k| 93.9 | 10M| 37 | - | 163 | 93 | 163 | 79 | 8 | 104 |2562 | 1.425067e+04 | 1.536000e+04 | 7.78%
342.29/342.46 c 331s| 40000 | 23512 | 3298k| 82.5 | 14M| 38 | - | 163 | 87 | 163 | 79 | 8 | 114 |2990 | 1.433600e+04 | 1.536000e+04 | 7.14%
388.68/388.86 c 375s| 50000 | 28696 | 3761k| 75.2 | 16M| 44 | 12 | 163 | 86 | 163 | 79 | 8 | 120 |3414 | 1.433600e+04 | 1.536000e+04 | 7.14%
432.76/432.95 c 418s| 60000 | 33594 | 4195k| 69.9 | 19M| 44 | 8 | 163 | 91 | 163 | 79 | 8 | 134 |3796 | 1.433600e+04 | 1.536000e+04 | 7.14%
474.26/474.46 c 458s| 70000 | 38568 | 4613k| 65.9 | 22M| 44 | 14 | 163 | 93 | 163 | 79 | 8 | 143 |4142 | 1.433600e+04 | 1.536000e+04 | 7.14%
519.94/520.18 c 502s| 80000 | 43890 | 5075k| 63.4 | 25M| 44 | 11 | 163 | 95 | 163 | 79 | 8 | 163 |4410 | 1.433600e+04 | 1.536000e+04 | 7.14%
559.32/559.51 c 540s| 90000 | 48368 | 5469k| 60.8 | 28M| 44 | 25 | 163 | 93 | 163 | 79 | 8 | 177 |4629 | 1.433600e+04 | 1.536000e+04 | 7.14%
602.53/602.71 c 581s|100000 | 53102 | 5904k| 59.0 | 30M| 44 | 25 | 163 | 92 | 163 | 79 | 8 | 186 |4890 | 1.433600e+04 | 1.536000e+04 | 7.14%
647.61/647.82 c 624s|110000 | 58170 | 6366k| 57.9 | 33M| 44 | 14 | 163 | 92 | 163 | 79 | 8 | 199 |5080 | 1.433600e+04 | 1.536000e+04 | 7.14%
692.69/692.98 c 668s|120000 | 63362 | 6827k| 56.9 | 36M| 44 | 14 | 163 | 94 | 163 | 79 | 8 | 212 |5308 | 1.433600e+04 | 1.536000e+04 | 7.14%
736.27/736.59 c 710s|130000 | 68080 | 7266k| 55.9 | 39M| 44 | 22 | 163 | 95 | 163 | 79 | 8 | 230 |5526 | 1.433600e+04 | 1.536000e+04 | 7.14%
775.77/776.08 c 748s|140000 | 72064 | 7667k| 54.8 | 41M| 44 | - | 163 | 95 | 163 | 79 | 8 | 246 |5710 | 1.433600e+04 | 1.536000e+04 | 7.14%
816.86/817.10 c 787s|150000 | 76380 | 8082k| 53.9 | 44M| 44 | 14 | 163 | 103 | 163 | 79 | 8 | 267 |5920 | 1.433600e+04 | 1.536000e+04 | 7.14%
858.54/858.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.54/858.80 c 827s|160000 | 81014 | 8505k| 53.2 | 46M| 44 | 15 | 163 | 112 | 163 | 79 | 8 | 287 |6118 | 1.433600e+04 | 1.536000e+04 | 7.14%
899.83/900.17 c 867s|170000 | 86112 | 8923k| 52.5 | 49M| 44 | 8 | 163 | 104 | 163 | 79 | 8 | 299 |6299 | 1.433600e+04 | 1.536000e+04 | 7.14%
943.52/943.90 c 909s|180000 | 90876 | 9366k| 52.0 | 52M| 44 | 21 | 163 | 104 | 163 | 79 | 8 | 317 |6499 | 1.433600e+04 | 1.536000e+04 | 7.14%
987.00/987.31 c 951s|190000 | 96458 | 9810k| 51.6 | 55M| 44 | 15 | 163 | 105 | 163 | 79 | 8 | 329 |6644 | 1.433600e+04 | 1.536000e+04 | 7.14%
1029.99/1030.39 c 993s|200000 |102010 | 10253k| 51.3 | 58M| 44 | - | 163 | 112 | 163 | 79 | 8 | 342 |6856 | 1.433600e+04 | 1.536000e+04 | 7.14%
1069.48/1069.83 c 1030s|210000 |107322 | 10646k| 50.7 | 61M| 44 | 16 | 163 | 119 | 163 | 79 | 8 | 361 |7049 | 1.433600e+04 | 1.536000e+04 | 7.14%
1110.16/1110.59 c 1070s|220000 |112166 | 11055k| 50.3 | 64M| 44 | 11 | 163 | 105 | 163 | 79 | 8 | 374 |7216 | 1.436444e+04 | 1.536000e+04 | 6.93%
1145.35/1145.73 c 1103s|230000 |115676 | 11409k| 49.6 | 66M| 44 | 12 | 163 | 92 | 163 | 79 | 8 | 384 |7357 | 1.438255e+04 | 1.536000e+04 | 6.80%
1181.05/1181.42 c 1138s|240000 |119280 | 11768k| 49.0 | 68M| 44 | 23 | 163 | 90 | 163 | 79 | 8 | 396 |7473 | 1.439289e+04 | 1.536000e+04 | 6.72%
1216.43/1216.81 c 1172s|250000 |122752 | 12123k| 48.5 | 70M| 44 | 20 | 163 | 95 | 163 | 79 | 8 | 415 |7600 | 1.440000e+04 | 1.536000e+04 | 6.67%
1251.92/1252.34 c 1206s|260000 |126122 | 12479k| 48.0 | 73M| 44 | 15 | 163 | 105 | 163 | 79 | 8 | 442 |7734 | 1.440914e+04 | 1.536000e+04 | 6.60%
1286.31/1286.75 c 1239s|270000 |129376 | 12823k| 47.5 | 75M| 44 | 12 | 163 | 93 | 163 | 79 | 8 | 449 |7890 | 1.442133e+04 | 1.536000e+04 | 6.51%
1319.69/1320.12 c 1271s|280000 |132562 | 13154k| 47.0 | 77M| 44 | - | 163 | 90 | 163 | 79 | 8 | 461 |8002 | 1.442133e+04 | 1.536000e+04 | 6.51%
1351.59/1352.08 c 1302s|290000 |135510 | 13474k| 46.5 | 79M| 44 | 10 | 163 | 89 | 163 | 79 | 8 | 475 |8136 | 1.442909e+04 | 1.536000e+04 | 6.45%
1382.78/1383.26 c 1332s|300000 |138492 | 13782k| 45.9 | 81M| 44 | 14 | 163 | 85 | 163 | 79 | 8 | 487 |8272 | 1.443840e+04 | 1.536000e+04 | 6.38%
1411.77/1412.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.77/1412.24 c 1360s|310000 |141308 | 14067k| 45.4 | 83M| 44 | - | 163 | 84 | 163 | 79 | 8 | 498 |8386 | 1.444571e+04 | 1.536000e+04 | 6.33%
1442.45/1442.95 c 1389s|320000 |144298 | 14369k| 44.9 | 85M| 44 | 14 | 163 | 88 | 163 | 79 | 8 | 510 |8487 | 1.446400e+04 | 1.536000e+04 | 6.19%
1471.65/1472.10 c 1417s|330000 |147100 | 14657k| 44.4 | 87M| 44 | 19 | 163 | 86 | 163 | 79 | 8 | 516 |8577 | 1.446400e+04 | 1.536000e+04 | 6.19%
1500.24/1500.72 c 1445s|340000 |149702 | 14941k| 43.9 | 89M| 44 | 18 | 163 | 88 | 163 | 79 | 8 | 525 |8681 | 1.446400e+04 | 1.536000e+04 | 6.19%
1530.64/1531.20 c 1474s|350000 |152616 | 15241k| 43.5 | 91M| 44 | 13 | 163 | 89 | 163 | 79 | 8 | 537 |8816 | 1.446400e+04 | 1.536000e+04 | 6.19%
1558.14/1558.65 c 1500s|360000 |155202 | 15508k| 43.1 | 93M| 44 | 17 | 163 | 86 | 163 | 79 | 8 | 544 |8962 | 1.447564e+04 | 1.536000e+04 | 6.11%
1584.52/1585.09 c 1526s|370000 |157676 | 15767k| 42.6 | 94M| 44 | 11 | 163 | 84 | 163 | 79 | 8 | 547 |9036 | 1.448960e+04 | 1.536000e+04 | 6.01%
1610.71/1611.29 c 1551s|380000 |159874 | 16021k| 42.2 | 96M| 44 | - | 163 | 81 | 163 | 79 | 8 | 556 |9160 | 1.449600e+04 | 1.536000e+04 | 5.96%
1639.40/1639.93 c 1578s|390000 |162370 | 16307k| 41.8 | 98M| 44 | 23 | 163 | 85 | 163 | 79 | 8 | 562 |9280 | 1.450667e+04 | 1.536000e+04 | 5.88%
1668.30/1668.88 c 1606s|400000 |164848 | 16592k| 41.5 | 100M| 44 | 16 | 163 | 81 | 163 | 79 | 8 | 564 |9382 | 1.450667e+04 | 1.536000e+04 | 5.88%
1695.48/1696.05 c 1632s|410000 |167136 | 16862k| 41.1 | 101M| 44 | - | 163 | 80 | 163 | 79 | 8 | 567 |9501 | 1.450667e+04 | 1.536000e+04 | 5.88%
1722.78/1723.39 c 1658s|420000 |169434 | 17135k| 40.8 | 103M| 44 | 16 | 163 | 79 | 163 | 79 | 8 | 570 |9612 | 1.450667e+04 | 1.536000e+04 | 5.88%
1750.36/1750.92 c 1685s|430000 |171690 | 17411k| 40.5 | 105M| 44 | - | 163 | 78 | 163 | 79 | 8 | 571 |9754 | 1.450667e+04 | 1.536000e+04 | 5.88%
1777.26/1777.84 c 1711s|440000 |174036 | 17674k| 40.2 | 106M| 44 | - | 163 | 78 | 163 | 79 | 8 | 573 |9847 | 1.450667e+04 | 1.536000e+04 | 5.88%
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1732.58
1800.06/1800.61 c Solving Nodes : 448472
1800.06/1800.61 c Primal Bound : +1.53600000000000e+04 (343 solutions)
1800.06/1800.61 c Dual Bound : +1.45246315789474e+04
1800.06/1800.61 c Gap : 5.75 %
1800.06/1800.61 s SATISFIABLE
1800.06/1800.61 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.06/1800.61 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1800.06/1800.61 v -x117 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.06/1800.61 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.06/1800.61 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.06/1800.61 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.06/1800.61 v -x15 -x14 -x13 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 -x3 x2 -x163 -x162 -x161 x116 -x45 x34 -x23 -x12 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1732.58
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2667017-1276351143.opb
1800.06/1800.61 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 73 initial, 73 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2667017-1276351143.opb
1800.06/1800.61 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 73 initial, 120 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 0 10 10
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 318238 0 1 3463 0 0 630184
1800.06/1800.61 c knapsack : 73 2 1018784 0 0 505 1948 44 0 0
1800.06/1800.61 c logicor : 0+ 0 106719 0 0 0 0 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 27.71 0.00 0.00 27.71 0.00
1800.06/1800.61 c knapsack : 167.56 0.13 167.43 0.00 0.00
1800.06/1800.61 c logicor : 0.44 0.00 0.44 0.00 0.00
1800.06/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 0.61 2 0 0
1800.06/1800.61 c rootredcost : 0.51 4 0 0
1800.06/1800.61 c pseudoobj : 11.56 1018775 59 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 0.06 564 563 659 36.3 0 0.0 -
1800.06/1800.61 c infeasible LP : 0.00 13 13 13 4.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 386 26.0 - - -
1800.06/1800.61 c applied locally : - - - 190 45.8 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 1 - - 0 - (maximal pool size: 44)
1800.06/1800.61 c redcost : 6.13 437870 0 663479 0 0
1800.06/1800.61 c impliedbounds : 0.00 3 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.01 3 0 0 0 0
1800.06/1800.61 c strongcg : 0.01 3 0 0 0 0
1800.06/1800.61 c cmir : 0.02 3 0 0 22 0
1800.06/1800.61 c flowcover : 0.34 3 0 0 22 0
1800.06/1800.61 c clique : 0.00 1 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 1 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.06 1 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 27.14 318238 1 3463 0 0 630184
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c oneopt : 0.26 9 2
1800.06/1800.61 c crossover : 3.14 12 2
1800.06/1800.61 c objpscostdiving : 14.08 687 10
1800.06/1800.61 c coefdiving : 56.91 2031 3
1800.06/1800.61 c guideddiving : 80.07 2579 0
1800.06/1800.61 c rootsoldiving : 16.07 1505 10
1800.06/1800.61 c fracdiving : 85.89 3336 6
1800.06/1800.61 c pscostdiving : 90.96 3818 6
1800.06/1800.61 c veclendiving : 50.18 3818 2
1800.06/1800.61 c linesearchdiving : 43.16 3819 1
1800.06/1800.61 c trivial : 0.00 2 0
1800.06/1800.61 c simplerounding : 1.86 318239 18
1800.06/1800.61 c zirounding : 1.03 11401 228
1800.06/1800.61 c rounding : 1.56 26933 1
1800.06/1800.61 c shifting : 1.88 17354 53
1800.06/1800.61 c intshifting : 0.01 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.04 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.48 1 1
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 0.20 0 0
1800.06/1800.61 c trysol : 0.44 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 1105.16 451618 13816091 30.59 12501.44
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 314.10 445410 4082436 9.17 12997.25
1800.06/1800.61 c strong branching : 21.93 9940 241784 24.32 11025.26
1800.06/1800.61 c (at root node) : - 33 1419 43.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 448472
1800.06/1800.61 c nodes (total) : 448472
1800.06/1800.61 c nodes left : 175916
1800.06/1800.61 c max depth : 44
1800.06/1800.61 c max depth (total): 44
1800.06/1800.61 c backtracks : 78829 (17.6%)
1800.06/1800.61 c delayed cutoffs : 0
1800.06/1800.61 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.61 c avg switch length: 5.95
1800.06/1800.61 c switching time : 14.30
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 343 (11 improvements)
1800.06/1800.61 c First Solution : +3.63520000000000e+04 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <rounding>)
1800.06/1800.61 c Primal Bound : +1.53600000000000e+04 (in run 1, after 16090 nodes, 194.79 seconds, depth 32, found by <fracdiving>)
1800.06/1800.61 c Dual Bound : +1.45246315789474e+04
1800.06/1800.61 c Gap : 5.75 %
1800.06/1800.61 c Root Dual Bound : +1.33120000000000e+04
1800.06/1800.61 c Root Iterations : 123
1800.55/1801.14 c Time complete: 1800.6.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667017-1276351143/watcher-2667017-1276351143 -o /tmp/evaluation-result-2667017-1276351143/solver-2667017-1276351143 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667017-1276351143.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: 1.00 1.00 1.00 3/106 11898
/proc/meminfo: memFree=1910868/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=7724 CPUtime=0
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 10700718 7909376 970 1992294400 4194304 8223781 140733937958640 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11898/statm: 1931 979 348 984 0 944 0
[startup+0.0381939 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11898
/proc/meminfo: memFree=1910868/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=13188 CPUtime=0.03
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 2977 0 0 0 2 1 0 0 20 0 1 0 10700718 13504512 2275 1992294400 4194304 8223781 140733937958640 18446744073709551615 4443004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 3297 2275 454 984 0 2310 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13188
[startup+0.101185 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11898
/proc/meminfo: memFree=1910868/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=14976 CPUtime=0.09
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 3880 0 0 0 8 1 0 0 20 0 1 0 10700718 15335424 2867 1992294400 4194304 8223781 140733937958640 18446744073709551615 4876321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 3744 2867 549 984 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14976
[startup+0.301206 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11898
/proc/meminfo: memFree=1910868/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=19040 CPUtime=0.29
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 4797 0 0 0 27 2 0 0 20 0 1 0 10700718 19496960 3784 1992294400 4194304 8223781 140733937958640 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4760 3785 567 984 0 3773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19040
[startup+0.701245 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11898
/proc/meminfo: memFree=1910868/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=28180 CPUtime=0.69
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 10268 0 0 0 64 5 0 0 20 0 1 0 10700718 28856320 5759 1992294400 4194304 8223781 140733937958640 18446744073709551615 4855327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 7045 5759 585 984 0 6058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28180
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11899
/proc/meminfo: memFree=1890152/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=18984 CPUtime=1.49
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 10330 0 0 0 141 8 0 0 23 0 1 0 10700718 19439616 3816 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4746 3816 586 984 0 3759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18984
[startup+3.10049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11899
/proc/meminfo: memFree=1897220/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=18984 CPUtime=3.09
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 10495 0 0 0 296 13 0 0 25 0 1 0 10700718 19439616 3816 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4746 3816 586 984 0 3759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18984
[startup+6.30081 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11899
/proc/meminfo: memFree=1897096/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=18984 CPUtime=6.29
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 10716 0 0 0 609 20 0 0 25 0 1 0 10700718 19439616 3816 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4746 3816 586 984 0 3759 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18984
[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11899
/proc/meminfo: memFree=1889904/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=19380 CPUtime=12.69
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 14338 0 0 0 1226 43 0 0 25 0 1 0 10700718 19845120 3916 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4845 3916 587 984 0 3858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19380
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11899
/proc/meminfo: memFree=1896848/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=19796 CPUtime=25.49
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 14634 0 0 0 2469 80 0 0 25 0 1 0 10700718 20271104 4023 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 4949 4023 589 984 0 3962 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19796
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11901
/proc/meminfo: memFree=1896352/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=20708 CPUtime=51.08
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 15428 0 0 0 4952 156 0 0 25 0 1 0 10700718 21204992 4239 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 5177 4239 589 984 0 4190 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20708
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11903
/proc/meminfo: memFree=1893500/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=23276 CPUtime=102.27
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 21712 0 0 0 9894 333 0 0 25 0 1 0 10700718 23834624 4892 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 5819 4892 590 984 0 4832 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23276
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11912
/proc/meminfo: memFree=1888452/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=26400 CPUtime=162.24
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 25942 0 0 0 15695 529 0 0 25 0 1 0 10700718 27033600 5718 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 6600 5718 590 984 0 5613 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 26400
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11914
/proc/meminfo: memFree=1885848/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=29016 CPUtime=222.22
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 30199 0 0 0 21488 734 0 0 25 0 1 0 10700718 29712384 6369 1992294400 4194304 8223781 140733937958640 18446744073709551615 6562714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 7254 6369 590 984 0 6267 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29016
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11916
/proc/meminfo: memFree=1883368/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=31468 CPUtime=282.21
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 37210 0 0 0 27277 944 0 0 25 0 1 0 10700718 32223232 7003 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 7867 7003 592 984 0 6880 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 31468
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11918
/proc/meminfo: memFree=1879648/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=34996 CPUtime=342.19
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 44345 0 0 0 33045 1174 0 0 25 0 1 0 10700718 35835904 7908 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 8749 7908 592 984 0 7762 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34996
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11920
/proc/meminfo: memFree=1874812/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=39544 CPUtime=402.17
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 48429 0 0 0 38829 1388 0 0 25 0 1 0 10700718 40493056 9069 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 9886 9069 592 984 0 8899 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 39544
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11920
/proc/meminfo: memFree=1870844/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=43728 CPUtime=462.15
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 52383 0 0 0 44596 1619 0 0 25 0 1 0 10700718 44777472 10144 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 10932 10144 592 984 0 9945 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 43728
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11922
/proc/meminfo: memFree=1868116/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=46508 CPUtime=522.14
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 53089 0 0 0 50368 1846 0 0 25 0 1 0 10700718 47624192 10850 1992294400 4194304 8223781 140733937958640 18446744073709551615 4855357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 11627 10850 592 984 0 10640 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 46508
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11924
/proc/meminfo: memFree=1862288/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=52252 CPUtime=582.13
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 54549 0 0 0 56145 2068 0 0 25 0 1 0 10700718 53506048 12310 1992294400 4194304 8223781 140733937958640 18446744073709551615 6590386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 13063 12310 592 984 0 12076 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 52252
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11926
/proc/meminfo: memFree=1856708/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=57580 CPUtime=642.11
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 56011 0 0 0 61916 2295 0 0 25 0 1 0 10700718 58961920 13683 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 14395 13683 592 984 0 13408 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 57580
[startup+702.302 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11934
/proc/meminfo: memFree=1836496/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=79120 CPUtime=942.01
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 63777 0 0 0 90784 3417 0 0 25 0 1 0 10700718 81018880 18773 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 19780 18773 696 984 0 18793 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 79120
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11936
/proc/meminfo: memFree=1832404/2059040 swapFree=4134476/4192956
[pid=11898] ppid=11896 vsize=82960 CPUtime=1002
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 64767 0 0 0 96556 3644 0 0 25 0 1 0 10700718 84951040 19763 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 20740 19763 696 984 0 19753 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 82960
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11939
/proc/meminfo: memFree=1803564/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=88508 CPUtime=1061.98
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 66185 0 0 0 102324 3874 0 0 25 0 1 0 10700718 90632192 21181 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 22127 21181 696 984 0 21140 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 88508
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11941
/proc/meminfo: memFree=1799596/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=92468 CPUtime=1121.95
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 67203 0 0 0 108095 4100 0 0 25 0 1 0 10700718 94687232 22199 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 23117 22199 696 984 0 22130 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 92468
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11943
/proc/meminfo: memFree=1796744/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=95256 CPUtime=1181.94
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 67924 0 0 0 113858 4336 0 0 25 0 1 0 10700718 97542144 22920 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 23814 22920 696 984 0 22827 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 95256
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11945
/proc/meminfo: memFree=1793892/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=98044 CPUtime=1241.92
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 68643 0 0 0 119627 4565 0 0 25 0 1 0 10700718 100397056 23639 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 24511 23639 696 984 0 23524 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 98044
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11947
/proc/meminfo: memFree=1790172/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=101648 CPUtime=1301.91
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 69565 0 0 0 125397 4794 0 0 25 0 1 0 10700718 104087552 24561 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 25412 24561 696 984 0 24425 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 101648
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11947
/proc/meminfo: memFree=1786452/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=105388 CPUtime=1361.89
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 70523 0 0 0 131163 5026 0 0 25 0 1 0 10700718 107917312 25519 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 26347 25519 696 984 0 25360 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 105388
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11949
/proc/meminfo: memFree=1782112/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=109600 CPUtime=1421.87
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 71597 0 0 0 136933 5254 0 0 25 0 1 0 10700718 112230400 26593 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 27400 26593 696 984 0 26413 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 109600
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11951
/proc/meminfo: memFree=1775292/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=116292 CPUtime=1481.85
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 73295 0 0 0 142702 5483 0 0 25 0 1 0 10700718 119083008 28291 1992294400 4194304 8223781 140733937958640 18446744073709551615 4855390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 29073 28291 696 984 0 28086 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 116292
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11953
/proc/meminfo: memFree=1771572/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=119908 CPUtime=1541.83
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 74223 0 0 0 148461 5722 0 0 25 0 1 0 10700718 122785792 29219 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 29977 29219 696 984 0 28990 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 119908
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11955
/proc/meminfo: memFree=1766860/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=124596 CPUtime=1601.81
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 78777 0 0 0 154226 5955 0 0 25 0 1 0 10700718 127586304 30404 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 31149 30404 696 984 0 30162 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 124596
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11955
/proc/meminfo: memFree=1763016/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=128148 CPUtime=1661.79
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 79704 0 0 0 159982 6197 0 0 25 0 1 0 10700718 131223552 31331 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 32037 31331 696 984 0 31050 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 128148
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11957
/proc/meminfo: memFree=1759544/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=131416 CPUtime=1721.78
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 80541 0 0 0 165739 6439 0 0 25 0 1 0 10700718 134569984 32168 1992294400 4194304 8223781 140733937958640 18446744073709551615 4854945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 32854 32168 696 984 0 31867 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 131416
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11959
/proc/meminfo: memFree=1756320/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=134396 CPUtime=1781.76
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 81308 0 0 0 171500 6676 0 0 25 0 1 0 10700718 137621504 32935 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 33599 32935 696 984 0 32612 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 134396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11959
/proc/meminfo: memFree=1754584/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=136128 CPUtime=1800.06
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 81727 0 0 0 173258 6748 0 0 25 0 1 0 10700718 139395072 33354 1992294400 4194304 8223781 140733937958640 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11898/statm: 34032 33354 696 984 0 33045 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 136128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11959
/proc/meminfo: memFree=1754584/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=135612 CPUtime=1800.45
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 81729 0 0 0 173297 6748 0 0 25 0 1 0 10700718 138866688 33227 1992294400 4194304 8223781 140733937958640 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11898/statm: 33903 33227 698 984 0 32916 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 135612
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11959
/proc/meminfo: memFree=1754584/2059040 swapFree=4134488/4192956
[pid=11898] ppid=11896 vsize=135612 CPUtime=1800.55
/proc/11898/stat : 11898 (pbscip.linux.x8) R 11896 11898 10975 0 -1 4202496 81729 0 0 0 173307 6748 0 0 25 0 1 0 10700718 138866688 33227 1992294400 4194304 8223781 140733937958640 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11898/statm: 33903 33227 698 984 0 32916 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 135612
Child status: 0
Real time (s): 1801.14
CPU time (s): 1800.61
CPU user time (s): 1733.1
CPU system time (s): 67.5037
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 136128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.1
system time used= 67.5037
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81729
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= 3
involuntary context switches= 4394
runsolver used 3.17152 second user time and 8.31274 second system time
The end