Trace number 4484081
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.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4484081-1751284091.opb'
0.00/0.01 c read 0.15MB (2.14ms)
0.00/0.01 c [cnf: #variables 3300 #clauses 1986 #duplicates 0 #arr 15418]
0.00/0.01 c output proof to 'PROOFDIR/proof-4484081-1751284091'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 996] (4.06ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c found row 8x32, generating row predicate
0.00/0.02 c found row 4x32, generating row predicate
0.00/0.02 c found row 8x32, generating row predicate
0.00/0.02 c found row 4x32, generating row predicate
0.00/0.02 c found row 5x26, generating row predicate
0.00/0.02 c found row 6x32, generating row predicate
0.00/0.02 c found row 5x26, generating row predicate
0.00/0.02 c found row 4x26, generating row predicate
0.00/0.02 c found row 3x32, generating row predicate
0.00/0.03 c found row 4x32, generating row predicate
0.00/0.03 c found row 3x32, generating row predicate
0.00/0.03 c found row 3x26, generating row predicate
0.00/0.03 c (13.55ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 16570 #edges 53404]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 2.52*10^7 #generators 24] (4.42ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c ran it=0, +gens=0
0.00/0.04 c con best_support=16, best_gens=1, +gens=0
0.00/0.04 c (4.23ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c add generic predicates (break_depth=20)
0.00/0.04 c added predicates for 24 generators (0.02ms)
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 5334 #add_vars 1755]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4484081-1751284091.opb.pre'
0.00/0.04 c wrote 0.34MB (0.87ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 13.55ms 36.86% detect_special
0.00/0.04 c 7.34ms 19.97% other
0.00/0.04 c 4.42ms 12.03% detect_generic
0.00/0.04 c 4.23ms 11.50% optimize_gens
0.00/0.04 c 4.06ms 11.04% approx_orbits
0.00/0.04 c 2.14ms 5.82% parse
0.00/0.04 c 0.87ms 2.37% output
0.00/0.04 c 0.13ms 0.34% finalize_order
0.00/0.04 c 0.02ms 0.06% break_generic
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 36.75ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.06 c RoundingSat 2
0.00/0.06 c branch pb25
0.00/0.06 c commit 63f22ad
0.07/0.11 c #variables 5055 #constraints 7907
0.07/0.11 c objective is ce32
0.07/0.19 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.19 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.19 c bounds 142199 >= -1407 @ 0.116987
0.27/0.33 c bounds 141199 >= -1407 @ 0.253689
0.27/0.34 c bounds 141199 >= -827 @ 0.254844
0.27/0.34 c bounds 141199 >= -826 @ 0.25556
0.27/0.34 c bounds 141199 >= -825 @ 0.256547
0.27/0.34 c bounds 141199 >= -824 @ 0.257546
0.27/0.34 c bounds 141199 >= -823 @ 0.258541
0.27/0.34 c bounds 141199 >= -822 @ 0.25954
0.27/0.34 c bounds 141199 >= -821 @ 0.260542
0.27/0.34 c bounds 141199 >= -820 @ 0.261558
0.27/0.34 c bounds 141199 >= -819 @ 0.262573
0.27/0.35 c bounds 141199 >= -818 @ 0.263604
0.27/0.35 c bounds 141199 >= -817 @ 0.26463
0.27/0.35 c bounds 141199 >= -816 @ 0.265668
0.27/0.35 c bounds 141199 >= -815 @ 0.266727
0.27/0.35 c bounds 141199 >= -814 @ 0.267789
0.27/0.35 c bounds 141199 >= -813 @ 0.268845
0.27/0.35 c bounds 141199 >= -812 @ 0.269923
0.27/0.35 c bounds 141199 >= -811 @ 0.270113
0.27/0.35 c bounds 141199 >= -810 @ 0.271067
0.27/0.35 c bounds 141199 >= -809 @ 0.272132
0.27/0.36 c bounds 141199 >= -808 @ 0.273198
0.27/0.36 c bounds 141199 >= -807 @ 0.274273
0.27/0.36 c bounds 141199 >= -806 @ 0.275351
0.27/0.36 c bounds 141199 >= -805 @ 0.276422
0.27/0.36 c bounds 141199 >= -804 @ 0.277493
0.27/0.36 c bounds 141199 >= -803 @ 0.278571
0.27/0.36 c bounds 141199 >= -802 @ 0.279647
0.27/0.36 c bounds 141199 >= -801 @ 0.280726
0.27/0.36 c bounds 141199 >= -800 @ 0.281811
0.27/0.37 c bounds 141199 >= -799 @ 0.28208
0.27/0.37 c bounds 141199 >= -798 @ 0.28208
0.27/0.37 c bounds 141199 >= -797 @ 0.283062
0.27/0.37 c bounds 141198 >= -797 @ 0.286238
0.27/0.37 c bounds 141198 >= -796 @ 0.286689
0.27/0.37 c bounds 141198 >= -795 @ 0.287461
0.27/0.37 c bounds 141198 >= -794 @ 0.288528
0.27/0.38 c bounds 141198 >= -793 @ 0.289616
0.27/0.38 c bounds 141198 >= -792 @ 0.290689
0.27/0.38 c bounds 141198 >= -791 @ 0.291777
0.27/0.38 c bounds 141198 >= -790 @ 0.29286
0.27/0.38 c bounds 141198 >= -789 @ 0.293937
0.27/0.38 c bounds 141198 >= -788 @ 0.295034
0.27/0.38 c bounds 141198 >= -787 @ 0.296114
0.27/0.38 c bounds 141198 >= -786 @ 0.297197
0.27/0.39 c bounds 141197 >= -786 @ 0.29904
0.27/0.39 c bounds 141197 >= -785 @ 0.300171
0.27/0.39 c bounds 141197 >= -784 @ 0.301281
0.27/0.39 c bounds 141197 >= -783 @ 0.30239
0.27/0.39 c bounds 141197 >= -782 @ 0.303492
0.27/0.39 c bounds 141197 >= -781 @ 0.304595
0.27/0.39 c bounds 141197 >= -780 @ 0.305696
0.27/0.39 c bounds 141197 >= -779 @ 0.306018
0.27/0.40 c bounds 141197 >= -778 @ 0.306732
0.27/0.40 c bounds 141197 >= -777 @ 0.307017
0.27/0.40 c bounds 141196 >= -777 @ 0.307594
0.27/0.40 c bounds 141196 >= -776 @ 0.308546
0.27/0.41 c bounds 141196 >= -775 @ 0.309504
0.38/0.41 c bounds 141196 >= -774 @ 0.311402
0.38/0.41 c bounds 141195 >= -774 @ 0.314707
0.38/0.41 c bounds 141195 >= -773 @ 0.314945
0.38/0.41 c bounds 141195 >= -772 @ 0.315682
0.38/0.42 c bounds 141195 >= -771 @ 0.317578
0.38/0.42 c bounds 141195 >= -770 @ 0.318572
0.38/0.42 c bounds 141194 >= -770 @ 0.320473
0.38/0.42 c bounds 141194 >= -769 @ 0.321487
0.38/0.43 c bounds 141194 >= -768 @ 0.322706
0.38/0.43 c bounds 141194 >= -767 @ 0.323374
0.38/0.43 c bounds 141193 >= -767 @ 0.326485
0.38/0.43 c bounds 141193 >= -766 @ 0.327533
0.38/0.43 c bounds 141193 >= -765 @ 0.329406
0.38/0.44 c bounds 141193 >= -764 @ 0.33135
0.38/0.44 c bounds 141193 >= -763 @ 0.332373
0.38/0.44 c bounds 141192 >= -763 @ 0.333898
0.38/0.44 c bounds 141192 >= -762 @ 0.335896
0.38/0.45 c bounds 141192 >= -761 @ 0.33689
0.38/0.45 c bounds 141192 >= -760 @ 0.337888
0.38/0.45 c bounds 141192 >= -759 @ 0.338886
0.38/0.45 c bounds 141191 >= -759 @ 0.338969
0.38/0.45 c bounds 141191 >= -758 @ 0.34096
0.38/0.46 c bounds 141191 >= 242 @ 0.342132
0.38/0.46 c bounds 141191 >= 243 @ 0.343163
0.38/0.46 c bounds 141191 >= 244 @ 0.34451
0.38/0.47 c bounds 140191 >= 244 @ 0.348855
0.38/0.47 c bounds 140191 >= 245 @ 0.349933
0.38/0.47 c bounds 140191 >= 246 @ 0.351092
0.38/0.47 c bounds 140191 >= 247 @ 0.35296
0.38/0.48 c bounds 140191 >= 248 @ 0.354091
0.38/0.48 c bounds 140191 >= 249 @ 0.355095
0.38/0.48 c bounds 140191 >= 250 @ 0.356092
0.38/0.48 c bounds 140191 >= 251 @ 0.357942
0.38/0.48 c bounds 140191 >= 252 @ 0.35995
0.38/0.49 c bounds 140190 >= 252 @ 0.363828
0.38/0.49 c bounds 140190 >= 253 @ 0.364825
0.38/0.49 c bounds 140190 >= 254 @ 0.365824
0.38/0.50 c bounds 140190 >= 255 @ 0.366894
0.38/0.50 c bounds 140190 >= 256 @ 0.368822
0.38/0.50 c bounds 140190 >= 257 @ 0.369815
0.38/0.50 c bounds 140190 >= 258 @ 0.370622
0.38/0.50 c bounds 140190 >= 259 @ 0.371434
0.47/0.51 c bounds 140190 >= 260 @ 0.372405
0.47/0.51 c bounds 140190 >= 261 @ 0.373413
0.47/0.51 c bounds 140190 >= 262 @ 0.374409
0.47/0.51 c bounds 140190 >= 263 @ 0.375404
0.47/0.51 c bounds 140190 >= 264 @ 0.3764
0.47/0.52 c bounds 140189 >= 264 @ 0.385434
0.47/0.53 c bounds 140189 >= 265 @ 0.386644
0.47/0.53 c bounds 140189 >= 266 @ 0.387636
0.47/0.53 c bounds 140189 >= 267 @ 0.388663
0.47/0.53 c bounds 140189 >= 268 @ 0.389675
0.47/0.54 c bounds 140189 >= 269 @ 0.390689
0.47/0.54 c bounds 140189 >= 270 @ 0.391712
0.47/0.54 c bounds 140189 >= 271 @ 0.39277
0.47/0.54 c bounds 140189 >= 272 @ 0.393778
0.47/0.54 c bounds 140189 >= 273 @ 0.39475
0.47/0.55 c bounds 140189 >= 274 @ 0.39572
0.47/0.55 c bounds 140189 >= 275 @ 0.396685
0.47/0.55 c bounds 140189 >= 276 @ 0.39766
0.47/0.55 c bounds 140189 >= 277 @ 0.398639
0.47/0.55 c bounds 140189 >= 278 @ 0.399632
0.47/0.56 c bounds 140189 >= 279 @ 0.400603
0.47/0.56 c bounds 140189 >= 280 @ 0.401586
0.47/0.56 c bounds 140189 >= 281 @ 0.402299
0.47/0.56 c bounds 140189 >= 282 @ 0.402364
0.47/0.56 c bounds 140189 >= 283 @ 0.404285
0.47/0.56 c bounds 140189 >= 284 @ 0.405284
0.47/0.57 c bounds 140189 >= 285 @ 0.407218
0.47/0.57 c bounds 140189 >= 286 @ 0.408275
0.47/0.57 c bounds 140189 >= 287 @ 0.409273
0.47/0.57 c bounds 140189 >= 288 @ 0.410268
0.57/0.62 c bounds 140188 >= 288 @ 0.450152
0.57/0.62 c bounds 140188 >= 289 @ 0.45093
0.57/0.62 c bounds 140188 >= 290 @ 0.452936
0.57/0.62 c bounds 140188 >= 291 @ 0.453982
0.57/0.63 c bounds 140188 >= 292 @ 0.455035
0.57/0.63 c bounds 140188 >= 293 @ 0.456145
0.57/0.63 c bounds 140188 >= 294 @ 0.458154
0.57/0.63 c bounds 140188 >= 295 @ 0.46025
0.57/0.64 c bounds 140188 >= 296 @ 0.46234
0.57/0.64 c bounds 140188 >= 297 @ 0.46444
0.57/0.64 c bounds 140188 >= 298 @ 0.466653
0.57/0.64 c bounds 140188 >= 299 @ 0.467893
0.57/0.64 c bounds 140188 >= 300 @ 0.469114
0.57/0.65 c bounds 140188 >= 301 @ 0.469694
0.57/0.65 c bounds 140188 >= 302 @ 0.471773
0.57/0.65 c bounds 140188 >= 303 @ 0.473053
0.57/0.65 c bounds 140188 >= 1302 @ 0.474493
0.57/0.66 c bounds 140188 >= 2301 @ 0.476498
0.57/0.66 c bounds 140188 >= 2302 @ 0.47864
0.57/0.66 c bounds 140188 >= 2303 @ 0.47987
0.57/0.66 c bounds 140188 >= 2304 @ 0.482
0.57/0.66 c bounds 140188 >= 2305 @ 0.484273
0.57/0.67 c bounds 140188 >= 2306 @ 0.485646
0.57/0.67 c bounds 140188 >= 2308 @ 0.48683
0.57/0.67 c bounds 140188 >= 2310 @ 0.488002
0.57/0.67 c bounds 140188 >= 2311 @ 0.489394
0.57/0.68 c bounds 140188 >= 2312 @ 0.490569
0.57/0.68 c bounds 140188 >= 2314 @ 0.491757
0.57/0.68 c bounds 140188 >= 2315 @ 0.492037
0.57/0.68 c bounds 140188 >= 2317 @ 0.494273
0.57/0.68 c bounds 140188 >= 2318 @ 0.49566
0.57/0.69 c bounds 140188 >= 2319 @ 0.497806
0.57/0.69 c bounds 140188 >= 2321 @ 0.500045
0.57/0.69 c bounds 140188 >= 2323 @ 0.502298
0.57/0.69 c bounds 140188 >= 2325 @ 0.503622
0.66/0.70 c bounds 140188 >= 2326 @ 0.504798
0.66/0.70 c bounds 140188 >= 2327 @ 0.505994
0.66/0.70 c bounds 140188 >= 2328 @ 0.508189
0.66/0.70 c bounds 140188 >= 2330 @ 0.508986
0.66/0.70 c bounds 140188 >= 2332 @ 0.509697
0.66/0.71 c bounds 140188 >= 2334 @ 0.510912
0.66/0.71 c bounds 140188 >= 2335 @ 0.512317
0.66/0.71 c bounds 140188 >= 2336 @ 0.514361
0.66/0.71 c bounds 140188 >= 2337 @ 0.516592
0.66/0.72 c bounds 140188 >= 2339 @ 0.516962
0.66/0.72 c bounds 140188 >= 2341 @ 0.518242
0.66/0.72 c bounds 140188 >= 2342 @ 0.519407
0.66/0.72 c bounds 140188 >= 2343 @ 0.521479
0.66/0.72 c bounds 140188 >= 2344 @ 0.522768
0.66/0.73 c bounds 140188 >= 2346 @ 0.523953
0.66/0.73 c bounds 140188 >= 2347 @ 0.526169
0.66/0.73 c bounds 140188 >= 2349 @ 0.527515
0.66/0.73 c bounds 140188 >= 2350 @ 0.528636
0.66/0.74 c bounds 140188 >= 2352 @ 0.528924
0.66/0.74 c bounds 140188 >= 2354 @ 0.530288
0.66/0.74 c bounds 140188 >= 2356 @ 0.53146
0.66/0.74 c bounds 140188 >= 2358 @ 0.532601
0.66/0.74 c bounds 140188 >= 2359 @ 0.534776
0.66/0.75 c bounds 140188 >= 2361 @ 0.536203
0.66/0.75 c bounds 140188 >= 2363 @ 0.537417
0.66/0.75 c bounds 140188 >= 2364 @ 0.539566
0.66/0.75 c bounds 140188 >= 2366 @ 0.539965
0.66/0.76 c bounds 140188 >= 2367 @ 0.542211
0.66/0.76 c bounds 140188 >= 2369 @ 0.543563
0.66/0.76 c bounds 140188 >= 2371 @ 0.544715
0.66/0.76 c bounds 140188 >= 2374 @ 0.545151
0.66/0.77 c bounds 140188 >= 2376 @ 0.547166
0.76/0.82 c bounds 140187 >= 2376 @ 0.597529
0.76/0.82 c bounds 140187 >= 2377 @ 0.59821
0.76/0.82 c bounds 140187 >= 2378 @ 0.59942
0.76/0.82 c bounds 140187 >= 2379 @ 0.600645
0.76/0.83 c bounds 140187 >= 2380 @ 0.602915
0.76/0.83 c bounds 140187 >= 2382 @ 0.604304
0.76/0.83 c bounds 140187 >= 2383 @ 0.606473
0.76/0.83 c bounds 140187 >= 2384 @ 0.608767
0.76/0.83 c bounds 140187 >= 2386 @ 0.610269
0.76/0.84 c bounds 140187 >= 2388 @ 0.611573
0.76/0.84 c bounds 140187 >= 2389 @ 0.613946
0.76/0.84 c bounds 140187 >= 2391 @ 0.615449
0.76/0.84 c bounds 140187 >= 2392 @ 0.61607
0.76/0.85 c bounds 140187 >= 2394 @ 0.617499
0.76/0.85 c bounds 140187 >= 2396 @ 0.617661
0.76/0.85 c bounds 140187 >= 2397 @ 0.619152
0.76/0.85 c bounds 140187 >= 2399 @ 0.620521
0.76/0.86 c bounds 140187 >= 2401 @ 0.622075
0.76/0.86 c bounds 140187 >= 2402 @ 0.623172
0.76/0.86 c bounds 140187 >= 2403 @ 0.625307
0.76/0.86 c bounds 140187 >= 2404 @ 0.625633
0.76/0.87 c bounds 140187 >= 2405 @ 0.627851
0.76/0.87 c bounds 140187 >= 2407 @ 0.630128
0.76/0.87 c bounds 140187 >= 2408 @ 0.631443
0.76/0.87 c bounds 140187 >= 2409 @ 0.632665
0.76/0.87 c bounds 140187 >= 2410 @ 0.634925
0.76/0.88 c bounds 140187 >= 2412 @ 0.636292
0.76/0.88 c bounds 140187 >= 2413 @ 0.638471
0.76/0.88 c bounds 140187 >= 2414 @ 0.639934
0.76/0.88 c bounds 140187 >= 2416 @ 0.641147
0.76/0.89 c bounds 140187 >= 2417 @ 0.642296
0.76/0.89 c bounds 140187 >= 2419 @ 0.643581
0.76/0.89 c bounds 140187 >= 2420 @ 0.645847
0.76/0.89 c bounds 140187 >= 2422 @ 0.647227
0.76/0.89 c bounds 140187 >= 2424 @ 0.647569
0.87/0.90 c bounds 140187 >= 2425 @ 0.648906
0.87/0.90 c bounds 140187 >= 2427 @ 0.650118
0.87/0.90 c bounds 140187 >= 2428 @ 0.651275
0.87/0.90 c bounds 140187 >= 2430 @ 0.653551
0.87/0.91 c bounds 140187 >= 2431 @ 0.655823
0.87/0.91 c bounds 140187 >= 2433 @ 0.658107
0.87/0.91 c bounds 140187 >= 2434 @ 0.659394
0.87/0.91 c bounds 140187 >= 2435 @ 0.659977
0.87/0.92 c bounds 140187 >= 2436 @ 0.661941
0.87/0.92 c bounds 140187 >= 2437 @ 0.663213
0.87/0.92 c bounds 140187 >= 2438 @ 0.664489
0.87/0.92 c bounds 140187 >= 2439 @ 0.666231
0.87/0.92 c bounds 140187 >= 2440 @ 0.667417
0.87/0.93 c bounds 140187 >= 2442 @ 0.669678
0.87/0.93 c bounds 140187 >= 2443 @ 0.671253
0.87/0.93 c bounds 140187 >= 2444 @ 0.672196
0.87/0.93 c bounds 140187 >= 2445 @ 0.673462
0.87/0.94 c bounds 140187 >= 2446 @ 0.675723
0.87/0.94 c bounds 140187 >= 2447 @ 0.677993
0.87/0.94 c bounds 140187 >= 2448 @ 0.680251
0.87/0.94 c bounds 140187 >= 2449 @ 0.680535
0.87/0.95 c bounds 140187 >= 2450 @ 0.681951
0.87/0.95 c bounds 140187 >= 2451 @ 0.684059
0.87/0.95 c bounds 140187 >= 2452 @ 0.686314
0.97/1.03 c bounds 139186 >= 2452 @ 0.762125
0.97/1.03 c bounds 139186 >= 2453 @ 0.76474
0.97/1.04 c bounds 139186 >= 2455 @ 0.766112
0.97/1.04 c bounds 139186 >= 2457 @ 0.766638
0.97/1.04 c bounds 139186 >= 2458 @ 0.767896
0.97/1.04 c bounds 139186 >= 2459 @ 0.76915
0.97/1.05 c bounds 139186 >= 2461 @ 0.770658
0.97/1.05 c bounds 139186 >= 2462 @ 0.771927
0.97/1.05 c bounds 139186 >= 2463 @ 0.774187
0.97/1.05 c bounds 139186 >= 2464 @ 0.775691
0.97/1.05 c bounds 139186 >= 2465 @ 0.77692
0.97/1.06 c bounds 139186 >= 2467 @ 0.779251
0.97/1.06 c bounds 139186 >= 2468 @ 0.781617
0.97/1.06 c bounds 139186 >= 2469 @ 0.783027
0.97/1.06 c bounds 139186 >= 2471 @ 0.784532
0.97/1.07 c bounds 139186 >= 2472 @ 0.785812
0.97/1.07 c bounds 139186 >= 2473 @ 0.787073
0.97/1.07 c bounds 139186 >= 2475 @ 0.788412
0.97/1.07 c bounds 139186 >= 2476 @ 0.789856
0.97/1.08 c bounds 139186 >= 2477 @ 0.79112
0.97/1.08 c bounds 139186 >= 2478 @ 0.792636
0.97/1.08 c bounds 139186 >= 2479 @ 0.793871
0.97/1.08 c bounds 139186 >= 2480 @ 0.794243
0.97/1.09 c bounds 139186 >= 2481 @ 0.7957
0.97/1.09 c bounds 139186 >= 2482 @ 0.796995
0.97/1.09 c bounds 139186 >= 2483 @ 0.797505
0.97/1.09 c bounds 139186 >= 2484 @ 0.798782
0.97/1.09 c bounds 139186 >= 2485 @ 0.801039
0.97/1.10 c bounds 139186 >= 2486 @ 0.802564
0.97/1.10 c bounds 139186 >= 2487 @ 0.804766
1.06/1.10 c bounds 139186 >= 2488 @ 0.806131
1.06/1.10 c bounds 139186 >= 2489 @ 0.807637
1.06/1.11 c bounds 139186 >= 2490 @ 0.808906
1.06/1.11 c bounds 139186 >= 2491 @ 0.809411
1.06/1.11 c bounds 139186 >= 2492 @ 0.810685
1.06/1.11 c bounds 139186 >= 2493 @ 0.811957
1.06/1.12 c bounds 139186 >= 2494 @ 0.813115
1.06/1.12 c bounds 139186 >= 2495 @ 0.813725
1.06/1.12 c bounds 139186 >= 2496 @ 0.814972
1.06/1.12 c bounds 139186 >= 2497 @ 0.815492
1.06/1.13 c bounds 139186 >= 2498 @ 0.816764
1.06/1.13 c bounds 139186 >= 2499 @ 0.819009
1.06/1.13 c bounds 139186 >= 2500 @ 0.820521
1.06/1.13 c bounds 139186 >= 2501 @ 0.822695
1.06/1.13 c bounds 139186 >= 2503 @ 0.824048
1.06/1.14 c bounds 139186 >= 2505 @ 0.825562
1.06/1.14 c bounds 139186 >= 2506 @ 0.826761
1.06/1.14 c bounds 139186 >= 2508 @ 0.829115
1.06/1.14 c bounds 139186 >= 2510 @ 0.830607
1.06/1.15 c bounds 139186 >= 2514 @ 0.83188
1.06/1.15 c bounds 139186 >= 2518 @ 0.832392
1.06/1.15 c bounds 139186 >= 2523 @ 0.833667
1.06/1.15 c bounds 139186 >= 2524 @ 0.834918
1.06/1.16 c bounds 139186 >= 2528 @ 0.835451
1.06/1.16 c bounds 139186 >= 2530 @ 0.837611
1.06/1.16 c bounds 139186 >= 2534 @ 0.838975
1.06/1.16 c bounds 139186 >= 2535 @ 0.841313
1.06/1.17 c bounds 139186 >= 2537 @ 0.842713
1.06/1.17 c bounds 139186 >= 2540 @ 0.843027
1.06/1.17 c bounds 139186 >= 2542 @ 0.845385
1.06/1.17 c bounds 139186 >= 2544 @ 0.846816
1.06/1.17 c bounds 139186 >= 2546 @ 0.848104
1.06/1.18 c bounds 139186 >= 2549 @ 0.84901
1.06/1.18 c bounds 139186 >= 2550 @ 0.850818
1.06/1.18 c bounds 139186 >= 2553 @ 0.852171
1.06/1.18 c bounds 139186 >= 2554 @ 0.853655
1.06/1.19 c bounds 139186 >= 2557 @ 0.853996
1.06/1.19 c bounds 139186 >= 2558 @ 0.856355
1.06/1.19 c bounds 139186 >= 2560 @ 0.858709
1.06/1.19 c bounds 139186 >= 2561 @ 0.86006
1.16/1.20 c bounds 139186 >= 2562 @ 0.861533
1.16/1.20 c bounds 139186 >= 2564 @ 0.862792
1.16/1.20 c bounds 139186 >= 2568 @ 0.864299
1.16/1.20 c bounds 139186 >= 2572 @ 0.865566
1.16/1.21 c bounds 139186 >= 2574 @ 0.86681
1.16/1.21 c bounds 139186 >= 2578 @ 0.867329
1.16/1.21 c bounds 139186 >= 2580 @ 0.868585
1.16/1.21 c bounds 139186 >= 2584 @ 0.870875
1.16/1.22 c bounds 139186 >= 2589 @ 0.872532
1.16/1.22 c bounds 139186 >= 2590 @ 0.873873
1.16/1.22 c bounds 139186 >= 2592 @ 0.875545
1.16/1.22 c bounds 139186 >= 2595 @ 0.876269
1.16/1.23 c bounds 139186 >= 2597 @ 0.878903
1.16/1.23 c bounds 139186 >= 2599 @ 0.880695
1.16/1.23 c bounds 139186 >= 2602 @ 0.881427
1.16/1.23 c bounds 139186 >= 2605 @ 0.883608
1.16/1.24 c bounds 139186 >= 2608 @ 0.884941
1.16/1.24 c bounds 139186 >= 2611 @ 0.88642
1.16/1.24 c bounds 139186 >= 2613 @ 0.88766
1.16/1.24 c bounds 139186 >= 2616 @ 0.888954
1.16/1.25 c bounds 139186 >= 2618 @ 0.890396
1.16/1.25 c bounds 139186 >= 2622 @ 0.892564
1.16/1.25 c bounds 139186 >= 2623 @ 0.893883
1.16/1.25 c bounds 139186 >= 2625 @ 0.895366
1.16/1.25 c bounds 139186 >= 2627 @ 0.896531
1.16/1.26 c bounds 139186 >= 2631 @ 0.898854
1.16/1.26 c bounds 139186 >= 2632 @ 0.90035
1.16/1.26 c bounds 139186 >= 2635 @ 0.901514
1.16/1.26 c bounds 139186 >= 2638 @ 0.90382
1.16/1.27 c bounds 139186 >= 2642 @ 0.90615
1.16/1.27 c bounds 139186 >= 2644 @ 0.90846
1.16/1.27 c bounds 139186 >= 2647 @ 0.909781
1.16/1.27 c bounds 139186 >= 2649 @ 0.912097
1.16/1.28 c bounds 139186 >= 2652 @ 0.91349
1.16/1.28 c bounds 139186 >= 2656 @ 0.914746
1.16/1.28 c bounds 139186 >= 2660 @ 0.916251
1.16/1.28 c bounds 139186 >= 2661 @ 0.917473
1.16/1.28 c bounds 139186 >= 2662 @ 0.918708
1.16/1.29 c bounds 139186 >= 2663 @ 0.921016
1.16/1.29 c bounds 139186 >= 2664 @ 0.922741
1.16/1.29 c bounds 139186 >= 2667 @ 0.925025
1.16/1.29 c bounds 139186 >= 2668 @ 0.927318
1.26/1.30 c bounds 139186 >= 2671 @ 0.928643
1.26/1.30 c bounds 139186 >= 2674 @ 0.929159
1.26/1.30 c bounds 139186 >= 2677 @ 0.93039
1.26/1.30 c bounds 139186 >= 2678 @ 0.931613
1.26/1.31 c bounds 139186 >= 2681 @ 0.9321
1.26/1.31 c bounds 139186 >= 2683 @ 0.933324
1.26/1.31 c bounds 139186 >= 2684 @ 0.934546
1.26/1.31 c bounds 139186 >= 2686 @ 0.934835
1.26/1.32 c bounds 139186 >= 2687 @ 0.936258
1.26/1.32 c bounds 139186 >= 2689 @ 0.937417
1.36/1.41 c bounds 138185 >= 2689 @ 1.02599
1.36/1.41 c bounds 138185 >= 2691 @ 1.02764
1.36/1.42 c bounds 138185 >= 2694 @ 1.03005
1.36/1.42 c bounds 138185 >= 2696 @ 1.03149
1.36/1.42 c bounds 138185 >= 2698 @ 1.03227
1.36/1.42 c bounds 138185 >= 2700 @ 1.03458
1.36/1.43 c bounds 138185 >= 2703 @ 1.03696
1.36/1.43 c bounds 138185 >= 2707 @ 1.03935
1.36/1.43 c bounds 138185 >= 2711 @ 1.04092
1.36/1.43 c bounds 138185 >= 2712 @ 1.04211
1.36/1.43 c bounds 138185 >= 2714 @ 1.04448
1.36/1.44 c bounds 138185 >= 2717 @ 1.04687
1.36/1.44 c bounds 138185 >= 2721 @ 1.04926
1.36/1.44 c bounds 138185 >= 2722 @ 1.04983
1.36/1.44 c bounds 138185 >= 2723 @ 1.052
1.36/1.45 c bounds 138185 >= 2724 @ 1.05344
1.36/1.45 c bounds 138185 >= 2726 @ 1.05491
1.36/1.45 c bounds 138185 >= 2731 @ 1.05712
1.36/1.45 c bounds 138185 >= 2735 @ 1.05942
1.36/1.46 c bounds 138185 >= 2738 @ 1.06001
1.36/1.46 c bounds 138185 >= 2740 @ 1.06127
1.36/1.46 c bounds 138185 >= 2744 @ 1.06184
1.36/1.46 c bounds 138185 >= 2746 @ 1.06305
1.36/1.47 c bounds 138185 >= 2748 @ 1.06441
1.36/1.47 c bounds 138185 >= 2750 @ 1.06677
1.36/1.47 c bounds 138185 >= 2754 @ 1.0682
1.36/1.47 c bounds 138185 >= 2756 @ 1.06873
1.36/1.48 c bounds 138185 >= 2758 @ 1.06939
1.36/1.48 c bounds 138185 >= 2760 @ 1.07027
1.36/1.48 c bounds 138185 >= 2761 @ 1.07163
1.36/1.48 c bounds 138185 >= 2764 @ 1.07301
1.36/1.48 c bounds 138185 >= 2768 @ 1.07437
1.36/1.49 c bounds 138185 >= 2771 @ 1.07575
1.36/1.49 c bounds 138185 >= 2772 @ 1.07717
1.36/1.49 c bounds 138185 >= 2774 @ 1.07949
1.36/1.49 c bounds 138185 >= 2778 @ 1.08099
1.46/1.50 c bounds 138185 >= 2780 @ 1.08224
1.46/1.50 c bounds 138185 >= 2781 @ 1.08377
1.46/1.50 c bounds 138185 >= 2784 @ 1.08595
1.46/1.50 c bounds 138185 >= 2787 @ 1.08732
1.46/1.51 c bounds 138185 >= 2790 @ 1.08884
1.46/1.51 c bounds 138185 >= 2791 @ 1.0901
1.46/1.51 c bounds 138185 >= 2792 @ 1.0904
1.46/1.51 c bounds 138185 >= 2794 @ 1.09191
1.46/1.52 c bounds 138185 >= 2795 @ 1.09317
1.46/1.52 c bounds 138185 >= 2796 @ 1.09549
1.46/1.52 c bounds 138185 >= 2799 @ 1.09694
1.46/1.52 c bounds 138185 >= 2800 @ 1.0992
1.46/1.53 c bounds 138185 >= 2803 @ 1.10156
1.46/1.53 c bounds 138185 >= 2806 @ 1.10292
1.46/1.53 c bounds 138185 >= 2808 @ 1.10527
1.46/1.53 c bounds 138185 >= 2810 @ 1.10679
1.46/1.53 c bounds 138185 >= 2814 @ 1.10805
1.46/1.54 c bounds 138185 >= 2818 @ 1.10835
1.46/1.54 c bounds 138185 >= 2820 @ 1.10984
1.46/1.54 c bounds 138185 >= 2821 @ 1.11111
1.46/1.54 c bounds 138185 >= 2823 @ 1.11262
1.46/1.55 c bounds 138185 >= 2824 @ 1.11476
1.46/1.55 c bounds 138185 >= 2826 @ 1.11612
1.46/1.55 c bounds 138185 >= 2829 @ 1.11848
1.46/1.58 c bounds 137185 >= 2829 @ 1.15006
1.46/1.59 c bounds 137185 >= 2831 @ 1.15188
1.46/1.59 c bounds 137185 >= 2833 @ 1.15324
1.46/1.59 c bounds 137185 >= 2835 @ 1.15472
1.46/1.59 c bounds 137185 >= 2838 @ 1.15698
1.55/1.60 c bounds 137185 >= 2839 @ 1.15758
1.55/1.60 c bounds 137185 >= 2842 @ 1.15879
1.55/1.60 c bounds 137185 >= 2845 @ 1.16019
1.55/1.60 c bounds 137185 >= 2847 @ 1.16174
1.55/1.61 c bounds 137185 >= 2850 @ 1.164
1.55/1.61 c bounds 137185 >= 2852 @ 1.16459
1.55/1.61 c bounds 137185 >= 2853 @ 1.16589
1.55/1.61 c bounds 137185 >= 2854 @ 1.16819
1.65/1.70 c bounds 136185 >= 2854 @ 1.25419
1.65/1.70 c bounds 136185 >= 2855 @ 1.25586
1.65/1.71 c bounds 136185 >= 2857 @ 1.25747
1.65/1.71 c bounds 136185 >= 2858 @ 1.25881
1.65/1.71 c bounds 136185 >= 2860 @ 1.26029
1.65/1.71 c bounds 136185 >= 2862 @ 1.26278
1.65/1.72 c bounds 136185 >= 2864 @ 1.26442
1.65/1.72 c bounds 136185 >= 2866 @ 1.26675
1.65/1.72 c bounds 136185 >= 2868 @ 1.26927
1.65/1.72 c bounds 136185 >= 2870 @ 1.27078
1.65/1.73 c bounds 136185 >= 2873 @ 1.27226
1.65/1.73 c bounds 136185 >= 2874 @ 1.27378
1.65/1.73 c bounds 136185 >= 2875 @ 1.2744
1.65/1.73 c bounds 136185 >= 2877 @ 1.27675
1.65/1.74 c bounds 136185 >= 2879 @ 1.27742
1.65/1.74 c bounds 136185 >= 2881 @ 1.27887
1.65/1.74 c bounds 136185 >= 2883 @ 1.2813
1.65/1.74 c bounds 136185 >= 2884 @ 1.2838
1.65/1.75 c bounds 136185 >= 2885 @ 1.28543
1.65/1.75 c bounds 136185 >= 2886 @ 1.28682
1.65/1.75 c bounds 136185 >= 2887 @ 1.2893
1.65/1.75 c bounds 136185 >= 2888 @ 1.29082
1.65/1.76 c bounds 136185 >= 2889 @ 1.29244
1.65/1.76 c bounds 136185 >= 2890 @ 1.29382
1.65/1.76 c bounds 136185 >= 2891 @ 1.29544
1.65/1.76 c bounds 136185 >= 2893 @ 1.2979
1.65/1.77 c bounds 136185 >= 2895 @ 1.29945
1.65/1.77 c bounds 136185 >= 2896 @ 1.30191
1.65/1.77 c bounds 136185 >= 2898 @ 1.30345
1.65/1.78 c bounds 136185 >= 2900 @ 1.30594
1.65/1.78 c bounds 136185 >= 2902 @ 1.30845
1.65/1.78 c bounds 136185 >= 2904 @ 1.30997
1.65/1.78 c bounds 136185 >= 2906 @ 1.31154
1.65/1.79 c bounds 136185 >= 2907 @ 1.31218
2.66/2.74 c #Conflicts: 1000 | #Constraints: 10369
2.66/2.74 c bounds 136184 >= 2907 @ 2.2254
2.66/2.74 c bounds 136184 >= 2908 @ 2.22834
2.66/2.75 c bounds 136184 >= 2910 @ 2.2308
2.66/2.75 c bounds 136184 >= 2912 @ 2.23331
2.66/2.76 c bounds 136184 >= 2914 @ 2.23576
2.66/2.76 c bounds 136184 >= 2915 @ 2.23916
2.66/2.76 c bounds 136184 >= 2917 @ 2.24165
2.66/2.77 c bounds 136184 >= 2918 @ 2.24416
2.66/2.77 c bounds 136184 >= 2920 @ 2.24762
2.66/2.77 c bounds 136184 >= 2921 @ 2.25011
2.66/2.78 c bounds 136184 >= 2923 @ 2.25259
2.66/2.78 c bounds 136184 >= 2925 @ 2.25509
2.66/2.78 c bounds 136184 >= 2927 @ 2.25856
2.66/2.79 c bounds 136184 >= 2928 @ 2.26106
2.66/2.79 c bounds 136184 >= 2929 @ 2.26256
2.66/2.79 c bounds 136184 >= 2931 @ 2.26503
2.75/2.80 c bounds 136184 >= 2932 @ 2.26756
2.75/2.80 c bounds 136184 >= 2933 @ 2.271
2.75/2.80 c bounds 136184 >= 2935 @ 2.27449
2.75/2.81 c bounds 136184 >= 2937 @ 2.27797
2.75/2.81 c bounds 136184 >= 2938 @ 2.28146
2.75/2.81 c bounds 136184 >= 2940 @ 2.28398
2.75/2.82 c bounds 136184 >= 2941 @ 2.28642
2.75/2.82 c bounds 136184 >= 2942 @ 2.28889
2.75/2.83 c bounds 136184 >= 2944 @ 2.29235
2.75/2.83 c bounds 136184 >= 2946 @ 2.2959
2.75/2.83 c bounds 136184 >= 2948 @ 2.29942
2.75/2.84 c bounds 136184 >= 2950 @ 2.30293
2.75/2.84 c bounds 136184 >= 2952 @ 2.30549
2.75/2.84 c bounds 136184 >= 2953 @ 2.30796
2.75/2.85 c bounds 136184 >= 2955 @ 2.31045
2.75/2.85 c bounds 136184 >= 2957 @ 2.31295
2.75/2.85 c bounds 136184 >= 2959 @ 2.31445
2.75/2.86 c bounds 136184 >= 2961 @ 2.31789
2.75/2.86 c bounds 136184 >= 2962 @ 2.3204
2.75/2.86 c bounds 136184 >= 2964 @ 2.32386
2.75/2.87 c bounds 136184 >= 2965 @ 2.32639
2.75/2.87 c bounds 136184 >= 2966 @ 2.32892
2.75/2.87 c bounds 136184 >= 2967 @ 2.33142
2.75/2.88 c bounds 136184 >= 2968 @ 2.33394
2.75/2.88 c bounds 136184 >= 2970 @ 2.33545
2.75/2.88 c bounds 136184 >= 2972 @ 2.338
2.75/2.89 c bounds 136184 >= 2973 @ 2.34054
2.75/2.89 c bounds 136184 >= 2974 @ 2.34307
2.75/2.90 c bounds 136184 >= 2976 @ 2.34661
2.85/2.90 c bounds 136184 >= 2977 @ 2.35041
2.85/2.90 c bounds 136184 >= 2978 @ 2.35307
2.85/2.91 c bounds 136184 >= 2979 @ 2.35572
2.85/2.91 c bounds 136184 >= 2980 @ 2.35931
2.85/2.91 c bounds 136184 >= 2981 @ 2.36198
2.85/2.92 c bounds 136184 >= 2982 @ 2.36473
2.85/2.92 c bounds 136184 >= 2983 @ 2.36843
2.85/2.93 c bounds 136184 >= 2984 @ 2.37211
2.85/2.93 c bounds 136184 >= 2985 @ 2.37579
2.85/2.93 c bounds 136184 >= 2986 @ 2.37787
2.85/2.94 c bounds 136184 >= 2987 @ 2.3802
2.85/2.94 c bounds 136184 >= 2988 @ 2.38353
2.85/2.94 c bounds 136184 >= 2989 @ 2.38727
2.85/2.95 c bounds 136184 >= 2990 @ 2.3901
2.85/2.95 c bounds 136184 >= 2991 @ 2.39299
2.85/2.96 c bounds 136184 >= 2992 @ 2.39688
2.85/2.96 c bounds 136184 >= 2993 @ 2.39987
2.85/2.96 c bounds 136184 >= 2994 @ 2.40284
2.85/2.97 c bounds 136184 >= 2995 @ 2.40579
2.85/2.97 c bounds 136184 >= 2996 @ 2.40787
2.85/2.98 c bounds 136184 >= 2997 @ 2.41107
2.85/2.98 c bounds 136184 >= 2998 @ 2.41423
2.85/2.98 c bounds 136184 >= 2999 @ 2.41736
2.85/2.99 c bounds 136184 >= 3000 @ 2.42054
2.85/2.99 c bounds 136184 >= 3001 @ 2.42475
2.85/3.00 c bounds 136184 >= 3002 @ 2.42786
2.96/3.00 c bounds 136184 >= 3003 @ 2.43108
2.96/3.01 c bounds 136184 >= 3004 @ 2.43515
2.96/3.01 c bounds 136184 >= 3005 @ 2.43925
2.96/3.01 c bounds 136184 >= 3006 @ 2.44235
2.96/3.02 c bounds 136184 >= 3007 @ 2.44628
2.96/3.02 c bounds 136184 >= 3008 @ 2.44936
2.96/3.03 c bounds 136184 >= 3009 @ 2.45154
2.96/3.03 c bounds 136184 >= 3010 @ 2.45616
2.96/3.04 c bounds 136184 >= 3011 @ 2.46123
2.96/3.04 c bounds 136184 >= 3012 @ 2.46557
2.96/3.05 c bounds 136184 >= 3013 @ 2.47077
2.96/3.06 c bounds 136184 >= 3014 @ 2.4761
2.96/3.06 c bounds 136184 >= 3015 @ 2.48286
2.96/3.07 c bounds 136184 >= 3016 @ 2.49009
2.96/3.08 c bounds 136184 >= 3017 @ 2.50038
2.96/3.09 c bounds 136184 >= 3018 @ 2.50878
3.06/3.13 c bounds 136184 >= 3019 @ 2.54751
3.06/3.15 c bounds 136184 >= 3020 @ 2.56614
3.06/3.17 c bounds 136184 >= 3021 @ 2.57973
3.06/3.19 c bounds 136184 >= 3022 @ 2.5979
3.16/3.21 c bounds 136184 >= 3023 @ 2.61098
3.46/3.58 c #Conflicts: 2000 | #Constraints: 11735
3.46/3.58 c INPROCESSING
3.46/3.58 c GARBAGE COLLECT
3.46/3.58 c rational objective 3023
3.65/3.71 c bounds 136184 >= 3024 @ 3.10029
3.65/3.73 c bounds 136184 >= 3025 @ 3.11632
3.65/3.73 c bounds 136184 >= 3026 @ 3.1182
3.65/3.73 c bounds 136184 >= 3027 @ 3.12009
3.65/3.74 c bounds 136184 >= 3028 @ 3.12298
5.35/5.45 c #Conflicts: 3000 | #Constraints: 11203
5.35/5.45 c #Conflicts: 4000 | #Constraints: 12203
5.35/5.45 c INPROCESSING
5.35/5.45 c GARBAGE COLLECT
5.35/5.45 c bounds 134178 >= 3028 @ 4.79411
5.35/5.46 c bounds 134177 >= 3028 @ 4.79977
5.35/5.47 c bounds 134176 >= 3028 @ 4.80275
5.35/5.48 c bounds 133175 >= 3028 @ 4.8152
5.44/5.54 c bounds 133174 >= 3028 @ 4.86699
5.44/5.55 c bounds 132174 >= 3028 @ 4.88257
5.44/5.57 c bounds 132173 >= 3028 @ 4.90312
5.44/5.59 c bounds 131173 >= 3028 @ 4.91691
5.55/5.62 c bounds 131172 >= 3028 @ 4.94813
5.55/5.65 c bounds 130172 >= 3028 @ 4.97793
5.65/5.71 c bounds 129172 >= 3028 @ 5.03411
5.65/5.77 c bounds 129171 >= 3028 @ 5.08194
5.75/5.83 c bounds 128171 >= 3028 @ 5.14404
5.75/5.88 c bounds 127170 >= 3028 @ 5.19648
5.84/5.94 c bounds 127169 >= 3028 @ 5.25148
5.96/6.01 c bounds 126169 >= 3028 @ 5.31818
5.96/6.07 c bounds 125169 >= 3028 @ 5.37628
6.05/6.15 c #Conflicts: 5000 | #Constraints: 11621
6.05/6.15 c bounds 125168 >= 3028 @ 5.45008
6.14/6.28 c bounds 125167 >= 3028 @ 5.57583
6.25/6.35 c bounds 125166 >= 3028 @ 5.64058
6.35/6.42 c bounds 125165 >= 3028 @ 5.71159
6.45/6.50 c bounds 125164 >= 3028 @ 5.78536
6.45/6.56 c bounds 125163 >= 3028 @ 5.84374
6.54/6.62 c bounds 125162 >= 3028 @ 5.90461
6.54/6.69 c bounds 125161 >= 3028 @ 5.9654
6.65/6.75 c bounds 124161 >= 3028 @ 6.02738
6.74/6.82 c bounds 123161 >= 3028 @ 6.08624
6.85/6.91 c bounds 122160 >= 3028 @ 6.17278
8.15/8.26 c #Conflicts: 6000 | #Constraints: 12632
8.15/8.26 c INPROCESSING
8.15/8.26 c GARBAGE COLLECT
8.15/8.26 c rational objective 3028
8.25/8.34 c bounds 121160 >= 3028 @ 7.56916
8.25/8.37 c bounds 120160 >= 3028 @ 7.60408
8.34/8.40 c bounds 119160 >= 3028 @ 7.62647
8.34/8.42 c bounds 119159 >= 3028 @ 7.65396
8.34/8.46 c bounds 118158 >= 3028 @ 7.689
8.44/8.51 c bounds 117157 >= 3028 @ 7.7393
8.54/8.64 c #Conflicts: 7000 | #Constraints: 11632
8.54/8.64 c bounds 117156 >= 3028 @ 7.86094
8.54/8.69 c bounds 117155 >= 3028 @ 7.91468
8.74/8.82 c bounds 117154 >= 3028 @ 8.04081
8.84/8.91 c bounds 117153 >= 3028 @ 8.12665
8.84/8.99 c bounds 117152 >= 3028 @ 8.20732
8.94/9.07 c bounds 117151 >= 3028 @ 8.288
9.13/9.20 c bounds 117150 >= 3028 @ 8.41235
9.13/9.29 c bounds 117149 >= 3028 @ 8.49776
9.34/9.40 c bounds 116149 >= 3028 @ 8.60678
10.83/10.98 c #Conflicts: 8000 | #Constraints: 12641
10.83/10.98 c #Conflicts: 9000 | #Constraints: 13641
10.83/10.98 c INPROCESSING
10.83/10.98 c GARBAGE COLLECT
10.83/10.98 c rational objective 3028
10.93/11.06 c bounds 116148 >= 3028 @ 10.2285
10.93/11.09 c bounds 115148 >= 3028 @ 10.2576
11.04/11.14 c bounds 114148 >= 3028 @ 10.3036
11.13/11.26 c bounds 114147 >= 3028 @ 10.4149
11.23/11.35 c bounds 113147 >= 3028 @ 10.498
11.33/11.43 c bounds 112147 >= 3028 @ 10.5792
11.43/11.51 c bounds 112146 >= 3028 @ 10.6518
11.53/11.63 c bounds 112145 >= 3028 @ 10.7707
11.53/11.68 c bounds 111145 >= 3028 @ 10.8154
11.63/11.76 c bounds 110144 >= 3028 @ 10.8987
11.73/11.88 c #Conflicts: 10000 | #Constraints: 12363
11.73/11.88 c bounds 110143 >= 3028 @ 11.0138
11.83/11.95 c bounds 109143 >= 3028 @ 11.0823
11.94/12.04 c bounds 108142 >= 3028 @ 11.1654
12.13/12.26 c bounds 107142 >= 3028 @ 11.3812
13.94/14.07 c #Conflicts: 11000 | #Constraints: 13367
13.94/14.07 c #Conflicts: 12000 | #Constraints: 14367
13.94/14.07 c INPROCESSING
13.94/14.07 c GARBAGE COLLECT
13.94/14.07 c rational objective 3028
14.13/14.22 c bounds 107141 >= 3028 @ 13.3052
14.52/14.65 c bounds 106140 >= 3028 @ 13.7337
14.83/14.98 c #Conflicts: 13000 | #Constraints: 12785
14.83/14.98 c bounds 105140 >= 3028 @ 14.0527
14.93/15.09 c bounds 104141 >= 3028 @ 14.1548
15.03/15.17 c bounds 103141 >= 3028 @ 14.2355
15.13/15.28 c bounds 102141 >= 3028 @ 14.3385
15.93/16.01 c #Conflicts: 14000 | #Constraints: 13789
15.93/16.01 c bounds 102141 >= 3029 @ 15.062
16.03/16.16 c bounds 101140 >= 3029 @ 15.2068
16.12/16.29 c bounds 101139 >= 3029 @ 15.3345
16.22/16.36 c bounds 101138 >= 3029 @ 15.3991
16.32/16.42 c bounds 101137 >= 3029 @ 15.4593
16.42/16.50 c bounds 101136 >= 3029 @ 15.53
16.42/16.57 c bounds 101135 >= 3029 @ 15.6036
16.52/16.67 c bounds 101134 >= 3029 @ 15.6924
16.62/16.75 c bounds 101133 >= 3029 @ 15.7753
17.52/17.69 c #Conflicts: 15000 | #Constraints: 14854
17.52/17.69 c INPROCESSING
17.52/17.69 c GARBAGE COLLECT
17.52/17.69 c rational objective 3029
17.62/17.79 c bounds 100134 >= 3029 @ 16.7912
17.71/17.82 c bounds 100133 >= 3029 @ 16.8189
20.02/20.11 c #Conflicts: 16000 | #Constraints: 13075
20.02/20.11 c bounds 99132 >= 3029 @ 19.0794
21.71/21.83 c #Conflicts: 17000 | #Constraints: 14079
21.71/21.83 c #Conflicts: 18000 | #Constraints: 15079
21.71/21.83 c INPROCESSING
21.71/21.83 c GARBAGE COLLECT
21.71/21.83 c rational objective 3029
25.39/25.52 c #Conflicts: 19000 | #Constraints: 13064
25.39/25.52 c #Conflicts: 20000 | #Constraints: 14064
25.39/25.52 c #Conflicts: 21000 | #Constraints: 15064
25.39/25.52 c INPROCESSING
25.39/25.52 c GARBAGE COLLECT
25.39/25.52 c rational objective 3029
28.99/29.18 c #Conflicts: 22000 | #Constraints: 12885
28.99/29.18 c #Conflicts: 23000 | #Constraints: 13885
28.99/29.18 c #Conflicts: 24000 | #Constraints: 14885
28.99/29.18 c #Conflicts: 25000 | #Constraints: 15885
28.99/29.18 c INPROCESSING
28.99/29.18 c GARBAGE COLLECT
28.99/29.18 c rational objective 3029
32.67/32.83 c #Conflicts: 26000 | #Constraints: 13502
32.67/32.83 c #Conflicts: 27000 | #Constraints: 14502
32.67/32.83 c #Conflicts: 28000 | #Constraints: 15502
32.67/32.83 c #Conflicts: 29000 | #Constraints: 16502
32.67/32.83 c INPROCESSING
32.67/32.83 c GARBAGE COLLECT
32.67/32.83 c rational objective 3029
32.77/32.91 c bounds 99131 >= 3029 @ 31.5705
32.77/32.94 c bounds 98131 >= 3029 @ 31.5979
32.88/33.01 c bounds 97131 >= 3029 @ 31.6602
32.98/33.19 c bounds 97130 >= 3029 @ 31.8314
33.17/33.33 c bounds 96129 >= 3029 @ 31.9661
36.83/37.16 c #Conflicts: 30000 | #Constraints: 13914
36.83/37.16 c #Conflicts: 31000 | #Constraints: 14914
36.83/37.16 c #Conflicts: 32000 | #Constraints: 15914
36.83/37.16 c #Conflicts: 33000 | #Constraints: 16914
36.83/37.16 c INPROCESSING
36.83/37.16 c GARBAGE COLLECT
36.83/37.16 c rational objective 3029
39.92/40.23 c #Conflicts: 34000 | #Constraints: 14114
39.92/40.23 c bounds 95129 >= 3029 @ 38.6046
44.31/44.68 c #Conflicts: 35000 | #Constraints: 15124
44.31/44.68 c #Conflicts: 36000 | #Constraints: 16124
44.31/44.68 c #Conflicts: 37000 | #Constraints: 17124
44.31/44.68 c INPROCESSING
44.31/44.68 c GARBAGE COLLECT
44.31/44.68 c rational objective 3029
50.09/50.44 c #Conflicts: 38000 | #Constraints: 14116
50.09/50.44 c #Conflicts: 39000 | #Constraints: 15116
50.09/50.44 c #Conflicts: 40000 | #Constraints: 16116
50.09/50.44 c #Conflicts: 41000 | #Constraints: 17116
50.09/50.44 c INPROCESSING
50.09/50.44 c GARBAGE COLLECT
50.09/50.44 c rational objective 3029
50.70/51.02 c #Conflicts: 42000 | #Constraints: 13935
50.70/51.02 c bounds 94128 >= 3029 @ 49.234
51.49/51.88 c bounds 93128 >= 3029 @ 50.079
56.38/56.73 c #Conflicts: 43000 | #Constraints: 14957
56.38/56.73 c #Conflicts: 44000 | #Constraints: 15957
56.38/56.73 c #Conflicts: 45000 | #Constraints: 16957
56.38/56.73 c #Conflicts: 46000 | #Constraints: 17957
56.38/56.73 c INPROCESSING
56.38/56.73 c GARBAGE COLLECT
56.38/56.73 c rational objective 3029
59.07/59.49 c #Conflicts: 47000 | #Constraints: 14557
59.07/59.49 c bounds 93127 >= 3029 @ 57.548
64.16/64.55 c #Conflicts: 48000 | #Constraints: 15596
64.16/64.55 c #Conflicts: 49000 | #Constraints: 16596
64.16/64.55 c #Conflicts: 50000 | #Constraints: 17596
64.16/64.55 c #Conflicts: 51000 | #Constraints: 18596
64.16/64.55 c INPROCESSING
64.16/64.55 c GARBAGE COLLECT
64.16/64.55 c rational objective 3029
65.01/65.56 c bounds 92126 >= 3029 @ 63.3443
67.80/68.34 c #Conflicts: 52000 | #Constraints: 14992
67.80/68.34 c #Conflicts: 53000 | #Constraints: 16022
67.80/68.34 c bounds 91125 >= 3029 @ 66.0605
72.09/72.62 c #Conflicts: 54000 | #Constraints: 17032
72.09/72.62 c #Conflicts: 55000 | #Constraints: 18032
72.09/72.62 c #Conflicts: 56000 | #Constraints: 19032
72.09/72.62 c INPROCESSING
72.09/72.62 c GARBAGE COLLECT
72.09/72.62 c rational objective 3029
77.97/78.59 c #Conflicts: 57000 | #Constraints: 15176
77.97/78.59 c #Conflicts: 58000 | #Constraints: 16176
77.97/78.59 c #Conflicts: 59000 | #Constraints: 17176
77.97/78.59 c #Conflicts: 60000 | #Constraints: 18176
77.97/78.59 c #Conflicts: 61000 | #Constraints: 19176
77.97/78.59 c INPROCESSING
77.97/78.59 c GARBAGE COLLECT
77.97/78.59 c rational objective 3029
78.07/78.69 c bounds 91124 >= 3029 @ 76.2249
95.82/96.60 c #Conflicts: 62000 | #Constraints: 15185
95.82/96.60 c #Conflicts: 63000 | #Constraints: 16210
95.82/96.60 c #Conflicts: 64000 | #Constraints: 17217
95.82/96.60 c #Conflicts: 65000 | #Constraints: 18218
95.82/96.60 c bounds 91123 >= 3029 @ 93.6935
98.11/98.96 c #Conflicts: 66000 | #Constraints: 19223
98.11/98.96 c INPROCESSING
98.11/98.96 c GARBAGE COLLECT
98.11/98.96 c rational objective 3029
106.58/107.42 c #Conflicts: 67000 | #Constraints: 14995
106.58/107.42 c #Conflicts: 68000 | #Constraints: 15995
106.58/107.42 c #Conflicts: 69000 | #Constraints: 16995
106.58/107.42 c #Conflicts: 70000 | #Constraints: 17995
106.58/107.42 c #Conflicts: 71000 | #Constraints: 18995
106.58/107.42 c #Conflicts: 72000 | #Constraints: 19995
106.58/107.42 c INPROCESSING
106.58/107.42 c GARBAGE COLLECT
106.58/107.42 c rational objective 3029
114.97/115.81 c #Conflicts: 73000 | #Constraints: 15607
114.97/115.81 c #Conflicts: 74000 | #Constraints: 16607
114.97/115.81 c #Conflicts: 75000 | #Constraints: 17607
114.97/115.81 c #Conflicts: 76000 | #Constraints: 18607
114.97/115.81 c #Conflicts: 77000 | #Constraints: 19607
114.97/115.81 c #Conflicts: 78000 | #Constraints: 20607
114.97/115.81 c INPROCESSING
114.97/115.81 c GARBAGE COLLECT
114.97/115.81 c rational objective 3029
125.03/125.92 c #Conflicts: 79000 | #Constraints: 16019
125.03/125.92 c #Conflicts: 80000 | #Constraints: 17019
125.03/125.92 c #Conflicts: 81000 | #Constraints: 18019
125.03/125.92 c #Conflicts: 82000 | #Constraints: 19019
125.03/125.92 c #Conflicts: 83000 | #Constraints: 20019
125.03/125.92 c #Conflicts: 84000 | #Constraints: 21019
125.03/125.92 c INPROCESSING
125.03/125.92 c GARBAGE COLLECT
125.03/125.92 c rational objective 3029
134.93/136.29 c #Conflicts: 85000 | #Constraints: 16225
134.93/136.29 c #Conflicts: 86000 | #Constraints: 17225
134.93/136.29 c #Conflicts: 87000 | #Constraints: 18225
134.93/136.29 c #Conflicts: 88000 | #Constraints: 19225
134.93/136.29 c #Conflicts: 89000 | #Constraints: 20225
134.93/136.29 c #Conflicts: 90000 | #Constraints: 21225
134.93/136.29 c INPROCESSING
134.93/136.29 c GARBAGE COLLECT
134.93/136.29 c rational objective 3029
144.00/145.38 c #Conflicts: 91000 | #Constraints: 16236
144.00/145.38 c #Conflicts: 92000 | #Constraints: 17236
144.00/145.38 c #Conflicts: 93000 | #Constraints: 18236
144.00/145.38 c #Conflicts: 94000 | #Constraints: 19236
144.00/145.38 c #Conflicts: 95000 | #Constraints: 20236
144.00/145.38 c #Conflicts: 96000 | #Constraints: 21236
144.00/145.38 c INPROCESSING
144.00/145.38 c GARBAGE COLLECT
144.00/145.38 c rational objective 3029
157.72/159.39 c #Conflicts: 97000 | #Constraints: 16047
157.72/159.39 c #Conflicts: 98000 | #Constraints: 17047
157.72/159.39 c #Conflicts: 99000 | #Constraints: 18047
157.72/159.39 c #Conflicts: 100000 | #Constraints: 19047
157.72/159.39 c #Conflicts: 101000 | #Constraints: 20047
157.72/159.39 c #Conflicts: 102000 | #Constraints: 21047
157.72/159.39 c #Conflicts: 103000 | #Constraints: 22047
157.72/159.39 c INPROCESSING
157.72/159.39 c GARBAGE COLLECT
157.72/159.39 c rational objective 3029
169.08/170.75 c #Conflicts: 104000 | #Constraints: 16638
169.08/170.75 c #Conflicts: 105000 | #Constraints: 17638
169.08/170.75 c #Conflicts: 106000 | #Constraints: 18638
169.08/170.75 c #Conflicts: 107000 | #Constraints: 19638
169.08/170.75 c #Conflicts: 108000 | #Constraints: 20638
169.08/170.75 c #Conflicts: 109000 | #Constraints: 21638
169.08/170.75 c #Conflicts: 110000 | #Constraints: 22638
169.08/170.75 c INPROCESSING
169.08/170.75 c GARBAGE COLLECT
169.08/170.75 c rational objective 3029
169.49/171.12 c bounds 90122 >= 3029 @ 166.45
172.27/173.91 c #Conflicts: 111000 | #Constraints: 17080
172.27/173.91 c #Conflicts: 112000 | #Constraints: 18100
172.27/173.91 c bounds 90121 >= 3029 @ 169.187
174.87/176.57 c #Conflicts: 113000 | #Constraints: 19118
174.87/176.57 c bounds 90120 >= 3029 @ 171.806
182.84/184.59 c #Conflicts: 114000 | #Constraints: 20127
182.84/184.59 c #Conflicts: 115000 | #Constraints: 21127
182.84/184.59 c #Conflicts: 116000 | #Constraints: 22127
182.84/184.59 c #Conflicts: 117000 | #Constraints: 23127
182.84/184.59 c INPROCESSING
182.84/184.59 c GARBAGE COLLECT
182.84/184.59 c rational objective 3029
185.84/187.58 c #Conflicts: 118000 | #Constraints: 17257
185.84/187.58 c #Conflicts: 119000 | #Constraints: 18257
185.84/187.58 c bounds 90120 >= 3030 @ 182.684
186.54/188.20 c #Conflicts: 120000 | #Constraints: 19277
186.54/188.20 c bounds 89120 >= 3030 @ 183.294
186.69/188.52 c bounds 89119 >= 3030 @ 183.46
186.89/188.73 c bounds 89118 >= 3030 @ 183.672
187.09/188.92 c bounds 89117 >= 3030 @ 183.859
187.68/189.57 c bounds 88116 >= 3030 @ 184.486
192.07/193.96 c #Conflicts: 121000 | #Constraints: 20308
192.07/193.96 c #Conflicts: 122000 | #Constraints: 21308
192.07/193.96 c #Conflicts: 123000 | #Constraints: 22308
192.07/193.96 c #Conflicts: 124000 | #Constraints: 23308
192.07/193.96 c INPROCESSING
192.07/193.96 c GARBAGE COLLECT
192.07/193.96 c rational objective 3030
192.18/194.06 c bounds 87115 >= 3030 @ 188.904
192.97/194.80 c bounds 87114 >= 3030 @ 189.64
193.08/194.98 c bounds 87113 >= 3030 @ 189.81
194.77/196.68 c #Conflicts: 125000 | #Constraints: 17291
194.77/196.68 c bounds 86112 >= 3030 @ 191.475
204.05/205.91 c #Conflicts: 126000 | #Constraints: 18300
204.05/205.91 c #Conflicts: 127000 | #Constraints: 19300
204.05/205.91 c #Conflicts: 128000 | #Constraints: 20300
204.05/205.91 c #Conflicts: 129000 | #Constraints: 21300
204.05/205.91 c #Conflicts: 130000 | #Constraints: 22300
204.05/205.91 c #Conflicts: 131000 | #Constraints: 23300
204.05/205.91 c INPROCESSING
204.05/205.91 c GARBAGE COLLECT
204.05/205.91 c rational objective 3030
204.45/206.32 c bounds 86111 >= 3030 @ 200.971
205.14/207.07 c #Conflicts: 132000 | #Constraints: 17059
205.14/207.07 c bounds 86110 >= 3030 @ 201.71
205.34/207.23 c bounds 85110 >= 3030 @ 201.861
205.54/207.45 c bounds 84111 >= 3030 @ 202.067
205.64/207.52 c bounds 84110 >= 3030 @ 202.143
205.64/207.59 c bounds 84109 >= 3030 @ 202.207
205.74/207.65 c bounds 84108 >= 3030 @ 202.269
205.84/207.75 c bounds 84107 >= 3030 @ 202.356
206.04/207.95 c #Conflicts: 133000 | #Constraints: 18085
206.04/207.95 c bounds 83106 >= 3030 @ 202.557
206.84/208.74 c bounds 83105 >= 3030 @ 203.325
207.83/209.72 c #Conflicts: 134000 | #Constraints: 19101
207.83/209.72 c bounds 82104 >= 3030 @ 204.283
215.91/217.81 c #Conflicts: 135000 | #Constraints: 20107
215.91/217.81 c #Conflicts: 136000 | #Constraints: 21107
215.91/217.81 c #Conflicts: 137000 | #Constraints: 22107
215.91/217.81 c #Conflicts: 138000 | #Constraints: 23107
215.91/217.81 c #Conflicts: 139000 | #Constraints: 24107
215.91/217.81 c INPROCESSING
215.91/217.81 c GARBAGE COLLECT
215.91/217.81 c rational objective 3030
218.85/220.97 c #Conflicts: 140000 | #Constraints: 17683
218.85/220.97 c #Conflicts: 141000 | #Constraints: 18697
218.85/220.97 c bounds 81105 >= 3030 @ 215.196
219.34/221.41 c bounds 81104 >= 3030 @ 215.634
220.25/222.30 c #Conflicts: 142000 | #Constraints: 19737
220.25/222.30 c bounds 80104 >= 3030 @ 216.505
225.43/227.56 c #Conflicts: 143000 | #Constraints: 20753
225.43/227.56 c #Conflicts: 144000 | #Constraints: 21753
225.43/227.56 c #Conflicts: 145000 | #Constraints: 22753
225.43/227.56 c #Conflicts: 146000 | #Constraints: 23753
225.43/227.56 c #Conflicts: 147000 | #Constraints: 24753
225.43/227.56 c INPROCESSING
225.43/227.56 c GARBAGE COLLECT
225.43/227.56 c rational objective 3030
225.63/227.78 c bounds 80103 >= 3030 @ 221.887
225.83/227.95 c bounds 79104 >= 3030 @ 222.057
226.04/228.14 c bounds 79103 >= 3030 @ 222.236
226.23/228.30 c bounds 79102 >= 3030 @ 222.399
226.33/228.43 c bounds 79101 >= 3030 @ 222.527
226.83/228.93 c #Conflicts: 148000 | #Constraints: 18145
226.83/228.93 c bounds 78100 >= 3030 @ 223.004
227.23/229.33 c bounds 78099 >= 3030 @ 223.396
227.73/229.84 c bounds 78098 >= 3030 @ 223.895
228.33/230.44 c bounds 78097 >= 3030 @ 224.485
229.12/231.25 c #Conflicts: 149000 | #Constraints: 19202
229.12/231.25 c bounds 77097 >= 3030 @ 225.281
239.29/241.47 c #Conflicts: 150000 | #Constraints: 20207
239.29/241.47 c #Conflicts: 151000 | #Constraints: 21207
239.29/241.47 c #Conflicts: 152000 | #Constraints: 22207
239.29/241.47 c #Conflicts: 153000 | #Constraints: 23207
239.29/241.47 c #Conflicts: 154000 | #Constraints: 24207
239.29/241.47 c #Conflicts: 155000 | #Constraints: 25207
239.29/241.47 c INPROCESSING
239.29/241.47 c GARBAGE COLLECT
239.29/241.47 c rational objective 3030
240.69/242.85 c #Conflicts: 156000 | #Constraints: 18321
240.69/242.85 c bounds 77096 >= 3030 @ 236.699
245.08/247.29 c #Conflicts: 157000 | #Constraints: 19337
245.08/247.29 c #Conflicts: 158000 | #Constraints: 20352
245.08/247.29 c bounds 76095 >= 3030 @ 241.073
253.19/255.54 c #Conflicts: 159000 | #Constraints: 21375
253.19/255.54 c #Conflicts: 160000 | #Constraints: 22375
253.19/255.54 c #Conflicts: 161000 | #Constraints: 23375
253.19/255.54 c #Conflicts: 162000 | #Constraints: 24375
253.19/255.54 c #Conflicts: 163000 | #Constraints: 25375
253.19/255.54 c INPROCESSING
253.19/255.54 c GARBAGE COLLECT
253.19/255.54 c rational objective 3030
262.87/265.23 c #Conflicts: 164000 | #Constraints: 18310
262.87/265.23 c #Conflicts: 165000 | #Constraints: 19310
262.87/265.23 c #Conflicts: 166000 | #Constraints: 20310
262.87/265.23 c #Conflicts: 167000 | #Constraints: 21310
262.87/265.23 c #Conflicts: 168000 | #Constraints: 22310
262.87/265.23 c #Conflicts: 169000 | #Constraints: 23310
262.87/265.23 c #Conflicts: 170000 | #Constraints: 24310
262.87/265.23 c #Conflicts: 171000 | #Constraints: 25310
262.87/265.23 c INPROCESSING
262.87/265.23 c GARBAGE COLLECT
262.87/265.23 c rational objective 3030
263.77/266.12 c #Conflicts: 172000 | #Constraints: 18106
263.77/266.12 c bounds 76094 >= 3030 @ 259.419
263.86/266.24 c bounds 75093 >= 3030 @ 259.533
265.76/268.17 c #Conflicts: 173000 | #Constraints: 19109
265.76/268.17 c bounds 74093 >= 3030 @ 261.424
267.55/269.95 c #Conflicts: 174000 | #Constraints: 20111
267.55/269.95 c #Conflicts: 175000 | #Constraints: 21112
267.55/269.95 c bounds 73092 >= 3030 @ 263.165
277.32/279.74 c #Conflicts: 176000 | #Constraints: 22117
277.32/279.74 c #Conflicts: 177000 | #Constraints: 23117
277.32/279.74 c #Conflicts: 178000 | #Constraints: 24117
277.32/279.74 c #Conflicts: 179000 | #Constraints: 25117
277.32/279.74 c #Conflicts: 180000 | #Constraints: 26117
277.32/279.74 c INPROCESSING
277.32/279.74 c GARBAGE COLLECT
277.32/279.74 c rational objective 3030
277.74/280.11 c bounds 73091 >= 3030 @ 273.167
283.79/286.32 c #Conflicts: 181000 | #Constraints: 18694
283.79/286.32 c #Conflicts: 182000 | #Constraints: 19703
283.79/286.32 c bounds 72090 >= 3030 @ 279.167
291.97/294.57 c #Conflicts: 183000 | #Constraints: 20716
291.97/294.57 c #Conflicts: 184000 | #Constraints: 21716
291.97/294.57 c #Conflicts: 185000 | #Constraints: 22716
291.97/294.57 c #Conflicts: 186000 | #Constraints: 23716
291.97/294.57 c #Conflicts: 187000 | #Constraints: 24716
291.97/294.57 c #Conflicts: 188000 | #Constraints: 25716
291.97/294.57 c #Conflicts: 189000 | #Constraints: 26716
291.97/294.57 c INPROCESSING
291.97/294.57 c GARBAGE COLLECT
291.97/294.57 c rational objective 3030
308.44/311.09 c #Conflicts: 190000 | #Constraints: 19111
308.44/311.09 c #Conflicts: 191000 | #Constraints: 20111
308.44/311.09 c #Conflicts: 192000 | #Constraints: 21111
308.44/311.09 c #Conflicts: 193000 | #Constraints: 22111
308.44/311.09 c #Conflicts: 194000 | #Constraints: 23111
308.44/311.09 c #Conflicts: 195000 | #Constraints: 24111
308.44/311.09 c #Conflicts: 196000 | #Constraints: 25111
308.44/311.09 c #Conflicts: 197000 | #Constraints: 26111
308.44/311.09 c #Conflicts: 198000 | #Constraints: 27111
308.44/311.09 c INPROCESSING
308.44/311.09 c GARBAGE COLLECT
308.44/311.09 c rational objective 3030
321.06/323.84 c #Conflicts: 199000 | #Constraints: 19301
321.06/323.84 c #Conflicts: 200000 | #Constraints: 20301
321.06/323.84 c #Conflicts: 201000 | #Constraints: 21301
321.06/323.84 c #Conflicts: 202000 | #Constraints: 22301
321.06/323.84 c #Conflicts: 203000 | #Constraints: 23301
321.06/323.84 c #Conflicts: 204000 | #Constraints: 24301
321.06/323.84 c #Conflicts: 205000 | #Constraints: 25301
321.06/323.84 c #Conflicts: 206000 | #Constraints: 26301
321.06/323.84 c #Conflicts: 207000 | #Constraints: 27301
321.06/323.84 c INPROCESSING
321.06/323.84 c GARBAGE COLLECT
321.06/323.84 c rational objective 3030
327.15/329.96 c #Conflicts: 208000 | #Constraints: 19304
327.15/329.96 c #Conflicts: 209000 | #Constraints: 20341
327.15/329.96 c #Conflicts: 210000 | #Constraints: 21356
327.15/329.96 c #Conflicts: 211000 | #Constraints: 22376
327.15/329.96 c bounds 71090 >= 3030 @ 322.092
340.68/343.60 c #Conflicts: 212000 | #Constraints: 23378
340.68/343.60 c #Conflicts: 213000 | #Constraints: 24378
340.68/343.60 c #Conflicts: 214000 | #Constraints: 25378
340.68/343.60 c #Conflicts: 215000 | #Constraints: 26378
340.68/343.60 c #Conflicts: 216000 | #Constraints: 27378
340.68/343.60 c INPROCESSING
340.68/343.60 c GARBAGE COLLECT
340.68/343.60 c rational objective 3030
348.96/351.91 c #Conflicts: 217000 | #Constraints: 19159
348.96/351.91 c #Conflicts: 218000 | #Constraints: 20172
348.96/351.91 c #Conflicts: 219000 | #Constraints: 21185
348.96/351.91 c #Conflicts: 220000 | #Constraints: 22210
348.96/351.91 c #Conflicts: 221000 | #Constraints: 23219
348.96/351.91 c bounds 71089 >= 3030 @ 343.648
357.04/360.09 c #Conflicts: 222000 | #Constraints: 24233
357.04/360.09 c #Conflicts: 223000 | #Constraints: 25233
357.04/360.09 c #Conflicts: 224000 | #Constraints: 26234
357.04/360.09 c #Conflicts: 225000 | #Constraints: 27234
357.04/360.09 c #Conflicts: 226000 | #Constraints: 28234
357.04/360.09 c INPROCESSING
357.04/360.09 c GARBAGE COLLECT
357.04/360.09 c rational objective 3030
375.65/378.82 c #Conflicts: 227000 | #Constraints: 19772
375.65/378.82 c #Conflicts: 228000 | #Constraints: 20772
375.65/378.82 c #Conflicts: 229000 | #Constraints: 21772
375.65/378.82 c #Conflicts: 230000 | #Constraints: 22772
375.65/378.82 c #Conflicts: 231000 | #Constraints: 23772
375.65/378.82 c #Conflicts: 232000 | #Constraints: 24772
375.65/378.82 c #Conflicts: 233000 | #Constraints: 25772
375.65/378.82 c #Conflicts: 234000 | #Constraints: 26772
375.65/378.82 c #Conflicts: 235000 | #Constraints: 27772
375.65/378.82 c #Conflicts: 236000 | #Constraints: 28772
375.65/378.82 c INPROCESSING
375.65/378.82 c GARBAGE COLLECT
375.65/378.82 c rational objective 3030
391.61/394.89 c #Conflicts: 237000 | #Constraints: 20151
391.61/394.89 c #Conflicts: 238000 | #Constraints: 21151
391.61/394.89 c #Conflicts: 239000 | #Constraints: 22151
391.61/394.89 c #Conflicts: 240000 | #Constraints: 23151
391.61/394.89 c #Conflicts: 241000 | #Constraints: 24151
391.61/394.89 c #Conflicts: 242000 | #Constraints: 25151
391.61/394.89 c #Conflicts: 243000 | #Constraints: 26151
391.61/394.89 c #Conflicts: 244000 | #Constraints: 27151
391.61/394.89 c #Conflicts: 245000 | #Constraints: 28151
391.61/394.89 c #Conflicts: 246000 | #Constraints: 29151
391.61/394.89 c INPROCESSING
391.61/394.89 c GARBAGE COLLECT
391.61/394.89 c rational objective 3030
396.20/399.41 c #Conflicts: 247000 | #Constraints: 20361
396.20/399.41 c #Conflicts: 248000 | #Constraints: 21385
396.20/399.41 c bounds 70089 >= 3030 @ 390.366
410.64/414.06 c #Conflicts: 249000 | #Constraints: 22394
410.64/414.06 c #Conflicts: 250000 | #Constraints: 23394
410.64/414.06 c #Conflicts: 251000 | #Constraints: 24394
410.64/414.06 c #Conflicts: 252000 | #Constraints: 25394
410.64/414.06 c #Conflicts: 253000 | #Constraints: 26394
410.64/414.06 c #Conflicts: 254000 | #Constraints: 27394
410.64/414.06 c #Conflicts: 255000 | #Constraints: 28394
410.64/414.06 c #Conflicts: 256000 | #Constraints: 29394
410.64/414.06 c INPROCESSING
410.64/414.06 c GARBAGE COLLECT
410.64/414.06 c rational objective 3030
412.74/416.15 c #Conflicts: 257000 | #Constraints: 20373
412.74/416.15 c bounds 70088 >= 3030 @ 406.733
429.69/433.17 c #Conflicts: 258000 | #Constraints: 21379
429.69/433.17 c #Conflicts: 259000 | #Constraints: 22379
429.69/433.17 c #Conflicts: 260000 | #Constraints: 23379
429.69/433.17 c #Conflicts: 261000 | #Constraints: 24379
429.69/433.17 c #Conflicts: 262000 | #Constraints: 25379
429.69/433.17 c #Conflicts: 263000 | #Constraints: 26379
429.69/433.17 c #Conflicts: 264000 | #Constraints: 27379
429.69/433.17 c #Conflicts: 265000 | #Constraints: 28379
429.69/433.17 c #Conflicts: 266000 | #Constraints: 29379
429.69/433.17 c INPROCESSING
429.69/433.17 c GARBAGE COLLECT
429.69/433.17 c rational objective 3030
434.14/437.76 c #Conflicts: 267000 | #Constraints: 20151
434.14/437.76 c #Conflicts: 268000 | #Constraints: 21175
434.14/437.76 c #Conflicts: 269000 | #Constraints: 22208
434.14/437.76 c bounds 70087 >= 3030 @ 427.888
449.41/453.02 c #Conflicts: 270000 | #Constraints: 23228
449.41/453.02 c #Conflicts: 271000 | #Constraints: 24235
449.41/453.02 c #Conflicts: 272000 | #Constraints: 25251
449.41/453.02 c #Conflicts: 273000 | #Constraints: 26262
449.41/453.02 c #Conflicts: 274000 | #Constraints: 27283
449.41/453.02 c bounds 70086 >= 3030 @ 442.925
457.28/460.97 c #Conflicts: 275000 | #Constraints: 28290
457.28/460.97 c #Conflicts: 276000 | #Constraints: 29290
457.28/460.97 c #Conflicts: 277000 | #Constraints: 30290
457.28/460.97 c INPROCESSING
457.28/460.97 c GARBAGE COLLECT
457.28/460.97 c rational objective 3030
474.72/478.56 c #Conflicts: 278000 | #Constraints: 20785
474.72/478.56 c #Conflicts: 279000 | #Constraints: 21785
474.72/478.56 c #Conflicts: 280000 | #Constraints: 22785
474.72/478.56 c #Conflicts: 281000 | #Constraints: 23785
474.72/478.56 c #Conflicts: 282000 | #Constraints: 24785
474.72/478.56 c #Conflicts: 283000 | #Constraints: 25785
474.72/478.56 c #Conflicts: 284000 | #Constraints: 26785
474.72/478.56 c #Conflicts: 285000 | #Constraints: 27785
474.72/478.56 c #Conflicts: 286000 | #Constraints: 28785
474.72/478.56 c #Conflicts: 287000 | #Constraints: 29785
474.72/478.56 c #Conflicts: 288000 | #Constraints: 30785
474.72/478.56 c INPROCESSING
474.72/478.56 c GARBAGE COLLECT
474.72/478.56 c rational objective 3030
490.28/494.14 c #Conflicts: 289000 | #Constraints: 21172
490.28/494.14 c #Conflicts: 290000 | #Constraints: 22172
490.28/494.14 c #Conflicts: 291000 | #Constraints: 23172
490.28/494.14 c #Conflicts: 292000 | #Constraints: 24172
490.28/494.14 c #Conflicts: 293000 | #Constraints: 25172
490.28/494.14 c #Conflicts: 294000 | #Constraints: 26172
490.28/494.14 c #Conflicts: 295000 | #Constraints: 27172
490.28/494.14 c #Conflicts: 296000 | #Constraints: 28172
490.28/494.14 c #Conflicts: 297000 | #Constraints: 29172
490.28/494.14 c #Conflicts: 298000 | #Constraints: 30172
490.28/494.14 c #Conflicts: 299000 | #Constraints: 31172
490.28/494.14 c INPROCESSING
490.28/494.14 c GARBAGE COLLECT
490.28/494.14 c rational objective 3030
508.31/512.35 c #Conflicts: 300000 | #Constraints: 21348
508.31/512.35 c #Conflicts: 301000 | #Constraints: 22348
508.31/512.35 c #Conflicts: 302000 | #Constraints: 23348
508.31/512.35 c #Conflicts: 303000 | #Constraints: 24348
508.31/512.35 c #Conflicts: 304000 | #Constraints: 25348
508.31/512.35 c #Conflicts: 305000 | #Constraints: 26348
508.31/512.35 c #Conflicts: 306000 | #Constraints: 27348
508.31/512.35 c #Conflicts: 307000 | #Constraints: 28348
508.31/512.35 c #Conflicts: 308000 | #Constraints: 29348
508.31/512.35 c #Conflicts: 309000 | #Constraints: 30348
508.31/512.35 c #Conflicts: 310000 | #Constraints: 31348
508.31/512.35 c INPROCESSING
508.31/512.35 c GARBAGE COLLECT
508.31/512.35 c rational objective 3030
524.74/528.94 c #Conflicts: 311000 | #Constraints: 21361
524.74/528.94 c #Conflicts: 312000 | #Constraints: 22361
524.74/528.94 c #Conflicts: 313000 | #Constraints: 23361
524.74/528.94 c #Conflicts: 314000 | #Constraints: 24361
524.74/528.94 c #Conflicts: 315000 | #Constraints: 25361
524.74/528.94 c #Conflicts: 316000 | #Constraints: 26361
524.74/528.94 c #Conflicts: 317000 | #Constraints: 27361
524.74/528.94 c #Conflicts: 318000 | #Constraints: 28361
524.74/528.94 c #Conflicts: 319000 | #Constraints: 29361
524.74/528.94 c #Conflicts: 320000 | #Constraints: 30361
524.74/528.94 c #Conflicts: 321000 | #Constraints: 31361
524.74/528.94 c INPROCESSING
524.74/528.94 c GARBAGE COLLECT
524.74/528.94 c rational objective 3030
553.25/557.67 c #Conflicts: 322000 | #Constraints: 21149
553.25/557.67 c #Conflicts: 323000 | #Constraints: 22160
553.25/557.67 c #Conflicts: 324000 | #Constraints: 23172
553.25/557.67 c #Conflicts: 325000 | #Constraints: 24195
553.25/557.67 c #Conflicts: 326000 | #Constraints: 25218
553.25/557.67 c #Conflicts: 327000 | #Constraints: 26229
553.25/557.67 c #Conflicts: 328000 | #Constraints: 27237
553.25/557.67 c #Conflicts: 329000 | #Constraints: 28250
553.25/557.67 c #Conflicts: 330000 | #Constraints: 29271
553.25/557.67 c bounds 70085 >= 3030 @ 545.682
562.82/567.26 c #Conflicts: 331000 | #Constraints: 30274
562.82/567.26 c #Conflicts: 332000 | #Constraints: 31274
562.82/567.26 c #Conflicts: 333000 | #Constraints: 32274
562.82/567.26 c INPROCESSING
562.82/567.26 c GARBAGE COLLECT
562.82/567.26 c rational objective 3030
583.87/588.48 c #Conflicts: 334000 | #Constraints: 21821
583.87/588.48 c #Conflicts: 335000 | #Constraints: 22821
583.87/588.48 c #Conflicts: 336000 | #Constraints: 23821
583.87/588.48 c #Conflicts: 337000 | #Constraints: 24821
583.87/588.48 c #Conflicts: 338000 | #Constraints: 25821
583.87/588.48 c #Conflicts: 339000 | #Constraints: 26821
583.87/588.48 c #Conflicts: 340000 | #Constraints: 27821
583.87/588.48 c #Conflicts: 341000 | #Constraints: 28821
583.87/588.48 c #Conflicts: 342000 | #Constraints: 29821
583.87/588.48 c #Conflicts: 343000 | #Constraints: 30821
583.87/588.48 c #Conflicts: 344000 | #Constraints: 31821
583.87/588.48 c #Conflicts: 345000 | #Constraints: 32821
583.87/588.48 c INPROCESSING
583.87/588.48 c GARBAGE COLLECT
583.87/588.48 c rational objective 3030
606.31/610.91 c #Conflicts: 346000 | #Constraints: 22185
606.31/610.91 c #Conflicts: 347000 | #Constraints: 23185
606.31/610.91 c #Conflicts: 348000 | #Constraints: 24185
606.31/610.91 c #Conflicts: 349000 | #Constraints: 25185
606.31/610.91 c #Conflicts: 350000 | #Constraints: 26185
606.31/610.91 c #Conflicts: 351000 | #Constraints: 27185
606.31/610.91 c #Conflicts: 352000 | #Constraints: 28185
606.31/610.91 c #Conflicts: 353000 | #Constraints: 29185
606.31/610.91 c #Conflicts: 354000 | #Constraints: 30186
606.31/610.91 c #Conflicts: 355000 | #Constraints: 31187
606.31/610.91 c #Conflicts: 356000 | #Constraints: 32187
606.31/610.91 c #Conflicts: 357000 | #Constraints: 33187
606.31/610.91 c INPROCESSING
606.31/610.91 c GARBAGE COLLECT
606.31/610.91 c rational objective 3030
627.08/631.85 c #Conflicts: 358000 | #Constraints: 22365
627.08/631.85 c #Conflicts: 359000 | #Constraints: 23365
627.08/631.85 c #Conflicts: 360000 | #Constraints: 24365
627.08/631.85 c #Conflicts: 361000 | #Constraints: 25365
627.08/631.85 c #Conflicts: 362000 | #Constraints: 26365
627.08/631.85 c #Conflicts: 363000 | #Constraints: 27365
627.08/631.85 c #Conflicts: 364000 | #Constraints: 28365
627.08/631.85 c #Conflicts: 365000 | #Constraints: 29365
627.08/631.85 c #Conflicts: 366000 | #Constraints: 30365
627.08/631.85 c #Conflicts: 367000 | #Constraints: 31365
627.08/631.85 c #Conflicts: 368000 | #Constraints: 32365
627.08/631.85 c #Conflicts: 369000 | #Constraints: 33365
627.08/631.85 c INPROCESSING
627.08/631.85 c GARBAGE COLLECT
627.08/631.85 c rational objective 3030
654.81/659.73 c #Conflicts: 370000 | #Constraints: 22350
654.81/659.73 c #Conflicts: 371000 | #Constraints: 23350
654.81/659.73 c #Conflicts: 372000 | #Constraints: 24350
654.81/659.73 c #Conflicts: 373000 | #Constraints: 25350
654.81/659.73 c #Conflicts: 374000 | #Constraints: 26351
654.81/659.73 c #Conflicts: 375000 | #Constraints: 27352
654.81/659.73 c #Conflicts: 376000 | #Constraints: 28352
654.81/659.73 c #Conflicts: 377000 | #Constraints: 29352
654.81/659.73 c #Conflicts: 378000 | #Constraints: 30352
654.81/659.73 c #Conflicts: 379000 | #Constraints: 31353
654.81/659.73 c #Conflicts: 380000 | #Constraints: 32353
654.81/659.73 c #Conflicts: 381000 | #Constraints: 33353
654.81/659.73 c INPROCESSING
654.81/659.73 c GARBAGE COLLECT
654.81/659.73 c rational objective 3030
676.87/681.96 c #Conflicts: 382000 | #Constraints: 22144
676.87/681.96 c #Conflicts: 383000 | #Constraints: 23144
676.87/681.96 c #Conflicts: 384000 | #Constraints: 24144
676.87/681.96 c #Conflicts: 385000 | #Constraints: 25144
676.87/681.96 c #Conflicts: 386000 | #Constraints: 26144
676.87/681.96 c #Conflicts: 387000 | #Constraints: 27144
676.87/681.96 c #Conflicts: 388000 | #Constraints: 28144
676.87/681.96 c #Conflicts: 389000 | #Constraints: 29144
676.87/681.96 c #Conflicts: 390000 | #Constraints: 30144
676.87/681.96 c #Conflicts: 391000 | #Constraints: 31144
676.87/681.96 c bounds 70085 >= 3031 @ 667.985
677.97/683.05 c bounds 3031 >= 3031 @ 669.053
677.97/683.05 c cpu time 669.053 s
677.97/683.05 c deterministic time 85182002311 8.52e+10
677.97/683.05 c optimization time 0.604449 s
677.97/683.05 c total solve time 668.412 s
677.97/683.05 c core-guided solve time 524.951 s
677.97/683.05 c propagation time 461.679 s
677.97/683.05 c conflict analysis time 174.078 s
677.97/683.05 c propagations 57279012
677.97/683.05 c resolve steps 2841386
677.97/683.05 c decisions 4655452
677.97/683.05 c conflicts 391894
677.97/683.05 c restarts 942
677.97/683.05 c inprocessing phases 53
677.97/683.05 c garbage collections 53 ,( 100.00 )
677.97/683.05 c input clauses 9326 ,( 81.50 )
677.97/683.05 c input cardinalities 1265 ,( 11.05 )
677.97/683.05 c input general constraints 852 ,( 7.45 )
677.97/683.05 c input average constraint length 181.28
677.97/683.05 c input average constraint degree 17911.34
677.97/683.05 c learned clauses 36889 ,( 9.37 )
677.97/683.05 c learned cardinalities 2426 ,( 0.62 )
677.97/683.05 c learned general constraints 354344 ,( 90.01 )
677.97/683.05 c learned average constraint length 1103.91
677.97/683.05 c learned average constraint degree 10986675215.13
677.97/683.05 c watched CF 32, 64, 128, Arb: 17980 , 0 , 0 , 0
677.97/683.05 c counting CF 32, 64, 128, Arb: 337217 , 0 , 0 , 0
677.97/683.05 c watched constraints 17980 ,( 5.06 )
677.97/683.05 c counting constraints 337216 ,( 94.94 )
677.97/683.05 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 26643938 , 20564746 , 6574110487 ,( 270460114 , 6303650373 )
677.97/683.05 c gcd simplifications 5745
677.97/683.05 c detected cardinalities 107
677.97/683.05 c weakened non-implied lits 176817636
677.97/683.05 c weakened non-implying lits 69953
677.97/683.05 c original variables 5055
677.97/683.05 c clausal propagations 18045526
677.97/683.05 c cardinality propagations 9756706
677.97/683.05 c watched propagations 22210
677.97/683.05 c counting propagations 23854776
677.97/683.05 c watch lookups 15115513946
677.97/683.05 c watch backjump lookups 0
677.97/683.05 c watch checks 1317908022
677.97/683.05 c propagation checks 67547630961
677.97/683.05 c constraint additions 1076286760
677.97/683.05 c trail pops 62322804
677.97/683.05 c formula constraints 7907
677.97/683.05 c learned constraints 390863
677.97/683.05 c bound constraints 2214
677.97/683.05 c core-guided constraints 1322
677.97/683.05 c encountered formula constraints 1315608
677.97/683.05 c encountered learned constraints 1490647
677.97/683.05 c encountered bound constraints 208
677.97/683.05 c encountered core-guided constraints 391494
677.97/683.05 c LP total time 56.1917 s
677.97/683.05 c LP solve time 50.77 s
677.97/683.05 c LP constraints added 9968
677.97/683.05 c LP constraints removed 1999
677.97/683.05 c LP pivots internal 393855
677.97/683.05 c LP pivots root 11498
677.97/683.05 c LP calls 3285
677.97/683.05 c LP optimalities 2181
677.97/683.05 c LP no pivot count 404
677.97/683.05 c LP infeasibilities 1101
677.97/683.05 c LP valid Farkas constraints 1099
677.97/683.05 c LP learned Farkas constraints 1094
677.97/683.05 c LP basis resets 2
677.97/683.05 c LP cycling count 0
677.97/683.05 c LP singular count 0
677.97/683.05 c LP no primal count 0
677.97/683.05 c LP no farkas count 2
677.97/683.05 c LP other issue count 0
677.97/683.05 c LP Gomory cuts 603
677.97/683.05 c LP learned cuts 1458
677.97/683.05 c LP deleted cuts 1999
677.97/683.05 c LP encountered Gomory constraints 8130
677.97/683.05 c LP encountered Farkas constraints 14961
677.97/683.05 c LP encountered learned Farkas constraints 11138
677.97/683.05 c CG auxiliary variables introduced 629
677.97/683.05 c CG solutions found 158
677.97/683.05 c CG cores constructed 565
677.97/683.05 c CG core cardinality constraints returned 206
677.97/683.05 c CG unit cores 0
677.97/683.05 c CG single cores 565
677.97/683.05 c CG blocks removed during cardinality reduction 0
677.97/683.05 c CG first core best 0
677.97/683.05 c CG decision core best 0
677.97/683.05 c CG core reduction tie 0
677.97/683.05 c CG core degree average 1.53
677.97/683.05 c CG core slack average 5.36
677.97/683.05 c CG core upper bound improvements 0
677.97/683.05 c STR number of successful calls 0
677.97/683.05 c STR number of unsuccessful calls 0
677.97/683.05 c STR number of inconclusive calls 0
677.97/683.05 c STR number of successful attempts 0
677.97/683.05 c STR number of unsuccessful attempts 0
677.97/683.05 c STR number of inconclusive attempts 0
677.97/683.05 c STR average degree increase per successful call inf
677.97/683.05 c STR average degree increase per successful attempt inf
677.97/683.05 c STR total number of conflicts for successful attempts 0
677.97/683.05 c STR total number of conflicts for unsuccessful attempts 0
677.97/683.05 c STR total number of conflicts for inconclusive attempts 0
677.97/683.05 c STR average number of conflicts per successful attempt inf
677.97/683.05 c STR average number of conflicts per unsuccessful attempt inf
677.97/683.05 c STR average number of conflicts per inconclusive attempt inf
677.97/683.05 c AVG.sumWPerc 83.35
677.97/683.05 c bigint constraints 0
677.97/683.05 o 3031
677.97/683.05 s OPTIMUM FOUND
677.97/683.05 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 1 15:44:12 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 (23505 MiB free)
memory of node 1: 64465 MiB (30559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484081-1751284091/watcher-4484081-1751284091 -o /tmp/evaluation-result-4484081-1751284091/solver-4484081-1751284091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751280474-37305 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4484081-1751284091.opb PROOFDIR/proof-4484081-1751284091
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=37783, runsolver pid=37780
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.15 4.09 5/276 37786
/proc/meminfo: memFree=55354776/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=63720 memory=20040 CPUtime=0.04 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 2965 0 0 0 3 1 0 0 20 0 1 0 44083691 65249280 5010 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 15930 5010 2272 1147 0 3357 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 22984 KiB
[startup+0.205752 s]*
/proc/loadavg: 4.15 4.15 4.09 5/276 37786
/proc/meminfo: memFree=55346712/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=70792 memory=27328 CPUtime=0.14 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 4738 0 0 0 13 1 0 0 20 0 1 0 44083691 72491008 6832 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 17698 6832 2336 1147 0 5125 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 74984 KiB
Current children cumulated memory: 30272 KiB
[startup+0.305686 s]*
/proc/loadavg: 4.15 4.15 4.09 5/276 37786
/proc/meminfo: memFree=55346712/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=72608 memory=29120 CPUtime=0.24 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 5170 0 0 0 22 2 0 0 20 0 1 0 44083691 74350592 7280 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 18152 7280 2368 1147 0 5579 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76800 KiB
Current children cumulated memory: 32064 KiB
[startup+0.700186 s]
/proc/loadavg: 4.15 4.15 4.09 6/276 37786
/proc/meminfo: memFree=55346712/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=81672 memory=39352 CPUtime=0.63 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 6754 0 0 0 50 13 0 0 20 0 1 0 44083691 83632128 9838 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 20418 9838 2400 1147 0 7845 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 42296 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.15 4.09 5/276 37786
/proc/meminfo: memFree=55310932/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=118248 memory=74072 CPUtime=1.43 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 13904 0 0 0 108 35 0 0 20 0 1 0 44083691 121085952 18518 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 29562 18518 2400 1147 0 16989 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 122440 KiB
Current children cumulated memory: 77016 KiB
[startup+3.10557 s]
/proc/loadavg: 4.14 4.14 4.09 5/276 37786
/proc/meminfo: memFree=55097580/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=212996 memory=155120 CPUtime=3.03 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 29045 0 0 0 251 52 0 0 20 0 1 0 44083691 218107904 38780 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 53249 38780 2400 1147 0 40676 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 217188 KiB
Current children cumulated memory: 158064 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.14 4.09 5/274 37800
/proc/meminfo: memFree=55797112/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=241624 memory=178160 CPUtime=6.22 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 34798 0 0 0 559 63 0 0 20 0 1 0 44083691 247422976 44540 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 60406 44540 2432 1147 0 47833 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 245816 KiB
Current children cumulated memory: 181104 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.09 5/276 37833
/proc/meminfo: memFree=68986020/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=268488 memory=210264 CPUtime=12.6 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 41813 0 0 0 1181 79 0 0 20 0 1 0 44083691 274931712 52566 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 67122 52566 2432 1147 0 54549 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 272680 KiB
Current children cumulated memory: 213208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.10 5/277 37931
/proc/meminfo: memFree=68399600/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=348148 memory=261136 CPUtime=25.36 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 52980 0 0 0 2433 103 0 0 20 0 1 0 44083691 356503552 65284 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 87037 65284 2432 1147 0 74464 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 352340 KiB
Current children cumulated memory: 264080 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.14 4.09 5/278 37932
/proc/meminfo: memFree=67735084/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=383620 memory=295288 CPUtime=50.77 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 61001 0 0 0 4931 146 0 0 20 0 1 0 44083691 392826880 73822 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 95905 73822 2432 1147 0 83332 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 387812 KiB
Current children cumulated memory: 298232 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/273 37966
/proc/meminfo: memFree=66760924/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=632432 memory=492312 CPUtime=101.47 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 100580 0 0 0 9928 219 0 0 20 0 1 0 44083691 647610368 123078 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 158108 123078 2432 1147 0 145535 0
Current children cumulated CPU time: 101.5 s
Current children cumulated vsize: 636624 KiB
Current children cumulated memory: 495256 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/279 38039
/proc/meminfo: memFree=65684288/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=688992 memory=537112 CPUtime=160.68 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 111796 0 0 0 15774 294 0 0 20 0 1 0 44083691 705527808 134278 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 172248 134278 2432 1147 0 159675 0
Current children cumulated CPU time: 160.71 s
Current children cumulated vsize: 693184 KiB
Current children cumulated memory: 540056 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/279 38041
/proc/meminfo: memFree=63936460/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=690740 memory=549376 CPUtime=220.22 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 113315 0 0 0 21650 372 0 0 20 0 1 0 44083691 707317760 137344 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
################
# More data... #
################
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=997468 memory=803032 CPUtime=458.65 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 163928 0 0 0 45211 654 0 0 20 0 1 0 44083691 1021407232 200758 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 249367 200758 2496 1147 0 236794 0
Current children cumulated CPU time: 458.68 s
Current children cumulated vsize: 1001660 KiB
Current children cumulated memory: 805976 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/274 38101
/proc/meminfo: memFree=77285792/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1022036 memory=821208 CPUtime=518.25 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 168492 0 0 0 51099 726 0 0 20 0 1 0 44083691 1046564864 205302 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 255509 205302 2496 1147 0 242936 0
Current children cumulated CPU time: 518.28 s
Current children cumulated vsize: 1026228 KiB
Current children cumulated memory: 824152 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/275 38106
/proc/meminfo: memFree=75619552/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1118892 memory=909256 CPUtime=577.85 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 184883 0 0 0 56997 788 0 0 20 0 1 0 44083691 1145745408 227314 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 279723 227314 2496 1147 0 267150 0
Current children cumulated CPU time: 577.88 s
Current children cumulated vsize: 1123084 KiB
Current children cumulated memory: 912200 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/276 38110
/proc/meminfo: memFree=74981948/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1142952 memory=927304 CPUtime=637.52 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189403 0 0 0 62895 857 0 0 20 0 1 0 44083691 1170382848 231826 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 285738 231826 2496 1147 0 273165 0
Current children cumulated CPU time: 637.55 s
Current children cumulated vsize: 1147144 KiB
Current children cumulated memory: 930248 KiB
[startup+683.119 s]
# the end of solver process 37783 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=669.098 s, system=8.99312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/277 38112
/proc/meminfo: memFree=74131408/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=660.68 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 65190 878 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 660.71 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+672 s]*
/proc/loadavg: 4.08 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73874376/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=667.06 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 65824 882 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 667.09 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+678.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73777992/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=673.45 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 66456 889 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 673.48 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+681.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73755068/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=676.54 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 66762 892 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 676.57 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+682.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73747008/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=677.33 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 66840 893 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 677.36 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+682.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73747008/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=677.74 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 66880 894 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 677.77 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+683 s]*
/proc/loadavg: 4.06 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73714248/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/statm: 1048 736 672 219 0 110 0
[pid=37786] ppid=37783 vsize=1144200 memory=928584 CPUtime=677.94 cores=1,3
/proc/37786/stat : 37786 (roundingsat) R 37783 37783 37288 0 -1 4194304 189729 0 0 0 66900 894 0 0 20 0 1 0 44083691 1171660800 232146 18446744073709551615 4227072 8923433 140734627190688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25391104 140734627199222 140734627199528 140734627199528 140734627205098 0
/proc/37786/statm: 286050 232146 2496 1147 0 273477 0
Current children cumulated CPU time: 677.97 s
Current children cumulated vsize: 1148392 KiB
Current children cumulated memory: 931528 KiB
[startup+683.106 s]
/proc/loadavg: 4.06 4.10 4.09 5/277 38112
/proc/meminfo: memFree=73714248/131249992 swapFree=33010160/33010684
[pid=37783] ppid=37780 vsize=4192 memory=2944 CPUtime=0.03 cores=1,3
/proc/37783/stat : 37783 (run-opt-ls-log.) S 37780 37783 37288 0 -1 4194304 240 2397 0 0 0 0 3 0 20 0 1 0 44083686 4292608 736 18446744073709551615 94502767996928 94502768891461 140720979104240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94502769130512 94502769178256 94502785376256 140720979106075 140720979106273 140720979106273 140720979111875 0
/proc/37783/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): 683.119
CPU time (s): 678.091
CPU user time (s): 669.098
CPU system time (s): 8.99312
CPU usage (%): 99.264
Max. virtual memory (cumulated for all children) (KiB): 1148392
Max. memory (cumulated for all children) (KiB): 931528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.098
system time used= 8.99312
maximum resident set size= 928584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6897360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 575
involuntary context switches= 939
# summary of solver processes directly reported to runsolver:
# pid: 37783
# total CPU time (s): 678.091
# total CPU user time (s): 669.098
# total CPU system time (s): 8.99312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43166 second user time and 3.10596 second system time
The end
Launcher Data
Begin job on nodeC035 at 2025-06-30 13:48:11
IDJOB=4484081
IDBENCH=146649
IDSOLVER=3356
FILE ID=nodeC035/4484081-1751284091
RUNJOBID= nodeC035-1751280474-37305
SLURM_JOB_ID= 9594227
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4484081-1751284091/watcher-4484081-1751284091 -o /tmp/evaluation-result-4484081-1751284091/solver-4484081-1751284091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751280474-37305 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4484081-1751284091.opb PROOFDIR/proof-4484081-1751284091
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=486045990
nodeC035 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.767
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.51
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 : 3599.718
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.51
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 : 3600.109
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.51
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.616
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.51
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.750
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.51
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.753
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.51
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 : 3552.808
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.51
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 : 3601.948
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 55362204 kB
MemAvailable: 126213316 kB
Buffers: 1840 kB
Cached: 71562624 kB
SwapCached: 8 kB
Active: 3781988 kB
Inactive: 71283080 kB
Active(anon): 3507116 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 71271456 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 764880 kB
Writeback: 40 kB
AnonPages: 3499768 kB
Mapped: 117932 kB
Shmem: 18048 kB
KReclaimable: 288048 kB
Slab: 401584 kB
SReclaimable: 288048 kB
SUnreclaim: 113536 kB
KernelStack: 4448 kB
PageTables: 10356 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4219272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150776 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2572288 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-30 13:59:35