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.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo |
| MD5SUM | f1c7b8b76066043f2c00dac441c2cac6 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 190.536 |
| 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 | 906 |
| 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 | 44555 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 44554 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| 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-2693593-1277912526.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.02/0.08 c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.02/0.09 c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.13 c (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14 c 1116 implications, 14 cliques
0.09/0.14 c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14 c 854 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 854 constraints of type <linear>
0.09/0.14 c 1726 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7510k| 0 | - |1939 |3449 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.01 o 308
0.99/1.01 c * 0.9s| 3661 | 3181 | 0 | 0.0 |9924k|1035 | - |1939 |4022 | 0 | 0 | 0 | 694 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
0.99/1.08 o 304
0.99/1.08 c * 1.0s| 3933 | 3448 | 0 | 0.0 | 10M|1035 | - |1939 |4020 | 0 | 0 | 0 | 712 | 0 | 0.000000e+00 | 3.040000e+02 | Inf
0.99/1.08 o 292
0.99/1.08 c * 1.0s| 3934 | 3445 | 0 | 0.0 | 10M|1035 | - |1939 |4020 | 0 | 0 | 0 | 712 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
2.69/2.70 c 2.6s| 10000 | 8479 | 0 | 0.0 | 14M|1035 | - |1939 |4641 | 0 | 0 | 0 |2926 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
6.19/6.21 c 6.0s| 20000 | 15056 | 0 | 0.0 | 22M|1035 | - |1939 |5773 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.920000e+02 | Inf
7.69/7.78 o 211
7.69/7.78 c * 7.5s| 22993 | 16111 | 0 | 0.0 | 24M|1035 | - |1939 |6537 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
8.69/8.79 o 195
8.69/8.79 c * 8.5s| 26276 | 19180 | 0 | 0.0 | 26M|1035 | - |1939 |5425 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
8.89/8.92 o 188
8.89/8.92 c * 8.6s| 26662 | 19502 | 0 | 0.0 | 26M|1035 | - |1939 |5447 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
8.89/8.93 o 156
8.89/8.93 c * 8.6s| 26665 | 19464 | 0 | 0.0 | 26M|1035 | - |1939 |5456 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
9.09/9.14 o 139
9.09/9.14 c * 8.8s| 27137 | 19739 | 0 | 0.0 | 27M|1035 | - |1939 |5629 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
9.19/9.20 o 119
9.19/9.20 c * 8.9s| 27315 | 19723 | 0 | 0.0 | 27M|1035 | - |1939 |5599 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
9.90/9.93 o 106
9.90/9.93 c * 9.6s| 29394 | 21489 | 0 | 0.0 | 29M|1035 | - |1939 |5205 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
10.09/10.12 c 9.8s| 30000 | 22050 | 0 | 0.0 | 29M|1035 | - |1939 |5049 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
10.69/10.78 o 93
10.69/10.78 c *10.4s| 32019 | 23549 | 0 | 0.0 | 30M|1035 | - |1939 |5078 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
12.00/12.10 o 89
12.00/12.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.00/12.10 c *11.7s| 35967 | 26547 | 0 | 0.0 | 33M|1035 | - |1939 |5048 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 8.900000e+01 | Inf
12.79/12.85 o 87
12.79/12.85 c *12.4s| 38263 | 28377 | 0 | 0.0 | 35M|1035 | - |1939 |5369 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
13.29/13.39 c 12.9s| 40000 | 29799 | 0 | 0.0 | 37M|1035 | - |1939 |5570 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
16.30/16.34 c 15.8s| 50000 | 37884 | 0 | 0.0 | 43M|1035 | - |1939 |5684 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
19.59/19.67 c 19.0s| 60000 | 45193 | 0 | 0.0 | 50M|1035 | - |1939 |6251 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
23.19/23.26 c 22.5s| 70000 | 52054 | 0 | 0.0 | 57M|1035 | - |1939 |6507 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
27.29/27.35 c 26.5s| 80000 | 58123 | 0 | 0.0 | 64M|1035 | - |1939 |6690 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
32.00/32.01 c 31.0s| 90000 | 63299 | 0 | 0.0 | 72M|1035 | - |1939 |7267 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
37.19/37.23 c 36.1s|100000 | 67639 | 0 | 0.0 | 80M|1035 | - |1939 |7853 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
43.09/43.16 c 41.9s|110000 | 70852 | 0 | 0.0 | 88M|1035 | - |1939 |8574 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
49.89/49.96 c 48.5s|120000 | 73170 | 0 | 0.0 | 95M|1035 | - |1939 | 11k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
55.00/55.02 c 53.5s|130000 | 79929 | 0 | 0.0 | 101M|1035 | - |1939 |4238 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
55.39/55.40 o 79
55.39/55.40 c *53.8s|131014 | 80292 | 0 | 0.0 | 101M|1035 | - |1939 |4324 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
57.69/57.78 o 51
57.69/57.78 c *56.1s|137074 | 83912 | 0 | 0.0 | 102M|1035 | - |1939 |4495 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
58.80/58.86 c 57.2s|140000 | 86315 | 0 | 0.0 | 106M|1035 | - |1939 |4897 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
62.89/62.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.89/62.95 c 61.1s|150000 | 93831 | 0 | 0.0 | 116M|1035 | - |1939 |6424 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
67.50/67.50 o 41
67.50/67.50 c *65.6s|158888 | 98697 | 0 | 0.0 | 123M|1035 | - |1939 |7081 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
67.99/68.05 c 66.1s|160000 | 99476 | 0 | 0.0 | 124M|1035 | - |1939 |6435 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
69.50/69.54 o 35
69.50/69.54 c *67.6s|163764 |101462 | 0 | 0.0 | 124M|1035 | - |1939 |5829 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
69.59/69.64 o 32
69.59/69.64 c *67.7s|163943 |101465 | 0 | 0.0 | 123M|1035 | - |1939 |5841 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
72.09/72.20 c 70.2s|170000 |105644 | 0 | 0.0 | 129M|1035 | - |1939 |6650 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
76.09/76.12 c 74.0s|180000 |112985 | 0 | 0.0 | 136M|1035 | - |1939 |5968 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
79.39/79.49 c 77.2s|190000 |121113 | 0 | 0.0 | 143M|1035 | - |1939 |7045 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
83.30/83.30 o 27
83.30/83.30 c *80.9s|198083 |125827 | 0 | 0.0 | 148M|1035 | - |1939 |9394 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
84.80/84.89 c 82.5s|200000 |126200 | 0 | 0.0 | 151M|1035 | - |1939 | 10k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
88.49/88.53 c 86.0s|210000 |133758 | 0 | 0.0 | 157M|1035 | - |1939 |8071 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
92.50/92.52 c 89.8s|220000 |140962 | 0 | 0.0 | 164M|1035 | - |1939 |7557 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
96.09/96.16 c 93.4s|230000 |148625 | 0 | 0.0 | 171M|1035 | - |1939 |8623 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
96.49/96.50 o 24
96.49/96.50 c *93.7s|230745 |148545 | 0 | 0.0 | 169M|1035 | - |1939 |8785 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
101.10/101.18 c 98.3s|240000 |153821 | 0 | 0.0 | 176M|1035 | - |1939 |9203 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
104.89/104.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.89/104.97 c 102s|250000 |161043 | 0 | 0.0 | 183M|1035 | - |1939 | 10k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
108.99/109.03 c 106s|260000 |167937 | 0 | 0.0 | 189M|1035 | - |1939 | 11k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
112.69/112.75 c 109s|270000 |175285 | 0 | 0.0 | 197M|1035 | - |1939 | 11k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
116.60/116.68 c 113s|280000 |182226 | 0 | 0.0 | 203M|1035 | - |1939 | 12k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
120.19/120.26 c 117s|290000 |190003 | 0 | 0.0 | 208M|1035 | - |1939 |5666 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
124.10/124.19 c 121s|300000 |196481 | 0 | 0.0 | 215M|1035 | - |1939 |6744 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
128.70/128.79 c 125s|310000 |202049 | 0 | 0.0 | 222M|1035 | - |1939 |7065 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
133.70/133.73 c 130s|320000 |207143 | 0 | 0.0 | 230M|1035 | - |1939 |7794 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
138.80/138.84 c 135s|330000 |212025 | 0 | 0.0 | 236M|1035 | - |1939 |7581 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
143.89/143.98 c 140s|340000 |216834 | 0 | 0.0 | 243M|1035 | - |1939 |8434 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
149.30/149.35 c 145s|350000 |221406 | 0 | 0.0 | 251M|1035 | - |1939 |9460 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
155.10/155.14 c 151s|360000 |225597 | 0 | 0.0 | 257M|1035 | - |1939 |8852 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
161.30/161.33 c 157s|370000 |229065 | 0 | 0.0 | 264M|1035 | - |1939 |9304 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
167.39/167.47 c 163s|380000 |232809 | 0 | 0.0 | 270M|1035 | - |1939 | 10k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
173.80/173.87 c 169s|390000 |236347 | 0 | 0.0 | 277M|1035 | - |1939 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
180.60/180.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.60/180.64 c 176s|400000 |239392 | 0 | 0.0 | 283M|1035 | - |1939 | 11k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
188.11/188.11 c 183s|410000 |241678 | 0 | 0.0 | 288M|1035 | - |1939 | 10k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
195.71/195.74 c 191s|420000 |243806 | 0 | 0.0 | 294M|1035 | - |1939 | 11k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
203.79/203.82 c 198s|430000 |245440 | 0 | 0.0 | 299M|1035 | - |1939 | 12k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
212.40/212.49 c 207s|440000 |246632 | 0 | 0.0 | 305M|1035 | - |1939 | 13k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
221.90/221.93 c 216s|450000 |246889 | 0 | 0.0 | 308M|1035 | - |1939 | 10k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
231.70/231.72 c 226s|460000 |246380 | 0 | 0.0 | 311M|1035 | - |1939 | 12k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
243.00/243.08 c 237s|470000 |244832 | 0 | 0.0 | 313M|1035 | - |1939 | 14k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
249.90/249.98 c 244s|480000 |249317 | 0 | 0.0 | 317M|1035 | - |1939 |6003 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
254.00/254.00 c 248s|490000 |257008 | 0 | 0.0 | 328M|1035 | - |1939 |5920 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
258.00/258.09 c 252s|500000 |264603 | 0 | 0.0 | 339M|1035 | - |1939 |6152 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
261.81/261.86 o 21
261.81/261.86 c * 255s|508835 |270240 | 0 | 0.0 | 345M|1035 | - |1939 |6575 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
262.40/262.41 c 256s|510000 |271082 | 0 | 0.0 | 348M|1035 | - |1939 |6566 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
266.80/266.86 c 260s|520000 |278297 | 0 | 0.0 | 361M|1035 | - |1939 |6784 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
271.30/271.30 c 265s|530000 |285204 | 0 | 0.0 | 368M|1035 | - |1939 |7227 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
275.80/275.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.80/275.81 c 269s|540000 |292025 | 0 | 0.0 | 376M|1035 | - |1939 |8141 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
280.50/280.53 c 274s|550000 |298762 | 0 | 0.0 | 384M|1035 | - |1939 |8595 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
284.00/284.07 o 17
284.00/284.07 c * 277s|557505 |302312 | 0 | 0.0 | 382M|1035 | - |1939 |9033 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
285.30/285.34 c 278s|560000 |303985 | 0 | 0.0 | 385M|1035 | - |1939 |9233 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
291.20/291.29 c 284s|570000 |309724 | 0 | 0.0 | 394M|1035 | - |1939 |4944 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
293.10/293.15 o 15
293.10/293.15 c * 286s|573532 |311118 | 0 | 0.0 | 395M|1035 | - |1939 |4606 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
296.50/296.57 c 289s|580000 |314313 | 0 | 0.0 | 401M|1035 | - |1939 |5432 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
297.50/297.51 o 8
297.50/297.51 c * 290s|581448 |313143 | 0 | 0.0 | 396M|1035 | - |1939 |5662 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
302.60/302.69 c 295s|590000 |316675 | 0 | 0.0 | 407M|1035 | - |1939 |6652 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
309.11/309.15 c 301s|600000 |320110 | 0 | 0.0 | 415M|1035 | - |1939 |7677 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
316.20/316.29 c 308s|610000 |322814 | 0 | 0.0 | 422M|1035 | - |1939 |9126 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
324.51/324.54 c 316s|620000 |324277 | 0 | 0.0 | 428M|1035 | - |1939 | 10k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
328.00/328.09 o 2
328.00/328.09 c * 320s|623864 |309080 | 0 | 0.0 | 406M|1035 | - |1939 | 11k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
332.01/332.05 c 324s|630000 |311394 | 0 | 0.0 | 407M|1035 | - |1939 |6732 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
336.00/336.02 c 328s|640000 |318124 | 0 | 0.0 | 413M|1035 | - |1939 |6996 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
340.40/340.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.40/340.45 c 332s|650000 |324222 | 0 | 0.0 | 420M|1035 | - |1939 |7964 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
346.00/346.00 c 337s|660000 |328993 | 0 | 0.0 | 427M|1035 | - |1939 |9576 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
352.80/352.81 c 344s|670000 |332342 | 0 | 0.0 | 434M|1035 | - |1939 | 11k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.40/360.49 c 352s|680000 |334668 | 0 | 0.0 | 437M|1035 | - |1939 |8096 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
364.01/364.08 c 355s|690000 |342213 | 0 | 0.0 | 443M|1035 | - |1939 |7233 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
367.60/367.66 c 358s|700000 |349673 | 0 | 0.0 | 449M|1035 | - |1939 |7495 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
371.30/371.32 c 362s|710000 |356945 | 0 | 0.0 | 455M|1035 | - |1939 |7988 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
375.60/375.67 c 366s|720000 |363392 | 0 | 0.0 | 462M|1035 | - |1939 |8713 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
380.21/380.23 c 371s|730000 |369607 | 0 | 0.0 | 469M|1035 | - |1939 |9360 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
385.01/385.05 c 375s|740000 |375573 | 0 | 0.0 | 476M|1035 | - |1939 |9746 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
390.01/390.09 c 380s|750000 |381267 | 0 | 0.0 | 482M|1035 | - |1939 | 10k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
395.51/395.56 c 386s|760000 |386471 | 0 | 0.0 | 489M|1035 | - |1939 | 11k| 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
401.71/401.74 c 392s|770000 |390889 | 0 | 0.0 | 495M|1035 | - |1939 | 11k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
408.71/408.78 c 399s|780000 |394503 | 0 | 0.0 | 501M|1035 | - |1939 | 12k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
417.40/417.49 c 407s|790000 |396401 | 0 | 0.0 | 507M|1035 | - |1939 | 14k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
427.70/427.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.70/427.70 c 417s|800000 |396749 | 0 | 0.0 | 508M|1035 | - |1939 | 11k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
431.40/431.41 c 421s|810000 |404242 | 0 | 0.0 | 514M|1035 | - |1939 |9789 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
435.71/435.79 c 425s|820000 |410712 | 0 | 0.0 | 520M|1035 | - |1939 | 10k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
440.80/440.81 c 430s|830000 |416463 | 0 | 0.0 | 527M|1035 | - |1939 | 11k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
446.90/446.96 c 436s|840000 |420858 | 0 | 0.0 | 533M|1035 | - |1939 | 12k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
454.81/454.85 c 444s|850000 |423388 | 0 | 0.0 | 539M|1035 | - |1939 | 14k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
462.31/462.30 c 451s|860000 |426993 | 0 | 0.0 | 542M|1035 | - |1939 | 11k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
466.41/466.49 c 455s|870000 |434103 | 0 | 0.0 | 548M|1035 | - |1939 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
470.91/470.91 c 459s|880000 |440801 | 0 | 0.0 | 555M|1035 | - |1939 | 10k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
475.81/475.82 c 464s|890000 |446883 | 0 | 0.0 | 562M|1035 | - |1939 | 11k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
481.21/481.23 c 469s|900000 |452404 | 0 | 0.0 | 568M|1035 | - |1939 | 12k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
487.01/487.00 c 475s|910000 |457595 | 0 | 0.0 | 575M|1035 | - |1939 | 12k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.51/493.59 c 481s|920000 |461842 | 0 | 0.0 | 582M|1035 | - |1939 | 13k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
500.91/500.96 c 489s|930000 |465305 | 0 | 0.0 | 588M|1035 | - |1939 | 14k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
509.51/509.54 c 497s|940000 |467531 | 0 | 0.0 | 594M|1035 | - |1939 | 15k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
520.22/520.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.22/520.21 c 507s|950000 |467688 | 0 | 0.0 | 596M|1035 | - |1939 | 15k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
524.72/524.71 c 512s|960000 |474636 | 0 | 0.0 | 601M|1035 | - |1939 | 12k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
529.51/529.59 c 517s|970000 |480890 | 0 | 0.0 | 608M|1035 | - |1939 | 13k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
534.91/535.00 c 522s|980000 |486642 | 0 | 0.0 | 615M|1035 | - |1939 | 14k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.51/541.53 c 528s|990000 |491149 | 0 | 0.0 | 622M|1035 | - |1939 | 16k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.41/549.45 c 536s| 1000k|494270 | 0 | 0.0 | 628M|1035 | - |1939 | 17k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.41/558.43 c 545s| 1010k|496794 | 0 | 0.0 | 631M|1035 | - |1939 | 14k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
562.91/562.98 c 549s| 1020k|503594 | 0 | 0.0 | 637M|1035 | - |1939 | 13k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
568.12/568.17 c 554s| 1030k|509635 | 0 | 0.0 | 644M|1035 | - |1939 | 14k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
574.41/574.49 c 560s| 1040k|514546 | 0 | 0.0 | 650M|1035 | - |1939 | 15k| 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
582.61/582.63 c 568s| 1050k|517546 | 0 | 0.0 | 656M|1035 | - |1939 | 18k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
589.62/589.69 c 575s| 1060k|522000 | 0 | 0.0 | 660M|1035 | - |1939 | 13k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.22/594.25 c 580s| 1070k|528834 | 0 | 0.0 | 666M|1035 | - |1939 | 14k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
599.61/599.67 c 585s| 1080k|534629 | 0 | 0.0 | 672M|1035 | - |1939 | 15k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.51/606.55 c 592s| 1090k|538823 | 0 | 0.0 | 679M|1035 | - |1939 | 17k| 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
615.71/615.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.71/615.79 c 601s| 1100k|540570 | 0 | 0.0 | 684M|1035 | - |1939 | 20k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
620.71/620.78 c 606s| 1110k|547364 | 0 | 0.0 | 688M|1035 | - |1939 | 14k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
625.61/625.60 c 610s| 1120k|553942 | 0 | 0.0 | 695M|1035 | - |1939 | 14k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
631.01/631.00 c 616s| 1130k|559789 | 0 | 0.0 | 701M|1035 | - |1939 | 15k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
638.11/638.12 c 623s| 1140k|563936 | 0 | 0.0 | 708M|1035 | - |1939 | 17k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
648.31/648.34 c 633s| 1150k|565294 | 0 | 0.0 | 712M|1035 | - |1939 | 20k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
659.21/659.23 c 644s| 1160k|567014 | 0 | 0.0 | 717M|1035 | - |1939 | 17k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.12/670.11 c 654s| 1170k|568577 | 0 | 0.0 | 723M|1035 | - |1939 | 18k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
681.42/681.49 c 665s| 1180k|569893 | 0 | 0.0 | 728M|1035 | - |1939 | 18k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
693.51/693.58 c 677s| 1190k|570198 | 0 | 0.0 | 733M|1035 | - |1939 | 18k| 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.22/706.22 c 690s| 1200k|570420 | 0 | 0.0 | 738M|1035 | - |1939 | 19k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
719.32/719.37 c 703s| 1210k|570331 | 0 | 0.0 | 742M|1035 | - |1939 | 20k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.63/732.64 c 716s| 1220k|570255 | 0 | 0.0 | 746M|1035 | - |1939 | 20k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.52/746.50 c 730s| 1230k|569609 | 0 | 0.0 | 750M|1035 | - |1939 | 20k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.51/761.59 c 745s| 1240k|568347 | 0 | 0.0 | 752M|1035 | - |1939 | 19k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.72/776.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.72/776.73 c 760s| 1250k|567160 | 0 | 0.0 | 755M|1035 | - |1939 | 19k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
792.62/792.63 c 775s| 1260k|565216 | 0 | 0.0 | 755M|1035 | - |1939 | 19k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.02/808.01 c 791s| 1270k|563512 | 0 | 0.0 | 756M|1035 | - |1939 | 21k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.72/823.78 c 806s| 1280k|561817 | 0 | 0.0 | 757M|1035 | - |1939 | 22k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.82/839.87 c 822s| 1290k|560144 | 0 | 0.0 | 758M|1035 | - |1939 | 21k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.13/857.14 c 839s| 1300k|557372 | 0 | 0.0 | 757M|1035 | - |1939 | 24k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
875.42/875.47 c 857s| 1310k|554325 | 0 | 0.0 | 755M|1035 | - |1939 | 24k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
894.33/894.39 c 876s| 1320k|550725 | 0 | 0.0 | 751M|1035 | - |1939 | 26k| 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.93/915.00 c 897s| 1330k|542712 | 0 | 0.0 | 736M|1035 | - |1939 | 25k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
924.73/924.79 c 906s| 1340k|545484 | 0 | 0.0 | 733M|1035 | - |1939 |9201 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
931.32/931.32 c 913s| 1350k|550388 | 0 | 0.0 | 742M|1035 | - |1939 |8154 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.62/937.69 c 919s| 1360k|555292 | 0 | 0.0 | 750M|1035 | - |1939 |8336 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.33/944.32 c 925s| 1370k|560087 | 0 | 0.0 | 760M|1035 | - |1939 |8105 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.33/951.34 c 932s| 1380k|564375 | 0 | 0.0 | 769M|1035 | - |1939 |8196 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
958.13/958.12 c 939s| 1390k|568790 | 0 | 0.0 | 777M|1035 | - |1939 |8615 | 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.73/964.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.73/964.77 c 945s| 1400k|573293 | 0 | 0.0 | 784M|1035 | - |1939 |8805 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
971.62/971.65 c 952s| 1410k|577505 | 0 | 0.0 | 791M|1035 | - |1939 |9387 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.94/978.91 c 959s| 1420k|581459 | 0 | 0.0 | 800M|1035 | - |1939 |9534 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
986.42/986.43 c 966s| 1430k|585260 | 0 | 0.0 | 808M|1035 | - |1939 |9501 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.12/993.14 c 973s| 1440k|589698 | 0 | 0.0 | 814M|1035 | - |1939 | 10k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.93/1000.93 c 981s| 1450k|593287 | 0 | 0.0 | 823M|1035 | - |1939 | 10k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1009.03/1009.03 c 989s| 1460k|596565 | 0 | 0.0 | 831M|1035 | - |1939 | 10k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.52/1016.50 c 996s| 1470k|600484 | 0 | 0.0 | 837M|1035 | - |1939 | 10k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.02/1026.02 c 1005s| 1480k|603320 | 0 | 0.0 | 845M|1035 | - |1939 | 11k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1034.93/1034.94 c 1013s| 1490k|606598 | 0 | 0.0 | 855M|1035 | - |1939 | 11k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.43/1044.49 c 1023s| 1500k|609281 | 0 | 0.0 | 860M|1035 | - |1939 | 11k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.83/1054.87 c 1032s| 1510k|611456 | 0 | 0.0 | 869M|1035 | - |1939 | 11k| 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1064.42/1064.48 c 1042s| 1520k|614180 | 0 | 0.0 | 878M|1035 | - |1939 | 11k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1074.93/1074.98 c 1052s| 1530k|616215 | 0 | 0.0 | 884M|1035 | - |1939 | 11k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.52/1086.59 c 1063s| 1540k|617636 | 0 | 0.0 | 892M|1035 | - |1939 | 12k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1097.53/1097.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.53/1097.55 c 1073s| 1550k|619452 | 0 | 0.0 | 901M|1035 | - |1939 | 12k| 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.53/1108.57 c 1084s| 1560k|621281 | 0 | 0.0 | 906M|1035 | - |1939 | 12k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.13/1121.12 c 1096s| 1570k|622123 | 0 | 0.0 | 913M|1035 | - |1939 | 13k| 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1134.93/1134.97 c 1109s| 1580k|622419 | 0 | 0.0 | 920M|1035 | - |1939 | 13k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1149.54/1149.52 c 1123s| 1590k|622350 | 0 | 0.0 | 929M|1035 | - |1939 | 14k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.63/1164.64 c 1137s| 1600k|621923 | 0 | 0.0 | 935M|1035 | - |1939 | 14k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.53/1181.52 c 1154s| 1610k|620676 | 0 | 0.0 | 941M|1035 | - |1939 | 15k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.53/1199.52 c 1171s| 1620k|618981 | 0 | 0.0 | 946M|1035 | - |1939 | 16k| 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1219.14/1219.14 c 1190s| 1630k|616942 | 0 | 0.0 | 950M|1035 | - |1939 | 18k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1240.53/1240.58 c 1211s| 1640k|614436 | 0 | 0.0 | 954M|1035 | - |1939 | 20k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.94/1264.92 c 1234s| 1650k|610949 | 0 | 0.0 | 956M|1035 | - |1939 | 24k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1289.53/1289.54 c 1258s| 1660k|607905 | 0 | 0.0 | 952M|1035 | - |1939 | 26k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.83/1300.88 c 1269s| 1670k|612777 | 0 | 0.0 | 957M|1035 | - |1939 | 23k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.54/1311.53 c 1279s| 1680k|617385 | 0 | 0.0 | 963M|1035 | - |1939 | 22k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.14/1322.18 c 1289s| 1690k|621625 | 0 | 0.0 | 969M|1035 | - |1939 | 22k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.83/1333.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.83/1333.83 c 1301s| 1700k|625153 | 0 | 0.0 | 975M|1035 | - |1939 | 24k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1346.44/1346.46 c 1313s| 1710k|628297 | 0 | 0.0 | 981M|1035 | - |1939 | 25k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.44/1360.44 c 1326s| 1720k|630848 | 0 | 0.0 | 988M|1035 | - |1939 | 27k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.14/1374.14 c 1339s| 1730k|633817 | 0 | 0.0 | 994M|1035 | - |1939 | 29k| 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1389.94/1389.93 c 1355s| 1740k|635927 | 0 | 0.0 |1000M|1035 | - |1939 | 31k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1407.24/1407.27 c 1371s| 1750k|637576 | 0 | 0.0 |1005M|1035 | - |1939 | 34k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1426.14/1426.16 c 1390s| 1760k|638931 | 0 | 0.0 |1010M|1035 | - |1939 | 38k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1450.35/1450.31 c 1413s| 1770k|638816 | 0 | 0.0 |1013M|1035 | - |1939 | 43k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1479.25/1479.24 c 1442s| 1780k|638540 | 0 | 0.0 |1011M|1035 | - |1939 | 35k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.04/1493.08 c 1455s| 1790k|644018 | 0 | 0.0 |1016M|1035 | - |1939 | 27k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1504.54/1504.59 c 1466s| 1800k|649191 | 0 | 0.0 |1021M|1035 | - |1939 | 24k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1515.85/1515.80 c 1477s| 1810k|654057 | 0 | 0.0 |1027M|1035 | - |1939 | 24k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.95/1526.94 c 1487s| 1820k|658796 | 0 | 0.0 |1033M|1035 | - |1939 | 24k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1537.85/1537.89 c 1498s| 1830k|663515 | 0 | 0.0 |1039M|1035 | - |1939 | 25k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.14/1549.13 c 1509s| 1840k|668143 | 0 | 0.0 |1046M|1035 | - |1939 | 25k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.45/1560.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.45/1560.43 c 1520s| 1850k|672796 | 0 | 0.0 |1052M|1035 | - |1939 | 25k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1571.74/1571.73 c 1530s| 1860k|677358 | 0 | 0.0 |1058M|1035 | - |1939 | 25k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.55/1583.50 c 1542s| 1870k|681590 | 0 | 0.0 |1064M|1035 | - |1939 | 25k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1595.94/1595.93 c 1554s| 1880k|685469 | 0 | 0.0 |1069M|1035 | - |1939 | 25k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1607.15/1607.16 c 1564s| 1890k|689925 | 0 | 0.0 |1076M|1035 | - |1939 | 25k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1619.85/1619.86 c 1577s| 1900k|693702 | 0 | 0.0 |1082M|1035 | - |1939 | 26k| 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.85/1633.85 c 1590s| 1910k|696901 | 0 | 0.0 |1087M|1035 | - |1939 | 26k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.05/1646.06 c 1602s| 1920k|700848 | 0 | 0.0 |1094M|1035 | - |1939 | 27k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1660.45/1660.42 c 1616s| 1930k|703848 | 0 | 0.0 |1099M|1035 | - |1939 | 27k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1675.15/1675.18 c 1630s| 1940k|706531 | 0 | 0.0 |1104M|1035 | - |1939 | 27k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1688.75/1688.79 c 1643s| 1950k|709841 | 0 | 0.0 |1110M|1035 | - |1939 | 28k| 0 | 0 | 0 |1906k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.45/1704.48 c 1658s| 1960k|712219 | 0 | 0.0 |1115M|1035 | - |1939 | 28k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.05/1721.00 c 1674s| 1970k|714170 | 0 | 0.0 |1120M|1035 | - |1939 | 29k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1737.65/1737.60 c 1690s| 1980k|716181 | 0 | 0.0 |1124M|1035 | - |1939 | 30k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.86/1753.89 c 1706s| 1990k|718511 | 0 | 0.0 |1129M|1035 | - |1939 | 30k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1771.46/1771.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.46/1771.46 c 1723s| 2000k|720325 | 0 | 0.0 |1134M|1035 | - |1939 | 30k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1790.25/1790.23 c 1741s| 2010k|721687 | 0 | 0.0 |1138M|1035 | - |1939 | 31k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1750.87
1800.06/1800.00 c Solving Nodes : 2014681
1800.06/1800.00 c Primal Bound : +2.00000000000000e+00 (25 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.06/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.01 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.06/1800.01 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.06/1800.01 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 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.06/1800.01 v -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1750.87
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2693593-1277912526.wbo
1800.06/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.06/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2693593-1277912526.wbo
1800.06/1800.01 c Variables : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.06/1800.01 c Constraints : 3449 initial, 47417 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 52 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 52 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 52 0 0
1800.06/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.04 0 0 0 906 0 113 52 0
1800.06/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 711 - - 1422 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 854 0 5036929 0 1204994 210 2326281 0 0 0
1800.06/1800.01 c knapsack : 1 0 7120896 0 1548219 203760 22268873 0 0 0
1800.06/1800.01 c setppc : 14 0 6943952 0 1548399 84544 5359300 0 0 0
1800.06/1800.01 c linear : 854 0 6859996 0 1548538 173416 9566964 0 0 0
1800.06/1800.01 c logicor : 1726+ 0 5071950 0 1548557 257973 14401647 0 0 0
1800.06/1800.01 c bounddisjunction : 0+ 0 130324 0 0 5 421 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 1548552 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c indicator : 8.22 0.00 4.39 0.00 3.83
1800.06/1800.01 c knapsack : 82.55 0.00 79.85 0.00 2.70
1800.06/1800.01 c setppc : 27.64 0.00 24.79 0.00 2.85
1800.06/1800.01 c linear : 127.55 0.00 126.85 0.00 0.70
1800.06/1800.01 c logicor : 621.60 0.00 542.07 0.00 79.53
1800.06/1800.01 c bounddisjunction : 0.26 0.00 0.26 0.00 0.00
1800.06/1800.01 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 1.07 2 0 0
1800.06/1800.01 c rootredcost : 1.11 0 0 0
1800.06/1800.01 c pseudoobj : 128.29 7150688 2245 2309746
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 24.36 721943 721888 3191437 19.0 124571 10.1 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.00 79 79 337 21.9 89 9.3 -
1800.06/1800.01 c applied globally : - - - 1985944 17.0 - - -
1800.06/1800.01 c applied locally : - - - 96 123.5 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.01 c redcost : 0.00 0 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.01 c cmir : 0.00 0 0 0 0 0
1800.06/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.01 c clique : 0.00 0 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 25.42 1548527 0 0 0 0 3097054
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.09 - 25
1800.06/1800.01 c oneopt : 0.58 0 0
1800.06/1800.01 c trivial : 0.00 2 0
1800.06/1800.01 c simplerounding : 0.00 0 0
1800.06/1800.01 c zirounding : 0.00 0 0
1800.06/1800.01 c rounding : 0.00 0 0
1800.06/1800.01 c shifting : 0.00 0 0
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c coefdiving : 0.00 0 0
1800.06/1800.01 c pscostdiving : 0.00 0 0
1800.06/1800.01 c fracdiving : 0.00 0 0
1800.06/1800.01 c veclendiving : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 0.00 0 0
1800.06/1800.01 c rootsoldiving : 0.00 0 0
1800.06/1800.01 c linesearchdiving : 0.00 0 0
1800.06/1800.01 c guideddiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.00 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.33 0 0
1800.06/1800.01 c trysol : 0.28 1 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.01 c (at root node) : - 0 0 0.00 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 2014681
1800.06/1800.01 c nodes (total) : 2014681
1800.06/1800.01 c nodes left : 721781
1800.06/1800.01 c max depth : 1035
1800.06/1800.01 c max depth (total): 1035
1800.06/1800.01 c backtracks : 459570 (22.8%)
1800.06/1800.01 c delayed cutoffs : 334928
1800.06/1800.01 c repropagations : 1786717 (17782696 domain reductions, 256103 cutoffs)
1800.06/1800.01 c avg switch length: 31.87
1800.06/1800.01 c switching time : 555.10
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 25 (25 improvements)
1800.06/1800.01 c First Solution : +3.08000000000000e+02 (in run 1, after 3661 nodes, 0.94 seconds, depth 278, found by <relaxation>)
1800.06/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 623864 nodes, 319.89 seconds, depth 132, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 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-2693593-1277912526/watcher-2693593-1277912526 -o /tmp/evaluation-result-2693593-1277912526/solver-2693593-1277912526 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693593-1277912526.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.18 2.05 2.01 4/178 24894 /proc/meminfo: memFree=31538084/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=8296 CPUtime=0 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 166855648 8495104 1475 4089446400 4194304 7136930 140734386384656 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24894/statm: 2074 1483 275 719 0 1353 0 [startup+0.0321971 s] /proc/loadavg: 2.18 2.05 2.01 4/178 24894 /proc/meminfo: memFree=31538084/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=17240 CPUtime=0.02 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 4164 0 0 0 2 0 0 0 25 0 1 0 166855648 17653760 3732 4089446400 4194304 7136930 140734386384656 18446744073709551615 4680658 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 4310 3742 289 719 0 3589 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 17240 [startup+0.101191 s] /proc/loadavg: 2.18 2.05 2.01 4/178 24894 /proc/meminfo: memFree=31538084/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=22076 CPUtime=0.09 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 8281 0 0 0 8 1 0 0 25 0 1 0 166855648 22605824 4765 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 5519 4765 368 719 0 4798 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22076 [startup+0.301155 s] /proc/loadavg: 2.18 2.05 2.01 4/178 24894 /proc/meminfo: memFree=31538084/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=24212 CPUtime=0.29 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 9103 0 0 0 27 2 0 0 25 0 1 0 166855648 24793088 5330 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 6053 5330 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.701089 s] /proc/loadavg: 2.18 2.05 2.01 4/178 24894 /proc/meminfo: memFree=31538084/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=26260 CPUtime=0.69 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 9617 0 0 0 66 3 0 0 25 0 1 0 166855648 26890240 5844 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 6565 5844 404 719 0 5844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26260 [startup+1.50093 s] /proc/loadavg: 2.18 2.05 2.01 3/179 24895 /proc/meminfo: memFree=31515012/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=28236 CPUtime=1.49 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 10111 0 0 0 143 6 0 0 25 0 1 0 166855648 28913664 6338 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 7059 6340 404 719 0 6338 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28236 [startup+3.10061 s] /proc/loadavg: 2.18 2.05 2.01 3/179 24895 /proc/meminfo: memFree=31511984/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=33892 CPUtime=3.09 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 11528 0 0 0 298 11 0 0 25 0 1 0 166855648 34705408 7755 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 8473 7755 404 719 0 7752 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33892 [startup+6.30101 s] /proc/loadavg: 2.17 2.05 2.01 3/179 24895 /proc/meminfo: memFree=31501568/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=43532 CPUtime=6.29 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 13966 0 0 0 607 22 0 0 25 0 1 0 166855648 44576768 10193 4089446400 4194304 7136930 140734386384656 18446744073709551615 4221881 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 10883 10193 404 719 0 10162 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43532 [startup+12.7008 s] /proc/loadavg: 2.16 2.05 2.01 3/179 24896 /proc/meminfo: memFree=31479980/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=65132 CPUtime=12.69 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 19220 0 0 0 1228 41 0 0 25 0 1 0 166855648 66695168 15447 4089446400 4194304 7136930 140734386384656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 16283 15447 407 719 0 15562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65132 [startup+25.5004 s] /proc/loadavg: 2.12 2.05 2.01 3/179 24896 /proc/meminfo: memFree=31445324/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=97952 CPUtime=25.49 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 27460 0 0 0 2469 80 0 0 25 0 1 0 166855648 100302848 23687 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 24488 23687 407 719 0 23767 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97952 [startup+51.1005 s] /proc/loadavg: 2.08 2.04 2.01 3/179 24897 /proc/meminfo: memFree=31403364/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=139880 CPUtime=51.09 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 37426 0 0 0 4966 143 0 0 25 0 1 0 166855648 143237120 33653 4089446400 4194304 7136930 140734386384656 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 34970 33653 407 719 0 34249 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139880 [startup+102.307 s] /proc/loadavg: 2.03 2.03 2.00 3/179 24898 /proc/meminfo: memFree=31282052/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=262820 CPUtime=102.3 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 66940 0 0 0 9937 293 0 0 25 0 1 0 166855648 269127680 63167 4089446400 4194304 7136930 140734386384656 18446744073709551615 4925539 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 65705 63167 407 719 0 64984 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 262820 [startup+162.3 s] /proc/loadavg: 2.07 2.04 2.00 3/179 24899 /proc/meminfo: memFree=31188508/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=357744 CPUtime=162.3 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 89782 0 0 0 15775 455 0 0 25 0 1 0 166855648 366329856 86009 4089446400 4194304 7136930 140734386384656 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 89436 86009 407 719 0 88715 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 357744 [startup+222.301 s] /proc/loadavg: 2.02 2.03 2.00 3/179 24901 /proc/meminfo: memFree=31129804/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=412824 CPUtime=222.29 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 103523 0 0 0 21662 567 0 0 25 0 1 0 166855648 422731776 99750 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 103206 99750 407 719 0 102485 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 412824 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 24903 /proc/meminfo: memFree=31047540/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=503796 CPUtime=282.3 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 124139 0 0 0 27534 696 0 0 25 0 1 0 166855648 515887104 120366 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 125949 120366 407 719 0 125228 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 503796 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/179 24904 /proc/meminfo: memFree=30989708/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=559984 CPUtime=342.3 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 137985 0 0 0 33377 853 0 0 25 0 1 0 166855648 573423616 134212 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 139996 134212 407 719 0 139275 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 559984 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24906 /proc/meminfo: memFree=30917236/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=631872 CPUtime=402.3 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 156111 0 0 0 39222 1008 0 0 25 0 1 0 166855648 647036928 152338 4089446400 4194304 7136930 140734386384656 18446744073709551615 4999977 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 157968 152338 407 719 0 157247 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 631872 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24908 /proc/meminfo: memFree=30863600/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=683180 CPUtime=462.31 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 169052 0 0 0 45089 1142 0 0 25 0 1 0 166855648 699576320 165279 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 170795 165279 407 719 0 170074 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 683180 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24909 /proc/meminfo: memFree=30805160/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=749664 CPUtime=522.31 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 183722 0 0 0 50955 1276 0 0 25 0 1 0 166855648 767655936 179949 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 187416 179949 407 719 0 186695 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 749664 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24911 /proc/meminfo: memFree=30749688/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=802072 CPUtime=582.31 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 197051 0 0 0 56814 1417 0 0 25 0 1 0 166855648 821321728 193278 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 200518 193278 407 719 0 199797 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 802072 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24912 /proc/meminfo: memFree=30693716/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=856708 CPUtime=642.31 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 210742 0 0 0 62684 1547 0 0 25 0 1 0 166855648 877268992 206969 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 214177 206969 407 719 0 213456 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 856708 [startup+702.301 s] ################ # More data... # ################ /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 246411 0 0 0 98206 2026 0 0 25 0 1 0 166855648 1037635584 242638 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24894/statm: 253329 242638 407 719 0 252608 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1013316 [startup+1062.3 s] /proc/loadavg: 1.96 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30397200/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1065020 CPUtime=1062.32 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 258517 0 0 0 103959 2273 0 0 25 0 1 0 166855648 1090580480 254744 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 266255 254744 407 719 0 265534 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1065020 [startup+1122.3 s] /proc/loadavg: 1.98 1.98 1.99 3/179 25047 /proc/meminfo: memFree=30326700/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1104716 CPUtime=1122.33 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 268136 0 0 0 109682 2551 0 0 25 0 1 0 166855648 1131229184 264363 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 276179 264363 407 719 0 275458 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1104716 [startup+1182.3 s] /proc/loadavg: 2.14 2.02 2.00 3/179 25131 /proc/meminfo: memFree=30462848/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1139004 CPUtime=1182.33 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 276182 0 0 0 115443 2790 0 0 25 0 1 0 166855648 1166340096 272409 4089446400 4194304 7136930 140734386384656 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 284751 272409 407 719 0 284030 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1139004 [startup+1242.3 s] /proc/loadavg: 2.09 2.03 2.00 3/179 25132 /proc/meminfo: memFree=30415536/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1160040 CPUtime=1242.33 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 280647 0 0 0 121238 2995 0 0 25 0 1 0 166855648 1187880960 276874 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 290010 276874 407 719 0 289289 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1160040 [startup+1302.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 25134 /proc/meminfo: memFree=30365536/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1173232 CPUtime=1302.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 283515 0 0 0 127045 3189 0 0 25 0 1 0 166855648 1201389568 279742 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 293308 279742 407 719 0 292587 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1173232 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 25135 /proc/meminfo: memFree=30306108/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1197544 CPUtime=1362.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 289666 0 0 0 132801 3433 0 0 25 0 1 0 166855648 1226285056 285893 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 299386 285893 407 719 0 298665 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1197544 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/179 25137 /proc/meminfo: memFree=30252504/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1214356 CPUtime=1422.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 293786 0 0 0 138602 3632 0 0 25 0 1 0 166855648 1243500544 290013 4089446400 4194304 7136930 140734386384656 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 303589 290013 407 719 0 302868 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1214356 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25139 /proc/meminfo: memFree=30207696/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1223844 CPUtime=1482.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 295867 0 0 0 144458 3776 0 0 25 0 1 0 166855648 1253216256 292094 4089446400 4194304 7136930 140734386384656 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 305961 292094 407 719 0 305240 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1223844 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25140 /proc/meminfo: memFree=30141548/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1252348 CPUtime=1542.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 303102 0 0 0 150217 4017 0 0 25 0 1 0 166855648 1282404352 299329 4089446400 4194304 7136930 140734386384656 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 313087 299329 407 719 0 312366 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1252348 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25142 /proc/meminfo: memFree=30076288/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1282284 CPUtime=1602.34 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 310618 0 0 0 155971 4263 0 0 25 0 1 0 166855648 1313058816 306845 4089446400 4194304 7136930 140734386384656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 320571 306845 407 719 0 319850 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1282284 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25144 /proc/meminfo: memFree=30014996/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1308808 CPUtime=1662.35 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 317381 0 0 0 161750 4485 0 0 25 0 1 0 166855648 1340219392 313608 4089446400 4194304 7136930 140734386384656 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 327202 313608 407 719 0 326481 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1308808 [startup+1722.3 s] /proc/loadavg: 2.13 2.03 2.01 3/179 25145 /proc/meminfo: memFree=29959040/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1330692 CPUtime=1722.35 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 322951 0 0 0 167554 4681 0 0 25 0 1 0 166855648 1362628608 319178 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 332673 319178 407 719 0 331952 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1330692 [startup+1782.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 25147 /proc/meminfo: memFree=29904312/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1343216 CPUtime=1782.35 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 326146 0 0 0 173367 4868 0 0 25 0 1 0 166855648 1375453184 322373 4089446400 4194304 7136930 140734386384656 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 335804 322373 407 719 0 335083 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1343216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.02 2.00 3/179 25147 /proc/meminfo: memFree=29890292/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1348220 CPUtime=1800.06 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 327415 0 0 0 175089 4917 0 0 25 0 1 0 166855648 1380577280 323642 4089446400 4194304 7136930 140734386384656 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24894/statm: 337055 323642 407 719 0 336334 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1348220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24894 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.03 2.02 2.00 3/180 25148 /proc/meminfo: memFree=29890036/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1348220 CPUtime=1801.45 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 327420 0 0 0 175228 4917 0 0 25 0 1 0 166855648 1380577280 323647 4089446400 4194304 7136930 140734386384656 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24894/statm: 337055 323647 412 719 0 336334 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1348220 [startup+1801.81 s] /proc/loadavg: 2.03 2.02 2.00 3/180 25148 /proc/meminfo: memFree=29890412/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1346172 CPUtime=1801.86 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 327420 0 0 0 175269 4917 0 0 25 0 1 0 166855648 1378480128 323135 4089446400 4194304 7136930 140734386384656 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24894/statm: 336543 323135 412 719 0 335822 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1346172 [startup+1802 s] /proc/loadavg: 2.03 2.02 2.00 3/180 25148 /proc/meminfo: memFree=29890412/32950928 swapFree=67111528/67111528 [pid=24894] ppid=24892 vsize=1343444 CPUtime=1802.06 /proc/24894/stat : 24894 (pbscip.linux.x8) R 24892 24894 24708 0 -1 4202496 327420 0 0 0 175288 4918 0 0 25 0 1 0 166855648 1375686656 322453 4089446400 4194304 7136930 140734386384656 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24894/statm: 335861 322453 412 719 0 335140 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 1343444 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.12 CPU user time (s): 1752.89 CPU system time (s): 49.2265 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1348220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1752.89 system time used= 49.2265 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 327420 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= 1 involuntary context switches= 10063 runsolver used 2.79857 second user time and 7.04893 second system time The end
Begin job on node115 at 2010-06-30 17:42:06 IDJOB=2693593 IDBENCH=78997 IDSOLVER=1206 FILE ID=node115/2693593-1277912526 PBS_JOBID= 11197259 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-66-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-2693593-1277912526/watcher-2693593-1277912526 -o /tmp/evaluation-result-2693593-1277912526/solver-2693593-1277912526 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693593-1277912526.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1c7b8b76066043f2c00dac441c2cac6 RANDOM SEED=368856568 node115.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.796 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.59 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.796 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.08 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.76 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.796 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.796 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.796 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31538488 kB Buffers: 198244 kB Cached: 935988 kB SwapCached: 0 kB Active: 600516 kB Inactive: 669312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31538488 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 135640 kB Mapped: 17268 kB Slab: 77924 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 281944 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= 74204 MiB End job on node115 at 2010-06-30 18:12:08