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.12 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo |
| MD5SUM | ca8c0bf53108e4446976d449224bf298 |
| 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 | 180.163 |
| 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 | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 727 |
| 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-2693598-1277926009.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.08/0.12 o 136367
0.08/0.12 c feasible solution found by trivial heuristic, objective value 1.363670e+05
0.08/0.12 c presolving:
0.08/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.08/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.08/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.18 c presolving (3 rounds):
0.08/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.18 c 2707 implications, 0 cliques
0.08/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.08/0.18 c 2707 constraints of type <indicator>
0.08/0.18 c 2707 constraints of type <linear>
0.08/0.18 c transformed objective value is always integral (scale: 1)
0.08/0.18 c Presolving Time: 0.13
0.08/0.18 c - non default parameters ----------------------------------------------------------------------
0.08/0.18 c # SCIP version 1.2.1.2
0.08/0.18 c
0.08/0.18 c # frequency for displaying node information lines
0.08/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.18 c display/freq = 10000
0.08/0.18 c
0.08/0.18 c # maximal time in seconds to run
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/time = 1799.98
0.08/0.18 c
0.08/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/memory = 3420
0.08/0.18 c
0.08/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.08/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.18 c lp/solvefreq = -1
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify inequalities
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/linear/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify knapsacks
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.18 c separating/rapidlearning/freq = 0
0.08/0.18 c
0.08/0.18 c -----------------------------------------------------------------------------------------------
0.08/0.18 c start solving
0.08/0.18 c
0.08/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.08/0.20 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
3.19/3.25 c 3.1s| 10000 | 9615 | 0 | 0.0 | 24M|2816 | - |5645 |6752 | 0 | 0 | 0 |1338 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
4.69/4.74 o 425
4.69/4.74 c * 4.6s| 15342 | 14955 | 0 | 0.0 | 26M|2816 | - |5645 |6752 | 0 | 0 | 0 |1338 | 0 | 0.000000e+00 | 4.250000e+02 | Inf
5.89/5.97 o 315
5.89/5.97 c * 5.8s| 19682 | 12500 | 0 | 0.0 | 27M|2816 | - |5645 |6867 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
5.89/5.98 o 207
5.89/5.98 c * 5.8s| 19683 | 6495 | 0 | 0.0 | 24M|2816 | - |5645 |6867 | 0 | 0 | 0 |1463 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
5.99/6.02 o 178
5.99/6.02 c * 5.8s| 19834 | 6416 | 0 | 0.0 | 24M|2816 | - |5645 |6883 | 0 | 0 | 0 |1482 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
5.99/6.08 c 5.9s| 20000 | 6574 | 0 | 0.0 | 24M|2816 | - |5645 |6927 | 0 | 0 | 0 |1532 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
9.59/9.63 c 9.4s| 30000 | 14722 | 0 | 0.0 | 35M|2816 | - |5645 |8101 | 0 | 0 | 0 |9422 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
14.59/14.67 c 14.3s| 40000 | 21281 | 0 | 0.0 | 48M|2816 | - |5645 | 10k| 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
17.29/17.39 o 173
17.29/17.39 c *17.0s| 43726 | 23762 | 0 | 0.0 | 53M|2816 | - |5645 |9235 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
17.69/17.74 o 172
17.69/17.74 c *17.3s| 44276 | 24276 | 0 | 0.0 | 54M|2816 | - |5645 |9137 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
17.69/17.74 o 141
17.69/17.74 c *17.3s| 44277 | 24091 | 0 | 0.0 | 53M|2816 | - |5645 |9137 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
17.99/18.06 o 139
17.99/18.06 c *17.6s| 44720 | 24486 | 0 | 0.0 | 54M|2816 | - |5645 |9132 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
18.49/18.50 o 137
18.49/18.50 c *18.1s| 45400 | 25130 | 0 | 0.0 | 55M|2816 | - |5645 |8914 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
18.99/19.00 o 132
18.99/19.00 c *18.6s| 46242 | 25877 | 0 | 0.0 | 56M|2816 | - |5645 |8668 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
19.69/19.72 o 128
19.69/19.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.72 c *19.3s| 47451 | 26930 | 0 | 0.0 | 57M|2816 | - |5645 |8548 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
21.49/21.58 c 21.1s| 50000 | 29215 | 0 | 0.0 | 64M|2816 | - |5645 |8184 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
22.69/22.74 o 121
22.69/22.74 c *22.2s| 51913 | 30885 | 0 | 0.0 | 65M|2816 | - |5645 |7840 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
22.69/22.74 o 95
22.69/22.74 c *22.2s| 51914 | 30041 | 0 | 0.0 | 60M|2816 | - |5645 |7840 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
23.79/23.86 o 90
23.79/23.86 c *23.3s| 53460 | 31111 | 0 | 0.0 | 62M|2816 | - |5645 |8116 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
25.69/25.77 o 87
25.69/25.77 c *25.2s| 55758 | 32849 | 0 | 0.0 | 68M|2816 | - |5645 |8073 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
25.89/25.96 o 54
25.89/25.96 c *25.4s| 56050 | 31401 | 0 | 0.0 | 64M|2816 | - |5645 |7804 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
26.79/26.85 o 47
26.79/26.85 c *26.3s| 56783 | 31698 | 0 | 0.0 | 64M|2816 | - |5645 |6531 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
26.79/26.85 o 43
26.79/26.85 c *26.3s| 56784 | 31444 | 0 | 0.0 | 63M|2816 | - |5645 |6531 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
28.89/28.96 c 28.3s| 60000 | 34051 | 0 | 0.0 | 68M|2816 | - |5645 |6291 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
29.79/29.81 o 30
29.79/29.81 c *29.2s| 61444 | 33898 | 0 | 0.0 | 68M|2816 | - |5645 |6610 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
31.29/31.39 o 26
31.29/31.39 c *30.7s| 65060 | 36640 | 0 | 0.0 | 71M|2816 | - |5645 |6700 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
33.39/33.47 c 32.8s| 70000 | 40812 | 0 | 0.0 | 76M|2816 | - |5645 |6867 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
33.59/33.68 o 20
33.59/33.68 c *33.0s| 70540 | 40762 | 0 | 0.0 | 76M|2816 | - |5645 |6908 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
36.49/36.59 o 11
36.49/36.59 c *35.8s| 77215 | 45198 | 0 | 0.0 | 80M|2816 | - |5645 |7337 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
37.80/37.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.80/37.85 c 37.0s| 80000 | 47408 | 0 | 0.0 | 84M|2816 | - |5645 |7549 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
41.99/42.07 c 41.1s| 90000 | 55623 | 0 | 0.0 | 96M|2816 | - |5645 |7859 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
45.89/45.93 c 44.9s|100000 | 63825 | 0 | 0.0 | 107M|2816 | - |5645 |6481 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
50.39/50.45 c 49.3s|110000 | 71313 | 0 | 0.0 | 118M|2816 | - |5645 |7053 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
55.79/55.80 c 54.5s|120000 | 78124 | 0 | 0.0 | 129M|2816 | - |5645 |7665 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
61.60/61.65 c 60.2s|130000 | 84436 | 0 | 0.0 | 140M|2816 | - |5645 |8173 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
67.59/67.65 c 66.2s|140000 | 90602 | 0 | 0.0 | 152M|2816 | - |5645 |8860 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
73.50/73.60 c 72.0s|150000 | 96786 | 0 | 0.0 | 163M|2816 | - |5645 |9500 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
79.89/79.90 c 78.2s|160000 |102705 | 0 | 0.0 | 174M|2816 | - |5645 |9559 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
86.79/86.82 c 85.0s|170000 |108104 | 0 | 0.0 | 186M|2816 | - |5645 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
94.60/94.65 c 92.7s|180000 |112759 | 0 | 0.0 | 198M|2816 | - |5645 | 11k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
103.29/103.34 c 101s|190000 |116774 | 0 | 0.0 | 209M|2816 | - |5645 | 12k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
113.49/113.57 c 111s|200000 |119696 | 0 | 0.0 | 220M|2816 | - |5645 | 14k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
121.49/121.56 c 119s|210000 |124865 | 0 | 0.0 | 225M|2816 | - |5645 |6448 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
128.70/128.74 c 126s|220000 |131077 | 0 | 0.0 | 236M|2816 | - |5645 |7477 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
135.60/135.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.60/135.63 c 133s|230000 |136581 | 0 | 0.0 | 247M|2816 | - |5645 |9248 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
140.90/140.94 c 138s|240000 |144702 | 0 | 0.0 | 257M|2816 | - |5645 |7952 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
147.69/147.78 c 145s|250000 |151893 | 0 | 0.0 | 269M|2816 | - |5645 |9785 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
157.90/157.95 c 155s|260000 |155941 | 0 | 0.0 | 279M|2816 | - |5645 |8709 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
163.19/163.29 c 160s|270000 |163937 | 0 | 0.0 | 292M|2816 | - |5645 |9432 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
171.30/171.30 c 168s|280000 |170317 | 0 | 0.0 | 303M|2816 | - |5645 | 12k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
175.40/175.48 o 10
175.40/175.48 c * 172s|283107 |171105 | 0 | 0.0 | 306M|2816 | - |5645 | 13k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
180.09/180.13 c 177s|290000 |176197 | 0 | 0.0 | 320M|2816 | - |5645 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
188.50/188.54 c 185s|300000 |182554 | 0 | 0.0 | 348M|2816 | - |5645 |8620 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
194.60/194.67 c 191s|310000 |188752 | 0 | 0.0 | 358M|2816 | - |5645 | 10k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
199.00/199.06 c 195s|320000 |196779 | 0 | 0.0 | 368M|2816 | - |5645 |8852 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
205.09/205.12 c 201s|330000 |203129 | 0 | 0.0 | 378M|2816 | - |5645 | 10k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
210.80/210.80 c 207s|340000 |209875 | 0 | 0.0 | 387M|2816 | - |5645 |9295 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
216.70/216.76 c 212s|350000 |216382 | 0 | 0.0 | 397M|2816 | - |5645 |9222 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
221.19/221.29 c 217s|360000 |224296 | 0 | 0.0 | 406M|2816 | - |5645 |9497 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
226.50/226.53 o 9
226.50/226.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.50/226.53 c * 222s|367984 |228783 | 0 | 0.0 | 413M|2816 | - |5645 | 11k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
228.50/228.57 c 224s|370000 |229251 | 0 | 0.0 | 416M|2816 | - |5645 | 12k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
232.90/232.94 c 228s|380000 |237270 | 0 | 0.0 | 424M|2816 | - |5645 |9362 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
238.20/238.23 c 233s|390000 |244408 | 0 | 0.0 | 434M|2816 | - |5645 | 10k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
243.90/243.99 c 239s|400000 |251046 | 0 | 0.0 | 444M|2816 | - |5645 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
250.60/250.64 c 246s|410000 |256917 | 0 | 0.0 | 454M|2816 | - |5645 | 10k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
255.69/255.75 c 250s|420000 |264066 | 0 | 0.0 | 463M|2816 | - |5645 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
261.10/261.14 c 256s|430000 |271051 | 0 | 0.0 | 473M|2816 | - |5645 | 10k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
266.80/266.86 c 261s|440000 |277786 | 0 | 0.0 | 483M|2816 | - |5645 | 10k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
272.50/272.59 c 267s|450000 |284663 | 0 | 0.0 | 493M|2816 | - |5645 | 10k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
279.20/279.21 c 273s|460000 |290716 | 0 | 0.0 | 503M|2816 | - |5645 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
285.00/285.04 c 279s|470000 |297449 | 0 | 0.0 | 513M|2816 | - |5645 | 10k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
290.50/290.56 c 284s|480000 |304411 | 0 | 0.0 | 522M|2816 | - |5645 | 10k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
295.80/295.87 c 290s|490000 |311696 | 0 | 0.0 | 533M|2816 | - |5645 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
302.00/302.02 c 296s|500000 |318209 | 0 | 0.0 | 542M|2816 | - |5645 | 10k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
307.60/307.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.60/307.60 c 301s|510000 |325137 | 0 | 0.0 | 552M|2816 | - |5645 | 10k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
313.20/313.27 c 307s|520000 |331975 | 0 | 0.0 | 562M|2816 | - |5645 | 10k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
318.30/318.37 c 312s|530000 |339425 | 0 | 0.0 | 572M|2816 | - |5645 | 10k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
325.09/325.10 c 318s|540000 |345307 | 0 | 0.0 | 582M|2816 | - |5645 | 13k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
330.50/330.57 c 324s|550000 |352447 | 0 | 0.0 | 591M|2816 | - |5645 | 11k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
336.00/336.10 c 329s|560000 |359404 | 0 | 0.0 | 601M|2816 | - |5645 | 10k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
341.59/341.69 c 335s|570000 |366250 | 0 | 0.0 | 611M|2816 | - |5645 | 11k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
347.30/347.31 c 340s|580000 |372980 | 0 | 0.0 | 621M|2816 | - |5645 | 11k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
353.60/353.66 c 346s|590000 |378919 | 0 | 0.0 | 630M|2816 | - |5645 | 12k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
359.00/359.03 c 351s|600000 |385934 | 0 | 0.0 | 638M|2816 | - |5645 |7859 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
362.80/362.90 c 355s|610000 |394194 | 0 | 0.0 | 647M|2816 | - |5645 |4111 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
366.31/366.39 c 359s|620000 |402534 | 0 | 0.0 | 656M|2816 | - |5645 |4224 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
369.80/369.85 c 362s|630000 |410773 | 0 | 0.0 | 665M|2816 | - |5645 |4089 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
375.10/375.11 c 367s|640000 |417297 | 0 | 0.0 | 676M|2816 | - |5645 |6079 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
381.40/381.46 c 373s|650000 |423015 | 0 | 0.0 | 687M|2816 | - |5645 |7542 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
388.60/388.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.60/388.60 c 380s|660000 |428131 | 0 | 0.0 | 698M|2816 | - |5645 |7993 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
396.01/396.02 c 388s|670000 |432951 | 0 | 0.0 | 708M|2816 | - |5645 |8098 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
403.71/403.78 c 395s|680000 |437444 | 0 | 0.0 | 718M|2816 | - |5645 |8191 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
411.90/411.90 c 403s|690000 |441600 | 0 | 0.0 | 728M|2816 | - |5645 |8737 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
420.30/420.34 c 412s|700000 |445554 | 0 | 0.0 | 738M|2816 | - |5645 |9239 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
429.10/429.15 c 420s|710000 |449180 | 0 | 0.0 | 748M|2816 | - |5645 |9723 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
438.20/438.24 c 429s|720000 |452636 | 0 | 0.0 | 758M|2816 | - |5645 |8976 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
447.61/447.65 c 438s|730000 |455727 | 0 | 0.0 | 767M|2816 | - |5645 |9825 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
456.80/456.89 c 448s|740000 |459002 | 0 | 0.0 | 777M|2816 | - |5645 | 10k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
466.20/466.26 c 457s|750000 |462182 | 0 | 0.0 | 786M|2816 | - |5645 | 10k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
475.50/475.59 c 466s|760000 |465366 | 0 | 0.0 | 796M|2816 | - |5645 | 10k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
485.11/485.13 c 475s|770000 |468361 | 0 | 0.0 | 805M|2816 | - |5645 | 11k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
494.50/494.54 c 485s|780000 |471498 | 0 | 0.0 | 814M|2816 | - |5645 | 11k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
504.60/504.62 c 495s|790000 |474172 | 0 | 0.0 | 823M|2816 | - |5645 | 10k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
515.21/515.27 c 505s|800000 |476288 | 0 | 0.0 | 831M|2816 | - |5645 | 11k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
526.30/526.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.30/526.30 c 516s|810000 |478119 | 0 | 0.0 | 841M|2816 | - |5645 | 12k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
537.40/537.48 c 527s|820000 |479950 | 0 | 0.0 | 849M|2816 | - |5645 | 12k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
550.11/550.13 c 539s|830000 |480552 | 0 | 0.0 | 856M|2816 | - |5645 | 13k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
563.21/563.21 c 552s|840000 |481044 | 0 | 0.0 | 862M|2816 | - |5645 | 13k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
576.61/576.70 c 566s|850000 |481274 | 0 | 0.0 | 869M|2816 | - |5645 | 13k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
590.71/590.71 c 580s|860000 |481256 | 0 | 0.0 | 874M|2816 | - |5645 | 14k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
606.12/606.16 c 595s|870000 |480454 | 0 | 0.0 | 878M|2816 | - |5645 | 16k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
622.41/622.44 c 611s|880000 |479814 | 0 | 0.0 | 875M|2816 | - |5645 | 10k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
625.01/625.08 o 7
625.01/625.08 c * 613s|885545 |482755 | 0 | 0.0 | 871M|2816 | - |5645 |6933 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
627.40/627.46 c 616s|890000 |486224 | 0 | 0.0 | 876M|2816 | - |5645 |6310 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
632.20/632.30 c 620s|900000 |493956 | 0 | 0.0 | 887M|2816 | - |5645 |6187 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
637.10/637.10 c 625s|910000 |501524 | 0 | 0.0 | 897M|2816 | - |5645 |6714 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
639.60/639.60 o 3
639.60/639.60 c * 628s|915057 |502371 | 0 | 0.0 | 897M|2816 | - |5645 |7049 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
642.81/642.80 c 631s|920000 |505815 | 0 | 0.0 | 905M|2816 | - |5645 |7357 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
650.90/650.95 c 639s|930000 |511122 | 0 | 0.0 | 920M|2816 | - |5645 |9427 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
660.61/660.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.61/660.67 c 648s|940000 |515159 | 0 | 0.0 | 932M|2816 | - |5645 | 11k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
674.50/674.55 c 662s|950000 |516608 | 0 | 0.0 | 941M|2816 | - |5645 | 14k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
683.61/683.61 c 671s|960000 |521611 | 0 | 0.0 | 948M|2816 | - |5645 |8062 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
689.21/689.27 c 676s|970000 |528416 | 0 | 0.0 | 958M|2816 | - |5645 |8568 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
695.31/695.37 c 682s|980000 |534789 | 0 | 0.0 | 969M|2816 | - |5645 |9656 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
703.21/703.25 c 690s|990000 |539928 | 0 | 0.0 | 979M|2816 | - |5645 | 11k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
714.91/714.96 c 702s| 1000k|542576 | 0 | 0.0 | 990M|2816 | - |5645 | 15k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
724.40/724.48 c 711s| 1010k|547327 | 0 | 0.0 | 996M|2816 | - |5645 |9102 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
729.51/729.58 c 716s| 1020k|554847 | 0 | 0.0 |1006M|2816 | - |5645 |8728 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
734.81/734.81 c 721s| 1030k|562217 | 0 | 0.0 |1015M|2816 | - |5645 |8743 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
740.91/740.93 c 727s| 1040k|568847 | 0 | 0.0 |1026M|2816 | - |5645 |9399 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
747.71/747.71 c 734s| 1050k|575077 | 0 | 0.0 |1036M|2816 | - |5645 | 10k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
754.81/754.85 c 741s| 1060k|581043 | 0 | 0.0 |1047M|2816 | - |5645 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
762.61/762.68 c 748s| 1070k|586661 | 0 | 0.0 |1058M|2816 | - |5645 | 12k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
771.21/771.20 c 757s| 1080k|591770 | 0 | 0.0 |1068M|2816 | - |5645 | 12k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
781.21/781.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.21/781.22 c 767s| 1090k|595960 | 0 | 0.0 |1078M|2816 | - |5645 | 14k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
791.91/791.91 c 777s| 1100k|599827 | 0 | 0.0 |1088M|2816 | - |5645 | 15k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
804.71/804.74 c 790s| 1110k|602513 | 0 | 0.0 |1097M|2816 | - |5645 | 16k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
820.31/820.33 c 805s| 1120k|603802 | 0 | 0.0 |1104M|2816 | - |5645 | 19k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
834.92/834.99 c 820s| 1130k|606087 | 0 | 0.0 |1106M|2816 | - |5645 | 11k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
840.42/840.42 c 825s| 1140k|613405 | 0 | 0.0 |1115M|2816 | - |5645 |9511 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
846.12/846.16 c 831s| 1150k|620371 | 0 | 0.0 |1125M|2816 | - |5645 |9308 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
852.01/852.07 c 836s| 1160k|627183 | 0 | 0.0 |1135M|2816 | - |5645 |9946 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
858.41/858.40 c 843s| 1170k|633675 | 0 | 0.0 |1145M|2816 | - |5645 | 10k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
865.11/865.13 c 849s| 1180k|639879 | 0 | 0.0 |1155M|2816 | - |5645 | 11k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
872.41/872.45 c 856s| 1190k|645705 | 0 | 0.0 |1165M|2816 | - |5645 | 12k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
880.61/880.69 c 864s| 1200k|650914 | 0 | 0.0 |1175M|2816 | - |5645 | 12k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
889.41/889.44 c 873s| 1210k|655812 | 0 | 0.0 |1185M|2816 | - |5645 | 13k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
899.42/899.45 c 883s| 1220k|660014 | 0 | 0.0 |1194M|2816 | - |5645 | 14k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
911.01/911.04 c 894s| 1230k|663426 | 0 | 0.0 |1203M|2816 | - |5645 | 16k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
924.92/924.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.92/924.93 c 908s| 1240k|665604 | 0 | 0.0 |1211M|2816 | - |5645 | 18k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
928.51/928.51 o 2
928.51/928.51 c * 912s| 1242k|636381 | 0 | 0.0 |1173M|2816 | - |5645 | 19k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
943.72/943.76 c 927s| 1250k|636588 | 0 | 0.0 |1177M|2816 | - |5645 | 17k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
950.52/950.52 c 933s| 1260k|643936 | 0 | 0.0 |1189M|2816 | - |5645 | 12k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.11/957.19 c 940s| 1270k|650803 | 0 | 0.0 |1202M|2816 | - |5645 | 12k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.62/964.66 c 947s| 1280k|657082 | 0 | 0.0 |1215M|2816 | - |5645 | 13k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
973.42/973.42 c 956s| 1290k|662560 | 0 | 0.0 |1228M|2816 | - |5645 | 14k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.62/984.60 c 967s| 1300k|666526 | 0 | 0.0 |1240M|2816 | - |5645 | 17k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.61/1000.63 c 982s| 1310k|667720 | 0 | 0.0 |1247M|2816 | - |5645 | 12k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1007.21/1007.24 c 989s| 1320k|673830 | 0 | 0.0 |1252M|2816 | - |5645 |9452 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.32/1012.36 c 994s| 1330k|681075 | 0 | 0.0 |1261M|2816 | - |5645 |9994 | 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.72/1018.72 c 1000s| 1340k|687213 | 0 | 0.0 |1271M|2816 | - |5645 | 11k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.62/1027.66 c 1009s| 1350k|691417 | 0 | 0.0 |1282M|2816 | - |5645 | 12k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.82/1039.82 c 1021s| 1360k|693153 | 0 | 0.0 |1290M|2816 | - |5645 | 13k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.12/1047.20 c 1028s| 1370k|698762 | 0 | 0.0 |1297M|2816 | - |5645 | 10k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.81/1052.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.81/1052.88 c 1034s| 1380k|705557 | 0 | 0.0 |1307M|2816 | - |5645 | 10k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1058.81/1058.86 c 1039s| 1390k|712061 | 0 | 0.0 |1316M|2816 | - |5645 | 10k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.32/1065.30 c 1046s| 1400k|718116 | 0 | 0.0 |1326M|2816 | - |5645 | 10k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.32/1072.34 c 1053s| 1410k|723623 | 0 | 0.0 |1335M|2816 | - |5645 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.82/1079.81 c 1060s| 1420k|728740 | 0 | 0.0 |1345M|2816 | - |5645 | 10k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.42/1087.46 c 1067s| 1430k|733649 | 0 | 0.0 |1354M|2816 | - |5645 | 11k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.11/1096.15 c 1076s| 1440k|737794 | 0 | 0.0 |1363M|2816 | - |5645 | 11k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.72/1105.72 c 1085s| 1450k|741375 | 0 | 0.0 |1372M|2816 | - |5645 | 12k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1117.22/1117.27 c 1097s| 1460k|743560 | 0 | 0.0 |1380M|2816 | - |5645 | 14k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1128.22/1128.20 c 1108s| 1470k|746498 | 0 | 0.0 |1385M|2816 | - |5645 | 11k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1133.62/1133.67 c 1113s| 1480k|753557 | 0 | 0.0 |1395M|2816 | - |5645 | 10k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1139.52/1139.54 c 1119s| 1490k|760103 | 0 | 0.0 |1405M|2816 | - |5645 | 11k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1146.62/1146.69 c 1126s| 1500k|765640 | 0 | 0.0 |1414M|2816 | - |5645 | 11k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1155.62/1155.61 c 1134s| 1510k|769765 | 0 | 0.0 |1424M|2816 | - |5645 | 13k| 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1168.42/1168.47 c 1147s| 1520k|771041 | 0 | 0.0 |1431M|2816 | - |5645 | 15k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1175.92/1175.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.92/1175.99 c 1154s| 1530k|776814 | 0 | 0.0 |1438M|2816 | - |5645 |9806 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.01/1181.07 c 1159s| 1540k|784196 | 0 | 0.0 |1447M|2816 | - |5645 |9681 | 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.82/1186.84 c 1165s| 1550k|790972 | 0 | 0.0 |1458M|2816 | - |5645 | 10k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.12/1193.18 c 1171s| 1560k|797200 | 0 | 0.0 |1468M|2816 | - |5645 | 10k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1200.02/1200.04 c 1178s| 1570k|803041 | 0 | 0.0 |1479M|2816 | - |5645 | 10k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1207.62/1207.69 c 1185s| 1580k|808244 | 0 | 0.0 |1489M|2816 | - |5645 | 11k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1216.22/1216.27 c 1194s| 1590k|812777 | 0 | 0.0 |1500M|2816 | - |5645 | 12k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1226.12/1226.15 c 1203s| 1600k|816324 | 0 | 0.0 |1509M|2816 | - |5645 | 13k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1238.42/1238.41 c 1216s| 1610k|818185 | 0 | 0.0 |1518M|2816 | - |5645 | 14k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.22/1255.21 c 1232s| 1620k|816655 | 0 | 0.0 |1520M|2816 | - |5645 | 14k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1260.63/1260.61 c 1237s| 1630k|823958 | 0 | 0.0 |1529M|2816 | - |5645 | 10k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1265.92/1265.99 c 1243s| 1640k|830970 | 0 | 0.0 |1538M|2816 | - |5645 | 10k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.03/1272.07 c 1249s| 1650k|837420 | 0 | 0.0 |1548M|2816 | - |5645 | 10k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.72/1278.74 c 1255s| 1660k|843333 | 0 | 0.0 |1557M|2816 | - |5645 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1286.02/1286.02 c 1262s| 1670k|848675 | 0 | 0.0 |1567M|2816 | - |5645 | 11k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.83/1293.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.83/1293.83 c 1270s| 1680k|853572 | 0 | 0.0 |1576M|2816 | - |5645 | 11k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1302.02/1302.01 c 1278s| 1690k|858228 | 0 | 0.0 |1585M|2816 | - |5645 | 10k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1309.83/1309.89 c 1286s| 1700k|863031 | 0 | 0.0 |1594M|2816 | - |5645 | 11k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.02/1318.01 c 1294s| 1710k|867792 | 0 | 0.0 |1603M|2816 | - |5645 | 11k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.03/1326.09 c 1301s| 1720k|872642 | 0 | 0.0 |1612M|2816 | - |5645 | 11k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1334.32/1334.37 c 1310s| 1730k|877373 | 0 | 0.0 |1621M|2816 | - |5645 | 12k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.13/1343.11 c 1318s| 1740k|881835 | 0 | 0.0 |1630M|2816 | - |5645 | 12k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.73/1352.78 c 1328s| 1750k|885595 | 0 | 0.0 |1639M|2816 | - |5645 | 13k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1363.42/1363.49 c 1338s| 1760k|888775 | 0 | 0.0 |1647M|2816 | - |5645 | 14k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1376.03/1376.09 c 1351s| 1770k|890707 | 0 | 0.0 |1655M|2816 | - |5645 | 15k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1386.23/1386.28 c 1361s| 1780k|894296 | 0 | 0.0 |1660M|2816 | - |5645 | 11k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1392.73/1392.79 c 1367s| 1790k|900529 | 0 | 0.0 |1669M|2816 | - |5645 | 11k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1399.53/1399.51 c 1373s| 1800k|906498 | 0 | 0.0 |1678M|2816 | - |5645 | 12k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.84/1406.88 c 1381s| 1810k|912002 | 0 | 0.0 |1688M|2816 | - |5645 | 13k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.13/1415.10 c 1389s| 1820k|916792 | 0 | 0.0 |1697M|2816 | - |5645 | 14k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.93/1425.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.93/1425.96 c 1399s| 1830k|919689 | 0 | 0.0 |1705M|2816 | - |5645 | 15k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.82/1436.84 c 1410s| 1840k|923037 | 0 | 0.0 |1710M|2816 | - |5645 | 11k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1442.82/1442.84 c 1416s| 1850k|929862 | 0 | 0.0 |1720M|2816 | - |5645 | 11k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1449.62/1449.60 c 1423s| 1860k|936009 | 0 | 0.0 |1730M|2816 | - |5645 | 12k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1457.32/1457.31 c 1430s| 1870k|941384 | 0 | 0.0 |1740M|2816 | - |5645 | 13k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.02/1467.09 c 1440s| 1880k|945394 | 0 | 0.0 |1750M|2816 | - |5645 | 15k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1477.63/1477.65 c 1450s| 1890k|948577 | 0 | 0.0 |1757M|2816 | - |5645 | 12k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1486.22/1486.23 c 1459s| 1900k|953129 | 0 | 0.0 |1765M|2816 | - |5645 | 12k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1494.13/1494.14 c 1466s| 1910k|958248 | 0 | 0.0 |1774M|2816 | - |5645 | 12k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.33/1502.33 c 1474s| 1920k|963208 | 0 | 0.0 |1784M|2816 | - |5645 | 12k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1511.03/1511.04 c 1483s| 1930k|967763 | 0 | 0.0 |1794M|2816 | - |5645 | 13k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1520.03/1520.05 c 1492s| 1940k|972133 | 0 | 0.0 |1803M|2816 | - |5645 | 12k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1528.93/1528.95 c 1501s| 1950k|976603 | 0 | 0.0 |1812M|2816 | - |5645 | 13k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.23/1538.26 c 1510s| 1960k|980806 | 0 | 0.0 |1821M|2816 | - |5645 | 14k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.03/1550.05 c 1521s| 1970k|983285 | 0 | 0.0 |1831M|2816 | - |5645 | 17k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.23/1560.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.23/1560.24 c 1531s| 1980k|987403 | 0 | 0.0 |1836M|2816 | - |5645 | 12k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.83/1565.88 c 1537s| 1990k|994341 | 0 | 0.0 |1845M|2816 | - |5645 | 11k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1572.33/1572.34 c 1543s| 2000k| 1000k| 0 | 0.0 |1855M|2816 | - |5645 | 12k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1580.93/1580.98 c 1552s| 2010k| 1004k| 0 | 0.0 |1866M|2816 | - |5645 | 14k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.83/1592.86 c 1563s| 2020k| 1007k| 0 | 0.0 |1874M|2816 | - |5645 | 16k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1600.03/1600.07 c 1570s| 2030k| 1013k| 0 | 0.0 |1881M|2816 | - |5645 | 12k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.03/1606.02 c 1576s| 2040k| 1020k| 0 | 0.0 |1890M|2816 | - |5645 | 12k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1613.53/1613.55 c 1584s| 2050k| 1025k| 0 | 0.0 |1900M|2816 | - |5645 | 13k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1623.93/1623.98 c 1594s| 2060k| 1029k| 0 | 0.0 |1910M|2816 | - |5645 | 16k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.63/1633.64 c 1603s| 2070k| 1033k| 0 | 0.0 |1917M|2816 | - |5645 | 13k| 0 | 0 | 0 |1642k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.43/1639.46 c 1609s| 2080k| 1040k| 0 | 0.0 |1926M|2816 | - |5645 | 12k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.93/1645.92 c 1615s| 2090k| 1046k| 0 | 0.0 |1936M|2816 | - |5645 | 12k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1653.13/1653.15 c 1622s| 2100k| 1052k| 0 | 0.0 |1946M|2816 | - |5645 | 12k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1660.53/1660.58 c 1630s| 2110k| 1057k| 0 | 0.0 |1955M|2816 | - |5645 | 12k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1668.33/1668.37 c 1637s| 2120k| 1062k| 0 | 0.0 |1965M|2816 | - |5645 | 13k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.73/1676.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.73/1676.77 c 1646s| 2130k| 1067k| 0 | 0.0 |1974M|2816 | - |5645 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1685.83/1685.83 c 1654s| 2140k| 1072k| 0 | 0.0 |1983M|2816 | - |5645 | 14k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1696.83/1696.82 c 1665s| 2150k| 1075k| 0 | 0.0 |1992M|2816 | - |5645 | 17k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.14/1706.12 c 1674s| 2160k| 1080k| 0 | 0.0 |1998M|2816 | - |5645 | 13k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1712.03/1712.01 c 1680s| 2170k| 1087k| 0 | 0.0 |2007M|2816 | - |5645 | 12k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1719.03/1719.04 c 1687s| 2180k| 1093k| 0 | 0.0 |2017M|2816 | - |5645 | 13k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1727.53/1727.53 c 1695s| 2190k| 1097k| 0 | 0.0 |2027M|2816 | - |5645 | 15k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1737.53/1737.50 c 1705s| 2200k| 1101k| 0 | 0.0 |2036M|2816 | - |5645 | 14k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1744.93/1744.94 c 1713s| 2210k| 1107k| 0 | 0.0 |2044M|2816 | - |5645 | 13k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1751.43/1751.40 c 1719s| 2220k| 1113k| 0 | 0.0 |2053M|2816 | - |5645 | 13k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1759.53/1759.51 c 1727s| 2230k| 1119k| 0 | 0.0 |2063M|2816 | - |5645 | 14k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1769.84/1769.88 c 1737s| 2240k| 1122k| 0 | 0.0 |2073M|2816 | - |5645 | 17k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1778.74/1778.77 c 1746s| 2250k| 1127k| 0 | 0.0 |2080M|2816 | - |5645 | 13k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1784.53/1784.55 c 1751s| 2260k| 1134k| 0 | 0.0 |2089M|2816 | - |5645 | 13k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.23/1791.23 c 1758s| 2270k| 1141k| 0 | 0.0 |2099M|2816 | - |5645 | 13k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.44/1799.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.44/1799.46 c 1766s| 2280k| 1146k| 0 | 0.0 |2109M|2816 | - |5645 | 15k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1766.52
1800.04/1800.00 c Solving Nodes : 2280451
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (30 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1800.04/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.08 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.08 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.04/1800.08 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.08 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.04/1800.08 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.08 v x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.08 v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29
1800.04/1800.08 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1766.52
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693598-1277926009.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693598-1277926009.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 21507 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2671 - - 5342 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 5992952 0 1552807 132 1842878 0 0 0
1800.04/1800.08 c linear : 2707 0 7638537 0 1881983 581993 48254496 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3435133 0 0 61825 2111741 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 1882005 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 15.53 0.00 7.03 0.00 8.50
1800.04/1800.08 c linear : 470.76 0.00 469.22 0.00 1.54
1800.04/1800.08 c logicor : 245.83 0.00 245.83 0.00 0.00
1800.04/1800.08 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 2.02 2 0 0
1800.04/1800.08 c rootredcost : 1.47 0 0 0
1800.04/1800.08 c pseudoobj : 377.71 7640540 1899 1808498
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 29.50 645717 645716 2850920 17.8 82714 9.5 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.04 84 84 310 18.4 146 8.6 -
1800.04/1800.08 c applied globally : - - - 1779748 16.7 - - -
1800.04/1800.08 c applied locally : - - - 2 373.5 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 34.72 1881978 0 0 0 0 3763956
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.13 - 27
1800.04/1800.08 c oneopt : 0.77 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.66 0 0
1800.04/1800.08 c trysol : 0.53 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2280451
1800.04/1800.08 c nodes (total) : 2280451
1800.04/1800.08 c nodes left : 1146140
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 360676 (15.8%)
1800.04/1800.08 c delayed cutoffs : 282858
1800.04/1800.08 c repropagations : 1467709 (16554365 domain reductions, 247487 cutoffs)
1800.04/1800.08 c avg switch length: 45.32
1800.04/1800.08 c switching time : 502.65
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 30 (28 improvements)
1800.04/1800.08 c First Solution : +1.36367000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1242060 nodes, 911.44 seconds, depth 721, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693598-1277926009/watcher-2693598-1277926009 -o /tmp/evaluation-result-2693598-1277926009/solver-2693598-1277926009 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693598-1277926009.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 15049 /proc/meminfo: memFree=31589676/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=8604 CPUtime=0 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 1630 0 0 0 0 0 0 0 25 0 1 0 133897835 8810496 1552 4089446400 4194304 7136930 140733258128096 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15049/statm: 2151 1552 275 719 0 1430 0 [startup+0.0197961 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15049 /proc/meminfo: memFree=31589676/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=13956 CPUtime=0.01 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 2968 0 0 0 1 0 0 0 25 0 1 0 133897835 14290944 2890 4089446400 4194304 7136930 140733258128096 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15049/statm: 3489 2908 275 719 0 2768 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13956 [startup+0.100782 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15049 /proc/meminfo: memFree=31589676/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=33680 CPUtime=0.08 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 7968 0 0 0 8 0 0 0 25 0 1 0 133897835 34488320 7536 4089446400 4194304 7136930 140733258128096 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 8420 7536 323 719 0 7699 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 33680 [startup+0.300747 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15049 /proc/meminfo: memFree=31589676/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=36500 CPUtime=0.29 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 9242 0 0 0 28 1 0 0 25 0 1 0 133897835 37376000 8296 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 9125 8296 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700676 s] /proc/loadavg: 2.00 2.00 2.00 4/178 15049 /proc/meminfo: memFree=31589676/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=37640 CPUtime=0.69 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 9517 0 0 0 67 2 0 0 25 0 1 0 133897835 38543360 8571 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 9410 8571 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50054 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15050 /proc/meminfo: memFree=31554576/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=42940 CPUtime=1.49 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 10862 0 0 0 144 5 0 0 25 0 1 0 133897835 43970560 9916 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 10735 9916 390 719 0 10014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42940 [startup+3.10025 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15050 /proc/meminfo: memFree=31550236/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=45016 CPUtime=3.09 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 11375 0 0 0 300 9 0 0 25 0 1 0 133897835 46096384 10429 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 11254 10429 390 719 0 10533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45016 [startup+6.30069 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15051 /proc/meminfo: memFree=31545216/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=50308 CPUtime=6.29 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 12770 0 0 0 614 15 0 0 25 0 1 0 133897835 51515392 11824 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 12577 11824 391 719 0 11856 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50308 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15051 /proc/meminfo: memFree=31524888/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=71696 CPUtime=12.69 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 17934 0 0 0 1238 31 0 0 25 0 1 0 133897835 73416704 16988 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 17924 16988 391 719 0 17203 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 71696 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15051 /proc/meminfo: memFree=31475896/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=120960 CPUtime=25.49 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 30100 0 0 0 2497 52 0 0 25 0 1 0 133897835 123863040 29154 4089446400 4194304 7136930 140733258128096 18446744073709551615 4827071 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 30240 29154 391 719 0 29519 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 120960 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15051 /proc/meminfo: memFree=31407464/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=193272 CPUtime=51.09 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 46961 0 0 0 4992 117 0 0 25 0 1 0 133897835 197910528 46015 4089446400 4194304 7136930 140733258128096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 48318 46015 391 719 0 47597 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 193272 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15053 /proc/meminfo: memFree=31307348/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=291312 CPUtime=102.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 71666 0 0 0 10022 208 0 0 25 0 1 0 133897835 298303488 70720 4089446400 4194304 7136930 140733258128096 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 72828 70720 391 719 0 72107 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 291312 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15055 /proc/meminfo: memFree=31217780/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=385292 CPUtime=162.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 94544 0 0 0 15920 310 0 0 25 0 1 0 133897835 394539008 93598 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 96323 93598 391 719 0 95602 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 385292 [startup+222.301 s] /proc/loadavg: 2.38 2.08 2.02 4/200 15125 /proc/meminfo: memFree=30877924/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=518144 CPUtime=222.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 125355 0 0 0 21785 445 0 0 25 0 1 0 133897835 530579456 124409 4089446400 4194304 7136930 140733258128096 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 129536 124409 391 719 0 128815 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 518144 [startup+282.301 s] /proc/loadavg: 2.81 2.26 2.09 4/200 15130 /proc/meminfo: memFree=30758680/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=624580 CPUtime=282.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 152209 0 0 0 27645 585 0 0 25 0 1 0 133897835 639569920 151263 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 156145 151263 391 719 0 155424 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 624580 [startup+342.3 s] /proc/loadavg: 2.84 2.36 2.13 4/200 15131 /proc/meminfo: memFree=30643652/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=726904 CPUtime=342.29 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 177978 0 0 0 33515 714 0 0 25 0 1 0 133897835 744349696 177032 4089446400 4194304 7136930 140733258128096 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 181726 177032 391 719 0 181005 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 726904 [startup+402.301 s] /proc/loadavg: 2.87 2.46 2.18 4/200 15133 /proc/meminfo: memFree=30516496/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=841008 CPUtime=402.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 206675 0 0 0 39382 848 0 0 25 0 1 0 133897835 861192192 205729 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 210252 205729 391 719 0 209531 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 841008 [startup+462.3 s] /proc/loadavg: 2.84 2.52 2.22 3/200 15135 /proc/meminfo: memFree=30447764/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=911736 CPUtime=462.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 222327 0 0 0 45285 945 0 0 25 0 1 0 133897835 933617664 221381 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 227934 221381 391 719 0 227213 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 911736 [startup+522.301 s] /proc/loadavg: 2.99 2.64 2.27 4/200 15136 /proc/meminfo: memFree=30382352/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=972232 CPUtime=522.31 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 237376 0 0 0 51198 1033 0 0 25 0 1 0 133897835 995565568 236430 4089446400 4194304 7136930 140733258128096 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 243058 236430 391 719 0 242337 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 972232 [startup+582.3 s] /proc/loadavg: 2.93 2.68 2.31 4/200 15138 /proc/meminfo: memFree=30339872/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1011260 CPUtime=582.3 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 247090 0 0 0 57126 1104 0 0 25 0 1 0 133897835 1035530240 246144 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 252815 246144 391 719 0 252094 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1011260 [startup+642.301 s] /proc/loadavg: 2.92 2.72 2.34 4/200 15139 /proc/meminfo: memFree=30299376/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1045208 CPUtime=642.31 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 255716 0 0 0 63029 1202 0 0 25 0 1 0 133897835 1070292992 254770 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 261302 254770 391 719 0 260581 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1045208 [startup+702.301 s] ################ # More data... # ################ /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 349331 0 0 0 98407 1824 0 0 25 0 1 0 133897835 1459441664 348385 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 356309 348385 391 719 0 355588 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1425236 [startup+1062.3 s] /proc/loadavg: 2.01 2.33 2.32 3/197 15197 /proc/meminfo: memFree=29730268/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1495564 CPUtime=1062.32 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 367087 0 0 0 104285 1947 0 0 25 0 1 0 133897835 1531457536 366141 4089446400 4194304 7136930 140733258128096 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 373891 366141 391 719 0 373170 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1495564 [startup+1122.3 s] /proc/loadavg: 2.28 2.33 2.31 3/197 15198 /proc/meminfo: memFree=29646884/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1548360 CPUtime=1122.32 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 380403 0 0 0 110172 2060 0 0 25 0 1 0 133897835 1585520640 379457 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 387090 379457 391 719 0 386369 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1548360 [startup+1182.3 s] /proc/loadavg: 2.10 2.27 2.29 10/197 15200 /proc/meminfo: memFree=29546132/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1613536 CPUtime=1182.32 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 396881 0 0 0 116048 2184 0 0 25 0 1 0 133897835 1652260864 395935 4089446400 4194304 7136930 140733258128096 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 403384 395935 391 719 0 402663 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1613536 [startup+1242.3 s] /proc/loadavg: 2.04 2.22 2.27 3/197 15201 /proc/meminfo: memFree=29434844/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1681640 CPUtime=1242.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 413890 0 0 0 121935 2298 0 0 25 0 1 0 133897835 1721999360 412944 4089446400 4194304 7136930 140733258128096 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 420410 412944 391 719 0 419689 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1681640 [startup+1302.3 s] /proc/loadavg: 2.57 2.29 2.29 3/197 15203 /proc/meminfo: memFree=29330380/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1747100 CPUtime=1302.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 430445 0 0 0 127817 2416 0 0 25 0 1 0 133897835 1789030400 429499 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 436775 429499 391 719 0 436054 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1747100 [startup+1362.3 s] /proc/loadavg: 2.21 2.24 2.27 3/197 15205 /proc/meminfo: memFree=29237956/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1809040 CPUtime=1362.32 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 445900 0 0 0 133702 2530 0 0 25 0 1 0 133897835 1852456960 444954 4089446400 4194304 7136930 140733258128096 18446744073709551615 4923897 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 452260 444954 391 719 0 451539 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1809040 [startup+1422.31 s] /proc/loadavg: 2.07 2.19 2.25 3/197 15206 /proc/meminfo: memFree=29146524/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1861628 CPUtime=1422.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 459304 0 0 0 139585 2648 0 0 25 0 1 0 133897835 1906307072 458358 4089446400 4194304 7136930 140733258128096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 465407 458358 391 719 0 464686 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1861628 [startup+1482.3 s] /proc/loadavg: 2.27 2.23 2.26 3/197 15208 /proc/meminfo: memFree=29049740/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1924520 CPUtime=1482.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 474884 0 0 0 145479 2754 0 0 25 0 1 0 133897835 1970708480 473938 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 481130 473938 391 719 0 480409 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1924520 [startup+1542.3 s] /proc/loadavg: 2.10 2.18 2.24 3/197 15209 /proc/meminfo: memFree=28949508/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=1987600 CPUtime=1542.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 490777 0 0 0 151364 2869 0 0 25 0 1 0 133897835 2035302400 489831 4089446400 4194304 7136930 140733258128096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 496900 489831 391 719 0 496179 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1987600 [startup+1602.3 s] /proc/loadavg: 2.03 2.15 2.22 3/197 15211 /proc/meminfo: memFree=28848648/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2063740 CPUtime=1602.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 505853 0 0 0 157253 2980 0 0 25 0 1 0 133897835 2113269760 504907 4089446400 4194304 7136930 140733258128096 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 515935 504907 391 719 0 515214 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2063740 [startup+1662.3 s] /proc/loadavg: 2.08 2.13 2.21 3/197 15213 /proc/meminfo: memFree=28742580/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2137892 CPUtime=1662.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 524601 0 0 0 163135 3098 0 0 25 0 1 0 133897835 2189201408 523655 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 534473 523655 391 719 0 533752 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2137892 [startup+1722.3 s] /proc/loadavg: 2.03 2.11 2.19 3/197 15214 /proc/meminfo: memFree=28661308/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2198436 CPUtime=1722.33 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 540004 0 0 0 169031 3202 0 0 25 0 1 0 133897835 2251198464 539058 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 549609 539058 391 719 0 548888 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2198436 [startup+1782.3 s] /proc/loadavg: 2.01 2.08 2.18 3/197 15216 /proc/meminfo: memFree=28555352/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2258384 CPUtime=1782.34 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 554978 0 0 0 174918 3316 0 0 25 0 1 0 133897835 2312585216 554032 4089446400 4194304 7136930 140733258128096 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 564596 554032 391 719 0 563875 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2258384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.33 2.15 2.20 3/197 15216 /proc/meminfo: memFree=28518824/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2278624 CPUtime=1800.04 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 560192 0 0 0 176654 3350 0 0 25 0 1 0 133897835 2333310976 559246 4089446400 4194304 7136930 140733258128096 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15049/statm: 569656 559246 391 719 0 568935 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2278624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15049 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.33 2.15 2.20 3/198 15217 /proc/meminfo: memFree=28517452/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2278624 CPUtime=1801.43 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 560211 0 0 0 176793 3350 0 0 25 0 1 0 133897835 2333310976 559265 4089446400 4194304 7136930 140733258128096 18446744073709551615 6166121 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15049/statm: 569656 559265 397 719 0 568935 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2278624 [startup+1801.81 s] /proc/loadavg: 2.33 2.15 2.20 3/198 15217 /proc/meminfo: memFree=28516956/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2278624 CPUtime=1801.84 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 560211 0 0 0 176834 3350 0 0 25 0 1 0 133897835 2333310976 559265 4089446400 4194304 7136930 140733258128096 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15049/statm: 569656 559265 397 719 0 568935 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2278624 [startup+1802 s] /proc/loadavg: 2.33 2.15 2.20 3/198 15217 /proc/meminfo: memFree=28516956/32950928 swapFree=67111528/67111528 [pid=15049] ppid=15047 vsize=2278624 CPUtime=1802.03 /proc/15049/stat : 15049 (pbscip.linux.x8) R 15047 15049 13345 0 -1 4202496 560211 0 0 0 176853 3350 0 0 25 0 1 0 133897835 2333310976 559265 4089446400 4194304 7136930 140733258128096 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15049/statm: 569656 559265 397 719 0 568935 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2278624 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1768.54 CPU system time (s): 33.5799 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2278624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.54 system time used= 33.5799 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 560211 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= 2 involuntary context switches= 2764 runsolver used 2.75158 second user time and 6.03608 second system time The end
Begin job on node120 at 2010-06-30 21:26:49 IDJOB=2693598 IDBENCH=79265 IDSOLVER=1206 FILE ID=node120/2693598-1277926009 PBS_JOBID= 11197310 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--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-2693598-1277926009/watcher-2693598-1277926009 -o /tmp/evaluation-result-2693598-1277926009/solver-2693598-1277926009 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693598-1277926009.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca8c0bf53108e4446976d449224bf298 RANDOM SEED=683205489 node120.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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.80 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.820 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.74 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.820 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.820 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.68 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.820 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31590328 kB Buffers: 209428 kB Cached: 938648 kB SwapCached: 0 kB Active: 612036 kB Inactive: 607360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31590328 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 71480 kB Mapped: 15652 kB Slab: 78944 kB PageTables: 4428 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 214784 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= 74208 MiB End job on node120 at 2010-06-30 21:56:51