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.1 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo |
| MD5SUM | 12371feb76f2c231a6dc5b657286b6d5 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 277.868 |
| 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 | 1785 |
| 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 | 88246 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 88245 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 665 |
| 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-2694151-1277908037.wbo>
0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.06/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.06/0.10 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17 c 1937 implications, 11 cliques
0.09/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17 c 1709 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1709 constraints of type <linear>
0.09/0.17 c 869 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 o 730
1.29/1.39 c * 1.2s| 4860 | 4361 | 0 | 0.0 | 16M|1899 | - |3649 |5041 | 0 | 0 | 0 |1172 | 0 | 0.000000e+00 | 7.300000e+02 | Inf
1.39/1.46 o 615
1.39/1.46 c * 1.3s| 5064 | 4484 | 0 | 0.0 | 16M|1899 | - |3649 |5034 | 0 | 0 | 0 |1193 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
1.49/1.52 o 600
1.49/1.52 c * 1.4s| 5251 | 4638 | 0 | 0.0 | 16M|1899 | - |3649 |5043 | 0 | 0 | 0 |1210 | 0 | 0.000000e+00 | 6.000000e+02 | Inf
1.49/1.58 o 402
1.49/1.58 c * 1.4s| 5419 | 4684 | 0 | 0.0 | 16M|1899 | - |3649 |5037 | 0 | 0 | 0 |1220 | 0 | 0.000000e+00 | 4.020000e+02 | Inf
1.49/1.58 o 363
1.49/1.58 c * 1.4s| 5420 | 4678 | 0 | 0.0 | 16M|1899 | - |3649 |5037 | 0 | 0 | 0 |1220 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
1.69/1.71 o 360
1.69/1.71 c * 1.5s| 5854 | 5099 | 0 | 0.0 | 16M|1899 | - |3649 |5015 | 0 | 0 | 0 |1271 | 0 | 0.000000e+00 | 3.600000e+02 | Inf
1.69/1.71 o 321
1.69/1.71 c * 1.5s| 5855 | 5083 | 0 | 0.0 | 16M|1899 | - |3649 |5015 | 0 | 0 | 0 |1271 | 0 | 0.000000e+00 | 3.210000e+02 | Inf
1.69/1.76 o 310
1.69/1.76 c * 1.6s| 6001 | 5221 | 0 | 0.0 | 16M|1899 | - |3649 |5012 | 0 | 0 | 0 |1280 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
1.79/1.84 o 298
1.79/1.84 c * 1.6s| 6257 | 5466 | 0 | 0.0 | 17M|1899 | - |3649 |5016 | 0 | 0 | 0 |1318 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
2.69/2.79 c 2.5s| 10000 | 8795 | 0 | 0.0 | 20M|1899 | - |3649 |5506 | 0 | 0 | 0 |2927 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
5.69/5.71 c 5.2s| 20000 | 16940 | 0 | 0.0 | 29M|1899 | - |3649 |6775 | 0 | 0 | 0 |9796 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
9.59/9.66 c 8.8s| 30000 | 23671 | 0 | 0.0 | 39M|1899 | - |3649 |7937 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
11.00/11.06 o 211
11.00/11.06 c *10.1s| 32453 | 24640 | 0 | 0.0 | 41M|1899 | - |3649 |8193 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
11.19/11.27 o 210
11.19/11.27 c *10.3s| 32920 | 25090 | 0 | 0.0 | 41M|1899 | - |3649 |7996 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
11.29/11.35 o 204
11.29/11.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.29/11.35 c *10.4s| 33123 | 25248 | 0 | 0.0 | 42M|1899 | - |3649 |7921 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
11.49/11.57 o 188
11.49/11.57 c *10.6s| 33633 | 25720 | 0 | 0.0 | 42M|1899 | - |3649 |7724 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
12.29/12.32 o 176
12.29/12.32 c *11.3s| 35334 | 27250 | 0 | 0.0 | 43M|1899 | - |3649 |7440 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
12.29/12.32 o 154
12.29/12.32 c *11.3s| 35335 | 27192 | 0 | 0.0 | 43M|1899 | - |3649 |7440 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
12.29/12.39 o 148
12.29/12.39 c *11.4s| 35472 | 27314 | 0 | 0.0 | 43M|1899 | - |3649 |7435 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
12.39/12.46 o 147
12.39/12.46 c *11.4s| 35635 | 27455 | 0 | 0.0 | 43M|1899 | - |3649 |7443 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
12.69/12.71 o 145
12.69/12.71 c *11.7s| 36216 | 27975 | 0 | 0.0 | 44M|1899 | - |3649 |7306 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
12.69/12.71 o 133
12.69/12.71 c *11.7s| 36217 | 27808 | 0 | 0.0 | 43M|1899 | - |3649 |7306 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
12.69/12.78 o 108
12.69/12.78 c *11.7s| 36372 | 27622 | 0 | 0.0 | 43M|1899 | - |3649 |7198 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
12.69/12.78 o 102
12.69/12.78 c *11.7s| 36373 | 27577 | 0 | 0.0 | 43M|1899 | - |3649 |7198 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
12.79/12.86 o 95
12.79/12.86 c *11.8s| 36551 | 27486 | 0 | 0.0 | 43M|1899 | - |3649 |7081 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
12.79/12.89 o 85
12.79/12.89 c *11.8s| 36618 | 26832 | 0 | 0.0 | 43M|1899 | - |3649 |7037 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
12.79/12.90 o 78
12.79/12.90 c *11.8s| 36619 | 26582 | 0 | 0.0 | 43M|1899 | - |3649 |7037 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
12.89/12.93 o 73
12.89/12.93 c *11.9s| 36699 | 26550 | 0 | 0.0 | 43M|1899 | - |3649 |6998 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
12.89/12.93 o 67
12.89/12.93 c *11.9s| 36700 | 26364 | 0 | 0.0 | 43M|1899 | - |3649 |6998 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
12.89/12.97 o 42
12.89/12.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.89/12.97 c *11.9s| 36789 | 25012 | 0 | 0.0 | 43M|1899 | - |3649 |6975 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
12.89/12.97 o 36
12.89/12.97 c *11.9s| 36790 | 24090 | 0 | 0.0 | 42M|1899 | - |3649 |6975 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
12.99/13.01 o 20
12.99/13.01 c *11.9s| 36892 | 23693 | 0 | 0.0 | 42M|1899 | - |3649 |6929 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
12.99/13.01 o 10
12.99/13.01 c *11.9s| 36893 | 23300 | 0 | 0.0 | 42M|1899 | - |3649 |6929 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
14.30/14.34 c 13.2s| 40000 | 25972 | 0 | 0.0 | 54M|1899 | - |3649 |6093 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
18.29/18.36 c 16.9s| 50000 | 34342 | 0 | 0.0 | 86M|1899 | - |3649 |6974 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
21.59/21.68 c 19.9s| 60000 | 42572 | 0 | 0.0 | 101M|1899 | - |3649 |8194 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
24.79/24.88 c 22.8s| 70000 | 50570 | 0 | 0.0 | 110M|1899 | - |3649 |8769 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
28.09/28.17 c 25.8s| 80000 | 58449 | 0 | 0.0 | 119M|1899 | - |3649 |9795 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
31.59/31.61 c 28.9s| 90000 | 66226 | 0 | 0.0 | 127M|1899 | - |3649 | 10k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
35.20/35.27 c 32.3s|100000 | 73810 | 0 | 0.0 | 135M|1899 | - |3649 | 10k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
39.39/39.46 c 36.2s|110000 | 80860 | 0 | 0.0 | 144M|1899 | - |3649 | 11k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
43.79/43.82 c 40.3s|120000 | 87766 | 0 | 0.0 | 153M|1899 | - |3649 | 11k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
48.59/48.66 c 44.8s|130000 | 94255 | 0 | 0.0 | 162M|1899 | - |3649 | 12k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
54.29/54.33 c 50.1s|140000 | 99232 | 0 | 0.0 | 171M|1899 | - |3649 | 13k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.49/61.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.49/61.54 c 57.0s|150000 |101652 | 0 | 0.0 | 181M|1899 | - |3649 | 15k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.89/70.90 c 66.0s|160000 | 99671 | 0 | 0.0 | 187M|1899 | - |3649 | 11k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.59/76.64 c 71.4s|170000 |108010 | 0 | 0.0 | 234M|1899 | - |3649 |8118 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.49/84.54 c 78.9s|180000 |114667 | 0 | 0.0 | 262M|1899 | - |3649 |8248 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
90.79/90.86 c 84.9s|190000 |121890 | 0 | 0.0 | 287M|1899 | - |3649 |9748 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
96.29/96.36 o 6
96.29/96.36 c *90.0s|199661 |128639 | 0 | 0.0 | 295M|1899 | - |3649 | 10k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
96.49/96.60 c 90.2s|200000 |128870 | 0 | 0.0 | 296M|1899 | - |3649 | 10k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
102.79/102.89 c 96.2s|210000 |136334 | 0 | 0.0 | 309M|1899 | - |3649 | 10k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
109.09/109.14 c 102s|220000 |143830 | 0 | 0.0 | 323M|1899 | - |3649 | 11k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
117.19/117.25 c 110s|230000 |150496 | 0 | 0.0 | 338M|1899 | - |3649 | 11k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
122.19/122.21 c 114s|240000 |158680 | 0 | 0.0 | 354M|1899 | - |3649 | 11k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
126.29/126.37 c 118s|250000 |166454 | 0 | 0.0 | 362M|1899 | - |3649 |8088 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
130.39/130.46 c 122s|260000 |173809 | 0 | 0.0 | 370M|1899 | - |3649 |8262 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
134.79/134.86 c 126s|270000 |180791 | 0 | 0.0 | 379M|1899 | - |3649 |8547 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
139.49/139.51 c 130s|280000 |187381 | 0 | 0.0 | 387M|1899 | - |3649 |9167 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
144.99/145.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.99/145.05 c 135s|290000 |192926 | 0 | 0.0 | 396M|1899 | - |3649 | 10k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
148.89/148.91 c 139s|300000 |200493 | 0 | 0.0 | 403M|1899 | - |3649 |9113 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
153.09/153.15 c 143s|310000 |207612 | 0 | 0.0 | 411M|1899 | - |3649 |8434 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
157.29/157.36 c 147s|320000 |214735 | 0 | 0.0 | 419M|1899 | - |3649 |8220 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
161.39/161.43 c 150s|330000 |221922 | 0 | 0.0 | 427M|1899 | - |3649 |8416 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
162.49/162.56 o 5
162.49/162.56 c * 151s|333256 |223943 | 0 | 0.0 | 427M|1899 | - |3649 |8451 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
165.49/165.53 c 154s|340000 |228538 | 0 | 0.0 | 433M|1899 | - |3649 |8746 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
170.09/170.12 c 158s|350000 |235110 | 0 | 0.0 | 441M|1899 | - |3649 |9964 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
173.49/173.57 c 161s|360000 |243297 | 0 | 0.0 | 448M|1899 | - |3649 |8402 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
177.69/177.75 c 165s|370000 |250452 | 0 | 0.0 | 457M|1899 | - |3649 |9881 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
182.69/182.72 c 170s|380000 |256740 | 0 | 0.0 | 464M|1899 | - |3649 |8764 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
186.18/186.27 c 173s|390000 |264694 | 0 | 0.0 | 473M|1899 | - |3649 |9218 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
191.69/191.74 c 178s|400000 |270302 | 0 | 0.0 | 482M|1899 | - |3649 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
195.38/195.47 c 182s|410000 |278057 | 0 | 0.0 | 489M|1899 | - |3649 |9619 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
199.48/199.52 c 185s|420000 |285267 | 0 | 0.0 | 496M|1899 | - |3649 |9140 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
203.88/203.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.88/203.95 c 189s|430000 |292054 | 0 | 0.0 | 504M|1899 | - |3649 |8872 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
207.89/207.94 c 193s|440000 |299249 | 0 | 0.0 | 512M|1899 | - |3649 | 10k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
211.29/211.38 c 196s|450000 |307146 | 0 | 0.0 | 518M|1899 | - |3649 |5401 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
214.69/214.76 c 199s|460000 |314955 | 0 | 0.0 | 526M|1899 | - |3649 |5946 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
219.29/219.39 c 204s|470000 |321307 | 0 | 0.0 | 535M|1899 | - |3649 |7311 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
224.09/224.19 c 208s|480000 |327529 | 0 | 0.0 | 544M|1899 | - |3649 |7941 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
229.09/229.17 c 213s|490000 |333627 | 0 | 0.0 | 553M|1899 | - |3649 |8612 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
234.19/234.26 c 217s|500000 |339583 | 0 | 0.0 | 561M|1899 | - |3649 |9359 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
239.49/239.58 c 222s|510000 |345367 | 0 | 0.0 | 570M|1899 | - |3649 |9258 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
244.99/245.08 c 228s|520000 |350918 | 0 | 0.0 | 578M|1899 | - |3649 |9605 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
250.69/250.79 c 233s|530000 |356254 | 0 | 0.0 | 587M|1899 | - |3649 |9650 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
256.59/256.61 c 238s|540000 |361512 | 0 | 0.0 | 595M|1899 | - |3649 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
262.59/262.67 c 244s|550000 |366452 | 0 | 0.0 | 603M|1899 | - |3649 | 10k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
268.79/268.89 c 250s|560000 |371245 | 0 | 0.0 | 612M|1899 | - |3649 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
275.29/275.39 c 256s|570000 |375705 | 0 | 0.0 | 620M|1899 | - |3649 | 11k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
281.99/282.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.99/282.09 c 262s|580000 |379916 | 0 | 0.0 | 628M|1899 | - |3649 | 11k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
288.79/288.82 c 269s|590000 |384046 | 0 | 0.0 | 636M|1899 | - |3649 | 10k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
295.69/295.73 c 275s|600000 |387969 | 0 | 0.0 | 644M|1899 | - |3649 | 12k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.19/303.29 c 283s|610000 |391385 | 0 | 0.0 | 652M|1899 | - |3649 | 12k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
311.39/311.41 c 290s|620000 |394338 | 0 | 0.0 | 660M|1899 | - |3649 | 13k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
319.99/320.01 c 299s|630000 |396634 | 0 | 0.0 | 668M|1899 | - |3649 | 13k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
328.98/329.00 c 307s|640000 |398738 | 0 | 0.0 | 675M|1899 | - |3649 | 13k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
338.09/338.16 c 316s|650000 |400537 | 0 | 0.0 | 682M|1899 | - |3649 | 13k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
347.69/347.75 c 325s|660000 |402160 | 0 | 0.0 | 689M|1899 | - |3649 | 14k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
357.69/357.78 c 335s|670000 |403726 | 0 | 0.0 | 696M|1899 | - |3649 | 14k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
367.59/367.68 c 344s|680000 |405682 | 0 | 0.0 | 702M|1899 | - |3649 | 15k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
377.99/378.07 c 354s|690000 |407394 | 0 | 0.0 | 708M|1899 | - |3649 | 16k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
388.89/388.98 c 365s|700000 |408779 | 0 | 0.0 | 714M|1899 | - |3649 | 16k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
400.59/400.64 c 376s|710000 |409725 | 0 | 0.0 | 719M|1899 | - |3649 | 17k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
413.39/413.45 c 388s|720000 |409807 | 0 | 0.0 | 724M|1899 | - |3649 | 17k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
427.09/427.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.09/427.12 c 401s|730000 |408412 | 0 | 0.0 | 722M|1899 | - |3649 | 17k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
431.10/431.18 c 405s|740000 |416366 | 0 | 0.0 | 726M|1899 | - |3649 |4606 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
434.79/434.88 c 409s|750000 |424050 | 0 | 0.0 | 734M|1899 | - |3649 |5521 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
438.69/438.75 c 412s|760000 |431640 | 0 | 0.0 | 742M|1899 | - |3649 |6126 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
442.69/442.74 c 416s|770000 |439048 | 0 | 0.0 | 750M|1899 | - |3649 |6789 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
446.99/447.04 c 420s|780000 |446127 | 0 | 0.0 | 758M|1899 | - |3649 |7807 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
447.99/448.04 o 4
447.99/448.04 c * 421s|782445 |447722 | 0 | 0.0 | 760M|1899 | - |3649 |7823 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
451.69/451.76 c 424s|790000 |452811 | 0 | 0.0 | 767M|1899 | - |3649 |8483 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
457.09/457.16 c 429s|800000 |459106 | 0 | 0.0 | 776M|1899 | - |3649 |9436 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
463.00/463.08 c 435s|810000 |464927 | 0 | 0.0 | 785M|1899 | - |3649 | 10k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
470.09/470.15 c 441s|820000 |469761 | 0 | 0.0 | 794M|1899 | - |3649 | 12k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
478.89/478.96 c 450s|830000 |473437 | 0 | 0.0 | 804M|1899 | - |3649 | 14k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
489.29/489.39 c 459s|840000 |476228 | 0 | 0.0 | 813M|1899 | - |3649 | 18k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
498.49/498.56 c 468s|850000 |480495 | 0 | 0.0 | 816M|1899 | - |3649 |8176 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
502.38/502.41 c 472s|860000 |488109 | 0 | 0.0 | 824M|1899 | - |3649 |7182 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
506.49/506.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.49/506.59 c 476s|870000 |495327 | 0 | 0.0 | 832M|1899 | - |3649 |8094 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
510.89/510.95 c 480s|880000 |502388 | 0 | 0.0 | 840M|1899 | - |3649 |8907 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
515.59/515.65 c 484s|890000 |509124 | 0 | 0.0 | 848M|1899 | - |3649 |9688 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
521.89/521.99 c 490s|900000 |514216 | 0 | 0.0 | 857M|1899 | - |3649 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
529.59/529.66 c 497s|910000 |518216 | 0 | 0.0 | 866M|1899 | - |3649 | 13k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
539.08/539.14 c 506s|920000 |521133 | 0 | 0.0 | 872M|1899 | - |3649 | 12k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.09/544.12 c 511s|930000 |527943 | 0 | 0.0 | 878M|1899 | - |3649 |7716 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
548.19/548.21 c 514s|940000 |535239 | 0 | 0.0 | 885M|1899 | - |3649 |7878 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
552.49/552.54 c 518s|950000 |542244 | 0 | 0.0 | 893M|1899 | - |3649 |8468 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
557.19/557.25 c 523s|960000 |548903 | 0 | 0.0 | 902M|1899 | - |3649 |9273 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
562.49/562.56 c 528s|970000 |554901 | 0 | 0.0 | 910M|1899 | - |3649 | 10k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
569.69/569.74 c 534s|980000 |559355 | 0 | 0.0 | 920M|1899 | - |3649 | 13k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
578.59/578.66 c 543s|990000 |562793 | 0 | 0.0 | 928M|1899 | - |3649 | 14k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
586.29/586.37 c 550s| 1000k|567301 | 0 | 0.0 | 933M|1899 | - |3649 | 10k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
591.09/591.16 c 555s| 1010k|574119 | 0 | 0.0 | 940M|1899 | - |3649 |7821 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
595.49/595.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.49/595.51 c 559s| 1020k|581141 | 0 | 0.0 | 947M|1899 | - |3649 |7342 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
599.88/599.92 c 563s| 1030k|587958 | 0 | 0.0 | 955M|1899 | - |3649 |7362 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
604.58/604.63 c 567s| 1040k|594493 | 0 | 0.0 | 964M|1899 | - |3649 |7658 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
609.49/609.55 c 572s| 1050k|600844 | 0 | 0.0 | 972M|1899 | - |3649 |7851 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
614.68/614.72 c 576s| 1060k|606910 | 0 | 0.0 | 980M|1899 | - |3649 |8313 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
619.89/619.94 c 581s| 1070k|612898 | 0 | 0.0 | 989M|1899 | - |3649 |8555 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
625.39/625.42 c 586s| 1080k|618659 | 0 | 0.0 | 997M|1899 | - |3649 |9069 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.19/631.25 c 592s| 1090k|624246 | 0 | 0.0 |1005M|1899 | - |3649 |9473 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
637.48/637.53 c 598s| 1100k|629369 | 0 | 0.0 |1013M|1899 | - |3649 |9775 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
643.69/643.71 c 604s| 1110k|634668 | 0 | 0.0 |1021M|1899 | - |3649 | 10k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
650.28/650.36 c 610s| 1120k|639560 | 0 | 0.0 |1029M|1899 | - |3649 | 11k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.69/657.78 c 617s| 1130k|643957 | 0 | 0.0 |1037M|1899 | - |3649 | 12k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
666.39/666.48 c 625s| 1140k|647348 | 0 | 0.0 |1045M|1899 | - |3649 | 14k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
673.39/673.43 c 632s| 1150k|652859 | 0 | 0.0 |1050M|1899 | - |3649 |8976 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
677.28/677.37 c 635s| 1160k|660609 | 0 | 0.0 |1058M|1899 | - |3649 |7758 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
681.38/681.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.38/681.46 c 639s| 1170k|668153 | 0 | 0.0 |1066M|1899 | - |3649 |7633 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
685.39/685.45 c 643s| 1180k|675720 | 0 | 0.0 |1074M|1899 | - |3649 |7560 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.60/689.61 c 646s| 1190k|683050 | 0 | 0.0 |1082M|1899 | - |3649 |7566 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
693.69/693.74 c 650s| 1200k|690406 | 0 | 0.0 |1090M|1899 | - |3649 |7623 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
697.99/698.04 c 654s| 1210k|697585 | 0 | 0.0 |1098M|1899 | - |3649 |7729 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
702.39/702.44 c 658s| 1220k|704587 | 0 | 0.0 |1106M|1899 | - |3649 |8116 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
702.90/702.91 o 3
702.90/702.91 c * 659s| 1221k|704441 | 0 | 0.0 |1106M|1899 | - |3649 |8084 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
706.89/706.98 c 662s| 1230k|710712 | 0 | 0.0 |1114M|1899 | - |3649 |8369 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
711.60/711.65 c 667s| 1240k|717660 | 0 | 0.0 |1123M|1899 | - |3649 |8539 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
716.39/716.46 c 671s| 1250k|724534 | 0 | 0.0 |1132M|1899 | - |3649 |8771 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
721.79/721.85 c 676s| 1260k|730803 | 0 | 0.0 |1141M|1899 | - |3649 |9364 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.49/727.56 c 681s| 1270k|736805 | 0 | 0.0 |1151M|1899 | - |3649 |9850 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.49/733.57 c 687s| 1280k|742588 | 0 | 0.0 |1161M|1899 | - |3649 | 10k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
739.69/739.71 c 693s| 1290k|748321 | 0 | 0.0 |1170M|1899 | - |3649 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
745.99/746.03 c 699s| 1300k|753947 | 0 | 0.0 |1180M|1899 | - |3649 | 10k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
752.49/752.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.49/752.52 c 705s| 1310k|759554 | 0 | 0.0 |1190M|1899 | - |3649 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
759.19/759.25 c 711s| 1320k|765049 | 0 | 0.0 |1200M|1899 | - |3649 | 11k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
765.49/765.59 c 717s| 1330k|770830 | 0 | 0.0 |1210M|1899 | - |3649 | 11k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
772.09/772.11 c 723s| 1340k|776500 | 0 | 0.0 |1220M|1899 | - |3649 | 12k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
778.59/778.65 c 729s| 1350k|782229 | 0 | 0.0 |1229M|1899 | - |3649 | 12k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
785.29/785.32 c 735s| 1360k|787913 | 0 | 0.0 |1239M|1899 | - |3649 | 12k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
791.90/791.96 c 742s| 1370k|793567 | 0 | 0.0 |1248M|1899 | - |3649 | 12k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
798.59/798.64 c 748s| 1380k|799235 | 0 | 0.0 |1256M|1899 | - |3649 |6014 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
804.10/804.17 c 753s| 1390k|804845 | 0 | 0.0 |1264M|1899 | - |3649 |7249 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.59/809.65 c 758s| 1400k|810380 | 0 | 0.0 |1271M|1899 | - |3649 |7686 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
815.10/815.15 c 763s| 1410k|815939 | 0 | 0.0 |1279M|1899 | - |3649 |8044 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
820.50/820.53 c 768s| 1420k|821569 | 0 | 0.0 |1287M|1899 | - |3649 |8301 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
825.89/825.93 c 773s| 1430k|827247 | 0 | 0.0 |1295M|1899 | - |3649 |8461 | 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
831.49/831.56 c 778s| 1440k|832708 | 0 | 0.0 |1303M|1899 | - |3649 |8406 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
837.39/837.49 c 784s| 1450k|837895 | 0 | 0.0 |1311M|1899 | - |3649 |8514 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
843.39/843.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.39/843.40 c 789s| 1460k|843119 | 0 | 0.0 |1319M|1899 | - |3649 |8856 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
844.89/844.97 o 2
844.89/844.97 c * 791s| 1462k|829022 | 0 | 0.0 |1304M|1899 | - |3649 |8788 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
850.09/850.20 c 796s| 1470k|832566 | 0 | 0.0 |1311M|1899 | - |3649 |9489 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.49/857.59 c 803s| 1480k|836903 | 0 | 0.0 |1320M|1899 | - |3649 | 10k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
865.09/865.13 c 810s| 1490k|841048 | 0 | 0.0 |1328M|1899 | - |3649 | 10k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
873.09/873.18 c 817s| 1500k|844648 | 0 | 0.0 |1337M|1899 | - |3649 | 11k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
881.89/881.98 c 826s| 1510k|847602 | 0 | 0.0 |1344M|1899 | - |3649 | 13k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.49/891.54 c 835s| 1520k|850105 | 0 | 0.0 |1349M|1899 | - |3649 | 12k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
895.99/896.01 c 839s| 1530k|857213 | 0 | 0.0 |1355M|1899 | - |3649 |7494 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
900.19/900.23 c 843s| 1540k|864304 | 0 | 0.0 |1364M|1899 | - |3649 |8097 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
904.69/904.73 c 847s| 1550k|871013 | 0 | 0.0 |1373M|1899 | - |3649 |8978 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.79/909.88 c 852s| 1560k|877117 | 0 | 0.0 |1382M|1899 | - |3649 |9799 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.69/915.76 c 857s| 1570k|882479 | 0 | 0.0 |1391M|1899 | - |3649 | 11k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.19/922.27 c 863s| 1580k|887198 | 0 | 0.0 |1399M|1899 | - |3649 | 12k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.20/930.23 c 871s| 1590k|890648 | 0 | 0.0 |1407M|1899 | - |3649 | 14k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.39/936.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.39/936.47 c 877s| 1600k|896233 | 0 | 0.0 |1412M|1899 | - |3649 |8304 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.29/940.37 c 880s| 1610k|903748 | 0 | 0.0 |1419M|1899 | - |3649 |8403 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.39/944.43 c 884s| 1620k|911012 | 0 | 0.0 |1427M|1899 | - |3649 |8904 | 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
948.69/948.79 c 888s| 1630k|918000 | 0 | 0.0 |1435M|1899 | - |3649 |9538 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
953.50/953.50 c 892s| 1640k|924576 | 0 | 0.0 |1443M|1899 | - |3649 | 10k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.49/959.51 c 898s| 1650k|929885 | 0 | 0.0 |1451M|1899 | - |3649 | 11k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.09/967.14 c 905s| 1660k|933644 | 0 | 0.0 |1460M|1899 | - |3649 | 13k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
975.39/975.45 c 913s| 1670k|937272 | 0 | 0.0 |1465M|1899 | - |3649 |9234 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
979.39/979.43 c 917s| 1680k|944771 | 0 | 0.0 |1473M|1899 | - |3649 |7895 | 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.59/983.66 c 921s| 1690k|951839 | 0 | 0.0 |1482M|1899 | - |3649 |8171 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.49/988.52 c 925s| 1700k|958250 | 0 | 0.0 |1490M|1899 | - |3649 |8999 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.89/993.95 c 930s| 1710k|964102 | 0 | 0.0 |1499M|1899 | - |3649 |9935 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.30/1000.35 c 936s| 1720k|968995 | 0 | 0.0 |1508M|1899 | - |3649 | 11k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1007.89/1007.98 c 943s| 1730k|972770 | 0 | 0.0 |1517M|1899 | - |3649 | 13k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1015.79/1015.81 c 951s| 1740k|976623 | 0 | 0.0 |1523M|1899 | - |3649 | 10k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.19/1020.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.19/1020.20 c 955s| 1750k|983688 | 0 | 0.0 |1530M|1899 | - |3649 |7871 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.39/1024.45 c 959s| 1760k|990706 | 0 | 0.0 |1538M|1899 | - |3649 |8327 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.09/1029.10 c 963s| 1770k|997326 | 0 | 0.0 |1547M|1899 | - |3649 |9036 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.40/1034.42 c 968s| 1780k| 1003k| 0 | 0.0 |1556M|1899 | - |3649 | 10k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1040.60/1040.65 c 974s| 1790k| 1008k| 0 | 0.0 |1565M|1899 | - |3649 | 10k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.29/1047.37 c 980s| 1800k| 1012k| 0 | 0.0 |1573M|1899 | - |3649 | 10k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1053.50/1053.59 c 986s| 1810k| 1017k| 0 | 0.0 |1580M|1899 | - |3649 |9067 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.70/1058.72 c 991s| 1820k| 1024k| 0 | 0.0 |1587M|1899 | - |3649 |8583 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.40/1063.40 c 995s| 1830k| 1030k| 0 | 0.0 |1595M|1899 | - |3649 |8624 | 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.49/1068.50 c 1000s| 1840k| 1036k| 0 | 0.0 |1603M|1899 | - |3649 |9306 | 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1074.20/1074.20 c 1005s| 1850k| 1042k| 0 | 0.0 |1612M|1899 | - |3649 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.60/1080.66 c 1011s| 1860k| 1047k| 0 | 0.0 |1621M|1899 | - |3649 | 11k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.59/1088.61 c 1019s| 1870k| 1051k| 0 | 0.0 |1630M|1899 | - |3649 | 14k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.40/1096.46 c 1026s| 1880k| 1055k| 0 | 0.0 |1635M|1899 | - |3649 |8551 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.59/1100.65 c 1030s| 1890k| 1063k| 0 | 0.0 |1643M|1899 | - |3649 |7779 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.69/1104.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.69/1104.75 c 1034s| 1900k| 1070k| 0 | 0.0 |1651M|1899 | - |3649 |8062 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1109.09/1109.19 c 1038s| 1910k| 1077k| 0 | 0.0 |1659M|1899 | - |3649 |8253 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.89/1113.96 c 1042s| 1920k| 1084k| 0 | 0.0 |1667M|1899 | - |3649 |8786 | 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.79/1118.86 c 1047s| 1930k| 1090k| 0 | 0.0 |1676M|1899 | - |3649 |9214 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1123.89/1123.95 c 1052s| 1940k| 1097k| 0 | 0.0 |1684M|1899 | - |3649 |9490 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.60/1129.61 c 1057s| 1950k| 1102k| 0 | 0.0 |1693M|1899 | - |3649 | 10k| 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.59/1135.66 c 1063s| 1960k| 1108k| 0 | 0.0 |1702M|1899 | - |3649 | 10k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1141.89/1141.92 c 1068s| 1970k| 1113k| 0 | 0.0 |1710M|1899 | - |3649 | 11k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1148.49/1148.58 c 1075s| 1980k| 1119k| 0 | 0.0 |1719M|1899 | - |3649 | 12k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1155.69/1155.79 c 1082s| 1990k| 1123k| 0 | 0.0 |1727M|1899 | - |3649 | 12k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.09/1164.11 c 1089s| 2000k| 1127k| 0 | 0.0 |1735M|1899 | - |3649 | 14k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1173.70/1173.77 c 1099s| 2010k| 1130k| 0 | 0.0 |1743M|1899 | - |3649 | 16k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1185.79/1185.86 c 1110s| 2020k| 1132k| 0 | 0.0 |1748M|1899 | - |3649 | 19k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.20/1190.29 c 1114s| 2030k| 1139k| 0 | 0.0 |1753M|1899 | - |3649 |8207 | 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.19/1194.28 c 1118s| 2040k| 1147k| 0 | 0.0 |1761M|1899 | - |3649 |8643 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.39/1198.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.39/1198.47 c 1122s| 2050k| 1155k| 0 | 0.0 |1769M|1899 | - |3649 |9044 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1202.69/1202.79 c 1126s| 2060k| 1162k| 0 | 0.0 |1777M|1899 | - |3649 |9367 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1207.20/1207.25 c 1130s| 2070k| 1169k| 0 | 0.0 |1785M|1899 | - |3649 |9748 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.59/1211.67 c 1134s| 2080k| 1176k| 0 | 0.0 |1792M|1899 | - |3649 | 10k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1216.09/1216.15 c 1138s| 2090k| 1183k| 0 | 0.0 |1800M|1899 | - |3649 | 10k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1220.90/1221.00 c 1143s| 2100k| 1190k| 0 | 0.0 |1808M|1899 | - |3649 | 11k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1225.79/1225.85 c 1147s| 2110k| 1197k| 0 | 0.0 |1816M|1899 | - |3649 | 11k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1231.39/1231.42 c 1152s| 2120k| 1203k| 0 | 0.0 |1824M|1899 | - |3649 | 12k| 0 | 0 | 0 |1501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.09/1238.18 c 1159s| 2130k| 1208k| 0 | 0.0 |1833M|1899 | - |3649 | 12k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.40/1245.49 c 1166s| 2140k| 1213k| 0 | 0.0 |1841M|1899 | - |3649 | 14k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1253.49/1253.51 c 1173s| 2150k| 1217k| 0 | 0.0 |1850M|1899 | - |3649 | 15k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.30/1262.36 c 1182s| 2160k| 1220k| 0 | 0.0 |1858M|1899 | - |3649 | 16k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.70/1272.75 c 1192s| 2170k| 1223k| 0 | 0.0 |1865M|1899 | - |3649 | 18k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1281.50/1281.59 c 1200s| 2180k| 1227k| 0 | 0.0 |1868M|1899 | - |3649 |9039 | 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.90/1285.91 c 1204s| 2190k| 1235k| 0 | 0.0 |1876M|1899 | - |3649 |8702 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.60/1290.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.60/1290.60 c 1209s| 2200k| 1242k| 0 | 0.0 |1885M|1899 | - |3649 |9241 | 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.60/1295.70 c 1213s| 2210k| 1248k| 0 | 0.0 |1894M|1899 | - |3649 | 10k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.30/1301.32 c 1219s| 2220k| 1254k| 0 | 0.0 |1902M|1899 | - |3649 | 11k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.49/1307.51 c 1224s| 2230k| 1259k| 0 | 0.0 |1911M|1899 | - |3649 | 12k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.69/1314.76 c 1231s| 2240k| 1264k| 0 | 0.0 |1920M|1899 | - |3649 | 14k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1323.80/1323.81 c 1240s| 2250k| 1267k| 0 | 0.0 |1928M|1899 | - |3649 | 16k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.60/1329.62 c 1245s| 2260k| 1273k| 0 | 0.0 |1932M|1899 | - |3649 |8466 | 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.70/1333.74 c 1249s| 2270k| 1281k| 0 | 0.0 |1940M|1899 | - |3649 |9133 | 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.20/1338.23 c 1253s| 2280k| 1288k| 0 | 0.0 |1948M|1899 | - |3649 |9880 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.20/1343.25 c 1258s| 2290k| 1294k| 0 | 0.0 |1957M|1899 | - |3649 | 10k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.10/1349.11 c 1264s| 2300k| 1300k| 0 | 0.0 |1966M|1899 | - |3649 | 11k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.59/1355.67 c 1270s| 2310k| 1305k| 0 | 0.0 |1975M|1899 | - |3649 | 13k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.99/1363.07 c 1277s| 2320k| 1309k| 0 | 0.0 |1983M|1899 | - |3649 | 14k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.70/1372.77 c 1286s| 2330k| 1312k| 0 | 0.0 |1991M|1899 | - |3649 | 17k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.40/1378.46 c 1291s| 2340k| 1318k| 0 | 0.0 |1996M|1899 | - |3649 |8400 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1382.40/1382.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.40/1382.46 c 1295s| 2350k| 1326k| 0 | 0.0 |2004M|1899 | - |3649 |9141 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.00/1387.06 c 1299s| 2360k| 1333k| 0 | 0.0 |2012M|1899 | - |3649 |9998 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1391.69/1391.79 c 1304s| 2370k| 1339k| 0 | 0.0 |2020M|1899 | - |3649 | 10k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.40/1397.45 c 1309s| 2380k| 1345k| 0 | 0.0 |2029M|1899 | - |3649 | 11k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.80/1403.83 c 1315s| 2390k| 1350k| 0 | 0.0 |2038M|1899 | - |3649 | 13k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.80/1410.86 c 1322s| 2400k| 1355k| 0 | 0.0 |2046M|1899 | - |3649 | 14k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1418.91/1418.95 c 1329s| 2410k| 1359k| 0 | 0.0 |2055M|1899 | - |3649 | 15k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1429.39/1429.45 c 1339s| 2420k| 1361k| 0 | 0.0 |2060M|1899 | - |3649 | 13k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1437.10/1437.10 c 1347s| 2430k| 1366k| 0 | 0.0 |2067M|1899 | - |3649 | 10k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.30/1445.38 c 1355s| 2440k| 1369k| 0 | 0.0 |2074M|1899 | - |3649 | 12k| 0 | 0 | 0 |1737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1454.89/1454.97 c 1364s| 2450k| 1373k| 0 | 0.0 |2082M|1899 | - |3649 | 13k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1465.10/1465.14 c 1374s| 2460k| 1375k| 0 | 0.0 |2090M|1899 | - |3649 | 14k| 0 | 0 | 0 |1758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1475.70/1475.75 c 1384s| 2470k| 1378k| 0 | 0.0 |2097M|1899 | - |3649 | 14k| 0 | 0 | 0 |1768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1486.89/1486.96 c 1395s| 2480k| 1380k| 0 | 0.0 |2104M|1899 | - |3649 | 13k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.11/1498.17 c 1406s| 2490k| 1383k| 0 | 0.0 |2112M|1899 | - |3649 | 15k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1510.20/1510.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.20/1510.21 c 1417s| 2500k| 1385k| 0 | 0.0 |2118M|1899 | - |3649 | 15k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.41/1522.48 c 1429s| 2510k| 1387k| 0 | 0.0 |2126M|1899 | - |3649 | 15k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.90/1534.93 c 1441s| 2520k| 1389k| 0 | 0.0 |2132M|1899 | - |3649 | 17k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.60/1547.64 c 1453s| 2530k| 1391k| 0 | 0.0 |2139M|1899 | - |3649 | 16k| 0 | 0 | 0 |1836k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1561.50/1561.58 c 1467s| 2540k| 1392k| 0 | 0.0 |2145M|1899 | - |3649 | 18k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.00/1575.09 c 1480s| 2550k| 1394k| 0 | 0.0 |2152M|1899 | - |3649 | 16k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1590.00/1590.03 c 1495s| 2560k| 1394k| 0 | 0.0 |2158M|1899 | - |3649 | 19k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.10/1604.10 c 1508s| 2570k| 1396k| 0 | 0.0 |2165M|1899 | - |3649 | 17k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1619.60/1619.65 c 1523s| 2580k| 1396k| 0 | 0.0 |2170M|1899 | - |3649 | 20k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.20/1634.28 c 1538s| 2590k| 1398k| 0 | 0.0 |2177M|1899 | - |3649 | 18k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1650.50/1650.59 c 1553s| 2600k| 1398k| 0 | 0.0 |2182M|1899 | - |3649 | 21k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.60/1665.63 c 1568s| 2610k| 1400k| 0 | 0.0 |2189M|1899 | - |3649 | 20k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.20/1682.27 c 1584s| 2620k| 1400k| 0 | 0.0 |2194M|1899 | - |3649 | 21k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1697.71/1697.71 c 1599s| 2630k| 1401k| 0 | 0.0 |2201M|1899 | - |3649 | 21k| 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1714.81/1714.80 c 1616s| 2640k| 1401k| 0 | 0.0 |2205M|1899 | - |3649 | 22k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.60/1730.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.60/1730.68 c 1631s| 2650k| 1402k| 0 | 0.0 |2212M|1899 | - |3649 | 22k| 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1748.20/1748.23 c 1649s| 2660k| 1402k| 0 | 0.0 |2216M|1899 | - |3649 | 22k| 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1764.40/1764.43 c 1664s| 2670k| 1403k| 0 | 0.0 |2223M|1899 | - |3649 | 22k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.20/1783.21 c 1683s| 2680k| 1403k| 0 | 0.0 |2226M|1899 | - |3649 | 23k| 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1699.15
1800.01/1800.00 c Solving Nodes : 2689709
1800.01/1800.00 c Primal Bound : +2.00000000000000e+00 (35 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.03 s SATISFIABLE
1800.01/1800.03 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.01/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.03 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.01/1800.03 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1800.01/1800.03 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.01/1800.03 v x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.01/1800.03 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.01/1800.03 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.01/1800.03 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.01/1800.03 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.01/1800.03 v -x1
1800.01/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.03 c Solving Time : 1699.15
1800.01/1800.03 c Original Problem :
1800.01/1800.03 c Problem name : HOME/instance-2694151-1277908037.wbo
1800.01/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.01/1800.03 c Constraints : 4493 initial, 4493 maximal
1800.01/1800.03 c Presolved Problem :
1800.01/1800.03 c Problem name : t_HOME/instance-2694151-1277908037.wbo
1800.01/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.01/1800.03 c Constraints : 4298 initial, 24040 maximal
1800.01/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.01/1800.03 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.01/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.01/1800.03 c indicator : 0.00 0 0 0 0 0 76 0 0
1800.01/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.03 c linear : 0.05 0 0 0 1809 0 119 96 0
1800.01/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.03 c root node : - 1674 - - 3348 - - - -
1800.01/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.03 c indicator : 1709 0 5724900 0 1677397 13 2071158 0 0 0
1800.01/1800.03 c setppc : 11 0 8361573 0 2224871 42334 4093533 0 0 0
1800.01/1800.03 c linear : 1709 0 8326527 0 2225852 460872 41436319 0 0 0
1800.01/1800.03 c logicor : 869+ 0 5464533 0 2225867 248567 9635227 0 0 0
1800.01/1800.03 c bounddisjunction : 0+ 0 43301 0 0 0 3 0 0 0
1800.01/1800.03 c countsols : 0 0 0 0 2225863 0 0 0 0 0
1800.01/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.03 c indicator : 5.21 0.00 2.41 0.00 2.80
1800.01/1800.03 c setppc : 22.47 0.00 20.08 0.00 2.39
1800.01/1800.03 c linear : 316.36 0.00 315.60 0.00 0.76
1800.01/1800.03 c logicor : 422.24 0.00 362.55 0.00 59.69
1800.01/1800.03 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.01/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.03 c vbounds : 0.00 2 0 0
1800.01/1800.03 c rootredcost : 0.00 0 0 0
1800.01/1800.03 c pseudoobj : 261.68 8369083 313 2062580
1800.01/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.03 c propagation : 37.24 752086 752077 3733848 19.7 88996 10.8 -
1800.01/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.03 c pseudo solution : 0.01 15 15 67 26.6 29 7.6 -
1800.01/1800.03 c applied globally : - - - 2049777 18.0 - - -
1800.01/1800.03 c applied locally : - - - 0 0.0 - - -
1800.01/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.03 c redcost : 0.00 0 0 0 0 0
1800.01/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.03 c intobj : 0.00 0 0 0 0 0
1800.01/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.03 c gomory : 0.00 0 0 0 0 0
1800.01/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.03 c cmir : 0.00 0 0 0 0 0
1800.01/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.03 c clique : 0.00 0 0 0 0 0
1800.01/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.03 c mcf : 0.00 0 0 0 0 0
1800.01/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.03 c Pricers : Time Calls Vars
1800.01/1800.03 c problem variables: 0.00 0 0
1800.01/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.03 c inference : 30.13 2225828 0 0 0 0 4451656
1800.01/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.03 c random : 0.00 0 0 0 0 0 0
1800.01/1800.03 c Primal Heuristics : Time Calls Found
1800.01/1800.03 c LP solutions : 0.00 - 0
1800.01/1800.03 c pseudo solutions : 0.06 - 35
1800.01/1800.03 c oneopt : 0.06 0 0
1800.01/1800.03 c trivial : 0.01 2 0
1800.01/1800.03 c simplerounding : 0.00 0 0
1800.01/1800.03 c zirounding : 0.00 0 0
1800.01/1800.03 c rounding : 0.00 0 0
1800.01/1800.03 c shifting : 0.00 0 0
1800.01/1800.03 c intshifting : 0.00 0 0
1800.01/1800.03 c twoopt : 0.00 0 0
1800.01/1800.03 c fixandinfer : 0.00 0 0
1800.01/1800.03 c feaspump : 0.00 0 0
1800.01/1800.03 c coefdiving : 0.00 0 0
1800.01/1800.03 c pscostdiving : 0.00 0 0
1800.01/1800.03 c fracdiving : 0.00 0 0
1800.01/1800.03 c veclendiving : 0.00 0 0
1800.01/1800.03 c intdiving : 0.00 0 0
1800.01/1800.03 c actconsdiving : 0.00 0 0
1800.01/1800.03 c objpscostdiving : 0.00 0 0
1800.01/1800.03 c rootsoldiving : 0.00 0 0
1800.01/1800.03 c linesearchdiving : 0.00 0 0
1800.01/1800.03 c guideddiving : 0.00 0 0
1800.01/1800.03 c octane : 0.00 0 0
1800.01/1800.03 c rens : 0.00 0 0
1800.01/1800.03 c rins : 0.00 0 0
1800.01/1800.03 c localbranching : 0.00 0 0
1800.01/1800.03 c mutation : 0.00 0 0
1800.01/1800.03 c crossover : 0.00 0 0
1800.01/1800.03 c dins : 0.00 0 0
1800.01/1800.03 c undercover : 0.00 0 0
1800.01/1800.03 c nlp : 0.00 0 0
1800.01/1800.03 c trysol : 0.00 1 0
1800.01/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.03 c (at root node) : - 0 0 0.00 -
1800.01/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.03 c B&B Tree :
1800.01/1800.03 c number of runs : 1
1800.01/1800.03 c nodes : 2689709
1800.01/1800.03 c nodes (total) : 2689709
1800.01/1800.03 c nodes left : 1404150
1800.01/1800.03 c max depth : 1899
1800.01/1800.03 c max depth (total): 1899
1800.01/1800.03 c backtracks : 407200 (15.1%)
1800.01/1800.03 c delayed cutoffs : 334210
1800.01/1800.03 c repropagations : 1471477 (16839963 domain reductions, 288268 cutoffs)
1800.01/1800.03 c avg switch length: 23.55
1800.01/1800.03 c switching time : 522.26
1800.01/1800.03 c Solution :
1800.01/1800.03 c Solutions found : 35 (35 improvements)
1800.01/1800.03 c First Solution : +7.30000000000000e+02 (in run 1, after 4860 nodes, 1.22 seconds, depth 419, found by <relaxation>)
1800.01/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1462463 nodes, 790.74 seconds, depth 763, found by <relaxation>)
1800.01/1800.03 c Dual Bound : +0.00000000000000e+00
1800.01/1800.03 c Gap : infinite
1800.01/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.03 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-2694151-1277908037/watcher-2694151-1277908037 -o /tmp/evaluation-result-2694151-1277908037/solver-2694151-1277908037 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694151-1277908037.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.04 2.19 3/178 12131 /proc/meminfo: memFree=30408656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=8148 CPUtime=0 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 1543 0 0 0 0 0 0 0 22 0 1 0 132100101 8343552 1466 4089446400 4194304 7136930 140736496592400 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12131/statm: 2037 1466 275 719 0 1316 0 [startup+0.06978 s] /proc/loadavg: 2.00 2.04 2.19 3/178 12131 /proc/meminfo: memFree=30408656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=27716 CPUtime=0.06 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 7083 0 0 0 5 1 0 0 23 0 1 0 132100101 28381184 6138 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 6929 6138 348 719 0 6208 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 27716 [startup+0.100771 s] /proc/loadavg: 2.00 2.04 2.19 3/178 12131 /proc/meminfo: memFree=30408656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=27716 CPUtime=0.09 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 7612 0 0 0 8 1 0 0 23 0 1 0 132100101 28381184 6153 4089446400 4194304 7136930 140736496592400 18446744073709551615 4826328 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 6929 6153 354 719 0 6208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27716 [startup+0.300737 s] /proc/loadavg: 2.00 2.04 2.19 3/178 12131 /proc/meminfo: memFree=30408656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=29528 CPUtime=0.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 10167 0 0 0 26 3 0 0 23 0 1 0 132100101 30236672 6652 4089446400 4194304 7136930 140736496592400 18446744073709551615 4697592 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 7382 6652 391 719 0 6661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29528 [startup+0.70067 s] /proc/loadavg: 2.00 2.04 2.19 3/178 12131 /proc/meminfo: memFree=30408656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=31616 CPUtime=0.69 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 10696 0 0 0 62 7 0 0 25 0 1 0 132100101 32374784 7181 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 7904 7181 395 719 0 7183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31616 [startup+1.50053 s] /proc/loadavg: 2.00 2.04 2.18 3/179 12132 /proc/meminfo: memFree=30377152/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=34064 CPUtime=1.49 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 11313 0 0 0 135 14 0 0 25 0 1 0 132100101 34881536 7798 4089446400 4194304 7136930 140736496592400 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 8516 7798 396 719 0 7795 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34064 [startup+3.10033 s] /proc/loadavg: 2.00 2.04 2.18 3/179 12132 /proc/meminfo: memFree=30371944/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=41796 CPUtime=3.09 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 13210 0 0 0 280 29 0 0 25 0 1 0 132100101 42799104 9695 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 10449 9695 396 719 0 9728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41796 [startup+6.30073 s] /proc/loadavg: 2.00 2.04 2.18 3/179 12132 /proc/meminfo: memFree=30353908/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=56320 CPUtime=6.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 16827 0 0 0 572 57 0 0 25 0 1 0 132100101 57671680 13312 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 14080 13312 396 719 0 13359 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56320 [startup+12.7007 s] /proc/loadavg: 2.00 2.04 2.18 3/179 12132 /proc/meminfo: memFree=30325976/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=75676 CPUtime=12.69 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 21616 0 0 0 1167 102 0 0 25 0 1 0 132100101 77492224 18101 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 18919 18101 398 719 0 18198 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75676 [startup+25.5005 s] /proc/loadavg: 2.00 2.03 2.18 3/179 12132 /proc/meminfo: memFree=30235228/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=155460 CPUtime=25.49 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 40126 0 0 0 2335 214 0 0 25 0 1 0 132100101 159191040 36611 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 38865 36611 398 719 0 38144 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 155460 [startup+51.1002 s] /proc/loadavg: 2.00 2.03 2.17 3/179 12134 /proc/meminfo: memFree=30155084/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=217628 CPUtime=51.09 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 55334 0 0 0 4708 401 0 0 25 0 1 0 132100101 222851072 51819 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 54407 51819 398 719 0 53686 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 217628 [startup+102.307 s] /proc/loadavg: 2.00 2.02 2.16 3/179 12134 /proc/meminfo: memFree=29944632/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=399636 CPUtime=102.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 94428 0 0 0 9563 666 0 0 25 0 1 0 132100101 409227264 90913 4089446400 4194304 7136930 140736496592400 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 99909 90913 398 719 0 99188 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 399636 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.15 3/179 12136 /proc/meminfo: memFree=29760204/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=540036 CPUtime=162.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 127379 0 0 0 15117 1112 0 0 25 0 1 0 132100101 552996864 123864 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 135009 123864 398 719 0 134288 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 540036 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.14 3/179 12138 /proc/meminfo: memFree=29567816/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=657168 CPUtime=222.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 157022 0 0 0 20628 1601 0 0 25 0 1 0 132100101 672940032 153507 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 164292 153507 398 719 0 163571 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 657168 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.13 3/179 12143 /proc/meminfo: memFree=29397988/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=754424 CPUtime=282.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 181377 0 0 0 26269 1960 0 0 25 0 1 0 132100101 772530176 177862 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 188606 177862 398 719 0 187885 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 754424 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.12 3/179 12145 /proc/meminfo: memFree=29274980/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=811756 CPUtime=342.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 195571 0 0 0 31984 2245 0 0 25 0 1 0 132100101 831238144 192056 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 202939 192056 398 719 0 202218 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 811756 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.11 3/179 12145 /proc/meminfo: memFree=29162956/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=849900 CPUtime=402.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 205036 0 0 0 37755 2474 0 0 25 0 1 0 132100101 870297600 201521 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 212475 201521 398 719 0 211754 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 849900 [startup+462.301 s] /proc/loadavg: 2.07 2.02 2.10 3/179 12147 /proc/meminfo: memFree=29012380/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=930568 CPUtime=462.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 222908 0 0 0 43382 2847 0 0 25 0 1 0 132100101 952901632 219393 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 232642 219393 398 719 0 231921 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 930568 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.09 3/179 12149 /proc/meminfo: memFree=28849524/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1022408 CPUtime=522.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 245346 0 0 0 49014 3215 0 0 25 0 1 0 132100101 1046945792 241831 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 255602 241831 398 719 0 254881 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1022408 [startup+582.301 s] /proc/loadavg: 2.06 2.02 2.09 3/179 12151 /proc/meminfo: memFree=28712712/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1110080 CPUtime=582.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 266731 0 0 0 54641 3588 0 0 25 0 1 0 132100101 1136721920 263216 4089446400 4194304 7136930 140736496592400 18446744073709551615 4223215 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12131/statm: 277520 263216 398 719 0 276799 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1110080 [startup+642.301 s] /proc/loadavg: 2.02 2.01 2.08 3/179 12153 /proc/meminfo: memFree=28550104/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1201528 CPUtime=642.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 289628 0 0 0 60222 4007 0 0 25 0 1 0 132100101 1230364672 286113 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 300382 286113 398 719 0 299661 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1201528 [startup+702.3 s] ################ # More data... # ################ /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 414027 0 0 0 93804 6426 0 0 25 0 1 0 132100101 1737273344 410512 4089446400 4194304 7136930 140736496592400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 424139 410512 398 719 0 423418 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1696556 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 12191 /proc/meminfo: memFree=29890248/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1799908 CPUtime=1062.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 435916 0 0 0 99415 6814 0 0 25 0 1 0 132100101 1843105792 432401 4089446400 4194304 7136930 140736496592400 18446744073709551615 4923320 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 449977 432401 398 719 0 449256 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 1799908 [startup+1122.3 s] /proc/loadavg: 2.05 2.01 2.04 3/179 12193 /proc/meminfo: memFree=29804240/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1881688 CPUtime=1122.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 456509 0 0 0 105018 7211 0 0 25 0 1 0 132100101 1926848512 452994 4089446400 4194304 7136930 140736496592400 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12131/statm: 470422 452994 398 719 0 469701 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 1881688 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.04 3/179 12195 /proc/meminfo: memFree=29734328/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=1951932 CPUtime=1182.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 474150 0 0 0 110686 7544 0 0 25 0 1 0 132100101 1998778368 470635 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 487983 470635 398 719 0 487262 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1951932 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 12197 /proc/meminfo: memFree=29646452/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2039268 CPUtime=1242.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 496219 0 0 0 116275 7954 0 0 25 0 1 0 132100101 2088210432 492704 4089446400 4194304 7136930 140736496592400 18446744073709551615 4923075 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 509817 492704 398 719 0 509096 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 2039268 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 12197 /proc/meminfo: memFree=29572980/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2110324 CPUtime=1302.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 514127 0 0 0 121960 8270 0 0 25 0 1 0 132100101 2160971776 510612 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 527581 510612 398 719 0 526860 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 2110324 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 12199 /proc/meminfo: memFree=29498896/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2182712 CPUtime=1362.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 532489 0 0 0 127604 8625 0 0 25 0 1 0 132100101 2235097088 528974 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 545678 528974 398 719 0 544957 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 2182712 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12201 /proc/meminfo: memFree=29417972/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2262212 CPUtime=1422.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 552641 0 0 0 133257 8973 0 0 25 0 1 0 132100101 2316505088 549126 4089446400 4194304 7136930 140736496592400 18446744073709551615 6166816 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 565553 549126 398 719 0 564832 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 2262212 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 12203 /proc/meminfo: memFree=29380548/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2298988 CPUtime=1482.29 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 561912 0 0 0 139026 9203 0 0 25 0 1 0 132100101 2354163712 558397 4089446400 4194304 7136930 140736496592400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 574747 558397 398 719 0 574026 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 2298988 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12205 /proc/meminfo: memFree=29347656/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2331632 CPUtime=1542.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 570095 0 0 0 144824 9406 0 0 25 0 1 0 132100101 2387591168 566580 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 582908 566580 398 719 0 582187 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 2331632 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12205 /proc/meminfo: memFree=29321916/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2357768 CPUtime=1602.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 576635 0 0 0 150647 9583 0 0 25 0 1 0 132100101 2414354432 573120 4089446400 4194304 7136930 140736496592400 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 589442 573120 398 719 0 588721 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 2357768 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12207 /proc/meminfo: memFree=29292220/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2387968 CPUtime=1662.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 584174 0 0 0 156484 9746 0 0 25 0 1 0 132100101 2445279232 580659 4089446400 4194304 7136930 140736496592400 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 596992 580659 398 719 0 596271 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 2387968 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12209 /proc/meminfo: memFree=29276404/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2402152 CPUtime=1722.3 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 587787 0 0 0 162331 9899 0 0 25 0 1 0 132100101 2459803648 584272 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 600538 584272 398 719 0 599817 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 2402152 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12211 /proc/meminfo: memFree=29256028/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2422292 CPUtime=1782.31 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 592898 0 0 0 168188 10043 0 0 25 0 1 0 132100101 2480427008 589383 4089446400 4194304 7136930 140736496592400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 605573 589383 398 719 0 604852 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2422292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12211 /proc/meminfo: memFree=29251416/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2427104 CPUtime=1800.01 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 594122 0 0 0 169917 10084 0 0 25 0 1 0 132100101 2485354496 590607 4089446400 4194304 7136930 140736496592400 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/12131/statm: 606776 590607 398 719 0 606055 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2427104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12131 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.01 2.00 3/180 12212 /proc/meminfo: memFree=29251284/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2427104 CPUtime=1801.4 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 594135 0 0 0 170056 10084 0 0 25 0 1 0 132100101 2485354496 590620 4089446400 4194304 7136930 140736496592400 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12131/statm: 606776 590620 403 719 0 606055 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 2427104 [startup+1801.81 s] /proc/loadavg: 2.02 2.01 2.00 3/180 12212 /proc/meminfo: memFree=29251160/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2427104 CPUtime=1801.81 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 594135 0 0 0 170097 10084 0 0 25 0 1 0 132100101 2485354496 590620 4089446400 4194304 7136930 140736496592400 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12131/statm: 606776 590620 403 719 0 606055 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 2427104 [startup+1802 s] /proc/loadavg: 2.02 2.01 2.00 3/180 12212 /proc/meminfo: memFree=29251160/32950928 swapFree=67111528/67111528 [pid=12131] ppid=12129 vsize=2427104 CPUtime=1802 /proc/12131/stat : 12131 (pbscip.linux.x8) R 12129 12131 11517 0 -1 4202496 594135 0 0 0 170116 10084 0 0 25 0 1 0 132100101 2485354496 590620 4089446400 4194304 7136930 140736496592400 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/12131/statm: 606776 590620 403 719 0 606055 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 2427104 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.1 CPU user time (s): 1701.17 CPU system time (s): 100.923 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2427104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.17 system time used= 100.923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 594135 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= 5 involuntary context switches= 2056 runsolver used 3.2575 second user time and 6.26505 second system time The end
Begin job on node126 at 2010-06-30 16:27:17 IDJOB=2694151 IDBENCH=78954 IDSOLVER=1206 FILE ID=node126/2694151-1277908037 PBS_JOBID= 11197245 Free space on /tmp= 74188 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006--soft-33-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-2694151-1277908037/watcher-2694151-1277908037 -o /tmp/evaluation-result-2694151-1277908037/solver-2694151-1277908037 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694151-1277908037.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12371feb76f2c231a6dc5b657286b6d5 RANDOM SEED=487879721 node126.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.835 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.67 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.835 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.83 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.835 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.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.72 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.835 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.82 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.835 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.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30409308 kB Buffers: 190356 kB Cached: 923744 kB SwapCached: 0 kB Active: 1746348 kB Inactive: 651260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30409308 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 1282992 kB Mapped: 16300 kB Slab: 77576 kB PageTables: 7184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1480212 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= 74188 MiB End job on node126 at 2010-06-30 16:57:19