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.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo |
| MD5SUM | 85ba7bcc847457eeeb822d6fc8af8950 |
| 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 | 254.891 |
| 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 | 138262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 138261 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 641 |
| 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-2693651-1277928695.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 138261
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.382610e+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.19 c
0.19/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.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
2.39/2.49 o 395
2.39/2.49 c * 2.4s| 8429 | 5399 | 0 | 0.0 | 23M|2816 | - |5645 |6886 | 0 | 0 | 0 |1472 | 0 | 0.000000e+00 | 3.950000e+02 | Inf
2.49/2.56 o 382
2.49/2.56 c * 2.5s| 8572 | 5534 | 0 | 0.0 | 23M|2816 | - |5645 |6886 | 0 | 0 | 0 |1472 | 0 | 0.000000e+00 | 3.820000e+02 | Inf
2.59/2.63 o 374
2.59/2.63 c * 2.5s| 8705 | 5662 | 0 | 0.0 | 24M|2816 | - |5645 |6896 | 0 | 0 | 0 |1482 | 0 | 0.000000e+00 | 3.740000e+02 | Inf
2.59/2.68 o 367
2.59/2.68 c * 2.6s| 8831 | 5784 | 0 | 0.0 | 24M|2816 | - |5645 |6906 | 0 | 0 | 0 |1492 | 0 | 0.000000e+00 | 3.670000e+02 | Inf
2.79/2.83 o 345
2.79/2.83 c * 2.7s| 9201 | 6102 | 0 | 0.0 | 24M|2816 | - |5645 |6956 | 0 | 0 | 0 |1542 | 0 | 0.000000e+00 | 3.450000e+02 | Inf
2.79/2.88 o 336
2.79/2.88 c * 2.8s| 9312 | 6205 | 0 | 0.0 | 24M|2816 | - |5645 |6966 | 0 | 0 | 0 |1552 | 0 | 0.000000e+00 | 3.360000e+02 | Inf
2.89/2.93 o 303
2.89/2.93 c * 2.8s| 9430 | 6302 | 0 | 0.0 | 24M|2816 | - |5645 |6966 | 0 | 0 | 0 |1552 | 0 | 0.000000e+00 | 3.030000e+02 | Inf
2.89/2.93 o 284
2.89/2.93 c * 2.8s| 9431 | 6283 | 0 | 0.0 | 24M|2816 | - |5645 |6966 | 0 | 0 | 0 |1552 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
2.89/2.97 o 271
2.89/2.97 c * 2.9s| 9538 | 6379 | 0 | 0.0 | 24M|2816 | - |5645 |6976 | 0 | 0 | 0 |1562 | 0 | 0.000000e+00 | 2.710000e+02 | Inf
3.09/3.13 o 258
3.09/3.13 c * 3.0s| 9911 | 6730 | 0 | 0.0 | 25M|2816 | - |5645 |7051 | 0 | 0 | 0 |1637 | 0 | 0.000000e+00 | 2.580000e+02 | Inf
3.09/3.13 o 255
3.09/3.13 c * 3.0s| 9920 | 6729 | 0 | 0.0 | 25M|2816 | - |5645 |7056 | 0 | 0 | 0 |1642 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
3.09/3.17 c 3.0s| 10000 | 6802 | 0 | 0.0 | 25M|2816 | - |5645 |7067 | 0 | 0 | 0 |1653 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
3.09/3.20 o 245
3.09/3.20 c * 3.1s| 10243 | 6934 | 0 | 0.0 | 25M|2816 | - |5645 |7072 | 0 | 0 | 0 |1658 | 0 | 0.000000e+00 | 2.450000e+02 | Inf
3.20/3.28 o 232
3.20/3.28 c * 3.2s| 10468 | 7013 | 0 | 0.0 | 25M|2816 | - |5645 |7123 | 0 | 0 | 0 |1711 | 0 | 0.000000e+00 | 2.320000e+02 | Inf
5.99/6.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.04 c 5.8s| 20000 | 15380 | 0 | 0.0 | 35M|2816 | - |5645 |7975 | 0 | 0 | 0 |8015 | 0 | 0.000000e+00 | 2.320000e+02 | Inf
9.59/9.61 c 9.3s| 30000 | 22494 | 0 | 0.0 | 47M|2816 | - |5645 | 10k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
10.39/10.47 o 220
10.39/10.47 c *10.2s| 31098 | 22341 | 0 | 0.0 | 48M|2816 | - |5645 | 11k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
10.59/10.61 o 204
10.59/10.61 c *10.3s| 31358 | 22563 | 0 | 0.0 | 48M|2816 | - |5645 | 11k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
10.69/10.76 o 203
10.69/10.76 c *10.5s| 31615 | 22807 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
10.69/10.77 o 199
10.69/10.77 c *10.5s| 31616 | 22801 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
10.99/11.01 o 173
10.99/11.01 c *10.7s| 32039 | 23111 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
11.09/11.17 o 160
11.09/11.17 c *10.9s| 32277 | 23305 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
11.19/11.24 o 149
11.19/11.24 c *10.9s| 32417 | 23427 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
11.19/11.25 o 145
11.19/11.25 c *10.9s| 32418 | 23379 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
11.29/11.38 o 134
11.29/11.38 c *11.1s| 32627 | 23556 | 0 | 0.0 | 49M|2816 | - |5645 |9991 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
11.39/11.42 o 133
11.39/11.42 c *11.1s| 32680 | 23605 | 0 | 0.0 | 49M|2816 | - |5645 |9909 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
11.79/11.86 o 130
11.79/11.86 c *11.6s| 33296 | 24168 | 0 | 0.0 | 50M|2816 | - |5645 |9619 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
11.79/11.86 o 121
11.79/11.86 c *11.6s| 33297 | 24099 | 0 | 0.0 | 50M|2816 | - |5645 |9619 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
11.99/12.08 o 95
11.99/12.08 c *11.8s| 33668 | 24136 | 0 | 0.0 | 50M|2816 | - |5645 |9397 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
13.10/13.16 o 92
13.10/13.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.10/13.16 c *12.8s| 35240 | 25421 | 0 | 0.0 | 52M|2816 | - |5645 |8997 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
14.59/14.62 o 82
14.59/14.62 c *14.3s| 37011 | 26336 | 0 | 0.0 | 56M|2816 | - |5645 |9024 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
14.59/14.67 o 77
14.59/14.67 c *14.3s| 37104 | 26241 | 0 | 0.0 | 56M|2816 | - |5645 |8968 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
14.70/14.71 o 63
14.70/14.71 c *14.4s| 37160 | 25712 | 0 | 0.0 | 54M|2816 | - |5645 |8927 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
15.69/15.71 o 46
15.69/15.71 c *15.3s| 38659 | 26298 | 0 | 0.0 | 58M|2816 | - |5645 |8228 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
16.19/16.28 o 45
16.19/16.28 c *15.9s| 39386 | 26815 | 0 | 0.0 | 61M|2816 | - |5645 |8575 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
16.69/16.79 c 16.4s| 40000 | 27244 | 0 | 0.0 | 62M|2816 | - |5645 |9023 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
17.79/17.88 o 42
17.79/17.88 c *17.5s| 41661 | 28529 | 0 | 0.0 | 64M|2816 | - |5645 |6716 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
19.39/19.46 o 24
19.39/19.46 c *19.0s| 44865 | 30293 | 0 | 0.0 | 65M|2816 | - |5645 |7028 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
21.69/21.72 c 21.3s| 50000 | 34532 | 0 | 0.0 | 70M|2816 | - |5645 |6973 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
22.39/22.44 o 22
22.39/22.44 c *21.9s| 51743 | 35874 | 0 | 0.0 | 72M|2816 | - |5645 |6913 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
23.79/23.81 o 12
23.79/23.81 c *23.3s| 55118 | 38236 | 0 | 0.0 | 75M|2816 | - |5645 |6993 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
25.69/25.72 c 25.2s| 60000 | 42281 | 0 | 0.0 | 80M|2816 | - |5645 |7162 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
29.39/29.41 c 28.8s| 70000 | 50504 | 0 | 0.0 | 90M|2816 | - |5645 |7698 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
32.89/32.98 c 32.3s| 80000 | 58829 | 0 | 0.0 | 101M|2816 | - |5645 |6739 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
36.39/36.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.39/36.46 c 35.7s| 90000 | 67123 | 0 | 0.0 | 111M|2816 | - |5645 |7390 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
40.09/40.13 c 39.3s|100000 | 75244 | 0 | 0.0 | 121M|2816 | - |5645 |7596 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
44.00/44.00 c 43.1s|110000 | 83138 | 0 | 0.0 | 131M|2816 | - |5645 |7975 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
48.18/48.24 c 47.2s|120000 | 90915 | 0 | 0.0 | 142M|2816 | - |5645 |8082 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
52.49/52.56 c 51.5s|130000 | 98706 | 0 | 0.0 | 152M|2816 | - |5645 |8406 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
56.88/56.95 c 55.8s|140000 |106375 | 0 | 0.0 | 162M|2816 | - |5645 |8378 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
61.39/61.46 c 60.2s|150000 |113957 | 0 | 0.0 | 172M|2816 | - |5645 |8695 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
66.29/66.39 c 65.1s|160000 |121202 | 0 | 0.0 | 183M|2816 | - |5645 |9294 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
71.59/71.62 c 70.2s|170000 |128245 | 0 | 0.0 | 193M|2816 | - |5645 |9782 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
76.99/77.07 c 75.6s|180000 |135076 | 0 | 0.0 | 204M|2816 | - |5645 | 10k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
82.99/83.06 c 81.5s|190000 |141526 | 0 | 0.0 | 215M|2816 | - |5645 | 10k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
89.59/89.64 c 88.0s|200000 |147505 | 0 | 0.0 | 225M|2816 | - |5645 | 11k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
97.39/97.46 c 95.7s|210000 |152606 | 0 | 0.0 | 236M|2816 | - |5645 | 11k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
105.89/105.98 c 104s|220000 |157378 | 0 | 0.0 | 246M|2816 | - |5645 | 13k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
116.49/116.58 c 115s|230000 |160906 | 0 | 0.0 | 252M|2816 | - |5645 |8915 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
121.39/121.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.39/121.49 c 119s|240000 |169121 | 0 | 0.0 | 262M|2816 | - |5645 |8695 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
128.19/128.24 c 126s|250000 |175878 | 0 | 0.0 | 273M|2816 | - |5645 |7246 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
134.49/134.51 c 132s|260000 |183215 | 0 | 0.0 | 285M|2816 | - |5645 | 11k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
140.19/140.22 o 11
140.19/140.22 c * 138s|269075 |189553 | 0 | 0.0 | 293M|2816 | - |5645 |8183 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
140.19/140.22 o 9
140.19/140.22 c * 138s|269076 |189462 | 0 | 0.0 | 293M|2816 | - |5645 |8183 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
140.69/140.74 c 138s|270000 |190226 | 0 | 0.0 | 294M|2816 | - |5645 |8190 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
146.30/146.33 c 144s|280000 |198201 | 0 | 0.0 | 305M|2816 | - |5645 |8667 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
153.59/153.65 c 151s|290000 |205202 | 0 | 0.0 | 317M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
155.19/155.28 o 8
155.19/155.28 c * 153s|291886 |206318 | 0 | 0.0 | 319M|2816 | - |5645 | 10k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
155.28/155.31 o 5
155.28/155.31 c * 153s|291926 |205874 | 0 | 0.0 | 317M|2816 | - |5645 | 10k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
162.89/162.98 c 160s|300000 |210224 | 0 | 0.0 | 329M|2816 | - |5645 | 10k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
169.59/169.60 c 167s|310000 |218101 | 0 | 0.0 | 359M|2816 | - |5645 |8022 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
174.68/174.72 c 172s|320000 |224937 | 0 | 0.0 | 368M|2816 | - |5645 |7053 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
179.20/179.23 c 176s|330000 |232457 | 0 | 0.0 | 379M|2816 | - |5645 |7529 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
180.49/180.53 o 2
180.49/180.53 c * 178s|332683 |233042 | 0 | 0.0 | 379M|2816 | - |5645 |7637 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
184.19/184.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.19/184.22 c 181s|340000 |238195 | 0 | 0.0 | 387M|2816 | - |5645 |7825 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
189.39/189.43 c 186s|350000 |244763 | 0 | 0.0 | 396M|2816 | - |5645 |7045 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
193.39/193.44 c 190s|360000 |252717 | 0 | 0.0 | 406M|2816 | - |5645 |7487 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
198.29/198.31 c 195s|370000 |259800 | 0 | 0.0 | 416M|2816 | - |5645 |8536 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
203.79/203.85 c 200s|380000 |266328 | 0 | 0.0 | 425M|2816 | - |5645 |7843 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
209.00/209.00 c 205s|390000 |272905 | 0 | 0.0 | 434M|2816 | - |5645 | 10k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
212.89/212.91 c 209s|400000 |281047 | 0 | 0.0 | 444M|2816 | - |5645 |8102 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
217.89/217.95 c 214s|410000 |287988 | 0 | 0.0 | 453M|2816 | - |5645 |7381 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
222.60/222.62 c 219s|420000 |295225 | 0 | 0.0 | 463M|2816 | - |5645 |8516 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
226.99/227.09 c 223s|430000 |302769 | 0 | 0.0 | 472M|2816 | - |5645 |7751 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
231.49/231.59 c 228s|440000 |310254 | 0 | 0.0 | 482M|2816 | - |5645 |8046 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
236.40/236.46 c 232s|450000 |317469 | 0 | 0.0 | 492M|2816 | - |5645 |8439 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
242.09/242.15 c 238s|460000 |323761 | 0 | 0.0 | 501M|2816 | - |5645 | 10k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
246.30/246.40 c 242s|470000 |331521 | 0 | 0.0 | 510M|2816 | - |5645 |8319 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
251.29/251.37 c 247s|480000 |338485 | 0 | 0.0 | 519M|2816 | - |5645 |8032 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
256.09/256.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.09/256.16 c 252s|490000 |345624 | 0 | 0.0 | 529M|2816 | - |5645 |9186 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
260.09/260.15 c 256s|500000 |353719 | 0 | 0.0 | 539M|2816 | - |5645 |8199 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
265.00/265.07 c 260s|510000 |360724 | 0 | 0.0 | 549M|2816 | - |5645 |9360 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
269.99/270.01 c 265s|520000 |367724 | 0 | 0.0 | 558M|2816 | - |5645 |8083 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
275.09/275.13 c 270s|530000 |374585 | 0 | 0.0 | 567M|2816 | - |5645 |9003 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
279.39/279.43 c 274s|540000 |382207 | 0 | 0.0 | 578M|2816 | - |5645 |9556 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
284.00/284.02 c 279s|550000 |389577 | 0 | 0.0 | 587M|2816 | - |5645 |8441 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
288.50/288.58 c 283s|560000 |397039 | 0 | 0.0 | 596M|2816 | - |5645 |8658 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
292.79/292.85 c 288s|570000 |404714 | 0 | 0.0 | 606M|2816 | - |5645 |8655 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
297.39/297.40 c 292s|580000 |412101 | 0 | 0.0 | 615M|2816 | - |5645 |8796 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
302.40/302.43 c 297s|590000 |419051 | 0 | 0.0 | 625M|2816 | - |5645 |9975 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
307.60/307.62 c 302s|600000 |425989 | 0 | 0.0 | 634M|2816 | - |5645 |8575 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
311.89/311.96 c 306s|610000 |433579 | 0 | 0.0 | 644M|2816 | - |5645 |8921 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
316.70/316.73 c 311s|620000 |440744 | 0 | 0.0 | 654M|2816 | - |5645 |9676 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
321.40/321.41 c 316s|630000 |448045 | 0 | 0.0 | 662M|2816 | - |5645 |8123 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
325.39/325.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.39/325.46 c 319s|640000 |455900 | 0 | 0.0 | 672M|2816 | - |5645 |8813 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
331.10/331.11 c 325s|650000 |462241 | 0 | 0.0 | 682M|2816 | - |5645 | 10k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
335.40/335.45 c 329s|660000 |469880 | 0 | 0.0 | 691M|2816 | - |5645 |8147 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
339.49/339.56 c 333s|670000 |477767 | 0 | 0.0 | 700M|2816 | - |5645 |8925 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
345.89/345.90 c 339s|680000 |483547 | 0 | 0.0 | 710M|2816 | - |5645 | 11k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
349.89/349.90 c 343s|690000 |491606 | 0 | 0.0 | 719M|2816 | - |5645 |9490 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
355.19/355.28 c 349s|700000 |498260 | 0 | 0.0 | 728M|2816 | - |5645 |8944 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
359.79/359.88 c 353s|710000 |505688 | 0 | 0.0 | 738M|2816 | - |5645 |9301 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
364.49/364.55 c 358s|720000 |513071 | 0 | 0.0 | 748M|2816 | - |5645 |9560 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
369.39/369.42 c 363s|730000 |520280 | 0 | 0.0 | 758M|2816 | - |5645 |9883 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
374.40/374.40 c 367s|740000 |527426 | 0 | 0.0 | 768M|2816 | - |5645 | 10k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
379.50/379.56 c 373s|750000 |534487 | 0 | 0.0 | 778M|2816 | - |5645 | 10k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
384.70/384.75 c 378s|760000 |541514 | 0 | 0.0 | 788M|2816 | - |5645 | 10k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
390.09/390.17 c 383s|770000 |548332 | 0 | 0.0 | 798M|2816 | - |5645 | 10k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
395.29/395.40 c 388s|780000 |555300 | 0 | 0.0 | 808M|2816 | - |5645 | 10k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
400.90/400.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.90/400.99 c 394s|790000 |562080 | 0 | 0.0 | 818M|2816 | - |5645 | 10k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
406.49/406.59 c 399s|800000 |568919 | 0 | 0.0 | 828M|2816 | - |5645 | 10k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
412.29/412.30 c 405s|810000 |575531 | 0 | 0.0 | 838M|2816 | - |5645 | 11k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
417.90/417.97 c 410s|820000 |582292 | 0 | 0.0 | 848M|2816 | - |5645 | 10k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
423.79/423.83 c 416s|830000 |588802 | 0 | 0.0 | 858M|2816 | - |5645 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
429.69/429.70 c 422s|840000 |595467 | 0 | 0.0 | 868M|2816 | - |5645 | 10k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
435.90/435.95 c 428s|850000 |601644 | 0 | 0.0 | 878M|2816 | - |5645 | 11k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
441.70/441.76 c 434s|860000 |608322 | 0 | 0.0 | 888M|2816 | - |5645 | 11k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.09/448.11 c 440s|870000 |614444 | 0 | 0.0 | 898M|2816 | - |5645 | 11k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
453.99/454.05 c 446s|880000 |620950 | 0 | 0.0 | 908M|2816 | - |5645 | 11k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
459.80/459.89 c 452s|890000 |627125 | 0 | 0.0 | 918M|2816 | - |5645 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
465.70/465.73 c 457s|900000 |633312 | 0 | 0.0 | 928M|2816 | - |5645 | 12k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.10/471.19 c 463s|910000 |639817 | 0 | 0.0 | 937M|2816 | - |5645 | 11k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
477.40/477.47 c 469s|920000 |645472 | 0 | 0.0 | 947M|2816 | - |5645 | 12k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
483.10/483.15 c 474s|930000 |651838 | 0 | 0.0 | 957M|2816 | - |5645 | 12k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
488.99/489.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.99/489.05 c 480s|940000 |657955 | 0 | 0.0 | 967M|2816 | - |5645 | 11k| 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
495.40/495.43 c 487s|950000 |663656 | 0 | 0.0 | 977M|2816 | - |5645 | 12k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.30/501.34 c 492s|960000 |669835 | 0 | 0.0 | 987M|2816 | - |5645 | 12k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
508.00/508.09 c 499s|970000 |675224 | 0 | 0.0 | 997M|2816 | - |5645 | 12k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
514.30/514.37 c 505s|980000 |681125 | 0 | 0.0 |1007M|2816 | - |5645 | 12k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.00/520.05 c 511s|990000 |687489 | 0 | 0.0 |1017M|2816 | - |5645 | 11k| 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
526.80/526.82 c 517s| 1000k|692696 | 0 | 0.0 |1027M|2816 | - |5645 | 12k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
533.00/533.04 c 524s| 1010k|698573 | 0 | 0.0 |1036M|2816 | - |5645 | 12k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.80/538.88 c 529s| 1020k|704721 | 0 | 0.0 |1046M|2816 | - |5645 | 11k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
546.20/546.25 c 537s| 1030k|709492 | 0 | 0.0 |1055M|2816 | - |5645 | 13k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
552.60/552.61 c 543s| 1040k|715242 | 0 | 0.0 |1065M|2816 | - |5645 | 12k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.39/558.42 c 549s| 1050k|721461 | 0 | 0.0 |1074M|2816 | - |5645 | 10k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.10/566.18 c 556s| 1060k|725898 | 0 | 0.0 |1084M|2816 | - |5645 | 13k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.30/572.36 c 562s| 1070k|731820 | 0 | 0.0 |1094M|2816 | - |5645 | 12k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
579.40/579.45 c 569s| 1080k|736860 | 0 | 0.0 |1104M|2816 | - |5645 | 11k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.90/587.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.90/587.00 c 577s| 1090k|741613 | 0 | 0.0 |1114M|2816 | - |5645 | 12k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
593.20/593.23 c 583s| 1100k|747422 | 0 | 0.0 |1125M|2816 | - |5645 | 11k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.89/600.97 c 591s| 1110k|751789 | 0 | 0.0 |1134M|2816 | - |5645 | 13k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
608.10/608.13 c 598s| 1120k|756963 | 0 | 0.0 |1144M|2816 | - |5645 | 12k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
614.80/614.85 c 604s| 1130k|762296 | 0 | 0.0 |1154M|2816 | - |5645 | 10k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.80/622.89 c 612s| 1140k|766332 | 0 | 0.0 |1164M|2816 | - |5645 | 13k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.70/629.71 c 619s| 1150k|771650 | 0 | 0.0 |1173M|2816 | - |5645 | 12k| 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
637.60/637.65 c 627s| 1160k|775860 | 0 | 0.0 |1183M|2816 | - |5645 | 12k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.40/645.46 c 634s| 1170k|780368 | 0 | 0.0 |1192M|2816 | - |5645 | 12k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
652.90/652.90 c 642s| 1180k|785192 | 0 | 0.0 |1202M|2816 | - |5645 | 11k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
661.70/661.78 c 651s| 1190k|788527 | 0 | 0.0 |1211M|2816 | - |5645 | 13k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
669.20/669.20 c 658s| 1200k|793292 | 0 | 0.0 |1221M|2816 | - |5645 | 11k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
678.50/678.51 c 667s| 1210k|796425 | 0 | 0.0 |1230M|2816 | - |5645 | 13k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.70/686.74 c 675s| 1220k|800682 | 0 | 0.0 |1240M|2816 | - |5645 | 11k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
696.40/696.44 c 685s| 1230k|803489 | 0 | 0.0 |1248M|2816 | - |5645 | 12k| 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.40/705.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.40/705.46 c 694s| 1240k|806828 | 0 | 0.0 |1258M|2816 | - |5645 | 13k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.30/714.33 c 702s| 1250k|810467 | 0 | 0.0 |1267M|2816 | - |5645 | 12k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
724.00/724.01 c 712s| 1260k|813254 | 0 | 0.0 |1275M|2816 | - |5645 | 13k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.61/733.62 c 721s| 1270k|816257 | 0 | 0.0 |1283M|2816 | - |5645 | 13k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
742.71/742.76 c 731s| 1280k|819942 | 0 | 0.0 |1293M|2816 | - |5645 | 12k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.01/753.00 c 741s| 1290k|822478 | 0 | 0.0 |1301M|2816 | - |5645 | 13k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.60/763.61 c 751s| 1300k|824804 | 0 | 0.0 |1309M|2816 | - |5645 | 13k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.60/774.64 c 762s| 1310k|826648 | 0 | 0.0 |1316M|2816 | - |5645 | 14k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.20/786.24 c 774s| 1320k|828206 | 0 | 0.0 |1323M|2816 | - |5645 | 14k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.01/798.02 c 785s| 1330k|829665 | 0 | 0.0 |1329M|2816 | - |5645 | 15k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.01/811.05 c 798s| 1340k|830455 | 0 | 0.0 |1336M|2816 | - |5645 | 15k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
826.20/826.26 c 813s| 1350k|829654 | 0 | 0.0 |1340M|2816 | - |5645 | 17k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.60/836.62 c 823s| 1360k|833052 | 0 | 0.0 |1341M|2816 | - |5645 |8688 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.51/840.58 c 827s| 1370k|841065 | 0 | 0.0 |1351M|2816 | - |5645 |8720 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.71/844.71 c 831s| 1380k|848860 | 0 | 0.0 |1361M|2816 | - |5645 |9227 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.00/849.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.00/849.08 c 836s| 1390k|856401 | 0 | 0.0 |1371M|2816 | - |5645 |9907 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.81/853.80 c 840s| 1400k|863587 | 0 | 0.0 |1381M|2816 | - |5645 | 10k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.80/858.85 c 845s| 1410k|870499 | 0 | 0.0 |1391M|2816 | - |5645 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.21/864.29 c 851s| 1420k|877119 | 0 | 0.0 |1402M|2816 | - |5645 | 12k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.21/870.20 c 856s| 1430k|883476 | 0 | 0.0 |1412M|2816 | - |5645 | 13k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
876.61/876.63 c 863s| 1440k|889403 | 0 | 0.0 |1422M|2816 | - |5645 | 15k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.11/884.13 c 870s| 1450k|894630 | 0 | 0.0 |1433M|2816 | - |5645 | 17k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.60/893.63 c 879s| 1460k|898747 | 0 | 0.0 |1443M|2816 | - |5645 | 19k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.21/906.24 c 892s| 1470k|901222 | 0 | 0.0 |1452M|2816 | - |5645 | 23k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.31/914.32 c 900s| 1480k|907289 | 0 | 0.0 |1456M|2816 | - |5645 | 11k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
918.71/918.70 c 904s| 1490k|915165 | 0 | 0.0 |1465M|2816 | - |5645 | 10k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.21/923.28 c 909s| 1500k|922696 | 0 | 0.0 |1475M|2816 | - |5645 | 10k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.11/928.14 c 913s| 1510k|929966 | 0 | 0.0 |1486M|2816 | - |5645 | 11k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
933.31/933.35 c 919s| 1520k|936866 | 0 | 0.0 |1496M|2816 | - |5645 | 12k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
938.71/938.72 c 924s| 1530k|943623 | 0 | 0.0 |1506M|2816 | - |5645 | 12k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.71/944.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.71/944.78 c 930s| 1540k|949945 | 0 | 0.0 |1516M|2816 | - |5645 | 13k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.91/951.99 c 937s| 1550k|955475 | 0 | 0.0 |1526M|2816 | - |5645 | 15k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.51/960.60 c 945s| 1560k|960182 | 0 | 0.0 |1536M|2816 | - |5645 | 17k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
971.51/971.54 c 956s| 1570k|963434 | 0 | 0.0 |1546M|2816 | - |5645 | 20k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.11/983.12 c 968s| 1580k|967113 | 0 | 0.0 |1549M|2816 | - |5645 | 10k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.21/987.24 c 972s| 1590k|975018 | 0 | 0.0 |1558M|2816 | - |5645 |8988 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
991.41/991.47 c 976s| 1600k|982682 | 0 | 0.0 |1567M|2816 | - |5645 |9091 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.91/995.99 c 980s| 1610k|990067 | 0 | 0.0 |1577M|2816 | - |5645 |9436 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.71/1000.79 c 985s| 1620k|997247 | 0 | 0.0 |1587M|2816 | - |5645 |9432 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1005.71/1005.77 c 990s| 1630k| 1004k| 0 | 0.0 |1596M|2816 | - |5645 |9338 | 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.01/1011.01 c 995s| 1640k| 1010k| 0 | 0.0 |1606M|2816 | - |5645 |9408 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.32/1016.37 c 1000s| 1650k| 1017k| 0 | 0.0 |1616M|2816 | - |5645 |9561 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1021.61/1021.65 c 1005s| 1660k| 1024k| 0 | 0.0 |1625M|2816 | - |5645 |9030 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.42/1027.43 c 1011s| 1670k| 1030k| 0 | 0.0 |1635M|2816 | - |5645 |9847 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.31/1033.30 c 1017s| 1680k| 1036k| 0 | 0.0 |1645M|2816 | - |5645 | 10k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.31/1039.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.31/1039.40 c 1023s| 1690k| 1042k| 0 | 0.0 |1654M|2816 | - |5645 | 10k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1045.81/1045.89 c 1029s| 1700k| 1048k| 0 | 0.0 |1664M|2816 | - |5645 | 10k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.21/1052.26 c 1036s| 1710k| 1053k| 0 | 0.0 |1673M|2816 | - |5645 | 10k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1059.32/1059.35 c 1043s| 1720k| 1059k| 0 | 0.0 |1682M|2816 | - |5645 | 11k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1066.51/1066.53 c 1050s| 1730k| 1064k| 0 | 0.0 |1691M|2816 | - |5645 | 11k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.72/1073.72 c 1057s| 1740k| 1069k| 0 | 0.0 |1699M|2816 | - |5645 | 11k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.72/1080.72 c 1064s| 1750k| 1075k| 0 | 0.0 |1709M|2816 | - |5645 | 12k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.72/1087.75 c 1070s| 1760k| 1080k| 0 | 0.0 |1718M|2816 | - |5645 | 12k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.82/1094.86 c 1077s| 1770k| 1086k| 0 | 0.0 |1727M|2816 | - |5645 | 13k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1102.62/1102.65 c 1085s| 1780k| 1091k| 0 | 0.0 |1736M|2816 | - |5645 | 15k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1111.41/1111.42 c 1094s| 1790k| 1095k| 0 | 0.0 |1746M|2816 | - |5645 | 17k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1122.81/1122.87 c 1105s| 1800k| 1098k| 0 | 0.0 |1756M|2816 | - |5645 | 20k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1133.41/1133.47 c 1116s| 1810k| 1103k| 0 | 0.0 |1760M|2816 | - |5645 | 10k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1138.22/1138.23 c 1120s| 1820k| 1111k| 0 | 0.0 |1771M|2816 | - |5645 |9334 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.92/1142.96 c 1125s| 1830k| 1118k| 0 | 0.0 |1781M|2816 | - |5645 |9504 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1148.11/1148.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.11/1148.16 c 1130s| 1840k| 1126k| 0 | 0.0 |1792M|2816 | - |5645 | 10k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1153.62/1153.67 c 1135s| 1850k| 1132k| 0 | 0.0 |1804M|2816 | - |5645 | 10k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1159.62/1159.68 c 1141s| 1860k| 1139k| 0 | 0.0 |1815M|2816 | - |5645 | 11k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1166.42/1166.41 c 1148s| 1870k| 1145k| 0 | 0.0 |1827M|2816 | - |5645 | 12k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.21/1174.24 c 1156s| 1880k| 1150k| 0 | 0.0 |1839M|2816 | - |5645 | 14k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1183.71/1183.75 c 1165s| 1890k| 1154k| 0 | 0.0 |1852M|2816 | - |5645 | 16k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1197.22/1197.25 c 1178s| 1900k| 1157k| 0 | 0.0 |1865M|2816 | - |5645 | 19k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1205.42/1205.48 c 1186s| 1910k| 1163k| 0 | 0.0 |1875M|2816 | - |5645 | 14k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.13/1211.17 c 1192s| 1920k| 1171k| 0 | 0.0 |1887M|2816 | - |5645 | 12k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1217.02/1217.07 c 1198s| 1930k| 1178k| 0 | 0.0 |1901M|2816 | - |5645 | 12k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1223.22/1223.29 c 1204s| 1940k| 1185k| 0 | 0.0 |1915M|2816 | - |5645 | 13k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1229.82/1229.87 c 1210s| 1950k| 1192k| 0 | 0.0 |1930M|2816 | - |5645 | 14k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1237.22/1237.23 c 1218s| 1960k| 1198k| 0 | 0.0 |1945M|2816 | - |5645 | 15k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.22/1245.23 c 1225s| 1970k| 1204k| 0 | 0.0 |1960M|2816 | - |5645 | 16k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1253.72/1253.78 c 1234s| 1980k| 1210k| 0 | 0.0 |1974M|2816 | - |5645 | 16k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.62/1262.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.62/1262.65 c 1243s| 1990k| 1215k| 0 | 0.0 |1988M|2816 | - |5645 | 16k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1271.63/1271.69 c 1251s| 2000k| 1220k| 0 | 0.0 |2001M|2816 | - |5645 | 16k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1280.22/1280.26 c 1260s| 2010k| 1226k| 0 | 0.0 |2013M|2816 | - |5645 | 15k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.82/1287.86 c 1267s| 2020k| 1232k| 0 | 0.0 |2025M|2816 | - |5645 | 14k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1294.62/1294.69 c 1274s| 2030k| 1238k| 0 | 0.0 |2036M|2816 | - |5645 | 14k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.23/1301.27 c 1281s| 2040k| 1245k| 0 | 0.0 |2047M|2816 | - |5645 | 14k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.42/1307.48 c 1287s| 2050k| 1252k| 0 | 0.0 |2057M|2816 | - |5645 | 15k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.62/1314.62 c 1294s| 2060k| 1257k| 0 | 0.0 |2068M|2816 | - |5645 | 16k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.82/1322.80 c 1302s| 2070k| 1263k| 0 | 0.0 |2079M|2816 | - |5645 | 18k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.42/1332.42 c 1311s| 2080k| 1267k| 0 | 0.0 |2090M|2816 | - |5645 | 21k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1347.82/1347.88 c 1327s| 2090k| 1269k| 0 | 0.0 |2098M|2816 | - |5645 | 25k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.43/1357.40 c 1336s| 2100k| 1276k| 0 | 0.0 |2104M|2816 | - |5645 | 16k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.53/1362.52 c 1341s| 2110k| 1284k| 0 | 0.0 |2113M|2816 | - |5645 | 13k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.62/1367.69 c 1346s| 2120k| 1291k| 0 | 0.0 |2123M|2816 | - |5645 | 13k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.42/1373.41 c 1351s| 2130k| 1298k| 0 | 0.0 |2133M|2816 | - |5645 | 13k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1379.23/1379.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.23/1379.26 c 1357s| 2140k| 1306k| 0 | 0.0 |2142M|2816 | - |5645 | 13k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.52/1385.54 c 1363s| 2150k| 1312k| 0 | 0.0 |2153M|2816 | - |5645 | 14k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.23/1392.21 c 1369s| 2160k| 1319k| 0 | 0.0 |2163M|2816 | - |5645 | 15k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1399.13/1399.16 c 1376s| 2170k| 1325k| 0 | 0.0 |2173M|2816 | - |5645 | 15k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.62/1406.62 c 1383s| 2180k| 1331k| 0 | 0.0 |2183M|2816 | - |5645 | 16k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.42/1414.43 c 1391s| 2190k| 1337k| 0 | 0.0 |2193M|2816 | - |5645 | 17k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.52/1422.58 c 1399s| 2200k| 1343k| 0 | 0.0 |2203M|2816 | - |5645 | 17k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.93/1431.00 c 1407s| 2210k| 1349k| 0 | 0.0 |2213M|2816 | - |5645 | 18k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1439.52/1439.56 c 1415s| 2220k| 1355k| 0 | 0.0 |2222M|2816 | - |5645 | 18k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.02/1448.05 c 1423s| 2230k| 1361k| 0 | 0.0 |2232M|2816 | - |5645 | 19k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1457.03/1457.06 c 1432s| 2240k| 1366k| 0 | 0.0 |2241M|2816 | - |5645 | 19k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.62/1466.60 c 1441s| 2250k| 1371k| 0 | 0.0 |2251M|2816 | - |5645 | 20k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1476.93/1476.92 c 1451s| 2260k| 1376k| 0 | 0.0 |2260M|2816 | - |5645 | 22k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.22/1489.25 c 1464s| 2270k| 1380k| 0 | 0.0 |2269M|2816 | - |5645 | 24k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.12/1502.11 c 1476s| 2280k| 1385k| 0 | 0.0 |2277M|2816 | - |5645 | 23k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1509.62/1509.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.62/1509.69 c 1483s| 2290k| 1392k| 0 | 0.0 |2285M|2816 | - |5645 | 19k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1515.62/1515.67 c 1489s| 2300k| 1399k| 0 | 0.0 |2294M|2816 | - |5645 | 18k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1521.82/1521.84 c 1495s| 2310k| 1407k| 0 | 0.0 |2303M|2816 | - |5645 | 18k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.22/1528.25 c 1501s| 2320k| 1414k| 0 | 0.0 |2313M|2816 | - |5645 | 18k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1535.13/1535.18 c 1508s| 2330k| 1420k| 0 | 0.0 |2323M|2816 | - |5645 | 19k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1543.12/1543.14 c 1516s| 2340k| 1426k| 0 | 0.0 |2333M|2816 | - |5645 | 20k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1552.33/1552.31 c 1525s| 2350k| 1432k| 0 | 0.0 |2343M|2816 | - |5645 | 22k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1563.53/1563.58 c 1536s| 2360k| 1436k| 0 | 0.0 |2353M|2816 | - |5645 | 25k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.63/1579.65 c 1551s| 2370k| 1439k| 0 | 0.0 |2361M|2816 | - |5645 | 27k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1586.03/1586.02 c 1558s| 2380k| 1447k| 0 | 0.0 |2368M|2816 | - |5645 | 20k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1591.33/1591.38 c 1563s| 2390k| 1454k| 0 | 0.0 |2377M|2816 | - |5645 | 17k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1596.63/1596.68 c 1568s| 2400k| 1462k| 0 | 0.0 |2386M|2816 | - |5645 | 16k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1602.53/1602.53 c 1573s| 2410k| 1469k| 0 | 0.0 |2395M|2816 | - |5645 | 16k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1608.83/1608.87 c 1580s| 2420k| 1476k| 0 | 0.0 |2405M|2816 | - |5645 | 17k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.33/1616.37 c 1587s| 2430k| 1482k| 0 | 0.0 |2416M|2816 | - |5645 | 19k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.83/1624.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.83/1624.89 c 1595s| 2440k| 1488k| 0 | 0.0 |2426M|2816 | - |5645 | 20k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.73/1634.71 c 1604s| 2450k| 1493k| 0 | 0.0 |2436M|2816 | - |5645 | 23k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1648.23/1648.22 c 1618s| 2460k| 1496k| 0 | 0.0 |2445M|2816 | - |5645 | 26k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.73/1659.76 c 1629s| 2470k| 1501k| 0 | 0.0 |2451M|2816 | - |5645 | 21k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1665.62/1665.67 c 1635s| 2480k| 1509k| 0 | 0.0 |2460M|2816 | - |5645 | 18k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1671.51/1671.51 c 1640s| 2490k| 1516k| 0 | 0.0 |2469M|2816 | - |5645 | 17k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.50/1677.58 c 1646s| 2500k| 1523k| 0 | 0.0 |2478M|2816 | - |5645 | 17k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.09/1684.12 c 1652s| 2510k| 1530k| 0 | 0.0 |2488M|2816 | - |5645 | 17k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.09/1691.14 c 1659s| 2520k| 1537k| 0 | 0.0 |2499M|2816 | - |5645 | 18k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.29/1699.37 c 1667s| 2530k| 1542k| 0 | 0.0 |2509M|2816 | - |5645 | 20k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1708.99/1709.04 c 1676s| 2540k| 1547k| 0 | 0.0 |2520M|2816 | - |5645 | 22k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.99/1720.04 c 1687s| 2550k| 1552k| 0 | 0.0 |2529M|2816 | - |5645 | 23k| 0 | 0 | 0 |1849k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.69/1730.75 c 1697s| 2560k| 1557k| 0 | 0.0 |2537M|2816 | - |5645 | 22k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1739.00/1739.04 c 1705s| 2570k| 1563k| 0 | 0.0 |2545M|2816 | - |5645 | 20k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.99/1746.08 c 1712s| 2580k| 1570k| 0 | 0.0 |2553M|2816 | - |5645 | 18k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.39/1752.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.39/1752.44 c 1718s| 2590k| 1578k| 0 | 0.0 |2563M|2816 | - |5645 | 18k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1758.79/1758.85 c 1724s| 2600k| 1585k| 0 | 0.0 |2573M|2816 | - |5645 | 18k| 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1765.79/1765.84 c 1731s| 2610k| 1591k| 0 | 0.0 |2583M|2816 | - |5645 | 19k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1772.79/1772.85 c 1738s| 2620k| 1598k| 0 | 0.0 |2594M|2816 | - |5645 | 19k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1780.19/1780.26 c 1745s| 2630k| 1604k| 0 | 0.0 |2603M|2816 | - |5645 | 20k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1788.00/1788.02 c 1752s| 2640k| 1611k| 0 | 0.0 |2613M|2816 | - |5645 | 20k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1796.20/1796.27 c 1760s| 2650k| 1617k| 0 | 0.0 |2623M|2816 | - |5645 | 21k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.00/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time (sec) : 1763.91
1800.00/1800.00 c Solving Nodes : 2654315
1800.00/1800.00 c Primal Bound : +2.00000000000000e+00 (44 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.09 s SATISFIABLE
1800.00/1800.09 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210
1800.00/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.00/1800.09 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.00/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1800.00/1800.09 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125
1800.00/1800.09 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.00/1800.09 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.00/1800.09 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.00/1800.09 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.00/1800.09 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.00/1800.09 v -x1
1800.00/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.09 c Solving Time : 1763.91
1800.00/1800.09 c Original Problem :
1800.00/1800.09 c Problem name : HOME/instance-2693651-1277928695.wbo
1800.00/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.00/1800.09 c Presolved Problem :
1800.00/1800.09 c Problem name : t_HOME/instance-2693651-1277928695.wbo
1800.00/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.00/1800.09 c Constraints : 5414 initial, 29665 maximal
1800.00/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.00/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.00/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.09 c root node : - 2593 - - 5186 - - - -
1800.00/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.09 c indicator : 2707 0 5014285 0 1518619 32 1728172 0 0 0
1800.00/1800.09 c linear : 2707 0 7778999 0 2276857 549483 45650940 0 0 0
1800.00/1800.09 c logicor : 0+ 0 3696297 0 0 67274 1376030 0 0 0
1800.00/1800.09 c countsols : 0 0 0 0 2276885 0 0 0 0 0
1800.00/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.09 c indicator : 8.10 0.00 3.90 0.00 4.20
1800.00/1800.09 c linear : 427.47 0.00 425.27 0.00 2.20
1800.00/1800.09 c logicor : 281.26 0.00 281.26 0.00 0.00
1800.00/1800.09 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.00/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.09 c vbounds : 1.49 2 0 0
1800.00/1800.09 c rootredcost : 1.44 0 0 0
1800.00/1800.09 c pseudoobj : 395.52 7779688 637 1719471
1800.00/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.09 c propagation : 32.55 617394 617360 3033521 23.1 203106 11.4 -
1800.00/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.09 c pseudo solution : 0.01 60 60 251 32.0 236 8.5 -
1800.00/1800.09 c applied globally : - - - 1911037 20.3 - - -
1800.00/1800.09 c applied locally : - - - 0 0.0 - - -
1800.00/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.09 c redcost : 0.00 0 0 0 0 0
1800.00/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.09 c intobj : 0.00 0 0 0 0 0
1800.00/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.09 c gomory : 0.00 0 0 0 0 0
1800.00/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.09 c cmir : 0.00 0 0 0 0 0
1800.00/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.09 c clique : 0.00 0 0 0 0 0
1800.00/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.09 c mcf : 0.00 0 0 0 0 0
1800.00/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.09 c Pricers : Time Calls Vars
1800.00/1800.09 c problem variables: 0.00 0 0
1800.00/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.09 c inference : 34.48 2276844 0 0 0 0 4553688
1800.00/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.09 c random : 0.00 0 0 0 0 0 0
1800.00/1800.09 c Primal Heuristics : Time Calls Found
1800.00/1800.09 c LP solutions : 0.00 - 0
1800.00/1800.09 c pseudo solutions : 0.01 - 41
1800.00/1800.09 c oneopt : 0.70 0 0
1800.00/1800.09 c trivial : 0.08 2 2
1800.00/1800.09 c simplerounding : 0.00 0 0
1800.00/1800.09 c zirounding : 0.00 0 0
1800.00/1800.09 c rounding : 0.00 0 0
1800.00/1800.09 c shifting : 0.00 0 0
1800.00/1800.09 c intshifting : 0.00 0 0
1800.00/1800.09 c twoopt : 0.00 0 0
1800.00/1800.09 c fixandinfer : 0.00 0 0
1800.00/1800.09 c feaspump : 0.00 0 0
1800.00/1800.09 c coefdiving : 0.00 0 0
1800.00/1800.09 c pscostdiving : 0.00 0 0
1800.00/1800.09 c fracdiving : 0.00 0 0
1800.00/1800.09 c veclendiving : 0.00 0 0
1800.00/1800.09 c intdiving : 0.00 0 0
1800.00/1800.09 c actconsdiving : 0.00 0 0
1800.00/1800.09 c objpscostdiving : 0.00 0 0
1800.00/1800.09 c rootsoldiving : 0.00 0 0
1800.00/1800.09 c linesearchdiving : 0.00 0 0
1800.00/1800.09 c guideddiving : 0.00 0 0
1800.00/1800.09 c octane : 0.00 0 0
1800.00/1800.09 c rens : 0.00 0 0
1800.00/1800.09 c rins : 0.00 0 0
1800.00/1800.09 c localbranching : 0.00 0 0
1800.00/1800.09 c mutation : 0.00 0 0
1800.00/1800.09 c crossover : 0.00 0 0
1800.00/1800.09 c dins : 0.00 0 0
1800.00/1800.09 c undercover : 0.00 0 0
1800.00/1800.09 c nlp : 0.62 0 0
1800.00/1800.09 c trysol : 0.48 1 1
1800.00/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.09 c (at root node) : - 0 0 0.00 -
1800.00/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.09 c B&B Tree :
1800.00/1800.09 c number of runs : 1
1800.00/1800.09 c nodes : 2654315
1800.00/1800.09 c nodes (total) : 2654315
1800.00/1800.09 c nodes left : 1619997
1800.00/1800.09 c max depth : 2816
1800.00/1800.09 c max depth (total): 2816
1800.00/1800.09 c backtracks : 321952 (12.1%)
1800.00/1800.09 c delayed cutoffs : 269654
1800.00/1800.09 c repropagations : 1175846 (14778138 domain reductions, 240056 cutoffs)
1800.00/1800.09 c avg switch length: 33.26
1800.00/1800.09 c switching time : 491.56
1800.00/1800.09 c Solution :
1800.00/1800.09 c Solutions found : 44 (42 improvements)
1800.00/1800.09 c First Solution : +1.38261000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.09 c Primal Bound : +2.00000000000000e+00 (in run 1, after 332683 nodes, 177.51 seconds, depth 905, found by <relaxation>)
1800.00/1800.09 c Dual Bound : +0.00000000000000e+00
1800.00/1800.09 c Gap : infinite
1800.00/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.09 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-2693651-1277928695/watcher-2693651-1277928695 -o /tmp/evaluation-result-2693651-1277928695/solver-2693651-1277928695 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693651-1277928695.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.00 4/178 17293 /proc/meminfo: memFree=31197336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=8596 CPUtime=0 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 1634 0 0 0 0 0 0 0 25 0 1 0 134164122 8802304 1557 4089446400 4194304 7136930 140734653088624 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17293/statm: 2149 1557 275 719 0 1428 0 [startup+0.014646 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17293 /proc/meminfo: memFree=31197336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=11288 CPUtime=0.01 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 2317 0 0 0 1 0 0 0 25 0 1 0 134164122 11558912 2240 4089446400 4194304 7136930 140734653088624 18446744073709551615 6326773 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17293/statm: 2822 2240 275 719 0 2101 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11288 [startup+0.100621 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17293 /proc/meminfo: memFree=31197336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=33672 CPUtime=0.09 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 7965 0 0 0 9 0 0 0 25 0 1 0 134164122 34480128 7534 4089446400 4194304 7136930 140734653088624 18446744073709551615 6350541 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300579 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17293 /proc/meminfo: memFree=31197336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=36492 CPUtime=0.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 9239 0 0 0 28 1 0 0 18 0 1 0 134164122 37367808 8294 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 9123 8294 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700505 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17293 /proc/meminfo: memFree=31197336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=37632 CPUtime=0.69 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 9514 0 0 0 67 2 0 0 18 0 1 0 134164122 38535168 8569 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17294 /proc/meminfo: memFree=31162236/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=43068 CPUtime=1.49 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 10876 0 0 0 144 5 0 0 19 0 1 0 134164122 44101632 9931 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 10767 9931 390 719 0 10046 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43068 [startup+3.10107 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17294 /proc/meminfo: memFree=31157400/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=48236 CPUtime=3.09 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 12152 0 0 0 301 8 0 0 24 0 1 0 134164122 49393664 11207 4089446400 4194304 7136930 140734653088624 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 12059 11207 391 719 0 11338 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48236 [startup+6.30048 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17294 /proc/meminfo: memFree=31142356/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=62808 CPUtime=6.3 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 15788 0 0 0 614 16 0 0 25 0 1 0 134164122 64315392 14843 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 15702 14843 391 719 0 14981 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 62808 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17295 /proc/meminfo: memFree=31114448/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=89112 CPUtime=12.69 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 22168 0 0 0 1242 27 0 0 25 0 1 0 134164122 91250688 21223 4089446400 4194304 7136930 140734653088624 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 22278 21223 391 719 0 21557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89112 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17295 /proc/meminfo: memFree=31068256/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=135008 CPUtime=25.49 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 33302 0 0 0 2498 51 0 0 25 0 1 0 134164122 138248192 32357 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17293/statm: 33752 32357 391 719 0 33031 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 135008 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17296 /proc/meminfo: memFree=30991084/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=209140 CPUtime=51.09 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 51501 0 0 0 5005 104 0 0 25 0 1 0 134164122 214159360 50556 4089446400 4194304 7136930 140734653088624 18446744073709551615 4212294 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 52285 50556 391 719 0 51564 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 209140 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17297 /proc/meminfo: memFree=30886640/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=307736 CPUtime=102.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 76269 0 0 0 10051 178 0 0 25 0 1 0 134164122 315121664 75324 4089446400 4194304 7136930 140734653088624 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 76934 75324 391 719 0 76213 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 307736 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17299 /proc/meminfo: memFree=30776724/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=417248 CPUtime=162.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 102325 0 0 0 15964 265 0 0 25 0 1 0 134164122 427261952 101380 4089446400 4194304 7136930 140734653088624 18446744073709551615 4983799 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 104312 101380 391 719 0 103591 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 417248 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17300 /proc/meminfo: memFree=30633820/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=557184 CPUtime=222.3 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 136188 0 0 0 21848 382 0 0 25 0 1 0 134164122 570556416 135243 4089446400 4194304 7136930 140734653088624 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 139296 135243 391 719 0 138575 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 557184 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17302 /proc/meminfo: memFree=30506676/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=681536 CPUtime=282.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 167527 0 0 0 27726 503 0 0 25 0 1 0 134164122 697892864 166582 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 170384 166582 391 719 0 169663 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 681536 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17304 /proc/meminfo: memFree=30373336/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=818548 CPUtime=342.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 200045 0 0 0 33596 633 0 0 25 0 1 0 134164122 838193152 199100 4089446400 4194304 7136930 140734653088624 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 204637 199100 391 719 0 203916 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 818548 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17305 /proc/meminfo: memFree=30259816/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=932912 CPUtime=402.3 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 228753 0 0 0 39494 736 0 0 25 0 1 0 134164122 955301888 227808 4089446400 4194304 7136930 140734653088624 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/17293/statm: 233228 227808 391 719 0 232507 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 932912 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17307 /proc/meminfo: memFree=30153228/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1032432 CPUtime=462.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 253822 0 0 0 45397 832 0 0 25 0 1 0 134164122 1057210368 252877 4089446400 4194304 7136930 140734653088624 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 258108 252877 391 719 0 257387 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 1032432 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17308 /proc/meminfo: memFree=30051740/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1134356 CPUtime=522.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 279491 0 0 0 51301 928 0 0 25 0 1 0 134164122 1161580544 278546 4089446400 4194304 7136930 140734653088624 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 283589 278546 391 719 0 282868 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1134356 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17310 /proc/meminfo: memFree=29958564/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1222156 CPUtime=582.3 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 301674 0 0 0 57216 1014 0 0 25 0 1 0 134164122 1251487744 300729 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 305539 300729 391 719 0 304818 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1222156 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17312 /proc/meminfo: memFree=29879780/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1300012 CPUtime=642.31 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 321208 0 0 0 63132 1099 0 0 25 0 1 0 134164122 1331212288 320263 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 325003 320263 391 719 0 324282 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1300012 [startup+702.301 s] ################ # More data... # ################ /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 424367 0 0 0 98648 1583 0 0 25 0 1 0 134164122 1768460288 423422 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 431753 423422 391 719 0 431032 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1727012 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17323 /proc/meminfo: memFree=29355588/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1822140 CPUtime=1062.31 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 448353 0 0 0 104545 1686 0 0 25 0 1 0 134164122 1865871360 447408 4089446400 4194304 7136930 140734653088624 18446744073709551615 4926194 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 455535 447408 391 719 0 454814 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1822140 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17324 /proc/meminfo: memFree=29281628/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1891872 CPUtime=1122.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 466021 0 0 0 110462 1770 0 0 25 0 1 0 134164122 1937276928 465076 4089446400 4194304 7136930 140734653088624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 472968 465076 391 719 0 472247 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1891872 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17326 /proc/meminfo: memFree=29182376/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=1993232 CPUtime=1182.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 490900 0 0 0 116356 1876 0 0 25 0 1 0 134164122 2041069568 489955 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 498308 489955 391 719 0 497587 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1993232 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17331 /proc/meminfo: memFree=29067920/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2103308 CPUtime=1242.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 517867 0 0 0 122255 1977 0 0 25 0 1 0 134164122 2153787392 516922 4089446400 4194304 7136930 140734653088624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 525827 516922 391 719 0 525106 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2103308 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17332 /proc/meminfo: memFree=28964372/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2196512 CPUtime=1302.33 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 541047 0 0 0 128162 2071 0 0 25 0 1 0 134164122 2249228288 540102 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/17293/statm: 549128 540102 391 719 0 548407 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2196512 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 17362 /proc/meminfo: memFree=29150788/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2261716 CPUtime=1362.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 557536 0 0 0 134055 2177 0 0 25 0 1 0 134164122 2315997184 556591 4089446400 4194304 7136930 140734653088624 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17293/statm: 565429 556591 391 719 0 564708 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2261716 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/179 17363 /proc/meminfo: memFree=28884608/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2350276 CPUtime=1422.33 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 579831 0 0 0 139847 2386 0 0 25 0 1 0 134164122 2406682624 578886 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17293/statm: 587569 578886 391 719 0 586848 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2350276 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 17365 /proc/meminfo: memFree=28665700/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2410580 CPUtime=1482.33 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 595097 0 0 0 145676 2557 0 0 25 0 1 0 134164122 2468433920 594152 4089446400 4194304 7136930 140734653088624 18446744073709551615 4999910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17293/statm: 602645 594152 391 719 0 601924 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2410580 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17367 /proc/meminfo: memFree=28490060/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2480428 CPUtime=1542.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 612549 0 0 0 151495 2737 0 0 25 0 1 0 134164122 2539958272 611604 4089446400 4194304 7136930 140734653088624 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17293/statm: 620107 611604 391 719 0 619386 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2480428 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 17368 /proc/meminfo: memFree=28420556/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2549320 CPUtime=1602.33 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 629877 0 0 0 157322 2911 0 0 25 0 1 0 134164122 2610503680 628932 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17293/statm: 637330 628932 391 719 0 636609 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2549320 [startup+1662.3 s] /proc/loadavg: 1.92 1.98 1.99 5/198 17426 /proc/meminfo: memFree=28748216/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2602444 CPUtime=1662.32 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 643333 0 0 0 163137 3095 0 0 25 0 1 0 134164122 2664902656 642388 4089446400 4194304 7136930 140734653088624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17293/statm: 650611 642388 391 719 0 649890 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2602444 [startup+1722.3 s] /proc/loadavg: 2.47 2.11 2.03 4/200 17447 /proc/meminfo: memFree=28585020/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2683368 CPUtime=1722.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 663680 0 0 0 168904 3325 0 0 25 0 1 0 134164122 2747768832 662735 4089446400 4194304 7136930 140734653088624 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17293/statm: 670842 662735 391 719 0 670121 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 2683368 [startup+1782.3 s] /proc/loadavg: 2.80 2.27 2.09 4/200 17449 /proc/meminfo: memFree=28498664/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2756896 CPUtime=1782.29 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 682223 0 0 0 174689 3540 0 0 25 0 1 0 134164122 2823061504 681278 4089446400 4194304 7136930 140734653088624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17293/statm: 689224 681278 391 719 0 688503 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 2756896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.86 2.32 2.11 4/200 17449 /proc/meminfo: memFree=28471620/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2775084 CPUtime=1800 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 686865 0 0 0 176394 3606 0 0 25 0 1 0 134164122 2841686016 685920 4089446400 4194304 7136930 140734653088624 18446744073709551615 4221032 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17293/statm: 693771 685920 391 719 0 693050 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 2775084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -17293 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.86 2.32 2.11 4/201 17450 /proc/meminfo: memFree=28471112/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2775084 CPUtime=1801.39 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 686887 0 0 0 176533 3606 0 0 25 0 1 0 134164122 2841686016 685942 4089446400 4194304 7136930 140734653088624 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17293/statm: 693771 685942 397 719 0 693050 0 Current children cumulated CPU time (s) 1801.39 Current children cumulated vsize (KiB) 2775084 [startup+1801.81 s] /proc/loadavg: 2.86 2.32 2.11 4/201 17450 /proc/meminfo: memFree=28470988/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2775084 CPUtime=1801.8 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 686887 0 0 0 176574 3606 0 0 25 0 1 0 134164122 2841686016 685942 4089446400 4194304 7136930 140734653088624 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17293/statm: 693771 685942 397 719 0 693050 0 Current children cumulated CPU time (s) 1801.8 Current children cumulated vsize (KiB) 2775084 [startup+1802 s] /proc/loadavg: 2.86 2.32 2.11 4/201 17450 /proc/meminfo: memFree=28470988/32951124 swapFree=67111528/67111528 [pid=17293] ppid=17291 vsize=2775084 CPUtime=1801.99 /proc/17293/stat : 17293 (pbscip.linux.x8) R 17291 17293 17108 0 -1 4202496 686887 0 0 0 176593 3606 0 0 25 0 1 0 134164122 2841686016 685942 4089446400 4194304 7136930 140734653088624 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/17293/statm: 693771 685942 397 719 0 693050 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 2775084 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.1 CPU user time (s): 1765.94 CPU system time (s): 36.1545 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 2775084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.94 system time used= 36.1545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 686887 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= 2199 runsolver used 3.2695 second user time and 6.567 second system time The end
Begin job on node142 at 2010-06-30 22:11:35 IDJOB=2693651 IDBENCH=79290 IDSOLVER=1206 FILE ID=node142/2693651-1277928695 PBS_JOBID= 11197406 Free space on /tmp= 74172 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.1900581320--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-2693651-1277928695/watcher-2693651-1277928695 -o /tmp/evaluation-result-2693651-1277928695/solver-2693651-1277928695 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693651-1277928695.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85ba7bcc847457eeeb822d6fc8af8950 RANDOM SEED=1420814301 node142.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.827 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.65 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.827 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.16 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.827 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.82 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.82 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.827 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.75 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.827 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.827 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: 32951124 kB MemFree: 31197864 kB Buffers: 208244 kB Cached: 1079716 kB SwapCached: 0 kB Active: 752724 kB Inactive: 855756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31197864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 320676 kB Mapped: 17340 kB Slab: 80900 kB PageTables: 4908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 478164 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= 74176 MiB End job on node142 at 2010-06-30 22:41:37