0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666228-1276601773.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 20 | - | 192k| 0 | 4 | 30 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.09 c 0.1s| 1 | 0 | 24 | - | 380k| 0 | 8 | 30 | 100 | 30 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.09 c 0.1s| 1 | 0 | 32 | - | 399k| 0 | 9 | 30 | 100 | 30 | 12 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 39 | - | 416k| 0 | 11 | 30 | 100 | 30 | 15 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 48 | - | 433k| 0 | 12 | 30 | 100 | 30 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 54 | - | 448k| 0 | 12 | 30 | 100 | 30 | 21 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 58 | - | 461k| 0 | 14 | 30 | 100 | 30 | 24 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 2 | 58 | - | 461k| 0 | 14 | 30 | 100 | 30 | 24 | 20 | 0 | 10 | 0.000000e+00 | -- | Inf
4.79/4.88 c 4.2s| 10000 | 2746 | 17373 | 1.7 |2945k| 25 | 4 | 30 |2679 | 30 | 14 | 20 |2713 | 329 | 0.000000e+00 | -- | Inf
10.59/10.67 c 9.2s| 20000 | 4614 | 33930 | 1.7 |4065k| 25 | 4 | 30 |2410 | 30 | 14 | 20 |5461 | 449 | 0.000000e+00 | -- | Inf
15.99/16.06 c 13.9s| 30000 | 6074 | 50669 | 1.7 |5034k| 26 | 4 | 30 |2407 | 30 | 14 | 20 |8274 | 556 | 0.000000e+00 | -- | Inf
21.69/21.75 c 18.8s| 40000 | 7189 | 67470 | 1.7 |5980k| 26 | - | 30 |2789 | 0 | 0 | 20 | 11k| 657 | 0.000000e+00 | -- | Inf
27.49/27.58 c 23.9s| 50000 | 8267 | 84242 | 1.7 |7002k| 26 | - | 30 |3384 | 30 | 14 | 20 | 14k| 748 | 0.000000e+00 | -- | Inf
33.69/33.74 c 29.4s| 60000 | 9060 |100810 | 1.7 |7568k| 26 | 4 | 30 |2984 | 30 | 14 | 20 | 16k| 810 | 0.000000e+00 | -- | Inf
39.68/39.78 c 34.7s| 70000 | 9847 |117523 | 1.7 |8395k| 26 | 4 | 30 |3485 | 30 | 14 | 20 | 19k| 869 | 0.000000e+00 | -- | Inf
46.28/46.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.28/46.39 c 40.6s| 80000 | 10293 |135340 | 1.7 |8840k| 26 | - | 30 |3240 | 30 | 14 | 20 | 22k| 921 | 0.000000e+00 | -- | Inf
52.68/52.73 c 46.2s| 90000 | 10936 |154231 | 1.7 |9434k| 26 | - | 30 |3293 | 30 | 14 | 20 | 25k| 967 | 0.000000e+00 | -- | Inf
58.77/58.89 c 51.7s|100000 | 11807 |173171 | 1.7 | 10M| 26 | 4 | 30 |3917 | 30 | 14 | 20 | 27k|1005 | 0.000000e+00 | -- | Inf
65.37/65.44 c 57.5s|110000 | 12245 |191284 | 1.7 | 10M| 26 | 4 | 30 |3469 | 30 | 14 | 20 | 29k|1027 | 0.000000e+00 | -- | Inf
71.67/71.73 c 63.1s|120000 | 12834 |209717 | 1.7 | 11M| 26 | - | 30 |3041 | 0 | 0 | 20 | 32k|1045 | 0.000000e+00 | -- | Inf
78.17/78.28 c 69.0s|130000 | 13030 |227583 | 1.8 | 11M| 26 | - | 30 |3035 | 0 | 0 | 20 | 35k|1070 | 0.000000e+00 | -- | Inf
84.47/84.54 c 74.5s|140000 | 13391 |246269 | 1.8 | 11M| 26 | - | 30 |3130 | 0 | 0 | 20 | 37k|1090 | 0.000000e+00 | -- | Inf
90.77/90.86 c 80.1s|150000 | 13698 |265314 | 1.8 | 12M| 26 | 4 | 30 |3033 | 30 | 14 | 20 | 40k|1109 | 0.000000e+00 | -- | Inf
96.96/97.03 c 85.6s|160000 | 13830 |283597 | 1.8 | 12M| 26 | - | 30 |2581 | 0 | 0 | 20 | 42k|1128 | 0.000000e+00 | -- | Inf
102.67/102.79 c 90.7s|170000 | 14206 |301155 | 1.8 | 12M| 26 | - | 30 |2786 | 0 | 0 | 20 | 45k|1147 | 0.000000e+00 | -- | Inf
109.07/109.17 c 96.3s|180000 | 14070 |319260 | 1.8 | 12M| 26 | - | 30 |2687 | 0 | 0 | 20 | 47k|1172 | 0.000000e+00 | -- | Inf
115.16/115.28 c 102s|190000 | 14101 |337460 | 1.8 | 12M| 26 | - | 30 |2569 | 0 | 0 | 20 | 50k|1202 | 0.000000e+00 | -- | Inf
121.36/121.50 c 107s|200000 | 14105 |355225 | 1.8 | 13M| 26 | - | 30 |2326 | 0 | 0 | 20 | 53k|1224 | 0.000000e+00 | -- | Inf
127.06/127.20 c 112s|210000 | 14521 |373831 | 1.8 | 13M| 26 | 4 | 30 |2660 | 30 | 14 | 20 | 56k|1238 | 0.000000e+00 | -- | Inf
132.86/132.97 c 117s|220000 | 15455 |392793 | 1.8 | 14M| 26 | 4 | 30 |3639 | 30 | 14 | 20 | 58k|1254 | 0.000000e+00 | -- | Inf
139.16/139.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.16/139.29 c 123s|230000 | 16181 |411062 | 1.8 | 15M| 26 | - | 30 |4229 | 30 | 14 | 20 | 60k|1266 | 0.000000e+00 | -- | Inf
145.75/145.81 c 129s|240000 | 16945 |429091 | 1.8 | 15M| 26 | - | 30 |4097 | 0 | 0 | 20 | 63k|1279 | 0.000000e+00 | -- | Inf
152.35/152.46 c 135s|250000 | 17276 |447068 | 1.8 | 16M| 26 | 4 | 30 |4222 | 30 | 14 | 20 | 65k|1299 | 0.000000e+00 | -- | Inf
159.16/159.22 c 141s|260000 | 17498 |464972 | 1.8 | 16M| 26 | - | 30 |4438 | 0 | 0 | 20 | 68k|1311 | 0.000000e+00 | -- | Inf
166.15/166.20 c 147s|270000 | 17665 |482812 | 1.8 | 16M| 26 | 4 | 30 |4391 | 30 | 14 | 20 | 70k|1321 | 0.000000e+00 | -- | Inf
172.95/173.09 c 153s|280000 | 17930 |501195 | 1.8 | 17M| 26 | 4 | 30 |4974 | 30 | 14 | 20 | 73k|1335 | 0.000000e+00 | -- | Inf
180.65/180.75 c 160s|290000 | 17744 |519566 | 1.8 | 16M| 26 | 4 | 30 |3521 | 30 | 14 | 20 | 76k|1355 | 0.000000e+00 | -- | Inf
187.15/187.21 c 166s|300000 | 18044 |537455 | 1.8 | 17M| 26 | - | 30 |3405 | 0 | 0 | 20 | 79k|1365 | 0.000000e+00 | -- | Inf
193.84/193.97 c 172s|310000 | 17898 |555409 | 1.8 | 17M| 26 | 4 | 30 |3218 | 30 | 14 | 20 | 81k|1380 | 0.000000e+00 | -- | Inf
200.44/200.56 c 178s|320000 | 17844 |573272 | 1.8 | 17M| 26 | - | 30 |3112 | 0 | 0 | 20 | 84k|1399 | 0.000000e+00 | -- | Inf
207.54/207.62 c 184s|330000 | 17526 |591816 | 1.8 | 17M| 26 | 4 | 30 |2658 | 30 | 14 | 20 | 87k|1419 | 0.000000e+00 | -- | Inf
213.84/213.91 c 190s|340000 | 17567 |610586 | 1.8 | 17M| 26 | 4 | 30 |2569 | 30 | 14 | 20 | 90k|1436 | 0.000000e+00 | -- | Inf
219.85/219.90 c 195s|350000 | 18383 |629631 | 1.8 | 18M| 26 | 4 | 30 |3788 | 30 | 14 | 20 | 93k|1453 | 0.000000e+00 | -- | Inf
226.63/226.76 c 201s|360000 | 18379 |647911 | 1.8 | 18M| 26 | 4 | 30 |3696 | 30 | 14 | 20 | 96k|1466 | 0.000000e+00 | -- | Inf
233.63/233.77 c 207s|370000 | 18293 |666425 | 1.8 | 18M| 26 | - | 30 |3662 | 0 | 0 | 20 | 99k|1485 | 0.000000e+00 | -- | Inf
240.43/240.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
240.43/240.50 c 213s|380000 | 18178 |684932 | 1.8 | 18M| 26 | 4 | 30 |3269 | 30 | 14 | 20 | 102k|1500 | 0.000000e+00 | -- | Inf
247.52/247.64 c 220s|390000 | 18230 |703134 | 1.8 | 18M| 26 | 4 | 30 |3648 | 30 | 14 | 20 | 105k|1519 | 0.000000e+00 | -- | Inf
254.13/254.25 c 226s|400000 | 18228 |721287 | 1.8 | 18M| 26 | - | 30 |3237 | 30 | 14 | 20 | 108k|1530 | 0.000000e+00 | -- | Inf
260.73/260.88 c 232s|410000 | 18177 |738456 | 1.8 | 18M| 26 | - | 30 |3253 | 0 | 0 | 20 | 110k|1545 | 0.000000e+00 | -- | Inf
267.23/267.37 c 237s|420000 | 18168 |756345 | 1.8 | 18M| 26 | 4 | 30 |3395 | 30 | 14 | 20 | 113k|1569 | 0.000000e+00 | -- | Inf
274.33/274.43 c 244s|430000 | 17857 |775093 | 1.8 | 18M| 26 | 4 | 30 |3009 | 30 | 14 | 20 | 116k|1602 | 0.000000e+00 | -- | Inf
281.12/281.26 c 250s|440000 | 17425 |793009 | 1.8 | 18M| 26 | 4 | 30 |2826 | 30 | 14 | 20 | 119k|1630 | 0.000000e+00 | -- | Inf
287.93/288.02 c 256s|450000 | 17484 |811497 | 1.8 | 18M| 26 | - | 30 |3010 | 0 | 0 | 20 | 122k|1650 | 0.000000e+00 | -- | Inf
294.51/294.63 c 262s|460000 | 17444 |830037 | 1.8 | 19M| 26 | 4 | 30 |4007 | 30 | 14 | 20 | 125k|1680 | 0.000000e+00 | -- | Inf
301.62/301.73 c 268s|470000 | 17249 |847936 | 1.8 | 18M| 26 | 4 | 30 |3440 | 30 | 14 | 20 | 127k|1700 | 0.000000e+00 | -- | Inf
308.81/308.91 c 275s|480000 | 16921 |865477 | 1.8 | 18M| 26 | - | 30 |2994 | 30 | 14 | 20 | 130k|1719 | 0.000000e+00 | -- | Inf
315.82/315.90 c 281s|490000 | 16509 |884062 | 1.8 | 18M| 26 | 4 | 30 |2888 | 30 | 14 | 20 | 133k|1745 | 0.000000e+00 | -- | Inf
322.81/322.98 c 287s|500000 | 16105 |901742 | 1.8 | 18M| 26 | - | 30 |2993 | 30 | 14 | 20 | 136k|1766 | 0.000000e+00 | -- | Inf
329.41/329.55 c 293s|510000 | 16762 |921273 | 1.8 | 18M| 26 | - | 30 |3779 | 30 | 14 | 20 | 139k|1790 | 0.000000e+00 | -- | Inf
337.01/337.10 c 300s|520000 | 17081 |940634 | 1.8 | 19M| 26 | 4 | 30 |4615 | 30 | 14 | 20 | 142k|1809 | 0.000000e+00 | -- | Inf
344.80/344.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.80/344.97 c 307s|530000 | 17094 |959791 | 1.8 | 19M| 26 | 4 | 30 |4993 | 30 | 14 | 20 | 145k|1828 | 0.000000e+00 | -- | Inf
353.01/353.14 c 314s|540000 | 17059 |978554 | 1.8 | 20M| 26 | - | 30 |6043 | 30 | 14 | 20 | 147k|1849 | 0.000000e+00 | -- | Inf
362.50/362.65 c 323s|550000 | 16404 |996502 | 1.8 | 19M| 26 | - | 30 |3971 | 30 | 14 | 20 | 150k|1869 | 0.000000e+00 | -- | Inf
369.80/369.91 c 330s|560000 | 16359 | 1015k| 1.8 | 19M| 26 | - | 30 |3990 | 0 | 0 | 20 | 153k|1884 | 0.000000e+00 | -- | Inf
377.40/377.59 c 337s|570000 | 15911 | 1033k| 1.8 | 18M| 26 | - | 30 |3543 | 0 | 0 | 20 | 156k|1900 | 0.000000e+00 | -- | Inf
384.80/384.92 c 343s|580000 | 15702 | 1051k| 1.8 | 18M| 26 | 4 | 30 |3549 | 30 | 14 | 20 | 159k|1922 | 0.000000e+00 | -- | Inf
391.89/392.01 c 350s|590000 | 15315 | 1070k| 1.8 | 18M| 26 | - | 30 |3593 | 30 | 14 | 20 | 162k|1941 | 0.000000e+00 | -- | Inf
399.30/399.40 c 356s|600000 | 15166 | 1088k| 1.8 | 18M| 26 | 4 | 30 |3927 | 30 | 14 | 20 | 165k|1955 | 0.000000e+00 | -- | Inf
406.99/407.18 c 363s|610000 | 14436 | 1106k| 1.8 | 17M| 26 | 4 | 30 |2762 | 30 | 14 | 20 | 168k|1975 | 0.000000e+00 | -- | Inf
413.58/413.74 c 369s|620000 | 14152 | 1124k| 1.8 | 17M| 26 | 4 | 30 |2792 | 30 | 14 | 20 | 170k|1990 | 0.000000e+00 | -- | Inf
420.09/420.25 c 375s|630000 | 13876 | 1141k| 1.8 | 17M| 26 | 4 | 30 |3264 | 30 | 14 | 20 | 173k|2011 | 0.000000e+00 | -- | Inf
426.99/427.15 c 381s|640000 | 13374 | 1159k| 1.8 | 17M| 26 | - | 30 |3236 | 30 | 14 | 20 | 176k|2023 | 0.000000e+00 | -- | Inf
434.19/434.40 c 388s|650000 | 12963 | 1177k| 1.8 | 16M| 26 | - | 30 |3120 | 30 | 14 | 20 | 179k|2041 | 0.000000e+00 | -- | Inf
441.48/441.64 c 394s|660000 | 12406 | 1196k| 1.8 | 16M| 26 | - | 30 |3090 | 30 | 14 | 20 | 182k|2060 | 0.000000e+00 | -- | Inf
448.59/448.75 c 400s|670000 | 11724 | 1214k| 1.8 | 15M| 26 | - | 30 |2880 | 30 | 14 | 20 | 185k|2079 | 0.000000e+00 | -- | Inf
455.38/455.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.38/455.58 c 406s|680000 | 11304 | 1232k| 1.8 | 15M| 26 | 4 | 30 |3262 | 30 | 14 | 20 | 188k|2098 | 0.000000e+00 | -- | Inf
462.28/462.44 c 413s|690000 | 11603 | 1251k| 1.8 | 16M| 26 | 4 | 30 |4617 | 30 | 14 | 20 | 191k|2117 | 0.000000e+00 | -- | Inf
470.98/471.12 c 421s|700000 | 10998 | 1269k| 1.8 | 15M| 26 | - | 30 |4160 | 30 | 14 | 20 | 193k|2138 | 0.000000e+00 | -- | Inf
478.87/479.02 c 428s|710000 | 10689 | 1286k| 1.8 | 15M| 26 | - | 30 |3642 | 30 | 14 | 20 | 196k|2152 | 0.000000e+00 | -- | Inf
486.07/486.26 c 434s|720000 | 10729 | 1304k| 1.8 | 15M| 26 | - | 30 |3849 | 30 | 14 | 20 | 199k|2166 | 0.000000e+00 | -- | Inf
493.57/493.76 c 441s|730000 | 10301 | 1322k| 1.8 | 15M| 26 | 4 | 30 |3959 | 30 | 14 | 20 | 202k|2185 | 0.000000e+00 | -- | Inf
501.57/501.73 c 448s|740000 | 9537 | 1340k| 1.8 | 14M| 26 | 4 | 30 |2903 | 30 | 14 | 20 | 204k|2195 | 0.000000e+00 | -- | Inf
508.07/508.22 c 454s|750000 | 9238 | 1358k| 1.8 | 14M| 26 | 4 | 30 |3569 | 30 | 14 | 20 | 207k|2211 | 0.000000e+00 | -- | Inf
515.26/515.48 c 461s|760000 | 9040 | 1376k| 1.8 | 13M| 26 | - | 30 |3526 | 0 | 0 | 20 | 210k|2226 | 0.000000e+00 | -- | Inf
522.66/522.86 c 467s|770000 | 8347 | 1393k| 1.8 | 13M| 26 | - | 30 |3399 | 30 | 14 | 20 | 212k|2244 | 0.000000e+00 | -- | Inf
529.56/529.78 c 473s|780000 | 7997 | 1412k| 1.8 | 12M| 26 | 4 | 30 |3568 | 30 | 14 | 20 | 215k|2256 | 0.000000e+00 | -- | Inf
537.16/537.36 c 480s|790000 | 7298 | 1430k| 1.8 | 11M| 26 | 4 | 30 |2984 | 30 | 14 | 20 | 218k|2267 | 0.000000e+00 | -- | Inf
543.56/543.71 c 486s|800000 | 7374 | 1448k| 1.8 | 12M| 26 | - | 30 |4034 | 0 | 0 | 20 | 221k|2283 | 0.000000e+00 | -- | Inf
551.66/551.83 c 493s|810000 | 6538 | 1466k| 1.8 | 11M| 26 | 4 | 30 |3506 | 30 | 14 | 20 | 224k|2298 | 0.000000e+00 | -- | Inf
559.06/559.23 c 500s|820000 | 5959 | 1484k| 1.8 | 10M| 26 | - | 30 |3286 | 30 | 14 | 20 | 226k|2310 | 0.000000e+00 | -- | Inf
566.05/566.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.05/566.25 c 506s|830000 | 5402 | 1502k| 1.8 | 10M| 26 | - | 30 |3143 | 0 | 0 | 20 | 229k|2323 | 0.000000e+00 | -- | Inf
572.86/573.04 c 512s|840000 | 4952 | 1520k| 1.8 |9711k| 26 | - | 30 |3586 | 0 | 0 | 20 | 232k|2340 | 0.000000e+00 | -- | Inf
579.35/579.60 c 518s|850000 | 5209 | 1539k| 1.8 | 10M| 26 | - | 30 |4373 | 0 | 0 | 20 | 235k|2353 | 0.000000e+00 | -- | Inf
586.95/587.10 c 525s|860000 | 5158 | 1558k| 1.8 |9941k| 26 | 4 | 30 |4454 | 30 | 14 | 20 | 237k|2369 | 0.000000e+00 | -- | Inf
594.04/594.20 c 531s|870000 | 6138 | 1578k| 1.8 | 10M| 26 | 4 | 30 |4945 | 30 | 14 | 20 | 240k|2384 | 0.000000e+00 | -- | Inf
602.05/602.24 c 539s|880000 | 6358 | 1598k| 1.8 | 11M| 26 | 4 | 30 |5168 | 30 | 14 | 20 | 243k|2397 | 0.000000e+00 | -- | Inf
610.35/610.59 c 546s|890000 | 6214 | 1616k| 1.8 | 11M| 26 | 4 | 30 |5495 | 30 | 14 | 20 | 247k|2414 | 0.000000e+00 | -- | Inf
618.94/619.14 c 554s|900000 | 6158 | 1635k| 1.8 | 11M| 26 | 4 | 30 |5858 | 30 | 14 | 20 | 250k|2427 | 0.000000e+00 | -- | Inf
627.74/627.97 c 562s|910000 | 5752 | 1652k| 1.8 | 11M| 26 | - | 30 |5745 | 0 | 0 | 20 | 253k|2445 | 0.000000e+00 | -- | Inf
636.53/636.79 c 570s|920000 | 5165 | 1671k| 1.8 | 10M| 26 | 4 | 30 |6010 | 30 | 14 | 20 | 257k|2454 | 0.000000e+00 | -- | Inf
645.44/645.65 c 578s|930000 | 4564 | 1688k| 1.8 |9886k| 26 | 4 | 30 |5182 | 30 | 14 | 20 | 260k|2471 | 0.000000e+00 | -- | Inf
654.13/654.33 c 586s|940000 | 3593 | 1705k| 1.8 |8106k| 26 | 4 | 30 |3219 | 30 | 14 | 20 | 263k|2487 | 0.000000e+00 | -- | Inf
661.13/661.33 c 593s|950000 | 3196 | 1721k| 1.8 |7765k| 26 | 4 | 30 |3750 | 30 | 14 | 20 | 266k|2498 | 0.000000e+00 | -- | Inf
668.12/668.33 c 599s|960000 | 3108 | 1739k| 1.8 |7997k| 26 | 4 | 30 |4864 | 30 | 14 | 20 | 269k|2514 | 0.000000e+00 | -- | Inf
676.43/676.66 c 606s|970000 | 2486 | 1756k| 1.8 |6847k| 26 | 4 | 30 |3765 | 30 | 14 | 20 | 272k|2524 | 0.000000e+00 | -- | Inf
683.02/683.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.02/683.24 c 612s|980000 | 2600 | 1773k| 1.8 |7248k| 26 | - | 30 |4864 | 0 | 0 | 20 | 275k|2538 | 0.000000e+00 | -- | Inf
690.92/691.11 c 619s|990000 | 2133 | 1790k| 1.8 |6491k| 26 | - | 30 |4426 | 0 | 0 | 20 | 278k|2551 | 0.000000e+00 | -- | Inf
698.02/698.27 c 626s| 1000k| 2512 | 1808k| 1.8 |7201k| 26 | 4 | 30 |5693 | 30 | 14 | 20 | 281k|2567 | 0.000000e+00 | -- | Inf
706.62/706.81 c 634s| 1010k| 2231 | 1826k| 1.8 |7223k| 26 | - | 30 |6498 | 30 | 14 | 20 | 285k|2577 | 0.000000e+00 | -- | Inf
715.71/715.96 c 642s| 1020k| 1938 | 1844k| 1.8 |7143k| 26 | - | 30 |6937 | 30 | 14 | 20 | 288k|2587 | 0.000000e+00 | -- | Inf
724.61/724.86 c 650s| 1030k| 1311 | 1861k| 1.8 |5396k| 26 | 4 | 30 |4473 | 30 | 14 | 20 | 291k|2604 | 0.000000e+00 | -- | Inf
732.21/732.41 c 657s| 1040k| 1119 | 1879k| 1.8 |5382k| 26 | - | 30 |5234 | 30 | 14 | 20 | 294k|2615 | 0.000000e+00 | -- | Inf
739.61/739.87 c 664s| 1050k| 1346 | 1896k| 1.8 |5012k| 26 | - | 30 |4575 | 0 | 0 | 20 | 297k|2630 | 0.000000e+00 | -- | Inf
746.72/746.99 c 670s| 1060k| 1202 | 1912k| 1.8 |5204k| 26 | - | 30 |5003 | 0 | 0 | 20 | 300k|2640 | 0.000000e+00 | -- | Inf
753.90/754.18 c 677s| 1070k| 1420 | 1929k| 1.8 |5596k| 26 | 4 | 30 |5701 | 30 | 14 | 20 | 302k|2645 | 0.000000e+00 | -- | Inf
762.11/762.35 c 684s| 1080k| 1397 | 1945k| 1.8 |5936k| 26 | 4 | 30 |6462 | 30 | 14 | 20 | 305k|2655 | 0.000000e+00 | -- | Inf
770.70/770.91 c 692s| 1090k| 1186 | 1961k| 1.8 |5705k| 26 | - | 30 |6349 | 0 | 0 | 20 | 308k|2662 | 0.000000e+00 | -- | Inf
779.90/780.16 c 700s| 1100k| 374 | 1977k| 1.8 |3919k| 26 | 4 | 30 |4449 | 30 | 14 | 20 | 311k|2670 | 0.000000e+00 | -- | Inf
785.00/785.23 c
785.00/785.23 c SCIP Status : problem is solved [infeasible]
785.00/785.23 c Solving Time (sec) : 705.08
785.00/785.23 c Solving Nodes : 1106456
785.00/785.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
785.00/785.23 c Dual Bound : +1.00000000000000e+20
785.00/785.23 c Gap : 0.00 %
785.00/785.23 s UNSATISFIABLE
785.00/785.23 c SCIP Status : problem is solved [infeasible]
785.00/785.23 c Solving Time : 705.08
785.00/785.23 c Original Problem :
785.00/785.23 c Problem name : HOME/instance-2666228-1276601773.opb
785.00/785.23 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
785.00/785.23 c Constraints : 9 initial, 9 maximal
785.00/785.23 c Presolved Problem :
785.00/785.23 c Problem name : t_HOME/instance-2666228-1276601773.opb
785.00/785.23 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
785.00/785.23 c Constraints : 4 initial, 7216 maximal
785.00/785.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
785.00/785.23 c trivial : 0.00 0 0 0 0 0 0 0 0
785.00/785.23 c dualfix : 0.00 1 0 0 0 0 0 0 0
785.00/785.23 c boundshift : 0.00 0 0 0 0 0 0 0 0
785.00/785.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0
785.00/785.23 c implics : 0.00 0 0 0 0 0 0 0 0
785.00/785.23 c probing : 0.01 0 0 0 0 0 0 0 0
785.00/785.23 c linear : 0.00 0 0 0 0 0 5 0 0
785.00/785.23 c logicor : 0.00 0 0 0 0 0 0 0 0
785.00/785.23 c root node : - 1 - - 1 - - - -
785.00/785.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
785.00/785.23 c integral : 0 0 0 595350 0 239 1028 0 0 1188282
785.00/785.23 c linear : 4+ 7 2157492 0 0 339463 2438555 0 0 0
785.00/785.23 c logicor : 0+ 0 1080127 0 0 3713 318198 0 0 0
785.00/785.23 c countsols : 0 0 0 0 0 0 0 0 0 0
785.00/785.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
785.00/785.23 c integral : 7.80 0.00 0.00 7.80 0.00
785.00/785.23 c linear : 93.00 0.00 93.00 0.00 0.00
785.00/785.23 c logicor : 156.94 0.00 156.94 0.00 0.00
785.00/785.23 c countsols : 0.00 0.00 0.00 0.00 0.00
785.00/785.23 c Propagators : Time Calls Cutoffs DomReds
785.00/785.23 c vbounds : 1.18 2 0 0
785.00/785.23 c rootredcost : 1.16 0 0 0
785.00/785.23 c pseudoobj : 0.94 0 0 0
785.00/785.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
785.00/785.23 c propagation : 14.54 343176 113896 304403 20.9 6 16.2 -
785.00/785.23 c infeasible LP : 8.53 248527 154607 214011 13.1 841 18.0 0
785.00/785.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
785.00/785.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
785.00/785.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
785.00/785.23 c applied globally : - - - 313459 15.1 - - -
785.00/785.23 c applied locally : - - - 0 0.0 - - -
785.00/785.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss
785.00/785.23 c cut pool : 0.00 5 - - 14 - (maximal pool size: 92)
785.00/785.23 c redcost : 1.09 595355 0 0 0 0
785.00/785.23 c impliedbounds : 0.00 6 0 0 0 0
785.00/785.23 c intobj : 0.00 0 0 0 0 0
785.00/785.23 c cgmip : 0.00 0 0 0 0 0
785.00/785.23 c gomory : 0.00 6 0 0 1 0
785.00/785.23 c strongcg : 0.00 6 0 0 35 0
785.00/785.23 c cmir : 0.01 6 0 0 33 0
785.00/785.23 c flowcover : 0.01 6 0 0 38 0
785.00/785.23 c clique : 0.00 1 0 0 0 0
785.00/785.23 c zerohalf : 0.00 0 0 0 0 0
785.00/785.23 c mcf : 0.00 1 0 0 0 0
785.00/785.23 c rapidlearning : 0.06 1 0 0 0 96
785.00/785.23 c Pricers : Time Calls Vars
785.00/785.23 c problem variables: 0.00 0 0
785.00/785.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
785.00/785.23 c relpscost : 7.02 595350 239 1028 0 0 1188282
785.00/785.23 c pscost : 0.00 0 0 0 0 0 0
785.00/785.23 c inference : 0.00 0 0 0 0 0 0
785.00/785.23 c mostinf : 0.00 0 0 0 0 0 0
785.00/785.23 c leastinf : 0.00 0 0 0 0 0 0
785.00/785.23 c fullstrong : 0.00 0 0 0 0 0 0
785.00/785.23 c allfullstrong : 0.00 0 0 0 0 0 0
785.00/785.23 c random : 0.00 0 0 0 0 0 0
785.00/785.23 c Primal Heuristics : Time Calls Found
785.00/785.23 c LP solutions : 0.00 - 0
785.00/785.23 c pseudo solutions : 0.00 - 0
785.00/785.23 c oneopt : 0.98 0 0
785.00/785.23 c crossover : 0.67 0 0
785.00/785.23 c guideddiving : 0.15 0 0
785.00/785.23 c coefdiving : 0.20 47 0
785.00/785.23 c pscostdiving : 0.11 47 0
785.00/785.23 c fracdiving : 0.08 47 0
785.00/785.23 c veclendiving : 0.12 47 0
785.00/785.23 c linesearchdiving : 0.17 47 0
785.00/785.23 c rootsoldiving : 0.15 24 0
785.00/785.23 c feaspump : 0.12 25 0
785.00/785.23 c objpscostdiving : 0.08 25 0
785.00/785.23 c trivial : 0.00 2 0
785.00/785.23 c simplerounding : 0.36 0 0
785.00/785.23 c zirounding : 0.72 1000 0
785.00/785.23 c rounding : 0.78 10908 0
785.00/785.23 c shifting : 1.90 4597 0
785.00/785.23 c intshifting : 0.05 0 0
785.00/785.23 c twoopt : 0.00 0 0
785.00/785.23 c fixandinfer : 0.00 0 0
785.00/785.23 c intdiving : 0.00 0 0
785.00/785.23 c actconsdiving : 0.00 0 0
785.00/785.23 c octane : 0.00 0 0
785.00/785.23 c rens : 0.03 1 0
785.00/785.23 c rins : 0.00 0 0
785.00/785.23 c localbranching : 0.00 0 0
785.00/785.23 c mutation : 0.00 0 0
785.00/785.23 c dins : 0.00 0 0
785.00/785.23 c undercover : 0.00 0 0
785.00/785.23 c nlp : 0.51 0 0
785.00/785.23 c trysol : 0.73 0 0
785.00/785.23 c LP : Time Calls Iterations Iter/call Iter/sec
785.00/785.23 c primal LP : 0.00 0 0 0.00 -
785.00/785.23 c dual LP : 134.53 815007 1989007 2.44 14784.86
785.00/785.23 c lex dual LP : 0.00 0 0 0.00 -
785.00/785.23 c barrier LP : 0.00 0 0 0.00 -
785.00/785.23 c diving/probing LP: 0.06 197 344 1.75 5733.33
785.00/785.23 c strong branching : 0.62 2675 9912 3.71 15987.10
785.00/785.23 c (at root node) : - 10 281 28.10 -
785.00/785.23 c conflict analysis: 0.00 0 0 0.00 -
785.00/785.23 c B&B Tree :
785.00/785.23 c number of runs : 1
785.00/785.23 c nodes : 1106456
785.00/785.23 c nodes (total) : 1106456
785.00/785.23 c nodes left : 0
785.00/785.23 c max depth : 26
785.00/785.23 c max depth (total): 26
785.00/785.23 c backtracks : 307074 (27.8%)
785.00/785.23 c delayed cutoffs : 81827
785.00/785.23 c repropagations : 449985 (758578 domain reductions, 79075 cutoffs)
785.00/785.23 c avg switch length: 5.27
785.00/785.23 c switching time : 196.32
785.00/785.23 c Solution :
785.00/785.23 c Solutions found : 0 (0 improvements)
785.00/785.23 c Primal Bound : infeasible
785.00/785.23 c Dual Bound : -
785.00/785.23 c Gap : 0.00 %
785.00/785.23 c Root Dual Bound : +0.00000000000000e+00
785.00/785.23 c Root Iterations : 58
785.00/785.25 c Time complete: 785.05.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666228-1276601773/watcher-2666228-1276601773 -o /tmp/evaluation-result-2666228-1276601773/solver-2666228-1276601773 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666228-1276601773.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2519
/proc/meminfo: memFree=1777780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=9288 CPUtime=0
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 1058 0 0 0 0 0 0 0 20 0 1 0 35781173 9510912 980 1992294400 4194304 9819077 140734921907024 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2519/statm: 2322 989 371 1374 0 943 0
[startup+0.078439 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2519
/proc/meminfo: memFree=1777780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=21512 CPUtime=0.06
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 4959 0 0 0 5 1 0 0 20 0 1 0 35781173 22028288 3746 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 5378 3746 676 1374 0 3999 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21512
[startup+0.100441 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2519
/proc/meminfo: memFree=1777780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=15256 CPUtime=0.09
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5095 0 0 0 7 2 0 0 20 0 1 0 35781173 15622144 2580 1992294400 4194304 9819077 140734921907024 18446744073709551615 4310651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 3814 2580 687 1374 0 2435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15256
[startup+0.300459 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2519
/proc/meminfo: memFree=1777780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=15476 CPUtime=0.29
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 12046 0 0 0 23 6 0 0 20 0 1 0 35781173 15847424 2668 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 3869 2668 723 1374 0 2490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15476
[startup+0.700497 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2519
/proc/meminfo: memFree=1777780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=15552 CPUtime=0.69
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 15775 0 0 0 57 12 0 0 20 0 1 0 35781173 15925248 2696 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 3888 2696 723 1374 0 2509 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15552
[startup+1.50057 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1769216/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=16528 CPUtime=1.49
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 23612 0 0 0 125 24 0 0 22 0 1 0 35781173 16924672 2810 1992294400 4194304 9819077 140734921907024 18446744073709551615 5435130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 4132 2810 723 1374 0 2753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16528
[startup+3.10072 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1768472/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=18128 CPUtime=3.09
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 39440 0 0 0 262 47 0 0 25 0 1 0 35781173 18563072 3212 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 4532 3212 724 1374 0 3153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18128
[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1765992/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=20372 CPUtime=6.29
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 67360 0 0 0 538 91 0 0 25 0 1 0 35781173 20860928 3757 1992294400 4194304 9819077 140734921907024 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 5053 3757 724 1374 0 3674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20372
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1764380/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=21328 CPUtime=12.69
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 120335 0 0 0 1097 172 0 0 25 0 1 0 35781173 21839872 3994 1992294400 4194304 9819077 140734921907024 18446744073709551615 4925437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 5332 3994 724 1374 0 3953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21328
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1761528/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=23692 CPUtime=25.48
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 227491 0 0 0 2210 338 0 0 25 0 1 0 35781173 24260608 4651 1992294400 4194304 9819077 140734921907024 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 5963 4652 725 1374 0 4584 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23692
[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2520
/proc/meminfo: memFree=1758428/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=26904 CPUtime=51.08
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 416631 0 0 0 4479 629 0 0 25 0 1 0 35781173 27549696 5402 1992294400 4194304 9819077 140734921907024 18446744073709551615 4923459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 6726 5402 725 1374 0 5347 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26904
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2522
/proc/meminfo: memFree=1754336/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=30996 CPUtime=102.28
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 786801 0 0 0 9025 1203 0 0 25 0 1 0 35781173 31739904 6412 1992294400 4194304 9819077 140734921907024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 7749 6412 725 1374 0 6370 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 30996
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2524
/proc/meminfo: memFree=1749748/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=35388 CPUtime=162.25
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 1210178 0 0 0 14358 1867 0 0 25 0 1 0 35781173 36237312 7518 1992294400 4194304 9819077 140734921907024 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 8847 7518 725 1374 0 7468 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 35388
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2526
/proc/meminfo: memFree=1747764/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=37164 CPUtime=222.24
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 1619919 0 0 0 19708 2516 0 0 25 0 1 0 35781173 38055936 7978 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9291 7978 725 1374 0 7912 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37164
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2526
/proc/meminfo: memFree=1747392/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=37608 CPUtime=282.22
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 2031104 0 0 0 25074 3148 0 0 25 0 1 0 35781173 38510592 8071 1992294400 4194304 9819077 140734921907024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9402 8071 725 1374 0 8023 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37608
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2528
/proc/meminfo: memFree=1746896/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=38304 CPUtime=342.2
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 2430214 0 0 0 30453 3767 0 0 25 0 1 0 35781173 39223296 8246 1992294400 4194304 9819077 140734921907024 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9576 8246 725 1374 0 8197 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38304
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2530
/proc/meminfo: memFree=1745780/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=402.19
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 2789782 0 0 0 35880 4339 0 0 25 0 1 0 35781173 40280064 8474 1992294400 4194304 9819077 140734921907024 18446744073709551615 4224130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8474 725 1374 0 8455 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 39336
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2532
/proc/meminfo: memFree=1745532/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=462.17
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 3188185 0 0 0 41252 4965 0 0 25 0 1 0 35781173 40280064 8474 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8474 725 1374 0 8455 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 39336
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1745408/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=522.16
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 3550846 0 0 0 46672 5544 0 0 25 0 1 0 35781173 40280064 8477 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8477 725 1374 0 8455 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 39336
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2534
/proc/meminfo: memFree=1745284/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=582.15
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 3938124 0 0 0 52065 6150 0 0 25 0 1 0 35781173 40280064 8477 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8477 725 1374 0 8455 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 39336
[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2536
/proc/meminfo: memFree=1745160/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=642.14
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 4285089 0 0 0 57537 6677 0 0 25 0 1 0 35781173 40280064 8477 1992294400 4194304 9819077 140734921907024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8477 725 1374 0 8455 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 39336
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2538
/proc/meminfo: memFree=1744912/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39336 CPUtime=702.12
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 4653800 0 0 0 62956 7256 0 0 25 0 1 0 35781173 40280064 8495 1992294400 4194304 9819077 140734921907024 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9834 8495 725 1374 0 8455 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 39336
[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=762.11
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 4996878 0 0 0 68409 7802 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 39876
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=767.7
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5024526 0 0 0 68926 7844 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 767.7
Current children cumulated vsize (KiB) 39876
[startup+774.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39400 CPUtime=774.1
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5056950 0 0 0 69511 7899 0 0 25 0 1 0 35781173 40345600 8575 1992294400 4194304 9819077 140734921907024 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9929 8577 725 1374 0 8550 0
Current children cumulated CPU time (s) 774.1
Current children cumulated vsize (KiB) 39400
[startup+780.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=780.49
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5088954 0 0 0 70097 7952 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 780.49
Current children cumulated vsize (KiB) 39876
[startup+782.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=782.1
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5097597 0 0 0 70244 7966 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 782.1
Current children cumulated vsize (KiB) 39876
[startup+783.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=783.7
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5108678 0 0 0 70386 7984 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 783.7
Current children cumulated vsize (KiB) 39876
[startup+784.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=784.49
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5113524 0 0 0 70459 7990 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 784.49
Current children cumulated vsize (KiB) 39876
[startup+785.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39876 CPUtime=784.9
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5115654 0 0 0 70496 7994 0 0 25 0 1 0 35781173 40833024 8578 1992294400 4194304 9819077 140734921907024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9969 8578 725 1374 0 8590 0
Current children cumulated CPU time (s) 784.9
Current children cumulated vsize (KiB) 39876
[startup+785.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2540
/proc/meminfo: memFree=1744540/2059040 swapFree=4140408/4192956
[pid=2519] ppid=2517 vsize=39552 CPUtime=785
/proc/2519/stat : 2519 (pbscip.linux.x8) R 2517 2519 1546 0 -1 4202496 5116149 0 0 0 70505 7995 0 0 25 0 1 0 35781173 40501248 8497 1992294400 4194304 9819077 140734921907024 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2519/statm: 9888 8497 725 1374 0 8509 0
Current children cumulated CPU time (s) 785
Current children cumulated vsize (KiB) 39552
Child status: 0
Real time (s): 785.255
CPU time (s): 785.06
CPU user time (s): 705.101
CPU system time (s): 79.9588
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 40448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 705.101
system time used= 79.9588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5116204
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= 5
involuntary context switches= 532
runsolver used 1.2948 second user time and 3.72343 second system time
The end