Trace number 4531879
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-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb |
| MD5SUM | 1c26e44dc48355aad6827be56d900020 |
| 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 | 3031 |
| Best CPU time to get the best result obtained on this benchmark | 0.349868 |
| 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 | 3300 |
| Total number of constraints | 1985 |
| Number of constraints which are clauses | 1364 |
| Number of constraints which are cardinality constraints (but not clauses) | 621 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 220 |
| Number of terms in the objective function | 2792 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 1385986 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 1385986 |
| Number of bits of the biggest sum of numbers | 21 |
| 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.09 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.09 c │ pbsuma -- a PB interface for satsuma │
0.00/0.09 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.09 c │ (c) 2025 Markus Anders │
0.00/0.09 c └────────────────────────────────────────────────────────────────┘
0.00/0.09 c parse 'HOME/instance-4531879-1752584603.opb'
0.00/0.09 c read 0.15MB (2.13ms)
0.00/0.09 c [cnf: #variables 3300 #clauses 1986 #duplicates 0 #arr 15418]
0.00/0.09 c output proof to 'PROOFDIR/proof-4531879-1752584603'
0.00/0.09 c
0.00/0.09 c make graph and approximate orbits
0.00/0.10 c [group: #orbits ~= 996] (4.06ms)
0.00/0.10 c
0.00/0.10 c detect special group actions
0.00/0.10 c probe for Johnson action (limit=64)
0.00/0.10 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.10 c found row 8x32, generating row predicate
0.00/0.10 c found row 4x32, generating row predicate
0.00/0.10 c found row 8x32, generating row predicate
0.00/0.10 c found row 4x32, generating row predicate
0.00/0.10 c found row 5x26, generating row predicate
0.00/0.11 c found row 6x32, generating row predicate
0.00/0.11 c found row 5x26, generating row predicate
0.00/0.11 c found row 4x26, generating row predicate
0.00/0.11 c found row 3x32, generating row predicate
0.00/0.11 c found row 4x32, generating row predicate
0.00/0.11 c found row 3x32, generating row predicate
0.00/0.11 c found row 3x26, generating row predicate
0.00/0.11 c (13.68ms)
0.00/0.11 c
0.00/0.11 c detect symmetries on remainder
0.00/0.11 c [graph: #vertices 16570 #edges 53404]
0.00/0.11 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.11 c [group: #symmetries 2.52*10^7 #generators 24] (4.35ms)
0.00/0.11 c
0.00/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.11 c ran it=0, +gens=0
0.00/0.12 c con best_support=16, best_gens=1, +gens=0
0.00/0.12 c (3.54ms)
0.00/0.12 c
0.00/0.12 c finalize break order and special generators
0.00/0.12 c
0.00/0.12 c add generic predicates (break_depth=20)
0.00/0.12 c added predicates for 24 generators (0.02ms)
0.00/0.12 c
0.00/0.12 c generation finished
0.00/0.12 c [sbp: #constraints 5334 #add_vars 1755]
0.00/0.12 c
0.00/0.12 c write result to 'HOME/instance-4531879-1752584603.opb.pre'
0.00/0.13 c wrote 0.34MB (0.82ms)
0.00/0.13 c ------------------------------------------------------------------
0.00/0.13 c 13.68ms 38.16% detect_special
0.00/0.13 c 7.12ms 19.87% other
0.00/0.13 c 4.35ms 12.14% detect_generic
0.00/0.13 c 4.06ms 11.32% approx_orbits
0.00/0.13 c 3.54ms 9.88% optimize_gens
0.00/0.13 c 2.13ms 5.94% parse
0.00/0.13 c 0.82ms 2.28% output
0.00/0.13 c 0.12ms 0.34% finalize_order
0.00/0.13 c 0.02ms 0.06% break_generic
0.00/0.13 c ───────────────────────────────────────────────
0.00/0.13 c 35.84ms 100% total
0.00/0.13 c ------------------------------------------------------------------
0.00/0.18 c RoundingSat 2
0.00/0.18 c branch pb25
0.00/0.18 c commit 0f876b3
0.06/0.23 c #variables 5055 #constraints 7907
0.06/0.23 c objective is ce32
0.15/0.31 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.15/0.31 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.15/0.31 c bounds 142199 >= -1407 @ 0.124391
0.25/0.46 c bounds 141199 >= -1407 @ 0.25592
0.25/0.46 c bounds 141199 >= -827 @ 0.256778
0.25/0.46 c bounds 141199 >= -826 @ 0.257756
0.25/0.46 c bounds 141199 >= -825 @ 0.258732
0.25/0.46 c bounds 141199 >= -824 @ 0.25972
0.25/0.46 c bounds 141199 >= -823 @ 0.260705
0.25/0.46 c bounds 141199 >= -822 @ 0.261694
0.25/0.46 c bounds 141199 >= -821 @ 0.262686
0.25/0.47 c bounds 141199 >= -820 @ 0.263697
0.25/0.47 c bounds 141199 >= -819 @ 0.264705
0.25/0.47 c bounds 141199 >= -818 @ 0.265077
0.25/0.47 c bounds 141199 >= -817 @ 0.265747
0.25/0.47 c bounds 141199 >= -816 @ 0.266776
0.25/0.47 c bounds 141199 >= -815 @ 0.267821
0.25/0.47 c bounds 141199 >= -814 @ 0.268868
0.25/0.47 c bounds 141199 >= -813 @ 0.26991
0.25/0.47 c bounds 141199 >= -812 @ 0.270977
0.25/0.47 c bounds 141199 >= -811 @ 0.27127
0.25/0.48 c bounds 141199 >= -810 @ 0.272095
0.25/0.48 c bounds 141199 >= -809 @ 0.272271
0.25/0.48 c bounds 141199 >= -808 @ 0.273217
0.25/0.48 c bounds 141199 >= -807 @ 0.274277
0.25/0.48 c bounds 141199 >= -806 @ 0.27534
0.25/0.48 c bounds 141199 >= -805 @ 0.276406
0.25/0.48 c bounds 141199 >= -804 @ 0.277469
0.25/0.48 c bounds 141199 >= -803 @ 0.278537
0.25/0.48 c bounds 141199 >= -802 @ 0.279606
0.25/0.49 c bounds 141199 >= -801 @ 0.280034
0.25/0.49 c bounds 141199 >= -800 @ 0.280766
0.25/0.49 c bounds 141199 >= -799 @ 0.281829
0.25/0.49 c bounds 141199 >= -798 @ 0.282897
0.25/0.49 c bounds 141199 >= -797 @ 0.283247
0.25/0.49 c bounds 141198 >= -797 @ 0.285475
0.25/0.49 c bounds 141198 >= -796 @ 0.286573
0.25/0.50 c bounds 141198 >= -795 @ 0.287652
0.25/0.50 c bounds 141198 >= -794 @ 0.288722
0.25/0.50 c bounds 141198 >= -793 @ 0.289794
0.25/0.50 c bounds 141198 >= -792 @ 0.290864
0.25/0.50 c bounds 141198 >= -791 @ 0.291227
0.25/0.50 c bounds 141198 >= -790 @ 0.291231
0.25/0.50 c bounds 141198 >= -789 @ 0.292105
0.25/0.50 c bounds 141198 >= -788 @ 0.293203
0.25/0.50 c bounds 141198 >= -787 @ 0.29429
0.25/0.50 c bounds 141198 >= -786 @ 0.295374
0.35/0.51 c bounds 141197 >= -786 @ 0.298312
0.35/0.51 c bounds 141197 >= -785 @ 0.298786
0.35/0.51 c bounds 141197 >= -784 @ 0.299566
0.35/0.51 c bounds 141197 >= -783 @ 0.300656
0.35/0.51 c bounds 141197 >= -782 @ 0.30175
0.35/0.51 c bounds 141197 >= -781 @ 0.302148
0.35/0.52 c bounds 141197 >= -780 @ 0.30296
0.35/0.52 c bounds 141197 >= -779 @ 0.30315
0.35/0.52 c bounds 141197 >= -778 @ 0.30415
0.35/0.52 c bounds 141197 >= -777 @ 0.304828
0.35/0.52 c bounds 141196 >= -777 @ 0.30785
0.35/0.53 c bounds 141196 >= -776 @ 0.309752
0.35/0.53 c bounds 141196 >= -775 @ 0.311693
0.35/0.53 c bounds 141196 >= -774 @ 0.312709
0.35/0.53 c bounds 141195 >= -774 @ 0.314134
0.35/0.53 c bounds 141195 >= -773 @ 0.315135
0.35/0.54 c bounds 141195 >= -772 @ 0.316136
0.35/0.54 c bounds 141195 >= -771 @ 0.317129
0.35/0.54 c bounds 141195 >= -770 @ 0.317931
0.35/0.54 c bounds 141194 >= -770 @ 0.320128
0.35/0.55 c bounds 141194 >= -769 @ 0.321128
0.35/0.55 c bounds 141194 >= -768 @ 0.321859
0.35/0.55 c bounds 141194 >= -767 @ 0.322785
0.35/0.55 c bounds 141193 >= -767 @ 0.323138
0.35/0.55 c bounds 141193 >= -766 @ 0.32501
0.35/0.56 c bounds 141193 >= -765 @ 0.326132
0.35/0.56 c bounds 141193 >= -764 @ 0.326892
0.35/0.56 c bounds 141193 >= -763 @ 0.328834
0.35/0.56 c bounds 141192 >= -763 @ 0.331461
0.35/0.57 c bounds 141192 >= -762 @ 0.332586
0.35/0.57 c bounds 141192 >= -761 @ 0.333543
0.35/0.57 c bounds 141192 >= -760 @ 0.334512
0.35/0.57 c bounds 141192 >= -759 @ 0.336344
0.35/0.58 c bounds 141191 >= -759 @ 0.338685
0.35/0.58 c bounds 141191 >= -758 @ 0.340606
0.35/0.58 c bounds 141191 >= 242 @ 0.342643
0.35/0.58 c bounds 141191 >= 243 @ 0.344673
0.35/0.58 c bounds 141191 >= 244 @ 0.345196
0.35/0.59 c bounds 140191 >= 244 @ 0.350572
0.35/0.59 c bounds 140191 >= 245 @ 0.351621
0.35/0.60 c bounds 140191 >= 246 @ 0.35355
0.35/0.60 c bounds 140191 >= 247 @ 0.355564
0.35/0.60 c bounds 140191 >= 248 @ 0.356636
0.44/0.60 c bounds 140191 >= 249 @ 0.358553
0.44/0.60 c bounds 140191 >= 250 @ 0.360542
0.44/0.61 c bounds 140191 >= 251 @ 0.361629
0.44/0.61 c bounds 140191 >= 252 @ 0.363581
0.44/0.61 c bounds 140190 >= 252 @ 0.367352
0.44/0.62 c bounds 140190 >= 253 @ 0.368509
0.44/0.62 c bounds 140190 >= 254 @ 0.369514
0.44/0.62 c bounds 140190 >= 255 @ 0.370538
0.44/0.62 c bounds 140190 >= 256 @ 0.371537
0.44/0.62 c bounds 140190 >= 257 @ 0.373415
0.44/0.62 c bounds 140190 >= 258 @ 0.375374
0.44/0.63 c bounds 140190 >= 259 @ 0.377348
0.44/0.63 c bounds 140190 >= 260 @ 0.379305
0.44/0.63 c bounds 140190 >= 261 @ 0.380408
0.44/0.63 c bounds 140190 >= 262 @ 0.382247
0.44/0.63 c bounds 140190 >= 263 @ 0.383359
0.44/0.64 c bounds 140190 >= 264 @ 0.384338
0.44/0.65 c bounds 140189 >= 264 @ 0.393112
0.44/0.65 c bounds 140189 >= 265 @ 0.395153
0.44/0.65 c bounds 140189 >= 266 @ 0.397144
0.44/0.65 c bounds 140189 >= 267 @ 0.398307
0.44/0.65 c bounds 140189 >= 268 @ 0.39932
0.44/0.66 c bounds 140189 >= 269 @ 0.400331
0.44/0.66 c bounds 140189 >= 270 @ 0.402219
0.44/0.66 c bounds 140189 >= 271 @ 0.403451
0.44/0.66 c bounds 140189 >= 272 @ 0.40446
0.44/0.67 c bounds 140189 >= 273 @ 0.404983
0.44/0.67 c bounds 140189 >= 274 @ 0.405431
0.44/0.67 c bounds 140189 >= 275 @ 0.405987
0.44/0.67 c bounds 140189 >= 276 @ 0.407243
0.44/0.67 c bounds 140189 >= 277 @ 0.408361
0.44/0.67 c bounds 140189 >= 278 @ 0.409358
0.44/0.68 c bounds 140189 >= 279 @ 0.410337
0.44/0.68 c bounds 140189 >= 280 @ 0.411318
0.44/0.68 c bounds 140189 >= 281 @ 0.412291
0.44/0.68 c bounds 140189 >= 282 @ 0.413273
0.44/0.68 c bounds 140189 >= 283 @ 0.415062
0.44/0.69 c bounds 140189 >= 284 @ 0.416041
0.44/0.69 c bounds 140189 >= 285 @ 0.417042
0.44/0.69 c bounds 140189 >= 286 @ 0.418977
0.44/0.69 c bounds 140189 >= 287 @ 0.419971
0.44/0.69 c bounds 140189 >= 288 @ 0.421034
0.54/0.74 c bounds 140188 >= 288 @ 0.464358
0.54/0.74 c bounds 140188 >= 289 @ 0.466662
0.54/0.75 c bounds 140188 >= 290 @ 0.467802
0.54/0.75 c bounds 140188 >= 291 @ 0.469855
0.54/0.75 c bounds 140188 >= 292 @ 0.47109
0.54/0.75 c bounds 140188 >= 293 @ 0.472971
0.54/0.75 c bounds 140188 >= 294 @ 0.474212
0.54/0.76 c bounds 140188 >= 295 @ 0.476185
0.54/0.76 c bounds 140188 >= 296 @ 0.477391
0.54/0.76 c bounds 140188 >= 297 @ 0.478484
0.54/0.76 c bounds 140188 >= 298 @ 0.480627
0.54/0.77 c bounds 140188 >= 299 @ 0.481822
0.54/0.77 c bounds 140188 >= 300 @ 0.483453
0.54/0.77 c bounds 140188 >= 301 @ 0.4846
0.54/0.77 c bounds 140188 >= 302 @ 0.485767
0.54/0.77 c bounds 140188 >= 303 @ 0.487172
0.54/0.78 c bounds 140188 >= 1302 @ 0.488421
0.54/0.78 c bounds 140188 >= 2301 @ 0.48951
0.54/0.78 c bounds 140188 >= 2302 @ 0.489791
0.54/0.78 c bounds 140188 >= 2303 @ 0.490854
0.54/0.79 c bounds 140188 >= 2304 @ 0.492165
0.54/0.79 c bounds 140188 >= 2305 @ 0.49338
0.54/0.79 c bounds 140188 >= 2306 @ 0.494594
0.54/0.79 c bounds 140188 >= 2308 @ 0.495772
0.54/0.79 c bounds 140188 >= 2310 @ 0.497151
0.64/0.80 c bounds 140188 >= 2311 @ 0.498331
0.64/0.80 c bounds 140188 >= 2312 @ 0.49946
0.64/0.80 c bounds 140188 >= 2314 @ 0.500735
0.64/0.80 c bounds 140188 >= 2315 @ 0.502977
0.64/0.81 c bounds 140188 >= 2317 @ 0.504345
0.64/0.81 c bounds 140188 >= 2318 @ 0.506515
0.64/0.81 c bounds 140188 >= 2319 @ 0.508743
0.64/0.81 c bounds 140188 >= 2321 @ 0.510988
0.64/0.82 c bounds 140188 >= 2323 @ 0.512564
0.64/0.82 c bounds 140188 >= 2325 @ 0.513514
0.64/0.82 c bounds 140188 >= 2326 @ 0.51468
0.64/0.82 c bounds 140188 >= 2327 @ 0.516067
0.64/0.82 c bounds 140188 >= 2328 @ 0.518108
0.64/0.83 c bounds 140188 >= 2330 @ 0.519407
0.64/0.83 c bounds 140188 >= 2332 @ 0.519734
0.64/0.83 c bounds 140188 >= 2334 @ 0.521803
0.64/0.83 c bounds 140188 >= 2335 @ 0.523166
0.64/0.84 c bounds 140188 >= 2336 @ 0.524341
0.64/0.84 c bounds 140188 >= 2337 @ 0.525521
0.64/0.84 c bounds 140188 >= 2339 @ 0.526694
0.64/0.84 c bounds 140188 >= 2341 @ 0.528083
0.64/0.84 c bounds 140188 >= 2342 @ 0.53012
0.64/0.85 c bounds 140188 >= 2343 @ 0.531392
0.64/0.85 c bounds 140188 >= 2344 @ 0.533564
0.64/0.85 c bounds 140188 >= 2346 @ 0.534981
0.64/0.85 c bounds 140188 >= 2347 @ 0.53615
0.64/0.86 c bounds 140188 >= 2349 @ 0.538229
0.64/0.86 c bounds 140188 >= 2350 @ 0.540448
0.64/0.86 c bounds 140188 >= 2352 @ 0.541685
0.64/0.86 c bounds 140188 >= 2354 @ 0.543907
0.64/0.86 c bounds 140188 >= 2356 @ 0.545243
0.64/0.87 c bounds 140188 >= 2358 @ 0.546353
0.64/0.87 c bounds 140188 >= 2359 @ 0.54856
0.64/0.87 c bounds 140188 >= 2361 @ 0.549968
0.64/0.87 c bounds 140188 >= 2363 @ 0.551173
0.64/0.88 c bounds 140188 >= 2364 @ 0.55242
0.64/0.88 c bounds 140188 >= 2366 @ 0.553664
0.64/0.88 c bounds 140188 >= 2367 @ 0.555921
0.64/0.88 c bounds 140188 >= 2369 @ 0.557278
0.64/0.88 c bounds 140188 >= 2371 @ 0.558461
0.64/0.89 c bounds 140188 >= 2374 @ 0.558656
0.64/0.89 c bounds 140188 >= 2376 @ 0.560848
0.74/0.94 c bounds 140187 >= 2376 @ 0.609321
0.74/0.94 c bounds 140187 >= 2377 @ 0.609929
0.74/0.94 c bounds 140187 >= 2378 @ 0.612071
0.74/0.95 c bounds 140187 >= 2379 @ 0.613365
0.74/0.95 c bounds 140187 >= 2380 @ 0.614813
0.74/0.95 c bounds 140187 >= 2382 @ 0.616037
0.74/0.95 c bounds 140187 >= 2383 @ 0.618194
0.74/0.95 c bounds 140187 >= 2384 @ 0.619541
0.74/0.96 c bounds 140187 >= 2386 @ 0.621105
0.74/0.96 c bounds 140187 >= 2388 @ 0.62225
0.74/0.96 c bounds 140187 >= 2389 @ 0.622819
0.74/0.96 c bounds 140187 >= 2391 @ 0.624159
0.74/0.97 c bounds 140187 >= 2392 @ 0.625761
0.74/0.97 c bounds 140187 >= 2394 @ 0.627183
0.74/0.97 c bounds 140187 >= 2396 @ 0.62753
0.74/0.97 c bounds 140187 >= 2397 @ 0.629037
0.74/0.98 c bounds 140187 >= 2399 @ 0.63125
0.74/0.98 c bounds 140187 >= 2401 @ 0.632536
0.74/0.98 c bounds 140187 >= 2402 @ 0.633942
0.74/0.98 c bounds 140187 >= 2403 @ 0.635118
0.74/0.99 c bounds 140187 >= 2404 @ 0.636344
0.74/0.99 c bounds 140187 >= 2405 @ 0.637786
0.74/0.99 c bounds 140187 >= 2407 @ 0.639004
0.74/0.99 c bounds 140187 >= 2408 @ 0.64114
0.74/0.99 c bounds 140187 >= 2409 @ 0.643398
0.74/1.00 c bounds 140187 >= 2410 @ 0.645659
0.74/1.00 c bounds 140187 >= 2412 @ 0.647947
0.84/1.00 c bounds 140187 >= 2413 @ 0.64924
0.84/1.00 c bounds 140187 >= 2414 @ 0.650704
0.84/1.01 c bounds 140187 >= 2416 @ 0.651942
0.84/1.01 c bounds 140187 >= 2417 @ 0.654125
0.84/1.01 c bounds 140187 >= 2419 @ 0.654432
0.84/1.01 c bounds 140187 >= 2420 @ 0.656726
0.84/1.02 c bounds 140187 >= 2422 @ 0.658055
0.84/1.02 c bounds 140187 >= 2424 @ 0.659459
0.84/1.02 c bounds 140187 >= 2425 @ 0.661987
0.84/1.02 c bounds 140187 >= 2427 @ 0.66432
0.84/1.02 c bounds 140187 >= 2428 @ 0.665776
0.84/1.03 c bounds 140187 >= 2430 @ 0.667966
0.84/1.03 c bounds 140187 >= 2431 @ 0.670295
0.84/1.03 c bounds 140187 >= 2433 @ 0.671747
0.84/1.03 c bounds 140187 >= 2434 @ 0.672979
0.84/1.04 c bounds 140187 >= 2435 @ 0.674173
0.84/1.04 c bounds 140187 >= 2436 @ 0.67564
0.84/1.04 c bounds 140187 >= 2437 @ 0.677727
0.84/1.04 c bounds 140187 >= 2438 @ 0.679014
0.84/1.05 c bounds 140187 >= 2439 @ 0.680811
0.84/1.05 c bounds 140187 >= 2440 @ 0.68294
0.84/1.05 c bounds 140187 >= 2442 @ 0.684209
0.84/1.05 c bounds 140187 >= 2443 @ 0.685655
0.84/1.06 c bounds 140187 >= 2444 @ 0.686884
0.84/1.06 c bounds 140187 >= 2445 @ 0.688126
0.84/1.06 c bounds 140187 >= 2446 @ 0.689382
0.84/1.06 c bounds 140187 >= 2447 @ 0.690821
0.84/1.06 c bounds 140187 >= 2448 @ 0.692983
0.84/1.07 c bounds 140187 >= 2449 @ 0.69427
0.84/1.07 c bounds 140187 >= 2450 @ 0.696534
0.84/1.07 c bounds 140187 >= 2451 @ 0.697905
0.84/1.07 c bounds 140187 >= 2452 @ 0.699109
0.95/1.15 c bounds 139186 >= 2452 @ 0.771845
0.95/1.16 c bounds 139186 >= 2453 @ 0.773456
0.95/1.16 c bounds 139186 >= 2455 @ 0.7758
0.95/1.16 c bounds 139186 >= 2457 @ 0.776338
0.95/1.16 c bounds 139186 >= 2458 @ 0.778477
0.95/1.17 c bounds 139186 >= 2459 @ 0.780818
0.95/1.17 c bounds 139186 >= 2461 @ 0.781024
0.95/1.17 c bounds 139186 >= 2462 @ 0.781631
0.95/1.17 c bounds 139186 >= 2463 @ 0.782889
0.95/1.17 c bounds 139186 >= 2464 @ 0.784229
0.95/1.18 c bounds 139186 >= 2465 @ 0.785671
0.95/1.18 c bounds 139186 >= 2467 @ 0.786018
0.95/1.18 c bounds 139186 >= 2468 @ 0.787471
0.95/1.18 c bounds 139186 >= 2469 @ 0.789679
0.95/1.19 c bounds 139186 >= 2471 @ 0.79104
0.95/1.19 c bounds 139186 >= 2472 @ 0.793391
0.95/1.19 c bounds 139186 >= 2473 @ 0.794801
0.95/1.19 c bounds 139186 >= 2475 @ 0.795306
1.04/1.20 c bounds 139186 >= 2476 @ 0.797453
1.04/1.20 c bounds 139186 >= 2477 @ 0.799805
1.04/1.20 c bounds 139186 >= 2478 @ 0.80134
1.04/1.20 c bounds 139186 >= 2479 @ 0.802628
1.04/1.21 c bounds 139186 >= 2480 @ 0.802983
1.04/1.21 c bounds 139186 >= 2481 @ 0.804403
1.04/1.21 c bounds 139186 >= 2482 @ 0.805658
1.04/1.21 c bounds 139186 >= 2483 @ 0.807988
1.04/1.22 c bounds 139186 >= 2484 @ 0.810343
1.04/1.22 c bounds 139186 >= 2485 @ 0.811768
1.04/1.22 c bounds 139186 >= 2486 @ 0.813066
1.04/1.22 c bounds 139186 >= 2487 @ 0.814553
1.04/1.22 c bounds 139186 >= 2488 @ 0.815823
1.04/1.23 c bounds 139186 >= 2489 @ 0.817163
1.04/1.23 c bounds 139186 >= 2490 @ 0.819507
1.04/1.23 c bounds 139186 >= 2491 @ 0.82094
1.04/1.23 c bounds 139186 >= 2492 @ 0.822373
1.04/1.24 c bounds 139186 >= 2493 @ 0.824562
1.04/1.24 c bounds 139186 >= 2494 @ 0.826906
1.04/1.24 c bounds 139186 >= 2495 @ 0.829251
1.04/1.24 c bounds 139186 >= 2496 @ 0.83159
1.04/1.25 c bounds 139186 >= 2497 @ 0.831978
1.04/1.25 c bounds 139186 >= 2498 @ 0.833429
1.04/1.25 c bounds 139186 >= 2499 @ 0.834702
1.04/1.25 c bounds 139186 >= 2500 @ 0.835187
1.04/1.26 c bounds 139186 >= 2501 @ 0.836479
1.04/1.26 c bounds 139186 >= 2503 @ 0.838698
1.04/1.26 c bounds 139186 >= 2505 @ 0.84037
1.04/1.26 c bounds 139186 >= 2506 @ 0.841515
1.04/1.26 c bounds 139186 >= 2508 @ 0.842766
1.04/1.27 c bounds 139186 >= 2510 @ 0.844293
1.04/1.27 c bounds 139186 >= 2514 @ 0.846479
1.04/1.27 c bounds 139186 >= 2518 @ 0.847835
1.04/1.27 c bounds 139186 >= 2523 @ 0.849351
1.04/1.28 c bounds 139186 >= 2524 @ 0.851528
1.04/1.28 c bounds 139186 >= 2528 @ 0.851935
1.04/1.28 c bounds 139186 >= 2530 @ 0.854239
1.04/1.28 c bounds 139186 >= 2534 @ 0.855652
1.04/1.29 c bounds 139186 >= 2535 @ 0.857926
1.04/1.29 c bounds 139186 >= 2537 @ 0.859411
1.04/1.29 c bounds 139186 >= 2540 @ 0.860683
1.04/1.29 c bounds 139186 >= 2542 @ 0.861319
1.04/1.30 c bounds 139186 >= 2544 @ 0.863358
1.14/1.30 c bounds 139186 >= 2546 @ 0.865699
1.14/1.30 c bounds 139186 >= 2549 @ 0.866223
1.14/1.30 c bounds 139186 >= 2550 @ 0.867511
1.14/1.30 c bounds 139186 >= 2553 @ 0.867836
1.14/1.31 c bounds 139186 >= 2554 @ 0.869308
1.14/1.31 c bounds 139186 >= 2557 @ 0.870501
1.14/1.31 c bounds 139186 >= 2558 @ 0.871843
1.14/1.31 c bounds 139186 >= 2560 @ 0.87335
1.14/1.32 c bounds 139186 >= 2561 @ 0.874616
1.14/1.32 c bounds 139186 >= 2562 @ 0.876882
1.14/1.32 c bounds 139186 >= 2564 @ 0.87922
1.14/1.32 c bounds 139186 >= 2568 @ 0.881565
1.14/1.33 c bounds 139186 >= 2572 @ 0.883913
1.14/1.33 c bounds 139186 >= 2574 @ 0.885374
1.14/1.33 c bounds 139186 >= 2578 @ 0.886633
1.14/1.33 c bounds 139186 >= 2580 @ 0.888922
1.14/1.34 c bounds 139186 >= 2584 @ 0.890418
1.14/1.34 c bounds 139186 >= 2589 @ 0.891093
1.14/1.34 c bounds 139186 >= 2590 @ 0.893333
1.14/1.34 c bounds 139186 >= 2592 @ 0.89508
1.14/1.35 c bounds 139186 >= 2595 @ 0.897466
1.14/1.35 c bounds 139186 >= 2597 @ 0.899269
1.14/1.35 c bounds 139186 >= 2599 @ 0.902015
1.14/1.35 c bounds 139186 >= 2602 @ 0.904553
1.14/1.36 c bounds 139186 >= 2605 @ 0.905087
1.14/1.36 c bounds 139186 >= 2608 @ 0.906335
1.14/1.36 c bounds 139186 >= 2611 @ 0.907569
1.14/1.36 c bounds 139186 >= 2613 @ 0.90805
1.14/1.37 c bounds 139186 >= 2616 @ 0.909293
1.14/1.37 c bounds 139186 >= 2618 @ 0.910538
1.14/1.37 c bounds 139186 >= 2622 @ 0.911028
1.14/1.37 c bounds 139186 >= 2623 @ 0.913114
1.14/1.37 c bounds 139186 >= 2625 @ 0.915425
1.14/1.38 c bounds 139186 >= 2627 @ 0.91774
1.14/1.38 c bounds 139186 >= 2631 @ 0.920064
1.14/1.38 c bounds 139186 >= 2632 @ 0.92146
1.14/1.38 c bounds 139186 >= 2635 @ 0.922701
1.14/1.39 c bounds 139186 >= 2638 @ 0.924181
1.14/1.39 c bounds 139186 >= 2642 @ 0.925358
1.14/1.39 c bounds 139186 >= 2644 @ 0.92766
1.14/1.39 c bounds 139186 >= 2647 @ 0.929145
1.14/1.40 c bounds 139186 >= 2649 @ 0.930332
1.24/1.40 c bounds 139186 >= 2652 @ 0.931683
1.24/1.40 c bounds 139186 >= 2656 @ 0.933937
1.24/1.40 c bounds 139186 >= 2660 @ 0.935322
1.24/1.40 c bounds 139186 >= 2661 @ 0.936582
1.24/1.41 c bounds 139186 >= 2662 @ 0.938896
1.24/1.41 c bounds 139186 >= 2663 @ 0.940309
1.24/1.41 c bounds 139186 >= 2664 @ 0.941085
1.24/1.41 c bounds 139186 >= 2667 @ 0.942313
1.24/1.42 c bounds 139186 >= 2668 @ 0.943657
1.24/1.42 c bounds 139186 >= 2671 @ 0.944033
1.24/1.42 c bounds 139186 >= 2674 @ 0.945262
1.24/1.42 c bounds 139186 >= 2677 @ 0.946479
1.24/1.43 c bounds 139186 >= 2678 @ 0.947959
1.24/1.43 c bounds 139186 >= 2681 @ 0.950038
1.24/1.43 c bounds 139186 >= 2683 @ 0.951411
1.24/1.43 c bounds 139186 >= 2684 @ 0.953631
1.24/1.43 c bounds 139186 >= 2686 @ 0.95593
1.24/1.44 c bounds 139186 >= 2687 @ 0.957267
1.24/1.44 c bounds 139186 >= 2689 @ 0.95855
1.34/1.53 c bounds 138185 >= 2689 @ 1.04584
1.34/1.53 c bounds 138185 >= 2691 @ 1.04848
1.34/1.54 c bounds 138185 >= 2694 @ 1.05086
1.34/1.54 c bounds 138185 >= 2696 @ 1.0518
1.34/1.54 c bounds 138185 >= 2698 @ 1.05401
1.34/1.54 c bounds 138185 >= 2700 @ 1.05639
1.34/1.55 c bounds 138185 >= 2703 @ 1.05789
1.34/1.55 c bounds 138185 >= 2707 @ 1.0592
1.34/1.55 c bounds 138185 >= 2711 @ 1.06154
1.34/1.55 c bounds 138185 >= 2712 @ 1.0639
1.34/1.56 c bounds 138185 >= 2714 @ 1.06627
1.34/1.56 c bounds 138185 >= 2717 @ 1.0678
1.34/1.56 c bounds 138185 >= 2721 @ 1.07004
1.34/1.56 c bounds 138185 >= 2722 @ 1.07141
1.34/1.57 c bounds 138185 >= 2723 @ 1.07377
1.34/1.57 c bounds 138185 >= 2724 @ 1.07614
1.34/1.57 c bounds 138185 >= 2726 @ 1.07768
1.34/1.57 c bounds 138185 >= 2731 @ 1.07892
1.34/1.57 c bounds 138185 >= 2735 @ 1.08124
1.34/1.58 c bounds 138185 >= 2738 @ 1.08362
1.34/1.58 c bounds 138185 >= 2740 @ 1.08505
1.34/1.58 c bounds 138185 >= 2744 @ 1.08737
1.34/1.58 c bounds 138185 >= 2746 @ 1.08974
1.34/1.59 c bounds 138185 >= 2748 @ 1.0921
1.34/1.59 c bounds 138185 >= 2750 @ 1.09347
1.34/1.59 c bounds 138185 >= 2754 @ 1.09488
1.34/1.59 c bounds 138185 >= 2756 @ 1.09621
1.44/1.60 c bounds 138185 >= 2758 @ 1.09772
1.44/1.60 c bounds 138185 >= 2760 @ 1.09901
1.44/1.60 c bounds 138185 >= 2761 @ 1.1003
1.44/1.60 c bounds 138185 >= 2764 @ 1.1018
1.44/1.61 c bounds 138185 >= 2768 @ 1.10309
1.44/1.61 c bounds 138185 >= 2771 @ 1.10462
1.44/1.61 c bounds 138185 >= 2772 @ 1.1068
1.44/1.61 c bounds 138185 >= 2774 @ 1.10817
1.44/1.61 c bounds 138185 >= 2778 @ 1.11054
1.44/1.62 c bounds 138185 >= 2780 @ 1.11197
1.44/1.62 c bounds 138185 >= 2781 @ 1.11228
1.44/1.62 c bounds 138185 >= 2784 @ 1.11374
1.44/1.62 c bounds 138185 >= 2787 @ 1.11502
1.44/1.63 c bounds 138185 >= 2790 @ 1.11633
1.44/1.63 c bounds 138185 >= 2791 @ 1.1178
1.44/1.63 c bounds 138185 >= 2792 @ 1.11906
1.44/1.63 c bounds 138185 >= 2794 @ 1.11961
1.44/1.64 c bounds 138185 >= 2795 @ 1.12178
1.44/1.64 c bounds 138185 >= 2796 @ 1.12319
1.44/1.64 c bounds 138185 >= 2799 @ 1.12465
1.44/1.64 c bounds 138185 >= 2800 @ 1.12592
1.44/1.65 c bounds 138185 >= 2803 @ 1.12719
1.44/1.65 c bounds 138185 >= 2806 @ 1.12869
1.44/1.65 c bounds 138185 >= 2808 @ 1.12997
1.44/1.65 c bounds 138185 >= 2810 @ 1.13047
1.44/1.66 c bounds 138185 >= 2814 @ 1.13175
1.44/1.66 c bounds 138185 >= 2818 @ 1.13397
1.44/1.66 c bounds 138185 >= 2820 @ 1.13533
1.44/1.66 c bounds 138185 >= 2821 @ 1.13678
1.44/1.66 c bounds 138185 >= 2823 @ 1.13903
1.44/1.67 c bounds 138185 >= 2824 @ 1.14038
1.44/1.67 c bounds 138185 >= 2826 @ 1.14273
1.44/1.67 c bounds 138185 >= 2829 @ 1.14508
1.53/1.70 c bounds 137185 >= 2829 @ 1.17634
1.53/1.71 c bounds 137185 >= 2831 @ 1.17705
1.53/1.71 c bounds 137185 >= 2833 @ 1.17852
1.53/1.71 c bounds 137185 >= 2835 @ 1.17982
1.53/1.71 c bounds 137185 >= 2838 @ 1.18037
1.53/1.72 c bounds 137185 >= 2839 @ 1.18104
1.53/1.72 c bounds 137185 >= 2842 @ 1.18204
1.53/1.72 c bounds 137185 >= 2845 @ 1.18433
1.53/1.72 c bounds 137185 >= 2847 @ 1.18672
1.53/1.73 c bounds 137185 >= 2850 @ 1.18733
1.53/1.73 c bounds 137185 >= 2852 @ 1.18863
1.53/1.73 c bounds 137185 >= 2853 @ 1.1899
1.53/1.73 c bounds 137185 >= 2854 @ 1.19228
1.64/1.82 c bounds 136185 >= 2854 @ 1.27853
1.64/1.82 c bounds 136185 >= 2855 @ 1.27942
1.64/1.83 c bounds 136185 >= 2857 @ 1.28182
1.64/1.83 c bounds 136185 >= 2858 @ 1.28337
1.64/1.83 c bounds 136185 >= 2860 @ 1.28479
1.64/1.83 c bounds 136185 >= 2862 @ 1.28637
1.64/1.84 c bounds 136185 >= 2864 @ 1.28776
1.64/1.84 c bounds 136185 >= 2866 @ 1.28935
1.64/1.84 c bounds 136185 >= 2868 @ 1.28981
1.64/1.84 c bounds 136185 >= 2870 @ 1.29136
1.64/1.85 c bounds 136185 >= 2873 @ 1.2928
1.64/1.85 c bounds 136185 >= 2874 @ 1.29435
1.64/1.85 c bounds 136185 >= 2875 @ 1.2948
1.64/1.85 c bounds 136185 >= 2877 @ 1.29635
1.64/1.86 c bounds 136185 >= 2879 @ 1.29774
1.64/1.86 c bounds 136185 >= 2881 @ 1.29934
1.64/1.86 c bounds 136185 >= 2883 @ 1.30075
1.64/1.86 c bounds 136185 >= 2884 @ 1.30233
1.64/1.87 c bounds 136185 >= 2885 @ 1.30375
1.64/1.87 c bounds 136185 >= 2886 @ 1.30533
1.64/1.87 c bounds 136185 >= 2887 @ 1.30673
1.64/1.87 c bounds 136185 >= 2888 @ 1.30832
1.64/1.88 c bounds 136185 >= 2889 @ 1.30971
1.64/1.88 c bounds 136185 >= 2890 @ 1.31132
1.64/1.88 c bounds 136185 >= 2891 @ 1.31269
1.64/1.88 c bounds 136185 >= 2893 @ 1.31431
1.64/1.89 c bounds 136185 >= 2895 @ 1.31675
1.64/1.89 c bounds 136185 >= 2896 @ 1.31829
1.64/1.89 c bounds 136185 >= 2898 @ 1.3209
1.64/1.89 c bounds 136185 >= 2900 @ 1.32247
1.74/1.90 c bounds 136185 >= 2902 @ 1.32391
1.74/1.90 c bounds 136185 >= 2904 @ 1.32547
1.74/1.90 c bounds 136185 >= 2906 @ 1.32791
1.74/1.90 c bounds 136185 >= 2907 @ 1.32946
2.64/2.85 c #Conflicts: 1000 | #Constraints: 10369
2.64/2.85 c bounds 136184 >= 2907 @ 2.23301
2.64/2.86 c bounds 136184 >= 2908 @ 2.23591
2.64/2.86 c bounds 136184 >= 2910 @ 2.23733
2.64/2.86 c bounds 136184 >= 2912 @ 2.23984
2.64/2.87 c bounds 136184 >= 2914 @ 2.24336
2.64/2.87 c bounds 136184 >= 2915 @ 2.24675
2.64/2.87 c bounds 136184 >= 2917 @ 2.25021
2.64/2.88 c bounds 136184 >= 2918 @ 2.25363
2.64/2.88 c bounds 136184 >= 2920 @ 2.25707
2.64/2.89 c bounds 136184 >= 2921 @ 2.25953
2.64/2.89 c bounds 136184 >= 2923 @ 2.26198
2.64/2.89 c bounds 136184 >= 2925 @ 2.26438
2.73/2.90 c bounds 136184 >= 2927 @ 2.26685
2.73/2.90 c bounds 136184 >= 2928 @ 2.26848
2.73/2.90 c bounds 136184 >= 2929 @ 2.27093
2.73/2.91 c bounds 136184 >= 2931 @ 2.27338
2.73/2.91 c bounds 136184 >= 2932 @ 2.27486
2.73/2.91 c bounds 136184 >= 2933 @ 2.2773
2.73/2.92 c bounds 136184 >= 2935 @ 2.28075
2.73/2.92 c bounds 136184 >= 2937 @ 2.2832
2.73/2.92 c bounds 136184 >= 2938 @ 2.28567
2.73/2.93 c bounds 136184 >= 2940 @ 2.28812
2.73/2.93 c bounds 136184 >= 2941 @ 2.29052
2.73/2.93 c bounds 136184 >= 2942 @ 2.29297
2.73/2.94 c bounds 136184 >= 2944 @ 2.29638
2.73/2.94 c bounds 136184 >= 2946 @ 2.29891
2.73/2.94 c bounds 136184 >= 2948 @ 2.3024
2.73/2.95 c bounds 136184 >= 2950 @ 2.30489
2.73/2.95 c bounds 136184 >= 2952 @ 2.30736
2.73/2.95 c bounds 136184 >= 2953 @ 2.30883
2.73/2.96 c bounds 136184 >= 2955 @ 2.31227
2.73/2.96 c bounds 136184 >= 2957 @ 2.31472
2.73/2.96 c bounds 136184 >= 2959 @ 2.31716
2.73/2.97 c bounds 136184 >= 2961 @ 2.31967
2.73/2.97 c bounds 136184 >= 2962 @ 2.32304
2.73/2.98 c bounds 136184 >= 2964 @ 2.32448
2.73/2.98 c bounds 136184 >= 2965 @ 2.32696
2.73/2.98 c bounds 136184 >= 2966 @ 2.33042
2.73/2.99 c bounds 136184 >= 2967 @ 2.33289
2.73/2.99 c bounds 136184 >= 2968 @ 2.33538
2.73/2.99 c bounds 136184 >= 2970 @ 2.33786
2.73/3.00 c bounds 136184 >= 2972 @ 2.34034
2.73/3.00 c bounds 136184 >= 2973 @ 2.34284
2.84/3.00 c bounds 136184 >= 2974 @ 2.34633
2.84/3.01 c bounds 136184 >= 2976 @ 2.34885
2.84/3.01 c bounds 136184 >= 2977 @ 2.35258
2.84/3.01 c bounds 136184 >= 2978 @ 2.35618
2.84/3.02 c bounds 136184 >= 2979 @ 2.35879
2.84/3.02 c bounds 136184 >= 2980 @ 2.36139
2.84/3.02 c bounds 136184 >= 2981 @ 2.36404
2.84/3.03 c bounds 136184 >= 2982 @ 2.3677
2.84/3.03 c bounds 136184 >= 2983 @ 2.37035
2.84/3.04 c bounds 136184 >= 2984 @ 2.373
2.84/3.04 c bounds 136184 >= 2985 @ 2.37465
2.84/3.04 c bounds 136184 >= 2986 @ 2.37828
2.84/3.05 c bounds 136184 >= 2987 @ 2.38097
2.84/3.05 c bounds 136184 >= 2988 @ 2.38324
2.84/3.05 c bounds 136184 >= 2989 @ 2.38595
2.84/3.06 c bounds 136184 >= 2990 @ 2.38873
2.84/3.06 c bounds 136184 >= 2991 @ 2.39258
2.84/3.07 c bounds 136184 >= 2992 @ 2.39539
2.84/3.07 c bounds 136184 >= 2993 @ 2.39831
2.84/3.07 c bounds 136184 >= 2994 @ 2.40222
2.84/3.08 c bounds 136184 >= 2995 @ 2.40455
2.84/3.08 c bounds 136184 >= 2996 @ 2.40816
2.84/3.09 c bounds 136184 >= 2997 @ 2.41129
2.84/3.09 c bounds 136184 >= 2998 @ 2.41541
2.84/3.09 c bounds 136184 >= 2999 @ 2.41755
2.84/3.10 c bounds 136184 >= 3000 @ 2.41966
2.94/3.10 c bounds 136184 >= 3001 @ 2.42283
2.94/3.11 c bounds 136184 >= 3002 @ 2.42695
2.94/3.11 c bounds 136184 >= 3003 @ 2.43103
2.94/3.12 c bounds 136184 >= 3004 @ 2.43504
2.94/3.12 c bounds 136184 >= 3005 @ 2.43715
2.94/3.12 c bounds 136184 >= 3006 @ 2.44014
2.94/3.13 c bounds 136184 >= 3007 @ 2.44397
2.94/3.13 c bounds 136184 >= 3008 @ 2.44692
2.94/3.14 c bounds 136184 >= 3009 @ 2.45011
2.94/3.14 c bounds 136184 >= 3010 @ 2.45375
2.94/3.15 c bounds 136184 >= 3011 @ 2.45969
2.94/3.15 c bounds 136184 >= 3012 @ 2.46389
2.94/3.16 c bounds 136184 >= 3013 @ 2.46819
2.94/3.16 c bounds 136184 >= 3014 @ 2.47462
2.94/3.17 c bounds 136184 >= 3015 @ 2.48337
2.94/3.18 c bounds 136184 >= 3016 @ 2.48948
2.94/3.19 c bounds 136184 >= 3017 @ 2.50043
3.04/3.20 c bounds 136184 >= 3018 @ 2.50963
3.04/3.24 c bounds 136184 >= 3019 @ 2.54886
3.04/3.26 c bounds 136184 >= 3020 @ 2.56706
3.04/3.28 c bounds 136184 >= 3021 @ 2.5821
3.13/3.30 c bounds 136184 >= 3022 @ 2.6018
3.13/3.32 c bounds 136184 >= 3023 @ 2.6165
3.43/3.68 c #Conflicts: 2000 | #Constraints: 11735
3.43/3.68 c INPROCESSING
3.43/3.68 c GARBAGE COLLECT
3.43/3.68 c rational objective 3023
3.63/3.81 c bounds 136184 >= 3024 @ 3.10255
3.63/3.83 c bounds 136184 >= 3025 @ 3.1192
3.63/3.83 c bounds 136184 >= 3026 @ 3.12104
3.63/3.84 c bounds 136184 >= 3027 @ 3.12488
3.63/3.84 c bounds 136184 >= 3028 @ 3.12774
5.33/5.56 c #Conflicts: 3000 | #Constraints: 11203
5.33/5.56 c #Conflicts: 4000 | #Constraints: 12203
5.33/5.56 c INPROCESSING
5.33/5.56 c GARBAGE COLLECT
5.33/5.56 c bounds 134178 >= 3028 @ 4.79763
5.33/5.56 c bounds 134177 >= 3028 @ 4.80331
5.33/5.57 c bounds 134176 >= 3028 @ 4.80918
5.33/5.58 c bounds 133175 >= 3028 @ 4.82175
5.43/5.64 c bounds 133174 >= 3028 @ 4.87367
5.43/5.65 c bounds 132174 >= 3028 @ 4.88815
5.43/5.67 c bounds 132173 >= 3028 @ 4.91013
5.43/5.69 c bounds 131173 >= 3028 @ 4.92378
5.53/5.73 c bounds 131172 >= 3028 @ 4.95553
5.53/5.75 c bounds 130172 >= 3028 @ 4.98502
5.63/5.81 c bounds 129172 >= 3028 @ 5.04219
5.63/5.86 c bounds 129171 >= 3028 @ 5.09159
5.73/5.93 c bounds 128171 >= 3028 @ 5.15304
5.73/5.98 c bounds 127170 >= 3028 @ 5.20642
5.84/6.04 c bounds 127169 >= 3028 @ 5.25968
5.93/6.11 c bounds 126169 >= 3028 @ 5.32331
5.93/6.17 c bounds 125169 >= 3028 @ 5.37694
6.03/6.24 c #Conflicts: 5000 | #Constraints: 11621
6.03/6.24 c bounds 125168 >= 3028 @ 5.45308
6.13/6.38 c bounds 125167 >= 3028 @ 5.58176
6.23/6.44 c bounds 125166 >= 3028 @ 5.64776
6.32/6.52 c bounds 125165 >= 3028 @ 5.71916
6.32/6.59 c bounds 125164 >= 3028 @ 5.79436
6.43/6.66 c bounds 125163 >= 3028 @ 5.85632
6.53/6.72 c bounds 125162 >= 3028 @ 5.91927
6.53/6.79 c bounds 125161 >= 3028 @ 5.97981
6.63/6.85 c bounds 124161 >= 3028 @ 6.04448
6.72/6.91 c bounds 123161 >= 3028 @ 6.10231
6.83/7.01 c bounds 122160 >= 3028 @ 6.19411
8.12/8.36 c #Conflicts: 6000 | #Constraints: 12632
8.12/8.36 c INPROCESSING
8.12/8.36 c GARBAGE COLLECT
8.12/8.36 c rational objective 3028
8.22/8.43 c bounds 121160 >= 3028 @ 7.59234
8.22/8.47 c bounds 120160 >= 3028 @ 7.6281
8.22/8.49 c bounds 119160 >= 3028 @ 7.64877
8.33/8.52 c bounds 119159 >= 3028 @ 7.67624
8.33/8.56 c bounds 118158 >= 3028 @ 7.70805
8.43/8.61 c bounds 117157 >= 3028 @ 7.75624
8.53/8.73 c #Conflicts: 7000 | #Constraints: 11632
8.53/8.73 c bounds 117156 >= 3028 @ 7.87653
8.53/8.79 c bounds 117155 >= 3028 @ 7.92948
8.72/8.92 c bounds 117154 >= 3028 @ 8.0543
8.82/9.01 c bounds 117153 >= 3028 @ 8.14095
8.82/9.09 c bounds 117152 >= 3028 @ 8.22045
8.93/9.17 c bounds 117151 >= 3028 @ 8.30102
9.12/9.30 c bounds 117150 >= 3028 @ 8.4254
9.12/9.38 c bounds 117149 >= 3028 @ 8.51183
9.32/9.50 c bounds 116149 >= 3028 @ 8.62298
10.82/11.07 c #Conflicts: 8000 | #Constraints: 12641
10.82/11.07 c #Conflicts: 9000 | #Constraints: 13641
10.82/11.07 c INPROCESSING
10.82/11.07 c GARBAGE COLLECT
10.82/11.07 c rational objective 3028
10.92/11.15 c bounds 116148 >= 3028 @ 10.2255
10.92/11.18 c bounds 115148 >= 3028 @ 10.2535
11.01/11.23 c bounds 114148 >= 3028 @ 10.3004
11.11/11.35 c bounds 114147 >= 3028 @ 10.4143
11.22/11.44 c bounds 113147 >= 3028 @ 10.5028
11.32/11.52 c bounds 112147 >= 3028 @ 10.5849
11.41/11.60 c bounds 112146 >= 3028 @ 10.6569
11.51/11.72 c bounds 112145 >= 3028 @ 10.776
11.51/11.76 c bounds 111145 >= 3028 @ 10.8181
11.62/11.85 c bounds 110144 >= 3028 @ 10.9013
11.71/11.96 c #Conflicts: 10000 | #Constraints: 12363
11.71/11.96 c bounds 110143 >= 3028 @ 11.0151
11.82/12.03 c bounds 109143 >= 3028 @ 11.0851
11.92/12.12 c bounds 108142 >= 3028 @ 11.1682
12.11/12.34 c bounds 107142 >= 3028 @ 11.3865
13.92/14.15 c #Conflicts: 11000 | #Constraints: 13367
13.92/14.15 c #Conflicts: 12000 | #Constraints: 14367
13.92/14.15 c INPROCESSING
13.92/14.15 c GARBAGE COLLECT
13.92/14.15 c rational objective 3028
14.01/14.29 c bounds 107141 >= 3028 @ 13.2967
14.51/14.73 c bounds 106140 >= 3028 @ 13.7216
14.81/15.05 c #Conflicts: 13000 | #Constraints: 12785
14.81/15.05 c bounds 105140 >= 3028 @ 14.0368
14.91/15.16 c bounds 104141 >= 3028 @ 14.143
15.01/15.24 c bounds 103141 >= 3028 @ 14.2207
15.10/15.34 c bounds 102141 >= 3028 @ 14.3183
15.81/16.07 c #Conflicts: 14000 | #Constraints: 13789
15.81/16.07 c bounds 102141 >= 3029 @ 15.0271
16.00/16.22 c bounds 101140 >= 3029 @ 15.1735
16.10/16.35 c bounds 101139 >= 3029 @ 15.2973
16.20/16.41 c bounds 101138 >= 3029 @ 15.359
16.20/16.48 c bounds 101137 >= 3029 @ 15.4184
16.30/16.55 c bounds 101136 >= 3029 @ 15.4917
16.40/16.63 c bounds 101135 >= 3029 @ 15.5645
16.49/16.72 c bounds 101134 >= 3029 @ 15.6504
16.60/16.80 c bounds 101133 >= 3029 @ 15.7308
17.50/17.74 c #Conflicts: 15000 | #Constraints: 14854
17.50/17.74 c INPROCESSING
17.50/17.74 c GARBAGE COLLECT
17.50/17.74 c rational objective 3029
17.60/17.84 c bounds 100134 >= 3029 @ 16.7444
17.60/17.87 c bounds 100133 >= 3029 @ 16.7722
19.90/20.12 c #Conflicts: 16000 | #Constraints: 13075
19.90/20.12 c bounds 99132 >= 3029 @ 18.9823
21.59/21.81 c #Conflicts: 17000 | #Constraints: 14079
21.59/21.81 c #Conflicts: 18000 | #Constraints: 15079
21.59/21.81 c INPROCESSING
21.59/21.81 c GARBAGE COLLECT
21.59/21.81 c rational objective 3029
25.18/25.45 c #Conflicts: 19000 | #Constraints: 13064
25.18/25.45 c #Conflicts: 20000 | #Constraints: 14064
25.18/25.45 c #Conflicts: 21000 | #Constraints: 15064
25.18/25.45 c INPROCESSING
25.18/25.45 c GARBAGE COLLECT
25.18/25.45 c rational objective 3029
28.87/29.19 c #Conflicts: 22000 | #Constraints: 12885
28.87/29.19 c #Conflicts: 23000 | #Constraints: 13885
28.87/29.19 c #Conflicts: 24000 | #Constraints: 14885
28.87/29.19 c #Conflicts: 25000 | #Constraints: 15885
28.87/29.19 c INPROCESSING
28.87/29.19 c GARBAGE COLLECT
28.87/29.19 c rational objective 3029
32.65/32.92 c #Conflicts: 26000 | #Constraints: 13502
32.65/32.92 c #Conflicts: 27000 | #Constraints: 14502
32.65/32.92 c #Conflicts: 28000 | #Constraints: 15502
32.65/32.92 c #Conflicts: 29000 | #Constraints: 16502
32.65/32.92 c INPROCESSING
32.65/32.92 c GARBAGE COLLECT
32.65/32.92 c rational objective 3029
32.76/33.01 c bounds 99131 >= 3029 @ 31.5977
32.76/33.03 c bounds 98131 >= 3029 @ 31.6235
32.76/33.10 c bounds 97131 >= 3029 @ 31.6847
32.96/33.28 c bounds 97130 >= 3029 @ 31.8537
33.15/33.42 c bounds 96129 >= 3029 @ 31.986
36.74/37.23 c #Conflicts: 30000 | #Constraints: 13914
36.74/37.23 c #Conflicts: 31000 | #Constraints: 14914
36.74/37.23 c #Conflicts: 32000 | #Constraints: 15914
36.74/37.23 c #Conflicts: 33000 | #Constraints: 16914
36.74/37.23 c INPROCESSING
36.74/37.23 c GARBAGE COLLECT
36.74/37.23 c rational objective 3029
39.63/40.14 c #Conflicts: 34000 | #Constraints: 14114
39.63/40.14 c bounds 95129 >= 3029 @ 38.3885
43.93/44.41 c #Conflicts: 35000 | #Constraints: 15124
43.93/44.41 c #Conflicts: 36000 | #Constraints: 16124
43.93/44.41 c #Conflicts: 37000 | #Constraints: 17124
43.93/44.41 c INPROCESSING
43.93/44.41 c GARBAGE COLLECT
43.93/44.41 c rational objective 3029
49.40/49.94 c #Conflicts: 38000 | #Constraints: 14116
49.40/49.94 c #Conflicts: 39000 | #Constraints: 15116
49.40/49.94 c #Conflicts: 40000 | #Constraints: 16116
49.40/49.94 c #Conflicts: 41000 | #Constraints: 17116
49.40/49.94 c INPROCESSING
49.40/49.94 c GARBAGE COLLECT
49.40/49.94 c rational objective 3029
50.00/50.50 c #Conflicts: 42000 | #Constraints: 13935
50.00/50.50 c bounds 94128 >= 3029 @ 48.5974
50.80/51.32 c bounds 93128 >= 3029 @ 49.4035
55.39/55.90 c #Conflicts: 43000 | #Constraints: 14957
55.39/55.90 c #Conflicts: 44000 | #Constraints: 15957
55.39/55.90 c #Conflicts: 45000 | #Constraints: 16957
55.39/55.90 c #Conflicts: 46000 | #Constraints: 17957
55.39/55.90 c INPROCESSING
55.39/55.90 c GARBAGE COLLECT
55.39/55.90 c rational objective 3029
57.97/58.55 c #Conflicts: 47000 | #Constraints: 14557
57.97/58.55 c bounds 93127 >= 3029 @ 56.5134
62.86/63.42 c #Conflicts: 48000 | #Constraints: 15596
62.86/63.42 c #Conflicts: 49000 | #Constraints: 16596
62.86/63.42 c #Conflicts: 50000 | #Constraints: 17596
62.86/63.42 c #Conflicts: 51000 | #Constraints: 18596
62.86/63.42 c INPROCESSING
62.86/63.42 c GARBAGE COLLECT
62.86/63.42 c rational objective 3029
63.66/64.24 c bounds 92126 >= 3029 @ 62.104
66.26/66.84 c #Conflicts: 52000 | #Constraints: 14992
66.26/66.84 c #Conflicts: 53000 | #Constraints: 16022
66.26/66.84 c bounds 91125 >= 3029 @ 64.6414
70.45/71.04 c #Conflicts: 54000 | #Constraints: 17032
70.45/71.04 c #Conflicts: 55000 | #Constraints: 18032
70.45/71.04 c #Conflicts: 56000 | #Constraints: 19032
70.45/71.04 c INPROCESSING
70.45/71.04 c GARBAGE COLLECT
70.45/71.04 c rational objective 3029
76.43/77.03 c #Conflicts: 57000 | #Constraints: 15176
76.43/77.03 c #Conflicts: 58000 | #Constraints: 16176
76.43/77.03 c #Conflicts: 59000 | #Constraints: 17176
76.43/77.03 c #Conflicts: 60000 | #Constraints: 18176
76.43/77.03 c #Conflicts: 61000 | #Constraints: 19176
76.43/77.03 c INPROCESSING
76.43/77.03 c GARBAGE COLLECT
76.43/77.03 c rational objective 3029
76.54/77.13 c bounds 91124 >= 3029 @ 74.7237
93.78/94.50 c #Conflicts: 62000 | #Constraints: 15185
93.78/94.50 c #Conflicts: 63000 | #Constraints: 16210
93.78/94.50 c #Conflicts: 64000 | #Constraints: 17217
93.78/94.50 c #Conflicts: 65000 | #Constraints: 18218
93.78/94.50 c bounds 91123 >= 3029 @ 91.8399
96.07/96.79 c #Conflicts: 66000 | #Constraints: 19223
96.07/96.79 c INPROCESSING
96.07/96.79 c GARBAGE COLLECT
96.07/96.79 c rational objective 3029
104.35/106.09 c #Conflicts: 67000 | #Constraints: 14995
104.35/106.09 c #Conflicts: 68000 | #Constraints: 15995
104.35/106.09 c #Conflicts: 69000 | #Constraints: 16995
104.35/106.09 c #Conflicts: 70000 | #Constraints: 17995
104.35/106.09 c #Conflicts: 71000 | #Constraints: 18995
104.35/106.09 c #Conflicts: 72000 | #Constraints: 19995
104.35/106.09 c INPROCESSING
104.35/106.09 c GARBAGE COLLECT
104.35/106.09 c rational objective 3029
112.52/114.26 c #Conflicts: 73000 | #Constraints: 15607
112.52/114.26 c #Conflicts: 74000 | #Constraints: 16607
112.52/114.26 c #Conflicts: 75000 | #Constraints: 17607
112.52/114.26 c #Conflicts: 76000 | #Constraints: 18607
112.52/114.26 c #Conflicts: 77000 | #Constraints: 19607
112.52/114.26 c #Conflicts: 78000 | #Constraints: 20607
112.52/114.26 c INPROCESSING
112.52/114.26 c GARBAGE COLLECT
112.52/114.26 c rational objective 3029
122.50/124.22 c #Conflicts: 79000 | #Constraints: 16019
122.50/124.22 c #Conflicts: 80000 | #Constraints: 17019
122.50/124.22 c #Conflicts: 81000 | #Constraints: 18019
122.50/124.22 c #Conflicts: 82000 | #Constraints: 19019
122.50/124.22 c #Conflicts: 83000 | #Constraints: 20019
122.50/124.22 c #Conflicts: 84000 | #Constraints: 21019
122.50/124.22 c INPROCESSING
122.50/124.22 c GARBAGE COLLECT
122.50/124.22 c rational objective 3029
132.23/134.73 c #Conflicts: 85000 | #Constraints: 16225
132.23/134.73 c #Conflicts: 86000 | #Constraints: 17225
132.23/134.73 c #Conflicts: 87000 | #Constraints: 18225
132.23/134.73 c #Conflicts: 88000 | #Constraints: 19225
132.23/134.73 c #Conflicts: 89000 | #Constraints: 20225
132.23/134.73 c #Conflicts: 90000 | #Constraints: 21225
132.23/134.73 c INPROCESSING
132.23/134.73 c GARBAGE COLLECT
132.23/134.73 c rational objective 3029
141.21/143.76 c #Conflicts: 91000 | #Constraints: 16236
141.21/143.76 c #Conflicts: 92000 | #Constraints: 17236
141.21/143.76 c #Conflicts: 93000 | #Constraints: 18236
141.21/143.76 c #Conflicts: 94000 | #Constraints: 19236
141.21/143.76 c #Conflicts: 95000 | #Constraints: 20236
141.21/143.76 c #Conflicts: 96000 | #Constraints: 21236
141.21/143.76 c INPROCESSING
141.21/143.76 c GARBAGE COLLECT
141.21/143.76 c rational objective 3029
154.27/156.81 c #Conflicts: 97000 | #Constraints: 16047
154.27/156.81 c #Conflicts: 98000 | #Constraints: 17047
154.27/156.81 c #Conflicts: 99000 | #Constraints: 18047
154.27/156.81 c #Conflicts: 100000 | #Constraints: 19047
154.27/156.81 c #Conflicts: 101000 | #Constraints: 20047
154.27/156.81 c #Conflicts: 102000 | #Constraints: 21047
154.27/156.81 c #Conflicts: 103000 | #Constraints: 22047
154.27/156.81 c INPROCESSING
154.27/156.81 c GARBAGE COLLECT
154.27/156.81 c rational objective 3029
165.34/167.97 c #Conflicts: 104000 | #Constraints: 16638
165.34/167.97 c #Conflicts: 105000 | #Constraints: 17638
165.34/167.97 c #Conflicts: 106000 | #Constraints: 18638
165.34/167.97 c #Conflicts: 107000 | #Constraints: 19638
165.34/167.97 c #Conflicts: 108000 | #Constraints: 20638
165.34/167.97 c #Conflicts: 109000 | #Constraints: 21638
165.34/167.97 c #Conflicts: 110000 | #Constraints: 22638
165.34/167.97 c INPROCESSING
165.34/167.97 c GARBAGE COLLECT
165.34/167.97 c rational objective 3029
165.74/168.34 c bounds 90122 >= 3029 @ 162.867
168.44/171.08 c #Conflicts: 111000 | #Constraints: 17080
168.44/171.08 c #Conflicts: 112000 | #Constraints: 18100
168.44/171.08 c bounds 90121 >= 3029 @ 165.557
171.12/173.72 c #Conflicts: 113000 | #Constraints: 19118
171.12/173.72 c bounds 90120 >= 3029 @ 168.158
179.00/181.66 c #Conflicts: 114000 | #Constraints: 20127
179.00/181.66 c #Conflicts: 115000 | #Constraints: 21127
179.00/181.66 c #Conflicts: 116000 | #Constraints: 22127
179.00/181.66 c #Conflicts: 117000 | #Constraints: 23127
179.00/181.66 c INPROCESSING
179.00/181.66 c GARBAGE COLLECT
179.00/181.66 c rational objective 3029
182.00/184.65 c #Conflicts: 118000 | #Constraints: 17257
182.00/184.65 c #Conflicts: 119000 | #Constraints: 18257
182.00/184.65 c bounds 90120 >= 3030 @ 178.95
182.60/185.25 c #Conflicts: 120000 | #Constraints: 19277
182.60/185.25 c bounds 89120 >= 3030 @ 179.548
182.80/185.42 c bounds 89119 >= 3030 @ 179.709
183.00/185.63 c bounds 89118 >= 3030 @ 179.92
183.19/185.82 c bounds 89117 >= 3030 @ 180.102
183.79/186.45 c bounds 88116 >= 3030 @ 180.721
188.18/190.82 c #Conflicts: 121000 | #Constraints: 20308
188.18/190.82 c #Conflicts: 122000 | #Constraints: 21308
188.18/190.82 c #Conflicts: 123000 | #Constraints: 22308
188.18/190.82 c #Conflicts: 124000 | #Constraints: 23308
188.18/190.82 c INPROCESSING
188.18/190.82 c GARBAGE COLLECT
188.18/190.82 c rational objective 3030
188.27/190.91 c bounds 87115 >= 3030 @ 185.086
188.97/191.65 c bounds 87114 >= 3030 @ 185.815
189.18/191.82 c bounds 87113 >= 3030 @ 185.982
190.87/193.50 c #Conflicts: 125000 | #Constraints: 17291
190.87/193.50 c bounds 86112 >= 3030 @ 187.619
199.95/202.63 c #Conflicts: 126000 | #Constraints: 18300
199.95/202.63 c #Conflicts: 127000 | #Constraints: 19300
199.95/202.63 c #Conflicts: 128000 | #Constraints: 20300
199.95/202.63 c #Conflicts: 129000 | #Constraints: 21300
199.95/202.63 c #Conflicts: 130000 | #Constraints: 22300
199.95/202.63 c #Conflicts: 131000 | #Constraints: 23300
199.95/202.63 c INPROCESSING
199.95/202.63 c GARBAGE COLLECT
199.95/202.63 c rational objective 3030
200.35/203.03 c bounds 86111 >= 3030 @ 197.012
201.04/203.77 c #Conflicts: 132000 | #Constraints: 17059
201.04/203.77 c bounds 86110 >= 3030 @ 197.735
201.24/203.93 c bounds 85110 >= 3030 @ 197.883
201.45/204.14 c bounds 84111 >= 3030 @ 198.08
201.54/204.21 c bounds 84110 >= 3030 @ 198.156
201.54/204.28 c bounds 84109 >= 3030 @ 198.217
201.65/204.34 c bounds 84108 >= 3030 @ 198.277
201.74/204.43 c bounds 84107 >= 3030 @ 198.359
201.94/204.63 c #Conflicts: 133000 | #Constraints: 18085
201.94/204.63 c bounds 83106 >= 3030 @ 198.558
202.74/205.41 c bounds 83105 >= 3030 @ 199.314
203.63/206.36 c #Conflicts: 134000 | #Constraints: 19101
203.63/206.36 c bounds 82104 >= 3030 @ 200.255
211.52/214.24 c #Conflicts: 135000 | #Constraints: 20107
211.52/214.24 c #Conflicts: 136000 | #Constraints: 21107
211.52/214.24 c #Conflicts: 137000 | #Constraints: 22107
211.52/214.24 c #Conflicts: 138000 | #Constraints: 23107
211.52/214.24 c #Conflicts: 139000 | #Constraints: 24107
211.52/214.24 c INPROCESSING
211.52/214.24 c GARBAGE COLLECT
211.52/214.24 c rational objective 3030
214.41/217.15 c #Conflicts: 140000 | #Constraints: 17683
214.41/217.15 c #Conflicts: 141000 | #Constraints: 18697
214.41/217.15 c bounds 81105 >= 3030 @ 210.869
214.81/217.59 c bounds 81104 >= 3030 @ 211.291
215.70/218.44 c #Conflicts: 142000 | #Constraints: 19737
215.70/218.44 c bounds 80104 >= 3030 @ 212.136
220.81/225.02 c #Conflicts: 143000 | #Constraints: 20753
220.81/225.02 c #Conflicts: 144000 | #Constraints: 21753
220.81/225.02 c #Conflicts: 145000 | #Constraints: 22753
220.81/225.02 c #Conflicts: 146000 | #Constraints: 23753
220.81/225.02 c #Conflicts: 147000 | #Constraints: 24753
220.81/225.02 c INPROCESSING
220.81/225.02 c GARBAGE COLLECT
220.81/225.02 c rational objective 3030
221.02/225.24 c bounds 80103 >= 3030 @ 217.367
221.21/225.40 c bounds 79104 >= 3030 @ 217.532
221.31/225.58 c bounds 79103 >= 3030 @ 217.708
221.51/225.74 c bounds 79102 >= 3030 @ 217.862
221.61/225.87 c bounds 79101 >= 3030 @ 217.987
222.11/226.35 c #Conflicts: 148000 | #Constraints: 18145
222.11/226.35 c bounds 78100 >= 3030 @ 218.449
222.50/226.73 c bounds 78099 >= 3030 @ 218.821
223.01/227.21 c bounds 78098 >= 3030 @ 219.29
223.51/227.78 c bounds 78097 >= 3030 @ 219.848
224.30/228.56 c #Conflicts: 149000 | #Constraints: 19202
224.30/228.56 c bounds 77097 >= 3030 @ 220.601
234.38/238.66 c #Conflicts: 150000 | #Constraints: 20207
234.38/238.66 c #Conflicts: 151000 | #Constraints: 21207
234.38/238.66 c #Conflicts: 152000 | #Constraints: 22207
234.38/238.66 c #Conflicts: 153000 | #Constraints: 23207
234.38/238.66 c #Conflicts: 154000 | #Constraints: 24207
234.38/238.66 c #Conflicts: 155000 | #Constraints: 25207
234.38/238.66 c INPROCESSING
234.38/238.66 c GARBAGE COLLECT
234.38/238.66 c rational objective 3030
235.78/240.02 c #Conflicts: 156000 | #Constraints: 18321
235.78/240.02 c bounds 77096 >= 3030 @ 231.879
240.16/244.46 c #Conflicts: 157000 | #Constraints: 19337
240.16/244.46 c #Conflicts: 158000 | #Constraints: 20352
240.16/244.46 c bounds 76095 >= 3030 @ 236.232
248.12/252.95 c #Conflicts: 159000 | #Constraints: 21375
248.12/252.95 c #Conflicts: 160000 | #Constraints: 22375
248.12/252.95 c #Conflicts: 161000 | #Constraints: 23375
248.12/252.95 c #Conflicts: 162000 | #Constraints: 24375
248.12/252.95 c #Conflicts: 163000 | #Constraints: 25375
248.12/252.95 c INPROCESSING
248.12/252.95 c GARBAGE COLLECT
248.12/252.95 c rational objective 3030
257.80/262.66 c #Conflicts: 164000 | #Constraints: 18310
257.80/262.66 c #Conflicts: 165000 | #Constraints: 19310
257.80/262.66 c #Conflicts: 166000 | #Constraints: 20310
257.80/262.66 c #Conflicts: 167000 | #Constraints: 21310
257.80/262.66 c #Conflicts: 168000 | #Constraints: 22310
257.80/262.66 c #Conflicts: 169000 | #Constraints: 23310
257.80/262.66 c #Conflicts: 170000 | #Constraints: 24310
257.80/262.66 c #Conflicts: 171000 | #Constraints: 25310
257.80/262.66 c INPROCESSING
257.80/262.66 c GARBAGE COLLECT
257.80/262.66 c rational objective 3030
258.69/263.53 c #Conflicts: 172000 | #Constraints: 18106
258.69/263.53 c bounds 76094 >= 3030 @ 254.523
258.80/263.65 c bounds 75093 >= 3030 @ 254.635
260.70/265.54 c #Conflicts: 173000 | #Constraints: 19109
260.70/265.54 c bounds 74093 >= 3030 @ 256.506
262.39/267.29 c #Conflicts: 174000 | #Constraints: 20111
262.39/267.29 c #Conflicts: 175000 | #Constraints: 21112
262.39/267.29 c bounds 73092 >= 3030 @ 258.225
272.17/277.02 c #Conflicts: 176000 | #Constraints: 22117
272.17/277.02 c #Conflicts: 177000 | #Constraints: 23117
272.17/277.02 c #Conflicts: 178000 | #Constraints: 24117
272.17/277.02 c #Conflicts: 179000 | #Constraints: 25117
272.17/277.02 c #Conflicts: 180000 | #Constraints: 26117
272.17/277.02 c INPROCESSING
272.17/277.02 c GARBAGE COLLECT
272.17/277.02 c rational objective 3030
272.47/277.38 c bounds 73091 >= 3030 @ 268.165
278.56/284.11 c #Conflicts: 181000 | #Constraints: 18694
278.56/284.11 c #Conflicts: 182000 | #Constraints: 19703
278.56/284.11 c bounds 72090 >= 3030 @ 274.13
286.54/292.15 c #Conflicts: 183000 | #Constraints: 20716
286.54/292.15 c #Conflicts: 184000 | #Constraints: 21716
286.54/292.15 c #Conflicts: 185000 | #Constraints: 22716
286.54/292.15 c #Conflicts: 186000 | #Constraints: 23716
286.54/292.15 c #Conflicts: 187000 | #Constraints: 24716
286.54/292.15 c #Conflicts: 188000 | #Constraints: 25716
286.54/292.15 c #Conflicts: 189000 | #Constraints: 26716
286.54/292.15 c INPROCESSING
286.54/292.15 c GARBAGE COLLECT
286.54/292.15 c rational objective 3030
303.50/309.12 c #Conflicts: 190000 | #Constraints: 19111
303.50/309.12 c #Conflicts: 191000 | #Constraints: 20111
303.50/309.12 c #Conflicts: 192000 | #Constraints: 21111
303.50/309.12 c #Conflicts: 193000 | #Constraints: 22111
303.50/309.12 c #Conflicts: 194000 | #Constraints: 23111
303.50/309.12 c #Conflicts: 195000 | #Constraints: 24111
303.50/309.12 c #Conflicts: 196000 | #Constraints: 25111
303.50/309.12 c #Conflicts: 197000 | #Constraints: 26111
303.50/309.12 c #Conflicts: 198000 | #Constraints: 27111
303.50/309.12 c INPROCESSING
303.50/309.12 c GARBAGE COLLECT
303.50/309.12 c rational objective 3030
316.10/322.11 c #Conflicts: 199000 | #Constraints: 19301
316.10/322.11 c #Conflicts: 200000 | #Constraints: 20301
316.10/322.11 c #Conflicts: 201000 | #Constraints: 21301
316.10/322.11 c #Conflicts: 202000 | #Constraints: 22301
316.10/322.11 c #Conflicts: 203000 | #Constraints: 23301
316.10/322.11 c #Conflicts: 204000 | #Constraints: 24301
316.10/322.11 c #Conflicts: 205000 | #Constraints: 25301
316.10/322.11 c #Conflicts: 206000 | #Constraints: 26301
316.10/322.11 c #Conflicts: 207000 | #Constraints: 27301
316.10/322.11 c INPROCESSING
316.10/322.11 c GARBAGE COLLECT
316.10/322.11 c rational objective 3030
321.98/328.01 c #Conflicts: 208000 | #Constraints: 19304
321.98/328.01 c #Conflicts: 209000 | #Constraints: 20341
321.98/328.01 c #Conflicts: 210000 | #Constraints: 21356
321.98/328.01 c #Conflicts: 211000 | #Constraints: 22376
321.98/328.01 c bounds 71090 >= 3030 @ 317.145
335.05/341.17 c #Conflicts: 212000 | #Constraints: 23378
335.05/341.17 c #Conflicts: 213000 | #Constraints: 24378
335.05/341.17 c #Conflicts: 214000 | #Constraints: 25378
335.05/341.17 c #Conflicts: 215000 | #Constraints: 26378
335.05/341.17 c #Conflicts: 216000 | #Constraints: 27378
335.05/341.17 c INPROCESSING
335.05/341.17 c GARBAGE COLLECT
335.05/341.17 c rational objective 3030
343.16/352.76 c #Conflicts: 217000 | #Constraints: 19159
343.16/352.76 c #Conflicts: 218000 | #Constraints: 20172
343.16/352.76 c #Conflicts: 219000 | #Constraints: 21185
343.16/352.76 c #Conflicts: 220000 | #Constraints: 22210
343.16/352.76 c #Conflicts: 221000 | #Constraints: 23219
343.16/352.76 c bounds 71089 >= 3030 @ 338.211
351.34/360.90 c #Conflicts: 222000 | #Constraints: 24233
351.34/360.90 c #Conflicts: 223000 | #Constraints: 25233
351.34/360.90 c #Conflicts: 224000 | #Constraints: 26234
351.34/360.90 c #Conflicts: 225000 | #Constraints: 27234
351.34/360.90 c #Conflicts: 226000 | #Constraints: 28234
351.34/360.90 c INPROCESSING
351.34/360.90 c GARBAGE COLLECT
351.34/360.90 c rational objective 3030
370.17/379.95 c #Conflicts: 227000 | #Constraints: 19772
370.17/379.95 c #Conflicts: 228000 | #Constraints: 20772
370.17/379.95 c #Conflicts: 229000 | #Constraints: 21772
370.17/379.95 c #Conflicts: 230000 | #Constraints: 22772
370.17/379.95 c #Conflicts: 231000 | #Constraints: 23772
370.17/379.95 c #Conflicts: 232000 | #Constraints: 24772
370.17/379.95 c #Conflicts: 233000 | #Constraints: 25772
370.17/379.95 c #Conflicts: 234000 | #Constraints: 26772
370.17/379.95 c #Conflicts: 235000 | #Constraints: 27772
370.17/379.95 c #Conflicts: 236000 | #Constraints: 28772
370.17/379.95 c INPROCESSING
370.17/379.95 c GARBAGE COLLECT
370.17/379.95 c rational objective 3030
386.43/396.22 c #Conflicts: 237000 | #Constraints: 20151
386.43/396.22 c #Conflicts: 238000 | #Constraints: 21151
386.43/396.22 c #Conflicts: 239000 | #Constraints: 22151
386.43/396.22 c #Conflicts: 240000 | #Constraints: 23151
386.43/396.22 c #Conflicts: 241000 | #Constraints: 24151
386.43/396.22 c #Conflicts: 242000 | #Constraints: 25151
386.43/396.22 c #Conflicts: 243000 | #Constraints: 26151
386.43/396.22 c #Conflicts: 244000 | #Constraints: 27151
386.43/396.22 c #Conflicts: 245000 | #Constraints: 28151
386.43/396.22 c #Conflicts: 246000 | #Constraints: 29151
386.43/396.22 c INPROCESSING
386.43/396.22 c GARBAGE COLLECT
386.43/396.22 c rational objective 3030
390.91/400.70 c #Conflicts: 247000 | #Constraints: 20361
390.91/400.70 c #Conflicts: 248000 | #Constraints: 21385
390.91/400.70 c bounds 70089 >= 3030 @ 385.441
405.18/416.97 c #Conflicts: 249000 | #Constraints: 22394
405.18/416.97 c #Conflicts: 250000 | #Constraints: 23394
405.18/416.97 c #Conflicts: 251000 | #Constraints: 24394
405.18/416.97 c #Conflicts: 252000 | #Constraints: 25394
405.18/416.97 c #Conflicts: 253000 | #Constraints: 26394
405.18/416.97 c #Conflicts: 254000 | #Constraints: 27394
405.18/416.97 c #Conflicts: 255000 | #Constraints: 28394
405.18/416.97 c #Conflicts: 256000 | #Constraints: 29394
405.18/416.97 c INPROCESSING
405.18/416.97 c GARBAGE COLLECT
405.18/416.97 c rational objective 3030
407.18/418.98 c #Conflicts: 257000 | #Constraints: 20373
407.18/418.98 c bounds 70088 >= 3030 @ 401.608
423.73/435.53 c #Conflicts: 258000 | #Constraints: 21379
423.73/435.53 c #Conflicts: 259000 | #Constraints: 22379
423.73/435.53 c #Conflicts: 260000 | #Constraints: 23379
423.73/435.53 c #Conflicts: 261000 | #Constraints: 24379
423.73/435.53 c #Conflicts: 262000 | #Constraints: 25379
423.73/435.53 c #Conflicts: 263000 | #Constraints: 26379
423.73/435.53 c #Conflicts: 264000 | #Constraints: 27379
423.73/435.53 c #Conflicts: 265000 | #Constraints: 28379
423.73/435.53 c #Conflicts: 266000 | #Constraints: 29379
423.73/435.53 c INPROCESSING
423.73/435.53 c GARBAGE COLLECT
423.73/435.53 c rational objective 3030
428.01/439.80 c #Conflicts: 267000 | #Constraints: 20151
428.01/439.80 c #Conflicts: 268000 | #Constraints: 21175
428.01/439.80 c #Conflicts: 269000 | #Constraints: 22208
428.01/439.80 c bounds 70087 >= 3030 @ 422.135
442.86/457.59 c #Conflicts: 270000 | #Constraints: 23228
442.86/457.59 c #Conflicts: 271000 | #Constraints: 24235
442.86/457.59 c #Conflicts: 272000 | #Constraints: 25251
442.86/457.59 c #Conflicts: 273000 | #Constraints: 26262
442.86/457.59 c #Conflicts: 274000 | #Constraints: 27283
442.86/457.59 c bounds 70086 >= 3030 @ 436.915
450.54/465.24 c #Conflicts: 275000 | #Constraints: 28290
450.54/465.24 c #Conflicts: 276000 | #Constraints: 29290
450.54/465.24 c #Conflicts: 277000 | #Constraints: 30290
450.54/465.24 c INPROCESSING
450.54/465.24 c GARBAGE COLLECT
450.54/465.24 c rational objective 3030
466.27/481.16 c #Conflicts: 278000 | #Constraints: 20785
466.27/481.16 c #Conflicts: 279000 | #Constraints: 21785
466.27/481.16 c #Conflicts: 280000 | #Constraints: 22785
466.27/481.16 c #Conflicts: 281000 | #Constraints: 23785
466.27/481.16 c #Conflicts: 282000 | #Constraints: 24785
466.27/481.16 c #Conflicts: 283000 | #Constraints: 25785
466.27/481.16 c #Conflicts: 284000 | #Constraints: 26785
466.27/481.16 c #Conflicts: 285000 | #Constraints: 27785
466.27/481.16 c #Conflicts: 286000 | #Constraints: 28785
466.27/481.16 c #Conflicts: 287000 | #Constraints: 29785
466.27/481.16 c #Conflicts: 288000 | #Constraints: 30785
466.27/481.16 c INPROCESSING
466.27/481.16 c GARBAGE COLLECT
466.27/481.16 c rational objective 3030
480.72/495.61 c #Conflicts: 289000 | #Constraints: 21172
480.72/495.61 c #Conflicts: 290000 | #Constraints: 22172
480.72/495.61 c #Conflicts: 291000 | #Constraints: 23172
480.72/495.61 c #Conflicts: 292000 | #Constraints: 24172
480.72/495.61 c #Conflicts: 293000 | #Constraints: 25172
480.72/495.61 c #Conflicts: 294000 | #Constraints: 26172
480.72/495.61 c #Conflicts: 295000 | #Constraints: 27172
480.72/495.61 c #Conflicts: 296000 | #Constraints: 28172
480.72/495.61 c #Conflicts: 297000 | #Constraints: 29172
480.72/495.61 c #Conflicts: 298000 | #Constraints: 30172
480.72/495.61 c #Conflicts: 299000 | #Constraints: 31172
480.72/495.61 c INPROCESSING
480.72/495.61 c GARBAGE COLLECT
480.72/495.61 c rational objective 3030
497.48/512.58 c #Conflicts: 300000 | #Constraints: 21348
497.48/512.58 c #Conflicts: 301000 | #Constraints: 22348
497.48/512.58 c #Conflicts: 302000 | #Constraints: 23348
497.48/512.58 c #Conflicts: 303000 | #Constraints: 24348
497.48/512.58 c #Conflicts: 304000 | #Constraints: 25348
497.48/512.58 c #Conflicts: 305000 | #Constraints: 26348
497.48/512.58 c #Conflicts: 306000 | #Constraints: 27348
497.48/512.58 c #Conflicts: 307000 | #Constraints: 28348
497.48/512.58 c #Conflicts: 308000 | #Constraints: 29348
497.48/512.58 c #Conflicts: 309000 | #Constraints: 30348
497.48/512.58 c #Conflicts: 310000 | #Constraints: 31348
497.48/512.58 c INPROCESSING
497.48/512.58 c GARBAGE COLLECT
497.48/512.58 c rational objective 3030
513.14/528.25 c #Conflicts: 311000 | #Constraints: 21361
513.14/528.25 c #Conflicts: 312000 | #Constraints: 22361
513.14/528.25 c #Conflicts: 313000 | #Constraints: 23361
513.14/528.25 c #Conflicts: 314000 | #Constraints: 24361
513.14/528.25 c #Conflicts: 315000 | #Constraints: 25361
513.14/528.25 c #Conflicts: 316000 | #Constraints: 26361
513.14/528.25 c #Conflicts: 317000 | #Constraints: 27361
513.14/528.25 c #Conflicts: 318000 | #Constraints: 28361
513.14/528.25 c #Conflicts: 319000 | #Constraints: 29361
513.14/528.25 c #Conflicts: 320000 | #Constraints: 30361
513.14/528.25 c #Conflicts: 321000 | #Constraints: 31361
513.14/528.25 c INPROCESSING
513.14/528.25 c GARBAGE COLLECT
513.14/528.25 c rational objective 3030
540.75/556.10 c #Conflicts: 322000 | #Constraints: 21149
540.75/556.10 c #Conflicts: 323000 | #Constraints: 22160
540.75/556.10 c #Conflicts: 324000 | #Constraints: 23172
540.75/556.10 c #Conflicts: 325000 | #Constraints: 24195
540.75/556.10 c #Conflicts: 326000 | #Constraints: 25218
540.75/556.10 c #Conflicts: 327000 | #Constraints: 26229
540.75/556.10 c #Conflicts: 328000 | #Constraints: 27237
540.75/556.10 c #Conflicts: 329000 | #Constraints: 28250
540.75/556.10 c #Conflicts: 330000 | #Constraints: 29271
540.75/556.10 c bounds 70085 >= 3030 @ 533.805
549.93/565.52 c #Conflicts: 331000 | #Constraints: 30274
549.93/565.52 c #Conflicts: 332000 | #Constraints: 31274
549.93/565.52 c #Conflicts: 333000 | #Constraints: 32274
549.93/565.52 c INPROCESSING
549.93/565.52 c GARBAGE COLLECT
549.93/565.52 c rational objective 3030
569.28/584.99 c #Conflicts: 334000 | #Constraints: 21821
569.28/584.99 c #Conflicts: 335000 | #Constraints: 22821
569.28/584.99 c #Conflicts: 336000 | #Constraints: 23821
569.28/584.99 c #Conflicts: 337000 | #Constraints: 24821
569.28/584.99 c #Conflicts: 338000 | #Constraints: 25821
569.28/584.99 c #Conflicts: 339000 | #Constraints: 26821
569.28/584.99 c #Conflicts: 340000 | #Constraints: 27821
569.28/584.99 c #Conflicts: 341000 | #Constraints: 28821
569.28/584.99 c #Conflicts: 342000 | #Constraints: 29821
569.28/584.99 c #Conflicts: 343000 | #Constraints: 30821
569.28/584.99 c #Conflicts: 344000 | #Constraints: 31821
569.28/584.99 c #Conflicts: 345000 | #Constraints: 32821
569.28/584.99 c INPROCESSING
569.28/584.99 c GARBAGE COLLECT
569.28/584.99 c rational objective 3030
589.19/605.08 c #Conflicts: 346000 | #Constraints: 22185
589.19/605.08 c #Conflicts: 347000 | #Constraints: 23185
589.19/605.08 c #Conflicts: 348000 | #Constraints: 24185
589.19/605.08 c #Conflicts: 349000 | #Constraints: 25185
589.19/605.08 c #Conflicts: 350000 | #Constraints: 26185
589.19/605.08 c #Conflicts: 351000 | #Constraints: 27185
589.19/605.08 c #Conflicts: 352000 | #Constraints: 28185
589.19/605.08 c #Conflicts: 353000 | #Constraints: 29185
589.19/605.08 c #Conflicts: 354000 | #Constraints: 30186
589.19/605.08 c #Conflicts: 355000 | #Constraints: 31187
589.19/605.08 c #Conflicts: 356000 | #Constraints: 32187
589.19/605.08 c #Conflicts: 357000 | #Constraints: 33187
589.19/605.08 c INPROCESSING
589.19/605.08 c GARBAGE COLLECT
589.19/605.08 c rational objective 3030
608.44/624.33 c #Conflicts: 358000 | #Constraints: 22365
608.44/624.33 c #Conflicts: 359000 | #Constraints: 23365
608.44/624.33 c #Conflicts: 360000 | #Constraints: 24365
608.44/624.33 c #Conflicts: 361000 | #Constraints: 25365
608.44/624.33 c #Conflicts: 362000 | #Constraints: 26365
608.44/624.33 c #Conflicts: 363000 | #Constraints: 27365
608.44/624.33 c #Conflicts: 364000 | #Constraints: 28365
608.44/624.33 c #Conflicts: 365000 | #Constraints: 29365
608.44/624.33 c #Conflicts: 366000 | #Constraints: 30365
608.44/624.33 c #Conflicts: 367000 | #Constraints: 31365
608.44/624.33 c #Conflicts: 368000 | #Constraints: 32365
608.44/624.33 c #Conflicts: 369000 | #Constraints: 33365
608.44/624.33 c INPROCESSING
608.44/624.33 c GARBAGE COLLECT
608.44/624.33 c rational objective 3030
633.95/650.10 c #Conflicts: 370000 | #Constraints: 22350
633.95/650.10 c #Conflicts: 371000 | #Constraints: 23350
633.95/650.10 c #Conflicts: 372000 | #Constraints: 24350
633.95/650.10 c #Conflicts: 373000 | #Constraints: 25350
633.95/650.10 c #Conflicts: 374000 | #Constraints: 26351
633.95/650.10 c #Conflicts: 375000 | #Constraints: 27352
633.95/650.10 c #Conflicts: 376000 | #Constraints: 28352
633.95/650.10 c #Conflicts: 377000 | #Constraints: 29352
633.95/650.10 c #Conflicts: 378000 | #Constraints: 30352
633.95/650.10 c #Conflicts: 379000 | #Constraints: 31353
633.95/650.10 c #Conflicts: 380000 | #Constraints: 32353
633.95/650.10 c #Conflicts: 381000 | #Constraints: 33353
633.95/650.10 c INPROCESSING
633.95/650.10 c GARBAGE COLLECT
633.95/650.10 c rational objective 3030
654.36/670.64 c #Conflicts: 382000 | #Constraints: 22144
654.36/670.64 c #Conflicts: 383000 | #Constraints: 23144
654.36/670.64 c #Conflicts: 384000 | #Constraints: 24144
654.36/670.64 c #Conflicts: 385000 | #Constraints: 25144
654.36/670.64 c #Conflicts: 386000 | #Constraints: 26144
654.36/670.64 c #Conflicts: 387000 | #Constraints: 27144
654.36/670.64 c #Conflicts: 388000 | #Constraints: 28144
654.36/670.64 c #Conflicts: 389000 | #Constraints: 29144
654.36/670.64 c #Conflicts: 390000 | #Constraints: 30144
654.36/670.64 c #Conflicts: 391000 | #Constraints: 31144
654.36/670.64 c bounds 70085 >= 3031 @ 646.288
655.45/671.70 c bounds 3031 >= 3031 @ 647.332
655.45/671.70 c cpu time 647.332 s
655.45/671.70 c deterministic time 85182002311 8.52e+10
655.45/671.70 c optimization time 0.598197 s
655.45/671.70 c total solve time 646.692 s
655.45/671.70 c core-guided solve time 506.508 s
655.45/671.70 c propagation time 442.76 s
655.45/671.70 c conflict analysis time 172.204 s
655.45/671.70 c propagations 57279012
655.45/671.70 c resolve steps 2841386
655.45/671.70 c decisions 4655452
655.45/671.70 c conflicts 391894
655.45/671.70 c restarts 942
655.45/671.70 c inprocessing phases 53
655.45/671.70 c garbage collections 53 ,( 100.00 )
655.45/671.70 c input clauses 9326 ,( 81.50 )
655.45/671.70 c input cardinalities 1265 ,( 11.05 )
655.45/671.70 c input general constraints 852 ,( 7.45 )
655.45/671.70 c input average constraint length 181.28
655.45/671.70 c input average constraint degree 17911.34
655.45/671.70 c learned clauses 36889 ,( 9.37 )
655.45/671.70 c learned cardinalities 2426 ,( 0.62 )
655.45/671.70 c learned general constraints 354344 ,( 90.01 )
655.45/671.70 c learned average constraint length 1103.91
655.45/671.70 c learned average constraint degree 10986675215.13
655.45/671.70 c watched CF 32, 64, 128, Arb: 17980 , 0 , 0 , 0
655.45/671.70 c counting CF 32, 64, 128, Arb: 337217 , 0 , 0 , 0
655.45/671.70 c watched constraints 17980 ,( 5.06 )
655.45/671.70 c counting constraints 337216 ,( 94.94 )
655.45/671.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 26643938 , 20564746 , 6574110487 ,( 270460114 , 6303650373 )
655.45/671.70 c gcd simplifications 5745
655.45/671.70 c detected cardinalities 107
655.45/671.70 c weakened non-implied lits 176817636
655.45/671.70 c weakened non-implying lits 69953
655.45/671.70 c original variables 5055
655.45/671.70 c clausal propagations 18045526
655.45/671.70 c cardinality propagations 9756706
655.45/671.70 c watched propagations 22210
655.45/671.70 c counting propagations 23854776
655.45/671.70 c watch lookups 15115513946
655.45/671.70 c watch backjump lookups 0
655.45/671.70 c watch checks 1317908022
655.45/671.70 c propagation checks 67547630961
655.45/671.70 c constraint additions 1076286760
655.45/671.70 c trail pops 62322804
655.45/671.70 c formula constraints 7907
655.45/671.70 c learned constraints 390863
655.45/671.70 c bound constraints 2214
655.45/671.70 c core-guided constraints 1322
655.45/671.70 c encountered formula constraints 1315608
655.45/671.70 c encountered learned constraints 1490647
655.45/671.70 c encountered bound constraints 208
655.45/671.70 c encountered core-guided constraints 391494
655.45/671.70 c LP total time 55.0504 s
655.45/671.70 c LP solve time 49.68 s
655.45/671.70 c LP constraints added 9968
655.45/671.70 c LP constraints removed 1999
655.45/671.70 c LP pivots internal 393855
655.45/671.70 c LP pivots root 11498
655.45/671.70 c LP calls 3285
655.45/671.70 c LP optimalities 2181
655.45/671.70 c LP no pivot count 404
655.45/671.70 c LP infeasibilities 1101
655.45/671.70 c LP valid Farkas constraints 1099
655.45/671.70 c LP learned Farkas constraints 1094
655.45/671.70 c LP basis resets 2
655.45/671.70 c LP cycling count 0
655.45/671.70 c LP singular count 0
655.45/671.70 c LP no primal count 0
655.45/671.70 c LP no farkas count 2
655.45/671.70 c LP other issue count 0
655.45/671.70 c LP Gomory cuts 603
655.45/671.70 c LP learned cuts 1458
655.45/671.70 c LP deleted cuts 1999
655.45/671.70 c LP encountered Gomory constraints 8130
655.45/671.70 c LP encountered Farkas constraints 14961
655.45/671.70 c LP encountered learned Farkas constraints 11138
655.45/671.70 c CG auxiliary variables introduced 629
655.45/671.70 c CG solutions found 158
655.45/671.70 c CG cores constructed 565
655.45/671.70 c CG core cardinality constraints returned 206
655.45/671.70 c CG unit cores 0
655.45/671.70 c CG single cores 565
655.45/671.70 c CG blocks removed during cardinality reduction 0
655.45/671.70 c CG first core best 0
655.45/671.70 c CG decision core best 0
655.45/671.70 c CG core reduction tie 0
655.45/671.70 c CG core degree average 1.53
655.45/671.70 c CG core slack average 5.36
655.45/671.70 c CG core upper bound improvements 0
655.45/671.70 c STR number of successful calls 0
655.45/671.70 c STR number of unsuccessful calls 0
655.45/671.70 c STR number of inconclusive calls 0
655.45/671.70 c STR number of successful attempts 0
655.45/671.70 c STR number of unsuccessful attempts 0
655.45/671.70 c STR number of inconclusive attempts 0
655.45/671.70 c STR average degree increase per successful call inf
655.45/671.70 c STR average degree increase per successful attempt inf
655.45/671.70 c STR total number of conflicts for successful attempts 0
655.45/671.70 c STR total number of conflicts for unsuccessful attempts 0
655.45/671.70 c STR total number of conflicts for inconclusive attempts 0
655.45/671.70 c STR average number of conflicts per successful attempt inf
655.45/671.70 c STR average number of conflicts per unsuccessful attempt inf
655.45/671.70 c STR average number of conflicts per inconclusive attempt inf
655.45/671.70 c AVG.sumWPerc 83.35
655.45/671.70 c bigint constraints 0
655.45/671.70 o 3031
655.45/671.70 s OPTIMUM FOUND
655.45/671.70 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 -x507 x508 x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 x521 -x522 -x523 x524 -x525 -x526 x527 -x528 x529 -x530 -x531 x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 -x554 x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 x655 -x656 -x657 x658 -x659 x660 x661 -x662 x663 x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 x699 x700 x701 x702 -x703 x704 x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 x720 x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 x731 -x732 x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 x759 -x760 -x761 -x762 x763 -x764 x765 -x766 -x767 -x768 x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 x780 -x781 -x782 -x783 x784 -x785 -x786 x787 x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 x806 -x807 -x808 -x809 -x810 x811 -x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 x1111 -x1112 x1113 -x1114 -x1115 x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 x1421 x1422 -x1423 x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 -x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 x1925 x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 x2849 -x2850 x2851 x2852 x2853 x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 -x2878 -x2879 x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 x2902 -x2903 x2904 x2905 x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 x2914 -x2915 x2916 x2917 -x2918 -x2919 x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 x2949 x2950 x2951 x2952 x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 x3010 x3011 -x3012 x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 x3021 x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 x3032 -x3033 -x3034 x3035 x3036 -x3037 x3038 -x3039 x3040 x3041 x3042 x3043 x3044 -x3045 x3046 x3047 x3048 -x3049 x3050 -x3051 -x3052 x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 x3084 x3085 x3086 -x3087 x3088 -x3089 x3090 x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 x3111 x3112 -x3113 -x3114 -x3115 x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 x3129 x3130 x3131 -x3132 x3133 -x3134 -x3135 -x3136 x3137 -x3138 x3139 -x3140 x3141 x3142 x3143 -x3144 -x3145 x3146 -x3147 -x3148 x3149 x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 x3167 x3168 x3169 -x3170 x3171 x3172 x3173 -x3174 -x3175 x3176 -x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 x3214 -x3215 x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 x3227 -x3228 x3229 x3230 x3231 x3232 x3233 x3234 -x3235 x3236 -x3237 -x3238 -x3239 x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 x3248 x3249 -x3250 x3251 -x3252 x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 -x3262 x3263 -x3264 -x3265 x3266 x3267 -x3268 -x3269 -x3270 x3271 x3272 x3273 -x3274 x3275 -x3276 -x3277 x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 x3288 x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Tue Jul 15 15:23:26 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 3031 <= obj <= 3031
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 3031 <= obj <= 3031
--summary--
ALL OK
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: 63708 MiB (60957 MiB free)
memory of node 1: 64465 MiB (62402 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531879-1752584603/watcher-4531879-1752584603 -o /tmp/evaluation-result-4531879-1752584603/solver-4531879-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752584602-123265 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531879-1752584603.opb PROOFDIR/proof-4531879-1752584603
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123303, runsolver pid=123292
[startup+0.100056 s]*
/proc/loadavg: 0.10 0.28 0.22 3/259 123307
/proc/meminfo: memFree=126253200/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123305] ppid=123303 vsize=16096 memory=8176 CPUtime=0 cores=5,7
/proc/123305/stat : 123305 (pbsuma) R 123303 123303 123252 0 -1 4194304 1535 0 0 0 0 0 0 0 20 0 1 0 174138931 16482304 2044 18446744073709551615 4210688 4653049 140735022817440 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26509312 140735022823649 140735022823984 140735022823984 140735022829551 0
/proc/123305/statm: 4024 2044 1024 108 0 1432 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 20288 KiB
Current children cumulated memory: 11120 KiB
[startup+0.205567 s]*
/proc/loadavg: 0.10 0.28 0.22 3/261 123311
/proc/meminfo: memFree=126191040/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=58824 memory=14540 CPUtime=0.03 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 1333 0 0 0 2 1 0 0 20 0 1 0 174138939 60235776 3635 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 14706 3635 2080 1147 0 2132 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63016 KiB
Current children cumulated memory: 17484 KiB
[startup+0.3057 s]*
/proc/loadavg: 0.10 0.28 0.22 3/261 123316
/proc/meminfo: memFree=126122292/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=65836 memory=22588 CPUtime=0.12 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 3515 0 0 0 11 1 0 0 20 0 1 0 174138939 67416064 5647 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 16459 5647 2368 1147 0 3885 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70028 KiB
Current children cumulated memory: 25532 KiB
[startup+0.700186 s]
/proc/loadavg: 0.10 0.28 0.22 5/269 123327
/proc/meminfo: memFree=126066792/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=76280 memory=34760 CPUtime=0.51 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 6068 0 0 0 42 9 0 0 20 0 1 0 174138939 78110720 8690 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 19070 8690 2432 1147 0 6496 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 80472 KiB
Current children cumulated memory: 37704 KiB
[startup+1.50019 s]
/proc/loadavg: 0.10 0.28 0.22 5/269 123330
/proc/meminfo: memFree=126083364/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=109956 memory=64052 CPUtime=1.31 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 11825 0 0 0 101 30 0 0 20 0 1 0 174138939 112594944 16013 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 27489 16013 2464 1147 0 14915 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 114148 KiB
Current children cumulated memory: 66996 KiB
[startup+3.10552 s]
/proc/loadavg: 0.10 0.28 0.22 5/269 123330
/proc/meminfo: memFree=125569932/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=213000 memory=155372 CPUtime=2.91 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 29040 0 0 0 242 49 0 0 20 0 1 0 174138939 218112000 38843 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 53250 38843 2464 1147 0 40676 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 217192 KiB
Current children cumulated memory: 158316 KiB
[startup+6.30018 s]
/proc/loadavg: 0.41 0.34 0.24 5/269 123330
/proc/meminfo: memFree=125254840/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=241048 memory=178156 CPUtime=6.1 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 34751 0 0 0 550 60 0 0 20 0 1 0 174138939 246833152 44539 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 60262 44539 2464 1147 0 47688 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 245240 KiB
Current children cumulated memory: 181100 KiB
[startup+12.7002 s]
/proc/loadavg: 0.70 0.40 0.26 5/269 123330
/proc/meminfo: memFree=124940204/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=268492 memory=210388 CPUtime=12.48 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 41817 0 0 0 1173 75 0 0 20 0 1 0 174138939 274935808 52597 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 67123 52597 2464 1147 0 54549 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 272684 KiB
Current children cumulated memory: 213332 KiB
[startup+25.5002 s]
/proc/loadavg: 1.43 0.58 0.32 5/269 123331
/proc/meminfo: memFree=124633268/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=348152 memory=261260 CPUtime=25.25 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 52984 0 0 0 2424 101 0 0 20 0 1 0 174138939 356507648 65315 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 87038 65315 2464 1147 0 74464 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 352344 KiB
Current children cumulated memory: 264204 KiB
[startup+51.1057 s]
/proc/loadavg: 2.39 0.87 0.42 5/272 123334
/proc/meminfo: memFree=123773808/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=383624 memory=295668 CPUtime=50.57 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 61011 0 0 0 4918 139 0 0 20 0 1 0 174138939 392830976 73917 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 95906 73917 2464 1147 0 83332 0
Current children cumulated CPU time: 50.6 s
Current children cumulated vsize: 387816 KiB
Current children cumulated memory: 298612 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.42 0.63 5/272 123384
/proc/meminfo: memFree=123214112/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=632436 memory=493204 CPUtime=100.63 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 100608 0 0 0 9852 211 0 0 20 0 1 0 174138939 647614464 123301 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 158109 123301 2464 1147 0 145535 0
Current children cumulated CPU time: 100.66 s
Current children cumulated vsize: 636628 KiB
Current children cumulated memory: 496148 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 1.92 0.86 5/272 123386
/proc/meminfo: memFree=119900912/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=688996 memory=540948 CPUtime=159.73 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 111808 0 0 0 15689 284 0 0 20 0 1 0 174138939 705531904 135237 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 172249 135237 2464 1147 0 159675 0
Current children cumulated CPU time: 159.76 s
Current children cumulated vsize: 693188 KiB
Current children cumulated memory: 543892 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.32 1.06 5/271 123388
/proc/meminfo: memFree=119144312/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=690744 memory=556504 CPUtime=218.09 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 113126 0 0 0 21446 363 0 0 20 0 1 0 174138939 707321856 139126 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 172686 139126 2464 1147 0 160112 0
################
# More data... #
################
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=993508 memory=852656 CPUtime=447.62 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 149337 0 0 0 44156 606 0 0 20 0 1 0 174138939 1017352192 213164 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 248377 213164 2560 1147 0 235803 0
Current children cumulated CPU time: 447.65 s
Current children cumulated vsize: 997700 KiB
Current children cumulated memory: 855600 KiB
[startup+522.3 s]
/proc/loadavg: 4.08 3.48 1.93 5/272 123407
/proc/meminfo: memFree=112887668/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1022040 memory=874316 CPUtime=507.22 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 153760 0 0 0 50047 675 0 0 20 0 1 0 174138939 1046568960 218579 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 255510 218579 2560 1147 0 242936 0
Current children cumulated CPU time: 507.25 s
Current children cumulated vsize: 1026232 KiB
Current children cumulated memory: 877260 KiB
[startup+582.3 s]
/proc/loadavg: 4.21 3.63 2.08 5/272 123410
/proc/meminfo: memFree=112102340/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1118896 memory=955048 CPUtime=566.65 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 168311 0 0 0 55938 727 0 0 20 0 1 0 174138939 1145749504 238762 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 279724 238762 2560 1147 0 267150 0
Current children cumulated CPU time: 566.68 s
Current children cumulated vsize: 1123088 KiB
Current children cumulated memory: 957992 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 3.71 2.20 5/271 123412
/proc/meminfo: memFree=111263364/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1142956 memory=971048 CPUtime=626.24 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172375 0 0 0 61840 784 0 0 20 0 1 0 174138939 1170386944 242762 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 285739 242762 2560 1147 0 273165 0
Current children cumulated CPU time: 626.27 s
Current children cumulated vsize: 1147148 KiB
Current children cumulated memory: 973992 KiB
[startup+671.901 s]
# the end of solver process 123303 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=647.37 s, system=8.13858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.11 3.72 2.22 5/271 123412
/proc/meminfo: memFree=111024936/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=636.71 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 62878 793 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 636.74 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+665.6 s]
/proc/loadavg: 4.08 3.74 2.25 5/271 123412
/proc/meminfo: memFree=110605780/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=649.34 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 64128 806 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 649.37 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+668.8 s]
/proc/loadavg: 4.08 3.74 2.25 5/271 123412
/proc/meminfo: memFree=110493136/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=652.54 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 64446 808 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 652.57 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+670.4 s]
/proc/loadavg: 4.08 3.74 2.26 5/271 123412
/proc/meminfo: memFree=110437148/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=654.13 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 64604 809 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 654.16 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+671.2 s]
/proc/loadavg: 4.08 3.74 2.26 5/271 123412
/proc/meminfo: memFree=110424092/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=654.93 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 64683 810 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 654.96 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+671.6 s]
/proc/loadavg: 4.08 3.74 2.26 5/271 123412
/proc/meminfo: memFree=110424092/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=655.32 cores=5,7
/proc/123308/stat : 123308 (roundingsat) R 123303 123303 123252 0 -1 4194304 172691 0 0 0 64722 810 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 655.35 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+671.8 s]
/proc/loadavg: 4.08 3.74 2.26 5/271 123412
/proc/meminfo: memFree=110424092/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
[pid=123308] ppid=123303 vsize=1144204 memory=972328 CPUtime=655.44 cores=5,7
/proc/123308/stat : 123308 (roundingsat) D 123303 123303 123252 0 -1 4194304 172691 0 0 0 64733 811 0 0 20 0 1 0 174138939 1171664896 243082 18446744073709551615 4227072 8923577 140729901863232 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 14925824 140729901865204 140729901865510 140729901865510 140729901871082 0
/proc/123308/statm: 286051 243082 2560 1147 0 273477 0
Current children cumulated CPU time: 655.47 s
Current children cumulated vsize: 1148396 KiB
Current children cumulated memory: 975272 KiB
[startup+671.9 s]
/proc/loadavg: 4.08 3.74 2.26 5/271 123412
/proc/meminfo: memFree=110424092/131250000 swapFree=33010672/33010684
[pid=123303] ppid=123292 vsize=4192 memory=2944 CPUtime=0.03 cores=5,7
/proc/123303/stat : 123303 (run-opt-ls-log.) S 123292 123303 123252 0 -1 4194304 239 2397 0 0 0 0 3 0 20 0 1 0 174138926 4292608 736 18446744073709551615 94257865990144 94257866884677 140721572780576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94257867123728 94257867171472 94257887596544 140721572788505 140721572788703 140721572788703 140721572794307 0
/proc/123303/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 671.901
CPU time (s): 655.508
CPU user time (s): 647.37
CPU system time (s): 8.13858
CPU usage (%): 97.5602
Max. virtual memory (cumulated for all children) (KiB): 1148396
Max. memory (cumulated for all children) (KiB): 975272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.37
system time used= 8.13858
maximum resident set size= 972328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6897328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2312
involuntary context switches= 1088
# summary of solver processes directly reported to runsolver:
# pid: 123303
# total CPU time (s): 655.508
# total CPU user time (s): 647.37
# total CPU system time (s): 8.13858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18974 second user time and 3.29122 second system time
The end
Launcher Data
Begin job on nodeC026 at 2025-07-15 15:03:23
IDJOB=4531879
IDBENCH=146649
IDSOLVER=3392
FILE ID=nodeC026/4531879-1752584603
RUNJOBID= nodeC026-1752584602-123265
SLURM_JOB_ID= 9684356
Free space on /tmp= 431372 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531879-1752584603/watcher-4531879-1752584603 -o /tmp/evaluation-result-4531879-1752584603/solver-4531879-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752584602-123265 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531879-1752584603.opb PROOFDIR/proof-4531879-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=1356186634
nodeC026 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 : 0xb00002a
cpu MHz : 3599.764
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3602.528
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3598.358
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.860
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.966
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.994
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3600.687
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.794
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126329968 kB
MemAvailable: 129636112 kB
Buffers: 2128 kB
Cached: 3928124 kB
SwapCached: 4 kB
Active: 744128 kB
Inactive: 3254484 kB
Active(anon): 76752 kB
Inactive(anon): 9684 kB
Active(file): 667376 kB
Inactive(file): 3244800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19116 kB
Writeback: 0 kB
AnonPages: 71472 kB
Mapped: 105876 kB
Shmem: 18076 kB
KReclaimable: 454768 kB
Slab: 558028 kB
SReclaimable: 454768 kB
SUnreclaim: 103260 kB
KernelStack: 4024 kB
PageTables: 2400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 332600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431336 MiB
End job on nodeC026 at 2025-07-15 15:14:35