0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1868729-1245135540.opb>
0.00/0.01 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 11 del vars, 0 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (round 2) 11 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 3) 12 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 55 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 4) 12 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.04 c (0.0s) probing: 101/775 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 12 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 11 changed sides, 2 changed coefficients
0.00/0.04 c 0 implications, 48 cliques
0.00/0.04 c presolved problem has 775 variables (775 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.04 c 16 constraints of type <knapsack>
0.00/0.04 c 48 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c OPT-LIN
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = c 1620
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = c 1791
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = c 10000
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving problem
0.00/0.04 c
0.09/0.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 0 | 946 |2597k| 0 | 27 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 | -- | Inf
0.09/0.10 o -16383
0.09/0.10 c s 0.1s| 1 | 0 | 961 |2619k| 0 | 27 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.09/0.10 c 0.1s| 1 | 0 | 961 |2619k| 0 | 27 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.09/0.14 c 0.1s| 1 | 0 | 964 |2734k| 0 | 29 | 775 | 64 | 64 | 775 | 81 | 17 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.09/0.19 c 0.2s| 1 | 0 | 966 |2795k| 0 | 30 | 775 | 64 | 64 | 775 | 88 | 24 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.19/0.27 c 0.2s| 1 | 0 | 1016 |3038k| 0 | 30 | 775 | 64 | 64 | 775 | 106 | 42 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.29/0.34 c 0.3s| 1 | 0 | 1041 |3203k| 0 | 43 | 775 | 64 | 64 | 775 | 120 | 56 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.39/0.45 c 0.4s| 1 | 0 | 1065 |3237k| 0 | 55 | 775 | 64 | 64 | 775 | 128 | 64 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.49/0.59 c 0.6s| 1 | 0 | 1077 |3416k| 0 | 54 | 775 | 64 | 64 | 775 | 139 | 75 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.79/0.84 c 0.8s| 1 | 2 | 1611 |3423k| 0 | 54 | 775 | 64 | 64 | 775 | 139 | 75 | 0 | 27 |-2.050190e+04 |-1.638300e+04 | 20.09%
3.19/3.24 o -16384
3.19/3.24 c c 3.2s| 134 | 135 | 3767 |3751k| 27 | - | 775 | 94 | 14 | 775 | 86 | 75 | 30 |1105 |-2.050190e+04 |-1.638400e+04 | 20.09%
38.78/38.86 c 38.3s| 10000 | 9996 | 85154 | 15M| 60 | 26 | 775 | 177 | 114 | 775 | 86 | 75 | 214 |3064 |-2.050190e+04 |-1.638400e+04 | 20.09%
65.77/65.90 c 64.9s| 20000 | 19996 |156601 | 26M| 63 | 18 | 775 | 146 | 85 | 775 | 86 | 75 | 324 |3371 |-2.048000e+04 |-1.638400e+04 | 20.00%
91.86/91.96 c 90.6s| 30000 | 29996 |228155 | 37M| 63 | 28 | 775 | 144 | 99 | 775 | 86 | 75 | 431 |3566 |-2.048000e+04 |-1.638400e+04 | 20.00%
118.95/119.10 c 117s| 40000 | 39996 |304907 | 48M| 72 | 27 | 775 | 210 | 153 | 775 | 86 | 75 | 725 |3817 |-2.048000e+04 |-1.638400e+04 | 20.00%
145.45/145.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.45/145.52 c 143s| 50000 | 49996 |376862 | 59M| 72 | 30 | 775 | 142 | 125 | 775 | 86 | 75 | 881 |4152 |-2.048000e+04 |-1.638400e+04 | 20.00%
171.64/171.79 c 169s| 60000 | 59996 |448557 | 70M| 72 | 25 | 775 | 188 | 95 | 775 | 86 | 75 |1032 |4466 |-2.048000e+04 |-1.638400e+04 | 20.00%
198.24/198.39 c 196s| 70000 | 69996 |521106 | 81M| 72 | 30 | 775 | 152 | 104 | 775 | 86 | 75 |1207 |4852 |-2.048000e+04 |-1.638400e+04 | 20.00%
224.02/224.19 c 221s| 80000 | 79996 |591397 | 92M| 72 | 20 | 775 | 112 | 67 | 775 | 86 | 75 |1268 |5168 |-2.048000e+04 |-1.638400e+04 | 20.00%
249.52/249.61 c 246s| 90000 | 89996 |660812 | 103M| 72 | 28 | 775 | 120 | 91 | 775 | 86 | 75 |1352 |5430 |-2.048000e+04 |-1.638400e+04 | 20.00%
275.31/275.49 c 272s|100000 | 99996 |732378 | 114M| 72 | 25 | 775 | 146 | 82 | 775 | 86 | 75 |1429 |5666 |-2.048000e+04 |-1.638400e+04 | 20.00%
301.10/301.30 c 297s|110000 |109996 |804288 | 125M| 72 | 24 | 775 | 179 | 112 | 775 | 86 | 75 |1540 |6020 |-2.048000e+04 |-1.638400e+04 | 20.00%
328.59/328.76 c 324s|120000 |119996 |877809 | 136M| 72 | 30 | 775 | 149 | 136 | 775 | 86 | 75 |1608 |6235 |-2.048000e+04 |-1.638400e+04 | 20.00%
354.49/354.64 c 350s|130000 |129996 |949673 | 147M| 72 | 30 | 775 | 219 | 148 | 775 | 86 | 75 |1827 |6540 |-2.048000e+04 |-1.638400e+04 | 20.00%
380.28/380.49 c 375s|140000 |139996 | 1021k| 158M| 72 | 26 | 775 | 232 | 123 | 775 | 86 | 75 |2085 |6743 |-2.048000e+04 |-1.638400e+04 | 20.00%
406.27/406.40 c 401s|150000 |149996 | 1093k| 169M| 72 | 28 | 775 | 187 | 93 | 775 | 86 | 75 |2295 |7000 |-2.048000e+04 |-1.638400e+04 | 20.00%
432.26/432.50 c 427s|160000 |159996 | 1167k| 181M| 72 | 29 | 775 | 196 | 163 | 775 | 86 | 75 |2533 |7188 |-2.048000e+04 |-1.638400e+04 | 20.00%
458.76/458.96 c 453s|170000 |169996 | 1241k| 192M| 72 | 25 | 775 | 188 | 101 | 775 | 86 | 75 |2709 |7389 |-2.048000e+04 |-1.638400e+04 | 20.00%
484.86/485.05 c 479s|180000 |179996 | 1314k| 203M| 72 | 30 | 775 | 212 | 144 | 775 | 86 | 75 |2921 |7578 |-2.048000e+04 |-1.638400e+04 | 20.00%
511.04/511.23 c 504s|190000 |189996 | 1386k| 214M| 72 | 28 | 775 | 221 | 128 | 775 | 86 | 75 |3217 |7754 |-2.048000e+04 |-1.638400e+04 | 20.00%
537.43/537.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.43/537.65 c 530s|200000 |199996 | 1459k| 225M| 72 | 27 | 775 | 137 | 94 | 775 | 86 | 75 |3361 |7935 |-2.048000e+04 |-1.638400e+04 | 20.00%
563.33/563.57 c 556s|210000 |209996 | 1531k| 237M| 72 | 26 | 775 | 232 | 117 | 775 | 86 | 75 |3585 |8078 |-2.048000e+04 |-1.638400e+04 | 20.00%
589.42/589.62 c 582s|220000 |219996 | 1602k| 248M| 72 | 27 | 775 | 273 | 85 | 775 | 86 | 75 |3938 |8281 |-2.048000e+04 |-1.638400e+04 | 20.00%
615.22/615.44 c 607s|230000 |229996 | 1672k| 259M| 72 | 23 | 775 | 273 | 186 | 775 | 86 | 75 |4349 |8428 |-2.048000e+04 |-1.638400e+04 | 20.00%
641.11/641.34 c 633s|240000 |239996 | 1741k| 270M| 72 | 21 | 775 | 215 | 81 | 775 | 86 | 75 |4745 |8629 |-2.048000e+04 |-1.638400e+04 | 20.00%
666.50/666.71 c 658s|250000 |249996 | 1809k| 282M| 72 | 26 | 775 | 191 | 131 | 775 | 86 | 75 |5041 |8794 |-2.048000e+04 |-1.638400e+04 | 20.00%
691.99/692.22 c 683s|260000 |259996 | 1878k| 293M| 72 | 27 | 775 | 214 | 116 | 775 | 86 | 75 |5299 |8941 |-2.048000e+04 |-1.638400e+04 | 20.00%
717.78/718.07 c 709s|270000 |269996 | 1949k| 304M| 72 | 28 | 775 | 309 | 118 | 775 | 86 | 75 |5659 |9102 |-2.048000e+04 |-1.638400e+04 | 20.00%
743.58/743.85 c 734s|280000 |279996 | 2019k| 315M| 72 | 30 | 775 | 268 | 137 | 775 | 86 | 75 |6007 |9281 |-2.048000e+04 |-1.638400e+04 | 20.00%
769.27/769.54 c 759s|290000 |289996 | 2089k| 327M| 72 | 26 | 775 | 262 | 138 | 775 | 86 | 75 |6343 |9438 |-2.048000e+04 |-1.638400e+04 | 20.00%
795.27/795.52 c 785s|300000 |299996 | 2161k| 338M| 72 | 29 | 775 | 284 | 131 | 775 | 86 | 75 |6725 |9580 |-2.048000e+04 |-1.638400e+04 | 20.00%
820.76/821.02 c 810s|310000 |309996 | 2231k| 349M| 72 | 24 | 775 | 261 | 131 | 775 | 86 | 75 |7041 |9681 |-2.048000e+04 |-1.638400e+04 | 20.00%
846.35/846.70 c 836s|320000 |319996 | 2302k| 360M| 72 | 28 | 775 | 212 | 108 | 775 | 86 | 75 |7341 |9814 |-2.048000e+04 |-1.638400e+04 | 20.00%
872.24/872.59 c 861s|330000 |329996 | 2373k| 372M| 72 | 29 | 775 | 184 | 86 | 775 | 86 | 75 |7633 |9962 |-2.048000e+04 |-1.638400e+04 | 20.00%
898.04/898.39 c 887s|340000 |339996 | 2443k| 383M| 72 | 24 | 775 | 192 | 75 | 775 | 86 | 75 |7906 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
923.43/923.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.43/923.76 c 912s|350000 |349996 | 2513k| 394M| 72 | 28 | 775 | 177 | 69 | 775 | 86 | 75 |8157 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
948.72/949.02 c 937s|360000 |359996 | 2581k| 406M| 72 | 30 | 775 | 182 | 98 | 775 | 86 | 75 |8444 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
973.82/974.14 c 961s|370000 |369996 | 2650k| 417M| 72 | 21 | 775 | 291 | 102 | 775 | 86 | 75 |8856 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
999.11/999.43 c 986s|380000 |379996 | 2719k| 428M| 72 | 22 | 775 | 222 | 80 | 775 | 86 | 75 |9160 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
1024.40/1024.76 c 1011s|390000 |389996 | 2789k| 439M| 72 | 24 | 775 | 210 | 98 | 775 | 86 | 75 |9440 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
1049.70/1050.09 c 1036s|400000 |399996 | 2858k| 451M| 72 | 28 | 775 | 228 | 178 | 775 | 86 | 75 |9793 | 10k|-2.048000e+04 |-1.638400e+04 | 20.00%
1075.18/1075.55 c 1061s|410000 |409996 | 2929k| 462M| 72 | 20 | 775 | 253 | 98 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1101.27/1101.66 c 1087s|420000 |419996 | 3002k| 473M| 72 | 31 | 775 | 211 | 97 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1126.67/1127.01 c 1112s|430000 |429996 | 3071k| 485M| 72 | 24 | 775 | 248 | 119 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1151.66/1152.07 c 1137s|440000 |439996 | 3139k| 496M| 72 | 26 | 775 | 103 | 70 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1177.06/1177.43 c 1162s|450000 |449996 | 3209k| 507M| 74 | 22 | 775 | 92 | 60 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1202.44/1202.88 c 1187s|460000 |459996 | 3280k| 518M| 74 | 29 | 775 | 94 | 66 | 775 | 86 | 75 | 10k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1227.43/1227.87 c 1212s|470000 |469996 | 3350k| 530M| 74 | 28 | 775 | 119 | 88 | 775 | 86 | 75 | 11k| 11k|-2.048000e+04 |-1.638400e+04 | 20.00%
1253.33/1253.74 c 1237s|480000 |479996 | 3424k| 541M| 74 | 28 | 775 | 116 | 60 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1279.02/1279.43 c 1263s|490000 |489996 | 3496k| 552M| 74 | 25 | 775 | 77 | 53 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1304.81/1305.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.81/1305.20 c 1288s|500000 |499996 | 3570k| 564M| 74 | 30 | 775 | 121 | 75 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1330.12/1330.50 c 1313s|510000 |509996 | 3641k| 575M| 74 | 26 | 775 | 83 | 58 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1356.20/1356.62 c 1339s|520000 |519996 | 3715k| 587M| 74 | 24 | 775 | 90 | 70 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1381.39/1381.86 c 1364s|530000 |529996 | 3785k| 598M| 74 | 26 | 775 | 95 | 52 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1406.89/1407.37 c 1389s|540000 |539996 | 3856k| 609M| 74 | 25 | 775 | 130 | 65 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1432.38/1432.85 c 1414s|550000 |549996 | 3927k| 621M| 74 | 27 | 775 | 79 | 58 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1457.98/1458.44 c 1439s|560000 |559996 | 3998k| 632M| 74 | 28 | 775 | 81 | 60 | 775 | 86 | 75 | 11k| 12k|-2.048000e+04 |-1.638400e+04 | 20.00%
1483.47/1483.92 c 1465s|570000 |569996 | 4069k| 644M| 74 | 28 | 775 | 95 | 55 | 775 | 86 | 75 | 11k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1509.05/1509.57 c 1490s|580000 |579996 | 4139k| 655M| 74 | 28 | 775 | 95 | 70 | 775 | 86 | 75 | 11k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1534.65/1535.15 c 1515s|590000 |589996 | 4211k| 666M| 74 | 27 | 775 | 100 | 73 | 775 | 86 | 75 | 11k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1560.24/1560.71 c 1540s|600000 |599996 | 4283k| 678M| 75 | 20 | 775 | 135 | 82 | 775 | 86 | 75 | 11k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1586.04/1586.51 c 1566s|610000 |609996 | 4355k| 689M| 75 | 28 | 775 | 116 | 77 | 775 | 86 | 75 | 11k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1611.73/1612.25 c 1591s|620000 |619996 | 4428k| 700M| 75 | 26 | 775 | 94 | 71 | 775 | 86 | 75 | 12k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1637.72/1638.20 c 1617s|630000 |629996 | 4501k| 712M| 75 | 25 | 775 | 95 | 69 | 775 | 86 | 75 | 12k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1663.42/1663.96 c 1642s|640000 |639996 | 4575k| 723M| 75 | 27 | 775 | 119 | 96 | 775 | 86 | 75 | 12k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1689.30/1689.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.30/1689.84 c 1668s|650000 |649996 | 4647k| 735M| 75 | 26 | 775 | 110 | 77 | 775 | 86 | 75 | 12k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1715.10/1715.68 c 1693s|660000 |659996 | 4720k| 746M| 75 | 24 | 775 | 94 | 67 | 775 | 86 | 75 | 12k| 13k|-2.048000e+04 |-1.638400e+04 | 20.00%
1740.69/1741.22 c 1718s|670000 |669996 | 4792k| 758M| 75 | 25 | 775 | 91 | 60 | 775 | 86 | 75 | 12k| 14k|-2.048000e+04 |-1.638400e+04 | 20.00%
1766.88/1767.43 c 1744s|680000 |679996 | 4866k| 769M| 75 | 23 | 775 | 121 | 83 | 775 | 86 | 75 | 12k| 14k|-2.048000e+04 |-1.638400e+04 | 20.00%
1792.68/1793.29 c 1770s|690000 |689996 | 4939k| 780M| 75 | 24 | 775 | 128 | 103 | 775 | 86 | 75 | 12k| 14k|-2.048000e+04 |-1.638400e+04 | 20.00%
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1777.02
1800.09/1800.61 c Solving Nodes : 692791
1800.09/1800.61 c Primal Bound : -1.63840000000000e+04 (190 solutions)
1800.09/1800.61 c Dual Bound : -2.04800000000000e+04
1800.09/1800.61 c Gap : 20.00 %
1800.09/1800.61 c NODE 692791
1800.09/1800.61 c DUAL BOUND -20480
1800.09/1800.61 c PRIMAL BOUND -16384
1800.09/1800.61 c GAP 0.2
1800.09/1800.61 s SATISFIABLE
1800.09/1800.61 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324
1800.09/1800.61 v -x271 -x217 x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318
1800.09/1800.61 v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 x262 -x209 -x368 x314 -x261 -x207 -x174 -x173 -x172
1800.09/1800.61 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 -x260 -x206 -x158 -x366 -x312 -x259 -x205
1800.09/1800.61 v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 -x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.09/1800.61 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1800.09/1800.61 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.09/1800.61 v x98 -x96 -x95 -x94 -x760 -x759 x356 -x302 -x249 -x195 -x147 -x93 -x355 -x301 -x248 -x194 -x146 x92 -x354 -x300 -x247 -x193
1800.09/1800.61 v -x145 x91 -x351 -x299 x246 -x192 -x144 -x90 -x350 -x298 -x245 -x191 -x143 -x89 -x349 -x296 -x244 -x190 -x141 -x88 -x758 -x348
1800.09/1800.61 v -x295 -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 -x293 -x239 -x187 -x138 -x84 -x345 -x292 -x238 -x185 -x137
1800.09/1800.61 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43
1800.09/1800.61 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81
1800.09/1800.61 v -x29 -x755 -x342 -x289 -x235 -x134 -x80 -x28 -x754 -x340 -x288 x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 -x26
1800.09/1800.61 v -x338 -x285 -x232 -x183 -x129 -x77 x25 -x337 -x284 -x231 -x182 -x128 -x76 -x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 -x335
1800.09/1800.61 v -x282 -x228 -x180 -x126 -x73 x22 -x334 -x281 -x227 -x179 x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775
1800.09/1800.61 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 x763 -x752 -x741 -x730 -x719 -x708 -x697 -x686 -x674 -x663 -x652
1800.09/1800.61 v x641 x630 x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 -x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.09/1800.61 v -x475 -x332 -x279 -x225 -x177 x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.09/1800.61 v -x748 -x747 x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x729 -x728 -x727 -x726
1800.09/1800.61 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x707 -x706 -x705 -x704 -x703
1800.09/1800.61 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.09/1800.61 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 x658 -x657 -x656
1800.09/1800.61 v -x655 -x654 x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.09/1800.61 v -x632 -x631 -x629 -x628 x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.09/1800.61 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1800.09/1800.61 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.09/1800.61 v -x561 -x560 -x559 -x558 x557 x556 -x555 -x554 -x553 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x540 -x539
1800.09/1800.61 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.09/1800.61 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 x495 -x494 -x493
1800.09/1800.61 v -x492 x491 -x490 -x489 -x488 -x487 x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.09/1800.61 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.09/1800.61 v -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 -x428 -x427 x426 -x425 -x424 x423 x422
1800.09/1800.61 v -x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.09/1800.61 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375 x364
1800.09/1800.61 v -x353 x341 x330 -x319 -x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.09/1800.61 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 -x130 -x19 -x18 -x17 -x16 x15
1800.09/1800.61 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1777.02
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-1868729-1245135540.opb
1800.09/1800.61 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 65 initial, 65 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-1868729-1245135540.opb
1800.09/1800.61 c Variables : 775 (775 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 64 initial, 340 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.01 2 9 0 2 0 1 11 2
1800.09/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 2 - - 2 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 692862 0 0 73 0 0 1385578
1800.09/1800.61 c knapsack : 16 6 1946495 0 0 75 0 63 0 0
1800.09/1800.61 c setppc : 48 6 1945046 0 0 72 8113593 0 0 0
1800.09/1800.61 c logicor : 0+ 0 273233 0 0 123 0 0 0 0
1800.09/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 33.68 0.00 0.00 33.68 0.00
1800.09/1800.61 c knapsack : 3.48 0.00 3.48 0.00 0.00
1800.09/1800.61 c setppc : 26.22 0.00 26.22 0.00 0.00
1800.09/1800.61 c logicor : 3.70 0.00 3.70 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c rootredcost : 0.96 2 0 0
1800.09/1800.61 c pseudoobj : 6.71 1950103 3807 7
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 1.15 4077 4077 48007 88.0 2 89.0 -
1800.09/1800.61 c infeasible LP : 0.72 16520 0 0 0.0 0 0.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.61 c applied globally : - - - 12580 57.4 - - -
1800.09/1800.61 c applied locally : - - - 74 87.7 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 5 - - 76 - (maximal pool size: 391)
1800.09/1800.61 c redcost : 38.06 692867 0 0 0 0
1800.09/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 0.06 6 0 0 0 0
1800.09/1800.61 c strongcg : 0.08 6 0 0 1 0
1800.09/1800.61 c cmir : 0.06 6 0 0 130 0
1800.09/1800.61 c flowcover : 0.23 6 0 0 228 0
1800.09/1800.61 c clique : 0.00 6 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.00 1 0 0 0 0
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 32.75 692862 0 73 0 0 1385578
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.00 - 0
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c oneopt : 0.30 2 0
1800.09/1800.61 c crossover : 4.45 11 6
1800.09/1800.61 c simplerounding : 0.58 664 0
1800.09/1800.61 c rounding : 1.10 11728 0
1800.09/1800.61 c shifting : 16.35 12356 1
1800.09/1800.61 c intshifting : 0.04 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c feaspump : 0.06 1 0
1800.09/1800.61 c coefdiving : 84.61 1984 2
1800.09/1800.61 c pscostdiving : 107.24 1086 0
1800.09/1800.61 c fracdiving : 131.92 1154 0
1800.09/1800.61 c veclendiving : 42.21 1158 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c objpscostdiving : 14.52 428 5
1800.09/1800.61 c rootsoldiving : 20.94 583 176
1800.09/1800.61 c linesearchdiving : 54.50 1307 0
1800.09/1800.61 c guideddiving : 126.67 918 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.03 1 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 0.01 0 0 0.00 0.00
1800.09/1800.61 c dual LP : 881.50 692871 3667498 5.29 4160.52
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 496.09 541617 1292223 2.39 2604.82
1800.09/1800.61 c strong branching : 17.42 14220 149251 10.50 8567.80
1800.09/1800.61 c (at root node) : - 27 1505 55.74 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 692791
1800.09/1800.61 c nodes (total) : 692791
1800.09/1800.61 c nodes left : 692787
1800.09/1800.61 c max depth : 75
1800.09/1800.61 c max depth (total): 75
1800.09/1800.61 c backtracks : 66523 (9.6%)
1800.09/1800.61 c delayed cutoffs : 0
1800.09/1800.61 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.09/1800.61 c avg switch length: 5.04
1800.09/1800.61 c switching time : 60.49
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 190 (2 improvements)
1800.09/1800.61 c Primal Bound : -1.63840000000000e+04 (in run 1, after 134 nodes, 3.17 seconds, depth 57, found by <coefdiving>)
1800.09/1800.61 c Dual Bound : -2.04800000000000e+04
1800.09/1800.61 c Gap : 20.00 %
1800.09/1800.61 c Root Dual Bound : -2.05019037433155e+04
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868729-1245135540/watcher-1868729-1245135540 -o /tmp/evaluation-result-1868729-1245135540/solver-1868729-1245135540 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868729-1245135540.opb
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: 0.92 0.98 0.99 3/64 11477
/proc/meminfo: memFree=1944448/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=5812 CPUtime=0
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 181154384 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 1453 503 332 1256 0 192 0
[startup+0.00749701 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11477
/proc/meminfo: memFree=1944448/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=8648 CPUtime=0
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 1140 0 0 0 0 0 0 0 18 0 1 0 181154384 8855552 1124 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 2162 1134 362 1256 0 901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8648
[startup+0.102504 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11477
/proc/meminfo: memFree=1944448/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=17528 CPUtime=0.09
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 3437 0 0 0 8 1 0 0 18 0 1 0 181154384 17948672 3067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 4382 3067 624 1256 0 3121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17528
[startup+0.302523 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11477
/proc/meminfo: memFree=1944448/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=21576 CPUtime=0.29
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 4494 0 0 0 27 2 0 0 19 0 1 0 181154384 22093824 4104 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 5394 4104 665 1256 0 4133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21576
[startup+0.701569 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11477
/proc/meminfo: memFree=1944448/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=27344 CPUtime=0.69
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 7568 0 0 0 65 4 0 0 22 0 1 0 181154384 28000256 5302 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 6836 5302 700 1256 0 5575 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27344
[startup+1.50169 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1925752/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=27344 CPUtime=1.49
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 7619 0 0 0 145 4 0 0 25 0 1 0 181154384 28000256 5353 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 6836 5353 706 1256 0 5575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27344
[startup+3.10181 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1925560/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=27344 CPUtime=3.09
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 7627 0 0 0 303 6 0 0 25 0 1 0 181154384 28000256 5361 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 6836 5361 708 1256 0 5575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27344
[startup+6.30114 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1916920/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=27556 CPUtime=6.29
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 9951 0 0 0 615 14 0 0 25 0 1 0 181154384 28217344 5403 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 6889 5403 710 1256 0 5628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27556
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1923200/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=30668 CPUtime=12.69
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 10664 0 0 0 1248 21 0 0 25 0 1 0 181154384 31404032 6116 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 7667 6116 710 1256 0 6406 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30668
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1916032/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=35976 CPUtime=25.48
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 13760 0 0 0 2510 38 0 0 25 0 1 0 181154384 36839424 7739 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 8994 7739 711 1256 0 7733 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35976
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1905536/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=47412 CPUtime=51.07
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 19352 0 0 0 5035 72 0 0 25 0 1 0 181154384 48549888 10424 1992294400 4194304 9342243 548682068736 18446744073709551615 5816279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 11853 10424 711 1256 0 10592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47412
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 11478
/proc/meminfo: memFree=1884672/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=68820 CPUtime=102.27
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 27361 0 0 0 10084 143 0 0 25 0 1 0 181154384 70471680 15569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 17205 15569 711 1256 0 15944 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 68820
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1858048/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=94364 CPUtime=162.24
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 35320 0 0 0 16003 221 0 0 25 0 1 0 181154384 96628736 22148 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 23591 22148 711 1256 0 22330 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94364
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1833280/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=120956 CPUtime=222.22
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 42547 0 0 0 21930 292 0 0 25 0 1 0 181154384 123858944 28570 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 30239 28570 711 1256 0 28978 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 120956
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1808320/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=145236 CPUtime=282.21
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 48532 0 0 0 27852 369 0 0 25 0 1 0 181154384 148721664 34555 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 36309 34555 711 1256 0 35048 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 145236
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1782656/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=170480 CPUtime=342.19
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 56443 0 0 0 33766 453 0 0 25 0 1 0 181154384 174571520 41082 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 42620 41082 711 1256 0 41359 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 170480
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1757440/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=196068 CPUtime=402.17
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 62670 0 0 0 39687 530 0 0 25 0 1 0 181154384 200773632 47309 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 49017 47309 711 1256 0 47756 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 196068
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1729984/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=223808 CPUtime=462.16
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 69438 0 0 0 45611 605 0 0 25 0 1 0 181154384 229179392 54076 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 55952 54076 711 1256 0 54691 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 223808
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1705856/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=248168 CPUtime=522.14
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 75477 0 0 0 51531 683 0 0 25 0 1 0 181154384 254124032 60115 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 62042 60115 711 1256 0 60781 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 248168
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1679552/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=277456 CPUtime=582.12
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 82967 0 0 0 57454 758 0 0 25 0 1 0 181154384 284114944 66822 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 69364 66822 711 1256 0 68103 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 277456
[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1653952/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=301876 CPUtime=642.11
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 89198 0 0 0 63378 833 0 0 25 0 1 0 181154384 309121024 73052 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 75469 73052 711 1256 0 74208 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 301876
[startup+702.302 s]
################
# More data... #
################
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 135622 0 0 0 104831 1368 0 0 25 0 1 0 181154384 498044928 119476 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 121593 119476 711 1256 0 120332 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 486372
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1441472/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=511792 CPUtime=1121.97
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 142957 0 0 0 110753 1444 0 0 25 0 1 0 181154384 524075008 125997 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 127948 125997 711 1256 0 126687 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 511792
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1415296/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=538508 CPUtime=1181.95
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 149697 0 0 0 116674 1521 0 0 25 0 1 0 181154384 551432192 132737 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 134627 132737 711 1256 0 133366 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 538508
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1388736/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=572896 CPUtime=1241.93
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 156097 0 0 0 122597 1596 0 0 25 0 1 0 181154384 586645504 139136 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 143224 139136 711 1256 0 141963 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 572896
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1361792/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=599428 CPUtime=1301.92
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 162748 0 0 0 128521 1671 0 0 25 0 1 0 181154384 613814272 145787 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 149857 145787 711 1256 0 148596 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 599428
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1334720/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=625556 CPUtime=1361.9
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 169497 0 0 0 134443 1747 0 0 25 0 1 0 181154384 640569344 152536 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 156389 152536 711 1256 0 155128 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 625556
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11484
/proc/meminfo: memFree=1308224/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=651436 CPUtime=1421.88
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 176091 0 0 0 140371 1817 0 0 25 0 1 0 181154384 667070464 159130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 162859 159130 711 1256 0 161598 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 651436
[startup+1482.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1282496/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=678140 CPUtime=1481.87
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 182793 0 0 0 146294 1893 0 0 25 0 1 0 181154384 694415360 165832 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 169535 165832 711 1256 0 168274 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 678140
[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1256320/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=703472 CPUtime=1541.85
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 189027 0 0 0 152210 1975 0 0 25 0 1 0 181154384 720355328 172065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 175868 172065 711 1256 0 174607 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 703472
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1229376/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=731160 CPUtime=1601.84
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 195974 0 0 0 158132 2052 0 0 25 0 1 0 181154384 748707840 179010 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 182790 179010 711 1256 0 181529 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 731160
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1202176/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=757204 CPUtime=1661.81
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 202504 0 0 0 164055 2126 0 0 25 0 1 0 181154384 775376896 185540 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 189301 185540 711 1256 0 188040 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 757204
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1175104/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=783656 CPUtime=1721.8
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 209257 0 0 0 169976 2204 0 0 25 0 1 0 181154384 802463744 192293 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 195914 192293 711 1256 0 194653 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 783656
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1149504/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=809476 CPUtime=1781.78
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 215629 0 0 0 175895 2283 0 0 25 0 1 0 181154384 828903424 198665 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 202369 198665 711 1256 0 201108 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 809476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1140288/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=817556 CPUtime=1800.09
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 217914 0 0 0 177702 2307 0 0 25 0 1 0 181154384 837177344 200950 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11477/statm: 204389 200950 711 1256 0 203128 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 817556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11477
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11484
/proc/meminfo: memFree=1140288/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=817556 CPUtime=1800.87
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 217915 0 0 0 177780 2307 0 0 25 0 1 0 181154384 837177344 200951 1992294400 4194304 9342243 548682068736 18446744073709551615 5854325 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 204389 200951 712 1256 0 203128 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 817556
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11485
/proc/meminfo: memFree=1140280/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=817556 CPUtime=1801.67
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 217915 0 0 0 177860 2307 0 0 25 0 1 0 181154384 837177344 200951 1992294400 4194304 9342243 548682068736 18446744073709551615 4805745 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 204389 200951 712 1256 0 203128 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 817556
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11485
/proc/meminfo: memFree=1140280/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=817556 CPUtime=1802.07
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4194304 217915 0 0 0 177900 2307 0 0 25 0 1 0 181154384 837177344 200951 1992294400 4194304 9342243 548682068736 18446744073709551615 5854331 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 204389 200951 712 1256 0 203128 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 817556
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11485
/proc/meminfo: memFree=1140280/2055920 swapFree=4181836/4192956
[pid=11477] ppid=11475 vsize=0 CPUtime=1802.17
/proc/11477/stat : 11477 (pbscip.linux.x8) R 11475 11477 11007 0 -1 4195332 217915 0 0 0 177901 2316 0 0 25 0 1 0 181154384 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11477/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.22
CPU user time (s): 1779.02
CPU system time (s): 23.1975
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 817556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.02
system time used= 23.1975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217915
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= 2503
runsolver used 1.61675 second user time and 3.39348 second system time
The end