0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690895-1338017127.opb>
0.00/0.00 c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 479
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.790000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 479 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 89 del conss, 212 add conss, 0 chg bounds, 249 chg sides, 591 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 129 del conss, 229 add conss, 0 chg bounds, 325 chg sides, 720 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 135 del conss, 235 add conss, 0 chg bounds, 342 chg sides, 759 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 135 del conss, 235 add conss, 0 chg bounds, 346 chg sides, 772 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/479 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 135 deleted constraints, 235 added constraints, 0 tightened bounds, 0 added holes, 346 changed sides, 772 changed coefficients
0.00/0.03 c 276 implications, 0 cliques
0.00/0.03 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.00/0.03 c 441 constraints of type <knapsack>
0.00/0.03 c 136 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.91 c t 0.9s| 1 | 0 | 10665 | - |2750k| 0 | 325 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 4.790000e+02 | 208.78%
0.89/0.91 o 340
0.89/0.91 c r 0.9s| 1 | 0 | 10665 | - |2764k| 0 | 325 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.400000e+02 | 119.18%
0.89/0.92 o 339
0.89/0.92 c R 0.9s| 1 | 0 | 10665 | - |2777k| 0 | 325 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.390000e+02 | 118.53%
0.89/0.92 o 338
0.89/0.92 c s 0.9s| 1 | 0 | 10665 | - |2790k| 0 | 325 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.380000e+02 | 117.89%
1.29/1.34 o 227
1.29/1.34 c y 1.3s| 1 | 0 | 10665 | - |3173k| 0 | 325 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 2.270000e+02 | 46.33%
1.79/1.80 c 1.8s| 1 | 0 | 14104 | - |3098k| 0 | 388 | 479 | 579 | 479 | 801 | 222 | 0 | 0 | 1.608783e+02 | 2.270000e+02 | 41.10%
2.39/2.47 c 2.5s| 1 | 0 | 16824 | - |3352k| 0 | 414 | 479 | 579 | 479 | 969 | 390 | 0 | 0 | 1.640444e+02 | 2.270000e+02 | 38.38%
3.09/3.18 c 3.2s| 1 | 0 | 19477 | - |3548k| 0 | 436 | 479 | 579 | 479 |1110 | 531 | 0 | 0 | 1.661159e+02 | 2.270000e+02 | 36.65%
3.68/3.77 c 3.8s| 1 | 0 | 20885 | - |3653k| 0 | 439 | 479 | 579 | 479 |1197 | 618 | 0 | 0 | 1.669619e+02 | 2.270000e+02 | 35.96%
4.29/4.32 c 4.3s| 1 | 0 | 21904 | - |3714k| 0 | 444 | 479 | 579 | 479 |1256 | 677 | 0 | 0 | 1.674486e+02 | 2.270000e+02 | 35.56%
4.79/4.82 c 4.8s| 1 | 0 | 22420 | - |3745k| 0 | 443 | 479 | 579 | 479 |1286 | 707 | 0 | 0 | 1.676111e+02 | 2.270000e+02 | 35.43%
5.19/5.28 c 5.3s| 1 | 0 | 22698 | - |3772k| 0 | 441 | 479 | 579 | 479 |1308 | 729 | 0 | 0 | 1.676906e+02 | 2.270000e+02 | 35.37%
5.69/5.71 c 5.7s| 1 | 0 | 22936 | - |3789k| 0 | 441 | 479 | 579 | 479 |1322 | 743 | 0 | 0 | 1.677302e+02 | 2.270000e+02 | 35.34%
5.99/6.09 c 6.1s| 1 | 0 | 22993 | - |3797k| 0 | 442 | 479 | 579 | 479 |1327 | 748 | 0 | 0 | 1.677362e+02 | 2.270000e+02 | 35.33%
6.39/6.47 c 6.5s| 1 | 0 | 23007 | - |3804k| 0 | 441 | 479 | 579 | 479 |1328 | 749 | 0 | 0 | 1.677373e+02 | 2.270000e+02 | 35.33%
8.79/8.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.81 c 8.8s| 1 | 2 | 23007 | - |3825k| 0 | 441 | 479 | 579 | 479 |1328 | 749 | 0 | 16 | 1.677373e+02 | 2.270000e+02 | 35.33%
29.29/29.30 o 226
29.29/29.30 c p29.3s| 28 | 29 | 51182 |1043.5 |4692k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.260000e+02 | 34.41%
29.29/29.31 o 224
29.29/29.31 c p29.3s| 28 | 29 | 51191 |1043.9 |4694k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.240000e+02 | 33.22%
29.29/29.31 o 221
29.29/29.31 c p29.3s| 28 | 29 | 51205 |1044.4 |4695k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.210000e+02 | 31.43%
29.29/29.31 o 219
29.29/29.31 c p29.3s| 28 | 29 | 51241 |1045.7 |4703k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.190000e+02 | 30.24%
29.29/29.31 o 218
29.29/29.31 c p29.3s| 28 | 29 | 51248 |1046.0 |4704k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.180000e+02 | 29.65%
29.29/29.31 o 217
29.29/29.31 c p29.3s| 28 | 29 | 51249 |1046.0 |4705k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.170000e+02 | 29.05%
29.29/29.31 o 215
29.29/29.31 c p29.3s| 28 | 29 | 51254 |1046.2 |4706k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.150000e+02 | 27.86%
29.29/29.31 o 214
29.29/29.31 c p29.3s| 28 | 29 | 51267 |1046.7 |4708k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.140000e+02 | 27.27%
29.29/29.31 o 213
29.29/29.31 c p29.3s| 28 | 29 | 51269 |1046.7 |4709k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.130000e+02 | 26.67%
29.29/29.32 o 212
29.29/29.32 c p29.3s| 28 | 29 | 51277 |1047.0 |4711k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.120000e+02 | 26.08%
29.29/29.32 o 211
29.29/29.32 c p29.3s| 28 | 29 | 51278 |1047.1 |4712k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.110000e+02 | 25.48%
29.29/29.32 o 210
29.29/29.32 c p29.3s| 28 | 29 | 51279 |1047.1 |4714k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.100000e+02 | 24.89%
29.29/29.32 o 209
29.29/29.32 c p29.3s| 28 | 29 | 51285 |1047.3 |4716k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.090000e+02 | 24.30%
29.29/29.32 o 208
29.29/29.32 c p29.3s| 28 | 29 | 51289 |1047.5 |4717k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.080000e+02 | 23.70%
29.29/29.32 o 207
29.29/29.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.29/29.32 c p29.3s| 28 | 29 | 51290 |1047.5 |4718k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.070000e+02 | 23.11%
29.29/29.32 o 206
29.29/29.32 c p29.3s| 28 | 29 | 51298 |1047.8 |4720k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.060000e+02 | 22.51%
29.29/29.32 o 205
29.29/29.32 c p29.3s| 28 | 29 | 51308 |1048.2 |4721k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.050000e+02 | 21.92%
29.29/29.33 o 204
29.29/29.33 c p29.3s| 28 | 29 | 51342 |1049.4 |4730k| 14 | - | 479 | 579 | 479 | 964 | 749 | 0 | 214 | 1.681482e+02 | 2.040000e+02 | 21.32%
49.28/49.37 c 49.4s| 100 | 101 |222697 |2017.1 |4745k| 17 | 389 | 479 | 579 | 479 | 964 | 749 | 0 | 240 | 1.681482e+02 | 2.040000e+02 | 21.32%
62.48/62.53 o 204
62.48/62.53 c p62.5s| 192 | 193 |316579 |1537.0 |4971k| 26 | - | 479 | 579 | 479 | 964 | 749 | 0 | 274 | 1.682394e+02 | 2.040000e+02 | 21.26%
62.48/62.53 o 204
62.48/62.53 c p62.5s| 192 | 193 |316585 |1537.1 |4972k| 26 | - | 479 | 579 | 479 | 964 | 749 | 0 | 274 | 1.682394e+02 | 2.040000e+02 | 21.26%
62.48/62.53 o 203
62.48/62.53 c p62.5s| 192 | 193 |316587 |1537.1 |4973k| 26 | - | 479 | 579 | 479 | 964 | 749 | 0 | 274 | 1.682394e+02 | 2.030000e+02 | 20.66%
62.48/62.56 o 202
62.48/62.56 c b62.6s| 193 | 194 |316775 |1530.0 |4838k| 26 | 375 | 479 | 579 | 479 | 964 | 749 | 0 | 274 | 1.682394e+02 | 2.020000e+02 | 20.07%
64.47/64.53 c 64.5s| 200 | 201 |333025 |1557.9 |4839k| 26 | 372 | 479 | 579 | 479 | 964 | 749 | 0 | 274 | 1.682394e+02 | 2.020000e+02 | 20.07%
92.37/92.41 o 201
92.37/92.41 c p92.4s| 294 | 295 |537184 |1754.9 |5061k| 26 | - | 479 | 579 | 479 | 964 | 749 | 0 | 340 | 1.683408e+02 | 2.010000e+02 | 19.40%
94.48/94.60 c 94.6s| 300 | 301 |554922 |1779.0 |4910k| 26 | 402 | 479 | 579 | 479 | 964 | 749 | 0 | 340 | 1.683408e+02 | 2.010000e+02 | 19.40%
113.87/113.92 c 114s| 400 | 401 |686812 |1663.7 |4970k| 26 | 398 | 479 | 579 | 479 | 964 | 749 | 0 | 412 | 1.684946e+02 | 2.010000e+02 | 19.29%
126.16/126.23 o 195
126.16/126.23 c C 126s| 494 | 495 |770308 |1515.8 |5029k| 26 | 371 | 479 | 579 | 479 | 964 | 749 | 0 | 459 | 1.685870e+02 | 1.950000e+02 | 15.67%
127.47/127.53 c 128s| 500 | 501 |780022 |1517.1 |5033k| 26 | 387 | 479 | 579 | 479 | 964 | 749 | 0 | 459 | 1.685870e+02 | 1.950000e+02 | 15.67%
146.66/146.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.66/146.72 c 147s| 600 | 601 |931018 |1515.9 |5096k| 26 | 382 | 479 | 579 | 479 | 964 | 749 | 0 | 466 | 1.686452e+02 | 1.950000e+02 | 15.63%
162.36/162.41 c 162s| 700 | 701 | 1041k|1457.3 |5160k| 29 | 365 | 479 | 579 | 479 | 964 | 749 | 0 | 513 | 1.687136e+02 | 1.950000e+02 | 15.58%
176.86/176.94 c 177s| 800 | 801 | 1146k|1406.7 |5221k| 29 | 357 | 479 | 579 | 479 | 964 | 749 | 0 | 557 | 1.687676e+02 | 1.950000e+02 | 15.54%
188.15/188.24 c 188s| 900 | 901 | 1230k|1343.1 |5284k| 29 | 396 | 479 | 579 | 479 | 964 | 749 | 0 | 574 | 1.687766e+02 | 1.950000e+02 | 15.54%
200.06/200.12 c 200s| 1000 | 1001 | 1324k|1303.3 |5349k| 48 | 259 | 479 | 579 | 479 | 964 | 749 | 0 | 582 | 1.687975e+02 | 1.950000e+02 | 15.52%
204.46/204.57 c 205s| 1100 | 1101 | 1361k|1217.8 |5424k| 84 | 186 | 479 | 579 | 479 | 964 | 749 | 0 | 600 | 1.688001e+02 | 1.950000e+02 | 15.52%
207.86/207.91 c 208s| 1200 | 1193 | 1384k|1135.2 |5497k| 93 | 177 | 479 | 579 | 479 | 964 | 749 | 0 | 620 | 1.688142e+02 | 1.950000e+02 | 15.51%
216.15/216.26 c 216s| 1300 | 1281 | 1444k|1094.3 |5568k| 94 | 389 | 479 | 579 | 479 | 964 | 749 | 0 | 647 | 1.688362e+02 | 1.950000e+02 | 15.50%
230.65/230.70 c 231s| 1400 | 1381 | 1541k|1085.1 |5639k| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 | 709 | 1.688692e+02 | 1.950000e+02 | 15.47%
242.35/242.49 c 242s| 1500 | 1481 | 1632k|1073.5 |5710k| 94 | 401 | 479 | 579 | 479 | 964 | 749 | 0 | 713 | 1.689145e+02 | 1.950000e+02 | 15.44%
251.94/252.08 c 252s| 1600 | 1581 | 1706k|1052.7 |5781k| 94 | 367 | 479 | 579 | 479 | 964 | 749 | 0 | 715 | 1.689544e+02 | 1.950000e+02 | 15.42%
263.44/263.53 c 264s| 1700 | 1681 | 1781k|1035.2 |5852k| 94 | 392 | 479 | 579 | 479 | 964 | 749 | 0 | 766 | 1.689683e+02 | 1.950000e+02 | 15.41%
274.64/274.78 c 275s| 1800 | 1781 | 1856k|1019.1 |5924k| 94 | 379 | 479 | 579 | 479 | 964 | 749 | 0 | 810 | 1.689927e+02 | 1.950000e+02 | 15.39%
287.34/287.41 c 287s| 1900 | 1881 | 1950k|1015.1 |5996k| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 | 839 | 1.690275e+02 | 1.950000e+02 | 15.37%
295.64/295.70 c 296s| 2000 | 1981 | 2013k| 995.9 |6066k| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 | 840 | 1.690420e+02 | 1.950000e+02 | 15.36%
303.84/303.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.84/303.97 c 304s| 2100 | 2081 | 2072k| 976.6 |6135k| 94 | 366 | 479 | 579 | 479 | 964 | 749 | 0 | 859 | 1.690546e+02 | 1.950000e+02 | 15.35%
314.63/314.72 c 315s| 2200 | 2181 | 2145k| 965.1 |6205k| 94 | 381 | 479 | 579 | 479 | 964 | 749 | 0 | 898 | 1.690752e+02 | 1.950000e+02 | 15.33%
326.43/326.57 c 327s| 2300 | 2281 | 2226k| 958.5 |6276k| 94 | 386 | 479 | 579 | 479 | 964 | 749 | 0 | 946 | 1.690837e+02 | 1.950000e+02 | 15.33%
335.34/335.44 c 335s| 2400 | 2381 | 2287k| 943.7 |6346k| 94 | 379 | 479 | 579 | 479 | 964 | 749 | 0 | 979 | 1.690995e+02 | 1.950000e+02 | 15.32%
342.63/342.79 c 343s| 2500 | 2481 | 2342k| 928.0 |6416k| 94 | 388 | 479 | 579 | 479 | 964 | 749 | 0 | 985 | 1.691260e+02 | 1.950000e+02 | 15.30%
351.63/351.76 c 352s| 2600 | 2581 | 2411k| 919.1 |6487k| 94 | 369 | 479 | 579 | 479 | 964 | 749 | 0 | 987 | 1.691388e+02 | 1.950000e+02 | 15.29%
362.03/362.16 c 362s| 2700 | 2681 | 2487k| 913.0 |6557k| 94 | 389 | 479 | 579 | 479 | 964 | 749 | 0 |1006 | 1.691600e+02 | 1.950000e+02 | 15.28%
371.63/371.78 c 372s| 2800 | 2781 | 2552k| 903.6 |6628k| 94 | 373 | 479 | 579 | 479 | 964 | 749 | 0 |1042 | 1.691705e+02 | 1.950000e+02 | 15.27%
381.54/381.62 c 382s| 2900 | 2881 | 2616k| 894.8 |6699k| 94 | 389 | 479 | 579 | 479 | 964 | 749 | 0 |1081 | 1.691764e+02 | 1.950000e+02 | 15.26%
389.92/390.08 c 390s| 3000 | 2981 | 2672k| 883.3 |6770k| 94 | 385 | 479 | 579 | 479 | 964 | 749 | 0 |1119 | 1.691952e+02 | 1.950000e+02 | 15.25%
398.32/398.45 c 398s| 3100 | 3081 | 2734k| 875.1 |6841k| 94 | 408 | 479 | 579 | 479 | 964 | 749 | 0 |1129 | 1.692070e+02 | 1.950000e+02 | 15.24%
407.13/407.21 c 407s| 3200 | 3181 | 2803k| 869.0 |6911k| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |1131 | 1.692196e+02 | 1.950000e+02 | 15.23%
416.22/416.38 c 416s| 3300 | 3281 | 2875k| 864.6 |6981k| 94 | 381 | 479 | 579 | 479 | 964 | 749 | 0 |1131 | 1.692326e+02 | 1.950000e+02 | 15.23%
424.22/424.33 c 424s| 3400 | 3381 | 2928k| 854.7 |7052k| 94 | 354 | 479 | 579 | 479 | 964 | 749 | 0 |1158 | 1.692442e+02 | 1.950000e+02 | 15.22%
432.23/432.34 c 432s| 3500 | 3481 | 2978k| 844.6 |7123k| 94 | 379 | 479 | 579 | 479 | 964 | 749 | 0 |1197 | 1.692506e+02 | 1.950000e+02 | 15.21%
442.12/442.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.12/442.26 c 442s| 3600 | 3581 | 3046k| 840.0 |7195k| 94 | 383 | 479 | 579 | 479 | 964 | 749 | 0 |1234 | 1.692598e+02 | 1.950000e+02 | 15.21%
452.31/452.45 c 452s| 3700 | 3681 | 3121k| 837.5 |7267k| 94 | 379 | 479 | 579 | 479 | 964 | 749 | 0 |1264 | 1.692699e+02 | 1.950000e+02 | 15.20%
459.51/459.60 c 460s| 3800 | 3781 | 3174k| 829.7 |7337k| 94 | 393 | 479 | 579 | 479 | 964 | 749 | 0 |1268 | 1.692851e+02 | 1.950000e+02 | 15.19%
466.61/466.74 c 467s| 3900 | 3881 | 3229k| 822.5 |7407k| 94 | 383 | 479 | 579 | 479 | 964 | 749 | 0 |1270 | 1.692946e+02 | 1.950000e+02 | 15.18%
473.71/473.82 c 474s| 4000 | 3981 | 3284k| 815.7 |7477k| 94 | 367 | 479 | 579 | 479 | 964 | 749 | 0 |1271 | 1.693025e+02 | 1.950000e+02 | 15.18%
484.11/484.29 c 484s| 4100 | 4081 | 3367k| 815.9 |7549k| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693173e+02 | 1.950000e+02 | 15.17%
492.10/492.29 c 492s| 4200 | 4181 | 3429k| 811.3 |7619k| 94 | 386 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693339e+02 | 1.950000e+02 | 15.16%
497.91/498.05 c 498s| 4300 | 4281 | 3474k| 802.8 |7690k| 94 | 388 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693379e+02 | 1.950000e+02 | 15.15%
505.71/505.83 c 506s| 4400 | 4381 | 3535k| 798.4 |7761k| 94 | 373 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693437e+02 | 1.950000e+02 | 15.15%
512.51/512.61 c 513s| 4500 | 4481 | 3587k| 792.2 |7832k| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693488e+02 | 1.950000e+02 | 15.15%
522.00/522.16 c 522s| 4600 | 4581 | 3663k| 791.5 |7903k| 94 | 381 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693524e+02 | 1.950000e+02 | 15.14%
527.61/527.76 c 528s| 4700 | 4681 | 3706k| 783.8 |7975k| 94 | 369 | 479 | 579 | 479 | 964 | 749 | 0 |1272 | 1.693608e+02 | 1.950000e+02 | 15.14%
536.71/536.88 c 537s| 4800 | 4781 | 3770k| 780.9 |8048k| 94 | 363 | 479 | 579 | 479 | 964 | 749 | 0 |1301 | 1.693674e+02 | 1.950000e+02 | 15.13%
544.70/544.84 c 545s| 4900 | 4881 | 3822k| 775.6 |8119k| 94 | 373 | 479 | 579 | 479 | 964 | 749 | 0 |1333 | 1.693725e+02 | 1.950000e+02 | 15.13%
551.20/551.33 c 551s| 5000 | 4981 | 3865k| 768.7 |8189k| 94 | 365 | 479 | 579 | 479 | 964 | 749 | 0 |1355 | 1.693791e+02 | 1.950000e+02 | 15.13%
557.51/557.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.51/557.69 c 558s| 5100 | 5081 | 3909k| 762.3 |8260k| 94 | 362 | 479 | 579 | 479 | 964 | 749 | 0 |1375 | 1.693845e+02 | 1.950000e+02 | 15.12%
567.80/567.92 c 568s| 5200 | 5181 | 3993k| 763.6 |8332k| 94 | 346 | 479 | 579 | 479 | 964 | 749 | 0 |1378 | 1.693885e+02 | 1.950000e+02 | 15.12%
574.79/574.95 c 575s| 5300 | 5281 | 4046k| 759.3 |8405k| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |1380 | 1.693926e+02 | 1.950000e+02 | 15.12%
581.59/581.80 c 582s| 5400 | 5381 | 4100k| 755.2 |8478k| 94 | 370 | 479 | 579 | 479 | 964 | 749 | 0 |1380 | 1.693969e+02 | 1.950000e+02 | 15.11%
588.59/588.70 c 589s| 5500 | 5481 | 4144k| 749.5 |8549k| 94 | 374 | 479 | 579 | 479 | 964 | 749 | 0 |1408 | 1.694034e+02 | 1.950000e+02 | 15.11%
598.20/598.30 c 598s| 5600 | 5581 | 4211k| 748.1 |8620k| 94 | 370 | 479 | 579 | 479 | 964 | 749 | 0 |1444 | 1.694075e+02 | 1.950000e+02 | 15.11%
608.49/608.63 c 609s| 5700 | 5681 | 4282k| 747.5 |8691k| 94 | 394 | 479 | 579 | 479 | 964 | 749 | 0 |1479 | 1.694147e+02 | 1.950000e+02 | 15.10%
615.59/615.71 c 616s| 5800 | 5781 | 4331k| 743.0 |8763k| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |1503 | 1.694222e+02 | 1.950000e+02 | 15.10%
622.50/622.64 c 623s| 5900 | 5881 | 4383k| 739.2 |8833k| 94 | 393 | 479 | 579 | 479 | 964 | 749 | 0 |1508 | 1.694285e+02 | 1.950000e+02 | 15.09%
629.99/630.12 c 630s| 6000 | 5981 | 4442k| 736.7 |8903k| 94 | 359 | 479 | 579 | 479 | 964 | 749 | 0 |1510 | 1.694354e+02 | 1.950000e+02 | 15.09%
636.88/637.08 c 637s| 6100 | 6081 | 4496k| 733.4 |8974k| 94 | 382 | 479 | 579 | 479 | 964 | 749 | 0 |1511 | 1.694407e+02 | 1.950000e+02 | 15.08%
645.88/646.01 c 646s| 6200 | 6181 | 4561k| 732.1 |9046k| 94 | 358 | 479 | 579 | 479 | 964 | 749 | 0 |1530 | 1.694510e+02 | 1.950000e+02 | 15.08%
652.48/652.66 c 653s| 6300 | 6281 | 4608k| 728.0 |9118k| 94 | 385 | 479 | 579 | 479 | 964 | 749 | 0 |1541 | 1.694548e+02 | 1.950000e+02 | 15.07%
661.88/662.09 c 662s| 6400 | 6381 | 4676k| 727.2 |9190k| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |1568 | 1.694603e+02 | 1.950000e+02 | 15.07%
668.29/668.49 c 668s| 6500 | 6481 | 4715k| 722.1 |9260k| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |1603 | 1.694675e+02 | 1.950000e+02 | 15.07%
676.78/676.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.78/676.96 c 677s| 6600 | 6581 | 4777k| 720.4 |9330k| 94 | 382 | 479 | 579 | 479 | 964 | 749 | 0 |1624 | 1.694716e+02 | 1.950000e+02 | 15.06%
684.98/685.13 c 685s| 6700 | 6681 | 4840k| 719.1 |9401k| 94 | 348 | 479 | 579 | 479 | 964 | 749 | 0 |1632 | 1.694773e+02 | 1.950000e+02 | 15.06%
691.38/691.57 c 692s| 6800 | 6781 | 4889k| 715.8 |9472k| 94 | 372 | 479 | 579 | 479 | 964 | 749 | 0 |1634 | 1.694831e+02 | 1.950000e+02 | 15.06%
700.17/700.36 c 700s| 6900 | 6881 | 4959k| 715.6 |9543k| 94 | 387 | 479 | 579 | 479 | 964 | 749 | 0 |1634 | 1.694875e+02 | 1.950000e+02 | 15.05%
705.17/705.34 c 705s| 7000 | 6981 | 4997k| 710.7 |9614k| 94 | 379 | 479 | 579 | 479 | 964 | 749 | 0 |1634 | 1.694905e+02 | 1.950000e+02 | 15.05%
711.08/711.25 c 711s| 7100 | 7081 | 5037k| 706.3 |9685k| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |1648 | 1.694935e+02 | 1.950000e+02 | 15.05%
719.07/719.27 c 719s| 7200 | 7181 | 5089k| 703.8 |9757k| 94 | 378 | 479 | 579 | 479 | 964 | 749 | 0 |1683 | 1.694974e+02 | 1.950000e+02 | 15.05%
727.58/727.78 c 728s| 7300 | 7281 | 5152k| 702.8 |9831k| 94 | 366 | 479 | 579 | 479 | 964 | 749 | 0 |1697 | 1.695022e+02 | 1.950000e+02 | 15.04%
735.97/736.11 c 736s| 7400 | 7381 | 5211k| 701.2 |9905k| 94 | 355 | 479 | 579 | 479 | 964 | 749 | 0 |1722 | 1.695041e+02 | 1.950000e+02 | 15.04%
743.17/743.34 c 743s| 7500 | 7481 | 5259k| 698.2 |9977k| 94 | 366 | 479 | 579 | 479 | 964 | 749 | 0 |1751 | 1.695074e+02 | 1.950000e+02 | 15.04%
750.57/750.78 c 751s| 7600 | 7581 | 5313k| 696.2 | 10M| 94 | 363 | 479 | 579 | 479 | 964 | 749 | 0 |1768 | 1.695129e+02 | 1.950000e+02 | 15.04%
756.77/756.93 c 757s| 7700 | 7681 | 5360k| 693.3 | 10M| 94 | 356 | 479 | 579 | 479 | 964 | 749 | 0 |1770 | 1.695161e+02 | 1.950000e+02 | 15.03%
765.77/765.90 c 766s| 7800 | 7781 | 5431k| 693.4 | 10M| 94 | 382 | 479 | 579 | 479 | 964 | 749 | 0 |1770 | 1.695213e+02 | 1.950000e+02 | 15.03%
772.16/772.31 c 772s| 7900 | 7881 | 5481k| 691.0 | 10M| 94 | 357 | 479 | 579 | 479 | 964 | 749 | 0 |1771 | 1.695243e+02 | 1.950000e+02 | 15.03%
779.57/779.73 c 780s| 8000 | 7981 | 5539k| 689.7 | 10M| 94 | 367 | 479 | 579 | 479 | 964 | 749 | 0 |1771 | 1.695253e+02 | 1.950000e+02 | 15.03%
785.76/785.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.76/785.99 c 786s| 8100 | 8081 | 5579k| 686.0 | 10M| 94 | 355 | 479 | 579 | 479 | 964 | 749 | 0 |1796 | 1.695299e+02 | 1.950000e+02 | 15.02%
794.77/794.91 c 795s| 8200 | 8181 | 5642k| 685.4 | 10M| 94 | 371 | 479 | 579 | 479 | 964 | 749 | 0 |1819 | 1.695345e+02 | 1.950000e+02 | 15.02%
802.87/803.02 c 803s| 8300 | 8281 | 5699k| 684.0 | 10M| 94 | 361 | 479 | 579 | 479 | 964 | 749 | 0 |1842 | 1.695389e+02 | 1.950000e+02 | 15.02%
811.46/811.61 c 812s| 8400 | 8381 | 5758k| 682.9 | 10M| 94 | 371 | 479 | 579 | 479 | 964 | 749 | 0 |1869 | 1.695421e+02 | 1.950000e+02 | 15.02%
818.05/818.24 c 818s| 8500 | 8481 | 5803k| 680.1 | 10M| 94 | 394 | 479 | 579 | 479 | 964 | 749 | 0 |1890 | 1.695473e+02 | 1.950000e+02 | 15.01%
825.15/825.38 c 825s| 8600 | 8581 | 5855k| 678.2 | 10M| 94 | 337 | 479 | 579 | 479 | 964 | 749 | 0 |1904 | 1.695503e+02 | 1.950000e+02 | 15.01%
833.36/833.56 c 834s| 8700 | 8681 | 5919k| 677.8 | 10M| 94 | 361 | 479 | 579 | 479 | 964 | 749 | 0 |1905 | 1.695533e+02 | 1.950000e+02 | 15.01%
841.66/841.86 c 842s| 8800 | 8781 | 5985k| 677.6 | 10M| 94 | 364 | 479 | 579 | 479 | 964 | 749 | 0 |1905 | 1.695575e+02 | 1.950000e+02 | 15.01%
848.96/849.14 c 849s| 8900 | 8881 | 6042k| 676.4 | 10M| 94 | 374 | 479 | 579 | 479 | 964 | 749 | 0 |1906 | 1.695614e+02 | 1.950000e+02 | 15.00%
854.35/854.59 c 855s| 9000 | 8981 | 6083k| 673.4 | 11M| 94 | 369 | 479 | 579 | 479 | 964 | 749 | 0 |1906 | 1.695648e+02 | 1.950000e+02 | 15.00%
864.95/865.13 c 865s| 9100 | 9081 | 6157k| 674.1 | 11M| 94 | 367 | 479 | 579 | 479 | 964 | 749 | 0 |1934 | 1.695677e+02 | 1.950000e+02 | 15.00%
871.55/871.79 c 872s| 9200 | 9181 | 6199k| 671.4 | 11M| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |1962 | 1.695696e+02 | 1.950000e+02 | 15.00%
879.75/879.91 c 880s| 9300 | 9281 | 6259k| 670.6 | 11M| 94 | 359 | 479 | 579 | 479 | 964 | 749 | 0 |1977 | 1.695726e+02 | 1.950000e+02 | 15.00%
887.64/887.88 c 888s| 9400 | 9381 | 6313k| 669.3 | 11M| 94 | 380 | 479 | 579 | 479 | 964 | 749 | 0 |2002 | 1.695750e+02 | 1.950000e+02 | 14.99%
894.35/894.53 c 895s| 9500 | 9481 | 6361k| 667.3 | 11M| 94 | 378 | 479 | 579 | 479 | 964 | 749 | 0 |2014 | 1.695779e+02 | 1.950000e+02 | 14.99%
903.34/903.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.34/903.57 c 904s| 9600 | 9581 | 6430k| 667.5 | 11M| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |2024 | 1.695810e+02 | 1.950000e+02 | 14.99%
908.85/909.08 c 909s| 9700 | 9681 | 6472k| 665.0 | 11M| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |2024 | 1.695844e+02 | 1.950000e+02 | 14.99%
915.14/915.36 c 915s| 9800 | 9781 | 6520k| 663.1 | 11M| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |2025 | 1.695867e+02 | 1.950000e+02 | 14.99%
920.84/921.06 c 921s| 9900 | 9881 | 6564k| 660.8 | 11M| 94 | 372 | 479 | 579 | 479 | 964 | 749 | 0 |2025 | 1.695888e+02 | 1.950000e+02 | 14.98%
927.94/928.10 c 928s| 10000 | 9981 | 6619k| 659.7 | 11M| 94 | 357 | 479 | 579 | 479 | 964 | 749 | 0 |2025 | 1.695918e+02 | 1.950000e+02 | 14.98%
937.64/937.85 c 938s| 10100 | 10081 | 6686k| 659.8 | 11M| 94 | 365 | 479 | 579 | 479 | 964 | 749 | 0 |2058 | 1.695955e+02 | 1.950000e+02 | 14.98%
943.55/943.73 c 944s| 10200 | 10181 | 6731k| 657.7 | 11M| 94 | 362 | 479 | 579 | 479 | 964 | 749 | 0 |2059 | 1.695976e+02 | 1.950000e+02 | 14.98%
949.94/950.15 c 950s| 10300 | 10281 | 6775k| 655.6 | 11M| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |2078 | 1.695990e+02 | 1.950000e+02 | 14.98%
957.63/957.81 c 958s| 10400 | 10381 | 6827k| 654.3 | 12M| 94 | 391 | 479 | 579 | 479 | 964 | 749 | 0 |2097 | 1.696049e+02 | 1.950000e+02 | 14.97%
965.55/965.73 c 966s| 10500 | 10481 | 6884k| 653.5 | 12M| 94 | 377 | 479 | 579 | 479 | 964 | 749 | 0 |2117 | 1.696081e+02 | 1.950000e+02 | 14.97%
972.04/972.23 c 972s| 10600 | 10581 | 6928k| 651.5 | 12M| 94 | 359 | 479 | 579 | 479 | 964 | 749 | 0 |2137 | 1.696112e+02 | 1.950000e+02 | 14.97%
989.53/989.73 c 990s| 10700 | 10681 | 7095k| 661.1 | 12M| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |2156 | 1.696147e+02 | 1.950000e+02 | 14.97%
995.43/995.68 c 996s| 10800 | 10781 | 7141k| 659.1 | 12M| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |2161 | 1.696161e+02 | 1.950000e+02 | 14.97%
1002.43/1002.60 c 1003s| 10900 | 10881 | 7193k| 657.9 | 12M| 94 | 377 | 479 | 579 | 479 | 964 | 749 | 0 |2162 | 1.696194e+02 | 1.950000e+02 | 14.96%
1009.33/1009.53 c 1010s| 11000 | 10981 | 7247k| 656.8 | 12M| 94 | 372 | 479 | 579 | 479 | 964 | 749 | 0 |2163 | 1.696210e+02 | 1.950000e+02 | 14.96%
1017.24/1017.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.24/1017.46 c 1017s| 11100 | 11081 | 7310k| 656.6 | 12M| 94 | 360 | 479 | 579 | 479 | 964 | 749 | 0 |2163 | 1.696248e+02 | 1.950000e+02 | 14.96%
1022.43/1022.67 c 1023s| 11200 | 11181 | 7349k| 654.2 | 12M| 94 | 347 | 479 | 579 | 479 | 964 | 749 | 0 |2164 | 1.696271e+02 | 1.950000e+02 | 14.96%
1031.42/1031.63 c 1032s| 11300 | 11281 | 7410k| 653.8 | 12M| 94 | 357 | 479 | 579 | 479 | 964 | 749 | 0 |2189 | 1.696287e+02 | 1.950000e+02 | 14.96%
1037.92/1038.14 c 1038s| 11400 | 11381 | 7455k| 652.1 | 12M| 94 | 366 | 479 | 579 | 479 | 964 | 749 | 0 |2204 | 1.696308e+02 | 1.950000e+02 | 14.96%
1043.93/1044.17 c 1044s| 11500 | 11481 | 7491k| 649.5 | 12M| 94 | 372 | 479 | 579 | 479 | 964 | 749 | 0 |2237 | 1.696334e+02 | 1.950000e+02 | 14.95%
1050.82/1051.03 c 1051s| 11600 | 11581 | 7544k| 648.5 | 12M| 94 | 373 | 479 | 579 | 479 | 964 | 749 | 0 |2237 | 1.696353e+02 | 1.950000e+02 | 14.95%
1057.72/1057.94 c 1058s| 11700 | 11681 | 7595k| 647.2 | 12M| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |2253 | 1.696374e+02 | 1.950000e+02 | 14.95%
1066.52/1066.70 c 1067s| 11800 | 11781 | 7659k| 647.2 | 13M| 94 | 364 | 479 | 579 | 479 | 964 | 749 | 0 |2269 | 1.696395e+02 | 1.950000e+02 | 14.95%
1073.02/1073.26 c 1073s| 11900 | 11881 | 7706k| 645.7 | 13M| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |2284 | 1.696422e+02 | 1.950000e+02 | 14.95%
1077.91/1078.15 c 1078s| 12000 | 11981 | 7743k| 643.4 | 13M| 94 | 360 | 479 | 579 | 479 | 964 | 749 | 0 |2284 | 1.696439e+02 | 1.950000e+02 | 14.95%
1093.02/1093.20 c 1093s| 12100 | 12081 | 7890k| 650.3 | 13M| 94 | 390 | 479 | 579 | 479 | 964 | 749 | 0 |2285 | 1.696462e+02 | 1.950000e+02 | 14.95%
1099.82/1100.04 c 1100s| 12200 | 12181 | 7945k| 649.4 | 13M| 94 | 388 | 479 | 579 | 479 | 964 | 749 | 0 |2285 | 1.696500e+02 | 1.950000e+02 | 14.94%
1105.01/1105.23 c 1105s| 12300 | 12281 | 7984k| 647.3 | 13M| 94 | 387 | 479 | 579 | 479 | 964 | 749 | 0 |2286 | 1.696533e+02 | 1.950000e+02 | 14.94%
1112.71/1112.98 c 1113s| 12400 | 12381 | 8045k| 647.0 | 13M| 94 | 387 | 479 | 579 | 479 | 964 | 749 | 0 |2286 | 1.696560e+02 | 1.950000e+02 | 14.94%
1119.41/1119.68 c 1120s| 12500 | 12481 | 8093k| 645.7 | 13M| 94 | 351 | 479 | 579 | 479 | 964 | 749 | 0 |2297 | 1.696598e+02 | 1.950000e+02 | 14.94%
1125.31/1125.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.31/1125.59 c 1126s| 12600 | 12581 | 8132k| 643.7 | 13M| 94 | 383 | 479 | 579 | 479 | 964 | 749 | 0 |2316 | 1.696633e+02 | 1.950000e+02 | 14.93%
1135.30/1135.53 c 1136s| 12700 | 12681 | 8207k| 644.5 | 13M| 94 | 362 | 479 | 579 | 479 | 964 | 749 | 0 |2334 | 1.696650e+02 | 1.950000e+02 | 14.93%
1140.81/1141.00 c 1141s| 12800 | 12781 | 8245k| 642.4 | 13M| 94 | 386 | 479 | 579 | 479 | 964 | 749 | 0 |2346 | 1.696674e+02 | 1.950000e+02 | 14.93%
1147.71/1147.98 c 1148s| 12900 | 12881 | 8292k| 641.1 | 13M| 94 | 353 | 479 | 579 | 479 | 964 | 749 | 0 |2373 | 1.696696e+02 | 1.950000e+02 | 14.93%
1154.90/1155.12 c 1155s| 13000 | 12981 | 8343k| 640.1 | 13M| 94 | 368 | 479 | 579 | 479 | 964 | 749 | 0 |2389 | 1.696719e+02 | 1.950000e+02 | 14.93%
1159.90/1160.13 c 1160s| 13100 | 13081 | 8380k| 638.0 | 13M| 94 | 351 | 479 | 579 | 479 | 964 | 749 | 0 |2397 | 1.696737e+02 | 1.950000e+02 | 14.93%
1165.90/1166.18 c 1166s| 13200 | 13181 | 8427k| 636.7 | 14M| 94 | 357 | 479 | 579 | 479 | 964 | 749 | 0 |2398 | 1.696772e+02 | 1.950000e+02 | 14.92%
1174.80/1175.05 c 1175s| 13300 | 13281 | 8499k| 637.3 | 14M| 94 | 376 | 479 | 579 | 479 | 964 | 749 | 0 |2398 | 1.696785e+02 | 1.950000e+02 | 14.92%
1181.30/1181.54 c 1182s| 13400 | 13381 | 8550k| 636.4 | 14M| 94 | 374 | 479 | 579 | 479 | 964 | 749 | 0 |2398 | 1.696807e+02 | 1.950000e+02 | 14.92%
1187.10/1187.36 c 1187s| 13500 | 13481 | 8594k| 635.0 | 14M| 94 | 367 | 479 | 579 | 479 | 964 | 749 | 0 |2398 | 1.696844e+02 | 1.950000e+02 | 14.92%
1193.00/1193.25 c 1193s| 13600 | 13581 | 8641k| 633.8 | 14M| 94 | 355 | 479 | 579 | 479 | 964 | 749 | 0 |2398 | 1.696870e+02 | 1.950000e+02 | 14.92%
1200.60/1200.87 c 1201s| 13700 | 13681 | 8697k| 633.2 | 14M| 94 | 375 | 479 | 579 | 479 | 964 | 749 | 0 |2414 | 1.696886e+02 | 1.950000e+02 | 14.92%
1209.20/1209.40 c 1209s| 13800 | 13781 | 8754k| 632.8 | 14M| 94 | 358 | 479 | 579 | 479 | 964 | 749 | 0 |2441 | 1.696916e+02 | 1.950000e+02 | 14.91%
1215.59/1215.85 c 1216s| 13900 | 13881 | 8799k| 631.5 | 14M| 94 | 389 | 479 | 585 | 479 | 964 | 749 | 6 |2460 | 1.696937e+02 | 1.950000e+02 | 14.91%
1223.20/1223.44 c 1223s| 14000 | 13981 | 8855k| 630.9 | 14M| 94 | 352 | 479 | 585 | 479 | 964 | 749 | 6 |2479 | 1.696950e+02 | 1.950000e+02 | 14.91%
1228.89/1229.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.89/1229.10 c 1229s| 14100 | 14081 | 8899k| 629.6 | 14M| 94 | 373 | 479 | 585 | 479 | 964 | 749 | 6 |2479 | 1.696964e+02 | 1.950000e+02 | 14.91%
1235.89/1236.17 c 1236s| 14200 | 14181 | 8948k| 628.6 | 14M| 94 | 362 | 479 | 585 | 479 | 964 | 749 | 6 |2503 | 1.696988e+02 | 1.950000e+02 | 14.91%
1245.39/1245.66 c 1246s| 14300 | 14281 | 9019k| 629.2 | 14M| 94 | 372 | 479 | 585 | 479 | 964 | 749 | 6 |2516 | 1.696999e+02 | 1.950000e+02 | 14.91%
1251.50/1251.75 c 1252s| 14400 | 14381 | 9069k| 628.3 | 14M| 94 | 351 | 479 | 586 | 479 | 964 | 749 | 7 |2520 | 1.697035e+02 | 1.950000e+02 | 14.91%
1258.10/1258.37 c 1258s| 14500 | 14481 | 9120k| 627.4 | 15M| 94 | 366 | 479 | 586 | 479 | 964 | 749 | 7 |2522 | 1.697049e+02 | 1.950000e+02 | 14.91%
1266.79/1267.09 c 1267s| 14600 | 14581 | 9191k| 628.0 | 15M| 94 | 386 | 479 | 591 | 479 | 964 | 749 | 12 |2522 | 1.697074e+02 | 1.950000e+02 | 14.90%
1271.88/1272.16 c 1272s| 14700 | 14681 | 9230k| 626.4 | 15M| 94 | 367 | 479 | 591 | 479 | 964 | 749 | 12 |2522 | 1.697097e+02 | 1.950000e+02 | 14.90%
1279.09/1279.37 c 1279s| 14800 | 14781 | 9289k| 626.1 | 15M| 94 | 382 | 479 | 591 | 479 | 964 | 749 | 12 |2522 | 1.697112e+02 | 1.950000e+02 | 14.90%
1285.59/1285.87 c 1286s| 14900 | 14881 | 9339k| 625.3 | 15M| 94 | 379 | 479 | 591 | 479 | 964 | 749 | 12 |2522 | 1.697129e+02 | 1.950000e+02 | 14.90%
1291.19/1291.47 c 1291s| 15000 | 14981 | 9377k| 623.7 | 15M| 94 | 381 | 479 | 591 | 479 | 964 | 749 | 12 |2538 | 1.697158e+02 | 1.950000e+02 | 14.90%
1298.49/1298.71 c 1299s| 15100 | 15081 | 9428k| 622.9 | 15M| 94 | 374 | 479 | 591 | 479 | 964 | 749 | 12 |2559 | 1.697176e+02 | 1.950000e+02 | 14.90%
1306.49/1306.72 c 1307s| 15200 | 15181 | 9483k| 622.4 | 15M| 94 | 373 | 479 | 591 | 479 | 964 | 749 | 12 |2585 | 1.697189e+02 | 1.950000e+02 | 14.90%
1313.98/1314.24 c 1314s| 15300 | 15281 | 9543k| 622.3 | 15M| 94 | 352 | 479 | 600 | 479 | 964 | 749 | 21 |2585 | 1.697218e+02 | 1.950000e+02 | 14.89%
1321.18/1321.46 c 1321s| 15400 | 15381 | 9595k| 621.7 | 15M| 94 | 373 | 479 | 600 | 479 | 964 | 749 | 21 |2601 | 1.697243e+02 | 1.950000e+02 | 14.89%
1327.88/1328.12 c 1328s| 15500 | 15481 | 9643k| 620.7 | 15M| 94 | 344 | 479 | 600 | 479 | 964 | 749 | 21 |2619 | 1.697256e+02 | 1.950000e+02 | 14.89%
1334.18/1334.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.18/1334.48 c 1334s| 15600 | 15581 | 9687k| 619.6 | 15M| 94 | 376 | 479 | 600 | 479 | 964 | 749 | 21 |2636 | 1.697284e+02 | 1.950000e+02 | 14.89%
1340.68/1340.94 c 1341s| 15700 | 15681 | 9738k| 618.9 | 15M| 94 | 349 | 479 | 603 | 479 | 964 | 749 | 24 |2642 | 1.697312e+02 | 1.950000e+02 | 14.89%
1347.78/1348.05 c 1348s| 15800 | 15781 | 9795k| 618.5 | 15M| 94 | 382 | 479 | 603 | 479 | 964 | 749 | 24 |2642 | 1.697325e+02 | 1.950000e+02 | 14.89%
1355.38/1355.67 c 1356s| 15900 | 15881 | 9856k| 618.5 | 16M| 94 | 377 | 479 | 603 | 479 | 964 | 749 | 24 |2642 | 1.697337e+02 | 1.950000e+02 | 14.89%
1360.78/1361.00 c 1361s| 16000 | 15981 | 9896k| 617.2 | 16M| 94 | 369 | 479 | 603 | 479 | 964 | 749 | 24 |2642 | 1.697358e+02 | 1.950000e+02 | 14.88%
1365.98/1366.29 c 1366s| 16100 | 16081 | 9937k| 615.8 | 16M| 94 | 351 | 479 | 603 | 479 | 964 | 749 | 24 |2642 | 1.697371e+02 | 1.950000e+02 | 14.88%
1373.28/1373.57 c 1374s| 16200 | 16181 | 9994k| 615.6 | 16M| 94 | 388 | 479 | 603 | 479 | 964 | 749 | 24 |2643 | 1.697391e+02 | 1.950000e+02 | 14.88%
1381.47/1381.76 c 1382s| 16300 | 16281 | 10057k| 615.6 | 16M| 94 | 368 | 479 | 603 | 479 | 964 | 749 | 24 |2654 | 1.697411e+02 | 1.950000e+02 | 14.88%
1389.67/1389.98 c 1390s| 16400 | 16381 | 10116k| 615.5 | 16M| 94 | 359 | 479 | 603 | 479 | 964 | 749 | 24 |2672 | 1.697435e+02 | 1.950000e+02 | 14.88%
1395.77/1396.08 c 1396s| 16500 | 16481 | 10160k| 614.4 | 16M| 94 | 359 | 479 | 603 | 479 | 964 | 749 | 24 |2683 | 1.697453e+02 | 1.950000e+02 | 14.88%
1400.27/1400.53 c 1401s| 16600 | 16581 | 10189k| 612.5 | 16M| 94 | 380 | 479 | 603 | 479 | 964 | 749 | 24 |2695 | 1.697468e+02 | 1.950000e+02 | 14.88%
1406.36/1406.62 c 1407s| 16700 | 16681 | 10232k| 611.4 | 16M| 94 | 376 | 479 | 603 | 479 | 964 | 749 | 24 |2708 | 1.697487e+02 | 1.950000e+02 | 14.88%
1415.77/1416.01 c 1416s| 16800 | 16781 | 10299k| 611.7 | 16M| 94 | 344 | 479 | 603 | 479 | 964 | 749 | 24 |2730 | 1.697503e+02 | 1.950000e+02 | 14.87%
1422.16/1422.44 c 1422s| 16900 | 16881 | 10346k| 610.9 | 16M| 94 | 374 | 479 | 603 | 479 | 964 | 749 | 24 |2739 | 1.697520e+02 | 1.950000e+02 | 14.87%
1430.66/1430.96 c 1431s| 17000 | 16981 | 10409k| 611.0 | 16M| 94 | 366 | 479 | 603 | 479 | 964 | 749 | 24 |2756 | 1.697542e+02 | 1.950000e+02 | 14.87%
1436.96/1437.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.96/1437.20 c 1437s| 17100 | 17081 | 10458k| 610.3 | 16M| 94 | 371 | 479 | 603 | 479 | 964 | 749 | 24 |2761 | 1.697558e+02 | 1.950000e+02 | 14.87%
1441.77/1442.01 c 1442s| 17200 | 17181 | 10497k| 609.0 | 16M| 94 | 367 | 479 | 606 | 479 | 964 | 749 | 27 |2762 | 1.697573e+02 | 1.950000e+02 | 14.87%
1448.16/1448.45 c 1448s| 17300 | 17281 | 10548k| 608.4 | 17M| 94 | 327 | 479 | 606 | 479 | 964 | 749 | 27 |2762 | 1.697586e+02 | 1.950000e+02 | 14.87%
1456.17/1456.42 c 1456s| 17400 | 17381 | 10612k| 608.6 | 17M| 94 | 362 | 479 | 606 | 479 | 964 | 749 | 27 |2762 | 1.697601e+02 | 1.950000e+02 | 14.87%
1462.66/1462.96 c 1463s| 17500 | 17481 | 10664k| 608.1 | 17M| 94 | 345 | 479 | 606 | 479 | 964 | 749 | 27 |2762 | 1.697618e+02 | 1.950000e+02 | 14.87%
1468.06/1468.35 c 1468s| 17600 | 17581 | 10705k| 607.0 | 17M| 94 | 356 | 479 | 606 | 479 | 964 | 749 | 27 |2762 | 1.697632e+02 | 1.950000e+02 | 14.87%
1474.56/1474.82 c 1475s| 17700 | 17681 | 10751k| 606.2 | 17M| 94 | 371 | 479 | 606 | 479 | 964 | 749 | 27 |2776 | 1.697652e+02 | 1.950000e+02 | 14.86%
1482.36/1482.65 c 1483s| 17800 | 17781 | 10809k| 606.0 | 17M| 94 | 366 | 479 | 606 | 479 | 964 | 749 | 27 |2787 | 1.697666e+02 | 1.950000e+02 | 14.86%
1488.55/1488.87 c 1489s| 17900 | 17881 | 10853k| 605.1 | 17M| 94 | 363 | 479 | 606 | 479 | 964 | 749 | 27 |2800 | 1.697679e+02 | 1.950000e+02 | 14.86%
1498.16/1498.45 c 1498s| 18000 | 17981 | 10923k| 605.6 | 17M| 94 | 353 | 479 | 606 | 479 | 964 | 749 | 27 |2822 | 1.697694e+02 | 1.950000e+02 | 14.86%
1503.65/1503.98 c 1504s| 18100 | 18081 | 10962k| 604.4 | 17M| 94 | 376 | 479 | 606 | 479 | 964 | 749 | 27 |2831 | 1.697716e+02 | 1.950000e+02 | 14.86%
1509.35/1509.68 c 1510s| 18200 | 18181 | 11002k| 603.3 | 17M| 94 | 350 | 479 | 606 | 479 | 964 | 749 | 27 |2845 | 1.697732e+02 | 1.950000e+02 | 14.86%
1517.65/1517.93 c 1518s| 18300 | 18281 | 11064k| 603.4 | 17M| 94 | 363 | 479 | 606 | 479 | 964 | 749 | 27 |2856 | 1.697751e+02 | 1.950000e+02 | 14.86%
1524.35/1524.60 c 1525s| 18400 | 18381 | 11112k| 602.7 | 17M| 94 | 360 | 479 | 606 | 479 | 964 | 749 | 27 |2874 | 1.697769e+02 | 1.950000e+02 | 14.86%
1531.05/1531.37 c 1531s| 18500 | 18481 | 11165k| 602.3 | 17M| 94 | 368 | 479 | 606 | 479 | 964 | 749 | 27 |2878 | 1.697782e+02 | 1.950000e+02 | 14.86%
1536.74/1537.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.74/1537.09 c 1537s| 18600 | 18581 | 11209k| 601.5 | 17M| 94 | 366 | 479 | 606 | 479 | 964 | 749 | 27 |2879 | 1.697799e+02 | 1.950000e+02 | 14.85%
1543.84/1544.13 c 1544s| 18700 | 18681 | 11266k| 601.3 | 18M| 94 | 353 | 479 | 608 | 479 | 964 | 749 | 29 |2880 | 1.697819e+02 | 1.950000e+02 | 14.85%
1550.04/1550.38 c 1550s| 18800 | 18781 | 11315k| 600.7 | 18M| 94 | 375 | 479 | 608 | 479 | 964 | 749 | 29 |2881 | 1.697829e+02 | 1.950000e+02 | 14.85%
1565.24/1565.56 c 1566s| 18900 | 18881 | 11467k| 605.6 | 18M| 94 | 383 | 479 | 608 | 479 | 964 | 749 | 29 |2881 | 1.697843e+02 | 1.950000e+02 | 14.85%
1571.25/1571.50 c 1572s| 19000 | 18981 | 11513k| 604.8 | 18M| 94 | 362 | 479 | 608 | 479 | 964 | 749 | 29 |2881 | 1.697859e+02 | 1.950000e+02 | 14.85%
1579.54/1579.82 c 1580s| 19100 | 19081 | 11581k| 605.2 | 18M| 94 | 375 | 479 | 611 | 479 | 964 | 749 | 32 |2881 | 1.697875e+02 | 1.950000e+02 | 14.85%
1586.04/1586.30 c 1586s| 19200 | 19181 | 11623k| 604.2 | 18M| 94 | 389 | 479 | 611 | 479 | 964 | 749 | 32 |2901 | 1.697885e+02 | 1.950000e+02 | 14.85%
1591.84/1592.16 c 1592s| 19300 | 19281 | 11670k| 603.5 | 18M| 94 | 363 | 479 | 611 | 479 | 964 | 749 | 32 |2901 | 1.697896e+02 | 1.950000e+02 | 14.85%
1598.44/1598.78 c 1599s| 19400 | 19381 | 11717k| 602.9 | 18M| 94 | 339 | 479 | 611 | 479 | 964 | 749 | 32 |2915 | 1.697902e+02 | 1.950000e+02 | 14.85%
1606.84/1607.10 c 1607s| 19500 | 19481 | 11771k| 602.5 | 18M| 94 | 373 | 479 | 611 | 479 | 964 | 749 | 32 |2942 | 1.697913e+02 | 1.950000e+02 | 14.85%
1611.73/1612.03 c 1612s| 19600 | 19581 | 11810k| 601.4 | 18M| 94 | 382 | 479 | 611 | 479 | 964 | 749 | 32 |2942 | 1.697923e+02 | 1.950000e+02 | 14.85%
1619.63/1619.90 c 1620s| 19700 | 19681 | 11869k| 601.4 | 18M| 94 | 372 | 479 | 611 | 479 | 964 | 749 | 32 |2955 | 1.697938e+02 | 1.950000e+02 | 14.85%
1624.84/1625.14 c 1625s| 19800 | 19781 | 11906k| 600.2 | 18M| 94 | 362 | 479 | 611 | 479 | 964 | 749 | 32 |2970 | 1.697964e+02 | 1.950000e+02 | 14.84%
1630.13/1630.48 c 1630s| 19900 | 19881 | 11943k| 599.1 | 18M| 94 | 380 | 479 | 611 | 479 | 964 | 749 | 32 |2985 | 1.697975e+02 | 1.950000e+02 | 14.84%
1635.73/1636.01 c 1636s| 20000 | 19981 | 11985k| 598.2 | 18M| 94 | 370 | 479 | 611 | 479 | 964 | 749 | 32 |2990 | 1.697986e+02 | 1.950000e+02 | 14.84%
1641.23/1641.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.23/1641.56 c 1642s| 20100 | 20081 | 12028k| 597.3 | 19M| 94 | 368 | 479 | 611 | 479 | 964 | 749 | 32 |2992 | 1.697999e+02 | 1.950000e+02 | 14.84%
1647.44/1647.76 c 1648s| 20200 | 20181 | 12077k| 596.8 | 19M| 94 | 358 | 479 | 611 | 479 | 964 | 749 | 32 |2993 | 1.698016e+02 | 1.950000e+02 | 14.84%
1655.63/1655.99 c 1656s| 20300 | 20281 | 12143k| 597.1 | 19M| 94 | 372 | 479 | 615 | 479 | 964 | 749 | 36 |2993 | 1.698036e+02 | 1.950000e+02 | 14.84%
1663.03/1663.38 c 1663s| 20400 | 20381 | 12205k| 597.2 | 19M| 94 | 375 | 479 | 616 | 479 | 964 | 749 | 37 |2993 | 1.698049e+02 | 1.950000e+02 | 14.84%
1667.93/1668.27 c 1668s| 20500 | 20481 | 12242k| 596.1 | 19M| 94 | 359 | 479 | 616 | 479 | 964 | 749 | 37 |2993 | 1.698067e+02 | 1.950000e+02 | 14.84%
1673.72/1674.01 c 1674s| 20600 | 20581 | 12287k| 595.4 | 19M| 94 | 369 | 479 | 616 | 479 | 964 | 749 | 37 |2993 | 1.698080e+02 | 1.950000e+02 | 14.84%
1680.02/1680.35 c 1680s| 20700 | 20681 | 12335k| 594.8 | 19M| 94 | 346 | 479 | 616 | 479 | 964 | 749 | 37 |3002 | 1.698091e+02 | 1.950000e+02 | 14.83%
1687.82/1688.11 c 1688s| 20800 | 20781 | 12397k| 594.9 | 19M| 94 | 357 | 479 | 617 | 479 | 964 | 749 | 38 |3011 | 1.698105e+02 | 1.950000e+02 | 14.83%
1696.52/1696.89 c 1697s| 20900 | 20881 | 12462k| 595.2 | 19M| 94 | 352 | 479 | 617 | 479 | 964 | 749 | 38 |3025 | 1.698126e+02 | 1.950000e+02 | 14.83%
1702.92/1703.20 c 1703s| 21000 | 20981 | 12508k| 594.6 | 19M| 94 | 360 | 479 | 617 | 479 | 964 | 749 | 38 |3037 | 1.698136e+02 | 1.950000e+02 | 14.83%
1708.62/1708.91 c 1709s| 21100 | 21081 | 12548k| 593.7 | 19M| 94 | 378 | 479 | 617 | 479 | 964 | 749 | 38 |3049 | 1.698152e+02 | 1.950000e+02 | 14.83%
1714.82/1715.15 c 1715s| 21200 | 21181 | 12592k| 592.9 | 19M| 94 | 374 | 479 | 617 | 479 | 964 | 749 | 38 |3067 | 1.698168e+02 | 1.950000e+02 | 14.83%
1721.22/1721.59 c 1722s| 21300 | 21281 | 12638k| 592.3 | 19M| 94 | 354 | 479 | 617 | 479 | 964 | 749 | 38 |3083 | 1.698183e+02 | 1.950000e+02 | 14.83%
1737.21/1737.55 c 1738s| 21400 | 21381 | 12802k| 597.2 | 19M| 94 | 364 | 479 | 617 | 479 | 964 | 749 | 38 |3094 | 1.698197e+02 | 1.950000e+02 | 14.83%
1745.81/1746.10 c 1746s| 21500 | 21481 | 12869k| 597.5 | 20M| 94 | 357 | 479 | 617 | 479 | 964 | 749 | 38 |3104 | 1.698209e+02 | 1.950000e+02 | 14.83%
1751.02/1751.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.02/1751.38 c 1751s| 21600 | 21581 | 12910k| 596.7 | 20M| 94 | 353 | 479 | 617 | 479 | 964 | 749 | 38 |3105 | 1.698229e+02 | 1.950000e+02 | 14.83%
1756.81/1757.17 c 1757s| 21700 | 21681 | 12956k| 596.0 | 20M| 94 | 364 | 479 | 617 | 479 | 964 | 749 | 38 |3105 | 1.698246e+02 | 1.950000e+02 | 14.82%
1761.71/1762.07 c 1762s| 21800 | 21781 | 12994k| 595.0 | 20M| 94 | 372 | 479 | 617 | 479 | 964 | 749 | 38 |3105 | 1.698270e+02 | 1.950000e+02 | 14.82%
1768.61/1768.98 c 1769s| 21900 | 21881 | 13048k| 594.8 | 20M| 94 | 366 | 479 | 617 | 479 | 964 | 749 | 38 |3106 | 1.698289e+02 | 1.950000e+02 | 14.82%
1775.81/1776.15 c 1776s| 22000 | 21981 | 13105k| 594.7 | 20M| 94 | 381 | 479 | 617 | 479 | 964 | 749 | 38 |3106 | 1.698301e+02 | 1.950000e+02 | 14.82%
1782.91/1783.29 c 1783s| 22100 | 22081 | 13162k| 594.6 | 20M| 94 | 365 | 479 | 617 | 479 | 964 | 749 | 38 |3106 | 1.698317e+02 | 1.950000e+02 | 14.82%
1787.71/1788.06 c 1788s| 22200 | 22181 | 13198k| 593.5 | 20M| 94 | 385 | 479 | 617 | 479 | 964 | 749 | 38 |3106 | 1.698331e+02 | 1.950000e+02 | 14.82%
1793.61/1793.92 c 1794s| 22300 | 22281 | 13239k| 592.7 | 20M| 94 | 371 | 479 | 617 | 479 | 964 | 749 | 38 |3118 | 1.698343e+02 | 1.950000e+02 | 14.82%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 22331
1796.71/1797.00 c Primal Bound : +1.95000000000000e+02 (706 solutions)
1796.71/1797.00 c Dual Bound : +1.69834587346846e+02
1796.71/1797.00 c Gap : 14.82 %
1796.71/1797.00 s SATISFIABLE
1796.71/1797.00 v -x479 -x478 x477 -x476 x475 x474 x473 -x472 x471 x470 x469 -x468 x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457
1796.71/1797.00 v -x456 x455 x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435
1796.71/1797.00 v x434 x433 -x432 -x431 -x430 -x429 x428 x427 -x426 -x425 x424 -x423 x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 x413
1796.71/1797.00 v x412 -x411 -x410 x409 -x408 x407 x406 -x405 -x404 x403 x402 x401 x400 x399 -x398 x397 x396 -x395 -x394 -x393 -x392 -x391 x390
1796.71/1797.00 v -x389 x388 -x387 x386 x385 -x384 x383 -x382 x381 x380 x379 -x378 -x377 x376 x375 x374 -x373 x372 -x371 -x370 -x369 -x368 x367
1796.71/1797.00 v x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 x354 x353 x352 -x351 -x350 -x349 x348 -x347 x346 x345
1796.71/1797.00 v -x344 -x343 -x342 -x341 x340 -x339 x338 -x337 -x336 x335 x334 -x333 x332 -x331 -x330 -x329 -x328 x327 x326 -x325 -x324 -x323
1796.71/1797.00 v x322 x321 x320 x319 -x318 x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300
1796.71/1797.00 v -x299 x298 -x297 -x296 x295 x294 x293 x292 -x291 -x290 -x289 x288 x287 x286 -x285 -x284 -x283 x282 x281 x280 x279 -x278 -x277
1796.71/1797.00 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 -x264 -x263 -x262 -x261 x260 -x259 x258 -x257 x256
1796.71/1797.00 v x255 -x254 -x253 x252 -x251 -x250 x249 -x248 x247 x246 -x245 -x244 x243 -x242 x241 x240 -x239 -x238 x237 -x236 -x235 x234 -x233
1796.71/1797.00 v -x232 x231 x230 x229 x228 -x227 x226 -x225 -x224 x223 -x222 x221 -x220 -x219 -x218 -x217 x216 x215 -x214 x213 -x212 x211
1796.71/1797.00 v -x210 -x209 x208 -x207 x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 x197 -x196 x195 x194 -x193 -x192 x191 x190 x189 x188
1796.71/1797.00 v -x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 -x173 x172 x171 x170 x169 -x168 -x167 x166 -x165
1796.71/1797.00 v -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 x145 x144
1796.71/1797.00 v x143 -x142 -x141 x140 x139 -x138 x137 x136 x135 -x134 x133 -x132 -x131 x130 x129 -x128 -x127 -x126 -x125 x124 x123 x122 -x121
1796.71/1797.00 v -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 x100 -x99
1796.71/1797.00 v -x98 -x97 x96 -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
1796.71/1797.00 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 -x45 x44
1796.71/1797.00 v -x43 -x42 -x41 x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18
1796.71/1797.00 v x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 -x7 -x6 x5 x4 x3 -x2 x1
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.03 (included in solving)
1796.71/1797.00 c reading : 0.00 (included in solving)
1796.71/1797.00 c copying : 0.03 (5 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3690895-1338017127.opb
1796.71/1797.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 479 initial, 479 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3690895-1338017127.opb
1796.71/1797.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 579 initial, 617 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 36 235 346 751
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 99 0 0 0
1796.71/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 21
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 22320 0 711 0 0 0 0 0 44640
1796.71/1797.00 c knapsack : 441 441 11 197738 0 1 706 0 0 6452 783 0 0
1796.71/1797.00 c setppc : 136 136 11 197722 0 1 705 0 0 6039 0 0 0
1796.71/1797.00 c logicor : 2+ 40 11 4898 0 1 705 0 0 0 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 1 709 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 127.78 0.00 0.00 0.00 127.78 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 1.39 0.00 0.03 1.35 0.00 0.00 0.01 0.00
1796.71/1797.00 c setppc : 0.30 0.00 0.00 0.30 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 23 0 0 0
1796.71/1797.00 c pseudoobj : 220008 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 22345 0 0 321
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.00 c pseudoobj : 0.22 0.00 0.00 0.22 0.00
1796.71/1797.00 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.00 c redcost : 0.21 0.00 0.00 0.21 0.00
1796.71/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c infeasible LP : 0.00 38 38 38 4.3 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 38 4.3 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 10 - - 340 - (maximal pool size: 1327)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 0.00 11 0 0 0 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.69 0.00 10 0 0 6 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.40 0.00 11 0 0 6 0
1796.71/1797.00 c cmir : 0.20 0.00 10 0 0 782 0
1796.71/1797.00 c flowcover : 0.27 0.00 10 0 0 963 0
1796.71/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.26 0.00 1 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 127.75 0.00 22320 0 0 0 0 44640
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c oneopt : 0.01 0.00 6 1
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 1
1796.71/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.00 c simplerounding : 0.69 0.00 22330 25
1796.71/1797.00 c zirounding : 0.43 0.00 1251 25
1796.71/1797.00 c rounding : 16.88 0.00 6722 1
1796.71/1797.00 c shifting : 4.54 0.00 1685 1
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.01 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 63.46 0.00 54 179
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c pscostdiving : 322.29 0.00 381 238
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c fracdiving : 51.95 0.00 44 0
1796.71/1797.00 c veclendiving : 75.99 0.00 92 79
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c objpscostdiving : 46.65 0.00 6 117
1796.71/1797.00 c rootsoldiving : 12.94 0.00 13 0
1796.71/1797.00 c linesearchdiving : 76.11 0.00 105 37
1796.71/1797.00 c guideddiving : 51.54 0.00 45 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.01 0.00 0 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c crossover : 0.12 0.00 1 1
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.01 0.00 0 0
1796.71/1797.00 c trysol : 0.01 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.71/1797.00 c dual LP : 936.93 22375 7204231 322.47 7689.19 0.05 34
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 679.14 118626 6050810 51.01 8909.49
1796.71/1797.00 c strong branching : 126.01 3140 876034 278.99 6951.97
1796.71/1797.00 c (at root node) : - 16 14234 889.62 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 22331
1796.71/1797.00 c nodes (total) : 22331
1796.71/1797.00 c nodes left : 22312
1796.71/1797.00 c max depth : 94
1796.71/1797.00 c max depth (total): 94
1796.71/1797.00 c backtracks : 2413 (10.8%)
1796.71/1797.00 c delayed cutoffs : 0
1796.71/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.00 c avg switch length: 3.80
1796.71/1797.00 c switching time : 0.66
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 706 (29 improvements)
1796.71/1797.00 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.00 c Primal Bound : +1.95000000000000e+02 (in run 1, after 494 nodes, 126.24 seconds, depth 14, found by <crossover>)
1796.71/1797.00 c Dual Bound : +1.69834587346846e+02
1796.71/1797.00 c Gap : 14.82 %
1796.71/1797.00 c Root Dual Bound : +1.67737288685223e+02
1796.71/1797.00 c Root Iterations : 23007
1796.71/1797.04 c Time complete: 1796.75.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690895-1338017127/watcher-3690895-1338017127 -o /tmp/evaluation-result-3690895-1338017127/solver-3690895-1338017127 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690895-1338017127.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 0.95 0.36 3/176 3423
/proc/meminfo: memFree=28834496/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=10408 CPUtime=0 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 1358 0 0 0 0 0 0 0 20 0 1 0 267838420 10657792 1312 33554432000 4194304 10173063 140736661680448 140736661545624 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 2602 1312 416 1460 0 1133 0
[startup+0.0645349 s]
/proc/loadavg: 1.94 0.95 0.36 3/176 3423
/proc/meminfo: memFree=28834496/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=24560 CPUtime=0.05 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 5139 0 0 0 5 0 0 0 20 0 1 0 267838420 25149440 4836 33554432000 4194304 10173063 140736661680448 140736661545624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6140 4836 762 1460 0 4671 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24560
[startup+0.100235 s]
/proc/loadavg: 1.94 0.95 0.36 3/176 3423
/proc/meminfo: memFree=28834496/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=24560 CPUtime=0.09 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 5140 0 0 0 9 0 0 0 20 0 1 0 267838420 25149440 4837 33554432000 4194304 10173063 140736661680448 140736661545624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6140 4837 762 1460 0 4671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24560
[startup+0.300103 s]
/proc/loadavg: 1.94 0.95 0.36 3/176 3423
/proc/meminfo: memFree=28834496/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=24560 CPUtime=0.28 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 5143 0 0 0 28 0 0 0 20 0 1 0 267838420 25149440 4840 33554432000 4194304 10173063 140736661680448 140736661545624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6140 4840 762 1460 0 4671 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24560
[startup+0.700098 s]
/proc/loadavg: 1.94 0.95 0.36 3/176 3423
/proc/meminfo: memFree=28834496/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=24560 CPUtime=0.69 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 5156 0 0 0 68 1 0 0 20 0 1 0 267838420 25149440 4853 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6140 4853 762 1460 0 4671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24560
[startup+1.50014 s]
/proc/loadavg: 1.94 0.95 0.36 3/177 3424
/proc/meminfo: memFree=28817616/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=26232 CPUtime=1.49 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 9338 0 0 0 145 4 0 0 20 0 1 0 267838420 26861568 5384 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6558 5384 848 1460 0 5089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26232
[startup+3.10018 s]
/proc/loadavg: 1.95 0.97 0.37 3/177 3424
/proc/meminfo: memFree=28815144/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=27892 CPUtime=3.09 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 9766 0 0 0 303 6 0 0 20 0 1 0 267838420 28561408 5812 33554432000 4194304 10173063 140736661680448 140736661675400 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 6973 5812 848 1460 0 5504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27892
[startup+6.30023 s]
/proc/loadavg: 1.95 0.97 0.37 3/177 3424
/proc/meminfo: memFree=28813408/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=28420 CPUtime=6.29 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 9885 0 0 0 621 8 0 0 20 0 1 0 267838420 29102080 5931 33554432000 4194304 10173063 140736661680448 140736661675368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7105 5931 848 1460 0 5636 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28420
[startup+12.7002 s]
/proc/loadavg: 1.95 1.00 0.39 3/177 3424
/proc/meminfo: memFree=28813468/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=28812 CPUtime=12.69 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 10877 0 0 0 1255 14 0 0 20 0 1 0 267838420 29503488 6041 33554432000 4194304 10173063 140736661680448 140736661673400 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7203 6041 855 1460 0 5734 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28812
[startup+25.5002 s]
/proc/loadavg: 1.96 1.04 0.40 3/177 3424
/proc/meminfo: memFree=28813692/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=28812 CPUtime=25.49 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 10879 0 0 0 2524 25 0 0 20 0 1 0 267838420 29503488 6043 33554432000 4194304 10173063 140736661680448 140736661673896 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7203 6043 857 1460 0 5734 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28812
[startup+51.1002 s]
/proc/loadavg: 1.97 1.11 0.44 3/177 3424
/proc/meminfo: memFree=28809228/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=29340 CPUtime=51.08 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 11009 0 0 0 5060 48 0 0 20 0 1 0 267838420 30044160 6173 33554432000 4194304 10173063 140736661680448 140736661673160 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7335 6173 857 1460 0 5866 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29340
[startup+102.306 s]
/proc/loadavg: 1.99 1.26 0.53 3/178 3425
/proc/meminfo: memFree=28800796/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=29340 CPUtime=102.27 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 11014 0 0 0 10130 97 0 0 20 0 1 0 267838420 30044160 6503 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7335 6503 857 1460 0 5866 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29340
[startup+162.3 s]
/proc/loadavg: 1.99 1.39 0.62 3/177 3463
/proc/meminfo: memFree=27460112/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=29724 CPUtime=162.26 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 14446 0 0 0 16071 155 0 0 20 0 1 0 267838420 30437376 6598 33554432000 4194304 10173063 140736661680448 140736661673320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7431 6598 864 1460 0 5962 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29724
[startup+222.3 s]
/proc/loadavg: 1.99 1.50 0.70 3/177 3464
/proc/meminfo: memFree=27455808/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=30764 CPUtime=222.25 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 15288 0 0 0 22011 214 0 0 20 0 1 0 267838420 31502336 6852 33554432000 4194304 10173063 140736661680448 140736661673800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7691 6852 864 1460 0 6222 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30764
[startup+282.3 s]
/proc/loadavg: 1.99 1.59 0.78 3/178 3467
/proc/meminfo: memFree=27454096/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=30888 CPUtime=282.24 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 16010 0 0 0 27957 267 0 0 20 0 1 0 267838420 31629312 6909 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 7722 6909 864 1460 0 6253 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30888
[startup+342.3 s]
/proc/loadavg: 1.99 1.66 0.85 3/177 3467
/proc/meminfo: memFree=27453196/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=32124 CPUtime=342.23 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 16311 0 0 0 33904 319 0 0 20 0 1 0 267838420 32894976 7210 33554432000 4194304 10173063 140736661680448 140736661673800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 8031 7210 864 1460 0 6562 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32124
[startup+402.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/177 3467
/proc/meminfo: memFree=27457124/32873660 swapFree=7112/7112
[pid=3423] ppid=3421 vsize=32124 CPUtime=402.23 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 16325 0 0 0 39853 370 0 0 20 0 1 0 267838420 32894976 7224 33554432000 4194304 10173063 140736661680448 140736661673368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 8031 7224 864 1460 0 6562 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 32124
[startup+462.3 s]
/proc/loadavg: 1.99 1.77 0.99 3/177 3467
/proc/meminfo: memFree=27367092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=32608 CPUtime=462.21 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 16434 0 0 0 45804 417 0 0 20 0 1 0 267838420 33390592 7333 33554432000 4194304 10173063 140736661680448 140736661674280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 8152 7333 864 1460 0 6683 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 32608
[startup+522.3 s]
/proc/loadavg: 1.99 1.80 1.04 3/177 3468
/proc/meminfo: memFree=27360176/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=34324 CPUtime=522.21 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 16856 0 0 0 51746 475 0 0 20 0 1 0 267838420 35147776 7755 33554432000 4194304 10173063 140736661680448 140736661673416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 8581 7755 864 1460 0 7112 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34324
[startup+582.3 s]
/proc/loadavg: 1.99 1.84 1.11 3/177 3468
/proc/meminfo: memFree=27359580/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=34876 CPUtime=582.2 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 17001 0 0 0 57690 530 0 0 20 0 1 0 267838420 35713024 7900 33554432000 4194304 10173063 140736661680448 140736661673800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 8719 7900 864 1460 0 7250 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 34876
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27253820/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=39804 CPUtime=1122.11 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18247 0 0 0 111214 997 0 0 20 0 1 0 267838420 40759296 9143 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 9951 9143 864 1460 0 8482 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 39804
[startup+1182.3 s]
/proc/loadavg: 2.07 2.01 1.54 3/177 3473
/proc/meminfo: memFree=27252580/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=41060 CPUtime=1182.1 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18562 0 0 0 117159 1051 0 0 20 0 1 0 267838420 42045440 9458 33554432000 4194304 10173063 140736661680448 140736661674088 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10265 9458 864 1460 0 8796 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 41060
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.57 3/177 3473
/proc/meminfo: memFree=27251348/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=41884 CPUtime=1242.09 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18766 0 0 0 123103 1106 0 0 20 0 1 0 267838420 42889216 9662 33554432000 4194304 10173063 140736661680448 140736661674088 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10471 9662 865 1460 0 9002 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 41884
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.59 3/177 3473
/proc/meminfo: memFree=27207348/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=41884 CPUtime=1302.09 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18773 0 0 0 129050 1159 0 0 20 0 1 0 267838420 42889216 9669 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10471 9669 866 1460 0 9002 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.61 3/177 3473
/proc/meminfo: memFree=27206976/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=41884 CPUtime=1362.07 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18780 0 0 0 134993 1214 0 0 20 0 1 0 267838420 42889216 9676 33554432000 4194304 10173063 140736661680448 140736661673752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10471 9676 866 1460 0 9002 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 41884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.64 3/177 3474
/proc/meminfo: memFree=27206488/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=42544 CPUtime=1422.07 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 18943 0 0 0 140942 1265 0 0 20 0 1 0 267838420 43565056 9839 33554432000 4194304 10173063 140736661680448 140736661673416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10636 9839 866 1460 0 9167 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42544
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.65 3/178 3477
/proc/meminfo: memFree=27205232/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=43304 CPUtime=1482.06 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 19125 0 0 0 146885 1321 0 0 20 0 1 0 267838420 44343296 10021 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 10826 10021 866 1460 0 9357 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 43304
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/177 3477
/proc/meminfo: memFree=27203812/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=44916 CPUtime=1542.04 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 19561 0 0 0 152829 1375 0 0 20 0 1 0 267838420 45993984 10457 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11229 10457 866 1460 0 9760 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 44916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 3477
/proc/meminfo: memFree=27203572/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=45364 CPUtime=1602.03 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 19666 0 0 0 158768 1435 0 0 20 0 1 0 267838420 46452736 10562 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11341 10562 866 1460 0 9872 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 45364
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.71 3/177 3477
/proc/meminfo: memFree=27203076/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=45788 CPUtime=1662.02 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 19758 0 0 0 164711 1491 0 0 20 0 1 0 267838420 46886912 10654 33554432000 4194304 10173063 140736661680448 140736661676936 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11447 10654 866 1460 0 9978 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 45788
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.73 3/177 3478
/proc/meminfo: memFree=27254216/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46660 CPUtime=1722.02 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 19975 0 0 0 170653 1549 0 0 20 0 1 0 267838420 47779840 10871 33554432000 4194304 10173063 140736661680448 140736661673464 8045008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11665 10871 866 1460 0 10196 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 46660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27253968/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1782.01 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20059 0 0 0 176591 1610 0 0 20 0 1 0 267838420 48099328 10955 33554432000 4194304 10173063 140736661680448 140736661673480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10955 866 1460 0 10274 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 46972
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254216/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1785.21 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20059 0 0 0 176908 1613 0 0 20 0 1 0 267838420 48099328 10955 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10955 866 1460 0 10274 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 46972
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254216/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1791.62 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20059 0 0 0 177544 1618 0 0 20 0 1 0 267838420 48099328 10955 33554432000 4194304 10173063 140736661680448 140736661673704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10955 866 1460 0 10274 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 46972
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1794.81 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20060 0 0 0 177862 1619 0 0 20 0 1 0 267838420 48099328 10956 33554432000 4194304 10173063 140736661680448 140736661673576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10956 866 1460 0 10274 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 46972
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1795.61 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20060 0 0 0 177941 1620 0 0 20 0 1 0 267838420 48099328 10956 33554432000 4194304 10173063 140736661680448 140736661673896 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10956 866 1460 0 10274 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 46972
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1796.4 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20060 0 0 0 178020 1620 0 0 20 0 1 0 267838420 48099328 10956 33554432000 4194304 10173063 140736661680448 140736661673768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10956 866 1460 0 10274 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 46972
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1796.61 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20060 0 0 0 178040 1621 0 0 20 0 1 0 267838420 48099328 10956 33554432000 4194304 10173063 140736661680448 140736661673768 8046938 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10956 866 1460 0 10274 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 46972
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 3478
/proc/meminfo: memFree=27254092/32873660 swapFree=7108/7108
[pid=3423] ppid=3421 vsize=46972 CPUtime=1796.71 cores=1,3,5,7
/proc/3423/stat : 3423 (scip-2.1.1.4fix) R 3421 3423 3226 0 -1 4202496 20060 0 0 0 178050 1621 0 0 20 0 1 0 267838420 48099328 10956 33554432000 4194304 10173063 140736661680448 140736661673768 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3423/statm: 11743 10956 866 1460 0 10274 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 46972
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1780.55
CPU system time (s): 16.2135
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 46972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.55
system time used= 16.2135
maximum resident set size= 43832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20064
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= 12
involuntary context switches= 1850
runsolver used 2.68959 second user time and 7.14091 second system time
The end