Trace number 4521634
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb |
| MD5SUM | 8e50416028301376aa06deda864f0965 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 264 |
| Best CPU time to get the best result obtained on this benchmark | 0.021602 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 506 |
| Total number of constraints | 1012 |
| Number of constraints which are clauses | 1012 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 506 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 506 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 506 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4521634-1751573548.opb'
0.00/0.01 c read 0.03MB (1.37ms)
0.00/0.01 c [cnf: #variables 506 #clauses 1013 #duplicates 0 #arr 2530]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 2] (0.89ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.07ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 2531 #edges 7084]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 2.02*10^3 #generators 3] (4.36ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c ran it=0, +gens=3
0.00/0.08 c con best_support=920, best_gens=1, +gens=237
0.00/0.08 c (61.74ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=20)
0.00/0.11 c added predicates for 243 generators (24.94ms)
0.00/0.11 c
0.00/0.11 c generation finished
0.00/0.11 c [sbp: #constraints 14094 #add_vars 4617]
0.00/0.11 c
0.00/0.11 c write result to 'HOME/instance-4521634-1751573548.opb.pre'
0.08/0.11 c wrote 0.51MB (4.52ms)
0.08/0.12 c ------------------------------------------------------------------
0.08/0.12 c 61.74ms 60.51% optimize_gens
0.08/0.12 c 24.94ms 24.44% break_generic
0.08/0.12 c 4.52ms 4.43% output
0.08/0.12 c 4.36ms 4.27% detect_generic
0.08/0.12 c 2.39ms 2.34% finalize_order
0.08/0.12 c 1.37ms 1.34% parse
0.08/0.12 c 1.07ms 1.05% detect_special
0.08/0.12 c 0.89ms 0.87% approx_orbits
0.08/0.12 c 0.75ms 0.73% other
0.08/0.12 c ───────────────────────────────────────────────
0.08/0.12 c 102.04ms 100% total
0.08/0.12 c ------------------------------------------------------------------
0.08/0.13 c RoundingSat 2
0.08/0.13 c branch pb25
0.08/0.13 c commit 63f22ad
0.24/0.33 c #variables 5123 #constraints 15106
0.24/0.33 c objective is ce32
0.24/0.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.24/0.33 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.24/0.33 c bounds - >= 0 @ 0.130935
0.24/0.38 c rational objective 253
0.60/0.70 c bounds 264 >= 0 @ 0.460861
0.60/0.70 c bounds 264 >= 1 @ 0.460947
0.60/0.70 c bounds 264 >= 2 @ 0.461151
0.60/0.70 c bounds 264 >= 3 @ 0.461273
0.60/0.70 c bounds 264 >= 4 @ 0.461401
0.60/0.70 c bounds 264 >= 5 @ 0.461518
0.60/0.70 c bounds 264 >= 6 @ 0.461645
0.60/0.70 c bounds 264 >= 7 @ 0.46178
0.60/0.70 c bounds 264 >= 8 @ 0.461918
0.60/0.70 c bounds 264 >= 9 @ 0.462051
0.60/0.70 c bounds 264 >= 10 @ 0.462192
0.60/0.70 c bounds 264 >= 11 @ 0.46233
0.60/0.70 c bounds 264 >= 12 @ 0.462464
0.60/0.70 c bounds 264 >= 13 @ 0.462601
0.60/0.70 c bounds 264 >= 14 @ 0.462737
0.60/0.70 c bounds 264 >= 15 @ 0.462875
0.60/0.70 c bounds 264 >= 16 @ 0.463009
0.60/0.70 c bounds 264 >= 17 @ 0.463145
0.60/0.70 c bounds 264 >= 18 @ 0.463289
0.60/0.70 c bounds 264 >= 19 @ 0.463427
0.60/0.70 c bounds 264 >= 20 @ 0.463617
0.60/0.70 c bounds 264 >= 21 @ 0.463617
0.60/0.70 c bounds 264 >= 22 @ 0.463617
0.60/0.70 c bounds 264 >= 23 @ 0.463617
0.60/0.70 c bounds 264 >= 24 @ 0.463617
0.60/0.70 c bounds 264 >= 25 @ 0.463617
0.60/0.70 c bounds 264 >= 26 @ 0.463617
0.60/0.70 c bounds 264 >= 27 @ 0.463617
0.60/0.70 c bounds 264 >= 28 @ 0.463617
0.60/0.70 c bounds 264 >= 29 @ 0.463617
0.60/0.70 c bounds 264 >= 30 @ 0.463617
0.60/0.70 c bounds 264 >= 31 @ 0.463617
0.60/0.70 c bounds 264 >= 32 @ 0.463617
0.60/0.70 c bounds 264 >= 33 @ 0.463617
0.60/0.70 c bounds 264 >= 34 @ 0.463617
0.60/0.70 c bounds 264 >= 35 @ 0.463753
0.60/0.70 c bounds 264 >= 36 @ 0.463889
0.60/0.70 c bounds 264 >= 37 @ 0.46403
0.60/0.70 c bounds 264 >= 38 @ 0.464166
0.60/0.70 c bounds 264 >= 39 @ 0.464298
0.60/0.70 c bounds 264 >= 40 @ 0.464431
0.60/0.70 c bounds 264 >= 41 @ 0.464551
0.60/0.70 c bounds 264 >= 42 @ 0.464681
0.60/0.70 c bounds 264 >= 43 @ 0.464824
0.60/0.70 c bounds 264 >= 44 @ 0.464955
0.60/0.70 c bounds 264 >= 45 @ 0.465095
0.60/0.70 c bounds 264 >= 46 @ 0.465227
0.60/0.70 c bounds 264 >= 47 @ 0.465373
0.60/0.70 c bounds 264 >= 48 @ 0.465511
0.60/0.70 c bounds 264 >= 49 @ 0.465647
0.60/0.70 c bounds 264 >= 50 @ 0.465782
0.60/0.70 c bounds 264 >= 51 @ 0.465917
0.60/0.70 c bounds 264 >= 52 @ 0.466047
0.60/0.70 c bounds 264 >= 53 @ 0.466183
0.60/0.70 c bounds 264 >= 54 @ 0.466318
0.60/0.71 c bounds 264 >= 55 @ 0.466457
0.60/0.71 c bounds 264 >= 56 @ 0.466594
0.60/0.71 c bounds 264 >= 57 @ 0.466732
0.60/0.71 c bounds 264 >= 58 @ 0.46686
0.60/0.71 c bounds 264 >= 59 @ 0.46699
0.60/0.71 c bounds 264 >= 60 @ 0.467124
0.60/0.71 c bounds 264 >= 61 @ 0.467257
0.60/0.71 c bounds 264 >= 62 @ 0.467392
0.60/0.71 c bounds 264 >= 63 @ 0.467525
0.60/0.71 c bounds 264 >= 64 @ 0.467669
0.60/0.71 c bounds 264 >= 65 @ 0.467798
0.60/0.71 c bounds 264 >= 66 @ 0.467935
0.60/0.71 c bounds 264 >= 67 @ 0.468061
0.60/0.71 c bounds 264 >= 68 @ 0.468198
0.60/0.71 c bounds 264 >= 69 @ 0.468325
0.60/0.71 c bounds 264 >= 70 @ 0.468467
0.60/0.71 c bounds 264 >= 71 @ 0.468603
0.60/0.71 c bounds 264 >= 72 @ 0.468736
0.60/0.71 c bounds 264 >= 73 @ 0.468868
0.60/0.71 c bounds 264 >= 74 @ 0.468999
0.60/0.71 c bounds 264 >= 75 @ 0.469132
0.60/0.71 c bounds 264 >= 76 @ 0.469259
0.60/0.71 c bounds 264 >= 77 @ 0.469392
0.60/0.71 c bounds 264 >= 78 @ 0.46952
0.60/0.71 c bounds 264 >= 79 @ 0.469658
0.60/0.71 c bounds 264 >= 80 @ 0.469785
0.60/0.71 c bounds 264 >= 81 @ 0.469915
0.60/0.71 c bounds 264 >= 82 @ 0.47004
0.60/0.71 c bounds 264 >= 83 @ 0.470175
0.60/0.71 c bounds 264 >= 84 @ 0.470307
0.60/0.71 c bounds 264 >= 85 @ 0.470438
0.60/0.71 c bounds 264 >= 86 @ 0.470564
0.60/0.71 c bounds 264 >= 87 @ 0.470705
0.60/0.71 c bounds 264 >= 88 @ 0.470834
0.60/0.71 c bounds 264 >= 89 @ 0.470976
0.60/0.71 c bounds 264 >= 90 @ 0.471101
0.60/0.71 c bounds 264 >= 91 @ 0.471233
0.60/0.71 c bounds 264 >= 92 @ 0.471362
0.60/0.71 c bounds 264 >= 93 @ 0.471502
0.60/0.71 c bounds 264 >= 94 @ 0.471644
0.60/0.71 c bounds 264 >= 95 @ 0.471772
0.60/0.71 c bounds 264 >= 96 @ 0.471915
0.60/0.71 c bounds 264 >= 97 @ 0.472041
0.60/0.71 c bounds 264 >= 98 @ 0.472177
0.60/0.71 c bounds 264 >= 99 @ 0.472302
0.60/0.71 c bounds 264 >= 100 @ 0.472444
0.60/0.71 c bounds 264 >= 101 @ 0.47257
0.60/0.71 c bounds 264 >= 102 @ 0.472715
0.60/0.71 c bounds 264 >= 103 @ 0.472841
0.60/0.71 c bounds 264 >= 104 @ 0.472979
0.60/0.71 c bounds 264 >= 105 @ 0.473105
0.60/0.71 c bounds 264 >= 106 @ 0.473236
0.60/0.71 c bounds 264 >= 107 @ 0.473369
0.60/0.71 c bounds 264 >= 108 @ 0.473495
0.60/0.71 c bounds 264 >= 109 @ 0.473628
0.60/0.71 c bounds 264 >= 110 @ 0.473754
0.60/0.71 c bounds 264 >= 111 @ 0.473887
0.60/0.71 c bounds 264 >= 112 @ 0.474013
0.60/0.71 c bounds 264 >= 113 @ 0.474142
0.60/0.71 c bounds 264 >= 114 @ 0.474267
0.60/0.71 c bounds 264 >= 115 @ 0.474398
0.60/0.71 c bounds 264 >= 116 @ 0.474524
0.60/0.71 c bounds 264 >= 117 @ 0.474863
0.60/0.71 c bounds 264 >= 118 @ 0.475014
0.60/0.71 c bounds 264 >= 119 @ 0.475152
0.60/0.71 c bounds 264 >= 120 @ 0.475279
0.60/0.71 c bounds 264 >= 121 @ 0.475423
0.60/0.71 c bounds 264 >= 122 @ 0.475551
0.60/0.71 c bounds 264 >= 123 @ 0.475737
0.60/0.71 c bounds 264 >= 124 @ 0.475874
0.60/0.71 c bounds 264 >= 125 @ 0.476059
0.60/0.71 c bounds 264 >= 126 @ 0.476205
0.60/0.72 c bounds 264 >= 127 @ 0.476385
0.60/0.72 c bounds 264 >= 128 @ 0.476536
0.60/0.72 c bounds 264 >= 129 @ 0.476666
0.60/0.72 c bounds 264 >= 130 @ 0.476797
0.60/0.72 c bounds 264 >= 131 @ 0.476941
0.60/0.72 c bounds 264 >= 132 @ 0.477069
0.60/0.72 c bounds 264 >= 133 @ 0.477202
0.60/0.72 c bounds 264 >= 134 @ 0.477332
0.60/0.72 c bounds 264 >= 135 @ 0.477465
0.60/0.72 c bounds 264 >= 136 @ 0.477603
0.60/0.72 c bounds 264 >= 137 @ 0.477728
0.60/0.72 c bounds 264 >= 138 @ 0.477927
0.60/0.72 c bounds 264 >= 139 @ 0.478074
0.60/0.72 c bounds 264 >= 140 @ 0.478201
0.60/0.72 c bounds 264 >= 141 @ 0.478333
0.60/0.72 c bounds 264 >= 142 @ 0.47846
0.60/0.72 c bounds 264 >= 143 @ 0.478511
0.60/0.72 c bounds 264 >= 144 @ 0.478511
0.60/0.72 c bounds 264 >= 145 @ 0.478511
0.60/0.72 c bounds 264 >= 146 @ 0.478511
0.60/0.72 c bounds 264 >= 147 @ 0.478511
0.60/0.72 c bounds 264 >= 148 @ 0.478511
0.60/0.72 c bounds 264 >= 149 @ 0.478511
0.60/0.72 c bounds 264 >= 150 @ 0.478511
0.60/0.72 c bounds 264 >= 151 @ 0.478631
0.60/0.72 c bounds 264 >= 152 @ 0.478753
0.60/0.72 c bounds 264 >= 153 @ 0.478879
0.60/0.72 c bounds 264 >= 154 @ 0.479003
0.60/0.72 c bounds 264 >= 155 @ 0.479137
0.60/0.72 c bounds 264 >= 156 @ 0.479267
0.60/0.72 c bounds 264 >= 157 @ 0.479407
0.60/0.72 c bounds 264 >= 158 @ 0.479539
0.60/0.72 c bounds 264 >= 159 @ 0.479667
0.60/0.72 c bounds 264 >= 160 @ 0.479799
0.60/0.72 c bounds 264 >= 161 @ 0.479926
0.60/0.72 c bounds 264 >= 162 @ 0.480069
0.60/0.72 c bounds 264 >= 163 @ 0.480201
0.60/0.72 c bounds 264 >= 164 @ 0.480333
0.60/0.72 c bounds 264 >= 165 @ 0.480465
0.60/0.72 c bounds 264 >= 166 @ 0.480593
0.60/0.72 c bounds 264 >= 167 @ 0.480719
0.60/0.72 c bounds 264 >= 168 @ 0.480863
0.60/0.72 c bounds 264 >= 169 @ 0.480989
0.60/0.72 c bounds 264 >= 170 @ 0.481116
0.60/0.72 c bounds 264 >= 171 @ 0.48126
0.60/0.72 c bounds 264 >= 172 @ 0.481385
0.60/0.72 c bounds 264 >= 173 @ 0.481513
0.60/0.72 c bounds 264 >= 174 @ 0.481635
0.60/0.72 c bounds 264 >= 175 @ 0.481765
0.60/0.72 c bounds 264 >= 176 @ 0.481891
0.60/0.72 c bounds 264 >= 177 @ 0.482017
0.60/0.72 c bounds 264 >= 178 @ 0.482141
0.60/0.72 c bounds 264 >= 179 @ 0.482276
0.60/0.72 c bounds 264 >= 180 @ 0.4824
0.60/0.72 c bounds 264 >= 181 @ 0.482533
0.60/0.72 c bounds 264 >= 182 @ 0.482661
0.60/0.72 c bounds 264 >= 183 @ 0.48279
0.60/0.72 c bounds 264 >= 184 @ 0.482922
0.60/0.72 c bounds 264 >= 185 @ 0.483067
0.60/0.72 c bounds 264 >= 186 @ 0.483202
0.60/0.72 c bounds 264 >= 187 @ 0.483338
0.60/0.72 c bounds 264 >= 188 @ 0.483477
0.60/0.72 c bounds 264 >= 189 @ 0.483605
0.60/0.72 c bounds 264 >= 190 @ 0.483737
0.60/0.72 c bounds 264 >= 191 @ 0.483859
0.60/0.72 c bounds 264 >= 192 @ 0.483988
0.60/0.72 c bounds 264 >= 193 @ 0.48411
0.60/0.72 c bounds 264 >= 194 @ 0.484243
0.60/0.72 c bounds 264 >= 195 @ 0.484365
0.60/0.72 c bounds 264 >= 196 @ 0.484492
0.60/0.72 c bounds 264 >= 197 @ 0.484628
0.60/0.72 c bounds 264 >= 198 @ 0.484753
0.60/0.72 c bounds 264 >= 199 @ 0.484881
0.60/0.72 c bounds 264 >= 200 @ 0.485006
0.60/0.72 c bounds 264 >= 201 @ 0.485129
0.60/0.72 c bounds 264 >= 202 @ 0.485263
0.60/0.73 c bounds 264 >= 203 @ 0.485386
0.60/0.73 c bounds 264 >= 204 @ 0.485515
0.60/0.73 c bounds 264 >= 205 @ 0.485643
0.60/0.73 c bounds 264 >= 206 @ 0.485768
0.60/0.73 c bounds 264 >= 207 @ 0.485896
0.60/0.73 c bounds 264 >= 208 @ 0.486032
0.60/0.73 c bounds 264 >= 209 @ 0.486163
0.60/0.73 c bounds 264 >= 210 @ 0.486295
0.60/0.73 c bounds 264 >= 211 @ 0.486436
0.60/0.73 c bounds 264 >= 212 @ 0.486561
0.60/0.73 c bounds 264 >= 213 @ 0.48669
0.60/0.73 c bounds 264 >= 214 @ 0.486815
0.60/0.73 c bounds 264 >= 215 @ 0.486941
0.60/0.73 c bounds 264 >= 216 @ 0.487069
0.60/0.73 c bounds 264 >= 217 @ 0.487198
0.60/0.73 c bounds 264 >= 218 @ 0.487319
0.60/0.73 c bounds 264 >= 219 @ 0.487443
0.60/0.73 c bounds 264 >= 220 @ 0.487572
0.60/0.73 c bounds 264 >= 221 @ 0.487692
0.60/0.73 c bounds 264 >= 222 @ 0.487815
0.60/0.73 c bounds 264 >= 223 @ 0.487935
0.60/0.73 c bounds 264 >= 224 @ 0.488057
0.60/0.73 c bounds 264 >= 225 @ 0.488184
0.60/0.73 c bounds 264 >= 226 @ 0.488307
0.60/0.73 c bounds 264 >= 227 @ 0.488435
0.60/0.73 c bounds 264 >= 228 @ 0.488475
0.60/0.73 c bounds 264 >= 229 @ 0.488475
0.60/0.73 c bounds 264 >= 230 @ 0.488475
0.60/0.73 c bounds 264 >= 231 @ 0.488475
0.60/0.73 c bounds 264 >= 232 @ 0.488475
0.60/0.73 c bounds 264 >= 233 @ 0.488475
0.60/0.73 c bounds 264 >= 234 @ 0.488475
0.60/0.73 c bounds 264 >= 235 @ 0.488506
0.60/0.73 c bounds 264 >= 236 @ 0.488506
0.60/0.73 c bounds 264 >= 237 @ 0.488506
0.60/0.73 c bounds 264 >= 238 @ 0.488506
0.60/0.73 c bounds 264 >= 239 @ 0.488506
0.60/0.73 c bounds 264 >= 240 @ 0.488506
0.60/0.73 c bounds 264 >= 241 @ 0.488506
0.60/0.73 c bounds 264 >= 242 @ 0.488506
0.60/0.73 c bounds 264 >= 243 @ 0.488537
0.60/0.73 c bounds 264 >= 244 @ 0.488655
0.60/0.73 c bounds 264 >= 245 @ 0.48878
0.60/0.73 c bounds 264 >= 246 @ 0.488896
0.60/0.73 c bounds 264 >= 247 @ 0.489016
0.60/0.73 c bounds 264 >= 248 @ 0.489131
0.60/0.73 c bounds 264 >= 249 @ 0.489252
0.60/0.73 c bounds 264 >= 250 @ 0.489371
0.60/0.73 c bounds 264 >= 251 @ 0.48948
0.60/0.73 c bounds 264 >= 252 @ 0.489609
0.60/0.73 c bounds 264 >= 253 @ 0.489768
0.60/0.73 c bounds 264 >= 254 @ 0.49115
1.29/1.41 c #Conflicts: 1000 | #Constraints: 16869
1.29/1.41 c #Conflicts: 2000 | #Constraints: 17875
1.29/1.41 c INPROCESSING
1.29/1.41 c GARBAGE COLLECT
1.29/1.41 c bounds 264 >= 255 @ 1.13417
1.29/1.42 c bounds 264 >= 256 @ 1.1391
1.29/1.42 c bounds 264 >= 257 @ 1.14578
1.29/1.44 c bounds 264 >= 258 @ 1.16516
1.68/1.83 c bounds 264 >= 259 @ 1.53296
1.78/1.96 c #Conflicts: 3000 | #Constraints: 17690
1.78/1.96 c bounds 264 >= 260 @ 1.66774
2.17/2.38 c #Conflicts: 4000 | #Constraints: 18705
2.17/2.38 c INPROCESSING
2.17/2.38 c GARBAGE COLLECT
2.17/2.38 WSVECS04 Frhs2[2]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[19]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[23]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[43]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[45]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[65]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[67]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[72]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[87]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[89]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[94]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[107]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[111]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[113]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[116]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[118]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[120]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[129]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[131]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[133]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[135]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[137]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[140]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[142]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[153]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[155]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[157]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[159]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[166]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[181]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[183]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[186]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[203]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[205]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[207]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[208]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[210]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[212]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[227]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[229]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[234]: 6 -1.0001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[238]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[242]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[249]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[251]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[253]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[256]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[258]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[260]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[273]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[278]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[280]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[295]: 6 -1.00005 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[300]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[302]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[304]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[324]: 6 -1.00006 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[440]: 6 -1.00003 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[457]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[462]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[464]: 6 -1.00002 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[479]: 6 -1.00004 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[481]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[484]: 6 -1.00001 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[488]: 6 -1.00007 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[503]: 6 -1.00008 0 shouldn't be
2.17/2.38 WSVECS04 Frhs2[505]: 6 -1.00004 0 shouldn't be
2.78/2.99 c #Conflicts: 5000 | #Constraints: 18097
2.78/2.99 c #Conflicts: 6000 | #Constraints: 19097
2.78/2.99 c bounds 264 >= 261 @ 2.66504
4.25/4.48 c INPROCESSING
4.25/4.48 c GARBAGE COLLECT
4.25/4.48 c #Conflicts: 7000 | #Constraints: 18114
4.25/4.48 c #Conflicts: 8000 | #Constraints: 19115
4.25/4.48 c #Conflicts: 9000 | #Constraints: 20127
4.25/4.48 c INPROCESSING
4.25/4.48 c GARBAGE COLLECT
4.25/4.48 c #Conflicts: 10000 | #Constraints: 18822
4.25/4.48 c #Conflicts: 11000 | #Constraints: 19822
4.25/4.48 c #Conflicts: 12000 | #Constraints: 20822
4.25/4.48 c INPROCESSING
4.25/4.48 c GARBAGE COLLECT
4.25/4.48 c rational objective 261
5.24/5.41 c #Conflicts: 13000 | #Constraints: 19266
5.24/5.41 c #Conflicts: 14000 | #Constraints: 20267
5.24/5.41 c #Conflicts: 15000 | #Constraints: 21267
5.24/5.41 c INPROCESSING
5.24/5.41 c GARBAGE COLLECT
5.24/5.41 c rational objective 261
6.63/6.84 c #Conflicts: 16000 | #Constraints: 19500
6.63/6.84 c #Conflicts: 17000 | #Constraints: 20500
6.63/6.84 c #Conflicts: 18000 | #Constraints: 21500
6.63/6.84 c INPROCESSING
6.63/6.84 c GARBAGE COLLECT
6.63/6.84 c rational objective 261
7.73/7.98 c #Conflicts: 19000 | #Constraints: 19514
7.73/7.98 c #Conflicts: 20000 | #Constraints: 20514
7.73/7.98 c #Conflicts: 21000 | #Constraints: 21515
7.73/7.98 c INPROCESSING
7.73/7.98 c GARBAGE COLLECT
7.73/7.98 c rational objective 261
8.81/9.01 c #Conflicts: 22000 | #Constraints: 19321
8.81/9.01 c #Conflicts: 23000 | #Constraints: 20321
8.81/9.01 c bounds 264 >= 262 @ 8.48566
9.11/9.36 c #Conflicts: 24000 | #Constraints: 21345
9.11/9.36 c #Conflicts: 25000 | #Constraints: 22345
9.11/9.36 c INPROCESSING
9.11/9.36 c GARBAGE COLLECT
9.11/9.36 c rational objective 262
10.50/10.77 c #Conflicts: 26000 | #Constraints: 19929
10.50/10.77 c #Conflicts: 27000 | #Constraints: 20929
10.50/10.77 c #Conflicts: 28000 | #Constraints: 21930
10.50/10.77 c #Conflicts: 29000 | #Constraints: 22931
10.50/10.77 c INPROCESSING
10.50/10.77 c GARBAGE COLLECT
10.50/10.77 c rational objective 262
11.68/11.90 c #Conflicts: 30000 | #Constraints: 20349
11.68/11.90 c #Conflicts: 31000 | #Constraints: 21350
11.68/11.90 c #Conflicts: 32000 | #Constraints: 22355
11.68/11.90 c #Conflicts: 33000 | #Constraints: 23359
11.68/11.90 c INPROCESSING
11.68/11.90 c GARBAGE COLLECT
11.68/11.90 c rational objective 262
13.07/13.35 c #Conflicts: 34000 | #Constraints: 20561
13.07/13.35 c #Conflicts: 35000 | #Constraints: 21562
13.07/13.35 c #Conflicts: 36000 | #Constraints: 22566
13.07/13.35 c #Conflicts: 37000 | #Constraints: 23571
13.07/13.35 c INPROCESSING
13.07/13.35 c GARBAGE COLLECT
13.07/13.35 c rational objective 262
15.25/15.50 c #Conflicts: 38000 | #Constraints: 20546
15.25/15.50 c #Conflicts: 39000 | #Constraints: 21546
15.25/15.50 c #Conflicts: 40000 | #Constraints: 22546
15.25/15.50 c #Conflicts: 41000 | #Constraints: 23546
15.25/15.50 c INPROCESSING
15.25/15.50 c GARBAGE COLLECT
15.25/15.50 c rational objective 262
16.93/17.27 c #Conflicts: 42000 | #Constraints: 20364
16.93/17.27 c #Conflicts: 43000 | #Constraints: 21364
16.93/17.27 c #Conflicts: 44000 | #Constraints: 22365
16.93/17.27 c #Conflicts: 45000 | #Constraints: 23366
16.93/17.27 c #Conflicts: 46000 | #Constraints: 24367
16.93/17.27 c INPROCESSING
16.93/17.27 c GARBAGE COLLECT
16.93/17.27 c rational objective 262
19.10/19.41 c #Conflicts: 47000 | #Constraints: 20951
19.10/19.41 c #Conflicts: 48000 | #Constraints: 21951
19.10/19.41 c #Conflicts: 49000 | #Constraints: 22952
19.10/19.41 c #Conflicts: 50000 | #Constraints: 23953
19.10/19.41 c #Conflicts: 51000 | #Constraints: 24953
19.10/19.41 c INPROCESSING
19.10/19.41 c GARBAGE COLLECT
19.10/19.41 c rational objective 262
20.59/20.96 c #Conflicts: 52000 | #Constraints: 21361
20.59/20.96 c #Conflicts: 53000 | #Constraints: 22362
20.59/20.96 c #Conflicts: 54000 | #Constraints: 23362
20.59/20.96 c #Conflicts: 55000 | #Constraints: 24370
20.59/20.96 c #Conflicts: 56000 | #Constraints: 25375
20.59/20.96 c INPROCESSING
20.59/20.96 c GARBAGE COLLECT
20.59/20.96 c rational objective 262
22.67/23.09 c #Conflicts: 57000 | #Constraints: 21560
22.67/23.09 c #Conflicts: 58000 | #Constraints: 22560
22.67/23.09 c #Conflicts: 59000 | #Constraints: 23560
22.67/23.09 c #Conflicts: 60000 | #Constraints: 24560
22.67/23.09 c #Conflicts: 61000 | #Constraints: 25560
22.67/23.09 c INPROCESSING
22.67/23.09 c GARBAGE COLLECT
22.67/23.09 c rational objective 262
24.85/25.22 c #Conflicts: 62000 | #Constraints: 21575
24.85/25.22 c #Conflicts: 63000 | #Constraints: 22575
24.85/25.22 c #Conflicts: 64000 | #Constraints: 23576
24.85/25.22 c #Conflicts: 65000 | #Constraints: 24576
24.85/25.22 c #Conflicts: 66000 | #Constraints: 25577
24.85/25.22 c INPROCESSING
24.85/25.22 c GARBAGE COLLECT
24.85/25.22 c rational objective 262
27.12/27.54 c #Conflicts: 67000 | #Constraints: 21359
27.12/27.54 c #Conflicts: 68000 | #Constraints: 22359
27.12/27.54 c #Conflicts: 69000 | #Constraints: 23359
27.12/27.54 c #Conflicts: 70000 | #Constraints: 24359
27.12/27.54 c #Conflicts: 71000 | #Constraints: 25359
27.12/27.54 c #Conflicts: 72000 | #Constraints: 26359
27.12/27.54 c INPROCESSING
27.12/27.54 c GARBAGE COLLECT
27.12/27.54 c rational objective 262
29.01/29.49 c #Conflicts: 73000 | #Constraints: 21968
29.01/29.49 c #Conflicts: 74000 | #Constraints: 22971
29.01/29.49 c #Conflicts: 75000 | #Constraints: 23974
29.01/29.49 c #Conflicts: 76000 | #Constraints: 24980
29.01/29.49 c #Conflicts: 77000 | #Constraints: 25983
29.01/29.49 c #Conflicts: 78000 | #Constraints: 26987
29.01/29.49 c INPROCESSING
29.01/29.49 c GARBAGE COLLECT
29.01/29.49 c rational objective 262
31.38/31.81 c #Conflicts: 79000 | #Constraints: 22375
31.38/31.81 c #Conflicts: 80000 | #Constraints: 23376
31.38/31.81 c #Conflicts: 81000 | #Constraints: 24376
31.38/31.81 c #Conflicts: 82000 | #Constraints: 25376
31.38/31.81 c #Conflicts: 83000 | #Constraints: 26376
31.38/31.81 c bounds 264 >= 263 @ 30.6527
31.87/32.30 c #Conflicts: 84000 | #Constraints: 27401
31.87/32.30 c INPROCESSING
31.87/32.30 c GARBAGE COLLECT
31.87/32.30 WSVECS04 Frhs2[2]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[4]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[6]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[8]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[10]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[17]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[19]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[21]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[23]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[24]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[26]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[28]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[30]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[32]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[34]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[36]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[39]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[41]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[43]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[45]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[48]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[50]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[52]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[54]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[56]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[58]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[60]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[61]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[63]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[65]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[67]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[69]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[70]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[72]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[74]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[76]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[78]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[80]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[82]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[83]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[85]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[87]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[89]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[91]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[94]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[96]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[98]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[100]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[102]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[104]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[106]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[107]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[109]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[111]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[113]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[115]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[116]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[118]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[120]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[122]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[124]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[126]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[128]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[130]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[133]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[135]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[137]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[140]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[142]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[144]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[146]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[148]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[150]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[152]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[157]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[159]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[161]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[162]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[164]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[166]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[168]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[170]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[172]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[174]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[176]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[178]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[179]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[181]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[183]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[186]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[188]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[190]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[192]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[194]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[196]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[198]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[200]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[202]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[205]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[207]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[208]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[210]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[212]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[214]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[216]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[218]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[220]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[222]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[224]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[225]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[227]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[229]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[232]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[234]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[236]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[238]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[240]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[242]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[246]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[249]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[251]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[253]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[254]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[256]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[258]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[260]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[262]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[264]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[266]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[268]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[271]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[273]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[275]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[278]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[280]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[282]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[284]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[286]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[288]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[290]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[295]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[297]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[299]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[300]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[302]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[304]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[306]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[308]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[310]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[317]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[319]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[321]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[324]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[326]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[328]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[330]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[339]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[341]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[343]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[345]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[346]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[348]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[350]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[363]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[365]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[367]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[370]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[372]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[374]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[387]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[389]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[391]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[392]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[394]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[396]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[398]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[409]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[411]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[413]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[416]: 6 -1.00008 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[418]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[420]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[422]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[433]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[435]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[437]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[438]: 6 -1.00001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[440]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[442]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[444]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[446]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[455]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[457]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[459]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[462]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[464]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[466]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[468]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[470]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[479]: 6 -1.00006 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[481]: 6 -1.00002 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[483]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[484]: 6 -1.00004 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[486]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[488]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[490]: 6 -1.00009 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[492]: 6 -1.0001 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[494]: 6 -1.00003 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[501]: 6 -1.00007 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[503]: 6 -1.00005 0 shouldn't be
31.87/32.30 WSVECS04 Frhs2[505]: 6 -1.00005 0 shouldn't be
31.98/32.40 c rational objective 263
35.35/35.85 c #Conflicts: 85000 | #Constraints: 22579
35.35/35.85 c #Conflicts: 86000 | #Constraints: 23580
35.35/35.85 c #Conflicts: 87000 | #Constraints: 24580
35.35/35.85 c #Conflicts: 88000 | #Constraints: 25581
35.35/35.85 c #Conflicts: 89000 | #Constraints: 26581
35.35/35.85 c #Conflicts: 90000 | #Constraints: 27582
35.35/35.85 c INPROCESSING
35.35/35.85 c GARBAGE COLLECT
35.35/35.85 c rational objective 263
37.74/38.21 c #Conflicts: 91000 | #Constraints: 22602
37.74/38.21 c #Conflicts: 92000 | #Constraints: 23602
37.74/38.21 c #Conflicts: 93000 | #Constraints: 24602
37.74/38.21 c #Conflicts: 94000 | #Constraints: 25602
37.74/38.21 c #Conflicts: 95000 | #Constraints: 26602
37.74/38.21 c #Conflicts: 96000 | #Constraints: 27602
37.74/38.21 c INPROCESSING
37.74/38.21 c GARBAGE COLLECT
37.74/38.21 c rational objective 263
40.33/40.85 c #Conflicts: 97000 | #Constraints: 22418
40.33/40.85 c #Conflicts: 98000 | #Constraints: 23418
40.33/40.85 c #Conflicts: 99000 | #Constraints: 24419
40.33/40.85 c #Conflicts: 100000 | #Constraints: 25419
40.33/40.85 c #Conflicts: 101000 | #Constraints: 26419
40.33/40.85 c #Conflicts: 102000 | #Constraints: 27419
40.33/40.85 c #Conflicts: 103000 | #Constraints: 28419
40.33/40.85 c INPROCESSING
40.33/40.85 c GARBAGE COLLECT
40.33/40.85 c rational objective 263
43.13/43.63 c #Conflicts: 104000 | #Constraints: 23002
43.13/43.63 c #Conflicts: 105000 | #Constraints: 24003
43.13/43.63 c #Conflicts: 106000 | #Constraints: 25003
43.13/43.63 c #Conflicts: 107000 | #Constraints: 26003
43.13/43.63 c #Conflicts: 108000 | #Constraints: 27003
43.13/43.63 c #Conflicts: 109000 | #Constraints: 28003
43.13/43.63 c #Conflicts: 110000 | #Constraints: 29003
43.13/43.63 c INPROCESSING
43.13/43.63 c GARBAGE COLLECT
43.13/43.63 c rational objective 263
45.72/46.25 c #Conflicts: 111000 | #Constraints: 23425
45.72/46.25 c #Conflicts: 112000 | #Constraints: 24425
45.72/46.25 c #Conflicts: 113000 | #Constraints: 25426
45.72/46.25 c #Conflicts: 114000 | #Constraints: 26426
45.72/46.25 c #Conflicts: 115000 | #Constraints: 27427
45.72/46.25 c #Conflicts: 116000 | #Constraints: 28427
45.72/46.25 c #Conflicts: 117000 | #Constraints: 29427
45.72/46.25 c INPROCESSING
45.72/46.25 c GARBAGE COLLECT
45.72/46.25 c rational objective 263
49.02/49.53 c #Conflicts: 118000 | #Constraints: 23607
49.02/49.53 c #Conflicts: 119000 | #Constraints: 24607
49.02/49.53 c #Conflicts: 120000 | #Constraints: 25607
49.02/49.53 c #Conflicts: 121000 | #Constraints: 26607
49.02/49.53 c #Conflicts: 122000 | #Constraints: 27607
49.02/49.53 c #Conflicts: 123000 | #Constraints: 28607
49.02/49.53 c #Conflicts: 124000 | #Constraints: 29608
49.02/49.53 c INPROCESSING
49.02/49.53 c GARBAGE COLLECT
49.02/49.53 c rational objective 263
51.40/51.95 c #Conflicts: 125000 | #Constraints: 23640
51.40/51.95 c #Conflicts: 126000 | #Constraints: 24640
51.40/51.95 c #Conflicts: 127000 | #Constraints: 25640
51.40/51.95 c #Conflicts: 128000 | #Constraints: 26640
51.40/51.95 c #Conflicts: 129000 | #Constraints: 27640
51.40/51.95 c #Conflicts: 130000 | #Constraints: 28641
51.40/51.95 c #Conflicts: 131000 | #Constraints: 29642
51.40/51.95 c INPROCESSING
51.40/51.95 c GARBAGE COLLECT
51.40/51.95 c rational objective 263
54.51/55.10 c #Conflicts: 132000 | #Constraints: 23416
54.51/55.10 c #Conflicts: 133000 | #Constraints: 24416
54.51/55.10 c #Conflicts: 134000 | #Constraints: 25416
54.51/55.10 c #Conflicts: 135000 | #Constraints: 26417
54.51/55.10 c #Conflicts: 136000 | #Constraints: 27417
54.51/55.10 c #Conflicts: 137000 | #Constraints: 28417
54.51/55.10 c #Conflicts: 138000 | #Constraints: 29417
54.51/55.10 c #Conflicts: 139000 | #Constraints: 30417
54.51/55.10 c INPROCESSING
54.51/55.10 c GARBAGE COLLECT
54.51/55.10 c rational objective 263
55.30/55.82 c #Conflicts: 140000 | #Constraints: 24027
55.30/55.82 WSVECS04 Frhs2[4]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[6]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[8]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[24]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[26]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[28]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[30]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[32]: 6 -1.0001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[48]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[50]: 6 -1.00001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[52]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[54]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[61]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[74]: 6 -1.0001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[76]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[78]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[84]: 6 -1.0001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[98]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[100]: 6 -1.00001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[102]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[120]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[122]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[124]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[126]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[144]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[146]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[148]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[166]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[168]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[170]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[180]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[190]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[192]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[194]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[202]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[204]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[212]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[214]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[216]: 6 -1.0001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[218]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[220]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[222]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[224]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[226]: 6 -1.00004 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[228]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[236]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[238]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[240]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[246]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[248]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[250]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[258]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[260]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[262]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[264]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[266]: 6 -1.00004 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[268]: 6 -1.00001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[270]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[272]: 6 -1.00004 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[274]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[280]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[282]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[284]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[286]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[288]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[290]: 6 -1.00001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[292]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[294]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[296]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[298]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[304]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[306]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[308]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[310]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[312]: 6 -1.00001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[314]: 6 -1.0001 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[316]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[318]: 6 -1.00009 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[320]: 6 -1.00004 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[322]: 6 -1.00003 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[328]: 6 -1.00008 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[330]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[332]: 6 -1.00002 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[334]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[336]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[338]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[340]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[342]: 6 -1.00005 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[344]: 6 -1.00007 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[415]: 6 -1.00006 0 shouldn't be
55.30/55.82 WSVECS04 Frhs2[490]: 6 -1.00005 0 shouldn't be
59.29/59.89 c #Conflicts: 141000 | #Constraints: 25028
59.29/59.89 c #Conflicts: 142000 | #Constraints: 26028
59.29/59.89 c #Conflicts: 143000 | #Constraints: 27028
59.29/59.89 c #Conflicts: 144000 | #Constraints: 28028
59.29/59.89 c #Conflicts: 145000 | #Constraints: 29028
59.29/59.89 c #Conflicts: 146000 | #Constraints: 30028
59.29/59.89 c #Conflicts: 147000 | #Constraints: 31028
59.29/59.89 c INPROCESSING
59.29/59.89 c GARBAGE COLLECT
59.29/59.89 c rational objective 263
62.68/63.25 c #Conflicts: 148000 | #Constraints: 24424
62.68/63.25 c #Conflicts: 149000 | #Constraints: 25425
62.68/63.25 c #Conflicts: 150000 | #Constraints: 26426
62.68/63.25 c #Conflicts: 151000 | #Constraints: 27426
62.68/63.25 c #Conflicts: 152000 | #Constraints: 28426
62.68/63.25 c #Conflicts: 153000 | #Constraints: 29426
62.68/63.25 c #Conflicts: 154000 | #Constraints: 30426
62.68/63.25 c #Conflicts: 155000 | #Constraints: 31426
62.68/63.25 c INPROCESSING
62.68/63.25 c GARBAGE COLLECT
62.68/63.25 c rational objective 263
66.06/66.67 c #Conflicts: 156000 | #Constraints: 24650
66.06/66.67 c #Conflicts: 157000 | #Constraints: 25654
66.06/66.67 c #Conflicts: 158000 | #Constraints: 26657
66.06/66.67 c #Conflicts: 159000 | #Constraints: 27662
66.06/66.67 c #Conflicts: 160000 | #Constraints: 28662
66.06/66.67 c #Conflicts: 161000 | #Constraints: 29665
66.06/66.67 c #Conflicts: 162000 | #Constraints: 30667
66.06/66.67 c #Conflicts: 163000 | #Constraints: 31672
66.06/66.67 c INPROCESSING
66.06/66.67 c GARBAGE COLLECT
66.06/66.67 c rational objective 263
69.57/70.17 c #Conflicts: 164000 | #Constraints: 24635
69.57/70.17 c #Conflicts: 165000 | #Constraints: 25635
69.57/70.17 c #Conflicts: 166000 | #Constraints: 26635
69.57/70.17 c #Conflicts: 167000 | #Constraints: 27635
69.57/70.17 c #Conflicts: 168000 | #Constraints: 28635
69.57/70.17 c #Conflicts: 169000 | #Constraints: 29635
69.57/70.17 c #Conflicts: 170000 | #Constraints: 30635
69.57/70.17 c #Conflicts: 171000 | #Constraints: 31635
69.57/70.17 c INPROCESSING
69.57/70.17 c GARBAGE COLLECT
69.57/70.17 c rational objective 263
73.34/73.94 c #Conflicts: 172000 | #Constraints: 24451
73.34/73.94 c #Conflicts: 173000 | #Constraints: 25452
73.34/73.94 c #Conflicts: 174000 | #Constraints: 26452
73.34/73.94 c #Conflicts: 175000 | #Constraints: 27452
73.34/73.94 c #Conflicts: 176000 | #Constraints: 28454
73.34/73.94 c #Conflicts: 177000 | #Constraints: 29454
73.34/73.94 c #Conflicts: 178000 | #Constraints: 30463
73.34/73.94 c #Conflicts: 179000 | #Constraints: 31466
73.34/73.94 c #Conflicts: 180000 | #Constraints: 32469
73.34/73.94 c INPROCESSING
73.34/73.94 c GARBAGE COLLECT
73.34/73.94 c rational objective 263
77.23/77.83 c #Conflicts: 181000 | #Constraints: 25034
77.23/77.83 c #Conflicts: 182000 | #Constraints: 26034
77.23/77.83 c #Conflicts: 183000 | #Constraints: 27035
77.23/77.83 c #Conflicts: 184000 | #Constraints: 28035
77.23/77.83 c #Conflicts: 185000 | #Constraints: 29035
77.23/77.83 c #Conflicts: 186000 | #Constraints: 30035
77.23/77.83 c #Conflicts: 187000 | #Constraints: 31035
77.23/77.83 c #Conflicts: 188000 | #Constraints: 32035
77.23/77.83 c #Conflicts: 189000 | #Constraints: 33035
77.23/77.83 c INPROCESSING
77.23/77.83 c GARBAGE COLLECT
77.23/77.83 c rational objective 263
81.92/82.59 c #Conflicts: 190000 | #Constraints: 25441
81.92/82.59 c #Conflicts: 191000 | #Constraints: 26441
81.92/82.59 c #Conflicts: 192000 | #Constraints: 27441
81.92/82.59 c #Conflicts: 193000 | #Constraints: 28441
81.92/82.59 c #Conflicts: 194000 | #Constraints: 29442
81.92/82.59 c #Conflicts: 195000 | #Constraints: 30442
81.92/82.59 c #Conflicts: 196000 | #Constraints: 31442
81.92/82.59 c #Conflicts: 197000 | #Constraints: 32442
81.92/82.59 c #Conflicts: 198000 | #Constraints: 33442
81.92/82.59 c INPROCESSING
81.92/82.59 c GARBAGE COLLECT
81.92/82.59 c rational objective 263
83.82/84.43 c #Conflicts: 199000 | #Constraints: 25640
83.82/84.43 c #Conflicts: 200000 | #Constraints: 26640
83.82/84.43 c #Conflicts: 201000 | #Constraints: 27640
83.82/84.43 WSVECS04 Frhs2[1]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[8]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[10]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[25]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[32]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[46]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[47]: 6 -1.00008 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[71]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[90]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[92]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[93]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[117]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[120]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[128]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[138]: 6 -1.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[139]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[141]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[150]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[152]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[163]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[174]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[184]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[185]: 6 -1.00005 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[196]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[198]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[206]: 6 -1.00005 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[209]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[211]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[220]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[222]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[226]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[228]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[230]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[231]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[233]: 6 -1.00008 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[235]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[242]: 6 -1.00008 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[250]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[252]: 6 -1.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[255]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[274]: 6 -2.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[276]: 6 -2.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[288]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[292]: 6 -1.00005 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[294]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[301]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[307]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[310]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[312]: 6 -1.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[314]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[316]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[318]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[320]: 6 -1.00008 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[322]: 6 -1.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[323]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[325]: 6 -1.00001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[332]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[336]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[338]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[340]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[347]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[356]: 6 -1.00005 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[358]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[368]: 6 -1.00007 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[369]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[393]: 6 -1.00002 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[396]: 6 -1.0001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[414]: 6 -1.00005 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[415]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[439]: 6 -1.00009 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[460]: 6 -1.00003 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[461]: 6 -1.00004 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[485]: 6 -1.00001 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[492]: 6 -1.00006 0 shouldn't be
83.82/84.43 WSVECS04 Frhs2[506]: 6 -1.00007 0 shouldn't be
86.01/86.68 c #Conflicts: 202000 | #Constraints: 28640
86.01/86.68 c #Conflicts: 203000 | #Constraints: 29640
86.01/86.68 c #Conflicts: 204000 | #Constraints: 30640
86.01/86.68 c #Conflicts: 205000 | #Constraints: 31640
86.01/86.68 c #Conflicts: 206000 | #Constraints: 32640
86.01/86.68 c #Conflicts: 207000 | #Constraints: 33640
86.01/86.68 c INPROCESSING
86.01/86.68 c GARBAGE COLLECT
86.01/86.68 c rational objective 263
89.41/90.07 c #Conflicts: 208000 | #Constraints: 25658
89.41/90.07 c #Conflicts: 209000 | #Constraints: 26659
89.41/90.07 c #Conflicts: 210000 | #Constraints: 27659
89.41/90.07 c #Conflicts: 211000 | #Constraints: 28659
89.41/90.07 c #Conflicts: 212000 | #Constraints: 29659
89.41/90.07 c #Conflicts: 213000 | #Constraints: 30659
89.41/90.07 c #Conflicts: 214000 | #Constraints: 31659
89.41/90.07 WSVECS04 Frhs2[9]: 6 -1.00004 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[13]: 6 -1.00005 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[15]: 6 -1.00005 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[21]: 6 -1.00007 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[33]: 6 -1.00006 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[41]: 6 -1.00004 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[62]: 6 0 1.00009 shouldn't be
89.41/90.07 WSVECS04 Frhs2[67]: 6 -1.00002 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[70]: 6 -1.00003 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[77]: 6 -1.00007 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[80]: 6 0 1.00003 shouldn't be
89.41/90.07 WSVECS04 Frhs2[90]: 6 0 1.00001 shouldn't be
89.41/90.07 WSVECS04 Frhs2[93]: 6 0 1.00002 shouldn't be
89.41/90.07 WSVECS04 Frhs2[101]: 6 -1.00006 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[116]: 6 -1.00002 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[135]: 6 -1.00005 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[151]: 6 -1.00004 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[175]: 6 -1.0001 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[273]: 6 -1.00003 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[462]: 6 -1.00009 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[471]: 6 -1.00007 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[473]: 6 -1.00003 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[475]: 6 -1.00009 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[477]: 6 -1.00003 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[485]: 6 -1.0001 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[493]: 6 -1.00009 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[495]: 6 -1.00008 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[503]: 6 -0.133411 0 shouldn't be
89.41/90.07 WSVECS04 Frhs2[602]: 6 -1.00003 0 shouldn't be
90.30/90.96 c #Conflicts: 215000 | #Constraints: 32659
90.30/90.96 c #Conflicts: 216000 | #Constraints: 33659
90.30/90.96 c INPROCESSING
90.30/90.96 c GARBAGE COLLECT
90.30/90.96 c rational objective 263
94.99/95.61 c #Conflicts: 217000 | #Constraints: 25478
94.99/95.61 c #Conflicts: 218000 | #Constraints: 26478
94.99/95.61 c #Conflicts: 219000 | #Constraints: 27478
94.99/95.61 c #Conflicts: 220000 | #Constraints: 28479
94.99/95.61 c #Conflicts: 221000 | #Constraints: 29481
94.99/95.61 c #Conflicts: 222000 | #Constraints: 30482
94.99/95.61 c #Conflicts: 223000 | #Constraints: 31482
94.99/95.61 c #Conflicts: 224000 | #Constraints: 32483
94.99/95.61 c #Conflicts: 225000 | #Constraints: 33483
94.99/95.61 c #Conflicts: 226000 | #Constraints: 34484
94.99/95.61 c INPROCESSING
94.99/95.61 c GARBAGE COLLECT
94.99/95.61 c rational objective 263
99.39/100.04 c #Conflicts: 227000 | #Constraints: 26075
99.39/100.04 c #Conflicts: 228000 | #Constraints: 27076
99.39/100.04 c #Conflicts: 229000 | #Constraints: 28076
99.39/100.04 c #Conflicts: 230000 | #Constraints: 29077
99.39/100.04 c #Conflicts: 231000 | #Constraints: 30077
99.39/100.04 c #Conflicts: 232000 | #Constraints: 31078
99.39/100.04 c #Conflicts: 233000 | #Constraints: 32078
99.39/100.04 c #Conflicts: 234000 | #Constraints: 33078
99.39/100.04 c #Conflicts: 235000 | #Constraints: 34078
99.39/100.04 c #Conflicts: 236000 | #Constraints: 35078
99.39/100.04 c INPROCESSING
99.39/100.04 c GARBAGE COLLECT
99.39/100.04 c rational objective 263
103.86/104.56 c #Conflicts: 237000 | #Constraints: 26436
103.86/104.56 c #Conflicts: 238000 | #Constraints: 27437
103.86/104.56 c #Conflicts: 239000 | #Constraints: 28438
103.86/104.56 c #Conflicts: 240000 | #Constraints: 29438
103.86/104.56 c #Conflicts: 241000 | #Constraints: 30438
103.86/104.56 c #Conflicts: 242000 | #Constraints: 31438
103.86/104.56 c #Conflicts: 243000 | #Constraints: 32439
103.86/104.56 c #Conflicts: 244000 | #Constraints: 33439
103.86/104.56 c #Conflicts: 245000 | #Constraints: 34439
103.86/104.56 c #Conflicts: 246000 | #Constraints: 35439
103.86/104.56 c INPROCESSING
103.86/104.56 c GARBAGE COLLECT
103.86/104.56 c rational objective 263
108.05/108.78 c #Conflicts: 247000 | #Constraints: 26671
108.05/108.78 c #Conflicts: 248000 | #Constraints: 27671
108.05/108.78 c #Conflicts: 249000 | #Constraints: 28671
108.05/108.78 c #Conflicts: 250000 | #Constraints: 29671
108.05/108.78 c #Conflicts: 251000 | #Constraints: 30671
108.05/108.78 c #Conflicts: 252000 | #Constraints: 31672
108.05/108.78 c #Conflicts: 253000 | #Constraints: 32675
108.05/108.78 c #Conflicts: 254000 | #Constraints: 33675
108.05/108.78 c #Conflicts: 255000 | #Constraints: 34675
108.05/108.78 c #Conflicts: 256000 | #Constraints: 35675
108.05/108.78 c INPROCESSING
108.05/108.78 c GARBAGE COLLECT
108.05/108.78 c rational objective 263
112.94/113.60 c #Conflicts: 257000 | #Constraints: 26641
112.94/113.60 c #Conflicts: 258000 | #Constraints: 27642
112.94/113.60 c #Conflicts: 259000 | #Constraints: 28642
112.94/113.60 c #Conflicts: 260000 | #Constraints: 29642
112.94/113.60 c #Conflicts: 261000 | #Constraints: 30642
112.94/113.60 c #Conflicts: 262000 | #Constraints: 31642
112.94/113.60 c #Conflicts: 263000 | #Constraints: 32643
112.94/113.60 c #Conflicts: 264000 | #Constraints: 33643
112.94/113.60 c #Conflicts: 265000 | #Constraints: 34643
112.94/113.60 c #Conflicts: 266000 | #Constraints: 35643
112.94/113.60 c INPROCESSING
112.94/113.60 c GARBAGE COLLECT
112.94/113.60 c rational objective 263
118.92/119.67 c #Conflicts: 267000 | #Constraints: 26446
118.92/119.67 c #Conflicts: 268000 | #Constraints: 27453
118.92/119.67 c #Conflicts: 269000 | #Constraints: 28458
118.92/119.67 c #Conflicts: 270000 | #Constraints: 29461
118.92/119.67 c #Conflicts: 271000 | #Constraints: 30462
118.92/119.67 c #Conflicts: 272000 | #Constraints: 31462
118.92/119.67 c #Conflicts: 273000 | #Constraints: 32463
118.92/119.67 c #Conflicts: 274000 | #Constraints: 33463
118.92/119.67 c #Conflicts: 275000 | #Constraints: 34464
118.92/119.67 c #Conflicts: 276000 | #Constraints: 35464
118.92/119.67 c #Conflicts: 277000 | #Constraints: 36464
118.92/119.67 c INPROCESSING
118.92/119.67 c GARBAGE COLLECT
118.92/119.67 c rational objective 263
122.91/123.66 c #Conflicts: 278000 | #Constraints: 27029
122.91/123.66 c #Conflicts: 279000 | #Constraints: 28029
122.91/123.66 c #Conflicts: 280000 | #Constraints: 29030
122.91/123.66 c #Conflicts: 281000 | #Constraints: 30030
122.91/123.66 c #Conflicts: 282000 | #Constraints: 31030
122.91/123.66 c #Conflicts: 283000 | #Constraints: 32030
122.91/123.66 c #Conflicts: 284000 | #Constraints: 33030
122.91/123.66 c #Conflicts: 285000 | #Constraints: 34030
122.91/123.66 WSVECS04 Frhs2[19]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[21]: 6 -1.0001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[23]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[39]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[43]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[45]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[57]: 6 -1.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[61]: 6 -2.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[63]: 6 -2.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[65]: 6 -2.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[67]: 6 -2.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[69]: 6 -1.00001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[72]: 6 -1.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[74]: 6 -2.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[78]: 6 -2.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[80]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[85]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[87]: 6 -1.00009 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[89]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[91]: 6 -2.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[94]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[96]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[98]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[100]: 6 -1.00001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[102]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[104]: 6 -1.00005 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[107]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[109]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[111]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[113]: 6 -1.00005 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[116]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[118]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[120]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[122]: 6 -1.00001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[124]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[126]: 6 -1.0001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[129]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[131]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[133]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[135]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[137]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[140]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[142]: 6 -1.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[144]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[148]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[155]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[157]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[159]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[161]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[164]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[166]: 6 -1.00005 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[175]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[177]: 6 -1.00009 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[179]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[181]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[183]: 6 -1.0001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[186]: 6 -1.0001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[188]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[190]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[199]: 6 -1.0001 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[201]: 6 -1.00005 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[203]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[205]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[207]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[210]: 6 -1.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[212]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[214]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[225]: 6 -1.00009 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[227]: 6 -1.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[234]: 6 -5.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[249]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[273]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[297]: 6 -1.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[392]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[438]: 6 -2.00007 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[459]: 6 -2.00008 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[481]: 6 -1.00006 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[483]: 6 -1.00002 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[484]: 6 -7.00003 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[503]: 6 -2.00004 0 shouldn't be
122.91/123.66 WSVECS04 Frhs2[505]: 6 -3.00007 0 shouldn't be
124.42/125.16 c #Conflicts: 286000 | #Constraints: 35030
124.42/125.16 c #Conflicts: 287000 | #Constraints: 36030
124.42/125.16 c #Conflicts: 288000 | #Constraints: 37030
124.42/125.16 c INPROCESSING
124.42/125.16 c GARBAGE COLLECT
124.42/125.16 c rational objective 263
129.59/130.32 c #Conflicts: 289000 | #Constraints: 27470
129.59/130.32 c #Conflicts: 290000 | #Constraints: 28470
129.59/130.32 c #Conflicts: 291000 | #Constraints: 29470
129.59/130.32 c #Conflicts: 292000 | #Constraints: 30470
129.59/130.32 c #Conflicts: 293000 | #Constraints: 31470
129.59/130.32 c #Conflicts: 294000 | #Constraints: 32470
129.59/130.32 c #Conflicts: 295000 | #Constraints: 33471
129.59/130.32 c #Conflicts: 296000 | #Constraints: 34471
129.59/130.32 c #Conflicts: 297000 | #Constraints: 35471
129.59/130.32 c #Conflicts: 298000 | #Constraints: 36471
129.59/130.32 c #Conflicts: 299000 | #Constraints: 37471
129.59/130.32 c INPROCESSING
129.59/130.32 c GARBAGE COLLECT
129.59/130.32 c rational objective 263
133.98/134.79 c #Conflicts: 300000 | #Constraints: 27700
133.98/134.79 c #Conflicts: 301000 | #Constraints: 28701
133.98/134.79 c #Conflicts: 302000 | #Constraints: 29701
133.98/134.79 c #Conflicts: 303000 | #Constraints: 30712
133.98/134.79 c #Conflicts: 304000 | #Constraints: 31713
133.98/134.79 c #Conflicts: 305000 | #Constraints: 32717
133.98/134.79 c #Conflicts: 306000 | #Constraints: 33720
133.98/134.79 c #Conflicts: 307000 | #Constraints: 34722
133.98/134.79 c #Conflicts: 308000 | #Constraints: 35724
133.98/134.79 c #Conflicts: 309000 | #Constraints: 36724
133.98/134.79 c #Conflicts: 310000 | #Constraints: 37724
133.98/134.79 c INPROCESSING
133.98/134.79 c GARBAGE COLLECT
133.98/134.79 c rational objective 263
139.66/140.47 c #Conflicts: 311000 | #Constraints: 27662
139.66/140.47 c #Conflicts: 312000 | #Constraints: 28664
139.66/140.47 c #Conflicts: 313000 | #Constraints: 29665
139.66/140.47 c #Conflicts: 314000 | #Constraints: 30666
139.66/140.47 c #Conflicts: 315000 | #Constraints: 31666
139.66/140.47 c #Conflicts: 316000 | #Constraints: 32667
139.66/140.47 c #Conflicts: 317000 | #Constraints: 33667
139.66/140.47 c #Conflicts: 318000 | #Constraints: 34667
139.66/140.47 c #Conflicts: 319000 | #Constraints: 35667
139.66/140.47 c #Conflicts: 320000 | #Constraints: 36668
139.66/140.47 c #Conflicts: 321000 | #Constraints: 37668
139.66/140.47 c INPROCESSING
139.66/140.47 c GARBAGE COLLECT
139.66/140.47 c rational objective 263
143.15/143.98 c #Conflicts: 322000 | #Constraints: 27447
143.15/143.98 c #Conflicts: 323000 | #Constraints: 28447
143.15/143.98 c #Conflicts: 324000 | #Constraints: 29447
143.15/143.98 c #Conflicts: 325000 | #Constraints: 30448
143.15/143.98 c #Conflicts: 326000 | #Constraints: 31448
143.15/143.98 c #Conflicts: 327000 | #Constraints: 32448
143.15/143.98 c #Conflicts: 328000 | #Constraints: 33448
143.15/143.98 WSVECS04 Frhs2[25]: 6 -1.00009 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[40]: 6 -1.00006 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[71]: 6 -1.00004 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[106]: 6 -1.00002 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[152]: 6 -1.00001 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[230]: 6 -1.00007 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[235]: 6 -1.00007 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[255]: 6 -1.00008 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[257]: 6 -1.00001 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[272]: 6 -1.00002 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[277]: 6 -1.00006 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[296]: 6 -1.00004 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[301]: 6 -1.00001 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[320]: 6 -1.00008 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[352]: 6 -1.00001 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[354]: 6 -1.00004 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[356]: 6 -1.00007 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[358]: 6 -1.00009 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[364]: 6 -1.00007 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[373]: 6 -1.00009 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[374]: 6 -1.00005 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[375]: 6 0 2.00002 shouldn't be
143.15/143.98 WSVECS04 Frhs2[377]: 6 0 1.00002 shouldn't be
143.15/143.98 WSVECS04 Frhs2[386]: 6 -1.00009 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[387]: 6 0 1.0001 shouldn't be
143.15/143.98 WSVECS04 Frhs2[388]: 6 -1.00002 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[389]: 6 0 2.00007 shouldn't be
143.15/143.98 WSVECS04 Frhs2[392]: 6 0 1.00003 shouldn't be
143.15/143.98 WSVECS04 Frhs2[393]: 6 -1.00003 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[417]: 6 -1.00002 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[438]: 6 0 2.00009 shouldn't be
143.15/143.98 WSVECS04 Frhs2[445]: 6 0 1.00008 shouldn't be
143.15/143.98 WSVECS04 Frhs2[447]: 6 0 1.00003 shouldn't be
143.15/143.98 WSVECS04 Frhs2[458]: 6 -1.00008 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[485]: 6 -1.00007 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[504]: 6 -1.00009 0 shouldn't be
143.15/143.98 WSVECS04 Frhs2[982]: 6 -1.00001 0 shouldn't be
145.65/146.48 c #Conflicts: 329000 | #Constraints: 34449
145.65/146.48 c #Conflicts: 330000 | #Constraints: 35449
145.65/146.48 c #Conflicts: 331000 | #Constraints: 36449
145.65/146.48 c #Conflicts: 332000 | #Constraints: 37449
145.65/146.48 c #Conflicts: 333000 | #Constraints: 38449
145.65/146.48 c INPROCESSING
145.65/146.48 c GARBAGE COLLECT
145.65/146.48 c rational objective 263
151.34/152.16 c #Conflicts: 334000 | #Constraints: 28080
151.34/152.16 c #Conflicts: 335000 | #Constraints: 29080
151.34/152.16 c #Conflicts: 336000 | #Constraints: 30080
151.34/152.16 c #Conflicts: 337000 | #Constraints: 31081
151.34/152.16 c #Conflicts: 338000 | #Constraints: 32081
151.34/152.16 c #Conflicts: 339000 | #Constraints: 33081
151.34/152.16 c #Conflicts: 340000 | #Constraints: 34081
151.34/152.16 c #Conflicts: 341000 | #Constraints: 35082
151.34/152.16 c #Conflicts: 342000 | #Constraints: 36083
151.34/152.16 c #Conflicts: 343000 | #Constraints: 37085
151.34/152.16 c #Conflicts: 344000 | #Constraints: 38087
151.34/152.16 c #Conflicts: 345000 | #Constraints: 39090
151.34/152.16 c INPROCESSING
151.34/152.16 c GARBAGE COLLECT
151.34/152.16 c rational objective 263
157.42/158.27 c #Conflicts: 346000 | #Constraints: 28473
157.42/158.27 c #Conflicts: 347000 | #Constraints: 29473
157.42/158.27 c #Conflicts: 348000 | #Constraints: 30473
157.42/158.27 c #Conflicts: 349000 | #Constraints: 31473
157.42/158.27 c #Conflicts: 350000 | #Constraints: 32473
157.42/158.27 c #Conflicts: 351000 | #Constraints: 33474
157.42/158.27 c #Conflicts: 352000 | #Constraints: 34474
157.42/158.27 c #Conflicts: 353000 | #Constraints: 35474
157.42/158.27 c #Conflicts: 354000 | #Constraints: 36474
157.42/158.27 c #Conflicts: 355000 | #Constraints: 37474
157.42/158.27 c #Conflicts: 356000 | #Constraints: 38474
157.42/158.27 c #Conflicts: 357000 | #Constraints: 39474
157.42/158.27 c INPROCESSING
157.42/158.27 c GARBAGE COLLECT
157.42/158.27 c rational objective 263
163.22/164.09 c #Conflicts: 358000 | #Constraints: 28684
163.22/164.09 c #Conflicts: 359000 | #Constraints: 29685
163.22/164.09 c #Conflicts: 360000 | #Constraints: 30685
163.22/164.09 c #Conflicts: 361000 | #Constraints: 31687
163.22/164.09 c #Conflicts: 362000 | #Constraints: 32688
163.22/164.09 c #Conflicts: 363000 | #Constraints: 33689
163.22/164.09 c #Conflicts: 364000 | #Constraints: 34689
163.22/164.09 c #Conflicts: 365000 | #Constraints: 35690
163.22/164.09 c #Conflicts: 366000 | #Constraints: 36690
163.22/164.09 c #Conflicts: 367000 | #Constraints: 37691
163.22/164.09 c #Conflicts: 368000 | #Constraints: 38692
163.22/164.09 c #Conflicts: 369000 | #Constraints: 39692
163.22/164.09 c INPROCESSING
163.22/164.09 c GARBAGE COLLECT
163.22/164.09 c rational objective 263
170.20/171.10 c #Conflicts: 370000 | #Constraints: 28654
170.20/171.10 c #Conflicts: 371000 | #Constraints: 29654
170.20/171.10 c #Conflicts: 372000 | #Constraints: 30654
170.20/171.10 c #Conflicts: 373000 | #Constraints: 31654
170.20/171.10 c #Conflicts: 374000 | #Constraints: 32655
170.20/171.10 c #Conflicts: 375000 | #Constraints: 33656
170.20/171.10 c #Conflicts: 376000 | #Constraints: 34656
170.20/171.10 c #Conflicts: 377000 | #Constraints: 35656
170.20/171.10 c #Conflicts: 378000 | #Constraints: 36657
170.20/171.10 c #Conflicts: 379000 | #Constraints: 37657
170.20/171.10 c #Conflicts: 380000 | #Constraints: 38657
170.20/171.10 c #Conflicts: 381000 | #Constraints: 39658
170.20/171.10 c INPROCESSING
170.20/171.10 c GARBAGE COLLECT
170.20/171.10 c rational objective 263
176.47/177.35 c #Conflicts: 382000 | #Constraints: 28480
176.47/177.35 c #Conflicts: 383000 | #Constraints: 29481
176.47/177.35 c #Conflicts: 384000 | #Constraints: 30481
176.47/177.35 c #Conflicts: 385000 | #Constraints: 31481
176.47/177.35 c #Conflicts: 386000 | #Constraints: 32482
176.47/177.35 c #Conflicts: 387000 | #Constraints: 33483
176.47/177.35 c #Conflicts: 388000 | #Constraints: 34484
176.47/177.35 c #Conflicts: 389000 | #Constraints: 35485
176.47/177.35 c #Conflicts: 390000 | #Constraints: 36488
176.47/177.35 c #Conflicts: 391000 | #Constraints: 37490
176.47/177.35 c #Conflicts: 392000 | #Constraints: 38491
176.47/177.35 c #Conflicts: 393000 | #Constraints: 39492
176.47/177.35 c #Conflicts: 394000 | #Constraints: 40492
176.47/177.35 c INPROCESSING
176.47/177.35 c GARBAGE COLLECT
176.47/177.35 c rational objective 263
183.45/184.32 c #Conflicts: 395000 | #Constraints: 29057
183.45/184.32 c #Conflicts: 396000 | #Constraints: 30057
183.45/184.32 c #Conflicts: 397000 | #Constraints: 31058
183.45/184.32 c #Conflicts: 398000 | #Constraints: 32058
183.45/184.32 c #Conflicts: 399000 | #Constraints: 33058
183.45/184.32 c #Conflicts: 400000 | #Constraints: 34058
183.45/184.32 c #Conflicts: 401000 | #Constraints: 35058
183.45/184.32 c #Conflicts: 402000 | #Constraints: 36058
183.45/184.32 c #Conflicts: 403000 | #Constraints: 37058
183.45/184.32 c #Conflicts: 404000 | #Constraints: 38058
183.45/184.32 c #Conflicts: 405000 | #Constraints: 39058
183.45/184.32 c #Conflicts: 406000 | #Constraints: 40058
183.45/184.32 c #Conflicts: 407000 | #Constraints: 41059
183.45/184.32 c INPROCESSING
183.45/184.32 c GARBAGE COLLECT
183.45/184.32 c rational objective 263
189.93/190.81 c #Conflicts: 408000 | #Constraints: 29501
189.93/190.81 c #Conflicts: 409000 | #Constraints: 30501
189.93/190.81 c #Conflicts: 410000 | #Constraints: 31502
189.93/190.81 c #Conflicts: 411000 | #Constraints: 32504
189.93/190.81 c #Conflicts: 412000 | #Constraints: 33504
189.93/190.81 c #Conflicts: 413000 | #Constraints: 34505
189.93/190.81 c #Conflicts: 414000 | #Constraints: 35506
189.93/190.81 c #Conflicts: 415000 | #Constraints: 36506
189.93/190.81 c #Conflicts: 416000 | #Constraints: 37507
189.93/190.81 c #Conflicts: 417000 | #Constraints: 38507
189.93/190.81 c #Conflicts: 418000 | #Constraints: 39507
189.93/190.81 c #Conflicts: 419000 | #Constraints: 40508
189.93/190.81 c #Conflicts: 420000 | #Constraints: 41509
189.93/190.81 c INPROCESSING
189.93/190.81 c GARBAGE COLLECT
189.93/190.81 c rational objective 263
196.91/197.86 c #Conflicts: 421000 | #Constraints: 29675
196.91/197.86 c #Conflicts: 422000 | #Constraints: 30675
196.91/197.86 c #Conflicts: 423000 | #Constraints: 31675
196.91/197.86 c #Conflicts: 424000 | #Constraints: 32675
196.91/197.86 c #Conflicts: 425000 | #Constraints: 33675
196.91/197.86 c #Conflicts: 426000 | #Constraints: 34675
196.91/197.86 c #Conflicts: 427000 | #Constraints: 35675
196.91/197.86 c #Conflicts: 428000 | #Constraints: 36675
196.91/197.86 c #Conflicts: 429000 | #Constraints: 37675
196.91/197.86 c #Conflicts: 430000 | #Constraints: 38676
196.91/197.86 c #Conflicts: 431000 | #Constraints: 39676
196.91/197.86 c #Conflicts: 432000 | #Constraints: 40676
196.91/197.86 c #Conflicts: 433000 | #Constraints: 41676
196.91/197.86 c INPROCESSING
196.91/197.86 c GARBAGE COLLECT
196.91/197.86 c rational objective 263
204.59/205.53 c #Conflicts: 434000 | #Constraints: 29695
204.59/205.53 c #Conflicts: 435000 | #Constraints: 30695
204.59/205.53 c #Conflicts: 436000 | #Constraints: 31695
204.59/205.53 c #Conflicts: 437000 | #Constraints: 32696
204.59/205.53 c #Conflicts: 438000 | #Constraints: 33696
204.59/205.53 c #Conflicts: 439000 | #Constraints: 34697
204.59/205.53 c #Conflicts: 440000 | #Constraints: 35697
204.59/205.53 c #Conflicts: 441000 | #Constraints: 36697
204.59/205.53 c #Conflicts: 442000 | #Constraints: 37697
204.59/205.53 c #Conflicts: 443000 | #Constraints: 38698
204.59/205.53 c #Conflicts: 444000 | #Constraints: 39699
204.59/205.53 c #Conflicts: 445000 | #Constraints: 40699
204.59/205.53 c #Conflicts: 446000 | #Constraints: 41699
204.59/205.53 c INPROCESSING
204.59/205.53 c GARBAGE COLLECT
204.59/205.53 c rational objective 263
212.47/213.44 c #Conflicts: 447000 | #Constraints: 29463
212.47/213.44 c #Conflicts: 448000 | #Constraints: 30463
212.47/213.44 c #Conflicts: 449000 | #Constraints: 31463
212.47/213.44 c #Conflicts: 450000 | #Constraints: 32463
212.47/213.44 c #Conflicts: 451000 | #Constraints: 33463
212.47/213.44 c #Conflicts: 452000 | #Constraints: 34463
212.47/213.44 c #Conflicts: 453000 | #Constraints: 35463
212.47/213.44 c #Conflicts: 454000 | #Constraints: 36463
212.47/213.44 c #Conflicts: 455000 | #Constraints: 37463
212.47/213.44 c #Conflicts: 456000 | #Constraints: 38463
212.47/213.44 c #Conflicts: 457000 | #Constraints: 39463
212.47/213.44 c #Conflicts: 458000 | #Constraints: 40463
212.47/213.44 c #Conflicts: 459000 | #Constraints: 41463
212.47/213.44 c #Conflicts: 460000 | #Constraints: 42463
212.47/213.44 c INPROCESSING
212.47/213.44 c GARBAGE COLLECT
212.47/213.44 c rational objective 263
219.64/220.60 c #Conflicts: 461000 | #Constraints: 30070
219.64/220.60 c #Conflicts: 462000 | #Constraints: 31071
219.64/220.60 c #Conflicts: 463000 | #Constraints: 32072
219.64/220.60 c #Conflicts: 464000 | #Constraints: 33072
219.64/220.60 c #Conflicts: 465000 | #Constraints: 34073
219.64/220.60 c #Conflicts: 466000 | #Constraints: 35074
219.64/220.60 c #Conflicts: 467000 | #Constraints: 36075
219.64/220.60 c #Conflicts: 468000 | #Constraints: 37075
219.64/220.60 c #Conflicts: 469000 | #Constraints: 38075
219.64/220.60 c #Conflicts: 470000 | #Constraints: 39076
219.64/220.60 c #Conflicts: 471000 | #Constraints: 40077
219.64/220.60 c #Conflicts: 472000 | #Constraints: 41077
219.64/220.60 c #Conflicts: 473000 | #Constraints: 42077
219.64/220.60 c #Conflicts: 474000 | #Constraints: 43077
219.64/220.60 c INPROCESSING
219.64/220.60 c GARBAGE COLLECT
219.64/220.60 c rational objective 263
227.33/228.39 c #Conflicts: 475000 | #Constraints: 30454
227.33/228.39 c #Conflicts: 476000 | #Constraints: 31454
227.33/228.39 c #Conflicts: 477000 | #Constraints: 32454
227.33/228.39 c #Conflicts: 478000 | #Constraints: 33454
227.33/228.39 c #Conflicts: 479000 | #Constraints: 34454
227.33/228.39 c #Conflicts: 480000 | #Constraints: 35454
227.33/228.39 c #Conflicts: 481000 | #Constraints: 36454
227.33/228.39 c #Conflicts: 482000 | #Constraints: 37454
227.33/228.39 c #Conflicts: 483000 | #Constraints: 38455
227.33/228.39 c #Conflicts: 484000 | #Constraints: 39455
227.33/228.39 c #Conflicts: 485000 | #Constraints: 40455
227.33/228.39 c #Conflicts: 486000 | #Constraints: 41455
227.33/228.39 c #Conflicts: 487000 | #Constraints: 42455
227.33/228.39 c bounds 264 >= 264 @ 224.01
227.33/228.39 c cpu time 224.01 s
227.33/228.39 c deterministic time 12639416610 1.26e+10
227.33/228.39 c optimization time 0.027074 s
227.33/228.39 c total solve time 223.853 s
227.33/228.39 c core-guided solve time 113.84 s
227.33/228.39 c propagation time 150.531 s
227.33/228.39 c conflict analysis time 51.7435 s
227.33/228.39 c propagations 179398102
227.33/228.39 c resolve steps 11573200
227.33/228.39 c decisions 1102323
227.33/228.39 c conflicts 487451
227.33/228.39 c restarts 1022
227.33/228.39 c inprocessing phases 60
227.33/228.39 c garbage collections 60 ,( 100.00 )
227.33/228.39 c input clauses 15402 ,( 96.17 )
227.33/228.39 c input cardinalities 574 ,( 3.58 )
227.33/228.39 c input general constraints 40 ,( 0.25 )
227.33/228.39 c input average constraint length 11.45
227.33/228.39 c input average constraint degree 3.32
227.33/228.39 c learned clauses 341930 ,( 70.09 )
227.33/228.39 c learned cardinalities 12556 ,( 2.57 )
227.33/228.39 c learned general constraints 133339 ,( 27.33 )
227.33/228.39 c learned average constraint length 79.85
227.33/228.39 c learned average constraint degree 24282975.33
227.33/228.39 c watched CF 32, 64, 128, Arb: 43909 , 0 , 0 , 0
227.33/228.39 c counting CF 32, 64, 128, Arb: 89471 , 0 , 0 , 0
227.33/228.39 c watched constraints 43909 ,( 32.92 )
227.33/228.39 c counting constraints 89470 ,( 67.08 )
227.33/228.39 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 371351687 , 439626005 , 859353543 ,( 20630964 , 838722579 )
227.33/228.39 c gcd simplifications 6089
227.33/228.39 c detected cardinalities 399
227.33/228.39 c weakened non-implied lits 32771866
227.33/228.39 c weakened non-implying lits 12195
227.33/228.39 c original variables 5123
227.33/228.39 c clausal propagations 134309800
227.33/228.39 c cardinality propagations 4430515
227.33/228.39 c watched propagations 422281
227.33/228.39 c counting propagations 37761524
227.33/228.39 c watch lookups 6354334993
227.33/228.39 c watch backjump lookups 0
227.33/228.39 c watch checks 2239205796
227.33/228.39 c propagation checks 3480957240
227.33/228.39 c constraint additions 202843511
227.33/228.39 c trail pops 180987563
227.33/228.39 c formula constraints 15106
227.33/228.39 c learned constraints 487141
227.33/228.39 c bound constraints 268
227.33/228.39 c core-guided constraints 642
227.33/228.39 c encountered formula constraints 5372351
227.33/228.39 c encountered learned constraints 4072928
227.33/228.39 c encountered bound constraints 89
227.33/228.39 c encountered core-guided constraints 2595901
227.33/228.39 c LP total time 50.1896 s
227.33/228.39 c LP solve time 42.5 s
227.33/228.39 c LP constraints added 15346
227.33/228.39 c LP constraints removed 232
227.33/228.39 c LP pivots internal 487499
227.33/228.39 c LP pivots root 99582
227.33/228.39 c LP calls 465
227.33/228.39 c LP optimalities 151
227.33/228.39 c LP no pivot count 22
227.33/228.39 c LP infeasibilities 310
227.33/228.39 c LP valid Farkas constraints 310
227.33/228.39 c LP learned Farkas constraints 310
227.33/228.39 c LP basis resets 0
227.33/228.39 c LP cycling count 0
227.33/228.39 c LP singular count 0
227.33/228.39 c LP no primal count 0
227.33/228.39 c LP no farkas count 0
227.33/228.39 c LP other issue count 0
227.33/228.39 c LP Gomory cuts 64
227.33/228.39 c LP learned cuts 176
227.33/228.39 c LP deleted cuts 232
227.33/228.39 c LP encountered Gomory constraints 1546
227.33/228.39 c LP encountered Farkas constraints 13430
227.33/228.39 c LP encountered learned Farkas constraints 4096
227.33/228.39 c CG auxiliary variables introduced 301
227.33/228.39 c CG solutions found 1
227.33/228.39 c CG cores constructed 264
227.33/228.39 c CG core cardinality constraints returned 0
227.33/228.39 c CG unit cores 0
227.33/228.39 c CG single cores 264
227.33/228.39 c CG blocks removed during cardinality reduction 0
227.33/228.39 c CG first core best 0
227.33/228.39 c CG decision core best 0
227.33/228.39 c CG core reduction tie 0
227.33/228.39 c CG core degree average 1.00
227.33/228.39 c CG core slack average 2.05
227.33/228.39 c CG core upper bound improvements 0
227.33/228.39 c STR number of successful calls 0
227.33/228.39 c STR number of unsuccessful calls 0
227.33/228.39 c STR number of inconclusive calls 0
227.33/228.39 c STR number of successful attempts 0
227.33/228.39 c STR number of unsuccessful attempts 0
227.33/228.39 c STR number of inconclusive attempts 0
227.33/228.39 c STR average degree increase per successful call inf
227.33/228.39 c STR average degree increase per successful attempt inf
227.33/228.39 c STR total number of conflicts for successful attempts 0
227.33/228.39 c STR total number of conflicts for unsuccessful attempts 0
227.33/228.39 c STR total number of conflicts for inconclusive attempts 0
227.33/228.39 c STR average number of conflicts per successful attempt inf
227.33/228.39 c STR average number of conflicts per unsuccessful attempt inf
227.33/228.39 c STR average number of conflicts per inconclusive attempt inf
227.33/228.39 c AVG.sumWPerc 53.03
227.33/228.39 c bigint constraints 0
227.33/228.39 o 264
227.33/228.39 s OPTIMUM FOUND
227.33/228.39 v -x1 x2 -x3 x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 x23 x24 -x25 x26 -x27 x28 -x29 x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 x69 x70 -x71 x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 -x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 -x183 x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 x202 -x203 x204 -x205 x206 x207 x208 -x209 x210 -x211 x212 -x213 x214 -x215 x216 -x217 x218 -x219 x220 -x221 x222 -x223 x224 -x225 x226 -x227 x228 x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 x251 -x252 x253 x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 x275 -x276 -x277 x278 -x279 x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 x299 x300 -x301 x302 -x303 x304 -x305 x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 x334 -x335 x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 x380 -x381 x382 -x383 x384 -x385 x386 -x387 x388 -x389 x390 x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 -x401 x402 -x403 x404 -x405 x406 -x407 x408 -x409 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 -x425 x426 -x427 x428 -x429 x430 -x431 x432 -x433 x434 -x435 x436 x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 -x463 x464 -x465 x466 -x467 x468 -x469 x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 x480 -x481 x482 x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506
Verifier Data
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62155 MiB free)
memory of node 1: 64465 MiB (62409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521634-1751573548/watcher-4521634-1751573548 -o /tmp/evaluation-result-4521634-1751573548/solver-4521634-1751573548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751571912-85313 --watchdog 3760 run-opt-break.sh HOME/instance-4521634-1751573548.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=85830, runsolver pid=85827
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.10 3.79 5/254 85832
/proc/meminfo: memFree=127553688/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85832] ppid=85830 vsize=13656 memory=6400 CPUtime=0.08 cores=5,7
/proc/85832/stat : 85832 (pbsuma) R 85830 85830 85279 0 -1 4194304 805 0 0 0 8 0 0 0 20 0 1 0 73033496 13983744 1600 18446744073709551615 4210688 4653049 140734791661184 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 27508736 140734791666019 140734791666226 140734791666226 140734791671791 0
/proc/85832/statm: 3414 1600 992 108 0 822 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 17848 KiB
Current children cumulated memory: 9472 KiB
[startup+0.215357 s]*
/proc/loadavg: 4.11 4.10 3.79 5/254 85833
/proc/meminfo: memFree=127551672/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=56996 memory=10112 CPUtime=0.08 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 864 0 0 0 6 2 0 0 20 0 1 0 73033507 58363904 2528 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 14249 2528 1888 1147 0 1676 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 61188 KiB
Current children cumulated memory: 13184 KiB
[startup+0.313216 s]*
/proc/loadavg: 4.11 4.10 3.79 5/254 85833
/proc/meminfo: memFree=127542032/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=67620 memory=19920 CPUtime=0.16 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 3489 0 0 0 12 4 0 0 20 0 1 0 73033507 69242880 4980 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 16905 4980 2240 1147 0 4332 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 71812 KiB
Current children cumulated memory: 22992 KiB
[startup+0.700287 s]
/proc/loadavg: 4.11 4.10 3.79 5/254 85833
/proc/meminfo: memFree=127534220/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=78208 memory=32208 CPUtime=0.52 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 5981 0 0 0 46 6 0 0 20 0 1 0 73033507 80084992 8052 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 19552 8052 2368 1147 0 6979 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 82400 KiB
Current children cumulated memory: 35280 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 3.79 5/254 85833
/proc/meminfo: memFree=127528428/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=86736 memory=43504 CPUtime=1.3 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 8373 0 0 0 121 9 0 0 20 0 1 0 73033507 88817664 10876 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 21684 10876 2400 1147 0 9111 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 90928 KiB
Current children cumulated memory: 46576 KiB
[startup+3.10544 s]
/proc/loadavg: 4.18 4.11 3.80 5/254 85833
/proc/meminfo: memFree=127522644/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=88588 memory=45168 CPUtime=2.89 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 8819 0 0 0 276 13 0 0 20 0 1 0 73033507 90714112 11292 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 22147 11292 2400 1147 0 9574 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 92780 KiB
Current children cumulated memory: 48240 KiB
[startup+6.30017 s]
/proc/loadavg: 4.18 4.11 3.80 5/254 85833
/proc/meminfo: memFree=127516596/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=97664 memory=51696 CPUtime=6.05 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 10425 0 0 0 584 21 0 0 20 0 1 0 73033507 100007936 12924 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 24416 12924 2400 1147 0 11843 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 101856 KiB
Current children cumulated memory: 54768 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 3.80 5/254 85833
/proc/meminfo: memFree=127521888/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=100828 memory=55536 CPUtime=12.4 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 11392 0 0 0 1206 34 0 0 20 0 1 0 73033507 103247872 13884 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 25207 13884 2400 1147 0 12634 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 105020 KiB
Current children cumulated memory: 58608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 3.81 5/255 85835
/proc/meminfo: memFree=127518628/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=111920 memory=68320 CPUtime=25.07 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 13940 0 0 0 2451 56 0 0 20 0 1 0 73033507 114606080 17080 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 27980 17080 2400 1147 0 15407 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 116112 KiB
Current children cumulated memory: 71392 KiB
[startup+51.1131 s]
/proc/loadavg: 4.20 4.13 3.82 5/255 85835
/proc/meminfo: memFree=127513912/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=115720 memory=73696 CPUtime=50.54 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 14893 0 0 0 4955 99 0 0 20 0 1 0 73033507 118497280 18424 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 28930 18424 2400 1147 0 16357 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 119912 KiB
Current children cumulated memory: 76768 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 3.84 5/255 85839
/proc/meminfo: memFree=127527460/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=119836 memory=77792 CPUtime=101.59 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 15910 0 0 0 9984 175 0 0 20 0 1 0 73033507 122712064 19448 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 29959 19448 2400 1147 0 17386 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 124028 KiB
Current children cumulated memory: 80864 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 3.86 5/255 85845
/proc/meminfo: memFree=127529156/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=130584 memory=82144 CPUtime=161.43 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17002 0 0 0 15889 254 0 0 20 0 1 0 73033507 133718016 20536 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 32646 20536 2400 1147 0 20073 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 134776 KiB
Current children cumulated memory: 85216 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127522752/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=221.26 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 21799 327 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+228.398 s]
# the end of solver process 85830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=224.104 s, system=3.34579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.11 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127514560/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=222.97 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 21968 329 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 223.05 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+225.6 s]
/proc/loadavg: 4.11 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127514560/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=224.55 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 22124 331 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 224.63 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+227.2 s]
/proc/loadavg: 4.10 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127510464/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=226.14 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 22282 332 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 226.22 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+228 s]*
/proc/loadavg: 4.10 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127510464/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=226.96 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 22363 333 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 227.04 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+228.2 s]
/proc/loadavg: 4.10 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127510464/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132372 memory=83936 CPUtime=227.15 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17453 0 0 0 22382 333 0 0 20 0 1 0 73033507 135548928 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33093 20984 2400 1147 0 20520 0
Current children cumulated CPU time: 227.23 s
Current children cumulated vsize: 136564 KiB
Current children cumulated memory: 87008 KiB
[startup+228.3 s]
/proc/loadavg: 4.10 4.11 3.88 5/255 85847
/proc/meminfo: memFree=127510464/131382120 swapFree=33010416/33010684
[pid=85830] ppid=85827 vsize=4192 memory=3072 CPUtime=0.08 cores=5,7
/proc/85830/stat : 85830 (run-opt-break.s) S 85827 85830 85279 0 -1 4194304 237 934 0 0 0 0 8 0 20 0 1 0 73033495 4292608 768 18446744073709551615 93926948392960 93926949287493 140728137998976 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93926949526544 93926949574288 93926966616064 140728138000737 140728138000866 140728138000866 140728138006468 0
/proc/85830/statm: 1048 768 704 219 0 110 0
[pid=85833] ppid=85830 vsize=132548 memory=83936 CPUtime=227.25 cores=5,7
/proc/85833/stat : 85833 (roundingsat) R 85830 85830 85279 0 -1 4194304 17454 0 0 0 22392 333 0 0 20 0 1 0 73033507 135729152 20984 18446744073709551615 4227072 8923433 140722100690416 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15298560 140722100693348 140722100693544 140722100693544 140722100699114 0
/proc/85833/statm: 33137 20984 2400 1147 0 20564 0
Current children cumulated CPU time: 227.33 s
Current children cumulated vsize: 136740 KiB
Current children cumulated memory: 87008 KiB
Child status: 0
Real time (s): 228.398
CPU time (s): 227.45
CPU user time (s): 224.104
CPU system time (s): 3.34579
CPU usage (%): 99.5849
Max. virtual memory (cumulated for all children) (KiB): 136740
Max. memory (cumulated for all children) (KiB): 87008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.104
system time used= 3.34579
maximum resident set size= 83936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 667
# summary of solver processes directly reported to runsolver:
# pid: 85830
# total CPU time (s): 227.45
# total CPU user time (s): 224.104
# total CPU system time (s): 3.34579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0112 second user time and 2.26378 second system time
The end
Launcher Data
Begin job on nodeC003 at 2025-07-03 22:12:28
IDJOB=4521634
IDBENCH=178397
IDSOLVER=3359
FILE ID=nodeC003/4521634-1751573548
RUNJOBID= nodeC003-1751571912-85313
SLURM_JOB_ID= 9598793
Free space on /tmp= 431952 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521634-1751573548/watcher-4521634-1751573548 -o /tmp/evaluation-result-4521634-1751573548/solver-4521634-1751573548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751571912-85313 --watchdog 3760 run-opt-break.sh HOME/instance-4521634-1751573548.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e50416028301376aa06deda864f0965
RANDOM SEED=710206909
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.386
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.227
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.586
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127553936 kB
MemAvailable: 127675160 kB
Buffers: 2736 kB
Cached: 917228 kB
SwapCached: 36 kB
Active: 2771220 kB
Inactive: 425060 kB
Active(anon): 2286632 kB
Inactive(anon): 7608 kB
Active(file): 484588 kB
Inactive(file): 417452 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7416 kB
Writeback: 4 kB
AnonPages: 2277068 kB
Mapped: 117156 kB
Shmem: 17924 kB
KReclaimable: 117624 kB
Slab: 203660 kB
SReclaimable: 117624 kB
SUnreclaim: 86036 kB
KernelStack: 4080 kB
PageTables: 7684 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2783924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2111488 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431944 MiB
End job on nodeC003 at 2025-07-03 22:16:17