0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663915-1276629909.opb>
0.00/0.01 c original problem has 210 variables (210 bin, 0 int, 0 impl, 0 cont) and 220 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 220 upgd conss, 400 impls, 20 clqs
0.00/0.04 c (0.0s) probing: 101/210 (48.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 400 implications, 20 cliques
0.00/0.04 c presolved problem has 210 variables (210 bin, 0 int, 0 impl, 0 cont) and 220 constraints
0.00/0.04 c 20 constraints of type <setppc>
0.00/0.04 c 200 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
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 = 10000
0.00/0.04 c
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 = 1800
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 = 1620
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 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.04 c 0.0s| 1 | 2 | 0 | - | 858k| 0 | - | 210 | 220 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 o 16907
0.19/0.23 c * 0.2s| 1633 | 1632 | 0 | 0.0 |1506k| 81 | - | 210 | 220 | 0 | 0 | 0 | 0 | 0 | 2.108000e+03 | 1.690700e+04 | 702.04%
0.19/0.23 o 16479
0.19/0.23 c * 0.2s| 1634 | 1630 | 0 | 0.0 |1509k| 81 | - | 210 | 220 | 0 | 0 | 0 | 0 | 0 | 2.108000e+03 | 1.647900e+04 | 681.74%
0.19/0.23 o 13152
0.19/0.23 c * 0.2s| 1672 | 1638 | 0 | 0.0 |1518k| 83 | - | 210 | 220 | 0 | 0 | 0 | 0 | 0 | 2.109000e+03 | 1.315200e+04 | 523.61%
0.19/0.25 o 13146
0.19/0.25 c * 0.2s| 1844 | 1805 | 0 | 0.0 |1577k| 83 | - | 210 | 221 | 0 | 0 | 0 | 1 | 0 | 2.144000e+03 | 1.314600e+04 | 513.15%
0.29/0.33 o 10689
0.29/0.33 c * 0.3s| 2622 | 2528 | 0 | 0.0 |1825k| 96 | - | 210 | 221 | 0 | 0 | 0 | 5 | 0 | 2.163000e+03 | 1.068900e+04 | 394.17%
0.39/0.47 o 9844
0.39/0.47 c * 0.4s| 3837 | 3701 | 0 | 0.0 |2446k| 96 | - | 210 | 222 | 0 | 0 | 0 | 12 | 0 | 2.246000e+03 | 9.844000e+03 | 338.29%
0.59/0.61 o 9764
0.59/0.61 c * 0.5s| 4730 | 4464 | 0 | 0.0 |3120k| 96 | - | 210 | 291 | 0 | 0 | 0 | 118 | 0 | 2.316000e+03 | 9.764000e+03 | 321.59%
0.69/0.70 o 9519
0.69/0.70 c * 0.6s| 5277 | 4910 | 0 | 0.0 |3525k| 96 | - | 210 | 327 | 0 | 0 | 0 | 191 | 0 | 2.352000e+03 | 9.519000e+03 | 304.72%
1.49/1.53 c 1.3s| 10000 | 8669 | 0 | 0.0 |7065k| 96 | - | 210 | 495 | 0 | 0 | 0 |1043 | 0 | 2.808000e+03 | 9.519000e+03 | 239.00%
1.59/1.67 o 9443
1.59/1.67 c * 1.4s| 10748 | 9157 | 0 | 0.0 |7580k| 96 | - | 210 | 564 | 0 | 0 | 0 |1242 | 0 | 2.959000e+03 | 9.443000e+03 | 219.13%
3.20/3.27 c 2.8s| 20000 | 16641 | 0 | 0.0 | 13M| 96 | - | 210 | 817 | 0 | 0 | 0 |2951 | 0 | 3.915000e+03 | 9.443000e+03 | 141.20%
3.49/3.51 o 9262
3.49/3.51 c * 3.0s| 21361 | 17591 | 0 | 0.0 | 14M| 96 | - | 210 | 827 | 0 | 0 | 0 |3227 | 0 | 3.976000e+03 | 9.262000e+03 | 132.95%
5.29/5.30 c 4.6s| 30000 | 23764 | 0 | 0.0 | 19M| 96 | - | 210 |1566 | 0 | 0 | 0 |6006 | 0 | 4.321000e+03 | 9.262000e+03 | 114.35%
5.29/5.39 o 9251
5.29/5.39 c * 4.7s| 30395 | 24024 | 0 | 0.0 | 20M| 96 | - | 210 |1631 | 0 | 0 | 0 |6163 | 0 | 4.336000e+03 | 9.251000e+03 | 113.35%
6.50/6.58 o 9058
6.50/6.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.50/6.58 c * 5.8s| 35388 | 26756 | 0 | 0.0 | 22M| 96 | - | 210 |2105 | 0 | 0 | 0 |8159 | 0 | 4.594000e+03 | 9.058000e+03 | 97.17%
7.69/7.71 c 6.8s| 40000 | 29747 | 0 | 0.0 | 24M| 97 | - | 210 |2778 | 0 | 0 | 0 | 10k| 0 | 4.855000e+03 | 9.058000e+03 | 86.57%
9.79/9.85 c 8.7s| 50000 | 37361 | 0 | 0.0 | 28M| 97 | - | 210 |2769 | 0 | 0 | 0 | 13k| 0 | 5.115000e+03 | 9.058000e+03 | 77.09%
12.00/12.02 c 10.7s| 60000 | 45210 | 0 | 0.0 | 32M| 97 | - | 210 |3259 | 0 | 0 | 0 | 16k| 0 | 5.251000e+03 | 9.058000e+03 | 72.50%
14.30/14.38 c 12.8s| 70000 | 53054 | 0 | 0.0 | 36M| 97 | - | 210 |3943 | 0 | 0 | 0 | 19k| 0 | 5.340000e+03 | 9.058000e+03 | 69.63%
16.88/16.95 c 15.2s| 80000 | 60812 | 0 | 0.0 | 40M| 97 | - | 210 |4754 | 0 | 0 | 0 | 23k| 0 | 5.414000e+03 | 9.058000e+03 | 67.31%
19.58/19.66 c 17.7s| 90000 | 68747 | 0 | 0.0 | 44M| 97 | - | 210 |5268 | 0 | 0 | 0 | 26k| 0 | 5.470000e+03 | 9.058000e+03 | 65.59%
22.69/22.79 c 20.7s|100000 | 76259 | 0 | 0.0 | 47M| 97 | - | 210 |5845 | 0 | 0 | 0 | 30k| 0 | 5.525000e+03 | 9.058000e+03 | 63.95%
26.09/26.10 c 23.8s|110000 | 83892 | 0 | 0.0 | 51M| 97 | - | 210 |6690 | 0 | 0 | 0 | 34k| 0 | 5.570000e+03 | 9.058000e+03 | 62.62%
29.79/29.81 c 27.3s|120000 | 91282 | 0 | 0.0 | 55M| 100 | - | 210 |7793 | 0 | 0 | 0 | 38k| 0 | 5.611000e+03 | 9.058000e+03 | 61.43%
33.99/34.03 c 31.4s|130000 | 98559 | 0 | 0.0 | 58M| 100 | - | 210 |8728 | 0 | 0 | 0 | 42k| 0 | 5.649000e+03 | 9.058000e+03 | 60.35%
38.58/38.60 c 35.7s|140000 |105738 | 0 | 0.0 | 61M| 100 | - | 210 |9431 | 0 | 0 | 0 | 47k| 0 | 5.678000e+03 | 9.058000e+03 | 59.53%
39.59/39.68 o 9054
39.59/39.68 c *36.8s|142311 |107375 | 0 | 0.0 | 62M| 100 | - | 210 |9556 | 0 | 0 | 0 | 48k| 0 | 5.684000e+03 | 9.054000e+03 | 59.29%
43.38/43.47 c 40.4s|150000 |112942 | 0 | 0.0 | 65M| 100 | - | 210 |9949 | 0 | 0 | 0 | 51k| 0 | 5.708000e+03 | 9.054000e+03 | 58.62%
46.28/46.35 o 8835
46.28/46.35 c *43.2s|155491 |115201 | 0 | 0.0 | 66M| 100 | - | 210 | 10k| 0 | 0 | 0 | 54k| 0 | 5.726000e+03 | 8.835000e+03 | 54.30%
46.28/46.36 o 8711
46.28/46.36 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.36 c *43.2s|155492 |113732 | 0 | 0.0 | 65M| 100 | - | 210 | 10k| 0 | 0 | 0 | 54k| 0 | 5.726000e+03 | 8.711000e+03 | 52.13%
49.08/49.17 c 45.9s|160000 |116675 | 0 | 0.0 | 67M| 100 | - | 210 | 11k| 0 | 0 | 0 | 56k| 0 | 5.739000e+03 | 8.711000e+03 | 51.79%
55.57/55.60 c 52.1s|170000 |123341 | 0 | 0.0 | 70M| 100 | - | 210 | 12k| 0 | 0 | 0 | 62k| 0 | 5.765000e+03 | 8.711000e+03 | 51.10%
62.58/62.66 c 58.9s|180000 |129924 | 0 | 0.0 | 74M| 100 | - | 210 | 13k| 0 | 0 | 0 | 68k| 0 | 5.789000e+03 | 8.711000e+03 | 50.48%
69.77/69.89 c 66.0s|190000 |136510 | 0 | 0.0 | 77M| 100 | - | 210 | 13k| 0 | 0 | 0 | 73k| 0 | 5.814000e+03 | 8.711000e+03 | 49.83%
77.78/77.89 c 73.8s|200000 |142910 | 0 | 0.0 | 80M| 100 | - | 210 | 14k| 0 | 0 | 0 | 79k| 0 | 5.834000e+03 | 8.711000e+03 | 49.31%
86.37/86.43 c 82.1s|210000 |149160 | 0 | 0.0 | 84M| 100 | - | 210 | 15k| 0 | 0 | 0 | 86k| 0 | 5.854000e+03 | 8.711000e+03 | 48.80%
95.47/95.53 c 91.0s|220000 |155499 | 0 | 0.0 | 87M| 100 | - | 210 | 16k| 0 | 0 | 0 | 92k| 0 | 5.874000e+03 | 8.711000e+03 | 48.30%
104.66/104.80 c 100s|230000 |161832 | 0 | 0.0 | 90M| 100 | - | 210 | 17k| 0 | 0 | 0 | 98k| 0 | 5.893000e+03 | 8.711000e+03 | 47.82%
114.17/114.23 c 109s|240000 |168169 | 0 | 0.0 | 93M| 100 | - | 210 | 17k| 0 | 0 | 0 | 104k| 0 | 5.912000e+03 | 8.711000e+03 | 47.34%
123.97/124.03 c 119s|250000 |174421 | 0 | 0.0 | 96M| 100 | - | 210 | 18k| 0 | 0 | 0 | 110k| 0 | 5.927000e+03 | 8.711000e+03 | 46.97%
134.66/134.76 c 129s|260000 |180564 | 0 | 0.0 | 99M| 100 | - | 210 | 18k| 0 | 0 | 0 | 116k| 0 | 5.943000e+03 | 8.711000e+03 | 46.58%
145.75/145.85 c 140s|270000 |186793 | 0 | 0.0 | 103M| 100 | - | 210 | 19k| 0 | 0 | 0 | 123k| 0 | 5.957000e+03 | 8.711000e+03 | 46.23%
157.65/157.72 c 152s|280000 |192815 | 0 | 0.0 | 106M| 100 | - | 210 | 20k| 0 | 0 | 0 | 130k| 0 | 5.972000e+03 | 8.711000e+03 | 45.86%
169.55/169.68 c 164s|290000 |199009 | 0 | 0.0 | 109M| 100 | - | 210 | 20k| 0 | 0 | 0 | 136k| 0 | 5.985000e+03 | 8.711000e+03 | 45.55%
181.95/182.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.95/182.00 c 176s|300000 |205045 | 0 | 0.0 | 112M| 100 | - | 210 | 21k| 0 | 0 | 0 | 143k| 0 | 5.999000e+03 | 8.711000e+03 | 45.21%
194.45/194.60 c 188s|310000 |211057 | 0 | 0.0 | 115M| 100 | - | 210 | 22k| 0 | 0 | 0 | 149k| 0 | 6.012000e+03 | 8.711000e+03 | 44.89%
208.15/208.27 c 202s|320000 |216899 | 0 | 0.0 | 118M| 100 | - | 210 | 23k| 0 | 0 | 0 | 156k| 0 | 6.027000e+03 | 8.711000e+03 | 44.53%
222.15/222.24 c 215s|330000 |222830 | 0 | 0.0 | 122M| 100 | - | 210 | 23k| 0 | 0 | 0 | 163k| 0 | 6.040000e+03 | 8.711000e+03 | 44.22%
236.04/236.16 c 229s|340000 |228852 | 0 | 0.0 | 125M| 100 | - | 210 | 24k| 0 | 0 | 0 | 170k| 0 | 6.051000e+03 | 8.711000e+03 | 43.96%
250.83/250.98 c 244s|350000 |234770 | 0 | 0.0 | 128M| 100 | - | 210 | 25k| 0 | 0 | 0 | 177k| 0 | 6.062000e+03 | 8.711000e+03 | 43.70%
266.52/266.65 c 259s|360000 |240562 | 0 | 0.0 | 131M| 100 | - | 210 | 26k| 0 | 0 | 0 | 183k| 0 | 6.074000e+03 | 8.711000e+03 | 43.41%
282.42/282.52 c 275s|370000 |246471 | 0 | 0.0 | 134M| 100 | - | 210 | 26k| 0 | 0 | 0 | 190k| 0 | 6.085000e+03 | 8.711000e+03 | 43.16%
298.32/298.45 c 290s|380000 |252342 | 0 | 0.0 | 137M| 100 | - | 210 | 27k| 0 | 0 | 0 | 197k| 0 | 6.095000e+03 | 8.711000e+03 | 42.92%
314.52/314.63 c 306s|390000 |258353 | 0 | 0.0 | 140M| 100 | - | 210 | 27k| 0 | 0 | 0 | 204k| 0 | 6.104000e+03 | 8.711000e+03 | 42.71%
331.21/331.31 c 323s|400000 |264293 | 0 | 0.0 | 143M| 100 | - | 210 | 28k| 0 | 0 | 0 | 211k| 0 | 6.114000e+03 | 8.711000e+03 | 42.48%
348.52/348.68 c 340s|410000 |270242 | 0 | 0.0 | 146M| 100 | - | 210 | 29k| 0 | 0 | 0 | 218k| 0 | 6.124000e+03 | 8.711000e+03 | 42.24%
365.90/366.05 c 357s|420000 |276264 | 0 | 0.0 | 149M| 100 | - | 210 | 30k| 0 | 0 | 0 | 225k| 0 | 6.132000e+03 | 8.711000e+03 | 42.06%
383.81/383.93 c 375s|430000 |282206 | 0 | 0.0 | 152M| 100 | - | 210 | 31k| 0 | 0 | 0 | 231k| 0 | 6.141000e+03 | 8.711000e+03 | 41.85%
402.41/402.50 c 393s|440000 |288110 | 0 | 0.0 | 155M| 100 | - | 210 | 32k| 0 | 0 | 0 | 238k| 0 | 6.149000e+03 | 8.711000e+03 | 41.67%
421.20/421.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.20/421.38 c 412s|450000 |294017 | 0 | 0.0 | 158M| 100 | - | 210 | 33k| 0 | 0 | 0 | 245k| 0 | 6.159000e+03 | 8.711000e+03 | 41.44%
441.49/441.69 c 432s|460000 |299816 | 0 | 0.0 | 161M| 100 | - | 210 | 33k| 0 | 0 | 0 | 252k| 0 | 6.169000e+03 | 8.711000e+03 | 41.21%
461.49/461.69 c 452s|470000 |305577 | 0 | 0.0 | 164M| 100 | - | 210 | 34k| 0 | 0 | 0 | 259k| 0 | 6.179000e+03 | 8.711000e+03 | 40.98%
481.77/481.96 c 472s|480000 |311436 | 0 | 0.0 | 167M| 100 | - | 210 | 35k| 0 | 0 | 0 | 266k| 0 | 6.187000e+03 | 8.711000e+03 | 40.80%
502.17/502.34 c 492s|490000 |317343 | 0 | 0.0 | 170M| 100 | - | 210 | 36k| 0 | 0 | 0 | 273k| 0 | 6.195000e+03 | 8.711000e+03 | 40.61%
523.07/523.22 c 512s|500000 |323305 | 0 | 0.0 | 173M| 100 | - | 210 | 36k| 0 | 0 | 0 | 280k| 0 | 6.202000e+03 | 8.711000e+03 | 40.45%
545.56/545.70 c 535s|510000 |329106 | 0 | 0.0 | 176M| 100 | - | 210 | 37k| 0 | 0 | 0 | 287k| 0 | 6.210000e+03 | 8.711000e+03 | 40.27%
568.65/568.82 c 558s|520000 |334901 | 0 | 0.0 | 179M| 100 | - | 210 | 37k| 0 | 0 | 0 | 295k| 0 | 6.217000e+03 | 8.711000e+03 | 40.12%
592.25/592.46 c 581s|530000 |340592 | 0 | 0.0 | 182M| 100 | - | 210 | 38k| 0 | 0 | 0 | 302k| 0 | 6.225000e+03 | 8.711000e+03 | 39.94%
605.65/605.80 o 8557
605.65/605.80 c * 594s|535830 |338511 | 0 | 0.0 | 181M| 100 | - | 210 | 38k| 0 | 0 | 0 | 306k| 0 | 6.229000e+03 | 8.557000e+03 | 37.37%
616.54/616.79 c 605s|540000 |340836 | 0 | 0.0 | 183M| 100 | - | 210 | 39k| 0 | 0 | 0 | 310k| 0 | 6.232000e+03 | 8.557000e+03 | 37.31%
643.94/644.14 c 632s|550000 |346210 | 0 | 0.0 | 186M| 100 | - | 210 | 40k| 0 | 0 | 0 | 318k| 0 | 6.240000e+03 | 8.557000e+03 | 37.13%
670.93/671.17 c 659s|560000 |351713 | 0 | 0.0 | 189M| 100 | - | 210 | 40k| 0 | 0 | 0 | 326k| 0 | 6.248000e+03 | 8.557000e+03 | 36.96%
698.93/699.11 c 687s|570000 |357157 | 0 | 0.0 | 192M| 100 | - | 210 | 41k| 0 | 0 | 0 | 334k| 0 | 6.256000e+03 | 8.557000e+03 | 36.78%
727.72/727.99 c 715s|580000 |362500 | 0 | 0.0 | 195M| 100 | - | 210 | 43k| 0 | 0 | 0 | 343k| 0 | 6.263000e+03 | 8.557000e+03 | 36.63%
758.41/758.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.41/758.68 c 746s|590000 |367697 | 0 | 0.0 | 198M| 100 | - | 210 | 43k| 0 | 0 | 0 | 351k| 0 | 6.272000e+03 | 8.557000e+03 | 36.43%
787.51/787.71 c 775s|600000 |373210 | 0 | 0.0 | 201M| 100 | - | 210 | 43k| 0 | 0 | 0 | 360k| 0 | 6.279000e+03 | 8.557000e+03 | 36.28%
817.60/817.87 c 805s|610000 |378559 | 0 | 0.0 | 204M| 100 | - | 210 | 44k| 0 | 0 | 0 | 368k| 0 | 6.288000e+03 | 8.557000e+03 | 36.08%
819.21/819.46 o 8499
819.21/819.46 c * 806s|610548 |376358 | 0 | 0.0 | 203M| 100 | - | 210 | 44k| 0 | 0 | 0 | 369k| 0 | 6.288000e+03 | 8.499000e+03 | 35.16%
848.39/848.69 c 835s|620000 |381465 | 0 | 0.0 | 206M| 100 | - | 210 | 45k| 0 | 0 | 0 | 376k| 0 | 6.295000e+03 | 8.499000e+03 | 35.01%
880.18/880.42 c 867s|630000 |386796 | 0 | 0.0 | 209M| 100 | - | 210 | 46k| 0 | 0 | 0 | 385k| 0 | 6.302000e+03 | 8.499000e+03 | 34.86%
913.88/914.11 c 900s|640000 |391861 | 0 | 0.0 | 212M| 100 | - | 210 | 47k| 0 | 0 | 0 | 394k| 0 | 6.309000e+03 | 8.499000e+03 | 34.71%
948.26/948.54 c 934s|650000 |396997 | 0 | 0.0 | 215M| 100 | - | 210 | 48k| 0 | 0 | 0 | 403k| 0 | 6.316000e+03 | 8.499000e+03 | 34.56%
983.56/983.88 c 969s|660000 |402123 | 0 | 0.0 | 218M| 100 | - | 210 | 48k| 0 | 0 | 0 | 412k| 0 | 6.322000e+03 | 8.499000e+03 | 34.44%
1019.46/1019.78 c 1005s|670000 |407192 | 0 | 0.0 | 221M| 100 | - | 210 | 49k| 0 | 0 | 0 | 421k| 0 | 6.329000e+03 | 8.499000e+03 | 34.29%
1055.44/1055.70 c 1041s|680000 |412247 | 0 | 0.0 | 223M| 100 | - | 210 | 49k| 0 | 0 | 0 | 430k| 0 | 6.336000e+03 | 8.499000e+03 | 34.14%
1091.44/1091.70 c 1077s|690000 |417330 | 0 | 0.0 | 226M| 100 | - | 210 | 49k| 0 | 0 | 0 | 439k| 0 | 6.342000e+03 | 8.499000e+03 | 34.01%
1127.73/1128.01 c 1113s|700000 |422484 | 0 | 0.0 | 229M| 100 | - | 210 | 48k| 0 | 0 | 0 | 448k| 0 | 6.348000e+03 | 8.499000e+03 | 33.88%
1163.62/1163.91 c 1148s|710000 |427489 | 0 | 0.0 | 232M| 100 | - | 210 | 50k| 0 | 0 | 0 | 457k| 0 | 6.354000e+03 | 8.499000e+03 | 33.76%
1201.81/1202.11 c 1186s|720000 |432373 | 0 | 0.0 | 235M| 100 | - | 210 | 52k| 0 | 0 | 0 | 466k| 0 | 6.359000e+03 | 8.499000e+03 | 33.65%
1239.31/1239.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.31/1239.61 c 1223s|730000 |437461 | 0 | 0.0 | 238M| 100 | - | 210 | 53k| 0 | 0 | 0 | 475k| 0 | 6.364000e+03 | 8.499000e+03 | 33.55%
1279.09/1279.41 c 1263s|740000 |442396 | 0 | 0.0 | 241M| 100 | - | 210 | 53k| 0 | 0 | 0 | 485k| 0 | 6.370000e+03 | 8.499000e+03 | 33.42%
1319.28/1319.65 c 1303s|750000 |447345 | 0 | 0.0 | 244M| 100 | - | 210 | 54k| 0 | 0 | 0 | 494k| 0 | 6.375000e+03 | 8.499000e+03 | 33.32%
1359.38/1359.77 c 1343s|760000 |452303 | 0 | 0.0 | 246M| 100 | - | 210 | 55k| 0 | 0 | 0 | 503k| 0 | 6.380000e+03 | 8.499000e+03 | 33.21%
1400.37/1400.71 c 1384s|770000 |457240 | 0 | 0.0 | 249M| 100 | - | 210 | 56k| 0 | 0 | 0 | 513k| 0 | 6.385000e+03 | 8.499000e+03 | 33.11%
1441.76/1442.14 c 1425s|780000 |462189 | 0 | 0.0 | 252M| 100 | - | 210 | 55k| 0 | 0 | 0 | 522k| 0 | 6.391000e+03 | 8.499000e+03 | 32.98%
1482.84/1483.21 c 1466s|790000 |467205 | 0 | 0.0 | 255M| 100 | - | 210 | 57k| 0 | 0 | 0 | 531k| 0 | 6.395000e+03 | 8.499000e+03 | 32.90%
1525.54/1525.98 c 1508s|800000 |472010 | 0 | 0.0 | 257M| 100 | - | 210 | 57k| 0 | 0 | 0 | 540k| 0 | 6.400000e+03 | 8.499000e+03 | 32.80%
1569.33/1569.78 c 1552s|810000 |476857 | 0 | 0.0 | 260M| 100 | - | 210 | 58k| 0 | 0 | 0 | 550k| 0 | 6.406000e+03 | 8.499000e+03 | 32.67%
1613.11/1613.59 c 1595s|820000 |481751 | 0 | 0.0 | 263M| 100 | - | 210 | 59k| 0 | 0 | 0 | 559k| 0 | 6.411000e+03 | 8.499000e+03 | 32.57%
1658.00/1658.41 c 1640s|830000 |486704 | 0 | 0.0 | 266M| 100 | - | 210 | 60k| 0 | 0 | 0 | 569k| 0 | 6.415000e+03 | 8.499000e+03 | 32.49%
1703.60/1704.07 c 1685s|840000 |491649 | 0 | 0.0 | 269M| 100 | - | 210 | 60k| 0 | 0 | 0 | 578k| 0 | 6.420000e+03 | 8.499000e+03 | 32.38%
1748.88/1749.30 c 1730s|850000 |496589 | 0 | 0.0 | 272M| 100 | - | 210 | 61k| 0 | 0 | 0 | 587k| 0 | 6.424000e+03 | 8.499000e+03 | 32.30%
1794.87/1795.32 c 1776s|860000 |501451 | 0 | 0.0 | 274M| 100 | - | 210 | 62k| 0 | 0 | 0 | 597k| 0 | 6.429000e+03 | 8.499000e+03 | 32.20%
1800.07/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.51 c
1800.07/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.51 c Solving Time (sec) : 1781.14
1800.07/1800.51 c Solving Nodes : 861168
1800.07/1800.51 c Primal Bound : +8.49900000000000e+03 (17 solutions)
1800.07/1800.51 c Dual Bound : +6.42900000000000e+03
1800.07/1800.51 c Gap : 32.20 %
1800.07/1800.51 s SATISFIABLE
1800.07/1800.51 v -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.07/1800.51 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.07/1800.51 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 x148 -x147 -x146
1800.07/1800.51 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.07/1800.51 v -x124 -x123 -x122 x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.07/1800.51 v -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.07/1800.51 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.07/1800.51 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.07/1800.51 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.51 c Solving Time : 1781.14
1800.07/1800.51 c Original Problem :
1800.07/1800.51 c Problem name : HOME/instance-2663915-1276629909.opb
1800.07/1800.51 c Variables : 210 (210 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51 c Constraints : 220 initial, 220 maximal
1800.07/1800.51 c Presolved Problem :
1800.07/1800.51 c Problem name : t_HOME/instance-2663915-1276629909.opb
1800.07/1800.51 c Variables : 210 (210 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51 c Constraints : 220 initial, 62493 maximal
1800.07/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c root node : - 0 - - 0 - - - -
1800.07/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.51 c setppc : 20 0 1850642 0 734540 157134 987654 0 0 0
1800.07/1800.51 c logicor : 200+ 0 830846 0 99425 1381 1133789 0 0 0
1800.07/1800.51 c countsols : 0 0 0 0 734556 0 0 0 0 0
1800.07/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.51 c setppc : 55.65 0.00 46.37 0.00 9.28
1800.07/1800.51 c logicor : 856.93 0.00 856.35 0.00 0.58
1800.07/1800.51 c countsols : 0.28 0.00 0.00 0.00 0.28
1800.07/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.51 c vbounds : 1.04 2 0 0
1800.07/1800.51 c rootredcost : 0.92 0 0 0
1800.07/1800.51 c pseudoobj : 38.89 1909164 58702 1639279
1800.07/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.51 c propagation : 23.33 217207 217153 1693242 30.1 567 23.1 -
1800.07/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.51 c pseudo solution : 0.00 2 2 6 9.5 0 0.0 -
1800.07/1800.51 c applied globally : - - - 590527 24.3 - - -
1800.07/1800.51 c applied locally : - - - 7957 36.3 - - -
1800.07/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.51 c redcost : 0.00 0 0 0 0 0
1800.07/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.51 c intobj : 0.00 0 0 0 0 0
1800.07/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.51 c gomory : 0.00 0 0 0 0 0
1800.07/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.51 c cmir : 0.00 0 0 0 0 0
1800.07/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.51 c clique : 0.00 0 0 0 0 0
1800.07/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.51 c mcf : 0.00 0 0 0 0 0
1800.07/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.51 c Pricers : Time Calls Vars
1800.07/1800.51 c problem variables: 0.00 0 0
1800.07/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.51 c inference : 8.68 734539 0 0 0 0 1469078
1800.07/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.51 c random : 0.00 0 0 0 0 0 0
1800.07/1800.51 c Primal Heuristics : Time Calls Found
1800.07/1800.51 c LP solutions : 0.00 - 0
1800.07/1800.51 c pseudo solutions : 0.07 - 17
1800.07/1800.51 c oneopt : 0.76 0 0
1800.07/1800.51 c trivial : 0.01 2 0
1800.07/1800.51 c simplerounding : 0.00 0 0
1800.07/1800.51 c zirounding : 0.00 0 0
1800.07/1800.51 c rounding : 0.00 0 0
1800.07/1800.51 c shifting : 0.00 0 0
1800.07/1800.51 c intshifting : 0.00 0 0
1800.07/1800.51 c twoopt : 0.00 0 0
1800.07/1800.51 c fixandinfer : 0.00 0 0
1800.07/1800.51 c feaspump : 0.00 0 0
1800.07/1800.51 c coefdiving : 0.00 0 0
1800.07/1800.51 c pscostdiving : 0.00 0 0
1800.07/1800.51 c fracdiving : 0.00 0 0
1800.07/1800.51 c veclendiving : 0.00 0 0
1800.07/1800.51 c intdiving : 0.00 0 0
1800.07/1800.51 c actconsdiving : 0.00 0 0
1800.07/1800.51 c objpscostdiving : 0.00 0 0
1800.07/1800.51 c rootsoldiving : 0.00 0 0
1800.07/1800.51 c linesearchdiving : 0.00 0 0
1800.07/1800.51 c guideddiving : 0.00 0 0
1800.07/1800.51 c octane : 0.00 0 0
1800.07/1800.51 c rens : 0.00 0 0
1800.07/1800.51 c rins : 0.00 0 0
1800.07/1800.51 c localbranching : 0.00 0 0
1800.07/1800.51 c mutation : 0.00 0 0
1800.07/1800.51 c crossover : 0.00 0 0
1800.07/1800.51 c dins : 0.00 0 0
1800.07/1800.51 c undercover : 0.00 0 0
1800.07/1800.51 c nlp : 0.40 0 0
1800.07/1800.51 c trysol : 0.62 0 0
1800.07/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.51 c (at root node) : - 0 0 0.00 -
1800.07/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.51 c B&B Tree :
1800.07/1800.51 c number of runs : 1
1800.07/1800.51 c nodes : 861168
1800.07/1800.51 c nodes (total) : 861168
1800.07/1800.51 c nodes left : 502036
1800.07/1800.51 c max depth : 100
1800.07/1800.51 c max depth (total): 100
1800.07/1800.51 c backtracks : 104532 (12.1%)
1800.07/1800.51 c delayed cutoffs : 92055
1800.07/1800.51 c repropagations : 169133 (1127754 domain reductions, 90607 cutoffs)
1800.07/1800.51 c avg switch length: 8.87
1800.07/1800.51 c switching time : 521.41
1800.07/1800.51 c Solution :
1800.07/1800.51 c Solutions found : 17 (17 improvements)
1800.07/1800.51 c First Solution : +1.69070000000000e+04 (in run 1, after 1633 nodes, 0.18 seconds, depth 81, found by <relaxation>)
1800.07/1800.51 c Primal Bound : +8.49900000000000e+03 (in run 1, after 610548 nodes, 806.19 seconds, depth 35, found by <relaxation>)
1800.07/1800.51 c Dual Bound : +6.42900000000000e+03
1800.07/1800.51 c Gap : 32.20 %
1800.07/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.51 c Root Iterations : 0
1801.87/1802.33 c Time complete: 1801.89.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663915-1276629909/watcher-2663915-1276629909 -o /tmp/evaluation-result-2663915-1276629909/solver-2663915-1276629909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663915-1276629909.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: 0.96 1.06 1.01 3/106 4402
/proc/meminfo: memFree=1845880/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=6584 CPUtime=0
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 949 0 0 0 0 0 0 0 17 0 1 0 36646277 6742016 871 1992294400 4194304 7136930 140735663380672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4402/statm: 1646 880 254 719 0 925 0
[startup+0.071439 s]
/proc/loadavg: 0.96 1.06 1.01 3/106 4402
/proc/meminfo: memFree=1845880/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=11916 CPUtime=0.07
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 3959 0 0 0 5 2 0 0 17 0 1 0 36646277 12201984 2243 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 2979 2243 383 719 0 2258 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11916
[startup+0.101442 s]
/proc/loadavg: 0.96 1.06 1.01 3/106 4402
/proc/meminfo: memFree=1845880/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=12060 CPUtime=0.09
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 3997 0 0 0 7 2 0 0 17 0 1 0 36646277 12349440 2281 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 3015 2281 383 719 0 2294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12060
[startup+0.301458 s]
/proc/loadavg: 0.96 1.06 1.01 3/106 4402
/proc/meminfo: memFree=1845880/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=12928 CPUtime=0.29
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 4244 0 0 0 24 5 0 0 17 0 1 0 36646277 13238272 2528 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 3232 2528 387 719 0 2511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12928
[startup+0.70049 s]
/proc/loadavg: 0.96 1.06 1.01 3/106 4402
/proc/meminfo: memFree=1845880/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=15472 CPUtime=0.69
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 4859 0 0 0 57 12 0 0 17 0 1 0 36646277 15843328 3143 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 3868 3143 387 719 0 3147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15472
[startup+1.50055 s]
/proc/loadavg: 0.96 1.06 1.01 2/107 4403
/proc/meminfo: memFree=1832728/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=20416 CPUtime=1.49
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 6130 0 0 0 126 23 0 0 18 0 1 0 36646277 20905984 4414 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 5104 4414 387 719 0 4383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20416
[startup+3.10068 s]
/proc/loadavg: 0.96 1.06 1.01 2/107 4403
/proc/meminfo: memFree=1827272/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=27880 CPUtime=3.09
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 8026 0 0 0 266 43 0 0 21 0 1 0 36646277 28549120 6310 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 6970 6310 387 719 0 6249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27880
[startup+6.30093 s]
/proc/loadavg: 0.96 1.06 1.01 2/107 4403
/proc/meminfo: memFree=1813508/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=38916 CPUtime=6.29
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 10793 0 0 0 552 77 0 0 25 0 1 0 36646277 39849984 9077 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 9729 9077 387 719 0 9008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38916
[startup+12.7014 s]
/proc/loadavg: 0.96 1.06 1.01 2/107 4403
/proc/meminfo: memFree=1800240/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=52732 CPUtime=12.68
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 14347 0 0 0 1131 137 0 0 25 0 1 0 36646277 53997568 12631 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 13183 12631 387 719 0 12462 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52732
[startup+25.5015 s]
/proc/loadavg: 0.97 1.05 1.01 2/107 4405
/proc/meminfo: memFree=1779532/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=72300 CPUtime=25.49
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 18859 0 0 0 2323 226 0 0 25 0 1 0 36646277 74035200 17143 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 18075 17143 387 719 0 17354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72300
[startup+51.1015 s]
/proc/loadavg: 0.98 1.05 1.01 2/107 4405
/proc/meminfo: memFree=1760684/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=89672 CPUtime=51.08
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 23292 0 0 0 4774 334 0 0 25 0 1 0 36646277 91824128 21576 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 22418 21576 387 719 0 21697 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89672
[startup+102.309 s]
/proc/loadavg: 0.99 1.04 1.00 2/107 4407
/proc/meminfo: memFree=1733404/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=116404 CPUtime=102.28
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 30039 0 0 0 9758 470 0 0 25 0 1 0 36646277 119197696 28323 1992294400 4194304 7136930 140735663380672 18446744073709551615 5004400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 29101 28323 387 719 0 28380 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116404
[startup+162.301 s]
/proc/loadavg: 0.99 1.03 1.00 2/107 4407
/proc/meminfo: memFree=1716168/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=134676 CPUtime=162.25
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 34651 0 0 0 15632 593 0 0 25 0 1 0 36646277 137908224 32935 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 33669 32935 387 719 0 32948 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 134676
[startup+222.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 4409
/proc/meminfo: memFree=1699552/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=154032 CPUtime=222.24
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 38466 0 0 0 21530 694 0 0 25 0 1 0 36646277 157728768 36750 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 38508 36750 387 719 0 37787 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 154032
[startup+282.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 4411
/proc/meminfo: memFree=1684300/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=169184 CPUtime=282.23
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 42247 0 0 0 27440 783 0 0 25 0 1 0 36646277 173244416 40531 1992294400 4194304 7136930 140735663380672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 42296 40531 387 719 0 41575 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 169184
[startup+342.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 4413
/proc/meminfo: memFree=1671776/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=181284 CPUtime=342.21
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 45357 0 0 0 33361 860 0 0 25 0 1 0 36646277 185634816 43641 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 45321 43641 387 719 0 44600 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 181284
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4415
/proc/meminfo: memFree=1661980/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=190940 CPUtime=402.2
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 47751 0 0 0 39288 932 0 0 25 0 1 0 36646277 195522560 46035 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 47735 46035 387 719 0 47014 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 190940
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4415
/proc/meminfo: memFree=1651440/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=201568 CPUtime=462.18
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 50407 0 0 0 45220 998 0 0 25 0 1 0 36646277 206405632 48691 1992294400 4194304 7136930 140735663380672 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 50392 48691 388 719 0 49671 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 201568
[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4417
/proc/meminfo: memFree=1641644/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=211068 CPUtime=522.17
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 52890 0 0 0 51156 1061 0 0 25 0 1 0 36646277 216133632 51174 1992294400 4194304 7136930 140735663380672 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 52767 51174 388 719 0 52046 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 211068
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4419
/proc/meminfo: memFree=1632468/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=220220 CPUtime=582.15
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 55096 0 0 0 57099 1116 0 0 25 0 1 0 36646277 225505280 53380 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 55055 53380 388 719 0 54334 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 220220
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 4421
/proc/meminfo: memFree=1628872/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=223800 CPUtime=642.14
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 55988 0 0 0 63045 1169 0 0 25 0 1 0 36646277 229171200 54272 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 55950 54272 388 719 0 55229 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 223800
[startup+702.3 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4434
/proc/meminfo: memFree=1584484/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=266908 CPUtime=1062.04
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 66894 0 0 0 104731 1473 0 0 25 0 1 0 36646277 273313792 65178 1992294400 4194304 7136930 140735663380672 18446744073709551615 4209090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 66727 65178 388 719 0 66006 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 266908
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4436
/proc/meminfo: memFree=1579152/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=272304 CPUtime=1122.03
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 68231 0 0 0 110692 1511 0 0 25 0 1 0 36646277 278839296 66515 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 68076 66515 388 719 0 67355 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 272304
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4438
/proc/meminfo: memFree=1575556/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=275764 CPUtime=1182.01
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 69127 0 0 0 116651 1550 0 0 25 0 1 0 36646277 282382336 67411 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 68941 67411 388 719 0 68220 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 275764
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4440
/proc/meminfo: memFree=1567868/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=283452 CPUtime=1242
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 71107 0 0 0 122613 1587 0 0 25 0 1 0 36646277 290254848 69391 1992294400 4194304 7136930 140735663380672 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 70863 69391 388 719 0 70142 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 283452
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4442
/proc/meminfo: memFree=1562908/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=287672 CPUtime=1301.99
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 72243 0 0 0 128575 1624 0 0 25 0 1 0 36646277 294576128 70527 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 71918 70527 388 719 0 71197 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 287672
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4442
/proc/meminfo: memFree=1558940/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=291988 CPUtime=1361.98
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 73234 0 0 0 134536 1662 0 0 25 0 1 0 36646277 298995712 71518 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 72997 71518 388 719 0 72276 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 291988
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4444
/proc/meminfo: memFree=1554600/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=304456 CPUtime=1421.96
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 74305 0 0 0 140502 1694 0 0 25 0 1 0 36646277 311762944 72589 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 76114 72589 388 719 0 75393 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 304456
[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 4446
/proc/meminfo: memFree=1549392/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=310560 CPUtime=1481.94
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 75623 0 0 0 146465 1729 0 0 25 0 1 0 36646277 318013440 73907 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 77640 73907 388 719 0 76919 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 310560
[startup+1542.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 4448
/proc/meminfo: memFree=1541828/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=317768 CPUtime=1541.93
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 77488 0 0 0 152431 1762 0 0 25 0 1 0 36646277 325394432 75772 1992294400 4194304 7136930 140735663380672 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 79442 75772 388 719 0 78721 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 317768
[startup+1602.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 4450
/proc/meminfo: memFree=1538728/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=320788 CPUtime=1601.92
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 78253 0 0 0 158398 1794 0 0 25 0 1 0 36646277 328486912 76537 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 80197 76537 388 719 0 79476 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 320788
[startup+1662.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 4450
/proc/meminfo: memFree=1534512/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=324840 CPUtime=1661.9
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 79285 0 0 0 164366 1824 0 0 25 0 1 0 36646277 332636160 77569 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 81210 77569 388 719 0 80489 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 324840
[startup+1722.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 4452
/proc/meminfo: memFree=1530296/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=329204 CPUtime=1721.88
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 80312 0 0 0 170334 1854 0 0 25 0 1 0 36646277 337104896 78596 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 82301 78596 388 719 0 81580 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 329204
[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 4454
/proc/meminfo: memFree=1525584/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=333460 CPUtime=1781.87
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81448 0 0 0 176301 1886 0 0 25 0 1 0 36646277 341463040 79732 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 83365 79732 388 719 0 82644 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 333460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4454
/proc/meminfo: memFree=1524716/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=334360 CPUtime=1800.07
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81646 0 0 0 178113 1894 0 0 25 0 1 0 36646277 342384640 79930 1992294400 4194304 7136930 140735663380672 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4402/statm: 83590 79930 388 719 0 82869 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 334360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 4455
/proc/meminfo: memFree=1524584/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=334360 CPUtime=1800.97
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81681 0 0 0 178203 1894 0 0 25 0 1 0 36646277 342384640 79965 1992294400 4194304 7136930 140735663380672 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4402/statm: 83590 79965 393 719 0 82869 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 334360
[startup+1801.81 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 4455
/proc/meminfo: memFree=1524584/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=334360 CPUtime=1801.37
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81681 0 0 0 178243 1894 0 0 25 0 1 0 36646277 342384640 79965 1992294400 4194304 7136930 140735663380672 18446744073709551615 4616663 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4402/statm: 83590 79965 393 719 0 82869 0
Current children cumulated CPU time (s) 1801.37
Current children cumulated vsize (KiB) 334360
[startup+1802.2 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 4455
/proc/meminfo: memFree=1524584/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=254840 CPUtime=1801.76
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81681 0 0 0 178281 1895 0 0 25 0 1 0 36646277 260956160 60086 1992294400 4194304 7136930 140735663380672 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4402/statm: 63710 60086 393 719 0 62989 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 254840
[startup+1802.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 4455
/proc/meminfo: memFree=1524584/2059040 swapFree=4136680/4192956
[pid=4402] ppid=4400 vsize=213632 CPUtime=1801.87
/proc/4402/stat : 4402 (pbscip.linux.x8) R 4400 4402 3985 0 -1 4202496 81681 0 0 0 178291 1896 0 0 25 0 1 0 36646277 218759168 49688 1992294400 4194304 7136930 140735663380672 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4402/statm: 53311 49591 393 719 0 52590 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 213632
Child status: 0
Real time (s): 1802.33
CPU time (s): 1801.91
CPU user time (s): 1782.92
CPU system time (s): 18.9881
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 334360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.92
system time used= 18.9881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81688
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= 1
involuntary context switches= 4302
runsolver used 2.93055 second user time and 8.5587 second system time
The end