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.15 | 1802.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo |
| MD5SUM | a4c39a3f1b80365b8ad34a89f93fc523 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 210.262 |
| 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 | 2707 |
| 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 | 134314 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 134313 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 655 |
| 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-2693677-1277929884.wbo>
0.01/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.03 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.09/0.12 o 134313
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.343130e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
3.09/3.19 c 3.1s| 10000 | 9701 | 0 | 0.0 | 24M|2816 | - |5645 |6461 | 0 | 0 | 0 |1047 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
6.39/6.44 c 6.3s| 20000 | 19701 | 0 | 0.0 | 28M|2816 | - |5645 |6461 | 0 | 0 | 0 |1047 | 0 | 0.000000e+00 | 1.343130e+05 | Inf
6.99/7.09 o 328
6.99/7.09 c * 6.9s| 22716 | 6312 | 0 | 0.0 | 23M|2816 | - |5645 |6461 | 0 | 0 | 0 |1047 | 0 | 0.000000e+00 | 3.280000e+02 | Inf
7.09/7.14 o 312
7.09/7.14 c * 7.0s| 22826 | 6326 | 0 | 0.0 | 23M|2816 | - |5645 |6471 | 0 | 0 | 0 |1057 | 0 | 0.000000e+00 | 3.120000e+02 | Inf
7.49/7.54 o 282
7.49/7.54 c * 7.3s| 24174 | 7603 | 0 | 0.0 | 24M|2816 | - |5645 |6533 | 0 | 0 | 0 |1119 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
7.59/7.65 o 217
7.59/7.65 c * 7.5s| 24619 | 7348 | 0 | 0.0 | 24M|2816 | - |5645 |6579 | 0 | 0 | 0 |1165 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
9.19/9.21 c 9.0s| 30000 | 12079 | 0 | 0.0 | 31M|2816 | - |5645 |8738 | 0 | 0 | 0 |4660 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
12.49/12.59 c 12.3s| 40000 | 19882 | 0 | 0.0 | 42M|2816 | - |5645 |8958 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
14.20/14.22 o 194
14.20/14.22 c *13.9s| 43264 | 21204 | 0 | 0.0 | 46M|2816 | - |5645 | 10k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
14.49/14.53 o 172
14.49/14.53 c *14.2s| 43757 | 21449 | 0 | 0.0 | 46M|2816 | - |5645 | 10k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
14.79/14.83 o 151
14.79/14.83 c *14.5s| 44199 | 21643 | 0 | 0.0 | 46M|2816 | - |5645 |9633 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
15.09/15.14 o 146
15.09/15.14 c *14.8s| 44659 | 22078 | 0 | 0.0 | 46M|2816 | - |5645 |9276 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
15.09/15.14 o 143
15.09/15.14 c *14.8s| 44660 | 22063 | 0 | 0.0 | 46M|2816 | - |5645 |9276 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
15.49/15.55 o 126
15.49/15.55 c *15.2s| 45289 | 22605 | 0 | 0.0 | 47M|2816 | - |5645 |8953 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
15.99/16.07 o 110
15.99/16.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.07 c *15.7s| 46024 | 23237 | 0 | 0.0 | 48M|2816 | - |5645 |8597 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
16.29/16.31 o 100
16.29/16.31 c *15.9s| 46411 | 23497 | 0 | 0.0 | 48M|2816 | - |5645 |8544 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
16.39/16.41 o 97
16.39/16.41 c *16.0s| 46582 | 23535 | 0 | 0.0 | 48M|2816 | - |5645 |8515 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
18.99/19.07 o 94
18.99/19.07 c *18.7s| 49338 | 25937 | 0 | 0.0 | 54M|2816 | - |5645 |7551 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
19.89/19.91 c 19.5s| 50000 | 26541 | 0 | 0.0 | 55M|2816 | - |5645 |7084 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
23.89/23.95 o 86
23.89/23.95 c *23.5s| 54442 | 30031 | 0 | 0.0 | 62M|2816 | - |5645 |6806 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.600000e+01 | Inf
25.69/25.71 o 84
25.69/25.71 c *25.2s| 56194 | 31426 | 0 | 0.0 | 65M|2816 | - |5645 |6787 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
26.49/26.56 o 82
26.49/26.56 c *26.1s| 57169 | 32135 | 0 | 0.0 | 67M|2816 | - |5645 |6970 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
26.49/26.57 o 79
26.49/26.57 c *26.1s| 57170 | 32002 | 0 | 0.0 | 67M|2816 | - |5645 |6970 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
29.39/29.40 c 28.8s| 60000 | 34346 | 0 | 0.0 | 74M|2816 | - |5645 |7355 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
29.39/29.46 o 73
29.39/29.46 c *28.9s| 60132 | 34047 | 0 | 0.0 | 70M|2816 | - |5645 |7277 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
29.39/29.46 o 56
29.39/29.46 c *28.9s| 60133 | 32945 | 0 | 0.0 | 65M|2816 | - |5645 |7277 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
31.69/31.76 o 46
31.69/31.76 c *31.2s| 63376 | 35127 | 0 | 0.0 | 70M|2816 | - |5645 |7869 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
35.59/35.67 c 35.0s| 70000 | 40833 | 0 | 0.0 | 80M|2816 | - |5645 |8561 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
38.89/38.96 o 44
38.89/38.96 c *38.2s| 75273 | 45189 | 0 | 0.0 | 87M|2816 | - |5645 |8055 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
39.29/39.37 o 38
39.29/39.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.29/39.37 c *38.6s| 76141 | 45596 | 0 | 0.0 | 86M|2816 | - |5645 |7893 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
40.29/40.30 o 24
40.29/40.30 c *39.6s| 77925 | 45939 | 0 | 0.0 | 79M|2816 | - |5645 |8653 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
40.79/40.80 o 12
40.79/40.80 c *40.1s| 79086 | 45826 | 0 | 0.0 | 78M|2816 | - |5645 |8429 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
41.19/41.22 c 40.5s| 80000 | 46587 | 0 | 0.0 | 79M|2816 | - |5645 |8568 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
43.69/43.74 o 11
43.69/43.74 c *42.9s| 86169 | 51699 | 0 | 0.0 | 85M|2816 | - |5645 |9163 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
45.28/45.30 c 44.4s| 90000 | 54893 | 0 | 0.0 | 90M|2816 | - |5645 |9646 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
49.19/49.29 c 48.3s|100000 | 63311 | 0 | 0.0 | 100M|2816 | - |5645 |7586 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
53.38/53.41 c 52.4s|110000 | 71452 | 0 | 0.0 | 111M|2816 | - |5645 |8145 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
57.69/57.78 c 56.6s|120000 | 79429 | 0 | 0.0 | 121M|2816 | - |5645 |8686 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
62.08/62.19 c 61.0s|130000 | 87367 | 0 | 0.0 | 131M|2816 | - |5645 |9067 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
66.79/66.85 c 65.5s|140000 | 95021 | 0 | 0.0 | 141M|2816 | - |5645 |9271 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
71.79/71.84 c 70.4s|150000 |102404 | 0 | 0.0 | 152M|2816 | - |5645 |9994 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
77.00/77.04 c 75.5s|160000 |109562 | 0 | 0.0 | 162M|2816 | - |5645 |9859 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
82.69/82.71 c 81.1s|170000 |116382 | 0 | 0.0 | 173M|2816 | - |5645 | 10k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
88.39/88.44 c 86.8s|180000 |123155 | 0 | 0.0 | 183M|2816 | - |5645 | 10k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
94.28/94.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.28/94.38 c 92.6s|190000 |129733 | 0 | 0.0 | 194M|2816 | - |5645 | 11k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
100.99/101.05 c 99.2s|200000 |135904 | 0 | 0.0 | 205M|2816 | - |5645 | 11k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
108.39/108.48 c 107s|210000 |141487 | 0 | 0.0 | 215M|2816 | - |5645 | 12k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
117.09/117.11 c 115s|220000 |146205 | 0 | 0.0 | 227M|2816 | - |5645 | 13k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
128.59/128.68 c 126s|230000 |149072 | 0 | 0.0 | 237M|2816 | - |5645 | 16k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
133.79/133.82 c 132s|240000 |157365 | 0 | 0.0 | 243M|2816 | - |5645 |6964 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
139.29/139.30 c 137s|250000 |165545 | 0 | 0.0 | 254M|2816 | - |5645 |7210 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
145.99/146.01 c 144s|260000 |173163 | 0 | 0.0 | 265M|2816 | - |5645 |7997 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
148.29/148.36 o 8
148.29/148.36 c * 146s|263150 |174726 | 0 | 0.0 | 266M|2816 | - |5645 |7950 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
153.90/153.91 c 151s|270000 |179640 | 0 | 0.0 | 275M|2816 | - |5645 |7773 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
159.99/160.02 o 7
159.99/160.02 c * 157s|277806 |184507 | 0 | 0.0 | 282M|2816 | - |5645 |7610 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
161.60/161.68 c 159s|280000 |186191 | 0 | 0.0 | 285M|2816 | - |5645 |7267 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
168.59/168.65 c 166s|290000 |193727 | 0 | 0.0 | 298M|2816 | - |5645 |7557 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
169.69/169.73 o 6
169.69/169.73 c * 167s|291675 |194702 | 0 | 0.0 | 299M|2816 | - |5645 |7715 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
175.49/175.54 c 173s|300000 |201012 | 0 | 0.0 | 309M|2816 | - |5645 |8351 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
182.69/182.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.69/182.79 c 180s|310000 |208342 | 0 | 0.0 | 320M|2816 | - |5645 |9149 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
191.30/191.33 c 188s|320000 |215040 | 0 | 0.0 | 332M|2816 | - |5645 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
203.40/203.41 c 200s|330000 |219315 | 0 | 0.0 | 343M|2816 | - |5645 | 14k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
209.59/209.65 c 206s|340000 |225593 | 0 | 0.0 | 349M|2816 | - |5645 |8890 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.50/215.59 c 212s|350000 |233174 | 0 | 0.0 | 361M|2816 | - |5645 |9144 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
221.99/222.10 c 219s|360000 |240403 | 0 | 0.0 | 375M|2816 | - |5645 |9913 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
229.49/229.52 c 226s|370000 |246921 | 0 | 0.0 | 386M|2816 | - |5645 |9440 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
229.99/230.09 o 3
229.99/230.09 c * 226s|371218 |246661 | 0 | 0.0 | 384M|2816 | - |5645 |9528 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
234.99/235.07 c 231s|380000 |253545 | 0 | 0.0 | 395M|2816 | - |5645 | 10k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
241.49/241.58 c 238s|390000 |260681 | 0 | 0.0 | 406M|2816 | - |5645 | 11k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
249.09/249.14 c 245s|400000 |267034 | 0 | 0.0 | 416M|2816 | - |5645 | 11k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
254.19/254.27 c 250s|410000 |275107 | 0 | 0.0 | 429M|2816 | - |5645 | 12k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
261.20/261.29 c 257s|420000 |281942 | 0 | 0.0 | 441M|2816 | - |5645 | 11k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
268.89/268.91 c 265s|430000 |288361 | 0 | 0.0 | 454M|2816 | - |5645 | 16k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
273.99/274.04 c 270s|440000 |296637 | 0 | 0.0 | 465M|2816 | - |5645 | 12k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
281.39/281.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.39/281.41 c 277s|450000 |303346 | 0 | 0.0 | 478M|2816 | - |5645 | 12k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
288.20/288.21 c 284s|460000 |311095 | 0 | 0.0 | 500M|2816 | - |5645 | 14k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
295.00/295.04 c 290s|470000 |317770 | 0 | 0.0 | 511M|2816 | - |5645 | 10k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
299.29/299.36 c 295s|480000 |325892 | 0 | 0.0 | 522M|2816 | - |5645 | 11k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
304.90/304.92 c 300s|490000 |332876 | 0 | 0.0 | 533M|2816 | - |5645 | 12k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
311.20/311.20 c 306s|500000 |339062 | 0 | 0.0 | 541M|2816 | - |5645 | 11k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
316.20/316.23 c 311s|510000 |346306 | 0 | 0.0 | 552M|2816 | - |5645 | 13k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
320.80/320.81 c 316s|520000 |354123 | 0 | 0.0 | 560M|2816 | - |5645 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
326.00/326.07 c 321s|530000 |361198 | 0 | 0.0 | 570M|2816 | - |5645 | 11k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
330.39/330.45 c 325s|540000 |369098 | 0 | 0.0 | 580M|2816 | - |5645 | 12k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
335.50/335.53 c 330s|550000 |376338 | 0 | 0.0 | 589M|2816 | - |5645 | 11k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
340.90/340.93 c 335s|560000 |383330 | 0 | 0.0 | 599M|2816 | - |5645 | 11k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
345.40/345.48 c 340s|570000 |391117 | 0 | 0.0 | 609M|2816 | - |5645 | 12k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
350.60/350.63 c 345s|580000 |398269 | 0 | 0.0 | 618M|2816 | - |5645 | 11k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
356.19/356.28 c 350s|590000 |404827 | 0 | 0.0 | 628M|2816 | - |5645 | 13k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
360.30/360.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.30/360.33 c 354s|600000 |412991 | 0 | 0.0 | 637M|2816 | - |5645 | 11k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
365.50/365.59 c 360s|610000 |420166 | 0 | 0.0 | 647M|2816 | - |5645 | 11k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
370.09/370.18 c 364s|620000 |427996 | 0 | 0.0 | 657M|2816 | - |5645 | 11k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
375.70/375.70 c 370s|630000 |434980 | 0 | 0.0 | 666M|2816 | - |5645 | 12k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
380.80/380.81 c 375s|640000 |442323 | 0 | 0.0 | 675M|2816 | - |5645 | 11k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
385.89/385.95 c 380s|650000 |449504 | 0 | 0.0 | 683M|2816 | - |5645 |7596 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
389.50/389.54 c 383s|660000 |457949 | 0 | 0.0 | 692M|2816 | - |5645 |6665 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
393.00/393.07 c 387s|670000 |466347 | 0 | 0.0 | 702M|2816 | - |5645 |6739 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
396.60/396.64 c 390s|680000 |474753 | 0 | 0.0 | 711M|2816 | - |5645 |6918 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
400.89/400.92 c 394s|690000 |482527 | 0 | 0.0 | 721M|2816 | - |5645 |7218 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
406.00/406.07 c 399s|700000 |489617 | 0 | 0.0 | 732M|2816 | - |5645 |7831 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
411.30/411.34 c 404s|710000 |496659 | 0 | 0.0 | 742M|2816 | - |5645 |7945 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
416.69/416.75 c 410s|720000 |503529 | 0 | 0.0 | 753M|2816 | - |5645 |8296 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
422.00/422.08 c 415s|730000 |510449 | 0 | 0.0 | 763M|2816 | - |5645 |8424 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
427.59/427.63 c 420s|740000 |517227 | 0 | 0.0 | 774M|2816 | - |5645 |8627 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
433.20/433.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.20/433.27 c 426s|750000 |523948 | 0 | 0.0 | 784M|2816 | - |5645 |8706 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
438.90/438.93 c 432s|760000 |530741 | 0 | 0.0 | 794M|2816 | - |5645 |8845 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
444.60/444.61 c 437s|770000 |537470 | 0 | 0.0 | 804M|2816 | - |5645 |9850 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
450.50/450.57 c 443s|780000 |544010 | 0 | 0.0 | 815M|2816 | - |5645 |9603 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
456.60/456.60 c 449s|790000 |550599 | 0 | 0.0 | 825M|2816 | - |5645 |9288 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
462.70/462.74 c 455s|800000 |556938 | 0 | 0.0 | 835M|2816 | - |5645 | 10k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
469.30/469.30 c 461s|810000 |563107 | 0 | 0.0 | 845M|2816 | - |5645 | 10k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
475.40/475.48 c 468s|820000 |569545 | 0 | 0.0 | 855M|2816 | - |5645 | 10k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
482.10/482.17 c 474s|830000 |575617 | 0 | 0.0 | 865M|2816 | - |5645 | 10k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
488.41/488.44 c 480s|840000 |581978 | 0 | 0.0 | 875M|2816 | - |5645 | 10k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
495.30/495.33 c 487s|850000 |587869 | 0 | 0.0 | 885M|2816 | - |5645 | 10k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
501.80/501.89 c 494s|860000 |594130 | 0 | 0.0 | 895M|2816 | - |5645 | 11k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
508.90/508.98 c 501s|870000 |599839 | 0 | 0.0 | 905M|2816 | - |5645 | 11k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
515.81/515.84 c 507s|880000 |605907 | 0 | 0.0 | 916M|2816 | - |5645 | 11k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
523.10/523.17 c 515s|890000 |611462 | 0 | 0.0 | 926M|2816 | - |5645 | 11k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
530.00/530.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.00/530.02 c 521s|900000 |617433 | 0 | 0.0 | 936M|2816 | - |5645 | 11k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
537.61/537.60 c 529s|910000 |622755 | 0 | 0.0 | 946M|2816 | - |5645 | 11k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
544.60/544.64 c 536s|920000 |628662 | 0 | 0.0 | 956M|2816 | - |5645 | 11k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
552.50/552.52 c 544s|930000 |633798 | 0 | 0.0 | 966M|2816 | - |5645 | 11k| 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
559.70/559.78 c 551s|940000 |639445 | 0 | 0.0 | 976M|2816 | - |5645 | 11k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
568.30/568.31 c 559s|950000 |643999 | 0 | 0.0 | 986M|2816 | - |5645 | 12k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
575.90/575.96 c 567s|960000 |649386 | 0 | 0.0 | 996M|2816 | - |5645 | 11k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
584.60/584.62 c 575s|970000 |653951 | 0 | 0.0 |1005M|2816 | - |5645 | 12k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
592.81/592.87 c 583s|980000 |658969 | 0 | 0.0 |1015M|2816 | - |5645 | 11k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
602.10/602.10 c 592s|990000 |663074 | 0 | 0.0 |1025M|2816 | - |5645 | 12k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
611.00/611.06 c 601s| 1000k|667550 | 0 | 0.0 |1034M|2816 | - |5645 | 11k| 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
620.31/620.33 c 610s| 1010k|671732 | 0 | 0.0 |1044M|2816 | - |5645 | 12k| 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
629.81/629.85 c 620s| 1020k|675609 | 0 | 0.0 |1053M|2816 | - |5645 | 12k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
638.31/638.32 c 628s| 1030k|680400 | 0 | 0.0 |1063M|2816 | - |5645 | 11k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
648.21/648.25 c 638s| 1040k|683875 | 0 | 0.0 |1071M|2816 | - |5645 | 12k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
657.40/657.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.40/657.44 c 647s| 1050k|687955 | 0 | 0.0 |1080M|2816 | - |5645 | 12k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
666.62/666.67 c 656s| 1060k|692234 | 0 | 0.0 |1090M|2816 | - |5645 | 11k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
677.11/677.12 c 667s| 1070k|695351 | 0 | 0.0 |1099M|2816 | - |5645 | 12k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.41/687.46 c 677s| 1080k|698670 | 0 | 0.0 |1107M|2816 | - |5645 | 13k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
698.31/698.34 c 688s| 1090k|701577 | 0 | 0.0 |1116M|2816 | - |5645 | 13k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
709.51/709.56 c 699s| 1100k|704293 | 0 | 0.0 |1124M|2816 | - |5645 | 13k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
721.40/721.40 c 710s| 1110k|706534 | 0 | 0.0 |1132M|2816 | - |5645 | 13k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.50/733.52 c 722s| 1120k|708716 | 0 | 0.0 |1141M|2816 | - |5645 | 13k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
746.01/746.07 c 735s| 1130k|710573 | 0 | 0.0 |1149M|2816 | - |5645 | 13k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.61/759.68 c 748s| 1140k|711489 | 0 | 0.0 |1157M|2816 | - |5645 | 14k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
773.81/773.86 c 762s| 1150k|712136 | 0 | 0.0 |1164M|2816 | - |5645 | 14k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.41/788.42 c 777s| 1160k|712639 | 0 | 0.0 |1171M|2816 | - |5645 | 14k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
803.81/803.89 c 792s| 1170k|712525 | 0 | 0.0 |1177M|2816 | - |5645 | 15k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
820.91/820.90 c 809s| 1180k|711603 | 0 | 0.0 |1183M|2816 | - |5645 | 17k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
833.01/833.08 c 821s| 1190k|714521 | 0 | 0.0 |1182M|2816 | - |5645 |4910 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
837.01/837.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.01/837.07 c 825s| 1200k|722666 | 0 | 0.0 |1193M|2816 | - |5645 |4770 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
841.11/841.17 c 829s| 1210k|730619 | 0 | 0.0 |1203M|2816 | - |5645 |5176 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
845.42/845.48 c 833s| 1220k|738352 | 0 | 0.0 |1213M|2816 | - |5645 |5376 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
849.81/849.83 c 837s| 1230k|746060 | 0 | 0.0 |1224M|2816 | - |5645 |5337 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
854.41/854.40 c 842s| 1240k|753579 | 0 | 0.0 |1234M|2816 | - |5645 |5453 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
858.91/858.95 c 846s| 1250k|761099 | 0 | 0.0 |1245M|2816 | - |5645 |5182 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
863.52/863.59 c 851s| 1260k|768477 | 0 | 0.0 |1255M|2816 | - |5645 |5666 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
868.51/868.50 c 856s| 1270k|775753 | 0 | 0.0 |1266M|2816 | - |5645 |5455 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
873.62/873.62 c 861s| 1280k|782716 | 0 | 0.0 |1277M|2816 | - |5645 |5893 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
878.62/878.66 c 866s| 1290k|789738 | 0 | 0.0 |1287M|2816 | - |5645 |6154 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
883.91/883.94 c 871s| 1300k|796649 | 0 | 0.0 |1298M|2816 | - |5645 |6189 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.41/889.42 c 876s| 1310k|803304 | 0 | 0.0 |1308M|2816 | - |5645 |6471 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
895.21/895.21 c 882s| 1320k|809694 | 0 | 0.0 |1318M|2816 | - |5645 |6852 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
901.01/901.07 c 888s| 1330k|816069 | 0 | 0.0 |1329M|2816 | - |5645 |7192 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
906.91/906.96 c 893s| 1340k|822464 | 0 | 0.0 |1339M|2816 | - |5645 |7613 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
912.92/912.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.92/912.99 c 899s| 1350k|828694 | 0 | 0.0 |1349M|2816 | - |5645 |7688 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
919.21/919.25 c 906s| 1360k|834697 | 0 | 0.0 |1358M|2816 | - |5645 |8291 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
925.52/925.50 c 912s| 1370k|840762 | 0 | 0.0 |1368M|2816 | - |5645 |8597 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
932.11/932.12 c 918s| 1380k|846597 | 0 | 0.0 |1377M|2816 | - |5645 |8147 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
938.92/938.90 c 925s| 1390k|852235 | 0 | 0.0 |1387M|2816 | - |5645 |9023 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
945.72/945.76 c 932s| 1400k|857945 | 0 | 0.0 |1395M|2816 | - |5645 |8220 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
952.41/952.50 c 938s| 1410k|863776 | 0 | 0.0 |1405M|2816 | - |5645 |8168 | 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
959.41/959.48 c 945s| 1420k|869251 | 0 | 0.0 |1414M|2816 | - |5645 |8438 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
966.41/966.42 c 952s| 1430k|874833 | 0 | 0.0 |1422M|2816 | - |5645 |7783 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
973.02/973.09 c 958s| 1440k|880603 | 0 | 0.0 |1431M|2816 | - |5645 |7380 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
979.32/979.36 c 965s| 1450k|886815 | 0 | 0.0 |1440M|2816 | - |5645 |6735 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
985.72/985.77 c 971s| 1460k|892816 | 0 | 0.0 |1450M|2816 | - |5645 |7069 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
991.82/991.84 c 977s| 1470k|899094 | 0 | 0.0 |1458M|2816 | - |5645 |6429 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
997.51/997.54 c 982s| 1480k|905645 | 0 | 0.0 |1468M|2816 | - |5645 |7019 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1003.02/1003.05 c 988s| 1490k|912477 | 0 | 0.0 |1477M|2816 | - |5645 |6247 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1008.72/1008.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.72/1008.73 c 993s| 1500k|919026 | 0 | 0.0 |1486M|2816 | - |5645 |6826 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.02/1014.03 c 999s| 1510k|925996 | 0 | 0.0 |1496M|2816 | - |5645 |7018 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1019.21/1019.27 c 1004s| 1520k|933066 | 0 | 0.0 |1505M|2816 | - |5645 |6961 | 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1024.42/1024.49 c 1009s| 1530k|940159 | 0 | 0.0 |1515M|2816 | - |5645 |6760 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1028.01/1028.08 o 2
1028.01/1028.08 c *1012s| 1536k|906292 | 0 | 0.0 |1475M|2816 | - |5645 |7020 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.02/1030.03 c 1014s| 1540k|908976 | 0 | 0.0 |1479M|2816 | - |5645 |6578 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.71/1035.73 c 1020s| 1550k|915984 | 0 | 0.0 |1490M|2816 | - |5645 |6969 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.51/1041.52 c 1026s| 1560k|922985 | 0 | 0.0 |1500M|2816 | - |5645 |6952 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.32/1047.31 c 1031s| 1570k|929909 | 0 | 0.0 |1511M|2816 | - |5645 |7438 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1053.32/1053.30 c 1037s| 1580k|936673 | 0 | 0.0 |1521M|2816 | - |5645 |7672 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1059.32/1059.32 c 1043s| 1590k|943414 | 0 | 0.0 |1532M|2816 | - |5645 |8076 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.32/1065.31 c 1049s| 1600k|950175 | 0 | 0.0 |1542M|2816 | - |5645 |8145 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1071.42/1071.45 c 1055s| 1610k|956784 | 0 | 0.0 |1552M|2816 | - |5645 |8430 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.62/1077.64 c 1061s| 1620k|963322 | 0 | 0.0 |1562M|2816 | - |5645 |8405 | 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.71/1083.71 c 1067s| 1630k|970062 | 0 | 0.0 |1572M|2816 | - |5645 |7929 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1090.12/1090.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.12/1090.15 c 1073s| 1640k|976378 | 0 | 0.0 |1582M|2816 | - |5645 |8772 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.81/1096.88 c 1080s| 1650k|982578 | 0 | 0.0 |1592M|2816 | - |5645 |9116 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.72/1103.78 c 1087s| 1660k|988719 | 0 | 0.0 |1602M|2816 | - |5645 |9404 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1110.93/1110.91 c 1094s| 1670k|994726 | 0 | 0.0 |1611M|2816 | - |5645 | 10k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.02/1118.01 c 1101s| 1680k| 1000k| 0 | 0.0 |1621M|2816 | - |5645 | 10k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.22/1125.30 c 1108s| 1690k| 1006k| 0 | 0.0 |1630M|2816 | - |5645 | 10k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.62/1132.68 c 1115s| 1700k| 1012k| 0 | 0.0 |1639M|2816 | - |5645 | 10k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.02/1140.05 c 1122s| 1710k| 1018k| 0 | 0.0 |1648M|2816 | - |5645 | 11k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.82/1147.82 c 1130s| 1720k| 1024k| 0 | 0.0 |1658M|2816 | - |5645 | 11k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.02/1156.07 c 1138s| 1730k| 1029k| 0 | 0.0 |1667M|2816 | - |5645 | 12k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.62/1164.69 c 1147s| 1740k| 1035k| 0 | 0.0 |1676M|2816 | - |5645 | 13k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1173.02/1173.02 c 1155s| 1750k| 1040k| 0 | 0.0 |1685M|2816 | - |5645 | 13k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.72/1181.73 c 1164s| 1760k| 1045k| 0 | 0.0 |1694M|2816 | - |5645 | 13k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.92/1190.93 c 1173s| 1770k| 1050k| 0 | 0.0 |1703M|2816 | - |5645 | 14k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.92/1200.96 c 1183s| 1780k| 1055k| 0 | 0.0 |1712M|2816 | - |5645 | 15k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.13/1212.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.13/1212.11 c 1194s| 1790k| 1059k| 0 | 0.0 |1721M|2816 | - |5645 | 16k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1224.12/1224.15 c 1205s| 1800k| 1063k| 0 | 0.0 |1726M|2816 | - |5645 |7448 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1234.13/1234.16 c 1215s| 1810k| 1066k| 0 | 0.0 |1734M|2816 | - |5645 | 10k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1244.92/1244.97 c 1226s| 1820k| 1070k| 0 | 0.0 |1742M|2816 | - |5645 | 11k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.72/1257.79 c 1239s| 1830k| 1071k| 0 | 0.0 |1746M|2816 | - |5645 | 11k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.02/1262.03 c 1243s| 1840k| 1079k| 0 | 0.0 |1754M|2816 | - |5645 |5117 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.22/1266.26 c 1247s| 1850k| 1087k| 0 | 0.0 |1764M|2816 | - |5645 |5654 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1270.62/1270.62 c 1251s| 1860k| 1094k| 0 | 0.0 |1774M|2816 | - |5645 |6147 | 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1275.02/1275.08 c 1256s| 1870k| 1102k| 0 | 0.0 |1784M|2816 | - |5645 |6529 | 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.83/1279.81 c 1260s| 1880k| 1109k| 0 | 0.0 |1794M|2816 | - |5645 |6761 | 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1284.92/1284.96 c 1265s| 1890k| 1116k| 0 | 0.0 |1804M|2816 | - |5645 |7301 | 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.62/1290.65 c 1271s| 1900k| 1123k| 0 | 0.0 |1814M|2816 | - |5645 |8092 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.62/1296.69 c 1277s| 1910k| 1129k| 0 | 0.0 |1824M|2816 | - |5645 |8530 | 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.22/1303.24 c 1283s| 1920k| 1135k| 0 | 0.0 |1833M|2816 | - |5645 |7689 | 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1310.32/1310.30 c 1290s| 1930k| 1141k| 0 | 0.0 |1842M|2816 | - |5645 |7733 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1317.33/1317.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.33/1317.31 c 1297s| 1940k| 1146k| 0 | 0.0 |1852M|2816 | - |5645 |7343 | 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1324.62/1324.61 c 1304s| 1950k| 1151k| 0 | 0.0 |1860M|2816 | - |5645 |7253 | 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.53/1331.53 c 1311s| 1960k| 1156k| 0 | 0.0 |1869M|2816 | - |5645 |7298 | 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.72/1337.70 c 1317s| 1970k| 1162k| 0 | 0.0 |1877M|2816 | - |5645 |7058 | 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.53/1343.58 c 1323s| 1980k| 1169k| 0 | 0.0 |1887M|2816 | - |5645 |7102 | 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.33/1349.30 c 1329s| 1990k| 1175k| 0 | 0.0 |1897M|2816 | - |5645 |7417 | 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1354.92/1354.93 c 1334s| 2000k| 1182k| 0 | 0.0 |1906M|2816 | - |5645 |8236 | 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.83/1360.88 c 1340s| 2010k| 1188k| 0 | 0.0 |1916M|2816 | - |5645 |8719 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.42/1367.42 c 1346s| 2020k| 1194k| 0 | 0.0 |1926M|2816 | - |5645 |9227 | 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.62/1374.65 c 1353s| 2030k| 1200k| 0 | 0.0 |1936M|2816 | - |5645 | 10k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1383.03/1383.00 c 1362s| 2040k| 1205k| 0 | 0.0 |1946M|2816 | - |5645 | 11k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.92/1392.96 c 1371s| 2050k| 1208k| 0 | 0.0 |1954M|2816 | - |5645 | 12k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.23/1404.29 c 1383s| 2060k| 1211k| 0 | 0.0 |1958M|2816 | - |5645 |6473 | 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.73/1408.72 c 1387s| 2070k| 1219k| 0 | 0.0 |1968M|2816 | - |5645 |5487 | 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1413.43/1413.43 c 1392s| 2080k| 1227k| 0 | 0.0 |1977M|2816 | - |5645 |6177 | 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.43/1418.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.43/1418.43 c 1396s| 2090k| 1234k| 0 | 0.0 |1987M|2816 | - |5645 |6646 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.73/1423.75 c 1402s| 2100k| 1241k| 0 | 0.0 |1997M|2816 | - |5645 |7367 | 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1429.23/1429.20 c 1407s| 2110k| 1247k| 0 | 0.0 |2006M|2816 | - |5645 |7939 | 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.13/1435.16 c 1413s| 2120k| 1254k| 0 | 0.0 |2016M|2816 | - |5645 |8381 | 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1441.33/1441.31 c 1419s| 2130k| 1260k| 0 | 0.0 |2025M|2816 | - |5645 |8650 | 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.23/1448.28 c 1426s| 2140k| 1266k| 0 | 0.0 |2035M|2816 | - |5645 |8236 | 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1455.63/1455.63 c 1433s| 2150k| 1271k| 0 | 0.0 |2045M|2816 | - |5645 |8276 | 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1463.23/1463.23 c 1440s| 2160k| 1276k| 0 | 0.0 |2053M|2816 | - |5645 |8147 | 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1470.43/1470.43 c 1448s| 2170k| 1281k| 0 | 0.0 |2062M|2816 | - |5645 |7931 | 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1476.93/1476.95 c 1454s| 2180k| 1287k| 0 | 0.0 |2071M|2816 | - |5645 |7817 | 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.03/1483.05 c 1460s| 2190k| 1293k| 0 | 0.0 |2079M|2816 | - |5645 |7910 | 0 | 0 | 0 |1789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.53/1488.57 c 1465s| 2200k| 1300k| 0 | 0.0 |2089M|2816 | - |5645 |7841 | 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1494.23/1494.25 c 1471s| 2210k| 1307k| 0 | 0.0 |2098M|2816 | - |5645 |8636 | 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.33/1500.31 c 1477s| 2220k| 1313k| 0 | 0.0 |2109M|2816 | - |5645 |9635 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1506.93/1506.93 c 1483s| 2230k| 1319k| 0 | 0.0 |2118M|2816 | - |5645 | 10k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.64/1514.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.64/1514.61 c 1491s| 2240k| 1325k| 0 | 0.0 |2128M|2816 | - |5645 | 12k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1523.44/1523.46 c 1500s| 2250k| 1329k| 0 | 0.0 |2138M|2816 | - |5645 | 13k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.24/1534.26 c 1510s| 2260k| 1333k| 0 | 0.0 |2146M|2816 | - |5645 | 15k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1546.73/1546.79 c 1523s| 2270k| 1336k| 0 | 0.0 |2150M|2816 | - |5645 |9186 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.33/1551.34 c 1527s| 2280k| 1344k| 0 | 0.0 |2159M|2816 | - |5645 |5794 | 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.03/1556.03 c 1532s| 2290k| 1351k| 0 | 0.0 |2169M|2816 | - |5645 |6501 | 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.94/1560.92 c 1537s| 2300k| 1359k| 0 | 0.0 |2179M|2816 | - |5645 |7195 | 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1566.04/1566.08 c 1542s| 2310k| 1366k| 0 | 0.0 |2188M|2816 | - |5645 |7704 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1571.43/1571.46 c 1547s| 2320k| 1373k| 0 | 0.0 |2198M|2816 | - |5645 |8186 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.04/1577.06 c 1552s| 2330k| 1380k| 0 | 0.0 |2208M|2816 | - |5645 |9054 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.23/1583.20 c 1559s| 2340k| 1386k| 0 | 0.0 |2217M|2816 | - |5645 | 10k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1590.34/1590.31 c 1566s| 2350k| 1392k| 0 | 0.0 |2226M|2816 | - |5645 | 11k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.03/1599.02 c 1574s| 2360k| 1396k| 0 | 0.0 |2236M|2816 | - |5645 | 13k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.94/1610.92 c 1586s| 2370k| 1399k| 0 | 0.0 |2244M|2816 | - |5645 | 16k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.73/1618.74 c 1594s| 2380k| 1405k| 0 | 0.0 |2248M|2816 | - |5645 |6004 | 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1623.23/1623.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.23/1623.23 c 1598s| 2390k| 1413k| 0 | 0.0 |2258M|2816 | - |5645 |6386 | 0 | 0 | 0 |1933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.14/1628.11 c 1603s| 2400k| 1420k| 0 | 0.0 |2268M|2816 | - |5645 |7127 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.33/1633.40 c 1608s| 2410k| 1427k| 0 | 0.0 |2278M|2816 | - |5645 |7708 | 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.04/1639.01 c 1613s| 2420k| 1434k| 0 | 0.0 |2288M|2816 | - |5645 |8273 | 0 | 0 | 0 |1947k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1644.93/1644.92 c 1619s| 2430k| 1440k| 0 | 0.0 |2297M|2816 | - |5645 |8695 | 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.24/1651.24 c 1625s| 2440k| 1447k| 0 | 0.0 |2307M|2816 | - |5645 |9524 | 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.14/1658.10 c 1632s| 2450k| 1452k| 0 | 0.0 |2316M|2816 | - |5645 | 10k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.24/1666.24 c 1640s| 2460k| 1457k| 0 | 0.0 |2326M|2816 | - |5645 | 11k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1675.74/1675.76 c 1650s| 2470k| 1461k| 0 | 0.0 |2335M|2816 | - |5645 | 13k| 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1686.04/1686.08 c 1660s| 2480k| 1465k| 0 | 0.0 |2339M|2816 | - |5645 |6634 | 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.34/1690.33 c 1664s| 2490k| 1473k| 0 | 0.0 |2348M|2816 | - |5645 |6239 | 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.83/1694.82 c 1668s| 2500k| 1480k| 0 | 0.0 |2358M|2816 | - |5645 |6931 | 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.55/1699.57 c 1673s| 2510k| 1488k| 0 | 0.0 |2367M|2816 | - |5645 |7474 | 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.44/1704.49 c 1678s| 2520k| 1495k| 0 | 0.0 |2377M|2816 | - |5645 |8267 | 0 | 0 | 0 |2015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.74/1709.75 c 1683s| 2530k| 1502k| 0 | 0.0 |2386M|2816 | - |5645 |8882 | 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1715.43/1715.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.43/1715.42 c 1689s| 2540k| 1508k| 0 | 0.0 |2396M|2816 | - |5645 |9677 | 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.45/1721.49 c 1695s| 2550k| 1515k| 0 | 0.0 |2405M|2816 | - |5645 | 10k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1728.54/1728.59 c 1702s| 2560k| 1520k| 0 | 0.0 |2415M|2816 | - |5645 | 11k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1737.04/1737.07 c 1710s| 2570k| 1525k| 0 | 0.0 |2424M|2816 | - |5645 | 12k| 0 | 0 | 0 |2052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1747.34/1747.30 c 1720s| 2580k| 1528k| 0 | 0.0 |2432M|2816 | - |5645 | 14k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1758.74/1758.79 c 1731s| 2590k| 1531k| 0 | 0.0 |2436M|2816 | - |5645 |7842 | 0 | 0 | 0 |2076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.13/1763.12 c 1736s| 2600k| 1539k| 0 | 0.0 |2445M|2816 | - |5645 |6530 | 0 | 0 | 0 |2079k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.94/1767.91 c 1740s| 2610k| 1547k| 0 | 0.0 |2455M|2816 | - |5645 |7272 | 0 | 0 | 0 |2083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1772.74/1772.77 c 1745s| 2620k| 1554k| 0 | 0.0 |2465M|2816 | - |5645 |7723 | 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.65/1777.67 c 1750s| 2630k| 1561k| 0 | 0.0 |2474M|2816 | - |5645 |8122 | 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1782.84/1782.84 c 1755s| 2640k| 1568k| 0 | 0.0 |2483M|2816 | - |5645 |8661 | 0 | 0 | 0 |2097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1788.44/1788.43 c 1760s| 2650k| 1575k| 0 | 0.0 |2493M|2816 | - |5645 |9320 | 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1794.43/1794.48 c 1766s| 2660k| 1581k| 0 | 0.0 |2502M|2816 | - |5645 | 10k| 0 | 0 | 0 |2109k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1771.77
1800.04/1800.00 c Solving Nodes : 2667680
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (34 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.04/1800.08 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.08 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.04/1800.08 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.04/1800.08 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.04/1800.08 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.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1771.77
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693677-1277929884.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693677-1277929884.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 18779 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2663 - - 5326 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 5606360 0 1689761 57 1853495 0 0 0
1800.04/1800.08 c linear : 2707 0 8020536 0 2299797 551572 44080105 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3674777 0 0 54926 1432266 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2299823 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 16.04 0.00 7.25 0.00 8.79
1800.04/1800.08 c linear : 451.46 0.00 448.72 0.00 2.74
1800.04/1800.08 c logicor : 218.61 0.00 218.61 0.00 0.00
1800.04/1800.08 c countsols : 0.46 0.00 0.00 0.00 0.46
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 1.87 2 0 0
1800.04/1800.08 c rootredcost : 1.65 0 0 0
1800.04/1800.08 c pseudoobj : 434.08 8021774 1178 1827774
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 39.43 607676 607671 3324300 24.1 190347 10.6 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.05 77 77 374 34.3 271 9.8 -
1800.04/1800.08 c applied globally : - - - 2115786 21.3 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 40.87 2299792 0 0 0 0 4599584
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.16 - 31
1800.04/1800.08 c oneopt : 0.83 0 0
1800.04/1800.08 c trivial : 0.07 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.90 0 0
1800.04/1800.08 c trysol : 0.70 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2667680
1800.04/1800.08 c nodes (total) : 2667680
1800.04/1800.08 c nodes left : 1586167
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 328630 (12.3%)
1800.04/1800.08 c delayed cutoffs : 280585
1800.04/1800.08 c repropagations : 1301337 (14402352 domain reductions, 239953 cutoffs)
1800.04/1800.08 c avg switch length: 41.23
1800.04/1800.08 c switching time : 489.59
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 34 (32 improvements)
1800.04/1800.08 c First Solution : +1.34313000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1536336 nodes, 1012.36 seconds, depth 195, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693677-1277929884/watcher-2693677-1277929884 -o /tmp/evaluation-result-2693677-1277929884/solver-2693677-1277929884 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693677-1277929884.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.61 2.78 2.55 3/182 17027 /proc/meminfo: memFree=29071144/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=8596 CPUtime=0 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 134284535 8802304 1573 4089446400 4194304 7136930 140735215038848 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17027/statm: 2149 1573 275 719 0 1428 0 [startup+0.0151771 s] /proc/loadavg: 2.61 2.78 2.55 3/182 17027 /proc/meminfo: memFree=29071144/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=11288 CPUtime=0.01 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 2318 0 0 0 1 0 0 0 25 0 1 0 134284535 11558912 2240 4089446400 4194304 7136930 140735215038848 18446744073709551615 6177244 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/17027/statm: 2822 2240 275 719 0 2101 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11288 [startup+0.10116 s] /proc/loadavg: 2.61 2.78 2.55 3/182 17027 /proc/meminfo: memFree=29071144/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=33672 CPUtime=0.09 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 7966 0 0 0 9 0 0 0 25 0 1 0 134284535 34480128 7534 4089446400 4194304 7136930 140735215038848 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.301126 s] /proc/loadavg: 2.61 2.78 2.55 3/182 17027 /proc/meminfo: memFree=29071144/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=36492 CPUtime=0.29 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 9240 0 0 0 29 0 0 0 25 0 1 0 134284535 37367808 8294 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 9123 8294 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.701056 s] /proc/loadavg: 2.61 2.78 2.55 3/182 17027 /proc/meminfo: memFree=29071144/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=37632 CPUtime=0.69 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 9515 0 0 0 68 1 0 0 25 0 1 0 134284535 38535168 8569 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50091 s] /proc/loadavg: 2.56 2.77 2.54 3/183 17028 /proc/meminfo: memFree=29034500/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=42704 CPUtime=1.49 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 10812 0 0 0 145 4 0 0 25 0 1 0 134284535 43728896 9866 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 10676 9866 390 719 0 9955 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42704 [startup+3.10061 s] /proc/loadavg: 2.56 2.77 2.54 3/183 17028 /proc/meminfo: memFree=29030160/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=44360 CPUtime=3.09 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 11217 0 0 0 303 6 0 0 25 0 1 0 134284535 45424640 10271 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 11090 10271 390 719 0 10369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44360 [startup+6.30103 s] /proc/loadavg: 2.52 2.75 2.54 3/183 17028 /proc/meminfo: memFree=29022964/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=47372 CPUtime=6.29 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 12035 0 0 0 617 12 0 0 25 0 1 0 134284535 48508928 11089 4089446400 4194304 7136930 140735215038848 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 11843 11089 390 719 0 11122 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47372 [startup+12.7009 s] /proc/loadavg: 2.47 2.74 2.54 3/183 17028 /proc/meminfo: memFree=28991688/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=71312 CPUtime=12.69 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 18080 0 0 0 1242 27 0 0 25 0 1 0 134284535 73023488 17013 4089446400 4194304 7136930 140735215038848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17027/statm: 17828 17013 391 719 0 17107 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71312 [startup+25.5005 s] /proc/loadavg: 2.40 2.72 2.53 3/183 17031 /proc/meminfo: memFree=28944168/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=109900 CPUtime=25.49 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 27441 0 0 0 2504 45 0 0 25 0 1 0 134284535 112537600 26374 4089446400 4194304 7136930 140735215038848 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 27475 26374 391 719 0 26754 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109900 [startup+51.1009 s] /proc/loadavg: 2.24 2.65 2.52 3/201 17078 /proc/meminfo: memFree=31120112/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=195068 CPUtime=51.09 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 47460 0 0 0 5013 96 0 0 25 0 1 0 134284535 199749632 46393 4089446400 4194304 7136930 140735215038848 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 48767 46393 391 719 0 48046 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 195068 [startup+102.307 s] /proc/loadavg: 2.10 2.54 2.49 3/201 17079 /proc/meminfo: memFree=31008628/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=305024 CPUtime=102.29 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 75143 0 0 0 10045 184 0 0 25 0 1 0 134284535 312344576 74076 4089446400 4194304 7136930 140735215038848 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 76256 74076 391 719 0 75535 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 305024 [startup+162.301 s] /proc/loadavg: 2.04 2.44 2.45 3/201 17081 /proc/meminfo: memFree=30914944/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=398304 CPUtime=162.29 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 98266 0 0 0 15967 262 0 0 25 0 1 0 134284535 407863296 97199 4089446400 4194304 7136930 140735215038848 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 99576 97199 391 719 0 98855 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 398304 [startup+222.301 s] /proc/loadavg: 2.01 2.36 2.42 3/201 17083 /proc/meminfo: memFree=30824236/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=492956 CPUtime=222.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 120598 0 0 0 21883 347 0 0 25 0 1 0 134284535 504786944 119531 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 123239 119531 391 719 0 122518 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 492956 [startup+282.301 s] /proc/loadavg: 2.00 2.29 2.39 3/201 17084 /proc/meminfo: memFree=30709100/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=614996 CPUtime=282.29 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 150421 0 0 0 27789 440 0 0 25 0 1 0 134284535 629755904 149354 4089446400 4194304 7136930 140735215038848 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 153749 149354 391 719 0 153028 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 614996 [startup+342.301 s] /proc/loadavg: 2.07 2.26 2.37 3/201 17086 /proc/meminfo: memFree=30583176/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=737988 CPUtime=342.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 180616 0 0 0 33682 548 0 0 25 0 1 0 134284535 755699712 179549 4089446400 4194304 7136930 140735215038848 18446744073709551615 5000537 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 184497 179549 391 719 0 183776 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 737988 [startup+402.301 s] /proc/loadavg: 2.02 2.21 2.35 3/201 17087 /proc/meminfo: memFree=30463072/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=867024 CPUtime=402.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 211145 0 0 0 39561 669 0 0 25 0 1 0 134284535 887832576 210078 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507342 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 216756 210078 391 719 0 216035 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 867024 [startup+462.301 s] /proc/loadavg: 2.01 2.17 2.32 3/201 17089 /proc/meminfo: memFree=30345828/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=979996 CPUtime=462.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 239719 0 0 0 45461 769 0 0 25 0 1 0 134284535 1003515904 238652 4089446400 4194304 7136930 140735215038848 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 244999 238652 391 719 0 244278 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 979996 [startup+522.301 s] /proc/loadavg: 2.00 2.14 2.30 3/201 17091 /proc/meminfo: memFree=30257956/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1069348 CPUtime=522.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 262164 0 0 0 51371 859 0 0 25 0 1 0 134284535 1095012352 261097 4089446400 4194304 7136930 140735215038848 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 267337 261097 391 719 0 266616 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1069348 [startup+582.301 s] /proc/loadavg: 2.00 2.11 2.28 3/201 17092 /proc/meminfo: memFree=30172936/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1148968 CPUtime=582.3 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 282333 0 0 0 57295 935 0 0 25 0 1 0 134284535 1176543232 281266 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507457 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 287242 281266 391 719 0 286521 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1148968 [startup+642.3 s] /proc/loadavg: 2.00 2.09 2.26 3/201 17094 /proc/meminfo: memFree=30112716/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1208768 CPUtime=642.31 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 297296 0 0 0 63225 1006 0 0 25 0 1 0 134284535 1237778432 296229 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 302192 296229 391 719 0 301471 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1208768 [startup+702.3 s] ################ # More data... # ################ /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 402288 0 0 0 98719 1513 0 0 25 0 1 0 134284535 1666314240 401221 4089446400 4194304 7136930 140735215038848 18446744073709551615 5000151 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 406815 401221 391 719 0 406094 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1627260 [startup+1062.3 s] /proc/loadavg: 2.03 2.05 2.17 3/201 17105 /proc/meminfo: memFree=29628152/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1690424 CPUtime=1062.32 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 418295 0 0 0 104606 1626 0 0 25 0 1 0 134284535 1730994176 417228 4089446400 4194304 7136930 140735215038848 18446744073709551615 4647778 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 422606 417228 391 719 0 421885 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1690424 [startup+1122.3 s] /proc/loadavg: 2.01 2.04 2.16 3/201 17107 /proc/meminfo: memFree=29538812/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1793116 CPUtime=1122.32 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 440095 0 0 0 110503 1729 0 0 25 0 1 0 134284535 1836150784 439028 4089446400 4194304 7136930 140735215038848 18446744073709551615 4589525 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 448279 439028 391 719 0 447558 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1793116 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.15 3/201 17108 /proc/meminfo: memFree=29467560/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1865156 CPUtime=1182.32 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 458105 0 0 0 116413 1819 0 0 25 0 1 0 134284535 1909919744 457038 4089446400 4194304 7136930 140735215038848 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 466289 457038 391 719 0 465568 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1865156 [startup+1242.3 s] /proc/loadavg: 2.05 2.04 2.14 3/201 17110 /proc/meminfo: memFree=29420360/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1911752 CPUtime=1242.32 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 469696 0 0 0 122338 1894 0 0 25 0 1 0 134284535 1957634048 468629 4089446400 4194304 7136930 140735215038848 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 477938 468629 391 719 0 477217 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1911752 [startup+1302.3 s] /proc/loadavg: 2.02 2.03 2.13 3/201 17111 /proc/meminfo: memFree=29334616/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=1994832 CPUtime=1302.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 490810 0 0 0 128233 2000 0 0 25 0 1 0 134284535 2042707968 489743 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 498708 489743 391 719 0 497987 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1994832 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.12 3/201 17113 /proc/meminfo: memFree=29246504/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2084308 CPUtime=1362.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 513297 0 0 0 134132 2101 0 0 25 0 1 0 134284535 2134331392 512230 4089446400 4194304 7136930 140735215038848 18446744073709551615 5951498 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 521077 512230 391 719 0 520356 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2084308 [startup+1422.31 s] /proc/loadavg: 2.04 2.03 2.11 3/201 17115 /proc/meminfo: memFree=29166940/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2161176 CPUtime=1422.34 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 532617 0 0 0 140031 2203 0 0 25 0 1 0 134284535 2213044224 531550 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 540294 531550 391 719 0 539573 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2161176 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.10 3/201 17116 /proc/meminfo: memFree=29083536/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2245668 CPUtime=1482.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 553911 0 0 0 145924 2309 0 0 25 0 1 0 134284535 2299564032 552844 4089446400 4194304 7136930 140735215038848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 561417 552844 391 719 0 560696 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2245668 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.09 3/201 17118 /proc/meminfo: memFree=29013400/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2312416 CPUtime=1542.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 570789 0 0 0 151839 2394 0 0 25 0 1 0 134284535 2367913984 569722 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 578104 569722 391 719 0 577383 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2312416 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.08 3/201 17119 /proc/meminfo: memFree=28924432/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2401460 CPUtime=1602.34 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 593205 0 0 0 157736 2498 0 0 25 0 1 0 134284535 2459095040 592138 4089446400 4194304 7136930 140735215038848 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 600365 592138 391 719 0 599644 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2401460 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.08 3/201 17121 /proc/meminfo: memFree=28838172/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2485144 CPUtime=1662.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 614314 0 0 0 163633 2600 0 0 25 0 1 0 134284535 2544787456 613247 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 621286 613247 391 719 0 620565 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2485144 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.07 3/201 17123 /proc/meminfo: memFree=28754536/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2569196 CPUtime=1722.33 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 635481 0 0 0 169535 2698 0 0 25 0 1 0 134284535 2630856704 634414 4089446400 4194304 7136930 140735215038848 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 642299 634414 391 719 0 641578 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2569196 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.06 3/201 17133 /proc/meminfo: memFree=28675212/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2646376 CPUtime=1782.34 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 654799 0 0 0 175440 2794 0 0 25 0 1 0 134284535 2709889024 653732 4089446400 4194304 7136930 140735215038848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 661594 653732 391 719 0 660873 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2646376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.06 4/201 17134 /proc/meminfo: memFree=28645856/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2674892 CPUtime=1800.04 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 661974 0 0 0 177180 2824 0 0 25 0 1 0 134284535 2739089408 660907 4089446400 4194304 7136930 140735215038848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17027/statm: 668723 660907 391 719 0 668002 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2674892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17027 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.06 3/202 17135 /proc/meminfo: memFree=28645840/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2674892 CPUtime=1801.44 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 661993 0 0 0 177320 2824 0 0 19 0 1 0 134284535 2739089408 660926 4089446400 4194304 7136930 140735215038848 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17027/statm: 668723 660926 397 719 0 668002 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2674892 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.06 3/202 17135 /proc/meminfo: memFree=28645840/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2674892 CPUtime=1801.84 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 661993 0 0 0 177360 2824 0 0 20 0 1 0 134284535 2739089408 660926 4089446400 4194304 7136930 140735215038848 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17027/statm: 668723 660926 397 719 0 668002 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2674892 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.06 3/202 17135 /proc/meminfo: memFree=28645840/32951124 swapFree=67111528/67111528 [pid=17027] ppid=17025 vsize=2674892 CPUtime=1802.04 /proc/17027/stat : 17027 (pbscip.linux.x8) R 17025 17027 16660 0 -1 4202496 661993 0 0 0 177380 2824 0 0 21 0 1 0 134284535 2739089408 660926 4089446400 4194304 7136930 140735215038848 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/17027/statm: 668723 660926 397 719 0 668002 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2674892 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.15 CPU user time (s): 1773.81 CPU system time (s): 28.3417 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2674892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1773.81 system time used= 28.3417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 661993 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= 3 involuntary context switches= 36587 runsolver used 2.88956 second user time and 6.68698 second system time The end
Begin job on node134 at 2010-06-30 22:31:24 IDJOB=2693677 IDBENCH=79301 IDSOLVER=1206 FILE ID=node134/2693677-1277929884 PBS_JOBID= 11197372 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195--soft-0-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-2693677-1277929884/watcher-2693677-1277929884 -o /tmp/evaluation-result-2693677-1277929884/solver-2693677-1277929884 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693677-1277929884.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a4c39a3f1b80365b8ad34a89f93fc523 RANDOM SEED=231738516 node134.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.818 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.63 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.818 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.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.818 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: 32951124 kB MemFree: 29071664 kB Buffers: 218476 kB Cached: 1098300 kB SwapCached: 0 kB Active: 3016528 kB Inactive: 716168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29071664 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 2415384 kB Mapped: 16096 kB Slab: 80896 kB PageTables: 9580 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2599696 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node134 at 2010-06-30 23:01:26