Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.15 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo |
| MD5SUM | fa52148d69071c7fece24d526a14d5b1 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 111.779 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 906 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 44801 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44800 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2693586-1277912091.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.06/0.08 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.06/0.10 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.11 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.15 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (5 rounds):
0.09/0.15 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.15 c 1118 implications, 12 cliques
0.09/0.15 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.15 c 851 constraints of type <indicator>
0.09/0.15 c 12 constraints of type <setppc>
0.09/0.15 c 851 constraints of type <linear>
0.09/0.15 c 1730 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7504k| 0 | - |1933 |3444 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 o 384
0.69/0.77 c * 0.7s| 2770 | 2456 | 0 | 0.0 |9241k|1044 | - |1933 |3693 | 0 | 0 | 0 | 287 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
2.58/2.67 c 2.5s| 10000 | 8692 | 0 | 0.0 | 14M|1044 | - |1933 |4833 | 0 | 0 | 0 |3349 | 0 | 0.000000e+00 | 3.840000e+02 | Inf
5.78/5.89 o 155
5.78/5.89 c * 5.6s| 19237 | 14755 | 0 | 0.0 | 21M|1044 | - |1933 |6769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
5.78/5.89 o 124
5.78/5.89 c * 5.6s| 19238 | 14671 | 0 | 0.0 | 21M|1044 | - |1933 |6769 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
6.08/6.17 c 5.9s| 20000 | 15386 | 0 | 0.0 | 21M|1044 | - |1933 |6126 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
8.28/8.34 o 120
8.28/8.34 c * 8.0s| 25941 | 20772 | 0 | 0.0 | 26M|1044 | - |1933 |4789 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
8.58/8.66 o 119
8.58/8.66 c * 8.3s| 26881 | 21630 | 0 | 0.0 | 26M|1044 | - |1933 |4655 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
8.58/8.66 o 51
8.58/8.66 c * 8.3s| 26882 | 20275 | 0 | 0.0 | 24M|1044 | - |1933 |4655 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
8.58/8.68 o 37
8.58/8.68 c * 8.3s| 26933 | 20051 | 0 | 0.0 | 24M|1044 | - |1933 |4640 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.88/8.90 o 7
8.88/8.90 c * 8.5s| 27581 | 19309 | 0 | 0.0 | 24M|1044 | - |1933 |4677 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
9.68/9.70 c 9.3s| 30000 | 21405 | 0 | 0.0 | 28M|1044 | - |1933 |5002 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
12.68/12.78 c 12.3s| 40000 | 29435 | 0 | 0.0 | 36M|1044 | - |1933 |6295 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
16.08/16.12 c 15.5s| 50000 | 37271 | 0 | 0.0 | 43M|1044 | - |1933 |7193 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
19.69/19.79 c 19.1s| 60000 | 44837 | 0 | 0.0 | 51M|1044 | - |1933 |7834 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
23.68/23.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.68/23.73 c 22.9s| 70000 | 52165 | 0 | 0.0 | 58M|1044 | - |1933 |8444 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
27.78/27.81 c 26.8s| 80000 | 59338 | 0 | 0.0 | 65M|1044 | - |1933 |8938 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
32.18/32.21 c 31.1s| 90000 | 66262 | 0 | 0.0 | 72M|1044 | - |1933 |9435 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
36.88/36.99 c 35.7s|100000 | 72838 | 0 | 0.0 | 80M|1044 | - |1933 | 10k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
42.38/42.47 c 41.0s|110000 | 78841 | 0 | 0.0 | 87M|1044 | - |1933 | 11k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.78/48.80 c 47.2s|120000 | 84264 | 0 | 0.0 | 95M|1044 | - |1933 | 11k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
56.28/56.37 c 54.7s|130000 | 88640 | 0 | 0.0 | 102M|1044 | - |1933 | 13k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
66.58/66.67 c 64.8s|140000 | 90872 | 0 | 0.0 | 110M|1044 | - |1933 | 16k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
71.67/71.77 c 69.8s|150000 | 99002 | 0 | 0.0 | 133M|1044 | - |1933 |6870 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
76.88/76.97 c 74.8s|160000 |105789 | 0 | 0.0 | 145M|1044 | - |1933 |6343 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
80.68/80.71 c 78.4s|170000 |114026 | 0 | 0.0 | 153M|1044 | - |1933 |7489 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
85.37/85.42 c 83.0s|180000 |121585 | 0 | 0.0 | 160M|1044 | - |1933 |9024 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.57/91.65 c 89.1s|190000 |127629 | 0 | 0.0 | 169M|1044 | - |1933 |8189 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
95.37/95.48 c 92.8s|200000 |135974 | 0 | 0.0 | 178M|1044 | - |1933 |9093 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
100.28/100.31 c 97.5s|210000 |143538 | 0 | 0.0 | 187M|1044 | - |1933 | 11k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
107.18/107.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.18/107.26 c 104s|220000 |149835 | 0 | 0.0 | 194M|1044 | - |1933 | 10k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
110.77/110.89 c 108s|230000 |157863 | 0 | 0.0 | 200M|1044 | - |1933 |9735 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
114.68/114.79 c 111s|240000 |165621 | 0 | 0.0 | 206M|1044 | - |1933 |9031 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
118.98/119.04 c 116s|250000 |172829 | 0 | 0.0 | 212M|1044 | - |1933 |8644 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
123.18/123.24 c 120s|260000 |179976 | 0 | 0.0 | 217M|1044 | - |1933 |5331 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.28/126.31 c 123s|270000 |188316 | 0 | 0.0 | 222M|1044 | - |1933 |3944 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.87/129.99 c 126s|280000 |195480 | 0 | 0.0 | 229M|1044 | - |1933 |4874 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
134.08/134.15 c 130s|290000 |202220 | 0 | 0.0 | 235M|1044 | - |1933 |5353 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
138.37/138.43 c 134s|300000 |208814 | 0 | 0.0 | 242M|1044 | - |1933 |5529 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.88/142.94 c 139s|310000 |215108 | 0 | 0.0 | 249M|1044 | - |1933 |6137 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
147.28/147.39 c 143s|320000 |221525 | 0 | 0.0 | 255M|1044 | - |1933 |6647 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
151.97/152.06 c 148s|330000 |227787 | 0 | 0.0 | 262M|1044 | - |1933 |7016 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
156.87/156.94 c 152s|340000 |233929 | 0 | 0.0 | 269M|1044 | - |1933 |7012 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.78/161.82 c 157s|350000 |240183 | 0 | 0.0 | 275M|1044 | - |1933 |7231 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
166.97/167.06 c 162s|360000 |245962 | 0 | 0.0 | 282M|1044 | - |1933 |8126 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
172.47/172.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.47/172.52 c 167s|370000 |251615 | 0 | 0.0 | 289M|1044 | - |1933 |8506 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.27/178.35 c 173s|380000 |256865 | 0 | 0.0 | 296M|1044 | - |1933 |9265 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.37/184.44 c 179s|390000 |261996 | 0 | 0.0 | 302M|1044 | - |1933 |9382 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.57/190.70 c 185s|400000 |267249 | 0 | 0.0 | 309M|1044 | - |1933 |9110 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
197.27/197.30 c 192s|410000 |272068 | 0 | 0.0 | 315M|1044 | - |1933 |9792 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.07/204.18 c 198s|420000 |276632 | 0 | 0.0 | 322M|1044 | - |1933 | 10k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
211.47/211.50 c 205s|430000 |280793 | 0 | 0.0 | 329M|1044 | - |1933 | 10k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
219.06/219.16 c 213s|440000 |284906 | 0 | 0.0 | 335M|1044 | - |1933 | 10k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
226.67/226.74 c 220s|450000 |289179 | 0 | 0.0 | 341M|1044 | - |1933 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.57/234.68 c 228s|460000 |293009 | 0 | 0.0 | 348M|1044 | - |1933 | 11k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.67/242.72 c 236s|470000 |296695 | 0 | 0.0 | 354M|1044 | - |1933 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
251.06/251.19 c 244s|480000 |300053 | 0 | 0.0 | 360M|1044 | - |1933 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.67/259.79 c 253s|490000 |303520 | 0 | 0.0 | 366M|1044 | - |1933 | 11k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
268.27/268.38 c 261s|500000 |306943 | 0 | 0.0 | 372M|1044 | - |1933 | 12k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
277.57/277.61 c 270s|510000 |309732 | 0 | 0.0 | 378M|1044 | - |1933 | 12k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
286.87/286.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.87/286.93 c 280s|520000 |312566 | 0 | 0.0 | 384M|1044 | - |1933 | 13k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
296.37/296.45 c 289s|530000 |315295 | 0 | 0.0 | 389M|1044 | - |1933 | 13k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
306.36/306.47 c 299s|540000 |317718 | 0 | 0.0 | 395M|1044 | - |1933 | 14k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
316.77/316.88 c 309s|550000 |319930 | 0 | 0.0 | 400M|1044 | - |1933 | 14k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
327.36/327.47 c 319s|560000 |322120 | 0 | 0.0 | 405M|1044 | - |1933 | 14k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
338.56/338.61 c 330s|570000 |324067 | 0 | 0.0 | 409M|1044 | - |1933 | 14k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
350.36/350.43 c 342s|580000 |325458 | 0 | 0.0 | 414M|1044 | - |1933 | 15k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
362.97/363.03 c 354s|590000 |326430 | 0 | 0.0 | 418M|1044 | - |1933 | 16k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
377.57/377.68 c 369s|600000 |326165 | 0 | 0.0 | 421M|1044 | - |1933 | 16k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
393.36/393.49 c 385s|610000 |325174 | 0 | 0.0 | 424M|1044 | - |1933 | 19k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
399.66/399.71 c 391s|620000 |331661 | 0 | 0.0 | 423M|1044 | - |1933 |4364 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
403.06/403.17 c 394s|630000 |339622 | 0 | 0.0 | 430M|1044 | - |1933 |4988 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
406.76/406.85 c 397s|640000 |347317 | 0 | 0.0 | 436M|1044 | - |1933 |5682 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
410.56/410.64 c 401s|650000 |354842 | 0 | 0.0 | 443M|1044 | - |1933 |6288 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
414.76/414.83 c 405s|660000 |362004 | 0 | 0.0 | 449M|1044 | - |1933 |7183 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
419.16/419.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.16/419.22 c 409s|670000 |369001 | 0 | 0.0 | 456M|1044 | - |1933 |7955 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
423.96/424.02 c 414s|680000 |375602 | 0 | 0.0 | 463M|1044 | - |1933 |9012 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
429.16/429.23 c 419s|690000 |381857 | 0 | 0.0 | 470M|1044 | - |1933 |9769 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.86/434.90 c 425s|700000 |387690 | 0 | 0.0 | 476M|1044 | - |1933 | 10k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
441.76/441.82 c 431s|710000 |392515 | 0 | 0.0 | 483M|1044 | - |1933 | 12k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
451.16/451.23 c 441s|720000 |395684 | 0 | 0.0 | 490M|1044 | - |1933 | 15k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
457.26/457.37 c 447s|730000 |402046 | 0 | 0.0 | 492M|1044 | - |1933 |5152 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
460.87/460.96 c 450s|740000 |409890 | 0 | 0.0 | 499M|1044 | - |1933 |5400 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
464.56/464.64 c 454s|750000 |417580 | 0 | 0.0 | 505M|1044 | - |1933 |5549 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.26/468.33 c 457s|760000 |425214 | 0 | 0.0 | 512M|1044 | - |1933 |5577 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
472.16/472.26 c 461s|770000 |432632 | 0 | 0.0 | 518M|1044 | - |1933 |5925 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
476.16/476.23 c 465s|780000 |439945 | 0 | 0.0 | 525M|1044 | - |1933 |6213 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.26/480.30 c 469s|790000 |447201 | 0 | 0.0 | 531M|1044 | - |1933 |6434 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.46/484.57 c 473s|800000 |454194 | 0 | 0.0 | 538M|1044 | - |1933 |6813 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
488.96/489.02 c 477s|810000 |460894 | 0 | 0.0 | 544M|1044 | - |1933 |7189 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
493.35/493.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.35/493.41 c 481s|820000 |467743 | 0 | 0.0 | 551M|1044 | - |1933 |6889 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.05/498.11 c 486s|830000 |474177 | 0 | 0.0 | 557M|1044 | - |1933 |7577 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.96/503.02 c 491s|840000 |480541 | 0 | 0.0 | 564M|1044 | - |1933 |7777 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
507.85/507.95 c 495s|850000 |486812 | 0 | 0.0 | 570M|1044 | - |1933 |8216 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
513.15/513.27 c 501s|860000 |492672 | 0 | 0.0 | 577M|1044 | - |1933 |8866 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
518.75/518.88 c 506s|870000 |498439 | 0 | 0.0 | 584M|1044 | - |1933 |9435 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
524.66/524.73 c 512s|880000 |503956 | 0 | 0.0 | 590M|1044 | - |1933 | 10k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
530.86/530.99 c 518s|890000 |509271 | 0 | 0.0 | 597M|1044 | - |1933 | 10k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
537.85/537.95 c 525s|900000 |514154 | 0 | 0.0 | 603M|1044 | - |1933 | 11k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
545.85/545.91 c 532s|910000 |518246 | 0 | 0.0 | 610M|1044 | - |1933 | 13k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
554.55/554.66 c 541s|920000 |520997 | 0 | 0.0 | 616M|1044 | - |1933 | 16k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
558.85/558.93 c 545s|930000 |528026 | 0 | 0.0 | 618M|1044 | - |1933 |5872 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
561.85/561.94 c 548s|940000 |536009 | 0 | 0.0 | 624M|1044 | - |1933 |5971 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
564.95/565.02 c 551s|950000 |543892 | 0 | 0.0 | 631M|1044 | - |1933 |6079 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.06/568.11 c 554s|960000 |551762 | 0 | 0.0 | 637M|1044 | - |1933 |6391 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
571.25/571.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.25/571.31 c 557s|970000 |559494 | 0 | 0.0 | 644M|1044 | - |1933 |6607 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
574.45/574.57 c 560s|980000 |567109 | 0 | 0.0 | 650M|1044 | - |1933 |7307 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
577.85/577.98 c 563s|990000 |574583 | 0 | 0.0 | 657M|1044 | - |1933 |7498 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
581.45/581.55 c 567s| 1000k|581816 | 0 | 0.0 | 663M|1044 | - |1933 |8000 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
584.95/585.08 c 570s| 1010k|589063 | 0 | 0.0 | 670M|1044 | - |1933 |8832 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.85/588.91 c 574s| 1020k|596023 | 0 | 0.0 | 677M|1044 | - |1933 |9466 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.96/593.00 c 578s| 1030k|602712 | 0 | 0.0 | 684M|1044 | - |1933 |9847 | 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
597.15/597.22 c 582s| 1040k|609177 | 0 | 0.0 | 691M|1044 | - |1933 | 10k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
601.45/601.54 c 586s| 1050k|615626 | 0 | 0.0 | 697M|1044 | - |1933 | 11k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
606.15/606.27 c 591s| 1060k|621677 | 0 | 0.0 | 704M|1044 | - |1933 | 12k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.46/611.53 c 596s| 1070k|627193 | 0 | 0.0 | 711M|1044 | - |1933 | 13k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
617.15/617.29 c 601s| 1080k|632458 | 0 | 0.0 | 718M|1044 | - |1933 | 14k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
623.85/623.93 c 608s| 1090k|637019 | 0 | 0.0 | 724M|1044 | - |1933 | 16k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
631.46/631.53 c 615s| 1100k|640959 | 0 | 0.0 | 732M|1044 | - |1933 | 19k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
641.26/641.35 c 625s| 1110k|643602 | 0 | 0.0 | 738M|1044 | - |1933 | 21k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
650.75/650.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.75/650.82 c 634s| 1120k|647439 | 0 | 0.0 | 740M|1044 | - |1933 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
654.15/654.24 c 637s| 1130k|655470 | 0 | 0.0 | 745M|1044 | - |1933 | 10k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
657.45/657.57 c 641s| 1140k|663263 | 0 | 0.0 | 751M|1044 | - |1933 | 11k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
661.35/661.40 c 644s| 1150k|670613 | 0 | 0.0 | 758M|1044 | - |1933 | 12k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.55/665.65 c 648s| 1160k|677695 | 0 | 0.0 | 765M|1044 | - |1933 | 13k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
670.26/670.39 c 653s| 1170k|684368 | 0 | 0.0 | 772M|1044 | - |1933 | 15k| 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
675.85/675.98 c 659s| 1180k|690451 | 0 | 0.0 | 779M|1044 | - |1933 | 18k| 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
682.25/682.35 c 665s| 1190k|696018 | 0 | 0.0 | 787M|1044 | - |1933 | 20k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
691.06/691.13 c 673s| 1200k|699920 | 0 | 0.0 | 793M|1044 | - |1933 | 24k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
698.36/698.42 c 681s| 1210k|705963 | 0 | 0.0 | 797M|1044 | - |1933 | 18k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
702.26/702.35 c 684s| 1220k|713853 | 0 | 0.0 | 802M|1044 | - |1933 | 15k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
706.25/706.32 c 688s| 1230k|721287 | 0 | 0.0 | 808M|1044 | - |1933 | 15k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
710.25/710.39 c 692s| 1240k|728556 | 0 | 0.0 | 814M|1044 | - |1933 | 15k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
714.86/714.98 c 697s| 1250k|735331 | 0 | 0.0 | 821M|1044 | - |1933 | 16k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
720.16/720.25 c 702s| 1260k|741487 | 0 | 0.0 | 827M|1044 | - |1933 | 17k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
726.36/726.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.36/726.46 c 708s| 1270k|746834 | 0 | 0.0 | 834M|1044 | - |1933 | 19k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
734.76/734.81 c 716s| 1280k|750419 | 0 | 0.0 | 842M|1044 | - |1933 | 22k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
744.96/745.06 c 726s| 1290k|753236 | 0 | 0.0 | 846M|1044 | - |1933 | 23k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
749.36/749.43 c 730s| 1300k|761089 | 0 | 0.0 | 850M|1044 | - |1933 | 15k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
753.06/753.17 c 734s| 1310k|768718 | 0 | 0.0 | 856M|1044 | - |1933 | 14k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.16/757.27 c 738s| 1320k|775983 | 0 | 0.0 | 862M|1044 | - |1933 | 15k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
761.76/761.87 c 742s| 1330k|782806 | 0 | 0.0 | 869M|1044 | - |1933 | 15k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
767.16/767.26 c 748s| 1340k|788886 | 0 | 0.0 | 876M|1044 | - |1933 | 17k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
773.56/773.69 c 754s| 1350k|794122 | 0 | 0.0 | 883M|1044 | - |1933 | 20k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
781.66/781.74 c 762s| 1360k|798107 | 0 | 0.0 | 889M|1044 | - |1933 | 23k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
789.06/789.14 c 769s| 1370k|803603 | 0 | 0.0 | 890M|1044 | - |1933 |9124 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
793.26/793.31 c 773s| 1380k|810264 | 0 | 0.0 | 896M|1044 | - |1933 |8665 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
796.16/796.28 c 776s| 1390k|818340 | 0 | 0.0 | 902M|1044 | - |1933 |6059 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
799.56/799.62 c 779s| 1400k|825585 | 0 | 0.0 | 908M|1044 | - |1933 |6076 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
803.06/803.11 c 783s| 1410k|832577 | 0 | 0.0 | 915M|1044 | - |1933 |7661 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
806.27/806.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.27/806.35 c 786s| 1420k|840241 | 0 | 0.0 | 921M|1044 | - |1933 |6210 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
809.57/809.66 c 789s| 1430k|847736 | 0 | 0.0 | 926M|1044 | - |1933 |5230 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.26/812.37 c 792s| 1440k|855878 | 0 | 0.0 | 932M|1044 | - |1933 |5785 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
815.96/816.03 c 795s| 1450k|862673 | 0 | 0.0 | 939M|1044 | - |1933 |8313 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
819.46/819.51 c 798s| 1460k|869997 | 0 | 0.0 | 944M|1044 | - |1933 |5684 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
822.86/822.98 c 802s| 1470k|877019 | 0 | 0.0 | 951M|1044 | - |1933 |6815 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
825.86/825.96 c 805s| 1480k|884959 | 0 | 0.0 | 957M|1044 | - |1933 |5871 | 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
829.26/829.34 c 808s| 1490k|892169 | 0 | 0.0 | 963M|1044 | - |1933 |6883 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
832.96/833.06 c 812s| 1500k|898939 | 0 | 0.0 | 969M|1044 | - |1933 |5787 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
835.87/835.92 c 814s| 1510k|906799 | 0 | 0.0 | 974M|1044 | - |1933 |4430 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
839.76/839.83 c 818s| 1520k|912660 | 0 | 0.0 | 981M|1044 | - |1933 |8120 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
844.86/844.94 c 823s| 1530k|917785 | 0 | 0.0 | 988M|1044 | - |1933 | 10k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
850.76/850.83 c 829s| 1540k|922387 | 0 | 0.0 | 994M|1044 | - |1933 | 11k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
857.26/857.39 c 835s| 1550k|926721 | 0 | 0.0 |1001M|1044 | - |1933 | 13k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
864.56/864.64 c 842s| 1560k|930691 | 0 | 0.0 |1007M|1044 | - |1933 | 14k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
872.27/872.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.27/872.34 c 850s| 1570k|934461 | 0 | 0.0 |1013M|1044 | - |1933 | 14k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
880.16/880.26 c 858s| 1580k|938387 | 0 | 0.0 |1019M|1044 | - |1933 | 15k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
888.66/888.74 c 866s| 1590k|942030 | 0 | 0.0 |1025M|1044 | - |1933 | 16k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
897.76/897.86 c 875s| 1600k|945369 | 0 | 0.0 |1031M|1044 | - |1933 | 18k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
906.66/906.73 c 884s| 1610k|949156 | 0 | 0.0 |1037M|1044 | - |1933 | 18k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
917.56/917.60 c 895s| 1620k|951775 | 0 | 0.0 |1043M|1044 | - |1933 | 20k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
927.96/928.02 c 905s| 1630k|955069 | 0 | 0.0 |1049M|1044 | - |1933 | 20k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
939.66/939.71 c 916s| 1640k|957556 | 0 | 0.0 |1054M|1044 | - |1933 | 21k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.56/951.61 c 928s| 1650k|960276 | 0 | 0.0 |1059M|1044 | - |1933 | 22k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
964.26/964.39 c 941s| 1660k|962425 | 0 | 0.0 |1065M|1044 | - |1933 | 24k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
977.66/977.70 c 954s| 1670k|964537 | 0 | 0.0 |1069M|1044 | - |1933 | 23k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
991.77/991.85 c 968s| 1680k|966291 | 0 | 0.0 |1075M|1044 | - |1933 | 25k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1005.16/1005.28 c 981s| 1690k|968729 | 0 | 0.0 |1080M|1044 | - |1933 | 24k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1020.66/1020.76 c 997s| 1700k|969934 | 0 | 0.0 |1085M|1044 | - |1933 | 26k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1034.67/1034.74 c 1010s| 1710k|972442 | 0 | 0.0 |1091M|1044 | - |1933 | 26k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1052.26/1052.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.26/1052.37 c 1028s| 1720k|972917 | 0 | 0.0 |1095M|1044 | - |1933 | 28k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1067.66/1067.70 c 1043s| 1730k|975059 | 0 | 0.0 |1101M|1044 | - |1933 | 28k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1088.77/1088.84 c 1064s| 1740k|975078 | 0 | 0.0 |1105M|1044 | - |1933 | 31k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1110.16/1110.25 c 1085s| 1750k|976471 | 0 | 0.0 |1110M|1044 | - |1933 | 31k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1135.36/1135.49 c 1110s| 1760k|976240 | 0 | 0.0 |1113M|1044 | - |1933 | 32k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1157.56/1157.62 c 1132s| 1770k|977490 | 0 | 0.0 |1118M|1044 | - |1933 | 33k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1184.36/1184.47 c 1158s| 1780k|976918 | 0 | 0.0 |1121M|1044 | - |1933 | 34k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.06/1207.19 c 1180s| 1790k|978155 | 0 | 0.0 |1126M|1044 | - |1933 | 34k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1235.06/1235.19 c 1208s| 1800k|977018 | 0 | 0.0 |1128M|1044 | - |1933 | 35k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1259.47/1259.55 c 1232s| 1810k|977658 | 0 | 0.0 |1132M|1044 | - |1933 | 34k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1288.77/1288.80 c 1261s| 1820k|976512 | 0 | 0.0 |1135M|1044 | - |1933 | 35k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1316.47/1316.56 c 1288s| 1830k|976045 | 0 | 0.0 |1138M|1044 | - |1933 | 35k| 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1345.06/1345.16 c 1316s| 1840k|975562 | 0 | 0.0 |1141M|1044 | - |1933 | 35k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1373.67/1373.71 c 1344s| 1850k|974479 | 0 | 0.0 |1143M|1044 | - |1933 | 37k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1401.47/1401.55 c 1372s| 1860k|974415 | 0 | 0.0 |1147M|1044 | - |1933 | 35k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1432.97/1433.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.97/1433.09 c 1403s| 1870k|972584 | 0 | 0.0 |1148M|1044 | - |1933 | 37k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1462.88/1462.95 c 1433s| 1880k|971727 | 0 | 0.0 |1150M|1044 | - |1933 | 37k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1494.57/1494.68 c 1464s| 1890k|970367 | 0 | 0.0 |1153M|1044 | - |1933 | 36k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1527.18/1527.20 c 1496s| 1900k|968411 | 0 | 0.0 |1153M|1044 | - |1933 | 37k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1557.88/1557.94 c 1526s| 1910k|967440 | 0 | 0.0 |1156M|1044 | - |1933 | 38k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1591.37/1591.48 c 1559s| 1920k|965798 | 0 | 0.0 |1158M|1044 | - |1933 | 38k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1626.68/1626.73 c 1594s| 1930k|963435 | 0 | 0.0 |1158M|1044 | - |1933 | 39k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1661.17/1661.25 c 1628s| 1940k|961374 | 0 | 0.0 |1158M|1044 | - |1933 | 40k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1695.78/1695.88 c 1662s| 1950k|959469 | 0 | 0.0 |1158M|1044 | - |1933 | 42k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1732.57/1732.63 c 1698s| 1960k|957159 | 0 | 0.0 |1158M|1044 | - |1933 | 41k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1769.78/1769.83 c 1735s| 1970k|954854 | 0 | 0.0 |1159M|1044 | - |1933 | 42k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1764.78
1800.09/1800.10 c Solving Nodes : 1977627
1800.09/1800.10 c Primal Bound : +7.00000000000000e+00 (8 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.12 s SATISFIABLE
1800.09/1800.12 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.09/1800.12 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.09/1800.12 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.09/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.12 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.09/1800.12 v -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.12 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.09/1800.12 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.09/1800.12 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.09/1800.12 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
1800.09/1800.12 v -x1
1800.09/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.12 c Solving Time : 1764.78
1800.09/1800.12 c Original Problem :
1800.09/1800.12 c Problem name : HOME/instance-2693586-1277912091.wbo
1800.09/1800.12 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.09/1800.12 c Constraints : 3614 initial, 3614 maximal
1800.09/1800.12 c Presolved Problem :
1800.09/1800.12 c Problem name : t_HOME/instance-2693586-1277912091.wbo
1800.09/1800.12 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.09/1800.12 c Constraints : 3444 initial, 43573 maximal
1800.09/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.12 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.09/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c linear : 0.03 0 0 0 906 0 115 55 0
1800.09/1800.12 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c root node : - 790 - - 1580 - - - -
1800.09/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 851 0 2722677 0 892943 17 558835 0 0 0
1800.09/1800.12 c setppc : 12 0 6097876 0 1602777 99940 3821349 0 0 0
1800.09/1800.12 c linear : 851 0 5998975 0 1602918 199970 25520948 0 0 0
1800.09/1800.12 c logicor : 1730+ 0 4581984 0 1602920 290354 11852370 0 0 0
1800.09/1800.12 c bounddisjunction : 0+ 0 16123 0 0 0 5 0 0 0
1800.09/1800.12 c countsols : 0 0 0 0 1602912 0 0 0 0 0
1800.09/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.12 c indicator : 4.69 0.00 2.29 0.00 2.40
1800.09/1800.12 c setppc : 26.84 0.00 24.49 0.00 2.35
1800.09/1800.12 c linear : 146.73 0.00 143.06 0.00 3.67
1800.09/1800.12 c logicor : 742.67 0.00 668.23 0.00 74.44
1800.09/1800.12 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.09/1800.12 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.09/1800.12 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.12 c vbounds : 1.22 2 0 0
1800.09/1800.12 c rootredcost : 0.83 0 0 0
1800.09/1800.12 c pseudoobj : 104.81 6098935 193 547908
1800.09/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.12 c propagation : 29.88 590457 590283 3024853 22.5 92343 9.9 -
1800.09/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c pseudo solution : 0.00 6 6 40 27.1 2 7.5 -
1800.09/1800.12 c applied globally : - - - 1798865 19.4 - - -
1800.09/1800.12 c applied locally : - - - 0 0.0 - - -
1800.09/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.12 c redcost : 0.00 0 0 0 0 0
1800.09/1800.12 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.12 c intobj : 0.00 0 0 0 0 0
1800.09/1800.12 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.12 c gomory : 0.00 0 0 0 0 0
1800.09/1800.12 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.12 c cmir : 0.00 0 0 0 0 0
1800.09/1800.12 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.12 c clique : 0.00 0 0 0 0 0
1800.09/1800.12 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.12 c mcf : 0.00 0 0 0 0 0
1800.09/1800.12 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.12 c Pricers : Time Calls Vars
1800.09/1800.12 c problem variables: 0.00 0 0
1800.09/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c inference : 22.70 1602904 0 0 0 0 3205808
1800.09/1800.12 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c random : 0.00 0 0 0 0 0 0
1800.09/1800.12 c Primal Heuristics : Time Calls Found
1800.09/1800.12 c LP solutions : 0.00 - 0
1800.09/1800.12 c pseudo solutions : 0.00 - 8
1800.09/1800.12 c oneopt : 0.65 0 0
1800.09/1800.12 c trivial : 0.00 2 0
1800.09/1800.12 c simplerounding : 0.00 0 0
1800.09/1800.12 c zirounding : 0.00 0 0
1800.09/1800.12 c rounding : 0.00 0 0
1800.09/1800.12 c shifting : 0.00 0 0
1800.09/1800.12 c intshifting : 0.00 0 0
1800.09/1800.12 c twoopt : 0.00 0 0
1800.09/1800.12 c fixandinfer : 0.00 0 0
1800.09/1800.12 c feaspump : 0.00 0 0
1800.09/1800.12 c coefdiving : 0.00 0 0
1800.09/1800.12 c pscostdiving : 0.00 0 0
1800.09/1800.12 c fracdiving : 0.00 0 0
1800.09/1800.12 c veclendiving : 0.00 0 0
1800.09/1800.12 c intdiving : 0.00 0 0
1800.09/1800.12 c actconsdiving : 0.00 0 0
1800.09/1800.12 c objpscostdiving : 0.00 0 0
1800.09/1800.12 c rootsoldiving : 0.00 0 0
1800.09/1800.12 c linesearchdiving : 0.00 0 0
1800.09/1800.12 c guideddiving : 0.00 0 0
1800.09/1800.12 c octane : 0.00 0 0
1800.09/1800.12 c rens : 0.00 0 0
1800.09/1800.12 c rins : 0.00 0 0
1800.09/1800.12 c localbranching : 0.00 0 0
1800.09/1800.12 c mutation : 0.00 0 0
1800.09/1800.12 c crossover : 0.00 0 0
1800.09/1800.12 c dins : 0.00 0 0
1800.09/1800.12 c undercover : 0.00 0 0
1800.09/1800.12 c nlp : 0.39 0 0
1800.09/1800.12 c trysol : 0.49 1 0
1800.09/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.12 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.12 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.12 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.12 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.12 c (at root node) : - 0 0 0.00 -
1800.09/1800.12 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.12 c B&B Tree :
1800.09/1800.12 c number of runs : 1
1800.09/1800.12 c nodes : 1977627
1800.09/1800.12 c nodes (total) : 1977627
1800.09/1800.12 c nodes left : 952609
1800.09/1800.12 c max depth : 1044
1800.09/1800.12 c max depth (total): 1044
1800.09/1800.12 c backtracks : 371320 (18.8%)
1800.09/1800.12 c delayed cutoffs : 272396
1800.09/1800.12 c repropagations : 1253667 (12433427 domain reductions, 215765 cutoffs)
1800.09/1800.12 c avg switch length: 18.40
1800.09/1800.12 c switching time : 542.56
1800.09/1800.12 c Solution :
1800.09/1800.12 c Solutions found : 8 (8 improvements)
1800.09/1800.12 c First Solution : +3.84000000000000e+02 (in run 1, after 2770 nodes, 0.71 seconds, depth 201, found by <relaxation>)
1800.09/1800.12 c Primal Bound : +7.00000000000000e+00 (in run 1, after 27581 nodes, 8.51 seconds, depth 369, found by <relaxation>)
1800.09/1800.12 c Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Gap : infinite
1800.09/1800.12 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693586-1277912091/watcher-2693586-1277912091 -o /tmp/evaluation-result-2693586-1277912091/solver-2693586-1277912091 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693586-1277912091.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.83 2.71 2.33 4/199 14115 /proc/meminfo: memFree=31185616/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=8300 CPUtime=0 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 1552 0 0 0 0 0 0 0 25 0 1 0 132505930 8499200 1475 4089446400 4194304 7136930 140737339414944 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/14115/statm: 2075 1475 275 719 0 1354 0 [startup+0.083416 s] /proc/loadavg: 2.83 2.71 2.33 4/199 14115 /proc/meminfo: memFree=31185616/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=21352 CPUtime=0.06 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 5493 0 0 0 6 0 0 0 25 0 1 0 132505930 21864448 4548 4089446400 4194304 7136930 140737339414944 18446744073709551615 5954082 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/14115/statm: 5338 4548 353 719 0 4617 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21352 [startup+0.101886 s] /proc/loadavg: 2.83 2.71 2.33 4/199 14115 /proc/meminfo: memFree=31185616/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=22088 CPUtime=0.09 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 6727 0 0 0 8 1 0 0 25 0 1 0 132505930 22618112 4754 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 5522 4754 360 719 0 4801 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22088 [startup+0.300882 s] /proc/loadavg: 2.83 2.71 2.33 4/199 14115 /proc/meminfo: memFree=31185616/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=24204 CPUtime=0.29 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 8570 0 0 0 27 2 0 0 25 0 1 0 132505930 24784896 5312 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 6051 5312 391 719 0 5330 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24204 [startup+0.700806 s] /proc/loadavg: 2.83 2.71 2.33 4/199 14115 /proc/meminfo: memFree=31185616/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=25972 CPUtime=0.69 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 9035 0 0 0 66 3 0 0 25 0 1 0 132505930 26595328 5777 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 6493 5777 395 719 0 5772 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25972 [startup+1.50056 s] /proc/loadavg: 2.76 2.70 2.33 4/200 14116 /proc/meminfo: memFree=31162172/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=27800 CPUtime=1.48 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 9490 0 0 0 141 7 0 0 25 0 1 0 132505930 28467200 6232 4089446400 4194304 7136930 140737339414944 18446744073709551615 5005044 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 6950 6232 395 719 0 6229 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27800 [startup+3.10028 s] /proc/loadavg: 2.76 2.70 2.33 4/200 14116 /proc/meminfo: memFree=31158452/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=33476 CPUtime=3.08 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 10912 0 0 0 292 16 0 0 25 0 1 0 132505930 34279424 7654 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 8369 7654 395 719 0 7648 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33476 [startup+6.30077 s] /proc/loadavg: 2.78 2.71 2.34 4/200 14116 /proc/meminfo: memFree=31148284/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=43284 CPUtime=6.29 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 13376 0 0 0 604 25 0 0 25 0 1 0 132505930 44322816 10118 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 10821 10118 395 719 0 10100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43284 [startup+12.7006 s] /proc/loadavg: 2.80 2.71 2.34 4/200 14116 /proc/meminfo: memFree=31128576/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=63368 CPUtime=12.68 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 18280 0 0 0 1222 46 0 0 25 0 1 0 132505930 64888832 15022 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 15842 15022 398 719 0 15121 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63368 [startup+25.5004 s] /proc/loadavg: 2.83 2.72 2.35 4/200 14117 /proc/meminfo: memFree=31097216/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=92328 CPUtime=25.48 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 25606 0 0 0 2460 88 0 0 25 0 1 0 132505930 94543872 22348 4089446400 4194304 7136930 140737339414944 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 23082 22348 398 719 0 22361 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92328 [startup+51.1009 s] /proc/loadavg: 2.89 2.74 2.37 4/200 14118 /proc/meminfo: memFree=31050928/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=138972 CPUtime=51.08 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 36823 0 0 0 4952 156 0 0 25 0 1 0 132505930 142307328 33565 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 34743 33565 398 719 0 34022 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 138972 [startup+102.307 s] /proc/loadavg: 2.89 2.77 2.39 4/200 14119 /proc/meminfo: memFree=30947832/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=250240 CPUtime=102.28 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 62358 0 0 0 9943 285 0 0 25 0 1 0 132505930 256245760 59100 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 62560 59100 398 719 0 61839 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 250240 [startup+162.301 s] /proc/loadavg: 2.84 2.77 2.41 4/200 14120 /proc/meminfo: memFree=30846344/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=351156 CPUtime=162.28 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 86802 0 0 0 15746 482 0 0 25 0 1 0 132505930 359583744 83544 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 87789 83544 398 719 0 87068 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 351156 [startup+222.301 s] /proc/loadavg: 2.75 2.77 2.43 4/200 14122 /proc/meminfo: memFree=30776348/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=417620 CPUtime=222.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 103559 0 0 0 21607 619 0 0 25 0 1 0 132505930 427642880 100301 4089446400 4194304 7136930 140737339414944 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 104405 100301 398 719 0 103684 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 417620 [startup+282.301 s] /proc/loadavg: 3.02 2.81 2.47 4/200 14124 /proc/meminfo: memFree=30722596/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=469408 CPUtime=282.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 116549 0 0 0 27498 729 0 0 25 0 1 0 132505930 480673792 113291 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 117352 113291 398 719 0 116631 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 469408 [startup+342.3 s] /proc/loadavg: 2.92 2.81 2.49 4/200 14126 /proc/meminfo: memFree=30690040/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=497412 CPUtime=342.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 123569 0 0 0 33402 824 0 0 25 0 1 0 132505930 509349888 120311 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 124353 120311 398 719 0 123632 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 497412 [startup+402.3 s] /proc/loadavg: 3.05 2.86 2.52 4/200 14127 /proc/meminfo: memFree=30665028/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=520868 CPUtime=402.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 129167 0 0 0 39308 918 0 0 25 0 1 0 132505930 533368832 125909 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 130217 125909 398 719 0 129496 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 520868 [startup+462.301 s] /proc/loadavg: 3.22 2.97 2.58 3/200 14128 /proc/meminfo: memFree=30583988/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=599756 CPUtime=462.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 148887 0 0 0 45128 1099 0 0 25 0 1 0 132505930 614150144 145629 4089446400 4194304 7136930 140737339414944 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 149939 145629 398 719 0 149218 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 599756 [startup+522.3 s] /proc/loadavg: 3.01 2.95 2.60 3/200 14130 /proc/meminfo: memFree=30495496/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=693860 CPUtime=522.25 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 170628 0 0 0 50935 1290 0 0 25 0 1 0 132505930 710512640 167370 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 173465 167370 398 719 0 172744 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 693860 [startup+582.301 s] /proc/loadavg: 2.57 2.85 2.58 3/179 14189 /proc/meminfo: memFree=30627812/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=775112 CPUtime=582.25 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 191153 0 0 0 56750 1475 0 0 25 0 1 0 132505930 793714688 187895 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 193778 187895 398 719 0 193057 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 775112 [startup+642.301 s] /proc/loadavg: 2.21 2.69 2.54 3/179 14191 /proc/meminfo: memFree=30395128/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=852152 CPUtime=642.25 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 210458 0 0 0 62583 1642 0 0 25 0 1 0 132505930 872603648 207200 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 213038 207200 398 719 0 212317 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 852152 [startup+702.3 s] ################ # More data... # ################ /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 301198 0 0 0 103766 2460 0 0 25 0 1 0 132505930 1240166400 297940 4089446400 4194304 7136930 140737339414944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14115/statm: 302775 297940 398 719 0 302054 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 1211100 [startup+1122.3 s] /proc/loadavg: 2.00 2.14 2.31 3/179 14276 /proc/meminfo: memFree=30011076/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1222032 CPUtime=1122.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 303980 0 0 0 109678 2548 0 0 25 0 1 0 132505930 1251360768 300722 4089446400 4194304 7136930 140737339414944 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 305508 300722 398 719 0 304787 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 1222032 [startup+1182.3 s] /proc/loadavg: 2.05 2.12 2.29 3/179 14278 /proc/meminfo: memFree=29993400/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1234712 CPUtime=1182.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 307033 0 0 0 115584 2642 0 0 25 0 1 0 132505930 1264345088 303775 4089446400 4194304 7136930 140737339414944 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 308678 303775 398 719 0 307957 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 1234712 [startup+1242.3 s] /proc/loadavg: 2.02 2.10 2.27 3/179 14280 /proc/meminfo: memFree=29979228/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1245040 CPUtime=1242.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 309648 0 0 0 121498 2728 0 0 25 0 1 0 132505930 1274920960 306390 4089446400 4194304 7136930 140737339414944 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 311260 306390 398 719 0 310539 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 1245040 [startup+1302.3 s] /proc/loadavg: 2.00 2.08 2.25 3/179 14281 /proc/meminfo: memFree=29963820/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1253852 CPUtime=1302.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 311807 0 0 0 127411 2816 0 0 25 0 1 0 132505930 1283944448 308549 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 313463 308549 398 719 0 312742 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 1253852 [startup+1362.3 s] /proc/loadavg: 2.00 2.06 2.23 3/179 14282 /proc/meminfo: memFree=29947656/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1255240 CPUtime=1362.26 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 312086 0 0 0 133323 2903 0 0 25 0 1 0 132505930 1285365760 308828 4089446400 4194304 7136930 140737339414944 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 313810 308828 398 719 0 313089 0 Current children cumulated CPU time (s) 1362.26 Current children cumulated vsize (KiB) 1255240 [startup+1422.31 s] /proc/loadavg: 2.00 2.05 2.22 3/179 14284 /proc/meminfo: memFree=29909692/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1261180 CPUtime=1422.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 313466 0 0 0 139240 2987 0 0 25 0 1 0 132505930 1291448320 310208 4089446400 4194304 7136930 140737339414944 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 315295 310208 398 719 0 314574 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 1261180 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.20 3/179 14286 /proc/meminfo: memFree=29898008/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1266432 CPUtime=1482.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 314764 0 0 0 145164 3063 0 0 25 0 1 0 132505930 1296826368 311506 4089446400 4194304 7136930 140737339414944 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 316608 311506 398 719 0 315887 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 1266432 [startup+1542.3 s] /proc/loadavg: 2.06 2.04 2.19 3/179 14288 /proc/meminfo: memFree=29885328/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1269732 CPUtime=1542.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 315564 0 0 0 151085 3142 0 0 25 0 1 0 132505930 1300205568 312306 4089446400 4194304 7136930 140737339414944 18446744073709551615 5950290 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 317433 312306 398 719 0 316712 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 1269732 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.17 3/179 14298 /proc/meminfo: memFree=29862764/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1273188 CPUtime=1602.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 316392 0 0 0 156996 3231 0 0 25 0 1 0 132505930 1303744512 313134 4089446400 4194304 7136930 140737339414944 18446744073709551615 5000294 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 318297 313134 398 719 0 317576 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 1273188 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.16 3/179 14299 /proc/meminfo: memFree=29839800/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1277224 CPUtime=1662.27 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 317416 0 0 0 162904 3323 0 0 25 0 1 0 132505930 1307877376 314158 4089446400 4194304 7136930 140737339414944 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 319306 314158 398 719 0 318585 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 1277224 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 2.16 3/179 14301 /proc/meminfo: memFree=29822156/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1279968 CPUtime=1722.28 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318140 0 0 0 168814 3414 0 0 25 0 1 0 132505930 1310687232 314882 4089446400 4194304 7136930 140737339414944 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 319992 314882 398 719 0 319271 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 1279968 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.14 3/179 14303 /proc/meminfo: memFree=29803156/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1282152 CPUtime=1782.28 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318604 0 0 0 174724 3504 0 0 25 0 1 0 132505930 1312923648 315346 4089446400 4194304 7136930 140737339414944 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 320538 315346 398 719 0 319817 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 1282152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.02 2.02 2.14 3/179 14303 /proc/meminfo: memFree=29798548/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1282152 CPUtime=1800.09 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318607 0 0 0 176480 3529 0 0 25 0 1 0 132505930 1312923648 315349 4089446400 4194304 7136930 140737339414944 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/14115/statm: 320538 315349 398 719 0 319817 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1282152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14115 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.02 2.02 2.14 3/180 14304 /proc/meminfo: memFree=29798168/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1282272 CPUtime=1801.38 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318653 0 0 0 176609 3529 0 0 25 0 1 0 132505930 1313046528 315395 4089446400 4194304 7136930 140737339414944 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14115/statm: 320568 315395 403 719 0 319847 0 Current children cumulated CPU time (s) 1801.38 Current children cumulated vsize (KiB) 1282272 [startup+1801.81 s] /proc/loadavg: 2.02 2.02 2.14 3/180 14304 /proc/meminfo: memFree=29799284/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1277648 CPUtime=1801.79 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318653 0 0 0 176650 3529 0 0 25 0 1 0 132505930 1308311552 314239 4089446400 4194304 7136930 140737339414944 18446744073709551615 6166222 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14115/statm: 319412 314239 403 719 0 318691 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 1277648 [startup+1802 s] /proc/loadavg: 2.02 2.02 2.14 3/180 14304 /proc/meminfo: memFree=29799284/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1269404 CPUtime=1801.98 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318653 0 0 0 176669 3529 0 0 25 0 1 0 132505930 1299869696 312178 4089446400 4194304 7136930 140737339414944 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14115/statm: 317351 312178 403 719 0 316630 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 1269404 [startup+1802.1 s] /proc/loadavg: 2.02 2.02 2.14 3/180 14304 /proc/meminfo: memFree=29799284/32950928 swapFree=67111528/67111528 [pid=14115] ppid=14113 vsize=1264000 CPUtime=1802.08 /proc/14115/stat : 14115 (pbscip.linux.x8) R 14113 14115 12656 0 -1 4202496 318653 0 0 0 176679 3529 0 0 25 0 1 0 132505930 1294336000 310827 4089446400 4194304 7136930 140737339414944 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/14115/statm: 316000 310827 403 719 0 315279 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 1264000 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.15 CPU time (s): 1802.14 CPU user time (s): 1766.8 CPU system time (s): 35.3386 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 1282272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1766.8 system time used= 35.3386 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 318653 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= 3492 runsolver used 3.42048 second user time and 5.96109 second system time The end
Begin job on node123 at 2010-06-30 17:34:51 IDJOB=2693586 IDBENCH=78993 IDSOLVER=1206 FILE ID=node123/2693586-1277912091 PBS_JOBID= 11197206 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693586-1277912091/watcher-2693586-1277912091 -o /tmp/evaluation-result-2693586-1277912091/solver-2693586-1277912091 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693586-1277912091.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fa52148d69071c7fece24d526a14d5b1 RANDOM SEED=414515614 node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5294.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31185772 kB Buffers: 199952 kB Cached: 1106476 kB SwapCached: 0 kB Active: 826304 kB Inactive: 795456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31185772 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 315888 kB Mapped: 20308 kB Slab: 79136 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1648840 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node123 at 2010-06-30 18:04:54