0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869514-1245175911.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.04 c OPT-LIN
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = c 1620
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = c 1791
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = c 10000
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving problem
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 122 | 610k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 266 | 721k| 0 | 12 | 190 | 8 | 8 | 190 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 280 | 796k| 0 | 16 | 190 | 8 | 8 | 190 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 290 | 846k| 0 | 17 | 190 | 8 | 8 | 190 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 300 | 880k| 0 | 18 | 190 | 8 | 8 | 190 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 332 | 918k| 0 | 20 | 190 | 8 | 8 | 190 | 32 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 350 | 930k| 0 | 19 | 190 | 8 | 8 | 190 | 35 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 2 | 350 | 930k| 0 | 19 | 190 | 8 | 8 | 190 | 35 | 27 | 0 | 19 | 0.000000e+00 | -- | Inf
0.49/0.60 o 863
0.49/0.60 c p 0.6s| 81 | 80 | 751 |1046k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 3 | 456 | 0.000000e+00 | 8.630000e+02 | Inf
0.89/0.94 o 685
0.89/0.94 c p 0.9s| 357 | 354 | 2198 |1177k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 7 | 801 | 0.000000e+00 | 6.850000e+02 | Inf
1.09/1.15 o 258
1.09/1.15 c c 1.1s| 605 | 554 | 3853 |1261k| 61 | - | 190 | 8 | 2 | 190 | 21 | 27 | 10 | 858 | 0.000000e+00 | 2.580000e+02 | Inf
1.19/1.26 o 163
1.19/1.26 c g 1.2s| 734 | 622 | 4528 |1298k| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 | 12 | 864 | 0.000000e+00 | 1.630000e+02 | Inf
1.29/1.31 o 161
1.29/1.31 c * 1.2s| 783 | 661 | 4798 |1308k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 16 | 868 | 0.000000e+00 | 1.610000e+02 | Inf
1.49/1.51 o 160
1.49/1.51 c * 1.4s| 1003 | 868 | 6119 |1414k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 928 | 0.000000e+00 | 1.600000e+02 | Inf
1.49/1.51 o 158
1.49/1.51 c * 1.4s| 1004 | 865 | 6120 |1416k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 928 | 0.000000e+00 | 1.580000e+02 | Inf
1.49/1.53 o 156
1.49/1.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.53 c c 1.4s| 1022 | 877 | 6198 |1429k| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 18 | 952 | 0.000000e+00 | 1.560000e+02 | Inf
3.39/3.48 o 124
3.39/3.48 c g 3.3s| 3003 | 2788 | 21343 |2304k| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 | 66 | 980 | 0.000000e+00 | 1.240000e+02 | Inf
10.39/10.41 c 9.8s| 10000 | 9687 | 73785 |5273k| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 312 |1099 | 0.000000e+00 | 1.240000e+02 | Inf
12.78/12.86 o 73
12.78/12.86 c g12.2s| 12552 | 11761 | 93080 |6069k| 61 | - | 190 | 9 | 4 | 190 | 21 | 27 | 404 |1174 | 0.000000e+00 | 7.300000e+01 | Inf
19.09/19.10 c 18.1s| 20000 | 18218 |136829 |9493k| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 582 |1610 | 0.000000e+00 | 7.300000e+01 | Inf
27.19/27.24 c 25.8s| 30000 | 26337 |195880 | 14M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 903 |2168 | 0.000000e+00 | 7.300000e+01 | Inf
32.08/32.16 o 71
32.08/32.16 c p30.5s| 36018 | 30938 |232063 | 17M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |1116 |2470 | 0.000000e+00 | 7.100000e+01 | Inf
35.67/35.75 c 33.9s| 40000 | 33966 |257573 | 19M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |1322 |2710 | 0.000000e+00 | 7.100000e+01 | Inf
41.97/42.05 o 69
41.97/42.05 c *39.9s| 47807 | 39447 |305054 | 23M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |1651 |3039 | 0.000000e+00 | 6.900000e+01 | Inf
43.77/43.88 c 41.6s| 50000 | 41059 |318591 | 24M| 61 | - | 190 | 8 | 8 | 0 | 0 | 27 |1734 |3123 | 0.000000e+00 | 6.900000e+01 | Inf
48.77/48.86 o 67
48.77/48.86 c *46.4s| 56010 | 45093 |355934 | 26M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |1992 |3372 | 0.000000e+00 | 6.700000e+01 | Inf
49.38/49.48 o 65
49.38/49.48 c f47.0s| 56746 | 45475 |360324 | 26M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |2021 |3393 | 0.000000e+00 | 6.500000e+01 | Inf
49.38/49.49 o 63
49.38/49.49 c l47.0s| 56746 | 44128 |360325 | 25M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |2024 |3393 | 0.000000e+00 | 6.300000e+01 | Inf
52.87/52.90 c 50.2s| 60000 | 46578 |385487 | 26M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |2225 |3514 | 0.000000e+00 | 6.300000e+01 | Inf
61.26/61.38 c 58.2s| 70000 | 53683 |452174 | 31M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |2703 |3859 | 0.000000e+00 | 6.300000e+01 | Inf
69.27/69.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.27/69.39 c 65.8s| 80000 | 60950 |515953 | 36M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |3092 |4139 | 0.000000e+00 | 6.300000e+01 | Inf
77.56/77.64 c 73.6s| 90000 | 68066 |583019 | 41M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 |3519 |4429 | 0.000000e+00 | 6.300000e+01 | Inf
83.36/83.47 o 62
83.36/83.47 c *79.1s| 97216 | 73063 |629311 | 44M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4622 | 0.000000e+00 | 6.200000e+01 | Inf
83.36/83.48 o 60
83.36/83.48 c *79.2s| 97218 | 72628 |629313 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4626 | 0.000000e+00 | 6.000000e+01 | Inf
83.36/83.48 o 58
83.36/83.48 c *79.2s| 97219 | 72108 |629316 | 42M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3838 |4626 | 0.000000e+00 | 5.800000e+01 | Inf
85.66/85.71 c 81.2s|100000 | 73980 |646876 | 44M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |3947 |4710 | 0.000000e+00 | 5.800000e+01 | Inf
85.86/85.93 o 56
85.86/85.93 c *81.5s|100277 | 73530 |648600 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |3964 |4729 | 0.000000e+00 | 5.600000e+01 | Inf
85.86/85.94 o 54
85.86/85.94 c l81.5s|100279 | 72855 |648602 | 42M| 61 | - | 190 | 9 | 1 | 190 | 21 | 27 |3965 |4732 | 0.000000e+00 | 5.400000e+01 | Inf
87.86/87.91 o 53
87.86/87.91 c *83.3s|102724 | 73836 |664013 | 43M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |4092 |4812 | 0.000000e+00 | 5.300000e+01 | Inf
87.86/87.92 o 51
87.86/87.92 c *83.3s|102725 | 73000 |664016 | 42M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |4092 |4814 | 0.000000e+00 | 5.100000e+01 | Inf
95.75/95.84 c 90.7s|110000 | 77302 |709997 | 45M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |4521 |5009 | 0.000000e+00 | 5.100000e+01 | Inf
103.95/104.05 c 98.5s|120000 | 83289 |775189 | 49M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5041 |5270 | 0.000000e+00 | 5.100000e+01 | Inf
113.85/113.94 c 108s|130000 | 89770 |838158 | 54M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5508 |5506 | 0.000000e+00 | 5.100000e+01 | Inf
121.65/121.78 c 115s|140000 | 96438 |900098 | 58M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |5888 |5712 | 0.000000e+00 | 5.100000e+01 | Inf
129.65/129.70 c 123s|150000 |102945 |962323 | 63M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 |6301 |5952 | 0.000000e+00 | 5.100000e+01 | Inf
137.54/137.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.54/137.66 c 130s|160000 |108900 | 1025k| 67M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |6761 |6171 | 0.000000e+00 | 5.100000e+01 | Inf
144.74/144.83 o 49
144.74/144.83 c * 137s|169176 |113035 | 1082k| 69M| 61 | - | 190 | 9 | 0 | 190 | 21 | 27 |7202 |6373 | 0.000000e+00 | 4.900000e+01 | Inf
147.54/147.62 c 140s|170000 |113481 | 1087k| 69M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |7236 |6390 | 0.000000e+00 | 4.900000e+01 | Inf
155.53/155.64 c 147s|180000 |119035 | 1150k| 74M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |7724 |6565 | 0.000000e+00 | 4.900000e+01 | Inf
163.33/163.48 c 155s|190000 |124289 | 1212k| 77M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |8233 |6757 | 0.000000e+00 | 4.900000e+01 | Inf
171.34/171.48 c 162s|200000 |129787 | 1274k| 81M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 |8750 |6936 | 0.000000e+00 | 4.900000e+01 | Inf
177.63/177.75 o 47
177.63/177.75 c * 168s|208007 |131856 | 1324k| 82M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |9151 |7085 | 0.000000e+00 | 4.700000e+01 | Inf
179.03/179.20 c 170s|210000 |132734 | 1335k| 83M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |9242 |7128 | 0.000000e+00 | 4.700000e+01 | Inf
182.54/182.61 o 45
182.54/182.61 c * 173s|214439 |133430 | 1362k| 82M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 |9480 |7213 | 0.000000e+00 | 4.500000e+01 | Inf
189.33/189.42 c 179s|220000 |136622 | 1396k| 85M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 |9740 |7334 | 0.000000e+00 | 4.500000e+01 | Inf
192.33/192.43 o 44
192.33/192.43 c * 182s|224109 |137666 | 1420k| 85M| 61 | - | 190 | 8 | 1 | 190 | 21 | 27 |9901 |7396 | 0.000000e+00 | 4.400000e+01 | Inf
199.12/199.25 c 188s|230000 |140549 | 1456k| 87M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 10k|7513 | 0.000000e+00 | 4.400000e+01 | Inf
199.52/199.61 o 42
199.52/199.61 c * 189s|230379 |138793 | 1459k| 85M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 10k|7515 | 0.000000e+00 | 4.200000e+01 | Inf
207.02/207.14 c 196s|240000 |143809 | 1516k| 89M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 10k|7668 | 0.000000e+00 | 4.200000e+01 | Inf
207.73/207.85 o 41
207.73/207.85 c * 197s|240903 |143248 | 1522k| 88M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 10k|7676 | 0.000000e+00 | 4.100000e+01 | Inf
214.62/214.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.62/214.78 c 203s|250000 |147660 | 1575k| 91M| 61 | - | 190 | 10 | 8 | 190 | 21 | 27 | 11k|7836 | 0.000000e+00 | 4.100000e+01 | Inf
220.82/220.94 o 40
220.82/220.94 c * 209s|258070 |150636 | 1623k| 93M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 11k|7956 | 0.000000e+00 | 4.000000e+01 | Inf
222.32/222.46 c 210s|260000 |151666 | 1634k| 94M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 11k|7971 | 0.000000e+00 | 4.000000e+01 | Inf
228.82/228.95 o 39
228.82/228.95 c g 217s|265065 |153097 | 1665k| 94M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 11k|8091 | 0.000000e+00 | 3.900000e+01 | Inf
233.52/233.66 c 221s|270000 |155284 | 1693k| 96M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 11k|8168 | 0.000000e+00 | 3.900000e+01 | Inf
240.91/241.02 c 228s|280000 |160021 | 1752k| 100M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 12k|8323 | 0.000000e+00 | 3.900000e+01 | Inf
242.41/242.59 o 38
242.41/242.59 c * 229s|282141 |159771 | 1764k| 99M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 12k|8369 | 0.000000e+00 | 3.800000e+01 | Inf
249.11/249.22 c 236s|290000 |163236 | 1809k| 102M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 12k|8508 | 0.000000e+00 | 3.800000e+01 | Inf
257.10/257.25 c 243s|300000 |168624 | 1869k| 106M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 13k|8669 | 0.000000e+00 | 3.800000e+01 | Inf
264.30/264.45 c 250s|310000 |173200 | 1925k| 109M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 13k|8841 | 0.000000e+00 | 3.800000e+01 | Inf
271.51/271.65 c 257s|320000 |177775 | 1981k| 113M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 14k|8982 | 0.000000e+00 | 3.800000e+01 | Inf
274.00/274.19 o 36
274.00/274.19 c c 259s|323379 |176644 | 2001k| 111M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 14k|9029 | 0.000000e+00 | 3.600000e+01 | Inf
279.10/279.24 c 264s|330000 |179357 | 2039k| 113M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 14k|9138 | 0.000000e+00 | 3.600000e+01 | Inf
286.20/286.35 c 271s|340000 |183757 | 2095k| 117M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 14k|9293 | 0.000000e+00 | 3.600000e+01 | Inf
292.50/292.69 o 34
292.50/292.69 c * 277s|348622 |184927 | 2144k| 117M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 15k|9423 | 0.000000e+00 | 3.400000e+01 | Inf
293.50/293.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.50/293.60 c 278s|350000 |185415 | 2151k| 117M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 15k|9447 | 0.000000e+00 | 3.400000e+01 | Inf
300.70/300.80 c 285s|360000 |189840 | 2206k| 120M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 15k|9588 | 0.000000e+00 | 3.400000e+01 | Inf
310.29/310.49 c 294s|370000 |194409 | 2263k| 124M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 16k|9726 | 0.000000e+00 | 3.400000e+01 | Inf
317.39/317.55 c 300s|380000 |198611 | 2317k| 127M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 16k|9879 | 0.000000e+00 | 3.400000e+01 | Inf
324.59/324.73 c 307s|390000 |203055 | 2373k| 131M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 16k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
331.79/331.99 c 314s|400000 |207581 | 2429k| 134M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 17k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
338.69/338.84 c 321s|410000 |211723 | 2483k| 138M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 17k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
346.39/346.52 c 328s|420000 |216815 | 2540k| 141M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 18k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
353.18/353.39 c 334s|430000 |220898 | 2593k| 145M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 18k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
360.08/360.26 c 341s|440000 |225076 | 2647k| 148M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
366.98/367.15 c 347s|450000 |229193 | 2700k| 151M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
373.67/373.85 c 354s|460000 |233197 | 2753k| 155M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 19k| 10k| 0.000000e+00 | 3.400000e+01 | Inf
381.48/381.68 c 361s|470000 |238217 | 2812k| 158M| 61 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
388.27/388.47 c 368s|480000 |242506 | 2865k| 162M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
395.17/395.30 c 374s|490000 |246779 | 2918k| 165M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 20k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
402.37/402.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.37/402.59 c 381s|500000 |251468 | 2974k| 169M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
402.47/402.64 o 32
402.47/402.64 c * 381s|500004 |240597 | 2974k| 159M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
402.47/402.66 o 30
402.47/402.66 c * 381s|500005 |237546 | 2974k| 155M| 61 | - | 190 | 8 | 0 | 190 | 21 | 27 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
411.87/412.03 c 390s|510000 |241879 | 3031k| 158M| 61 | - | 190 | 9 | 8 | 0 | 0 | 27 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
418.57/418.75 c 396s|520000 |245796 | 3088k| 161M| 61 | - | 190 | 8 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
425.76/425.91 c 403s|530000 |250240 | 3147k| 164M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
432.66/432.86 c 410s|540000 |254773 | 3205k| 167M| 61 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 22k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
439.56/439.76 c 416s|550000 |259262 | 3262k| 170M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 23k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
446.26/446.43 c 423s|560000 |263150 | 3319k| 173M| 61 | 8 | 190 | 10 | 9 | 190 | 21 | 27 | 23k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
452.85/453.07 c 429s|570000 |267347 | 3374k| 176M| 61 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 24k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
459.25/459.49 c 435s|580000 |271111 | 3429k| 179M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 24k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
465.95/466.15 c 441s|590000 |275107 | 3485k| 182M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
472.44/472.69 c 447s|600000 |279456 | 3539k| 184M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
479.14/479.32 c 454s|610000 |283616 | 3593k| 187M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 25k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
485.54/485.75 c 460s|620000 |287493 | 3648k| 190M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 26k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
491.94/492.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.94/492.13 c 466s|630000 |291002 | 3703k| 192M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 26k| 12k| 0.000000e+00 | 3.000000e+01 | Inf
498.44/498.60 c 472s|640000 |294702 | 3757k| 195M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 26k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
504.94/505.17 c 478s|650000 |299156 | 3811k| 198M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 27k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
511.33/511.51 c 484s|660000 |302934 | 3865k| 201M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 27k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
517.84/518.01 c 490s|670000 |306721 | 3920k| 203M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
524.63/524.82 c 497s|680000 |310875 | 3979k| 206M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
530.93/531.16 c 503s|690000 |314186 | 4034k| 209M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 28k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
537.22/537.43 c 509s|700000 |317351 | 4090k| 211M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
543.83/544.09 c 515s|710000 |321329 | 4147k| 214M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 3.000000e+01 | Inf
545.02/545.25 o 29
545.02/545.25 c * 516s|711819 |320077 | 4157k| 212M| 63 | - | 190 | 9 | 0 | 190 | 21 | 27 | 29k| 13k| 0.000000e+00 | 2.900000e+01 | Inf
550.32/550.52 c 521s|720000 |323076 | 4202k| 214M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 30k| 13k| 0.000000e+00 | 2.900000e+01 | Inf
556.83/557.05 c 527s|730000 |326495 | 4258k| 216M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 30k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
563.22/563.43 c 533s|740000 |330112 | 4312k| 219M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 30k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
569.42/569.63 c 539s|750000 |333403 | 4366k| 221M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
575.81/576.05 c 545s|760000 |336959 | 4420k| 224M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
582.01/582.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.01/582.23 c 551s|770000 |340049 | 4474k| 226M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 31k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
588.51/588.70 c 557s|780000 |343486 | 4528k| 229M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 32k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
595.32/595.56 c 564s|790000 |347528 | 4585k| 231M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 32k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
601.81/602.04 c 570s|800000 |351001 | 4642k| 234M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
608.41/608.67 c 576s|810000 |354993 | 4697k| 237M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
615.11/615.39 c 582s|820000 |359570 | 4753k| 239M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 33k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
621.31/621.55 c 588s|830000 |363384 | 4805k| 242M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 14k| 0.000000e+00 | 2.900000e+01 | Inf
624.00/624.23 o 27
624.00/624.23 c f 591s|834180 |360526 | 4828k| 237M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
627.60/627.84 c 594s|840000 |362411 | 4858k| 238M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
633.89/634.20 c 600s|850000 |365799 | 4911k| 241M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 34k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
640.09/640.34 c 606s|860000 |368991 | 4964k| 243M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
646.30/646.50 c 612s|870000 |372349 | 5017k| 245M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
652.20/652.43 c 618s|880000 |375123 | 5069k| 248M| 63 | - | 190 | 10 | 9 | 190 | 21 | 27 | 35k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
658.49/658.78 c 624s|890000 |378474 | 5123k| 250M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 36k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
664.69/664.95 c 629s|900000 |381860 | 5176k| 252M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 36k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
670.69/670.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.69/670.95 c 635s|910000 |384743 | 5228k| 255M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
676.78/677.06 c 641s|920000 |387699 | 5280k| 257M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
682.88/683.13 c 647s|930000 |390615 | 5332k| 259M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 37k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
691.28/691.57 c 654s|940000 |394321 | 5385k| 262M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 15k| 0.000000e+00 | 2.700000e+01 | Inf
697.27/697.56 c 660s|950000 |397497 | 5436k| 264M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
703.17/703.48 c 666s|960000 |400428 | 5487k| 266M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 38k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
709.17/709.47 c 671s|970000 |403502 | 5539k| 268M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
715.28/715.57 c 677s|980000 |406620 | 5590k| 271M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
721.27/721.55 c 683s|990000 |409518 | 5641k| 273M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 39k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
727.27/727.57 c 689s| 1000k|412466 | 5692k| 275M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
733.37/733.68 c 694s| 1010k|415469 | 5744k| 278M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
739.56/739.87 c 700s| 1020k|418681 | 5796k| 280M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 40k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
745.56/745.85 c 706s| 1030k|421608 | 5847k| 282M| 63 | - | 190 | 8 | 7 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
751.65/751.92 c 712s| 1040k|424664 | 5899k| 285M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
757.66/757.96 c 717s| 1050k|427391 | 5951k| 287M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 41k| 16k| 0.000000e+00 | 2.700000e+01 | Inf
763.86/764.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.86/764.16 c 723s| 1060k|430585 | 6003k| 289M| 63 | 8 | 190 | 11 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
770.26/770.52 c 729s| 1070k|434332 | 6056k| 292M| 63 | - | 190 | 11 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
776.26/776.56 c 735s| 1080k|437203 | 6107k| 294M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 42k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
782.65/782.96 c 741s| 1090k|440855 | 6159k| 296M| 63 | - | 190 | 12 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.700000e+01 | Inf
788.85/789.19 o 25
788.85/789.19 c * 747s| 1099k|438364 | 6212k| 291M| 63 | - | 190 | 13 | 0 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
788.95/789.22 c 747s| 1100k|438368 | 6212k| 291M| 63 | - | 190 | 13 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
794.96/795.26 c 753s| 1110k|441069 | 6262k| 293M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 43k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
800.95/801.22 c 758s| 1120k|443794 | 6311k| 295M| 63 | - | 190 | 12 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
807.44/807.74 c 765s| 1130k|447389 | 6365k| 297M| 63 | - | 190 | 11 | 8 | 0 | 0 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
813.44/813.76 c 770s| 1140k|450406 | 6415k| 300M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
819.54/819.83 c 776s| 1150k|453344 | 6466k| 302M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 44k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
825.44/825.73 c 782s| 1160k|456237 | 6516k| 304M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
831.25/831.55 c 787s| 1170k|458610 | 6565k| 306M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 17k| 0.000000e+00 | 2.500000e+01 | Inf
837.34/837.61 c 793s| 1180k|461469 | 6615k| 308M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 45k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
843.14/843.41 c 799s| 1190k|463910 | 6665k| 310M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
849.23/849.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.23/849.58 c 804s| 1200k|466849 | 6717k| 313M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
855.33/855.61 c 810s| 1210k|469368 | 6767k| 315M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 46k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
861.13/861.46 c 816s| 1220k|471722 | 6818k| 317M| 63 | - | 190 | 9 | 7 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
866.93/867.27 c 821s| 1230k|474284 | 6867k| 319M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
873.03/873.33 c 827s| 1240k|477309 | 6917k| 321M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 47k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
879.02/879.35 c 833s| 1250k|480294 | 6967k| 323M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
884.92/885.22 c 838s| 1260k|482939 | 7016k| 325M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
890.92/891.22 c 844s| 1270k|485614 | 7067k| 327M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 48k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
896.82/897.16 c 850s| 1280k|487802 | 7117k| 329M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 49k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
903.81/904.19 c 856s| 1290k|492271 | 7172k| 332M| 63 | - | 190 | 8 | 9 | 0 | 0 | 27 | 49k| 18k| 0.000000e+00 | 2.500000e+01 | Inf
910.41/910.75 c 862s| 1300k|496081 | 7226k| 335M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 49k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
916.91/917.21 c 869s| 1310k|499782 | 7280k| 337M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
923.31/923.65 c 875s| 1320k|503725 | 7333k| 340M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
929.50/929.87 c 881s| 1330k|507085 | 7385k| 342M| 63 | - | 190 | 10 | 8 | 0 | 0 | 27 | 50k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
935.71/936.00 c 886s| 1340k|510198 | 7437k| 345M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
941.60/942.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.60/942.00 c 892s| 1350k|512973 | 7487k| 347M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
947.80/948.17 c 898s| 1360k|516431 | 7539k| 349M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 51k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
953.90/954.22 c 904s| 1370k|519631 | 7589k| 351M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
960.00/960.33 c 909s| 1380k|522363 | 7640k| 354M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
966.00/966.34 c 915s| 1390k|525492 | 7690k| 356M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 52k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
972.30/972.63 c 921s| 1400k|529093 | 7742k| 358M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
978.39/978.79 c 927s| 1410k|532362 | 7794k| 361M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
984.59/984.90 c 933s| 1420k|535424 | 7846k| 363M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 53k| 19k| 0.000000e+00 | 2.500000e+01 | Inf
991.39/991.79 c 939s| 1430k|539963 | 7900k| 366M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
997.89/998.24 c 945s| 1440k|544112 | 7952k| 368M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1004.18/1004.54 c 951s| 1450k|547905 | 8003k| 371M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 54k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1010.18/1010.54 c 957s| 1460k|550812 | 8054k| 373M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1016.09/1016.42 c 963s| 1470k|553562 | 8102k| 375M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1022.08/1022.46 c 968s| 1480k|556702 | 8152k| 377M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 55k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1028.08/1028.47 c 974s| 1490k|559898 | 8201k| 379M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1034.07/1034.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.07/1034.43 c 980s| 1500k|562574 | 8252k| 381M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1040.27/1040.61 c 986s| 1510k|565482 | 8304k| 383M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 56k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1046.57/1046.91 c 992s| 1520k|568873 | 8357k| 386M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1052.57/1052.98 c 997s| 1530k|571398 | 8409k| 388M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1059.17/1059.55 c 1003s| 1540k|575175 | 8463k| 391M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1065.27/1065.67 c 1009s| 1550k|578565 | 8515k| 393M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 57k| 20k| 0.000000e+00 | 2.500000e+01 | Inf
1065.47/1065.87 o 23
1065.47/1065.87 c *1010s| 1550k|570947 | 8516k| 382M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 2.300000e+01 | Inf
1065.57/1065.93 o 21
1065.57/1065.93 c *1010s| 1550k|561432 | 8516k| 370M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 2.100000e+01 | Inf
1065.67/1066.00 o 19
1065.67/1066.00 c *1010s| 1550k|549796 | 8516k| 355M| 63 | - | 190 | 8 | 0 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1073.17/1073.55 c 1017s| 1560k|552628 | 8562k| 357M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1079.17/1079.50 c 1022s| 1570k|555346 | 8609k| 359M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 58k| 20k| 0.000000e+00 | 1.900000e+01 | Inf
1084.86/1085.22 c 1028s| 1580k|557491 | 8656k| 361M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 58k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1090.66/1091.07 c 1033s| 1590k|559717 | 8703k| 363M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1096.86/1097.27 c 1039s| 1600k|563451 | 8751k| 365M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1102.96/1103.39 c 1045s| 1610k|567012 | 8800k| 367M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 59k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1109.16/1109.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.16/1109.60 c 1051s| 1620k|570740 | 8850k| 369M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1115.25/1115.66 c 1057s| 1630k|574201 | 8897k| 372M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1121.46/1121.85 c 1063s| 1640k|577946 | 8946k| 374M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 60k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1127.55/1127.93 c 1068s| 1650k|581599 | 8993k| 376M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1135.65/1136.06 c 1076s| 1660k|584862 | 9040k| 378M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1141.55/1141.91 c 1081s| 1670k|587970 | 9087k| 380M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 61k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1147.34/1147.73 c 1087s| 1680k|591149 | 9132k| 383M| 63 | - | 190 | 10 | 9 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1153.24/1153.65 c 1093s| 1690k|594430 | 9178k| 385M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1158.94/1159.31 c 1098s| 1700k|597298 | 9223k| 387M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 62k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1164.54/1164.99 c 1103s| 1710k|600132 | 9268k| 389M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 21k| 0.000000e+00 | 1.900000e+01 | Inf
1170.23/1170.69 c 1109s| 1720k|602708 | 9313k| 391M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1176.13/1176.52 c 1114s| 1730k|605414 | 9359k| 392M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 63k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1181.93/1182.38 c 1120s| 1740k|608792 | 9404k| 395M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1187.64/1188.09 c 1125s| 1750k|611658 | 9449k| 397M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1193.23/1193.66 c 1130s| 1760k|613969 | 9492k| 398M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1198.82/1199.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.82/1199.28 c 1136s| 1770k|616050 | 9536k| 400M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 64k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1204.52/1204.98 c 1141s| 1780k|618673 | 9581k| 402M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 65k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1210.22/1210.64 c 1147s| 1790k|620730 | 9625k| 404M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 65k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1215.82/1216.27 c 1152s| 1800k|622792 | 9669k| 405M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1221.42/1221.88 c 1157s| 1810k|625064 | 9714k| 407M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1227.02/1227.41 c 1162s| 1820k|627159 | 9758k| 409M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1232.62/1233.08 c 1168s| 1830k|629616 | 9803k| 411M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 66k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1238.32/1238.70 c 1173s| 1840k|631911 | 9846k| 412M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1243.91/1244.35 c 1178s| 1850k|634259 | 9892k| 414M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1249.51/1249.99 c 1184s| 1860k|636569 | 9937k| 416M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 67k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1255.40/1255.89 c 1189s| 1870k|639969 | 9983k| 418M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1261.21/1261.61 c 1195s| 1880k|642750 | 10028k| 420M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1266.81/1267.28 c 1200s| 1890k|645175 | 10073k| 422M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 68k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1272.41/1272.88 c 1206s| 1900k|647505 | 10117k| 423M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1278.10/1278.56 c 1211s| 1910k|649947 | 10162k| 425M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1283.60/1284.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.60/1284.09 c 1216s| 1920k|651875 | 10206k| 427M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 69k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1289.20/1289.65 c 1221s| 1930k|654002 | 10249k| 429M| 63 | - | 190 | 9 | 9 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1294.79/1295.20 c 1227s| 1940k|656022 | 10293k| 430M| 63 | - | 190 | 10 | 8 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1300.29/1300.77 c 1232s| 1950k|657896 | 10337k| 432M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 70k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1305.99/1306.46 c 1237s| 1960k|660067 | 10382k| 434M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1311.70/1312.13 c 1243s| 1970k|661918 | 10427k| 435M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1317.19/1317.68 c 1248s| 1980k|663763 | 10471k| 437M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 71k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1322.80/1323.21 c 1253s| 1990k|665522 | 10515k| 439M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 72k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1328.39/1328.82 c 1259s| 2000k|667129 | 10560k| 440M| 63 | - | 190 | 9 | 8 | 0 | 0 | 27 | 72k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1334.09/1334.53 c 1264s| 2010k|669080 | 10604k| 442M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 72k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1339.69/1340.17 c 1269s| 2020k|670605 | 10649k| 443M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1345.38/1345.84 c 1275s| 2030k|672222 | 10694k| 445M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1351.28/1351.76 c 1280s| 2040k|674976 | 10739k| 447M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 73k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1357.08/1357.57 c 1286s| 2050k|677262 | 10784k| 449M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1362.78/1363.21 c 1291s| 2060k|679012 | 10830k| 450M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1368.48/1368.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.48/1368.99 c 1297s| 2070k|680746 | 10875k| 452M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 74k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1374.17/1374.64 c 1302s| 2080k|682543 | 10920k| 453M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1379.87/1380.31 c 1308s| 2090k|684075 | 10964k| 455M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1386.17/1386.64 c 1314s| 2100k|687794 | 11014k| 457M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 75k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1392.27/1392.72 c 1319s| 2110k|691134 | 11062k| 460M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1398.16/1398.69 c 1325s| 2120k|693990 | 11110k| 462M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1404.17/1404.61 c 1331s| 2130k|696982 | 11158k| 464M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 76k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1410.06/1410.57 c 1336s| 2140k|699845 | 11204k| 466M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1415.86/1416.32 c 1342s| 2150k|701976 | 11251k| 468M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1421.76/1422.25 c 1347s| 2160k|705003 | 11297k| 470M| 63 | - | 190 | 8 | 7 | 190 | 21 | 27 | 77k| 24k| 0.000000e+00 | 1.900000e+01 | Inf
1427.65/1428.13 c 1353s| 2170k|707764 | 11343k| 472M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1433.35/1433.87 c 1358s| 2180k|709932 | 11389k| 473M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1439.05/1439.55 c 1364s| 2190k|711884 | 11434k| 475M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 78k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1444.75/1445.27 c 1369s| 2200k|714037 | 11480k| 477M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1450.55/1451.04 c 1375s| 2210k|716100 | 11526k| 479M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1456.24/1456.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.24/1456.76 c 1380s| 2220k|718241 | 11571k| 480M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 79k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1461.95/1462.41 c 1386s| 2230k|720176 | 11617k| 482M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1467.54/1468.08 c 1391s| 2240k|721930 | 11663k| 484M| 63 | - | 190 | 8 | 9 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1473.45/1473.92 c 1396s| 2250k|724070 | 11710k| 485M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 80k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1479.44/1479.93 c 1402s| 2260k|727282 | 11756k| 487M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1485.14/1485.61 c 1408s| 2270k|729383 | 11801k| 489M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1490.84/1491.32 c 1413s| 2280k|731336 | 11845k| 491M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 81k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1496.55/1497.06 c 1418s| 2290k|733091 | 11891k| 492M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1502.24/1502.70 c 1424s| 2300k|734875 | 11937k| 494M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1508.04/1508.53 c 1429s| 2310k|737311 | 11983k| 496M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 82k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1513.83/1514.35 c 1435s| 2320k|739718 | 12029k| 498M| 63 | 8 | 190 | 12 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1519.53/1520.09 c 1440s| 2330k|741504 | 12076k| 499M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1525.23/1525.71 c 1446s| 2340k|743206 | 12121k| 501M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 83k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1530.83/1531.39 c 1451s| 2350k|744698 | 12166k| 502M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1536.63/1537.11 c 1456s| 2360k|746625 | 12212k| 504M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1542.33/1542.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.33/1542.81 c 1462s| 2370k|749509 | 12256k| 506M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 84k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1547.82/1548.37 c 1467s| 2380k|751624 | 12299k| 508M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1553.52/1554.06 c 1472s| 2390k|753776 | 12343k| 509M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1559.22/1559.78 c 1478s| 2400k|755680 | 12387k| 511M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 85k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1564.92/1565.45 c 1483s| 2410k|757658 | 12431k| 512M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1570.52/1571.08 c 1489s| 2420k|759196 | 12475k| 514M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1576.22/1576.79 c 1494s| 2430k|760806 | 12520k| 515M| 63 | 8 | 190 | 10 | 8 | 190 | 21 | 27 | 86k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1582.01/1582.57 c 1499s| 2440k|762750 | 12565k| 517M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1587.81/1588.36 c 1505s| 2450k|764943 | 12611k| 519M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1593.61/1594.13 c 1510s| 2460k|766866 | 12656k| 521M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 87k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1599.31/1599.82 c 1516s| 2470k|768668 | 12702k| 522M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1604.90/1605.43 c 1521s| 2480k|769989 | 12746k| 524M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 26k| 0.000000e+00 | 1.900000e+01 | Inf
1610.60/1611.19 c 1527s| 2490k|771575 | 12792k| 525M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 88k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1616.30/1616.86 c 1532s| 2500k|773134 | 12836k| 527M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1622.01/1622.51 c 1537s| 2510k|775037 | 12882k| 528M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1628.00/1628.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.00/1628.51 c 1543s| 2520k|777398 | 12928k| 530M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 89k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1634.01/1634.55 c 1549s| 2530k|780812 | 12977k| 532M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1639.79/1640.39 c 1554s| 2540k|783662 | 13023k| 534M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1645.99/1646.53 c 1560s| 2550k|787082 | 13072k| 537M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 90k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1652.30/1652.80 c 1566s| 2560k|790856 | 13121k| 539M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1658.39/1658.95 c 1572s| 2570k|794474 | 13169k| 541M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1664.29/1664.83 c 1577s| 2580k|797587 | 13216k| 543M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 91k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1670.09/1670.68 c 1583s| 2590k|800204 | 13263k| 545M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1675.89/1676.42 c 1588s| 2600k|802567 | 13307k| 547M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1681.58/1682.18 c 1594s| 2610k|805116 | 13354k| 549M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 92k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1687.29/1687.88 c 1599s| 2620k|807340 | 13400k| 551M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1693.28/1693.88 c 1605s| 2630k|810121 | 13447k| 553M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1699.18/1699.76 c 1611s| 2640k|812758 | 13493k| 555M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 93k| 27k| 0.000000e+00 | 1.900000e+01 | Inf
1704.98/1705.53 c 1616s| 2650k|815848 | 13540k| 557M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1710.68/1711.30 c 1621s| 2660k|818281 | 13586k| 559M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1716.58/1717.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.58/1717.11 c 1627s| 2670k|820633 | 13632k| 561M| 63 | - | 190 | 8 | 8 | 0 | 0 | 27 | 94k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1722.17/1722.77 c 1632s| 2680k|822876 | 13677k| 563M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1727.97/1728.56 c 1638s| 2690k|824961 | 13723k| 564M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1733.67/1734.29 c 1643s| 2700k|827136 | 13768k| 566M| 63 | 8 | 190 | 9 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1739.37/1739.95 c 1649s| 2710k|829450 | 13813k| 568M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 95k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1745.07/1745.69 c 1654s| 2720k|831632 | 13858k| 570M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1750.86/1751.43 c 1660s| 2730k|833614 | 13903k| 571M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1756.66/1757.28 c 1665s| 2740k|835898 | 13949k| 573M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 96k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1762.47/1763.01 c 1670s| 2750k|838371 | 13996k| 575M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1768.26/1768.85 c 1676s| 2760k|840803 | 14041k| 577M| 63 | - | 190 | 8 | 7 | 0 | 0 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1774.36/1774.91 c 1682s| 2770k|844121 | 14089k| 579M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 97k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1780.15/1780.71 c 1687s| 2780k|846940 | 14135k| 581M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1786.35/1786.99 c 1693s| 2790k|850501 | 14187k| 584M| 63 | - | 190 | 9 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1792.25/1792.85 c 1699s| 2800k|853262 | 14234k| 586M| 63 | 8 | 190 | 8 | 8 | 190 | 21 | 27 | 98k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1798.25/1798.89 c 1704s| 2810k|856106 | 14282k| 588M| 63 | - | 190 | 8 | 8 | 190 | 21 | 27 | 99k| 28k| 0.000000e+00 | 1.900000e+01 | Inf
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1706.11
1800.06/1800.61 c Solving Nodes : 2812817
1800.06/1800.61 c Primal Bound : +1.90000000000000e+01 (46 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c NODE 2812817
1800.06/1800.61 c DUAL BOUND 0
1800.06/1800.61 c PRIMAL BOUND 19
1800.06/1800.61 c GAP 1e+20
1800.06/1800.61 s SATISFIABLE
1800.06/1800.61 v -x176 x198 -x197 -x196 x195 x194 x193 x192 x191 -x190 -x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 -x178 x177 x175
1800.06/1800.61 v x174 -x173 x172 x171 -x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 -x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153
1800.06/1800.61 v x152 -x151 x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 x139 x138 -x137 -x136 -x135 -x134 x133 -x132 x131 x130
1800.06/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
1800.06/1800.61 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.06/1800.61 v -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.06/1800.61 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.06/1800.61 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.06/1800.61 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1706.11
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-1869514-1245175911.opb
1800.06/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 16 initial, 16 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-1869514-1245175911.opb
1800.06/1800.61 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 8 initial, 14 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.00 0 8 0 0 0 8 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 48 - - 48 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 1889449 0 99 7310 0 0 3764638
1800.06/1800.61 c linear : 8 6 4805227 1 0 283534 2071366 10 0 0
1800.06/1800.61 c logicor : 0+ 0 90609 0 0 2350 30467 0 0 0
1800.06/1800.61 c countsols : 0 0 0 27 0 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 29.76 0.00 0.00 29.76 0.00
1800.06/1800.61 c linear : 437.52 0.00 437.52 0.00 0.00
1800.06/1800.61 c logicor : 0.34 0.00 0.34 0.00 0.00
1800.06/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c rootredcost : 1.84 41 0 48
1800.06/1800.61 c pseudoobj : 45.13 4816935 11853 35352
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 26.43 295387 97784 113515 71.6 0 0.0 -
1800.06/1800.61 c infeasible LP : 0.28 3310 3208 3306 39.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 2 2 2 40.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 279 28.7 - - -
1800.06/1800.61 c applied locally : - - - 99054 71.1 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 5 - - 19 - (maximal pool size: 78)
1800.06/1800.61 c redcost : 63.41 2773615 0 17908664 0 0
1800.06/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 6 0 0 0 0
1800.06/1800.61 c strongcg : 0.03 6 0 0 25 0
1800.06/1800.61 c cmir : 0.04 6 0 0 40 0
1800.06/1800.61 c flowcover : 0.06 6 0 0 42 0
1800.06/1800.61 c clique : 0.00 1 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 1 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 27.98 1889422 99 7310 0 0 3764638
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.45 - 27
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c intshifting : 0.08 0 0
1800.06/1800.61 c oneopt : 1.36 40 0
1800.06/1800.61 c feaspump : 0.08 2 0
1800.06/1800.61 c crossover : 25.43 16 0
1800.06/1800.61 c rootsoldiving : 5.47 581 3
1800.06/1800.61 c guideddiving : 27.41 6750 4
1800.06/1800.61 c coefdiving : 48.38 6750 3
1800.06/1800.61 c pscostdiving : 37.02 6750 3
1800.06/1800.61 c fracdiving : 35.59 6750 2
1800.06/1800.61 c veclendiving : 23.88 6750 0
1800.06/1800.61 c linesearchdiving : 23.69 6751 2
1800.06/1800.61 c objpscostdiving : 7.69 3376 2
1800.06/1800.61 c simplerounding : 1.34 0 0
1800.06/1800.61 c rounding : 2.60 19997 0
1800.06/1800.61 c shifting : 7.60 6387 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.02 1 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 633.94 2684395 12708741 4.73 20047.23
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 106.33 787346 1587967 2.02 14934.33
1800.06/1800.61 c strong branching : 8.50 28956 102255 3.53 12030.00
1800.06/1800.61 c (at root node) : - 19 859 45.21 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 2812817
1800.06/1800.61 c nodes (total) : 2812817
1800.06/1800.61 c nodes left : 856813
1800.06/1800.61 c max depth : 63
1800.06/1800.61 c max depth (total): 63
1800.06/1800.61 c backtracks : 454543 (16.2%)
1800.06/1800.61 c delayed cutoffs : 16527
1800.06/1800.61 c repropagations : 31598 (121559 domain reductions, 16527 cutoffs)
1800.06/1800.61 c avg switch length: 5.45
1800.06/1800.61 c switching time : 98.78
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 46 (41 improvements)
1800.06/1800.61 c Primal Bound : +1.90000000000000e+01 (in run 1, after 1550235 nodes, 1009.56 seconds, depth 55, found by <relaxation>)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869514-1245175911/watcher-1869514-1245175911 -o /tmp/evaluation-result-1869514-1245175911/solver-1869514-1245175911 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869514-1245175911.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 842
/proc/meminfo: memFree=1845856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=4648 CPUtime=0
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 185192101 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/842/statm: 1162 485 318 886 0 272 0
[startup+0.0917099 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 842
/proc/meminfo: memFree=1845856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=13176 CPUtime=0.08
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 2857 0 0 0 7 1 0 0 18 0 1 0 185192101 13492224 2485 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 3294 2485 551 886 0 2404 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13176
[startup+0.10271 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 842
/proc/meminfo: memFree=1845856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=13176 CPUtime=0.09
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 2857 0 0 0 8 1 0 0 18 0 1 0 185192101 13492224 2485 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 3294 2485 551 886 0 2404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13176
[startup+0.302731 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 842
/proc/meminfo: memFree=1845856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=16324 CPUtime=0.29
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 4872 0 0 0 27 2 0 0 19 0 1 0 185192101 16715776 3306 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 4081 3306 567 886 0 3191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16324
[startup+0.701772 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 842
/proc/meminfo: memFree=1845856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=16324 CPUtime=0.69
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 4879 0 0 0 65 4 0 0 22 0 1 0 185192101 16715776 3313 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 4081 3313 571 886 0 3191 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16324
[startup+1.50185 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1834584/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=14108 CPUtime=1.49
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 5019 0 0 0 142 7 0 0 25 0 1 0 185192101 14446592 2791 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 3527 2791 573 886 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14108
[startup+3.10202 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1836376/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=15092 CPUtime=3.09
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 9151 0 0 0 292 17 0 0 25 0 1 0 185192101 15454208 3044 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 3773 3044 573 886 0 2883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15092
[startup+6.30135 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1833880/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=16752 CPUtime=6.29
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 11526 0 0 0 593 36 0 0 25 0 1 0 185192101 17154048 3441 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 4188 3441 573 886 0 3298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16752
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1831584/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=19644 CPUtime=12.69
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 14538 0 0 0 1202 67 0 0 25 0 1 0 185192101 20115456 4187 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 4911 4187 573 886 0 4021 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19644
[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1822880/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=27784 CPUtime=25.48
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 20568 0 0 0 2416 132 0 0 25 0 1 0 185192101 28450816 6275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 6946 6275 573 886 0 6056 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27784
[startup+51.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1805280/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=44596 CPUtime=51.07
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 32048 0 0 0 4850 257 0 0 25 0 1 0 185192101 45666304 10589 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 11149 10589 573 886 0 10259 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44596
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1780064/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=71596 CPUtime=102.26
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 47535 0 0 0 9687 539 0 0 25 0 1 0 185192101 73314304 17046 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 17899 17046 573 886 0 17009 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71596
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1746400/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=104320 CPUtime=162.24
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 63641 0 0 0 15358 866 0 0 25 0 1 0 185192101 106823680 25347 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 26080 25347 573 886 0 25190 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 104320
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1725856/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=123944 CPUtime=222.22
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 89879 0 0 0 21030 1192 0 0 25 0 1 0 185192101 126918656 30368 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 30986 30368 573 886 0 30096 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 123944
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1705440/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=144272 CPUtime=282.2
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 109810 0 0 0 26705 1515 0 0 25 0 1 0 185192101 147734528 35506 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 36068 35506 573 886 0 35178 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 144272
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1680480/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=172740 CPUtime=342.19
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 121444 0 0 0 32383 1836 0 0 25 0 1 0 185192101 176885760 41708 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 43185 41708 573 886 0 42295 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 172740
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1644896/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=207880 CPUtime=402.17
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 131025 0 0 0 38078 2139 0 0 25 0 1 0 185192101 212869120 50639 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 51970 50639 573 886 0 51080 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 207880
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1631584/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=220484 CPUtime=462.15
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 140323 0 0 0 43758 2457 0 0 25 0 1 0 185192101 225775616 53874 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 55121 53874 573 886 0 54231 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 220484
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1610784/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=240652 CPUtime=522.13
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 146190 0 0 0 49432 2781 0 0 25 0 1 0 185192101 246427648 59092 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 60163 59092 573 886 0 59273 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 240652
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1591584/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=260336 CPUtime=582.12
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 155723 0 0 0 55116 3096 0 0 25 0 1 0 185192101 266584064 64101 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 65084 64101 573 886 0 64194 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 260336
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1566560/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=283788 CPUtime=642.1
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 166242 0 0 0 60797 3413 0 0 25 0 1 0 185192101 290598912 70080 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 70947 70080 573 886 0 70057 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 283788
[startup+702.302 s]
################
# More data... #
################
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 211682 0 0 0 100611 5586 0 0 25 0 1 0 185192101 444309504 106367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 108474 106367 573 886 0 107584 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 433896
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1416544/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=437612 CPUtime=1121.95
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 219039 0 0 0 106295 5900 0 0 25 0 1 0 185192101 448114688 107336 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 109403 107336 573 886 0 108513 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 437612
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1403040/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=450748 CPUtime=1181.93
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 224429 0 0 0 111975 6218 0 0 25 0 1 0 185192101 461565952 110705 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 112687 110705 573 886 0 111797 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 450748
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1390688/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=462968 CPUtime=1241.91
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 228229 0 0 0 117656 6535 0 0 25 0 1 0 185192101 474079232 113856 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 115742 113856 573 886 0 114852 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 462968
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1371744/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=480828 CPUtime=1301.9
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 232795 0 0 0 123347 6843 0 0 25 0 1 0 185192101 492367872 118422 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 120207 118422 573 886 0 119317 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 480828
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1355808/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=496384 CPUtime=1361.87
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 236760 0 0 0 129045 7142 0 0 25 0 1 0 185192101 508297216 122387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 124096 122387 573 886 0 123206 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 496384
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1338912/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=512816 CPUtime=1421.87
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 240970 0 0 0 134742 7445 0 0 25 0 1 0 185192101 525123584 126597 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 128204 126597 573 886 0 127314 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 512816
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1323680/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=527940 CPUtime=1481.84
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 244843 0 0 0 140438 7746 0 0 25 0 1 0 185192101 540610560 130470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 131985 130470 573 886 0 131095 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 527940
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1306720/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=544212 CPUtime=1541.83
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 248992 0 0 0 146126 8057 0 0 25 0 1 0 185192101 557273088 134619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 136053 134619 573 886 0 135163 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 544212
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1286304/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=564180 CPUtime=1601.81
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 254711 0 0 0 151814 8367 0 0 25 0 1 0 185192101 577720320 139692 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 141045 139692 573 886 0 140155 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 564180
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1267744/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=582180 CPUtime=1661.79
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 259346 0 0 0 157503 8676 0 0 25 0 1 0 185192101 596152320 144327 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 145545 144327 573 886 0 144655 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 582180
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1247520/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=602052 CPUtime=1721.78
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 264385 0 0 0 163193 8985 0 0 25 0 1 0 185192101 616501248 149366 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 150513 149366 573 886 0 149623 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 602052
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1226464/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=622472 CPUtime=1781.76
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 269606 0 0 0 168876 9300 0 0 25 0 1 0 185192101 637411328 154587 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 155618 154587 573 886 0 154728 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 622472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1219616/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=629180 CPUtime=1800.06
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 271300 0 0 0 170611 9395 0 0 25 0 1 0 185192101 644280320 156281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/842/statm: 157295 156281 573 886 0 156405 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 629180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -842
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 843
/proc/meminfo: memFree=1219616/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=629180 CPUtime=1800.85
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 271302 0 0 0 170690 9395 0 0 25 0 1 0 185192101 644280320 156283 1992294400 4194304 7823515 548682068736 18446744073709551615 5875742 0 0 4096 0 0 0 0 17 0 0 0
/proc/842/statm: 157295 156283 575 886 0 156405 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 629180
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 844
/proc/meminfo: memFree=1219608/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=629180 CPUtime=1801.64
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 271302 0 0 0 170769 9395 0 0 25 0 1 0 185192101 644280320 156283 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/842/statm: 157295 156283 575 886 0 156405 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 629180
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 844
/proc/meminfo: memFree=1219608/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=629180 CPUtime=1802.04
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4194304 271302 0 0 0 170809 9395 0 0 25 0 1 0 185192101 644280320 156283 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/842/statm: 157295 156283 575 886 0 156405 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 629180
[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 844
/proc/meminfo: memFree=1219608/2055920 swapFree=4191896/4192956
[pid=842] ppid=840 vsize=0 CPUtime=1802.14
/proc/842/stat : 842 (pbscip.linux.x8) R 840 842 644 0 -1 4195332 271302 0 0 0 170810 9404 0 0 25 0 1 0 185192101 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.16
CPU user time (s): 1708.11
CPU system time (s): 94.0557
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 629180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1708.11
system time used= 94.0557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271302
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2121
runsolver used 1.24281 second user time and 3.88341 second system time
The end