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.02 | 1801.99 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo |
| MD5SUM | e5d1aa875e736e237b742aec181b44f0 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 21.8457 |
| 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 | 937 |
| 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 | 46894 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46893 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 667 |
| 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-2694183-1277909720.wbo>
0.00/0.02 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 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, 1151 impls, 14 clqs
0.06/0.07 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.06/0.09 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14 c 1151 implications, 14 cliques
0.09/0.14 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14 c 888 constraints of type <indicator>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 888 constraints of type <linear>
0.09/0.14 c 1693 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 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.14 c 0.1s| 1 | 2 | 0 | - |7684k| 0 | - |2007 |3483 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.01 o 521
0.99/1.01 c * 0.9s| 3831 | 3059 | 0 | 0.0 |9968k|1076 | - |2007 |3993 | 0 | 0 | 0 | 717 | 0 | 0.000000e+00 | 5.210000e+02 | Inf
1.09/1.17 o 399
1.09/1.17 c * 1.0s| 4430 | 3634 | 0 | 0.0 | 10M|1076 | - |2007 |3996 | 0 | 0 | 0 | 732 | 0 | 0.000000e+00 | 3.990000e+02 | Inf
1.09/1.17 o 333
1.09/1.17 c * 1.0s| 4431 | 3625 | 0 | 0.0 | 10M|1076 | - |2007 |3996 | 0 | 0 | 0 | 732 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
2.49/2.59 c 2.3s| 10000 | 8341 | 0 | 0.0 | 14M|1076 | - |2007 |4926 | 0 | 0 | 0 |3619 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.59/5.61 c 5.0s| 20000 | 15218 | 0 | 0.0 | 22M|1076 | - |2007 |6576 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.69/5.76 o 305
5.69/5.76 c * 5.2s| 20388 | 15233 | 0 | 0.0 | 22M|1076 | - |2007 |6699 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.050000e+02 | Inf
6.00/6.07 o 288
6.00/6.07 c * 5.4s| 21392 | 16149 | 0 | 0.0 | 22M|1076 | - |2007 |6329 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.880000e+02 | Inf
6.00/6.07 o 285
6.00/6.07 c * 5.4s| 21393 | 16139 | 0 | 0.0 | 22M|1076 | - |2007 |6329 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.850000e+02 | Inf
6.00/6.09 o 243
6.00/6.09 c * 5.5s| 21473 | 16105 | 0 | 0.0 | 22M|1076 | - |2007 |6268 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
6.09/6.10 o 233
6.09/6.10 c * 5.5s| 21474 | 16075 | 0 | 0.0 | 22M|1076 | - |2007 |6268 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
6.19/6.29 o 200
6.19/6.29 c * 5.7s| 22082 | 16583 | 0 | 0.0 | 22M|1076 | - |2007 |5892 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.000000e+02 | Inf
6.50/6.54 o 121
6.50/6.54 c * 5.9s| 22867 | 16678 | 0 | 0.0 | 22M|1076 | - |2007 |5542 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
6.50/6.54 o 60
6.50/6.54 c * 5.9s| 22868 | 15684 | 0 | 0.0 | 22M|1076 | - |2007 |5542 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
6.60/6.61 o 32
6.60/6.61 c * 5.9s| 23095 | 15566 | 0 | 0.0 | 22M|1076 | - |2007 |5441 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
6.60/6.61 o 31
6.60/6.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.60/6.61 c * 5.9s| 23096 | 15505 | 0 | 0.0 | 22M|1076 | - |2007 |5441 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
8.39/8.46 c 7.6s| 30000 | 21381 | 0 | 0.0 | 29M|1076 | - |2007 |5653 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
11.29/11.35 c 10.2s| 40000 | 29297 | 0 | 0.0 | 36M|1076 | - |2007 |7283 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
14.70/14.75 c 13.3s| 50000 | 36704 | 0 | 0.0 | 43M|1076 | - |2007 |8164 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
18.29/18.39 c 16.6s| 60000 | 43894 | 0 | 0.0 | 51M|1076 | - |2007 |9600 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
22.29/22.36 c 20.3s| 70000 | 50663 | 0 | 0.0 | 58M|1076 | - |2007 | 10k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
26.89/26.94 c 24.7s| 80000 | 56765 | 0 | 0.0 | 65M|1076 | - |2007 | 11k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
31.99/32.07 c 29.7s| 90000 | 62305 | 0 | 0.0 | 72M|1076 | - |2007 | 11k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
37.19/37.30 c 34.8s|100000 | 67452 | 0 | 0.0 | 79M|1076 | - |2007 | 10k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
43.49/43.50 c 40.9s|110000 | 71477 | 0 | 0.0 | 87M|1076 | - |2007 | 13k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
49.99/50.09 c 47.4s|120000 | 76426 | 0 | 0.0 | 96M|1076 | - |2007 |7429 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
53.29/53.35 c 50.6s|130000 | 85092 | 0 | 0.0 | 104M|1076 | - |2007 |7627 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
57.59/57.68 c 54.8s|140000 | 92912 | 0 | 0.0 | 114M|1076 | - |2007 |8636 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
61.69/61.71 c 58.7s|150000 |100740 | 0 | 0.0 | 123M|1076 | - |2007 | 10k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
65.29/65.39 c 62.3s|160000 |108946 | 0 | 0.0 | 131M|1076 | - |2007 | 11k| 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
69.20/69.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.20/69.24 c 66.0s|170000 |117207 | 0 | 0.0 | 139M|1076 | - |2007 | 12k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
73.39/73.44 c 70.1s|180000 |125292 | 0 | 0.0 | 147M|1076 | - |2007 | 15k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
77.59/77.65 c 74.2s|190000 |133479 | 0 | 0.0 | 154M|1076 | - |2007 | 15k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
81.69/81.70 c 78.2s|200000 |141364 | 0 | 0.0 | 160M|1076 | - |2007 | 15k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
86.29/86.39 c 82.8s|210000 |148783 | 0 | 0.0 | 166M|1076 | - |2007 | 11k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
90.29/90.30 c 86.6s|220000 |156394 | 0 | 0.0 | 172M|1076 | - |2007 | 11k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
94.79/94.83 c 91.1s|230000 |163274 | 0 | 0.0 | 180M|1076 | - |2007 | 12k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
99.49/99.56 c 95.7s|240000 |169928 | 0 | 0.0 | 187M|1076 | - |2007 | 14k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
104.39/104.42 c 100s|250000 |176667 | 0 | 0.0 | 194M|1076 | - |2007 | 14k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
109.79/109.86 c 106s|260000 |182923 | 0 | 0.0 | 201M|1076 | - |2007 | 15k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
115.79/115.83 c 112s|270000 |188889 | 0 | 0.0 | 208M|1076 | - |2007 | 16k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
122.09/122.15 c 118s|280000 |194685 | 0 | 0.0 | 215M|1076 | - |2007 | 17k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
128.99/129.06 c 125s|290000 |200200 | 0 | 0.0 | 222M|1076 | - |2007 | 17k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
136.30/136.37 c 132s|300000 |205515 | 0 | 0.0 | 229M|1076 | - |2007 | 18k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
144.29/144.30 c 140s|310000 |210545 | 0 | 0.0 | 236M|1076 | - |2007 | 19k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
152.39/152.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.39/152.43 c 148s|320000 |215525 | 0 | 0.0 | 243M|1076 | - |2007 | 19k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
160.79/160.83 c 156s|330000 |220427 | 0 | 0.0 | 250M|1076 | - |2007 | 20k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
169.99/170.07 c 165s|340000 |225043 | 0 | 0.0 | 258M|1076 | - |2007 | 22k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
180.09/180.17 c 175s|350000 |229483 | 0 | 0.0 | 265M|1076 | - |2007 | 23k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
191.49/191.58 c 186s|360000 |233591 | 0 | 0.0 | 272M|1076 | - |2007 | 25k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
203.99/204.01 c 199s|370000 |237531 | 0 | 0.0 | 279M|1076 | - |2007 | 26k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
217.59/217.69 c 212s|380000 |241149 | 0 | 0.0 | 286M|1076 | - |2007 | 27k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
232.89/232.90 c 227s|390000 |244561 | 0 | 0.0 | 293M|1076 | - |2007 | 29k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
248.99/249.01 c 243s|400000 |247917 | 0 | 0.0 | 300M|1076 | - |2007 | 31k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
265.79/265.87 c 260s|410000 |251114 | 0 | 0.0 | 307M|1076 | - |2007 | 31k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
283.39/283.45 c 277s|420000 |253671 | 0 | 0.0 | 313M|1076 | - |2007 | 33k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
300.39/300.43 c 294s|430000 |256265 | 0 | 0.0 | 319M|1076 | - |2007 | 32k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
317.20/317.29 c 311s|440000 |258941 | 0 | 0.0 | 324M|1076 | - |2007 | 30k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
334.80/334.83 c 328s|450000 |260889 | 0 | 0.0 | 329M|1076 | - |2007 | 30k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
352.79/352.85 c 346s|460000 |262434 | 0 | 0.0 | 334M|1076 | - |2007 | 30k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
372.40/372.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.40/372.46 c 366s|470000 |263176 | 0 | 0.0 | 339M|1076 | - |2007 | 32k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
396.49/396.50 c 390s|480000 |261900 | 0 | 0.0 | 343M|1076 | - |2007 | 37k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
409.39/409.49 c 403s|490000 |267084 | 0 | 0.0 | 342M|1076 | - |2007 | 19k| 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
414.20/414.21 o 11
414.20/414.21 c * 407s|499411 |266168 | 0 | 0.0 | 326M|1076 | - |2007 | 11k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
414.20/414.22 o 10
414.20/414.22 c * 407s|499412 |265905 | 0 | 0.0 | 325M|1076 | - |2007 | 11k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
414.50/414.52 c 407s|500000 |266388 | 0 | 0.0 | 325M|1076 | - |2007 | 10k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
419.10/419.17 c 412s|510000 |274628 | 0 | 0.0 | 336M|1076 | - |2007 | 10k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
423.59/423.65 c 416s|520000 |282751 | 0 | 0.0 | 346M|1076 | - |2007 |9900 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
427.90/427.96 c 421s|530000 |290845 | 0 | 0.0 | 354M|1076 | - |2007 | 10k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
432.59/432.65 c 425s|540000 |298681 | 0 | 0.0 | 362M|1076 | - |2007 | 10k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
437.80/437.87 c 430s|550000 |306169 | 0 | 0.0 | 370M|1076 | - |2007 | 12k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
443.50/443.55 c 436s|560000 |313531 | 0 | 0.0 | 380M|1076 | - |2007 | 13k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
450.19/450.24 c 442s|570000 |320501 | 0 | 0.0 | 389M|1076 | - |2007 | 15k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
457.70/457.71 c 450s|580000 |327167 | 0 | 0.0 | 398M|1076 | - |2007 | 16k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
465.69/465.76 c 458s|590000 |333528 | 0 | 0.0 | 406M|1076 | - |2007 | 18k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
475.59/475.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.59/475.65 c 468s|600000 |339102 | 0 | 0.0 | 414M|1076 | - |2007 | 21k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
487.10/487.13 c 479s|610000 |344321 | 0 | 0.0 | 422M|1076 | - |2007 | 23k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
501.60/501.64 c 493s|620000 |348429 | 0 | 0.0 | 430M|1076 | - |2007 | 27k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
520.60/520.63 c 512s|630000 |351281 | 0 | 0.0 | 437M|1076 | - |2007 | 29k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
534.10/534.17 c 526s|640000 |356644 | 0 | 0.0 | 446M|1076 | - |2007 | 21k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
542.10/542.11 c 533s|650000 |363673 | 0 | 0.0 | 460M|1076 | - |2007 | 19k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
549.29/549.31 c 540s|660000 |370572 | 0 | 0.0 | 475M|1076 | - |2007 | 19k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
556.10/556.16 c 547s|670000 |377330 | 0 | 0.0 | 483M|1076 | - |2007 | 21k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
565.59/565.60 c 557s|680000 |382766 | 0 | 0.0 | 491M|1076 | - |2007 | 26k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
580.70/580.71 c 571s|690000 |386187 | 0 | 0.0 | 500M|1076 | - |2007 | 29k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
587.31/587.37 c 578s|700000 |393928 | 0 | 0.0 | 511M|1076 | - |2007 | 23k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
593.29/593.38 c 584s|710000 |401372 | 0 | 0.0 | 517M|1076 | - |2007 | 20k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
599.00/599.09 c 590s|720000 |408519 | 0 | 0.0 | 525M|1076 | - |2007 | 22k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
606.30/606.32 c 597s|730000 |414957 | 0 | 0.0 | 532M|1076 | - |2007 | 26k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
615.80/615.81 c 606s|740000 |420320 | 0 | 0.0 | 540M|1076 | - |2007 | 30k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
630.40/630.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.40/630.40 c 620s|750000 |424072 | 0 | 0.0 | 549M|1076 | - |2007 | 33k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
637.90/637.95 c 628s|760000 |431679 | 0 | 0.0 | 561M|1076 | - |2007 | 29k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
643.70/643.74 c 634s|770000 |439157 | 0 | 0.0 | 565M|1076 | - |2007 | 20k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
648.90/648.95 c 639s|780000 |446126 | 0 | 0.0 | 572M|1076 | - |2007 | 21k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
655.20/655.26 c 645s|790000 |452173 | 0 | 0.0 | 579M|1076 | - |2007 | 22k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
662.60/662.67 c 652s|800000 |457370 | 0 | 0.0 | 585M|1076 | - |2007 | 22k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
669.10/669.14 c 658s|810000 |463327 | 0 | 0.0 | 590M|1076 | - |2007 | 21k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
674.80/674.84 c 664s|820000 |469859 | 0 | 0.0 | 596M|1076 | - |2007 | 21k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
680.70/680.73 c 670s|830000 |476237 | 0 | 0.0 | 603M|1076 | - |2007 | 22k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
687.10/687.17 c 676s|840000 |482230 | 0 | 0.0 | 609M|1076 | - |2007 | 23k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.80/695.81 c 685s|850000 |486608 | 0 | 0.0 | 616M|1076 | - |2007 | 26k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
704.10/704.18 c 693s|860000 |491318 | 0 | 0.0 | 619M|1076 | - |2007 | 21k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
709.00/709.03 c 698s|870000 |498687 | 0 | 0.0 | 626M|1076 | - |2007 | 21k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
714.40/714.44 c 703s|880000 |505524 | 0 | 0.0 | 632M|1076 | - |2007 | 22k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
718.10/718.11 o 9
718.10/718.11 c * 707s|885738 |508843 | 0 | 0.0 | 636M|1076 | - |2007 | 23k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
721.20/721.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.20/721.25 c 710s|890000 |511167 | 0 | 0.0 | 639M|1076 | - |2007 | 24k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
730.70/730.78 c 719s|900000 |514899 | 0 | 0.0 | 645M|1076 | - |2007 | 27k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
736.40/736.50 c 725s|910000 |521895 | 0 | 0.0 | 649M|1076 | - |2007 | 21k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
741.20/741.20 c 729s|920000 |529281 | 0 | 0.0 | 656M|1076 | - |2007 | 22k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
746.10/746.19 c 734s|930000 |536328 | 0 | 0.0 | 662M|1076 | - |2007 | 23k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
751.60/751.69 c 739s|940000 |542920 | 0 | 0.0 | 669M|1076 | - |2007 | 24k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
759.40/759.43 c 747s|950000 |547941 | 0 | 0.0 | 676M|1076 | - |2007 | 27k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
769.00/769.04 c 757s|960000 |552350 | 0 | 0.0 | 681M|1076 | - |2007 | 24k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
773.90/773.99 c 761s|970000 |559743 | 0 | 0.0 | 687M|1076 | - |2007 | 22k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
779.30/779.36 c 767s|980000 |566498 | 0 | 0.0 | 693M|1076 | - |2007 | 23k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
785.20/785.22 c 772s|990000 |572895 | 0 | 0.0 | 700M|1076 | - |2007 | 24k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
791.90/792.00 c 779s| 1000k|578422 | 0 | 0.0 | 706M|1076 | - |2007 | 25k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
800.10/800.12 c 787s| 1010k|582936 | 0 | 0.0 | 712M|1076 | - |2007 | 27k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
811.30/811.34 c 798s| 1020k|585381 | 0 | 0.0 | 718M|1076 | - |2007 | 30k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
818.10/818.14 c 805s| 1030k|591705 | 0 | 0.0 | 717M|1076 | - |2007 | 14k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
822.50/822.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.50/822.57 c 809s| 1040k|598879 | 0 | 0.0 | 723M|1076 | - |2007 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
826.01/826.04 c 813s| 1050k|607111 | 0 | 0.0 | 730M|1076 | - |2007 | 13k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
829.90/829.93 c 816s| 1060k|614726 | 0 | 0.0 | 736M|1076 | - |2007 | 14k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
835.80/835.85 c 822s| 1070k|620330 | 0 | 0.0 | 743M|1076 | - |2007 | 18k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
839.91/839.99 c 826s| 1080k|627957 | 0 | 0.0 | 749M|1076 | - |2007 | 15k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
844.30/844.31 c 830s| 1090k|635180 | 0 | 0.0 | 755M|1076 | - |2007 | 14k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
848.60/848.66 c 835s| 1100k|642469 | 0 | 0.0 | 760M|1076 | - |2007 | 12k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
852.51/852.57 c 838s| 1110k|650125 | 0 | 0.0 | 766M|1076 | - |2007 | 12k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
860.10/860.11 c 846s| 1120k|654167 | 0 | 0.0 | 773M|1076 | - |2007 | 15k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
869.01/869.04 c 855s| 1130k|657546 | 0 | 0.0 | 779M|1076 | - |2007 | 17k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
878.50/878.56 c 864s| 1140k|660779 | 0 | 0.0 | 786M|1076 | - |2007 | 17k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
888.70/888.74 c 874s| 1150k|663930 | 0 | 0.0 | 792M|1076 | - |2007 | 18k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
899.30/899.36 c 885s| 1160k|666855 | 0 | 0.0 | 798M|1076 | - |2007 | 19k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
910.50/910.58 c 896s| 1170k|669559 | 0 | 0.0 | 805M|1076 | - |2007 | 21k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
922.81/922.83 c 908s| 1180k|671912 | 0 | 0.0 | 811M|1076 | - |2007 | 22k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
935.90/935.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.90/935.93 c 921s| 1190k|674137 | 0 | 0.0 | 817M|1076 | - |2007 | 23k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
948.40/948.43 c 933s| 1200k|677046 | 0 | 0.0 | 822M|1076 | - |2007 | 22k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
961.70/961.71 c 946s| 1210k|679165 | 0 | 0.0 | 828M|1076 | - |2007 | 24k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
975.80/975.84 c 960s| 1220k|681134 | 0 | 0.0 | 833M|1076 | - |2007 | 24k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
989.50/989.53 c 974s| 1230k|683555 | 0 | 0.0 | 839M|1076 | - |2007 | 25k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1004.50/1004.50 c 989s| 1240k|685189 | 0 | 0.0 | 843M|1076 | - |2007 | 25k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1018.61/1018.61 c 1003s| 1250k|687757 | 0 | 0.0 | 849M|1076 | - |2007 | 24k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1034.41/1034.49 c 1018s| 1260k|688931 | 0 | 0.0 | 854M|1076 | - |2007 | 27k| 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1049.61/1049.69 c 1033s| 1270k|691108 | 0 | 0.0 | 858M|1076 | - |2007 | 25k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1066.71/1066.74 c 1050s| 1280k|692157 | 0 | 0.0 | 863M|1076 | - |2007 | 28k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1083.91/1083.97 c 1067s| 1290k|693383 | 0 | 0.0 | 867M|1076 | - |2007 | 27k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1100.81/1100.89 c 1084s| 1300k|694633 | 0 | 0.0 | 872M|1076 | - |2007 | 28k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1119.91/1119.94 c 1103s| 1310k|695070 | 0 | 0.0 | 876M|1076 | - |2007 | 29k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1137.80/1137.80 c 1121s| 1320k|696405 | 0 | 0.0 | 882M|1076 | - |2007 | 31k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1159.01/1159.09 c 1142s| 1330k|696147 | 0 | 0.0 | 884M|1076 | - |2007 | 30k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1177.40/1177.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.40/1177.43 c 1160s| 1340k|697623 | 0 | 0.0 | 890M|1076 | - |2007 | 30k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1199.11/1199.19 c 1182s| 1350k|697100 | 0 | 0.0 | 892M|1076 | - |2007 | 31k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1219.82/1219.82 c 1202s| 1360k|697829 | 0 | 0.0 | 896M|1076 | - |2007 | 31k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1242.41/1242.42 c 1225s| 1370k|697556 | 0 | 0.0 | 901M|1076 | - |2007 | 34k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1266.01/1266.04 c 1248s| 1380k|696987 | 0 | 0.0 | 904M|1076 | - |2007 | 33k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1287.60/1287.61 c 1270s| 1390k|697650 | 0 | 0.0 | 910M|1076 | - |2007 | 35k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1312.91/1312.92 c 1295s| 1400k|696513 | 0 | 0.0 | 911M|1076 | - |2007 | 36k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1337.01/1337.02 c 1319s| 1410k|696170 | 0 | 0.0 | 914M|1076 | - |2007 | 36k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1361.91/1361.96 c 1344s| 1420k|696072 | 0 | 0.0 | 919M|1076 | - |2007 | 37k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1389.71/1389.70 c 1371s| 1430k|694615 | 0 | 0.0 | 921M|1076 | - |2007 | 39k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1417.61/1417.67 c 1399s| 1440k|693313 | 0 | 0.0 | 921M|1076 | - |2007 | 38k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1443.71/1443.75 c 1425s| 1450k|692607 | 0 | 0.0 | 923M|1076 | - |2007 | 37k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1470.41/1470.40 c 1451s| 1460k|691480 | 0 | 0.0 | 923M|1076 | - |2007 | 34k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1496.91/1496.93 c 1478s| 1470k|689602 | 0 | 0.0 | 924M|1076 | - |2007 | 34k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1523.01/1523.06 c 1504s| 1480k|687716 | 0 | 0.0 | 925M|1076 | - |2007 | 34k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1550.72/1550.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.72/1550.76 c 1531s| 1490k|684872 | 0 | 0.0 | 923M|1076 | - |2007 | 35k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1581.41/1581.48 c 1562s| 1500k|681632 | 0 | 0.0 | 923M|1076 | - |2007 | 38k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1615.92/1615.94 c 1596s| 1510k|677307 | 0 | 0.0 | 918M|1076 | - |2007 | 42k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1633.11/1633.18 c 1613s| 1520k|680279 | 0 | 0.0 | 908M|1076 | - |2007 | 15k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1637.92/1637.98 c 1618s| 1530k|687527 | 0 | 0.0 | 912M|1076 | - |2007 |7754 | 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1642.02/1642.08 c 1622s| 1540k|694712 | 0 | 0.0 | 917M|1076 | - |2007 |5939 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1645.82/1645.83 c 1625s| 1550k|702089 | 0 | 0.0 | 924M|1076 | - |2007 |5993 | 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1649.71/1649.74 c 1629s| 1560k|709234 | 0 | 0.0 | 930M|1076 | - |2007 |5830 | 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1653.92/1653.99 c 1633s| 1570k|716053 | 0 | 0.0 | 937M|1076 | - |2007 |6010 | 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1658.11/1658.18 c 1637s| 1580k|722904 | 0 | 0.0 | 943M|1076 | - |2007 |6140 | 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1662.52/1662.53 c 1642s| 1590k|729540 | 0 | 0.0 | 950M|1076 | - |2007 |6711 | 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1666.81/1666.81 c 1646s| 1600k|736368 | 0 | 0.0 | 956M|1076 | - |2007 |6453 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1671.02/1671.08 c 1650s| 1610k|743085 | 0 | 0.0 | 963M|1076 | - |2007 |6975 | 0 | 0 | 0 |1808k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1675.32/1675.36 c 1654s| 1620k|749836 | 0 | 0.0 | 969M|1076 | - |2007 |6728 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1679.52/1679.58 c 1658s| 1630k|756594 | 0 | 0.0 | 976M|1076 | - |2007 |7299 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1683.91/1683.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.91/1683.96 c 1663s| 1640k|763357 | 0 | 0.0 | 982M|1076 | - |2007 |6861 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1688.42/1688.44 c 1667s| 1650k|769807 | 0 | 0.0 | 988M|1076 | - |2007 |7520 | 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1692.51/1692.58 c 1671s| 1660k|776708 | 0 | 0.0 | 994M|1076 | - |2007 |7763 | 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1697.42/1697.43 c 1676s| 1670k|782901 | 0 | 0.0 |1000M|1076 | - |2007 |7600 | 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1701.62/1701.68 c 1680s| 1680k|789684 | 0 | 0.0 |1007M|1076 | - |2007 |8028 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1706.41/1706.42 c 1684s| 1690k|796179 | 0 | 0.0 |1013M|1076 | - |2007 |7297 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1711.22/1711.26 c 1689s| 1700k|802326 | 0 | 0.0 |1019M|1076 | - |2007 |7837 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1715.71/1715.73 c 1694s| 1710k|808918 | 0 | 0.0 |1025M|1076 | - |2007 |8428 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1720.71/1720.72 c 1698s| 1720k|815039 | 0 | 0.0 |1031M|1076 | - |2007 |8201 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1725.32/1725.36 c 1703s| 1730k|821491 | 0 | 0.0 |1037M|1076 | - |2007 |8323 | 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1730.02/1730.02 c 1708s| 1740k|827879 | 0 | 0.0 |1043M|1076 | - |2007 |8890 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1735.22/1735.24 c 1713s| 1750k|833797 | 0 | 0.0 |1050M|1076 | - |2007 |8627 | 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1740.22/1740.28 c 1718s| 1760k|839944 | 0 | 0.0 |1056M|1076 | - |2007 |9143 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1745.42/1745.44 c 1723s| 1770k|846051 | 0 | 0.0 |1062M|1076 | - |2007 |9975 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1751.22/1751.29 c 1728s| 1780k|851585 | 0 | 0.0 |1069M|1076 | - |2007 |9533 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1756.32/1756.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.32/1756.30 c 1733s| 1790k|857854 | 0 | 0.0 |1075M|1076 | - |2007 |9875 | 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1761.52/1761.59 c 1738s| 1800k|863872 | 0 | 0.0 |1081M|1076 | - |2007 | 10k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1767.72/1767.78 c 1744s| 1810k|869137 | 0 | 0.0 |1087M|1076 | - |2007 | 10k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1773.02/1773.04 c 1750s| 1820k|875148 | 0 | 0.0 |1093M|1076 | - |2007 | 10k| 0 | 0 | 0 |1931k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1778.82/1778.85 c 1755s| 1830k|880835 | 0 | 0.0 |1099M|1076 | - |2007 | 10k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1785.22/1785.24 c 1761s| 1840k|885890 | 0 | 0.0 |1106M|1076 | - |2007 | 10k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1791.12/1791.16 c 1767s| 1850k|891337 | 0 | 0.0 |1112M|1076 | - |2007 | 11k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
1793.92/1793.90 o 7
1793.92/1793.90 c *1770s| 1854k|888815 | 0 | 0.0 |1105M|1076 | - |2007 | 11k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1797.72/1797.71 c 1774s| 1860k|891794 | 0 | 0.0 |1109M|1076 | - |2007 | 11k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1775.87
1800.02/1800.00 c Solving Nodes : 1862625
1800.02/1800.00 c Primal Bound : +7.00000000000000e+00 (17 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.02 s SATISFIABLE
1800.02/1800.02 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1800.02/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.02/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.02/1800.02 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.02 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.02/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.02 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.02/1800.02 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.02/1800.02 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.02/1800.02 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.02/1800.02 v -x1
1800.02/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.02 c Solving Time : 1775.87
1800.02/1800.02 c Original Problem :
1800.02/1800.02 c Problem name : HOME/instance-2694183-1277909720.wbo
1800.02/1800.02 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.02/1800.02 c Constraints : 3645 initial, 3645 maximal
1800.02/1800.02 c Presolved Problem :
1800.02/1800.02 c Problem name : t_HOME/instance-2694183-1277909720.wbo
1800.02/1800.02 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.02/1800.02 c Constraints : 3483 initial, 44595 maximal
1800.02/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.02 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.02/1800.02 c dualfix : 0.00 49 0 0 0 0 0 0 0
1800.02/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.02/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c linear : 0.03 0 0 0 937 0 113 49 0
1800.02/1800.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.02 c root node : - 811 - - 1622 - - - -
1800.02/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.02 c indicator : 888 0 2959326 0 937474 54 1118589 0 0 0
1800.02/1800.02 c setppc : 14 0 5929284 0 1515369 123197 3479552 0 0 0
1800.02/1800.02 c linear : 888 0 5807347 0 1516061 194788 23694482 0 0 0
1800.02/1800.02 c logicor : 1693+ 0 4384044 0 1516068 223346 10686398 0 0 0
1800.02/1800.02 c bounddisjunction : 0+ 0 597771 0 0 151 1615 0 0 0
1800.02/1800.02 c countsols : 0 0 0 0 1516068 0 0 0 0 0
1800.02/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.02 c indicator : 7.80 0.00 4.13 0.00 3.67
1800.02/1800.02 c setppc : 28.75 0.00 25.64 0.00 3.11
1800.02/1800.02 c linear : 154.35 0.00 152.45 0.00 1.90
1800.02/1800.02 c logicor : 694.51 0.00 619.66 0.00 74.85
1800.02/1800.02 c bounddisjunction : 11.21 0.00 11.21 0.00 0.00
1800.02/1800.02 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.02/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.02 c vbounds : 1.42 2 0 0
1800.02/1800.02 c rootredcost : 1.27 0 0 0
1800.02/1800.02 c pseudoobj : 107.75 5931001 574 1108701
1800.02/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.02 c propagation : 30.64 542056 541922 2799883 24.3 273772 9.1 -
1800.02/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.02 c pseudo solution : 0.00 15 15 58 22.1 22 9.1 -
1800.02/1800.02 c applied globally : - - - 1963195 20.2 - - -
1800.02/1800.02 c applied locally : - - - 6 117.8 - - -
1800.02/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.02 c redcost : 0.00 0 0 0 0 0
1800.02/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.02 c intobj : 0.00 0 0 0 0 0
1800.02/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.02 c gomory : 0.00 0 0 0 0 0
1800.02/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.02 c cmir : 0.00 0 0 0 0 0
1800.02/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.02 c clique : 0.00 0 0 0 0 0
1800.02/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.02 c mcf : 0.00 0 0 0 0 0
1800.02/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.02 c Pricers : Time Calls Vars
1800.02/1800.02 c problem variables: 0.00 0 0
1800.02/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.02 c inference : 24.67 1516051 0 0 0 0 3032102
1800.02/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.02 c random : 0.00 0 0 0 0 0 0
1800.02/1800.02 c Primal Heuristics : Time Calls Found
1800.02/1800.02 c LP solutions : 0.00 - 0
1800.02/1800.02 c pseudo solutions : 0.05 - 17
1800.02/1800.02 c oneopt : 0.83 0 0
1800.02/1800.02 c trivial : 0.01 2 0
1800.02/1800.02 c simplerounding : 0.00 0 0
1800.02/1800.02 c zirounding : 0.00 0 0
1800.02/1800.02 c rounding : 0.00 0 0
1800.02/1800.02 c shifting : 0.00 0 0
1800.02/1800.02 c intshifting : 0.00 0 0
1800.02/1800.02 c twoopt : 0.00 0 0
1800.02/1800.02 c fixandinfer : 0.00 0 0
1800.02/1800.02 c feaspump : 0.00 0 0
1800.02/1800.02 c coefdiving : 0.00 0 0
1800.02/1800.02 c pscostdiving : 0.00 0 0
1800.02/1800.02 c fracdiving : 0.00 0 0
1800.02/1800.02 c veclendiving : 0.00 0 0
1800.02/1800.02 c intdiving : 0.00 0 0
1800.02/1800.02 c actconsdiving : 0.00 0 0
1800.02/1800.02 c objpscostdiving : 0.00 0 0
1800.02/1800.02 c rootsoldiving : 0.00 0 0
1800.02/1800.02 c linesearchdiving : 0.00 0 0
1800.02/1800.02 c guideddiving : 0.00 0 0
1800.02/1800.02 c octane : 0.00 0 0
1800.02/1800.02 c rens : 0.00 0 0
1800.02/1800.02 c rins : 0.00 0 0
1800.02/1800.02 c localbranching : 0.00 0 0
1800.02/1800.02 c mutation : 0.00 0 0
1800.02/1800.02 c crossover : 0.00 0 0
1800.02/1800.02 c dins : 0.00 0 0
1800.02/1800.02 c undercover : 0.00 0 0
1800.02/1800.02 c nlp : 0.40 0 0
1800.02/1800.02 c trysol : 0.40 1 0
1800.02/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.02 c (at root node) : - 0 0 0.00 -
1800.02/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.02 c B&B Tree :
1800.02/1800.02 c number of runs : 1
1800.02/1800.02 c nodes : 1862625
1800.02/1800.02 c nodes (total) : 1862625
1800.02/1800.02 c nodes left : 892749
1800.02/1800.02 c max depth : 1076
1800.02/1800.02 c max depth (total): 1076
1800.02/1800.02 c backtracks : 352482 (18.9%)
1800.02/1800.02 c delayed cutoffs : 259127
1800.02/1800.02 c repropagations : 1271872 (11391726 domain reductions, 195568 cutoffs)
1800.02/1800.02 c avg switch length: 19.71
1800.02/1800.02 c switching time : 560.09
1800.02/1800.02 c Solution :
1800.02/1800.02 c Solutions found : 17 (17 improvements)
1800.02/1800.02 c First Solution : +5.21000000000000e+02 (in run 1, after 3831 nodes, 0.87 seconds, depth 196, found by <relaxation>)
1800.02/1800.02 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1854529 nodes, 1769.89 seconds, depth 73, found by <relaxation>)
1800.02/1800.02 c Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Gap : infinite
1800.02/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.02 c Root Iterations : 0
1801.91/1801.98 c Time complete: 1802.
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694183-1277909720/watcher-2694183-1277909720 -o /tmp/evaluation-result-2694183-1277909720/solver-2694183-1277909720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694183-1277909720.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.85 2.74 2.59 3/178 24389 /proc/meminfo: memFree=31121868/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=8144 CPUtime=0 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 1544 0 0 0 0 0 0 0 22 0 1 0 164611619 8339456 1466 4089446400 4194304 7136930 140734994244144 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/24389/statm: 2036 1466 275 719 0 1315 0 [startup+0.071185 s] /proc/loadavg: 2.85 2.74 2.59 3/178 24389 /proc/meminfo: memFree=31121868/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=21316 CPUtime=0.06 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 5496 0 0 0 5 1 0 0 22 0 1 0 164611619 21827584 4550 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 5329 4550 348 719 0 4608 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21316 [startup+0.100182 s] /proc/loadavg: 2.85 2.74 2.59 3/178 24389 /proc/meminfo: memFree=31121868/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=22060 CPUtime=0.09 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 7248 0 0 0 7 2 0 0 22 0 1 0 164611619 22589440 4760 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 5515 4760 360 719 0 4794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22060 [startup+0.300146 s] /proc/loadavg: 2.85 2.74 2.59 3/178 24389 /proc/meminfo: memFree=31121868/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=24164 CPUtime=0.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 8578 0 0 0 25 4 0 0 18 0 1 0 164611619 24743936 5319 4089446400 4194304 7136930 140734994244144 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 6041 5319 391 719 0 5320 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24164 [startup+0.701076 s] /proc/loadavg: 2.85 2.74 2.59 3/178 24389 /proc/meminfo: memFree=31121868/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=26492 CPUtime=0.69 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 9143 0 0 0 61 8 0 0 18 0 1 0 164611619 27127808 5884 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 6623 5884 395 719 0 5902 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26492 [startup+1.50094 s] /proc/loadavg: 2.85 2.74 2.59 3/179 24390 /proc/meminfo: memFree=31096812/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=27740 CPUtime=1.49 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 9465 0 0 0 134 15 0 0 20 0 1 0 164611619 28405760 6206 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 6935 6206 395 719 0 6214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27740 [startup+3.10068 s] /proc/loadavg: 2.85 2.74 2.59 3/179 24390 /proc/meminfo: memFree=31091156/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=33580 CPUtime=3.09 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 10941 0 0 0 276 33 0 0 25 0 1 0 164611619 34385920 7682 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 8395 7682 395 719 0 7674 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33580 [startup+6.30015 s] /proc/loadavg: 2.78 2.73 2.58 3/179 24390 /proc/meminfo: memFree=31070076/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=45396 CPUtime=6.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 13900 0 0 0 567 62 0 0 25 0 1 0 164611619 46485504 10641 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 11349 10641 396 719 0 10628 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45396 [startup+12.7011 s] /proc/loadavg: 2.72 2.71 2.58 3/179 24392 /proc/meminfo: memFree=31033872/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=64140 CPUtime=12.69 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 18620 0 0 0 1143 126 0 0 25 0 1 0 164611619 65679360 15361 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24389/statm: 16035 15361 398 719 0 15314 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64140 [startup+25.5009 s] /proc/loadavg: 2.56 2.68 2.57 3/179 24419 /proc/meminfo: memFree=31149988/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=92804 CPUtime=25.49 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 25814 0 0 0 2328 221 0 0 25 0 1 0 164611619 95031296 22555 4089446400 4194304 7136930 140734994244144 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 23201 22555 398 719 0 22480 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92804 [startup+51.1006 s] /proc/loadavg: 2.37 2.62 2.55 3/179 24419 /proc/meminfo: memFree=31104336/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=142568 CPUtime=51.09 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 37393 0 0 0 4839 270 0 0 25 0 1 0 164611619 145989632 34134 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 35642 34134 398 719 0 34921 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 142568 [startup+102.306 s] /proc/loadavg: 2.20 2.54 2.53 3/179 24421 /proc/meminfo: memFree=30995436/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=251084 CPUtime=102.3 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 63996 0 0 0 9840 390 0 0 25 0 1 0 164611619 257110016 60737 4089446400 4194304 7136930 140734994244144 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 62771 60737 398 719 0 62050 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 251084 [startup+162.301 s] /proc/loadavg: 2.07 2.44 2.49 3/179 24423 /proc/meminfo: memFree=30931840/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=317676 CPUtime=162.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 79681 0 0 0 15739 490 0 0 25 0 1 0 164611619 325300224 76422 4089446400 4194304 7136930 140734994244144 18446744073709551615 5957329 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 79419 76422 398 719 0 78698 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 317676 [startup+222.301 s] /proc/loadavg: 2.02 2.36 2.46 3/179 24423 /proc/meminfo: memFree=30885756/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=363620 CPUtime=222.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 91210 0 0 0 21683 546 0 0 25 0 1 0 164611619 372346880 87951 4089446400 4194304 7136930 140734994244144 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 90905 87951 398 719 0 90184 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 363620 [startup+282.301 s] /proc/loadavg: 2.01 2.29 2.43 3/179 24425 /proc/meminfo: memFree=30859024/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=390596 CPUtime=282.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 97854 0 0 0 27634 595 0 0 25 0 1 0 164611619 399970304 94595 4089446400 4194304 7136930 140734994244144 18446744073709551615 4947073 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 97649 94595 398 719 0 96928 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 390596 [startup+342.301 s] /proc/loadavg: 2.00 2.23 2.40 3/179 24436 /proc/meminfo: memFree=30838488/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=410292 CPUtime=342.3 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 102758 0 0 0 33590 640 0 0 25 0 1 0 164611619 420139008 99499 4089446400 4194304 7136930 140734994244144 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 102573 99499 398 719 0 101852 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 410292 [startup+402.301 s] /proc/loadavg: 2.00 2.19 2.37 3/179 24438 /proc/meminfo: memFree=30816940/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=432092 CPUtime=402.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 108201 0 0 0 39546 683 0 0 25 0 1 0 164611619 442462208 104942 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 108023 104942 398 719 0 107302 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 432092 [startup+462.301 s] /proc/loadavg: 2.00 2.15 2.34 3/179 24440 /proc/meminfo: memFree=30744184/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=511024 CPUtime=462.3 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 126300 0 0 0 45436 794 0 0 25 0 1 0 164611619 523288576 123041 4089446400 4194304 7136930 140734994244144 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 127756 123041 398 719 0 127035 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 511024 [startup+522.301 s] /proc/loadavg: 2.00 2.12 2.32 3/179 24440 /proc/meminfo: memFree=30707632/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=547616 CPUtime=522.29 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 135355 0 0 0 51380 849 0 0 25 0 1 0 164611619 560758784 132096 4089446400 4194304 7136930 140734994244144 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 136904 132096 398 719 0 136183 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 547616 [startup+582.301 s] /proc/loadavg: 2.00 2.10 2.30 3/179 24442 /proc/meminfo: memFree=30645928/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=615784 CPUtime=582.3 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 150816 0 0 0 57306 924 0 0 25 0 1 0 164611619 630562816 147557 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 153946 147557 398 719 0 153225 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 615784 [startup+642.301 s] /proc/loadavg: 2.00 2.08 2.27 3/179 24444 /proc/meminfo: memFree=30581600/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=682680 CPUtime=642.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 166820 0 0 0 63219 1012 0 0 25 0 1 0 164611619 699064320 163561 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 170670 163561 398 719 0 169949 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 682680 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.16 3/197 24522 /proc/meminfo: memFree=30226224/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=995448 CPUtime=1062.3 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 243713 0 0 0 104595 1635 0 0 25 0 1 0 164611619 1019338752 240454 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 248862 240454 398 719 0 248141 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 995448 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.15 3/179 24550 /proc/meminfo: memFree=30233836/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1009580 CPUtime=1122.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 247299 0 0 0 110547 1684 0 0 25 0 1 0 164611619 1033809920 244040 4089446400 4194304 7136930 140734994244144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 252395 244040 398 719 0 251674 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1009580 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.14 3/179 24552 /proc/meminfo: memFree=30197116/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1025116 CPUtime=1182.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 251199 0 0 0 116501 1730 0 0 25 0 1 0 164611619 1049718784 247940 4089446400 4194304 7136930 140734994244144 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 256279 247940 398 719 0 255558 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1025116 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.13 3/179 24554 /proc/meminfo: memFree=30178080/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1036536 CPUtime=1242.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 254103 0 0 0 122461 1770 0 0 25 0 1 0 164611619 1061412864 250844 4089446400 4194304 7136930 140734994244144 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 259134 250844 398 719 0 258413 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1036536 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.12 3/179 24556 /proc/meminfo: memFree=30164096/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1046280 CPUtime=1302.32 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 256503 0 0 0 128424 1808 0 0 25 0 1 0 164611619 1071390720 253244 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 261570 253244 398 719 0 260849 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1046280 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 2.11 3/179 24558 /proc/meminfo: memFree=30152608/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1054988 CPUtime=1362.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 258628 0 0 0 134389 1842 0 0 25 0 1 0 164611619 1080307712 255369 4089446400 4194304 7136930 140734994244144 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 263747 255369 398 719 0 263026 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1054988 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 2.10 3/179 24558 /proc/meminfo: memFree=30138768/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1064184 CPUtime=1422.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 260921 0 0 0 140354 1877 0 0 25 0 1 0 164611619 1089724416 257662 4089446400 4194304 7136930 140734994244144 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 266046 257662 398 719 0 265325 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1064184 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.09 3/179 24560 /proc/meminfo: memFree=30133968/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1066228 CPUtime=1482.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 261419 0 0 0 146317 1914 0 0 25 0 1 0 164611619 1091817472 258160 4089446400 4194304 7136930 140734994244144 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 266557 258160 398 719 0 265836 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1066228 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.08 3/179 24562 /proc/meminfo: memFree=30130780/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1067096 CPUtime=1542.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 261647 0 0 0 152282 1949 0 0 25 0 1 0 164611619 1092706304 258388 4089446400 4194304 7136930 140734994244144 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 266774 258388 398 719 0 266053 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1067096 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 24564 /proc/meminfo: memFree=30121260/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1067564 CPUtime=1602.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 261815 0 0 0 158248 1983 0 0 25 0 1 0 164611619 1093185536 258556 4089446400 4194304 7136930 140734994244144 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 266891 258556 398 719 0 266170 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1067564 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 24566 /proc/meminfo: memFree=30085672/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1101420 CPUtime=1662.31 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 270227 0 0 0 164151 2080 0 0 25 0 1 0 164611619 1127854080 266968 4089446400 4194304 7136930 140734994244144 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 275355 266968 398 719 0 274634 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1101420 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 24566 /proc/meminfo: memFree=30004816/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1177224 CPUtime=1722.32 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 289468 0 0 0 169998 2234 0 0 25 0 1 0 164611619 1205477376 286209 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 294306 286209 398 719 0 293585 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1177224 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 24568 /proc/meminfo: memFree=29934160/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1243968 CPUtime=1782.32 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 306439 0 0 0 175863 2369 0 0 25 0 1 0 164611619 1273823232 303180 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 310992 303180 398 719 0 310271 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1243968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.06 3/179 24568 /proc/meminfo: memFree=29920480/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1257360 CPUtime=1800.02 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 309870 0 0 0 177589 2413 0 0 25 0 1 0 164611619 1287536640 306611 4089446400 4194304 7136930 140734994244144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24389/statm: 314340 306611 398 719 0 313619 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1257360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.06 3/180 24569 /proc/meminfo: memFree=29920472/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1257360 CPUtime=1800.62 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 309875 0 0 0 177649 2413 0 0 18 0 1 0 164611619 1287536640 306616 4089446400 4194304 7136930 140734994244144 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24389/statm: 314340 306616 403 719 0 313619 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (KiB) 1257360 [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.06 3/180 24569 /proc/meminfo: memFree=29920472/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1256844 CPUtime=1801.42 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 309875 0 0 0 177729 2413 0 0 19 0 1 0 164611619 1287008256 306487 4089446400 4194304 7136930 140734994244144 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24389/statm: 314211 306487 403 719 0 313490 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1256844 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.06 3/180 24569 /proc/meminfo: memFree=29925552/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1248696 CPUtime=1801.82 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 309875 0 0 0 177769 2413 0 0 20 0 1 0 164611619 1278664704 304450 4089446400 4194304 7136930 140734994244144 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24389/statm: 312174 304450 403 719 0 311453 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 1248696 [startup+1801.9 s] /proc/loadavg: 2.00 2.00 2.06 3/180 24569 /proc/meminfo: memFree=29925552/32951124 swapFree=67111528/67111528 [pid=24389] ppid=24387 vsize=1223432 CPUtime=1801.91 /proc/24389/stat : 24389 (pbscip.linux.x8) R 24387 24389 23338 0 -1 4202496 309875 0 0 0 177778 2413 0 0 20 0 1 0 164611619 1252794368 298134 4089446400 4194304 7136930 140734994244144 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24389/statm: 305858 298134 403 719 0 305137 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 1223432 Child status: 0 Real time (s): 1801.99 CPU time (s): 1802.02 CPU user time (s): 1777.83 CPU system time (s): 24.1863 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1257360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.83 system time used= 24.1863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309887 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= 4 involuntary context switches= 1652 runsolver used 2.70859 second user time and 5.75912 second system time The end
Begin job on node118 at 2010-06-30 16:55:20 IDJOB=2694183 IDBENCH=78970 IDSOLVER=1206 FILE ID=node118/2694183-1277909720 PBS_JOBID= 11197244 Free space on /tmp= 74208 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.1900575442--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-2694183-1277909720/watcher-2694183-1277909720 -o /tmp/evaluation-result-2694183-1277909720/solver-2694183-1277909720 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694183-1277909720.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0 RANDOM SEED=1258839763 node118.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.791 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.58 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.791 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 : 5332.75 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.791 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.76 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.791 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.83 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.791 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.791 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.83 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.791 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.75 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31122520 kB Buffers: 195648 kB Cached: 1298768 kB SwapCached: 0 kB Active: 663724 kB Inactive: 1022232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31122520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 191476 kB Mapped: 15288 kB Slab: 79004 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 337944 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 node118 at 2010-06-30 17:25:22