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.13 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo |
| MD5SUM | e3f6753fad3114c64a2e1439cb62c0aa |
| 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 | 84.5321 |
| 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 | 137946 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137945 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 741 |
| 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-2693631-1277927591.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 137945
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.379450e+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.20 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.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.379450e+05 | Inf
3.20/3.27 o 508
3.20/3.27 c * 3.2s| 9740 | 9310 | 0 | 0.0 | 24M|2816 | - |5645 |6771 | 0 | 0 | 0 |1357 | 0 | 0.000000e+00 | 5.080000e+02 | Inf
3.20/3.27 o 467
3.20/3.27 c * 3.2s| 9741 | 8589 | 0 | 0.0 | 24M|2816 | - |5645 |6771 | 0 | 0 | 0 |1357 | 0 | 0.000000e+00 | 4.670000e+02 | Inf
3.30/3.33 o 458
3.30/3.33 c * 3.2s| 9870 | 8449 | 0 | 0.0 | 24M|2816 | - |5645 |6781 | 0 | 0 | 0 |1367 | 0 | 0.000000e+00 | 4.580000e+02 | Inf
3.30/3.33 o 417
3.30/3.33 c * 3.2s| 9871 | 7420 | 0 | 0.0 | 24M|2816 | - |5645 |6781 | 0 | 0 | 0 |1367 | 0 | 0.000000e+00 | 4.170000e+02 | Inf
3.30/3.39 c 3.3s| 10000 | 7545 | 0 | 0.0 | 24M|2816 | - |5645 |6801 | 0 | 0 | 0 |1387 | 0 | 0.000000e+00 | 4.170000e+02 | Inf
3.30/3.39 o 402
3.30/3.39 c * 3.3s| 10001 | 7174 | 0 | 0.0 | 24M|2816 | - |5645 |6801 | 0 | 0 | 0 |1387 | 0 | 0.000000e+00 | 4.020000e+02 | Inf
3.39/3.44 o 397
3.39/3.44 c * 3.4s| 10125 | 7150 | 0 | 0.0 | 25M|2816 | - |5645 |6801 | 0 | 0 | 0 |1387 | 0 | 0.000000e+00 | 3.970000e+02 | Inf
3.49/3.56 o 383
3.49/3.56 c * 3.5s| 10598 | 7417 | 0 | 0.0 | 24M|2816 | - |5645 |6841 | 0 | 0 | 0 |1427 | 0 | 0.000000e+00 | 3.830000e+02 | Inf
3.59/3.63 o 333
3.59/3.63 c * 3.5s| 10812 | 7452 | 0 | 0.0 | 24M|2816 | - |5645 |6871 | 0 | 0 | 0 |1457 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
3.59/3.63 o 315
3.59/3.63 c * 3.5s| 10813 | 7442 | 0 | 0.0 | 24M|2816 | - |5645 |6871 | 0 | 0 | 0 |1457 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
6.89/6.93 c 6.8s| 20000 | 14981 | 0 | 0.0 | 35M|2816 | - |5645 |7621 | 0 | 0 | 0 |8263 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
12.69/12.70 c 12.4s| 30000 | 20642 | 0 | 0.0 | 49M|2816 | - |5645 |9460 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
15.09/15.13 o 296
15.09/15.13 c *14.8s| 34724 | 24589 | 0 | 0.0 | 51M|2816 | - |5645 |8641 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
15.40/15.44 o 274
15.40/15.44 c *15.1s| 35225 | 24796 | 0 | 0.0 | 51M|2816 | - |5645 |8612 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
16.00/16.04 o 236
16.00/16.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.00/16.04 c *15.7s| 36223 | 25071 | 0 | 0.0 | 52M|2816 | - |5645 |8465 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
16.70/16.77 o 233
16.70/16.77 c *16.4s| 37391 | 26127 | 0 | 0.0 | 53M|2816 | - |5645 |8328 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
17.09/17.15 o 228
17.09/17.15 c *16.8s| 38191 | 26755 | 0 | 0.0 | 54M|2816 | - |5645 |8153 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.280000e+02 | Inf
17.60/17.67 o 192
17.60/17.67 c *17.3s| 39071 | 26324 | 0 | 0.0 | 54M|2816 | - |5645 |8076 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
17.60/17.67 o 188
17.60/17.67 c *17.3s| 39072 | 26168 | 0 | 0.0 | 54M|2816 | - |5645 |8076 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
17.79/17.81 o 180
17.79/17.81 c *17.4s| 39266 | 26066 | 0 | 0.0 | 54M|2816 | - |5645 |8037 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
18.29/18.30 c 17.9s| 40000 | 26760 | 0 | 0.0 | 54M|2816 | - |5645 |7970 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
18.79/18.89 o 169
18.79/18.89 c *18.5s| 40883 | 27235 | 0 | 0.0 | 56M|2816 | - |5645 |8021 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
18.79/18.89 o 157
18.79/18.89 c *18.5s| 40884 | 26861 | 0 | 0.0 | 54M|2816 | - |5645 |8021 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
19.00/19.08 o 141
19.00/19.08 c *18.7s| 41131 | 26812 | 0 | 0.0 | 55M|2816 | - |5645 |8010 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
19.00/19.08 o 136
19.00/19.08 c *18.7s| 41132 | 26658 | 0 | 0.0 | 54M|2816 | - |5645 |8010 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
20.59/20.60 o 118
20.59/20.60 c *20.2s| 43115 | 28329 | 0 | 0.0 | 56M|2816 | - |5645 |7953 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
20.69/20.80 o 114
20.69/20.80 c *20.4s| 43447 | 28550 | 0 | 0.0 | 57M|2816 | - |5645 |7911 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
20.69/20.80 o 96
20.69/20.80 c *20.4s| 43448 | 27970 | 0 | 0.0 | 56M|2816 | - |5645 |7911 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
25.09/25.15 o 76
25.09/25.15 c *24.6s| 49481 | 31850 | 0 | 0.0 | 63M|2816 | - |5645 |7711 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
25.69/25.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.75 c 25.2s| 50000 | 32241 | 0 | 0.0 | 66M|2816 | - |5645 |8098 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
25.89/25.90 o 68
25.89/25.90 c *25.4s| 50303 | 31833 | 0 | 0.0 | 65M|2816 | - |5645 |8074 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
27.59/27.66 o 49
27.59/27.66 c *27.1s| 53445 | 33456 | 0 | 0.0 | 67M|2816 | - |5645 |7259 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
28.99/29.07 o 39
28.99/29.07 c *28.5s| 55516 | 34481 | 0 | 0.0 | 69M|2816 | - |5645 |7427 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
30.89/30.99 c 30.4s| 60000 | 38262 | 0 | 0.0 | 74M|2816 | - |5645 |7642 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
34.99/35.05 c 34.3s| 70000 | 46558 | 0 | 0.0 | 84M|2816 | - |5645 |7951 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
38.89/38.97 c 38.1s| 80000 | 54964 | 0 | 0.0 | 95M|2816 | - |5645 |7385 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
43.30/43.34 c 42.4s| 90000 | 62709 | 0 | 0.0 | 105M|2816 | - |5645 |7907 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
48.19/48.22 c 47.2s|100000 | 69992 | 0 | 0.0 | 116M|2816 | - |5645 |8319 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
53.80/53.87 c 52.8s|110000 | 76565 | 0 | 0.0 | 128M|2816 | - |5645 |9000 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
59.59/59.65 c 58.4s|120000 | 83004 | 0 | 0.0 | 139M|2816 | - |5645 |9556 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
66.00/66.07 c 64.7s|130000 | 88942 | 0 | 0.0 | 150M|2816 | - |5645 | 10k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
72.79/72.88 c 71.4s|140000 | 94632 | 0 | 0.0 | 162M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
80.30/80.32 c 78.7s|150000 | 99826 | 0 | 0.0 | 173M|2816 | - |5645 | 11k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
89.40/89.47 c 87.8s|160000 |103828 | 0 | 0.0 | 185M|2816 | - |5645 | 12k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
100.29/100.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.29/100.33 c 98.5s|170000 |105686 | 0 | 0.0 | 191M|2816 | - |5645 |9715 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
102.50/102.56 o 34
102.50/102.56 c * 101s|174128 |108980 | 0 | 0.0 | 196M|2816 | - |5645 |6901 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
102.50/102.57 o 29
102.50/102.57 c * 101s|174129 |108043 | 0 | 0.0 | 194M|2816 | - |5645 |6901 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
105.90/105.96 c 104s|180000 |112979 | 0 | 0.0 | 204M|2816 | - |5645 |7072 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
108.70/108.79 o 28
108.70/108.79 c * 107s|184677 |116666 | 0 | 0.0 | 212M|2816 | - |5645 |7347 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
112.39/112.41 c 110s|190000 |120901 | 0 | 0.0 | 221M|2816 | - |5645 |7510 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
117.09/117.19 o 26
117.09/117.19 c * 115s|196691 |124369 | 0 | 0.0 | 222M|2816 | - |5645 |8195 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
119.80/119.86 c 118s|200000 |126889 | 0 | 0.0 | 228M|2816 | - |5645 |8513 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
120.59/120.66 o 24
120.59/120.66 c * 118s|200925 |127443 | 0 | 0.0 | 229M|2816 | - |5645 |8811 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
120.59/120.66 o 14
120.59/120.66 c * 118s|200926 |126056 | 0 | 0.0 | 221M|2816 | - |5645 |8811 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
128.99/129.06 c 127s|210000 |132025 | 0 | 0.0 | 236M|2816 | - |5645 | 10k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
139.90/139.93 c 137s|220000 |136747 | 0 | 0.0 | 247M|2816 | - |5645 |8843 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
144.00/144.05 o 9
144.00/144.05 c * 141s|227446 |140698 | 0 | 0.0 | 248M|2816 | - |5645 |9451 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
146.39/146.43 c 144s|230000 |142073 | 0 | 0.0 | 252M|2816 | - |5645 | 10k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
153.09/153.10 c 150s|240000 |148601 | 0 | 0.0 | 268M|2816 | - |5645 |9473 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
159.99/160.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.99/160.02 c 157s|250000 |155910 | 0 | 0.0 | 281M|2816 | - |5645 | 10k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
169.40/169.41 c 166s|260000 |160471 | 0 | 0.0 | 295M|2816 | - |5645 | 11k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
175.59/175.68 c 172s|270000 |168454 | 0 | 0.0 | 315M|2816 | - |5645 | 11k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
181.09/181.12 c 178s|280000 |175444 | 0 | 0.0 | 325M|2816 | - |5645 |8075 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
186.19/186.26 c 183s|290000 |181942 | 0 | 0.0 | 335M|2816 | - |5645 |8455 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
190.60/190.67 c 187s|300000 |189389 | 0 | 0.0 | 345M|2816 | - |5645 |8848 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
195.50/195.51 c 192s|310000 |196254 | 0 | 0.0 | 355M|2816 | - |5645 |7953 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
199.80/199.82 c 196s|320000 |203998 | 0 | 0.0 | 366M|2816 | - |5645 |8473 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
205.49/205.53 c 202s|330000 |210195 | 0 | 0.0 | 376M|2816 | - |5645 |9996 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
209.89/209.95 c 206s|340000 |217574 | 0 | 0.0 | 385M|2816 | - |5645 |8313 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
215.00/215.04 c 211s|350000 |224437 | 0 | 0.0 | 395M|2816 | - |5645 |8206 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
219.80/219.90 c 216s|360000 |231498 | 0 | 0.0 | 406M|2816 | - |5645 |9912 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
224.30/224.34 c 220s|370000 |238991 | 0 | 0.0 | 415M|2816 | - |5645 |8608 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
229.39/229.43 c 225s|380000 |245712 | 0 | 0.0 | 425M|2816 | - |5645 |8146 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
234.80/234.87 c 230s|390000 |252050 | 0 | 0.0 | 436M|2816 | - |5645 | 11k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
238.50/238.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.50/238.52 c 234s|400000 |260403 | 0 | 0.0 | 444M|2816 | - |5645 |8683 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
243.39/243.42 c 238s|410000 |267490 | 0 | 0.0 | 454M|2816 | - |5645 |8300 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
248.40/248.43 c 243s|420000 |274424 | 0 | 0.0 | 464M|2816 | - |5645 |8536 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
252.29/252.39 c 247s|430000 |282518 | 0 | 0.0 | 473M|2816 | - |5645 |8750 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
257.90/257.94 c 253s|440000 |288926 | 0 | 0.0 | 484M|2816 | - |5645 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
262.20/262.27 c 257s|450000 |296606 | 0 | 0.0 | 494M|2816 | - |5645 |9918 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
266.70/266.73 c 261s|460000 |304156 | 0 | 0.0 | 503M|2816 | - |5645 |8868 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
271.40/271.47 c 266s|470000 |311449 | 0 | 0.0 | 513M|2816 | - |5645 |9434 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
276.10/276.15 c 270s|480000 |318759 | 0 | 0.0 | 523M|2816 | - |5645 |8980 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
280.80/280.81 c 275s|490000 |326020 | 0 | 0.0 | 532M|2816 | - |5645 |9287 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
285.49/285.54 c 279s|500000 |333302 | 0 | 0.0 | 542M|2816 | - |5645 |8354 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
290.00/290.06 c 284s|510000 |340698 | 0 | 0.0 | 552M|2816 | - |5645 |9650 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
295.19/295.21 c 289s|520000 |347562 | 0 | 0.0 | 562M|2816 | - |5645 |9154 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
300.00/300.02 c 293s|530000 |354709 | 0 | 0.0 | 572M|2816 | - |5645 |8891 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
304.70/304.78 c 298s|540000 |361875 | 0 | 0.0 | 582M|2816 | - |5645 |9298 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
309.39/309.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.39/309.45 c 303s|550000 |369235 | 0 | 0.0 | 591M|2816 | - |5645 |5339 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
312.99/313.07 c 306s|560000 |377431 | 0 | 0.0 | 601M|2816 | - |5645 |5171 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
317.69/317.76 c 311s|570000 |384286 | 0 | 0.0 | 609M|2816 | - |5645 |6152 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
323.70/323.78 c 317s|580000 |390176 | 0 | 0.0 | 620M|2816 | - |5645 |7485 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
330.69/330.71 c 323s|590000 |395324 | 0 | 0.0 | 631M|2816 | - |5645 |8295 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
338.30/338.34 c 331s|600000 |399915 | 0 | 0.0 | 641M|2816 | - |5645 |7662 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
345.90/345.97 c 338s|610000 |404316 | 0 | 0.0 | 650M|2816 | - |5645 |7503 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
353.50/353.56 c 346s|620000 |408643 | 0 | 0.0 | 660M|2816 | - |5645 |8298 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
361.60/361.60 c 354s|630000 |412636 | 0 | 0.0 | 669M|2816 | - |5645 |9474 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
369.70/369.79 c 362s|640000 |416656 | 0 | 0.0 | 678M|2816 | - |5645 |8779 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
378.30/378.34 c 370s|650000 |420321 | 0 | 0.0 | 688M|2816 | - |5645 |8836 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
386.60/386.69 c 378s|660000 |424123 | 0 | 0.0 | 698M|2816 | - |5645 |9344 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
395.40/395.45 c 387s|670000 |427640 | 0 | 0.0 | 707M|2816 | - |5645 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
404.30/404.31 c 396s|680000 |431121 | 0 | 0.0 | 717M|2816 | - |5645 | 10k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
413.30/413.30 c 405s|690000 |434418 | 0 | 0.0 | 727M|2816 | - |5645 | 10k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
422.60/422.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.60/422.60 c 414s|700000 |437494 | 0 | 0.0 | 736M|2816 | - |5645 | 11k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
432.10/432.19 c 423s|710000 |440392 | 0 | 0.0 | 744M|2816 | - |5645 | 11k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
442.20/442.23 c 433s|720000 |442848 | 0 | 0.0 | 751M|2816 | - |5645 | 11k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
452.40/452.45 c 443s|730000 |445257 | 0 | 0.0 | 759M|2816 | - |5645 | 12k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
463.60/463.68 c 454s|740000 |446650 | 0 | 0.0 | 765M|2816 | - |5645 | 13k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
476.10/476.17 c 467s|750000 |447355 | 0 | 0.0 | 771M|2816 | - |5645 | 14k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
490.80/490.88 c 481s|760000 |445575 | 0 | 0.0 | 773M|2816 | - |5645 | 13k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
498.80/498.86 c 489s|770000 |447168 | 0 | 0.0 | 767M|2816 | - |5645 |6586 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
502.91/502.97 c 493s|780000 |455316 | 0 | 0.0 | 777M|2816 | - |5645 |6541 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
507.20/507.27 c 497s|790000 |463201 | 0 | 0.0 | 787M|2816 | - |5645 |6782 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
510.00/510.01 o 8
510.00/510.01 c * 500s|796072 |466687 | 0 | 0.0 | 789M|2816 | - |5645 |7005 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
512.10/512.12 c 502s|800000 |469594 | 0 | 0.0 | 794M|2816 | - |5645 |7421 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
517.60/517.62 c 507s|810000 |476840 | 0 | 0.0 | 806M|2816 | - |5645 |7984 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
523.11/523.13 c 513s|820000 |484008 | 0 | 0.0 | 818M|2816 | - |5645 |7994 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
524.00/524.09 o 6
524.00/524.09 c * 514s|821564 |483143 | 0 | 0.0 | 812M|2816 | - |5645 |8088 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
529.01/529.10 o 5
529.01/529.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.01/529.10 c * 518s|829036 |486973 | 0 | 0.0 | 819M|2816 | - |5645 |8599 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
529.80/529.80 c 519s|830000 |487585 | 0 | 0.0 | 820M|2816 | - |5645 |8688 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
536.60/536.62 c 526s|840000 |494000 | 0 | 0.0 | 834M|2816 | - |5645 |9128 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
543.80/543.84 c 533s|850000 |499748 | 0 | 0.0 | 847M|2816 | - |5645 |9385 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
550.70/550.75 c 540s|860000 |505616 | 0 | 0.0 | 859M|2816 | - |5645 |8702 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
557.81/557.83 c 547s|870000 |511085 | 0 | 0.0 | 869M|2816 | - |5645 |7664 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
564.21/564.23 c 553s|880000 |516814 | 0 | 0.0 | 880M|2816 | - |5645 |7661 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
571.11/571.14 c 560s|890000 |522115 | 0 | 0.0 | 889M|2816 | - |5645 |7887 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
577.41/577.48 c 566s|900000 |527893 | 0 | 0.0 | 899M|2816 | - |5645 |7926 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
583.70/583.79 c 572s|910000 |533753 | 0 | 0.0 | 908M|2816 | - |5645 |8665 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
590.21/590.27 c 578s|920000 |539648 | 0 | 0.0 | 918M|2816 | - |5645 |9250 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
596.91/596.92 c 585s|930000 |545478 | 0 | 0.0 | 928M|2816 | - |5645 |9981 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
604.01/604.02 c 592s|940000 |551006 | 0 | 0.0 | 938M|2816 | - |5645 | 10k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
611.51/611.58 c 599s|950000 |556283 | 0 | 0.0 | 947M|2816 | - |5645 | 11k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
619.81/619.85 c 607s|960000 |561304 | 0 | 0.0 | 957M|2816 | - |5645 | 12k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
626.41/626.44 o 2
626.41/626.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.41/626.44 c * 614s|966931 |540834 | 0 | 0.0 | 930M|2816 | - |5645 | 13k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
630.50/630.52 c 618s|970000 |541863 | 0 | 0.0 | 936M|2816 | - |5645 | 13k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
642.51/642.57 c 630s|980000 |542922 | 0 | 0.0 | 940M|2816 | - |5645 |7753 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
651.01/651.07 c 638s|990000 |546142 | 0 | 0.0 | 943M|2816 | - |5645 |5259 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.81/655.84 c 643s| 1000k|553295 | 0 | 0.0 | 953M|2816 | - |5645 |5785 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.81/660.80 c 647s| 1010k|560144 | 0 | 0.0 | 963M|2816 | - |5645 |6293 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
666.40/666.46 c 653s| 1020k|566380 | 0 | 0.0 | 973M|2816 | - |5645 |6827 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.60/672.62 c 659s| 1030k|572142 | 0 | 0.0 | 982M|2816 | - |5645 |6883 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
679.81/679.80 c 666s| 1040k|576787 | 0 | 0.0 | 992M|2816 | - |5645 |7589 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
688.51/688.52 c 675s| 1050k|580020 | 0 | 0.0 |1002M|2816 | - |5645 |8851 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.71/698.79 c 685s| 1060k|581727 | 0 | 0.0 |1006M|2816 | - |5645 |6640 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.11/703.10 c 689s| 1070k|589271 | 0 | 0.0 |1016M|2816 | - |5645 |5869 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
707.80/707.82 c 693s| 1080k|596233 | 0 | 0.0 |1026M|2816 | - |5645 |6164 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.91/712.95 c 698s| 1090k|602752 | 0 | 0.0 |1035M|2816 | - |5645 |6443 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
719.21/719.27 c 705s| 1100k|608295 | 0 | 0.0 |1047M|2816 | - |5645 |6635 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
725.01/725.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.01/725.04 c 710s| 1110k|614240 | 0 | 0.0 |1057M|2816 | - |5645 |6664 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
731.11/731.13 c 716s| 1120k|619835 | 0 | 0.0 |1065M|2816 | - |5645 |6524 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.30/737.30 c 722s| 1130k|625391 | 0 | 0.0 |1075M|2816 | - |5645 |6931 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
743.31/743.37 c 728s| 1140k|631028 | 0 | 0.0 |1083M|2816 | - |5645 |7087 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
749.61/749.64 c 734s| 1150k|636493 | 0 | 0.0 |1092M|2816 | - |5645 |7339 | 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.21/756.20 c 741s| 1160k|641750 | 0 | 0.0 |1102M|2816 | - |5645 |7439 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.91/763.95 c 748s| 1170k|645900 | 0 | 0.0 |1111M|2816 | - |5645 |8338 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.71/774.71 c 759s| 1180k|646909 | 0 | 0.0 |1118M|2816 | - |5645 | 10k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.51/779.58 c 764s| 1190k|653929 | 0 | 0.0 |1125M|2816 | - |5645 |5928 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.71/783.76 c 768s| 1200k|661602 | 0 | 0.0 |1134M|2816 | - |5645 |6104 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
788.50/788.60 c 772s| 1210k|668693 | 0 | 0.0 |1144M|2816 | - |5645 |6586 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.12/794.14 c 778s| 1220k|675066 | 0 | 0.0 |1153M|2816 | - |5645 |7224 | 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.31/800.38 c 784s| 1230k|680843 | 0 | 0.0 |1163M|2816 | - |5645 |7595 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.61/807.66 c 791s| 1240k|685568 | 0 | 0.0 |1172M|2816 | - |5645 |8205 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.81/815.81 c 799s| 1250k|689331 | 0 | 0.0 |1181M|2816 | - |5645 |7685 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.91/822.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.91/822.99 c 806s| 1260k|693930 | 0 | 0.0 |1188M|2816 | - |5645 |6970 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
828.41/828.43 c 811s| 1270k|700113 | 0 | 0.0 |1197M|2816 | - |5645 |6927 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
833.72/833.78 c 816s| 1280k|706500 | 0 | 0.0 |1206M|2816 | - |5645 |7364 | 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.62/839.64 c 822s| 1290k|712436 | 0 | 0.0 |1216M|2816 | - |5645 |8221 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.71/846.75 c 829s| 1300k|717296 | 0 | 0.0 |1226M|2816 | - |5645 |9412 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.41/855.44 c 838s| 1310k|720799 | 0 | 0.0 |1236M|2816 | - |5645 | 10k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
865.72/865.74 c 848s| 1320k|722874 | 0 | 0.0 |1241M|2816 | - |5645 |7937 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.51/870.55 c 852s| 1330k|729896 | 0 | 0.0 |1250M|2816 | - |5645 |6567 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.11/875.18 c 857s| 1340k|737148 | 0 | 0.0 |1260M|2816 | - |5645 |6661 | 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.11/880.16 c 862s| 1350k|744022 | 0 | 0.0 |1270M|2816 | - |5645 |7406 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.81/885.88 c 867s| 1360k|750185 | 0 | 0.0 |1280M|2816 | - |5645 |7852 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
892.61/892.64 c 874s| 1370k|755389 | 0 | 0.0 |1289M|2816 | - |5645 |8460 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
901.51/901.54 c 883s| 1380k|758526 | 0 | 0.0 |1298M|2816 | - |5645 |9812 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
910.72/910.71 c 892s| 1390k|761285 | 0 | 0.0 |1303M|2816 | - |5645 |6744 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.12/915.18 c 896s| 1400k|768772 | 0 | 0.0 |1313M|2816 | - |5645 |6501 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.81/919.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.81/919.82 c 901s| 1410k|776033 | 0 | 0.0 |1322M|2816 | - |5645 |6584 | 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
924.71/924.79 c 905s| 1420k|783053 | 0 | 0.0 |1332M|2816 | - |5645 |6618 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.72/929.75 c 910s| 1430k|789963 | 0 | 0.0 |1341M|2816 | - |5645 |6768 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
935.02/935.07 c 915s| 1440k|796486 | 0 | 0.0 |1351M|2816 | - |5645 |7068 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.31/940.35 c 921s| 1450k|803064 | 0 | 0.0 |1360M|2816 | - |5645 |7330 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
946.11/946.16 c 926s| 1460k|809117 | 0 | 0.0 |1370M|2816 | - |5645 |7588 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.62/952.66 c 933s| 1470k|814469 | 0 | 0.0 |1379M|2816 | - |5645 |8293 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.51/959.51 c 939s| 1480k|819653 | 0 | 0.0 |1388M|2816 | - |5645 |8853 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.01/967.08 c 947s| 1490k|824209 | 0 | 0.0 |1397M|2816 | - |5645 |9373 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.92/974.93 c 954s| 1500k|828556 | 0 | 0.0 |1406M|2816 | - |5645 |9852 | 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.42/983.46 c 963s| 1510k|832347 | 0 | 0.0 |1415M|2816 | - |5645 | 10k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
994.71/994.79 c 974s| 1520k|833153 | 0 | 0.0 |1419M|2816 | - |5645 | 10k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.12/999.12 c 978s| 1530k|840932 | 0 | 0.0 |1428M|2816 | - |5645 |7050 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1003.41/1003.43 c 982s| 1540k|848461 | 0 | 0.0 |1437M|2816 | - |5645 |7277 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.42/1008.41 c 987s| 1550k|855328 | 0 | 0.0 |1447M|2816 | - |5645 |7861 | 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1013.62/1013.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.62/1013.69 c 992s| 1560k|861910 | 0 | 0.0 |1457M|2816 | - |5645 |8252 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1019.41/1019.44 c 998s| 1570k|867903 | 0 | 0.0 |1468M|2816 | - |5645 |8827 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.12/1026.18 c 1005s| 1580k|873071 | 0 | 0.0 |1477M|2816 | - |5645 |9539 | 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.41/1033.45 c 1012s| 1590k|877645 | 0 | 0.0 |1486M|2816 | - |5645 | 10k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1043.31/1043.36 c 1021s| 1600k|880133 | 0 | 0.0 |1491M|2816 | - |5645 |7960 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.62/1047.66 c 1026s| 1610k|887868 | 0 | 0.0 |1501M|2816 | - |5645 |7203 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.01/1052.00 c 1030s| 1620k|895391 | 0 | 0.0 |1510M|2816 | - |5645 |7614 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1056.52/1056.59 c 1034s| 1630k|902581 | 0 | 0.0 |1519M|2816 | - |5645 |8204 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.21/1061.29 c 1039s| 1640k|909695 | 0 | 0.0 |1528M|2816 | - |5645 |8231 | 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1066.52/1066.51 c 1044s| 1650k|916277 | 0 | 0.0 |1537M|2816 | - |5645 |8703 | 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.12/1072.14 c 1049s| 1660k|922552 | 0 | 0.0 |1546M|2816 | - |5645 |9006 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.02/1079.03 c 1056s| 1670k|927696 | 0 | 0.0 |1556M|2816 | - |5645 | 10k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.71/1088.75 c 1066s| 1680k|930448 | 0 | 0.0 |1564M|2816 | - |5645 | 11k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.52/1096.59 c 1073s| 1690k|934860 | 0 | 0.0 |1570M|2816 | - |5645 |7228 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.62/1100.68 c 1077s| 1700k|942605 | 0 | 0.0 |1579M|2816 | - |5645 |7435 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.82/1104.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.82/1104.82 c 1081s| 1710k|950262 | 0 | 0.0 |1588M|2816 | - |5645 |7670 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1109.41/1109.41 c 1086s| 1720k|957493 | 0 | 0.0 |1596M|2816 | - |5645 |8076 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1114.42/1114.42 c 1091s| 1730k|964343 | 0 | 0.0 |1606M|2816 | - |5645 |8514 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1120.01/1120.09 c 1096s| 1740k|970621 | 0 | 0.0 |1615M|2816 | - |5645 |9130 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.02/1127.05 c 1103s| 1750k|975739 | 0 | 0.0 |1624M|2816 | - |5645 |9997 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.32/1136.33 c 1112s| 1760k|978807 | 0 | 0.0 |1633M|2816 | - |5645 | 11k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.72/1143.72 c 1120s| 1770k|983878 | 0 | 0.0 |1639M|2816 | - |5645 |7536 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1148.12/1148.10 c 1124s| 1780k|991556 | 0 | 0.0 |1648M|2816 | - |5645 |7851 | 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.62/1152.70 c 1128s| 1790k|998942 | 0 | 0.0 |1657M|2816 | - |5645 |8322 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.92/1157.95 c 1133s| 1800k| 1005k| 0 | 0.0 |1666M|2816 | - |5645 |8982 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1163.61/1163.60 c 1139s| 1810k| 1012k| 0 | 0.0 |1676M|2816 | - |5645 |9482 | 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1170.22/1170.29 c 1145s| 1820k| 1017k| 0 | 0.0 |1686M|2816 | - |5645 | 10k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.22/1178.29 c 1153s| 1830k| 1022k| 0 | 0.0 |1696M|2816 | - |5645 | 11k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.52/1189.50 c 1164s| 1840k| 1023k| 0 | 0.0 |1701M|2816 | - |5645 | 10k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.82/1193.86 c 1169s| 1850k| 1030k| 0 | 0.0 |1709M|2816 | - |5645 |7663 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.22/1198.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.22/1198.28 c 1173s| 1860k| 1038k| 0 | 0.0 |1719M|2816 | - |5645 |8147 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.22/1203.25 c 1178s| 1870k| 1045k| 0 | 0.0 |1728M|2816 | - |5645 |8476 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.62/1208.68 c 1183s| 1880k| 1052k| 0 | 0.0 |1738M|2816 | - |5645 |8936 | 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.12/1214.19 c 1188s| 1890k| 1059k| 0 | 0.0 |1747M|2816 | - |5645 |9518 | 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1220.03/1220.00 c 1194s| 1900k| 1065k| 0 | 0.0 |1755M|2816 | - |5645 | 10k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.72/1227.77 c 1202s| 1910k| 1069k| 0 | 0.0 |1764M|2816 | - |5645 | 11k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.22/1238.26 c 1212s| 1920k| 1072k| 0 | 0.0 |1772M|2816 | - |5645 | 13k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.12/1246.15 c 1220s| 1930k| 1077k| 0 | 0.0 |1777M|2816 | - |5645 |8349 | 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1250.73/1250.72 c 1224s| 1940k| 1084k| 0 | 0.0 |1786M|2816 | - |5645 |8332 | 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.82/1255.83 c 1229s| 1950k| 1091k| 0 | 0.0 |1796M|2816 | - |5645 |8708 | 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1261.32/1261.37 c 1235s| 1960k| 1098k| 0 | 0.0 |1805M|2816 | - |5645 |9402 | 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.82/1267.86 c 1241s| 1970k| 1104k| 0 | 0.0 |1815M|2816 | - |5645 | 10k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1275.72/1275.70 c 1249s| 1980k| 1108k| 0 | 0.0 |1824M|2816 | - |5645 | 10k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.62/1285.64 c 1258s| 1990k| 1111k| 0 | 0.0 |1833M|2816 | - |5645 | 12k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1292.92/1292.99 c 1266s| 2000k| 1117k| 0 | 0.0 |1839M|2816 | - |5645 |8489 | 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.03/1298.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.03/1298.00 c 1270s| 2010k| 1124k| 0 | 0.0 |1848M|2816 | - |5645 |8108 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.02/1303.08 c 1275s| 2020k| 1131k| 0 | 0.0 |1858M|2816 | - |5645 |8300 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1308.72/1308.72 c 1281s| 2030k| 1138k| 0 | 0.0 |1868M|2816 | - |5645 |8731 | 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.72/1314.72 c 1287s| 2040k| 1145k| 0 | 0.0 |1878M|2816 | - |5645 |8989 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1320.92/1320.94 c 1293s| 2050k| 1151k| 0 | 0.0 |1888M|2816 | - |5645 |9287 | 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1327.72/1327.72 c 1300s| 2060k| 1157k| 0 | 0.0 |1897M|2816 | - |5645 |9558 | 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1335.03/1335.05 c 1307s| 2070k| 1162k| 0 | 0.0 |1906M|2816 | - |5645 |9933 | 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1342.73/1342.74 c 1314s| 2080k| 1167k| 0 | 0.0 |1915M|2816 | - |5645 | 10k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1351.12/1351.19 c 1323s| 2090k| 1171k| 0 | 0.0 |1922M|2816 | - |5645 | 10k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.32/1360.32 c 1332s| 2100k| 1175k| 0 | 0.0 |1930M|2816 | - |5645 | 11k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1371.42/1371.47 c 1343s| 2110k| 1177k| 0 | 0.0 |1937M|2816 | - |5645 | 14k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.03/1377.07 c 1348s| 2120k| 1184k| 0 | 0.0 |1945M|2816 | - |5645 |8784 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.43/1382.44 c 1353s| 2130k| 1191k| 0 | 0.0 |1954M|2816 | - |5645 |9303 | 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1388.52/1388.54 c 1359s| 2140k| 1198k| 0 | 0.0 |1964M|2816 | - |5645 | 10k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.23/1395.23 c 1366s| 2150k| 1204k| 0 | 0.0 |1974M|2816 | - |5645 | 11k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.33/1403.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.33/1403.30 c 1374s| 2160k| 1208k| 0 | 0.0 |1984M|2816 | - |5645 | 12k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1413.93/1413.99 c 1384s| 2170k| 1211k| 0 | 0.0 |1992M|2816 | - |5645 | 15k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.72/1420.79 c 1391s| 2180k| 1217k| 0 | 0.0 |1998M|2816 | - |5645 |8853 | 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.93/1425.96 c 1396s| 2190k| 1224k| 0 | 0.0 |2008M|2816 | - |5645 |9443 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1431.83/1431.89 c 1402s| 2200k| 1231k| 0 | 0.0 |2018M|2816 | - |5645 |9945 | 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1438.42/1438.42 c 1408s| 2210k| 1237k| 0 | 0.0 |2027M|2816 | - |5645 |9984 | 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.02/1445.07 c 1415s| 2220k| 1243k| 0 | 0.0 |2037M|2816 | - |5645 | 10k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.13/1452.10 c 1422s| 2230k| 1249k| 0 | 0.0 |2046M|2816 | - |5645 |9958 | 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1459.13/1459.11 c 1428s| 2240k| 1254k| 0 | 0.0 |2054M|2816 | - |5645 | 10k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1465.82/1465.87 c 1435s| 2250k| 1260k| 0 | 0.0 |2062M|2816 | - |5645 | 10k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.72/1472.79 c 1442s| 2260k| 1266k| 0 | 0.0 |2071M|2816 | - |5645 | 10k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1480.22/1480.27 c 1449s| 2270k| 1271k| 0 | 0.0 |2079M|2816 | - |5645 | 10k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.63/1487.68 c 1456s| 2280k| 1276k| 0 | 0.0 |2088M|2816 | - |5645 |9915 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.13/1495.10 c 1464s| 2290k| 1281k| 0 | 0.0 |2096M|2816 | - |5645 |9686 | 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1501.63/1501.61 c 1470s| 2300k| 1287k| 0 | 0.0 |2103M|2816 | - |5645 |9611 | 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1507.93/1507.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.93/1507.94 c 1476s| 2310k| 1293k| 0 | 0.0 |2112M|2816 | - |5645 |9598 | 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.23/1514.20 c 1482s| 2320k| 1299k| 0 | 0.0 |2121M|2816 | - |5645 |9555 | 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1520.53/1520.54 c 1489s| 2330k| 1305k| 0 | 0.0 |2131M|2816 | - |5645 |9755 | 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.63/1526.68 c 1495s| 2340k| 1311k| 0 | 0.0 |2139M|2816 | - |5645 |9745 | 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1532.83/1532.87 c 1501s| 2350k| 1318k| 0 | 0.0 |2148M|2816 | - |5645 |9567 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.13/1539.16 c 1507s| 2360k| 1324k| 0 | 0.0 |2156M|2816 | - |5645 |9703 | 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1545.43/1545.44 c 1513s| 2370k| 1330k| 0 | 0.0 |2165M|2816 | - |5645 | 10k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1552.13/1552.14 c 1520s| 2380k| 1335k| 0 | 0.0 |2173M|2816 | - |5645 | 10k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1558.83/1558.82 c 1526s| 2390k| 1341k| 0 | 0.0 |2181M|2816 | - |5645 | 11k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1567.03/1567.05 c 1534s| 2400k| 1346k| 0 | 0.0 |2190M|2816 | - |5645 | 13k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.03/1577.09 c 1544s| 2410k| 1349k| 0 | 0.0 |2196M|2816 | - |5645 |9753 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1582.33/1582.39 c 1549s| 2420k| 1356k| 0 | 0.0 |2206M|2816 | - |5645 |8734 | 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.73/1587.71 c 1554s| 2430k| 1364k| 0 | 0.0 |2216M|2816 | - |5645 |9079 | 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.33/1593.38 c 1560s| 2440k| 1370k| 0 | 0.0 |2226M|2816 | - |5645 |9566 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.53/1599.59 c 1566s| 2450k| 1377k| 0 | 0.0 |2235M|2816 | - |5645 | 10k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.82/1606.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.82/1606.80 c 1573s| 2460k| 1383k| 0 | 0.0 |2245M|2816 | - |5645 | 11k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.23/1614.26 c 1580s| 2470k| 1388k| 0 | 0.0 |2254M|2816 | - |5645 | 12k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1623.13/1623.13 c 1589s| 2480k| 1393k| 0 | 0.0 |2262M|2816 | - |5645 | 13k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.83/1633.83 c 1600s| 2490k| 1396k| 0 | 0.0 |2271M|2816 | - |5645 | 15k| 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.03/1647.09 c 1613s| 2500k| 1398k| 0 | 0.0 |2278M|2816 | - |5645 | 18k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.43/1655.47 c 1621s| 2510k| 1403k| 0 | 0.0 |2283M|2816 | - |5645 |9126 | 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1661.53/1661.53 c 1627s| 2520k| 1410k| 0 | 0.0 |2293M|2816 | - |5645 | 10k| 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.33/1668.38 c 1634s| 2530k| 1416k| 0 | 0.0 |2302M|2816 | - |5645 | 11k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.93/1676.93 c 1642s| 2540k| 1420k| 0 | 0.0 |2312M|2816 | - |5645 | 12k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1687.44/1687.41 c 1652s| 2550k| 1423k| 0 | 0.0 |2320M|2816 | - |5645 | 15k| 0 | 0 | 0 |1991k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.63/1694.64 c 1660s| 2560k| 1429k| 0 | 0.0 |2326M|2816 | - |5645 |8950 | 0 | 0 | 0 |1998k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.63/1700.63 c 1665s| 2570k| 1436k| 0 | 0.0 |2336M|2816 | - |5645 |9904 | 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1707.13/1707.19 c 1672s| 2580k| 1442k| 0 | 0.0 |2345M|2816 | - |5645 | 10k| 0 | 0 | 0 |2009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1714.53/1714.53 c 1679s| 2590k| 1447k| 0 | 0.0 |2354M|2816 | - |5645 | 11k| 0 | 0 | 0 |2017k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1722.43/1722.44 c 1687s| 2600k| 1452k| 0 | 0.0 |2362M|2816 | - |5645 | 10k| 0 | 0 | 0 |2026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1729.63/1729.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.63/1729.69 c 1694s| 2610k| 1457k| 0 | 0.0 |2370M|2816 | - |5645 | 10k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1736.33/1736.31 c 1700s| 2620k| 1463k| 0 | 0.0 |2378M|2816 | - |5645 | 10k| 0 | 0 | 0 |2040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1743.13/1743.11 c 1707s| 2630k| 1469k| 0 | 0.0 |2387M|2816 | - |5645 | 12k| 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.63/1752.65 c 1716s| 2640k| 1472k| 0 | 0.0 |2397M|2816 | - |5645 | 15k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1767.43/1767.47 c 1731s| 2650k| 1473k| 0 | 0.0 |2403M|2816 | - |5645 | 12k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1781.54/1781.53 c 1745s| 2660k| 1475k| 0 | 0.0 |2411M|2816 | - |5645 | 13k| 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1796.83/1796.86 c 1760s| 2670k| 1475k| 0 | 0.0 |2419M|2816 | - |5645 | 14k| 0 | 0 | 0 |2097k| 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) : 1763.37
1800.04/1800.00 c Solving Nodes : 2671681
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (42 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 -x146
1800.04/1800.08 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v -x125 -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 : 1763.37
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693631-1277927591.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-2693631-1277927591.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, 20107 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.04 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.02 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 : - 2679 - - 5358 - - - -
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 6849150 0 1946697 114 1814326 0 0 0
1800.04/1800.08 c linear : 2707 0 8350198 0 2257393 543579 51895524 0 0 0
1800.04/1800.08 c logicor : 0+ 0 4042717 0 0 130296 1695854 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2257413 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.59 0.00 7.09 0.00 9.50
1800.04/1800.08 c linear : 477.35 0.00 475.17 0.00 2.18
1800.04/1800.08 c logicor : 208.92 0.00 208.92 0.00 0.00
1800.04/1800.08 c countsols : 0.61 0.00 0.00 0.00 0.61
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 2.29 2 0 0
1800.04/1800.08 c rootredcost : 1.64 0 0 0
1800.04/1800.08 c pseudoobj : 408.85 8352355 1984 1791759
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 37.83 675859 675859 3327070 21.5 340096 11.3 -
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.10 110 110 468 26.6 393 9.7 -
1800.04/1800.08 c applied globally : - - - 2100580 18.0 - - -
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 : 41.34 2257374 0 0 0 0 4514748
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.13 - 39
1800.04/1800.08 c oneopt : 0.95 0 0
1800.04/1800.08 c trivial : 0.08 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.76 0 0
1800.04/1800.08 c trysol : 0.79 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 : 2671681
1800.04/1800.08 c nodes (total) : 2671681
1800.04/1800.08 c nodes left : 1475695
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 383827 (14.4%)
1800.04/1800.08 c delayed cutoffs : 321097
1800.04/1800.08 c repropagations : 1601492 (17781632 domain reductions, 261815 cutoffs)
1800.04/1800.08 c avg switch length: 33.93
1800.04/1800.08 c switching time : 494.51
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 42 (40 improvements)
1800.04/1800.08 c First Solution : +1.37945000000000e+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 966931 nodes, 613.72 seconds, depth 98, 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-2693631-1277927591/watcher-2693631-1277927591 -o /tmp/evaluation-result-2693631-1277927591/solver-2693631-1277927591 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693631-1277927591.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.00 2.00 2.10 4/178 15532 /proc/meminfo: memFree=31122948/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=8600 CPUtime=0 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 1631 0 0 0 0 0 0 0 25 0 1 0 134055758 8806400 1554 4089446400 4194304 7136930 140735921725264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15532/statm: 2150 1558 275 719 0 1429 0 [startup+0.016933 s] /proc/loadavg: 2.00 2.00 2.10 4/178 15532 /proc/meminfo: memFree=31122948/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=12304 CPUtime=0.01 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 2572 0 0 0 1 0 0 0 25 0 1 0 134055758 12599296 2495 4089446400 4194304 7136930 140735921725264 18446744073709551615 4361567 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15532/statm: 3076 2495 275 719 0 2355 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12304 [startup+0.100921 s] /proc/loadavg: 2.00 2.00 2.10 4/178 15532 /proc/meminfo: memFree=31122948/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=33676 CPUtime=0.09 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 7966 0 0 0 9 0 0 0 25 0 1 0 134055758 34484224 7535 4089446400 4194304 7136930 140735921725264 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300887 s] /proc/loadavg: 2.00 2.00 2.10 4/178 15532 /proc/meminfo: memFree=31122948/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=36496 CPUtime=0.29 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 9240 0 0 0 28 1 0 0 25 0 1 0 134055758 37371904 8295 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700811 s] /proc/loadavg: 2.00 2.00 2.10 4/178 15532 /proc/meminfo: memFree=31122948/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=37636 CPUtime=0.69 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 9515 0 0 0 68 1 0 0 25 0 1 0 134055758 38539264 8570 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50067 s] /proc/loadavg: 2.00 2.00 2.10 3/179 15533 /proc/meminfo: memFree=31087852/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=42920 CPUtime=1.49 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 10841 0 0 0 146 3 0 0 25 0 1 0 134055758 43950080 9896 4089446400 4194304 7136930 140735921725264 18446744073709551615 4947661 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 10730 9896 390 719 0 10009 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42920 [startup+3.10039 s] /proc/loadavg: 2.00 2.00 2.10 3/179 15533 /proc/meminfo: memFree=31083264/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=45020 CPUtime=3.09 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 11377 0 0 0 303 6 0 0 25 0 1 0 134055758 46100480 10432 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 11255 10432 390 719 0 10534 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45020 [startup+6.30076 s] /proc/loadavg: 2.00 2.00 2.10 3/179 15534 /proc/meminfo: memFree=31073224/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=58520 CPUtime=6.29 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 14671 0 0 0 616 13 0 0 25 0 1 0 134055758 59924480 13726 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 14630 13726 391 719 0 13909 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58520 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31644592/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=78844 CPUtime=12.69 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 19630 0 0 0 1243 26 0 0 25 0 1 0 134055758 80736256 18685 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 19711 18685 391 719 0 18990 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78844 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31565500/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=111244 CPUtime=25.49 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 27525 0 0 0 2501 48 0 0 25 0 1 0 134055758 113913856 26580 4089446400 4194304 7136930 140735921725264 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 27811 26580 391 719 0 27090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111244 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.09 3/179 15561 /proc/meminfo: memFree=31416956/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=180456 CPUtime=51.09 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 44287 0 0 0 5005 104 0 0 25 0 1 0 134055758 184786944 43342 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 45114 43342 391 719 0 44393 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 180456 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15563 /proc/meminfo: memFree=31177336/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=269128 CPUtime=102.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 66194 0 0 0 10045 185 0 0 25 0 1 0 134055758 275587072 65249 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 67282 65249 391 719 0 66561 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269128 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 15565 /proc/meminfo: memFree=30888356/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=399432 CPUtime=162.29 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 96363 0 0 0 15932 297 0 0 25 0 1 0 134055758 409018368 95418 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 99858 95418 391 719 0 99137 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 399432 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15593 /proc/meminfo: memFree=31205640/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=533192 CPUtime=222.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 128214 0 0 0 21790 440 0 0 25 0 1 0 134055758 545988608 127269 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 133298 127269 391 719 0 132577 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 533192 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 15594 /proc/meminfo: memFree=31068032/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=668864 CPUtime=282.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 162496 0 0 0 27625 605 0 0 25 0 1 0 134055758 684916736 161551 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 167216 161551 391 719 0 166495 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 668864 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 15596 /proc/meminfo: memFree=30953532/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=781176 CPUtime=342.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 190622 0 0 0 33485 745 0 0 25 0 1 0 134055758 799924224 189677 4089446400 4194304 7136930 140735921725264 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 195294 189677 391 719 0 194573 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 781176 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.05 3/179 15598 /proc/meminfo: memFree=30882316/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=851508 CPUtime=402.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 208218 0 0 0 39385 845 0 0 25 0 1 0 134055758 871944192 207273 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 212877 207273 391 719 0 212156 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 851508 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 15600 /proc/meminfo: memFree=30825100/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=909136 CPUtime=462.31 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 222595 0 0 0 45296 935 0 0 25 0 1 0 134055758 930955264 221650 4089446400 4194304 7136930 140735921725264 18446744073709551615 4926174 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 227284 221650 391 719 0 226563 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 909136 [startup+522.301 s] /proc/loadavg: 2.05 2.01 2.05 3/179 15610 /proc/meminfo: memFree=30770148/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=972396 CPUtime=522.3 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 236400 0 0 0 51184 1046 0 0 25 0 1 0 134055758 995733504 235455 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 243099 235455 391 719 0 242378 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 972396 [startup+582.3 s] /proc/loadavg: 2.02 2.01 2.04 3/179 15611 /proc/meminfo: memFree=30668052/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1073628 CPUtime=582.31 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 261688 0 0 0 57051 1180 0 0 25 0 1 0 134055758 1099395072 260743 4089446400 4194304 7136930 140735921725264 18446744073709551615 4960264 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 268407 260743 391 719 0 267686 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1073628 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.04 3/179 15613 /proc/meminfo: memFree=30613068/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1126864 CPUtime=642.31 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 275198 0 0 0 62935 1296 0 0 25 0 1 0 134055758 1153908736 274253 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 281716 274253 391 719 0 280995 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1126864 [startup+702.301 s] ################ # More data... # ################ /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 394002 0 0 0 98128 2103 0 0 25 0 1 0 134055758 1637556224 393057 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 399794 393057 391 719 0 399073 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1599176 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15625 /proc/meminfo: memFree=30030172/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1705816 CPUtime=1062.31 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 420777 0 0 0 103989 2242 0 0 25 0 1 0 134055758 1746755584 419832 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 426454 419832 391 719 0 425733 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1705816 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15626 /proc/meminfo: memFree=29944808/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1788844 CPUtime=1122.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 441711 0 0 0 109855 2377 0 0 25 0 1 0 134055758 1831776256 440766 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 447211 440766 391 719 0 446490 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1788844 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15627 /proc/meminfo: memFree=29867132/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1881468 CPUtime=1182.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 461038 0 0 0 115725 2507 0 0 25 0 1 0 134055758 1926623232 460093 4089446400 4194304 7136930 140735921725264 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 470367 460093 391 719 0 469646 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1881468 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15629 /proc/meminfo: memFree=29794296/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=1953624 CPUtime=1242.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 479216 0 0 0 121595 2637 0 0 25 0 1 0 134055758 2000510976 478271 4089446400 4194304 7136930 140735921725264 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 488406 478271 391 719 0 487685 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1953624 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15631 /proc/meminfo: memFree=29709188/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2037476 CPUtime=1302.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 500378 0 0 0 127467 2766 0 0 25 0 1 0 134055758 2086375424 499433 4089446400 4194304 7136930 140735921725264 18446744073709551615 4923023 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 509369 499433 391 719 0 508648 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2037476 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15633 /proc/meminfo: memFree=29642672/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2104380 CPUtime=1362.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 517271 0 0 0 133353 2879 0 0 25 0 1 0 134055758 2154885120 516326 4089446400 4194304 7136930 140735921725264 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 526095 516326 391 719 0 525374 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2104380 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15634 /proc/meminfo: memFree=29569320/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2174688 CPUtime=1422.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 535213 0 0 0 139240 2993 0 0 25 0 1 0 134055758 2226880512 534268 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 543672 534268 391 719 0 542951 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2174688 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15635 /proc/meminfo: memFree=29480992/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2262572 CPUtime=1482.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 557168 0 0 0 145118 3114 0 0 25 0 1 0 134055758 2316873728 556223 4089446400 4194304 7136930 140735921725264 18446744073709551615 6166620 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 565643 556223 391 719 0 564922 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2262572 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15637 /proc/meminfo: memFree=29404184/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2338652 CPUtime=1542.32 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 576355 0 0 0 150991 3241 0 0 25 0 1 0 134055758 2394779648 575410 4089446400 4194304 7136930 140735921725264 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 584663 575410 391 719 0 583942 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2338652 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15639 /proc/meminfo: memFree=29325516/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2417556 CPUtime=1602.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 595967 0 0 0 156878 3355 0 0 25 0 1 0 134055758 2475577344 595022 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 604389 595022 391 719 0 603668 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2417556 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15641 /proc/meminfo: memFree=29274748/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2467436 CPUtime=1662.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 608669 0 0 0 162783 3450 0 0 25 0 1 0 134055758 2526654464 607696 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 616859 607696 391 719 0 616138 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2467436 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15642 /proc/meminfo: memFree=29207120/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2534984 CPUtime=1722.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 625821 0 0 0 168676 3557 0 0 25 0 1 0 134055758 2595823616 624848 4089446400 4194304 7136930 140735921725264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 633746 624848 391 719 0 633025 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2534984 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15643 /proc/meminfo: memFree=29159588/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2581048 CPUtime=1782.33 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 637359 0 0 0 174586 3647 0 0 25 0 1 0 134055758 2642993152 636386 4089446400 4194304 7136930 140735921725264 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 645262 636386 391 719 0 644541 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2581048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15644 /proc/meminfo: memFree=29148792/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2591684 CPUtime=1800.04 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 640066 0 0 0 176340 3664 0 0 25 0 1 0 134055758 2653884416 639093 4089446400 4194304 7136930 140735921725264 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15532/statm: 647921 639093 391 719 0 647200 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2591684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15532 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15645 /proc/meminfo: memFree=29148660/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2591684 CPUtime=1801.43 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 640085 0 0 0 176479 3664 0 0 19 0 1 0 134055758 2653884416 639112 4089446400 4194304 7136930 140735921725264 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15532/statm: 647921 639112 397 719 0 647200 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2591684 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15645 /proc/meminfo: memFree=29148660/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2591684 CPUtime=1801.84 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 640085 0 0 0 176520 3664 0 0 20 0 1 0 134055758 2653884416 639112 4089446400 4194304 7136930 140735921725264 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15532/statm: 647921 639112 397 719 0 647200 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2591684 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15645 /proc/meminfo: memFree=29148660/32950928 swapFree=67111528/67111528 [pid=15532] ppid=15530 vsize=2590660 CPUtime=1802.03 /proc/15532/stat : 15532 (pbscip.linux.x8) R 15530 15532 13477 0 -1 4202496 640085 0 0 0 176539 3664 0 0 21 0 1 0 134055758 2652835840 638857 4089446400 4194304 7136930 140735921725264 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15532/statm: 647665 638857 397 719 0 646944 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2590660 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.13 CPU user time (s): 1765.4 CPU system time (s): 36.7294 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2591684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.4 system time used= 36.7294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 640085 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= 968 runsolver used 2.56661 second user time and 5.65714 second system time The end
Begin job on node125 at 2010-06-30 21:53:11 IDJOB=2693631 IDBENCH=79280 IDSOLVER=1206 FILE ID=node125/2693631-1277927591 PBS_JOBID= 11197320 Free space on /tmp= 74204 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.1900544484--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-2693631-1277927591/watcher-2693631-1277927591 -o /tmp/evaluation-result-2693631-1277927591/solver-2693631-1277927591 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693631-1277927591.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3f6753fad3114c64a2e1439cb62c0aa RANDOM SEED=18331424 node125.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.822 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.64 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.822 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 : 5226.07 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.822 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.822 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.77 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.822 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.822 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.74 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.822 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.822 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31123476 kB Buffers: 212136 kB Cached: 798956 kB SwapCached: 0 kB Active: 1110684 kB Inactive: 573972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31123476 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 673124 kB Mapped: 15032 kB Slab: 79196 kB PageTables: 5940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 816552 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= 74200 MiB End job on node125 at 2010-06-30 22:23:13