Trace number 4511161
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-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x60split.opb |
| MD5SUM | 77ae40a270bfcd4ecd9b94334dd86fa6 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.296384 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 601 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 301 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-4511161-1751199382.opb'
0.00/0.01 c read 0.01MB (0.26ms)
0.00/0.01 c [cnf: #variables 601 #clauses 301 #duplicates 0 #arr 1202]
0.00/0.01 c output proof to 'PROOFDIR/proof-4511161-1751199382'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 360] (0.44ms)
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.01 c (5.30ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2104 #edges 4808]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 4.00*10^0 #generators 2] (0.92ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=10)
0.00/0.01 c added predicates for 2 generators (0.01ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 56 #add_vars 18]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4511161-1751199382.opb.pre'
0.00/0.02 c wrote 0.01MB (0.10ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 5.30ms 56.01% detect_special
0.00/0.02 c 2.39ms 25.27% other
0.00/0.02 c 0.92ms 9.76% detect_generic
0.00/0.02 c 0.44ms 4.66% approx_orbits
0.00/0.02 c 0.25ms 2.68% parse
0.00/0.02 c 0.10ms 1.09% output
0.00/0.02 c 0.03ms 0.36% finalize_order
0.00/0.02 c 0.01ms 0.12% break_generic
0.00/0.02 c 0.00ms 0.05% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 9.46ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 619 #constraints 658
0.00/0.04 c rational objective 300.5
0.16/0.27 c #Conflicts: 1000 | #Constraints: 1664
0.16/0.27 c #Conflicts: 2000 | #Constraints: 2665
0.16/0.27 c INPROCESSING
0.16/0.27 c GARBAGE COLLECT
0.16/0.27 c #Conflicts: 3000 | #Constraints: 2703
0.16/0.27 c #Conflicts: 4000 | #Constraints: 3703
0.16/0.27 c INPROCESSING
0.16/0.27 c GARBAGE COLLECT
0.16/0.27 c #Conflicts: 5000 | #Constraints: 3114
0.16/0.27 c #Conflicts: 6000 | #Constraints: 4115
0.16/0.27 c INPROCESSING
0.16/0.27 c GARBAGE COLLECT
0.16/0.27 c rational objective 300.5
0.27/0.38 c #Conflicts: 7000 | #Constraints: 3129
0.27/0.38 c #Conflicts: 8000 | #Constraints: 4129
0.27/0.38 c #Conflicts: 9000 | #Constraints: 5129
0.27/0.38 c INPROCESSING
0.27/0.38 c GARBAGE COLLECT
0.27/0.38 c rational objective 300.5
0.36/0.50 c #Conflicts: 10000 | #Constraints: 3836
0.36/0.50 c #Conflicts: 11000 | #Constraints: 4836
0.36/0.50 c #Conflicts: 12000 | #Constraints: 5836
0.36/0.50 c INPROCESSING
0.36/0.50 c GARBAGE COLLECT
0.36/0.50 c rational objective 300.5
0.56/0.62 c #Conflicts: 13000 | #Constraints: 4287
0.56/0.62 c #Conflicts: 14000 | #Constraints: 5287
0.56/0.62 c #Conflicts: 15000 | #Constraints: 6288
0.56/0.62 c INPROCESSING
0.56/0.62 c GARBAGE COLLECT
0.56/0.62 c rational objective 300.5
0.65/0.77 c #Conflicts: 16000 | #Constraints: 4519
0.65/0.77 c #Conflicts: 17000 | #Constraints: 5519
0.65/0.77 c #Conflicts: 18000 | #Constraints: 6519
0.65/0.77 c INPROCESSING
0.65/0.77 c GARBAGE COLLECT
0.65/0.77 c rational objective 300.5
0.85/0.91 c #Conflicts: 19000 | #Constraints: 4536
0.85/0.91 c #Conflicts: 20000 | #Constraints: 5537
0.85/0.91 c #Conflicts: 21000 | #Constraints: 6537
0.85/0.91 c INPROCESSING
0.85/0.91 c GARBAGE COLLECT
0.85/0.91 c rational objective 300.5
0.96/1.05 c #Conflicts: 22000 | #Constraints: 4341
0.96/1.05 c #Conflicts: 23000 | #Constraints: 5341
0.96/1.05 c #Conflicts: 24000 | #Constraints: 6341
0.96/1.05 c #Conflicts: 25000 | #Constraints: 7341
0.96/1.05 c INPROCESSING
0.96/1.05 c GARBAGE COLLECT
0.96/1.05 c rational objective 300.5
1.16/1.21 c #Conflicts: 26000 | #Constraints: 4949
1.16/1.21 c #Conflicts: 27000 | #Constraints: 5949
1.16/1.21 c #Conflicts: 28000 | #Constraints: 6949
1.16/1.21 c #Conflicts: 29000 | #Constraints: 7949
1.16/1.21 c INPROCESSING
1.16/1.21 c GARBAGE COLLECT
1.16/1.21 c rational objective 300.5
1.25/1.37 c #Conflicts: 30000 | #Constraints: 5351
1.25/1.37 c #Conflicts: 31000 | #Constraints: 6351
1.25/1.37 c #Conflicts: 32000 | #Constraints: 7351
1.25/1.37 c #Conflicts: 33000 | #Constraints: 8351
1.25/1.37 c INPROCESSING
1.25/1.37 c GARBAGE COLLECT
1.25/1.37 c rational objective 300.5
1.45/1.56 c #Conflicts: 34000 | #Constraints: 5558
1.45/1.56 c #Conflicts: 35000 | #Constraints: 6558
1.45/1.56 c #Conflicts: 36000 | #Constraints: 7558
1.45/1.56 c #Conflicts: 37000 | #Constraints: 8558
1.45/1.56 c INPROCESSING
1.45/1.56 c GARBAGE COLLECT
1.45/1.56 c rational objective 300.5
1.65/1.75 c #Conflicts: 38000 | #Constraints: 5561
1.65/1.75 c #Conflicts: 39000 | #Constraints: 6561
1.65/1.75 c #Conflicts: 40000 | #Constraints: 7561
1.65/1.75 c #Conflicts: 41000 | #Constraints: 8561
1.65/1.75 c INPROCESSING
1.65/1.75 c GARBAGE COLLECT
1.65/1.75 c rational objective 300.5
1.85/1.97 c #Conflicts: 42000 | #Constraints: 5366
1.85/1.97 c #Conflicts: 43000 | #Constraints: 6366
1.85/1.97 c #Conflicts: 44000 | #Constraints: 7366
1.85/1.97 c #Conflicts: 45000 | #Constraints: 8366
1.85/1.97 c #Conflicts: 46000 | #Constraints: 9366
1.85/1.97 c INPROCESSING
1.85/1.97 c GARBAGE COLLECT
1.85/1.97 c rational objective 300.5
2.06/2.18 c #Conflicts: 47000 | #Constraints: 5961
2.06/2.18 c #Conflicts: 48000 | #Constraints: 6961
2.06/2.18 c #Conflicts: 49000 | #Constraints: 7961
2.06/2.18 c #Conflicts: 50000 | #Constraints: 8961
2.06/2.18 c #Conflicts: 51000 | #Constraints: 9961
2.06/2.18 c INPROCESSING
2.06/2.18 c GARBAGE COLLECT
2.06/2.18 c rational objective 300.5
2.35/2.41 c #Conflicts: 52000 | #Constraints: 6361
2.35/2.41 c #Conflicts: 53000 | #Constraints: 7361
2.35/2.41 c #Conflicts: 54000 | #Constraints: 8361
2.35/2.41 c #Conflicts: 55000 | #Constraints: 9361
2.35/2.41 c #Conflicts: 56000 | #Constraints: 10361
2.35/2.41 c INPROCESSING
2.35/2.41 c GARBAGE COLLECT
2.35/2.41 c rational objective 300.5
2.56/2.63 c #Conflicts: 57000 | #Constraints: 6550
2.56/2.63 c #Conflicts: 58000 | #Constraints: 7550
2.56/2.63 c #Conflicts: 59000 | #Constraints: 8550
2.56/2.63 c #Conflicts: 60000 | #Constraints: 9550
2.56/2.63 c #Conflicts: 61000 | #Constraints: 10550
2.56/2.63 c INPROCESSING
2.56/2.63 c GARBAGE COLLECT
2.56/2.63 c rational objective 300.5
2.75/2.86 c #Conflicts: 62000 | #Constraints: 6554
2.75/2.86 c #Conflicts: 63000 | #Constraints: 7554
2.75/2.86 c #Conflicts: 64000 | #Constraints: 8554
2.75/2.86 c #Conflicts: 65000 | #Constraints: 9554
2.75/2.86 c #Conflicts: 66000 | #Constraints: 10554
2.75/2.86 c INPROCESSING
2.75/2.86 c GARBAGE COLLECT
2.75/2.86 c rational objective 300.5
3.05/3.11 c #Conflicts: 67000 | #Constraints: 6357
3.05/3.11 c #Conflicts: 68000 | #Constraints: 7357
3.05/3.11 c #Conflicts: 69000 | #Constraints: 8357
3.05/3.11 c #Conflicts: 70000 | #Constraints: 9357
3.05/3.11 c #Conflicts: 71000 | #Constraints: 10357
3.05/3.11 c #Conflicts: 72000 | #Constraints: 11357
3.05/3.11 c INPROCESSING
3.05/3.11 c GARBAGE COLLECT
3.05/3.11 c rational objective 300.5
3.25/3.35 c #Conflicts: 73000 | #Constraints: 6960
3.25/3.35 c #Conflicts: 74000 | #Constraints: 7960
3.25/3.35 c #Conflicts: 75000 | #Constraints: 8960
3.25/3.35 c #Conflicts: 76000 | #Constraints: 9960
3.25/3.35 c #Conflicts: 77000 | #Constraints: 10960
3.25/3.35 c #Conflicts: 78000 | #Constraints: 11960
3.25/3.35 c INPROCESSING
3.25/3.35 c GARBAGE COLLECT
3.25/3.35 c rational objective 300.5
3.55/3.62 c #Conflicts: 79000 | #Constraints: 7362
3.55/3.62 c #Conflicts: 80000 | #Constraints: 8362
3.55/3.62 c #Conflicts: 81000 | #Constraints: 9362
3.55/3.62 c #Conflicts: 82000 | #Constraints: 10362
3.55/3.62 c #Conflicts: 83000 | #Constraints: 11362
3.55/3.62 c #Conflicts: 84000 | #Constraints: 12362
3.55/3.62 c INPROCESSING
3.55/3.62 c GARBAGE COLLECT
3.55/3.62 c rational objective 300.5
3.75/3.88 c #Conflicts: 85000 | #Constraints: 7567
3.75/3.88 c #Conflicts: 86000 | #Constraints: 8567
3.75/3.88 c #Conflicts: 87000 | #Constraints: 9567
3.75/3.88 c #Conflicts: 88000 | #Constraints: 10567
3.75/3.88 c #Conflicts: 89000 | #Constraints: 11567
3.75/3.88 c #Conflicts: 90000 | #Constraints: 12567
3.75/3.88 c INPROCESSING
3.75/3.88 c GARBAGE COLLECT
3.75/3.88 c rational objective 300.5
4.15/4.21 c #Conflicts: 91000 | #Constraints: 7567
4.15/4.21 c #Conflicts: 92000 | #Constraints: 8567
4.15/4.21 c #Conflicts: 93000 | #Constraints: 9567
4.15/4.21 c #Conflicts: 94000 | #Constraints: 10567
4.15/4.21 c #Conflicts: 95000 | #Constraints: 11567
4.15/4.21 c #Conflicts: 96000 | #Constraints: 12567
4.15/4.21 c INPROCESSING
4.15/4.21 c GARBAGE COLLECT
4.15/4.21 c rational objective 300.5
4.44/4.52 c #Conflicts: 97000 | #Constraints: 7362
4.44/4.52 c #Conflicts: 98000 | #Constraints: 8362
4.44/4.52 c #Conflicts: 99000 | #Constraints: 9362
4.44/4.52 c #Conflicts: 100000 | #Constraints: 10362
4.44/4.52 c #Conflicts: 101000 | #Constraints: 11362
4.44/4.52 c #Conflicts: 102000 | #Constraints: 12362
4.44/4.52 c #Conflicts: 103000 | #Constraints: 13362
4.44/4.52 c INPROCESSING
4.44/4.52 c GARBAGE COLLECT
4.44/4.52 c rational objective 300.5
4.74/4.81 c #Conflicts: 104000 | #Constraints: 7951
4.74/4.81 c #Conflicts: 105000 | #Constraints: 8951
4.74/4.81 c #Conflicts: 106000 | #Constraints: 9951
4.74/4.81 c #Conflicts: 107000 | #Constraints: 10951
4.74/4.81 c #Conflicts: 108000 | #Constraints: 11951
4.74/4.81 c #Conflicts: 109000 | #Constraints: 12951
4.74/4.81 c #Conflicts: 110000 | #Constraints: 13951
4.74/4.81 c INPROCESSING
4.74/4.81 c GARBAGE COLLECT
4.74/4.81 c rational objective 300.5
5.05/5.12 c #Conflicts: 111000 | #Constraints: 8361
5.05/5.12 c #Conflicts: 112000 | #Constraints: 9361
5.05/5.12 c #Conflicts: 113000 | #Constraints: 10361
5.05/5.12 c #Conflicts: 114000 | #Constraints: 11361
5.05/5.12 c #Conflicts: 115000 | #Constraints: 12361
5.05/5.12 c #Conflicts: 116000 | #Constraints: 13361
5.05/5.12 c #Conflicts: 117000 | #Constraints: 14361
5.05/5.12 c INPROCESSING
5.05/5.12 c GARBAGE COLLECT
5.05/5.12 c rational objective 300.5
5.35/5.42 c #Conflicts: 118000 | #Constraints: 8564
5.35/5.42 c #Conflicts: 119000 | #Constraints: 9564
5.35/5.42 c #Conflicts: 120000 | #Constraints: 10564
5.35/5.42 c #Conflicts: 121000 | #Constraints: 11564
5.35/5.42 c #Conflicts: 122000 | #Constraints: 12564
5.35/5.42 c #Conflicts: 123000 | #Constraints: 13564
5.35/5.42 c #Conflicts: 124000 | #Constraints: 14564
5.35/5.42 c INPROCESSING
5.35/5.42 c GARBAGE COLLECT
5.35/5.42 c rational objective 300.5
5.64/5.72 c #Conflicts: 125000 | #Constraints: 8559
5.64/5.72 c #Conflicts: 126000 | #Constraints: 9559
5.64/5.72 c #Conflicts: 127000 | #Constraints: 10559
5.64/5.72 c #Conflicts: 128000 | #Constraints: 11559
5.64/5.72 c #Conflicts: 129000 | #Constraints: 12559
5.64/5.72 c #Conflicts: 130000 | #Constraints: 13559
5.64/5.72 c #Conflicts: 131000 | #Constraints: 14559
5.64/5.72 c INPROCESSING
5.64/5.72 c GARBAGE COLLECT
5.64/5.72 c rational objective 300.5
5.95/6.04 c #Conflicts: 132000 | #Constraints: 8357
5.95/6.04 c #Conflicts: 133000 | #Constraints: 9357
5.95/6.04 c #Conflicts: 134000 | #Constraints: 10357
5.95/6.04 c #Conflicts: 135000 | #Constraints: 11357
5.95/6.04 c #Conflicts: 136000 | #Constraints: 12357
5.95/6.04 c #Conflicts: 137000 | #Constraints: 13357
5.95/6.04 c #Conflicts: 138000 | #Constraints: 14357
5.95/6.04 c #Conflicts: 139000 | #Constraints: 15357
5.95/6.04 c INPROCESSING
5.95/6.04 c GARBAGE COLLECT
5.95/6.04 c rational objective 300.5
6.24/6.37 c #Conflicts: 140000 | #Constraints: 8959
6.24/6.37 c #Conflicts: 141000 | #Constraints: 9959
6.24/6.37 c #Conflicts: 142000 | #Constraints: 10959
6.24/6.37 c #Conflicts: 143000 | #Constraints: 11959
6.24/6.37 c #Conflicts: 144000 | #Constraints: 12959
6.24/6.37 c #Conflicts: 145000 | #Constraints: 13959
6.24/6.37 c #Conflicts: 146000 | #Constraints: 14959
6.24/6.37 c #Conflicts: 147000 | #Constraints: 15959
6.24/6.37 c INPROCESSING
6.24/6.37 c GARBAGE COLLECT
6.24/6.37 c rational objective 300.5
6.64/6.72 c #Conflicts: 148000 | #Constraints: 9363
6.64/6.72 c #Conflicts: 149000 | #Constraints: 10363
6.64/6.72 c #Conflicts: 150000 | #Constraints: 11363
6.64/6.72 c #Conflicts: 151000 | #Constraints: 12363
6.64/6.72 c #Conflicts: 152000 | #Constraints: 13363
6.64/6.72 c #Conflicts: 153000 | #Constraints: 14363
6.64/6.72 c #Conflicts: 154000 | #Constraints: 15363
6.64/6.72 c #Conflicts: 155000 | #Constraints: 16363
6.64/6.72 c INPROCESSING
6.64/6.72 c GARBAGE COLLECT
6.64/6.72 c rational objective 300.5
6.94/7.09 c #Conflicts: 156000 | #Constraints: 9571
6.94/7.09 c #Conflicts: 157000 | #Constraints: 10571
6.94/7.09 c #Conflicts: 158000 | #Constraints: 11571
6.94/7.09 c #Conflicts: 159000 | #Constraints: 12571
6.94/7.09 c #Conflicts: 160000 | #Constraints: 13571
6.94/7.09 c #Conflicts: 161000 | #Constraints: 14571
6.94/7.09 c #Conflicts: 162000 | #Constraints: 15571
6.94/7.09 c #Conflicts: 163000 | #Constraints: 16571
6.94/7.09 c INPROCESSING
6.94/7.09 c GARBAGE COLLECT
6.94/7.09 c rational objective 300.5
7.34/7.46 c #Conflicts: 164000 | #Constraints: 9564
7.34/7.46 c #Conflicts: 165000 | #Constraints: 10564
7.34/7.46 c #Conflicts: 166000 | #Constraints: 11564
7.34/7.46 c #Conflicts: 167000 | #Constraints: 12564
7.34/7.46 c #Conflicts: 168000 | #Constraints: 13564
7.34/7.46 c #Conflicts: 169000 | #Constraints: 14564
7.34/7.46 c #Conflicts: 170000 | #Constraints: 15564
7.34/7.46 c #Conflicts: 171000 | #Constraints: 16564
7.34/7.46 c INPROCESSING
7.34/7.46 c GARBAGE COLLECT
7.34/7.46 c rational objective 300.5
7.74/7.83 c #Conflicts: 172000 | #Constraints: 9359
7.74/7.83 c #Conflicts: 173000 | #Constraints: 10359
7.74/7.83 c #Conflicts: 174000 | #Constraints: 11359
7.74/7.83 c #Conflicts: 175000 | #Constraints: 12359
7.74/7.83 c #Conflicts: 176000 | #Constraints: 13359
7.74/7.83 c #Conflicts: 177000 | #Constraints: 14359
7.74/7.83 c #Conflicts: 178000 | #Constraints: 15359
7.74/7.83 c #Conflicts: 179000 | #Constraints: 16359
7.74/7.83 c #Conflicts: 180000 | #Constraints: 17359
7.74/7.83 c INPROCESSING
7.74/7.83 c GARBAGE COLLECT
7.74/7.83 c rational objective 300.5
8.04/8.17 c #Conflicts: 181000 | #Constraints: 9958
8.04/8.17 c #Conflicts: 182000 | #Constraints: 10958
8.04/8.17 c #Conflicts: 183000 | #Constraints: 11958
8.04/8.17 c #Conflicts: 184000 | #Constraints: 12958
8.04/8.17 c #Conflicts: 185000 | #Constraints: 13958
8.04/8.17 c #Conflicts: 186000 | #Constraints: 14958
8.04/8.17 c #Conflicts: 187000 | #Constraints: 15958
8.04/8.17 c #Conflicts: 188000 | #Constraints: 16958
8.04/8.17 c #Conflicts: 189000 | #Constraints: 17958
8.04/8.17 c INPROCESSING
8.04/8.17 c GARBAGE COLLECT
8.04/8.17 c rational objective 300.5
8.44/8.55 c #Conflicts: 190000 | #Constraints: 10365
8.44/8.55 c #Conflicts: 191000 | #Constraints: 11365
8.44/8.55 c #Conflicts: 192000 | #Constraints: 12365
8.44/8.55 c #Conflicts: 193000 | #Constraints: 13365
8.44/8.55 c #Conflicts: 194000 | #Constraints: 14365
8.44/8.55 c #Conflicts: 195000 | #Constraints: 15365
8.44/8.55 c #Conflicts: 196000 | #Constraints: 16365
8.44/8.55 c #Conflicts: 197000 | #Constraints: 17365
8.44/8.55 c #Conflicts: 198000 | #Constraints: 18365
8.44/8.55 c INPROCESSING
8.44/8.55 c GARBAGE COLLECT
8.44/8.55 c rational objective 300.5
8.83/8.99 c #Conflicts: 199000 | #Constraints: 10566
8.83/8.99 c #Conflicts: 200000 | #Constraints: 11566
8.83/8.99 c #Conflicts: 201000 | #Constraints: 12566
8.83/8.99 c #Conflicts: 202000 | #Constraints: 13566
8.83/8.99 c #Conflicts: 203000 | #Constraints: 14566
8.83/8.99 c #Conflicts: 204000 | #Constraints: 15566
8.83/8.99 c #Conflicts: 205000 | #Constraints: 16566
8.83/8.99 c #Conflicts: 206000 | #Constraints: 17566
8.83/8.99 c #Conflicts: 207000 | #Constraints: 18566
8.83/8.99 c INPROCESSING
8.83/8.99 c GARBAGE COLLECT
8.83/8.99 c rational objective 300.5
9.24/9.38 c #Conflicts: 208000 | #Constraints: 10568
9.24/9.38 c #Conflicts: 209000 | #Constraints: 11568
9.24/9.38 c #Conflicts: 210000 | #Constraints: 12568
9.24/9.38 c #Conflicts: 211000 | #Constraints: 13568
9.24/9.38 c #Conflicts: 212000 | #Constraints: 14568
9.24/9.38 c #Conflicts: 213000 | #Constraints: 15568
9.24/9.38 c #Conflicts: 214000 | #Constraints: 16568
9.24/9.38 c #Conflicts: 215000 | #Constraints: 17568
9.24/9.38 c #Conflicts: 216000 | #Constraints: 18568
9.24/9.38 c INPROCESSING
9.24/9.38 c GARBAGE COLLECT
9.24/9.38 c rational objective 300.5
9.74/9.82 c #Conflicts: 217000 | #Constraints: 10373
9.74/9.82 c #Conflicts: 218000 | #Constraints: 11373
9.74/9.82 c #Conflicts: 219000 | #Constraints: 12373
9.74/9.82 c #Conflicts: 220000 | #Constraints: 13373
9.74/9.82 c #Conflicts: 221000 | #Constraints: 14373
9.74/9.82 c #Conflicts: 222000 | #Constraints: 15373
9.74/9.82 c #Conflicts: 223000 | #Constraints: 16373
9.74/9.82 c #Conflicts: 224000 | #Constraints: 17373
9.74/9.82 c #Conflicts: 225000 | #Constraints: 18373
9.74/9.82 c #Conflicts: 226000 | #Constraints: 19373
9.74/9.82 c INPROCESSING
9.74/9.82 c GARBAGE COLLECT
9.74/9.82 c rational objective 300.5
10.13/10.22 c #Conflicts: 227000 | #Constraints: 10977
10.13/10.22 c #Conflicts: 228000 | #Constraints: 11977
10.13/10.22 c #Conflicts: 229000 | #Constraints: 12977
10.13/10.22 c #Conflicts: 230000 | #Constraints: 13977
10.13/10.22 c #Conflicts: 231000 | #Constraints: 14977
10.13/10.22 c #Conflicts: 232000 | #Constraints: 15977
10.13/10.22 c #Conflicts: 233000 | #Constraints: 16977
10.13/10.22 c #Conflicts: 234000 | #Constraints: 17977
10.13/10.22 c #Conflicts: 235000 | #Constraints: 18977
10.13/10.22 c #Conflicts: 236000 | #Constraints: 19977
10.13/10.22 c INPROCESSING
10.13/10.22 c GARBAGE COLLECT
10.13/10.22 c rational objective 300.5
10.53/10.63 c #Conflicts: 237000 | #Constraints: 11377
10.53/10.63 c #Conflicts: 238000 | #Constraints: 12377
10.53/10.63 c #Conflicts: 239000 | #Constraints: 13377
10.53/10.63 c #Conflicts: 240000 | #Constraints: 14377
10.53/10.63 c #Conflicts: 241000 | #Constraints: 15377
10.53/10.63 c #Conflicts: 242000 | #Constraints: 16377
10.53/10.63 c #Conflicts: 243000 | #Constraints: 17377
10.53/10.63 c #Conflicts: 244000 | #Constraints: 18377
10.53/10.63 c #Conflicts: 245000 | #Constraints: 19377
10.53/10.63 c #Conflicts: 246000 | #Constraints: 20377
10.53/10.63 c INPROCESSING
10.53/10.63 c GARBAGE COLLECT
10.53/10.63 c rational objective 300.5
10.94/11.03 c #Conflicts: 247000 | #Constraints: 11572
10.94/11.03 c #Conflicts: 248000 | #Constraints: 12572
10.94/11.03 c #Conflicts: 249000 | #Constraints: 13572
10.94/11.03 c #Conflicts: 250000 | #Constraints: 14572
10.94/11.03 c #Conflicts: 251000 | #Constraints: 15572
10.94/11.03 c #Conflicts: 252000 | #Constraints: 16572
10.94/11.03 c #Conflicts: 253000 | #Constraints: 17572
10.94/11.03 c #Conflicts: 254000 | #Constraints: 18572
10.94/11.03 c #Conflicts: 255000 | #Constraints: 19572
10.94/11.03 c #Conflicts: 256000 | #Constraints: 20572
10.94/11.03 c INPROCESSING
10.94/11.03 c GARBAGE COLLECT
10.94/11.03 c rational objective 300.5
11.33/11.43 c #Conflicts: 257000 | #Constraints: 11569
11.33/11.43 c #Conflicts: 258000 | #Constraints: 12569
11.33/11.43 c #Conflicts: 259000 | #Constraints: 13569
11.33/11.43 c #Conflicts: 260000 | #Constraints: 14569
11.33/11.43 c #Conflicts: 261000 | #Constraints: 15569
11.33/11.43 c #Conflicts: 262000 | #Constraints: 16569
11.33/11.43 c #Conflicts: 263000 | #Constraints: 17569
11.33/11.43 c #Conflicts: 264000 | #Constraints: 18569
11.33/11.43 c #Conflicts: 265000 | #Constraints: 19569
11.33/11.43 c #Conflicts: 266000 | #Constraints: 20569
11.33/11.43 c INPROCESSING
11.33/11.43 c GARBAGE COLLECT
11.33/11.43 c rational objective 300.5
11.73/11.85 c #Conflicts: 267000 | #Constraints: 11370
11.73/11.85 c #Conflicts: 268000 | #Constraints: 12370
11.73/11.85 c #Conflicts: 269000 | #Constraints: 13370
11.73/11.85 c #Conflicts: 270000 | #Constraints: 14370
11.73/11.85 c #Conflicts: 271000 | #Constraints: 15370
11.73/11.85 c #Conflicts: 272000 | #Constraints: 16370
11.73/11.85 c #Conflicts: 273000 | #Constraints: 17370
11.73/11.85 c #Conflicts: 274000 | #Constraints: 18370
11.73/11.85 c #Conflicts: 275000 | #Constraints: 19370
11.73/11.85 c #Conflicts: 276000 | #Constraints: 20370
11.73/11.85 c #Conflicts: 277000 | #Constraints: 21370
11.73/11.85 c INPROCESSING
11.73/11.85 c GARBAGE COLLECT
11.73/11.85 c rational objective 300.5
12.13/12.28 c #Conflicts: 278000 | #Constraints: 11978
12.13/12.28 c #Conflicts: 279000 | #Constraints: 12978
12.13/12.28 c #Conflicts: 280000 | #Constraints: 13978
12.13/12.28 c #Conflicts: 281000 | #Constraints: 14978
12.13/12.28 c #Conflicts: 282000 | #Constraints: 15978
12.13/12.28 c #Conflicts: 283000 | #Constraints: 16978
12.13/12.28 c #Conflicts: 284000 | #Constraints: 17978
12.13/12.28 c #Conflicts: 285000 | #Constraints: 18978
12.13/12.28 c #Conflicts: 286000 | #Constraints: 19978
12.13/12.28 c #Conflicts: 287000 | #Constraints: 20978
12.13/12.28 c #Conflicts: 288000 | #Constraints: 21978
12.13/12.28 c INPROCESSING
12.13/12.28 c GARBAGE COLLECT
12.13/12.28 c rational objective 300.5
12.63/12.72 c #Conflicts: 289000 | #Constraints: 12371
12.63/12.72 c #Conflicts: 290000 | #Constraints: 13371
12.63/12.72 c #Conflicts: 291000 | #Constraints: 14371
12.63/12.72 c #Conflicts: 292000 | #Constraints: 15371
12.63/12.72 c #Conflicts: 293000 | #Constraints: 16371
12.63/12.72 c #Conflicts: 294000 | #Constraints: 17371
12.63/12.72 c #Conflicts: 295000 | #Constraints: 18371
12.63/12.72 c #Conflicts: 296000 | #Constraints: 19371
12.63/12.72 c #Conflicts: 297000 | #Constraints: 20371
12.63/12.72 c #Conflicts: 298000 | #Constraints: 21371
12.63/12.72 c #Conflicts: 299000 | #Constraints: 22371
12.63/12.72 c INPROCESSING
12.63/12.72 c GARBAGE COLLECT
12.63/12.72 c rational objective 300.5
13.03/13.17 c #Conflicts: 300000 | #Constraints: 12575
13.03/13.17 c #Conflicts: 301000 | #Constraints: 13575
13.03/13.17 c #Conflicts: 302000 | #Constraints: 14575
13.03/13.17 c #Conflicts: 303000 | #Constraints: 15575
13.03/13.17 c #Conflicts: 304000 | #Constraints: 16575
13.03/13.17 c #Conflicts: 305000 | #Constraints: 17575
13.03/13.17 c #Conflicts: 306000 | #Constraints: 18575
13.03/13.17 c #Conflicts: 307000 | #Constraints: 19575
13.03/13.17 c #Conflicts: 308000 | #Constraints: 20575
13.03/13.17 c #Conflicts: 309000 | #Constraints: 21575
13.03/13.17 c #Conflicts: 310000 | #Constraints: 22575
13.03/13.17 c INPROCESSING
13.03/13.17 c GARBAGE COLLECT
13.03/13.17 c rational objective 300.5
13.52/13.63 c #Conflicts: 311000 | #Constraints: 12575
13.52/13.63 c #Conflicts: 312000 | #Constraints: 13575
13.52/13.63 c #Conflicts: 313000 | #Constraints: 14575
13.52/13.63 c #Conflicts: 314000 | #Constraints: 15575
13.52/13.63 c #Conflicts: 315000 | #Constraints: 16575
13.52/13.63 c #Conflicts: 316000 | #Constraints: 17576
13.52/13.63 c #Conflicts: 317000 | #Constraints: 18576
13.52/13.63 c #Conflicts: 318000 | #Constraints: 19576
13.52/13.63 c #Conflicts: 319000 | #Constraints: 20576
13.52/13.63 c #Conflicts: 320000 | #Constraints: 21576
13.52/13.63 c #Conflicts: 321000 | #Constraints: 22576
13.52/13.63 c INPROCESSING
13.52/13.63 c GARBAGE COLLECT
13.52/13.63 c rational objective 300.5
14.03/14.16 c #Conflicts: 322000 | #Constraints: 12372
14.03/14.16 c #Conflicts: 323000 | #Constraints: 13372
14.03/14.16 c #Conflicts: 324000 | #Constraints: 14372
14.03/14.16 c #Conflicts: 325000 | #Constraints: 15372
14.03/14.16 c #Conflicts: 326000 | #Constraints: 16372
14.03/14.16 c #Conflicts: 327000 | #Constraints: 17372
14.03/14.16 c #Conflicts: 328000 | #Constraints: 18372
14.03/14.16 c #Conflicts: 329000 | #Constraints: 19372
14.03/14.16 c #Conflicts: 330000 | #Constraints: 20372
14.03/14.16 c #Conflicts: 331000 | #Constraints: 21372
14.03/14.16 c #Conflicts: 332000 | #Constraints: 22372
14.03/14.16 c #Conflicts: 333000 | #Constraints: 23372
14.03/14.16 c INPROCESSING
14.03/14.16 c GARBAGE COLLECT
14.03/14.16 c rational objective 300.5
14.52/14.64 c #Conflicts: 334000 | #Constraints: 12969
14.52/14.64 c #Conflicts: 335000 | #Constraints: 13969
14.52/14.64 c #Conflicts: 336000 | #Constraints: 14969
14.52/14.64 c #Conflicts: 337000 | #Constraints: 15969
14.52/14.64 c #Conflicts: 338000 | #Constraints: 16969
14.52/14.64 c #Conflicts: 339000 | #Constraints: 17969
14.52/14.64 c #Conflicts: 340000 | #Constraints: 18969
14.52/14.64 c #Conflicts: 341000 | #Constraints: 19969
14.52/14.64 c #Conflicts: 342000 | #Constraints: 20969
14.52/14.64 c #Conflicts: 343000 | #Constraints: 21969
14.52/14.64 c #Conflicts: 344000 | #Constraints: 22969
14.52/14.64 c #Conflicts: 345000 | #Constraints: 23969
14.52/14.64 c INPROCESSING
14.52/14.64 c GARBAGE COLLECT
14.52/14.64 c rational objective 300.5
15.02/15.12 c #Conflicts: 346000 | #Constraints: 13374
15.02/15.12 c #Conflicts: 347000 | #Constraints: 14374
15.02/15.12 c #Conflicts: 348000 | #Constraints: 15374
15.02/15.12 c #Conflicts: 349000 | #Constraints: 16374
15.02/15.12 c #Conflicts: 350000 | #Constraints: 17374
15.02/15.12 c #Conflicts: 351000 | #Constraints: 18374
15.02/15.12 c #Conflicts: 352000 | #Constraints: 19374
15.02/15.12 c #Conflicts: 353000 | #Constraints: 20374
15.02/15.12 c #Conflicts: 354000 | #Constraints: 21374
15.02/15.12 c #Conflicts: 355000 | #Constraints: 22374
15.02/15.12 c #Conflicts: 356000 | #Constraints: 23374
15.02/15.12 c #Conflicts: 357000 | #Constraints: 24374
15.02/15.12 c INPROCESSING
15.02/15.12 c GARBAGE COLLECT
15.02/15.12 c rational objective 300.5
15.52/15.61 c #Conflicts: 358000 | #Constraints: 13575
15.52/15.61 c #Conflicts: 359000 | #Constraints: 14575
15.52/15.61 c #Conflicts: 360000 | #Constraints: 15575
15.52/15.61 c #Conflicts: 361000 | #Constraints: 16575
15.52/15.61 c #Conflicts: 362000 | #Constraints: 17575
15.52/15.61 c #Conflicts: 363000 | #Constraints: 18575
15.52/15.61 c #Conflicts: 364000 | #Constraints: 19575
15.52/15.61 c #Conflicts: 365000 | #Constraints: 20575
15.52/15.61 c #Conflicts: 366000 | #Constraints: 21575
15.52/15.61 c #Conflicts: 367000 | #Constraints: 22575
15.52/15.61 c #Conflicts: 368000 | #Constraints: 23575
15.52/15.61 c #Conflicts: 369000 | #Constraints: 24575
15.52/15.61 c INPROCESSING
15.52/15.61 c GARBAGE COLLECT
15.52/15.61 c rational objective 300.5
15.92/16.08 c #Conflicts: 370000 | #Constraints: 13581
15.92/16.08 c #Conflicts: 371000 | #Constraints: 14581
15.92/16.08 c #Conflicts: 372000 | #Constraints: 15581
15.92/16.08 c #Conflicts: 373000 | #Constraints: 16581
15.92/16.08 c #Conflicts: 374000 | #Constraints: 17581
15.92/16.08 c #Conflicts: 375000 | #Constraints: 18581
15.92/16.08 c #Conflicts: 376000 | #Constraints: 19581
15.92/16.08 c #Conflicts: 377000 | #Constraints: 20581
15.92/16.08 c #Conflicts: 378000 | #Constraints: 21581
15.92/16.08 c #Conflicts: 379000 | #Constraints: 22581
15.92/16.08 c #Conflicts: 380000 | #Constraints: 23581
15.92/16.08 c #Conflicts: 381000 | #Constraints: 24581
15.92/16.08 c INPROCESSING
15.92/16.08 c GARBAGE COLLECT
15.92/16.08 c rational objective 300.5
16.42/16.59 c #Conflicts: 382000 | #Constraints: 13378
16.42/16.59 c #Conflicts: 383000 | #Constraints: 14378
16.42/16.59 c #Conflicts: 384000 | #Constraints: 15378
16.42/16.59 c #Conflicts: 385000 | #Constraints: 16378
16.42/16.59 c #Conflicts: 386000 | #Constraints: 17378
16.42/16.59 c #Conflicts: 387000 | #Constraints: 18378
16.42/16.59 c #Conflicts: 388000 | #Constraints: 19378
16.42/16.59 c #Conflicts: 389000 | #Constraints: 20378
16.42/16.59 c #Conflicts: 390000 | #Constraints: 21378
16.42/16.59 c #Conflicts: 391000 | #Constraints: 22378
16.42/16.59 c #Conflicts: 392000 | #Constraints: 23378
16.42/16.59 c #Conflicts: 393000 | #Constraints: 24378
16.42/16.59 c #Conflicts: 394000 | #Constraints: 25378
16.42/16.59 c INPROCESSING
16.42/16.59 c GARBAGE COLLECT
16.42/16.59 c rational objective 300.5
16.92/17.10 c #Conflicts: 395000 | #Constraints: 13973
16.92/17.10 c #Conflicts: 396000 | #Constraints: 14973
16.92/17.10 c #Conflicts: 397000 | #Constraints: 15973
16.92/17.10 c #Conflicts: 398000 | #Constraints: 16973
16.92/17.10 c #Conflicts: 399000 | #Constraints: 17973
16.92/17.10 c #Conflicts: 400000 | #Constraints: 18973
16.92/17.10 c #Conflicts: 401000 | #Constraints: 19973
16.92/17.10 c #Conflicts: 402000 | #Constraints: 20973
16.92/17.10 c #Conflicts: 403000 | #Constraints: 21973
16.92/17.10 c #Conflicts: 404000 | #Constraints: 22973
16.92/17.10 c #Conflicts: 405000 | #Constraints: 23973
16.92/17.10 c #Conflicts: 406000 | #Constraints: 24973
16.92/17.10 c #Conflicts: 407000 | #Constraints: 25973
16.92/17.10 c INPROCESSING
16.92/17.10 c GARBAGE COLLECT
16.92/17.10 c rational objective 300.5
17.51/17.62 c #Conflicts: 408000 | #Constraints: 14375
17.51/17.62 c #Conflicts: 409000 | #Constraints: 15375
17.51/17.62 c #Conflicts: 410000 | #Constraints: 16375
17.51/17.62 c #Conflicts: 411000 | #Constraints: 17375
17.51/17.62 c #Conflicts: 412000 | #Constraints: 18375
17.51/17.62 c #Conflicts: 413000 | #Constraints: 19375
17.51/17.62 c #Conflicts: 414000 | #Constraints: 20375
17.51/17.62 c #Conflicts: 415000 | #Constraints: 21375
17.51/17.62 c #Conflicts: 416000 | #Constraints: 22375
17.51/17.62 c #Conflicts: 417000 | #Constraints: 23375
17.51/17.62 c #Conflicts: 418000 | #Constraints: 24375
17.51/17.62 c #Conflicts: 419000 | #Constraints: 25375
17.51/17.62 c #Conflicts: 420000 | #Constraints: 26375
17.51/17.62 c INPROCESSING
17.51/17.62 c GARBAGE COLLECT
17.51/17.62 c rational objective 300.5
18.01/18.19 c #Conflicts: 421000 | #Constraints: 14576
18.01/18.19 c #Conflicts: 422000 | #Constraints: 15576
18.01/18.19 c #Conflicts: 423000 | #Constraints: 16576
18.01/18.19 c #Conflicts: 424000 | #Constraints: 17576
18.01/18.19 c #Conflicts: 425000 | #Constraints: 18576
18.01/18.19 c #Conflicts: 426000 | #Constraints: 19576
18.01/18.19 c #Conflicts: 427000 | #Constraints: 20576
18.01/18.19 c #Conflicts: 428000 | #Constraints: 21576
18.01/18.19 c #Conflicts: 429000 | #Constraints: 22576
18.01/18.19 c #Conflicts: 430000 | #Constraints: 23576
18.01/18.19 c #Conflicts: 431000 | #Constraints: 24576
18.01/18.19 c #Conflicts: 432000 | #Constraints: 25576
18.01/18.19 c #Conflicts: 433000 | #Constraints: 26576
18.01/18.19 c INPROCESSING
18.01/18.19 c GARBAGE COLLECT
18.01/18.19 c rational objective 300.5
18.70/18.80 c #Conflicts: 434000 | #Constraints: 14580
18.70/18.80 c #Conflicts: 435000 | #Constraints: 15580
18.70/18.80 c #Conflicts: 436000 | #Constraints: 16580
18.70/18.80 c #Conflicts: 437000 | #Constraints: 17580
18.70/18.80 c #Conflicts: 438000 | #Constraints: 18580
18.70/18.80 c #Conflicts: 439000 | #Constraints: 19580
18.70/18.80 c #Conflicts: 440000 | #Constraints: 20580
18.70/18.80 c #Conflicts: 441000 | #Constraints: 21580
18.70/18.80 c #Conflicts: 442000 | #Constraints: 22580
18.70/18.80 c #Conflicts: 443000 | #Constraints: 23580
18.70/18.80 c #Conflicts: 444000 | #Constraints: 24580
18.70/18.80 c #Conflicts: 445000 | #Constraints: 25580
18.70/18.80 c #Conflicts: 446000 | #Constraints: 26580
18.70/18.80 c INPROCESSING
18.70/18.80 c GARBAGE COLLECT
18.70/18.80 c rational objective 300.5
19.30/19.44 c #Conflicts: 447000 | #Constraints: 14396
19.30/19.44 c #Conflicts: 448000 | #Constraints: 15396
19.30/19.44 c #Conflicts: 449000 | #Constraints: 16396
19.30/19.44 c #Conflicts: 450000 | #Constraints: 17396
19.30/19.44 c #Conflicts: 451000 | #Constraints: 18396
19.30/19.44 c #Conflicts: 452000 | #Constraints: 19396
19.30/19.44 c #Conflicts: 453000 | #Constraints: 20396
19.30/19.44 c #Conflicts: 454000 | #Constraints: 21396
19.30/19.44 c #Conflicts: 455000 | #Constraints: 22396
19.30/19.44 c #Conflicts: 456000 | #Constraints: 23396
19.30/19.44 c #Conflicts: 457000 | #Constraints: 24396
19.30/19.44 c #Conflicts: 458000 | #Constraints: 25396
19.30/19.44 c #Conflicts: 459000 | #Constraints: 26396
19.30/19.44 c #Conflicts: 460000 | #Constraints: 27396
19.30/19.44 c INPROCESSING
19.30/19.44 c GARBAGE COLLECT
19.30/19.44 c rational objective 300.5
19.91/20.04 c #Conflicts: 461000 | #Constraints: 14996
19.91/20.04 c #Conflicts: 462000 | #Constraints: 15996
19.91/20.04 c #Conflicts: 463000 | #Constraints: 16996
19.91/20.04 c #Conflicts: 464000 | #Constraints: 17996
19.91/20.04 c #Conflicts: 465000 | #Constraints: 18996
19.91/20.04 c #Conflicts: 466000 | #Constraints: 19996
19.91/20.04 c #Conflicts: 467000 | #Constraints: 20996
19.91/20.04 c #Conflicts: 468000 | #Constraints: 21996
19.91/20.04 c #Conflicts: 469000 | #Constraints: 22996
19.91/20.04 c #Conflicts: 470000 | #Constraints: 23996
19.91/20.04 c #Conflicts: 471000 | #Constraints: 24996
19.91/20.04 c #Conflicts: 472000 | #Constraints: 25996
19.91/20.04 c #Conflicts: 473000 | #Constraints: 26996
19.91/20.04 c #Conflicts: 474000 | #Constraints: 27996
19.91/20.04 c INPROCESSING
19.91/20.04 c GARBAGE COLLECT
19.91/20.04 c rational objective 300.5
20.60/20.70 c #Conflicts: 475000 | #Constraints: 15395
20.60/20.70 c #Conflicts: 476000 | #Constraints: 16395
20.60/20.70 c #Conflicts: 477000 | #Constraints: 17395
20.60/20.70 c #Conflicts: 478000 | #Constraints: 18395
20.60/20.70 c #Conflicts: 479000 | #Constraints: 19395
20.60/20.70 c #Conflicts: 480000 | #Constraints: 20395
20.60/20.70 c #Conflicts: 481000 | #Constraints: 21395
20.60/20.70 c #Conflicts: 482000 | #Constraints: 22395
20.60/20.70 c #Conflicts: 483000 | #Constraints: 23395
20.60/20.70 c #Conflicts: 484000 | #Constraints: 24395
20.60/20.70 c #Conflicts: 485000 | #Constraints: 25395
20.60/20.70 c #Conflicts: 486000 | #Constraints: 26395
20.60/20.70 c #Conflicts: 487000 | #Constraints: 27395
20.60/20.70 c #Conflicts: 488000 | #Constraints: 28395
20.60/20.70 c INPROCESSING
20.60/20.70 c GARBAGE COLLECT
20.60/20.70 c rational objective 300.5
21.21/21.31 c #Conflicts: 489000 | #Constraints: 15597
21.21/21.31 c #Conflicts: 490000 | #Constraints: 16597
21.21/21.31 c #Conflicts: 491000 | #Constraints: 17597
21.21/21.31 c #Conflicts: 492000 | #Constraints: 18597
21.21/21.31 c #Conflicts: 493000 | #Constraints: 19597
21.21/21.31 c #Conflicts: 494000 | #Constraints: 20597
21.21/21.31 c #Conflicts: 495000 | #Constraints: 21597
21.21/21.31 c #Conflicts: 496000 | #Constraints: 22597
21.21/21.31 c #Conflicts: 497000 | #Constraints: 23597
21.21/21.31 c #Conflicts: 498000 | #Constraints: 24597
21.21/21.31 c #Conflicts: 499000 | #Constraints: 25597
21.21/21.31 c #Conflicts: 500000 | #Constraints: 26597
21.21/21.31 c #Conflicts: 501000 | #Constraints: 27597
21.21/21.31 c #Conflicts: 502000 | #Constraints: 28597
21.21/21.31 c INPROCESSING
21.21/21.31 c GARBAGE COLLECT
21.21/21.31 c rational objective 300.5
21.80/21.91 c #Conflicts: 503000 | #Constraints: 15601
21.80/21.91 c #Conflicts: 504000 | #Constraints: 16601
21.80/21.91 c #Conflicts: 505000 | #Constraints: 17601
21.80/21.91 c #Conflicts: 506000 | #Constraints: 18601
21.80/21.91 c #Conflicts: 507000 | #Constraints: 19601
21.80/21.91 c #Conflicts: 508000 | #Constraints: 20601
21.80/21.91 c #Conflicts: 509000 | #Constraints: 21601
21.80/21.91 c #Conflicts: 510000 | #Constraints: 22601
21.80/21.91 c #Conflicts: 511000 | #Constraints: 23601
21.80/21.91 c #Conflicts: 512000 | #Constraints: 24601
21.80/21.91 c #Conflicts: 513000 | #Constraints: 25601
21.80/21.91 c #Conflicts: 514000 | #Constraints: 26601
21.80/21.91 c #Conflicts: 515000 | #Constraints: 27601
21.80/21.91 c #Conflicts: 516000 | #Constraints: 28601
21.80/21.91 c INPROCESSING
21.80/21.91 c GARBAGE COLLECT
21.80/21.91 c rational objective 300.5
22.29/22.47 c #Conflicts: 517000 | #Constraints: 15404
22.29/22.47 c #Conflicts: 518000 | #Constraints: 16404
22.29/22.47 c #Conflicts: 519000 | #Constraints: 17404
22.29/22.47 c #Conflicts: 520000 | #Constraints: 18404
22.29/22.47 c #Conflicts: 521000 | #Constraints: 19404
22.29/22.47 c #Conflicts: 522000 | #Constraints: 20404
22.29/22.47 c #Conflicts: 523000 | #Constraints: 21404
22.29/22.47 c #Conflicts: 524000 | #Constraints: 22404
22.29/22.47 c #Conflicts: 525000 | #Constraints: 23404
22.29/22.47 c #Conflicts: 526000 | #Constraints: 24404
22.29/22.47 c #Conflicts: 527000 | #Constraints: 25404
22.29/22.47 c #Conflicts: 528000 | #Constraints: 26404
22.29/22.47 c #Conflicts: 529000 | #Constraints: 27404
22.29/22.47 c #Conflicts: 530000 | #Constraints: 28404
22.29/22.47 c #Conflicts: 531000 | #Constraints: 29404
22.29/22.47 c INPROCESSING
22.29/22.47 c GARBAGE COLLECT
22.29/22.47 c rational objective 300.5
22.90/23.04 c #Conflicts: 532000 | #Constraints: 16009
22.90/23.04 c #Conflicts: 533000 | #Constraints: 17009
22.90/23.04 c #Conflicts: 534000 | #Constraints: 18009
22.90/23.04 c #Conflicts: 535000 | #Constraints: 19009
22.90/23.04 c #Conflicts: 536000 | #Constraints: 20009
22.90/23.04 c #Conflicts: 537000 | #Constraints: 21009
22.90/23.04 c #Conflicts: 538000 | #Constraints: 22009
22.90/23.04 c #Conflicts: 539000 | #Constraints: 23009
22.90/23.04 c #Conflicts: 540000 | #Constraints: 24009
22.90/23.04 c #Conflicts: 541000 | #Constraints: 25009
22.90/23.04 c #Conflicts: 542000 | #Constraints: 26009
22.90/23.04 c #Conflicts: 543000 | #Constraints: 27009
22.90/23.04 c #Conflicts: 544000 | #Constraints: 28009
22.90/23.04 c #Conflicts: 545000 | #Constraints: 29009
22.90/23.04 c #Conflicts: 546000 | #Constraints: 30009
22.90/23.04 c INPROCESSING
22.90/23.04 c GARBAGE COLLECT
22.90/23.04 c rational objective 300.5
23.50/23.66 c #Conflicts: 547000 | #Constraints: 16405
23.50/23.66 c #Conflicts: 548000 | #Constraints: 17405
23.50/23.66 c #Conflicts: 549000 | #Constraints: 18405
23.50/23.66 c #Conflicts: 550000 | #Constraints: 19405
23.50/23.66 c #Conflicts: 551000 | #Constraints: 20405
23.50/23.66 c #Conflicts: 552000 | #Constraints: 21405
23.50/23.66 c #Conflicts: 553000 | #Constraints: 22405
23.50/23.66 c #Conflicts: 554000 | #Constraints: 23405
23.50/23.66 c #Conflicts: 555000 | #Constraints: 24405
23.50/23.66 c #Conflicts: 556000 | #Constraints: 25405
23.50/23.66 c #Conflicts: 557000 | #Constraints: 26405
23.50/23.66 c #Conflicts: 558000 | #Constraints: 27405
23.50/23.66 c #Conflicts: 559000 | #Constraints: 28405
23.50/23.66 c #Conflicts: 560000 | #Constraints: 29405
23.50/23.66 c #Conflicts: 561000 | #Constraints: 30405
23.50/23.66 c INPROCESSING
23.50/23.66 c GARBAGE COLLECT
23.50/23.66 c rational objective 300.5
24.09/24.25 c #Conflicts: 562000 | #Constraints: 16610
24.09/24.25 c #Conflicts: 563000 | #Constraints: 17610
24.09/24.25 c #Conflicts: 564000 | #Constraints: 18610
24.09/24.25 c #Conflicts: 565000 | #Constraints: 19610
24.09/24.25 c #Conflicts: 566000 | #Constraints: 20610
24.09/24.25 c #Conflicts: 567000 | #Constraints: 21610
24.09/24.25 c #Conflicts: 568000 | #Constraints: 22610
24.09/24.25 c #Conflicts: 569000 | #Constraints: 23610
24.09/24.25 c #Conflicts: 570000 | #Constraints: 24610
24.09/24.25 c #Conflicts: 571000 | #Constraints: 25610
24.09/24.25 c #Conflicts: 572000 | #Constraints: 26610
24.09/24.25 c #Conflicts: 573000 | #Constraints: 27610
24.09/24.25 c #Conflicts: 574000 | #Constraints: 28610
24.09/24.25 c #Conflicts: 575000 | #Constraints: 29610
24.09/24.25 c #Conflicts: 576000 | #Constraints: 30610
24.09/24.25 c INPROCESSING
24.09/24.25 c GARBAGE COLLECT
24.09/24.25 c rational objective 300.5
24.69/24.85 c #Conflicts: 577000 | #Constraints: 16613
24.69/24.85 c #Conflicts: 578000 | #Constraints: 17613
24.69/24.85 c #Conflicts: 579000 | #Constraints: 18613
24.69/24.85 c #Conflicts: 580000 | #Constraints: 19613
24.69/24.85 c #Conflicts: 581000 | #Constraints: 20613
24.69/24.85 c #Conflicts: 582000 | #Constraints: 21613
24.69/24.85 c #Conflicts: 583000 | #Constraints: 22613
24.69/24.85 c #Conflicts: 584000 | #Constraints: 23613
24.69/24.85 c #Conflicts: 585000 | #Constraints: 24613
24.69/24.85 c #Conflicts: 586000 | #Constraints: 25613
24.69/24.85 c #Conflicts: 587000 | #Constraints: 26613
24.69/24.85 c #Conflicts: 588000 | #Constraints: 27613
24.69/24.85 c #Conflicts: 589000 | #Constraints: 28613
24.69/24.85 c #Conflicts: 590000 | #Constraints: 29613
24.69/24.85 c #Conflicts: 591000 | #Constraints: 30613
24.69/24.85 c INPROCESSING
24.69/24.85 c GARBAGE COLLECT
24.69/24.85 c rational objective 300.5
25.29/25.49 c #Conflicts: 592000 | #Constraints: 16419
25.29/25.49 c #Conflicts: 593000 | #Constraints: 17419
25.29/25.49 c #Conflicts: 594000 | #Constraints: 18419
25.29/25.49 c #Conflicts: 595000 | #Constraints: 19419
25.29/25.49 c #Conflicts: 596000 | #Constraints: 20419
25.29/25.49 c #Conflicts: 597000 | #Constraints: 21419
25.29/25.49 c #Conflicts: 598000 | #Constraints: 22419
25.29/25.49 c #Conflicts: 599000 | #Constraints: 23419
25.29/25.49 c #Conflicts: 600000 | #Constraints: 24419
25.29/25.49 c #Conflicts: 601000 | #Constraints: 25419
25.29/25.49 c #Conflicts: 602000 | #Constraints: 26419
25.29/25.49 c #Conflicts: 603000 | #Constraints: 27419
25.29/25.49 c #Conflicts: 604000 | #Constraints: 28419
25.29/25.49 c #Conflicts: 605000 | #Constraints: 29419
25.29/25.49 c #Conflicts: 606000 | #Constraints: 30419
25.29/25.49 c #Conflicts: 607000 | #Constraints: 31419
25.29/25.49 c INPROCESSING
25.29/25.49 c GARBAGE COLLECT
25.29/25.49 c rational objective 300.5
25.99/26.15 c #Conflicts: 608000 | #Constraints: 17023
25.99/26.15 c #Conflicts: 609000 | #Constraints: 18023
25.99/26.15 c #Conflicts: 610000 | #Constraints: 19023
25.99/26.15 c #Conflicts: 611000 | #Constraints: 20023
25.99/26.15 c #Conflicts: 612000 | #Constraints: 21023
25.99/26.15 c #Conflicts: 613000 | #Constraints: 22023
25.99/26.15 c #Conflicts: 614000 | #Constraints: 23023
25.99/26.15 c #Conflicts: 615000 | #Constraints: 24023
25.99/26.15 c #Conflicts: 616000 | #Constraints: 25023
25.99/26.15 c #Conflicts: 617000 | #Constraints: 26023
25.99/26.15 c #Conflicts: 618000 | #Constraints: 27023
25.99/26.15 c #Conflicts: 619000 | #Constraints: 28023
25.99/26.15 c #Conflicts: 620000 | #Constraints: 29023
25.99/26.15 c #Conflicts: 621000 | #Constraints: 30023
25.99/26.15 c #Conflicts: 622000 | #Constraints: 31023
25.99/26.15 c #Conflicts: 623000 | #Constraints: 32023
25.99/26.15 c INPROCESSING
25.99/26.15 c GARBAGE COLLECT
25.99/26.15 c rational objective 300.5
26.58/26.77 c #Conflicts: 624000 | #Constraints: 17421
26.58/26.77 c #Conflicts: 625000 | #Constraints: 18421
26.58/26.77 c #Conflicts: 626000 | #Constraints: 19421
26.58/26.77 c #Conflicts: 627000 | #Constraints: 20421
26.58/26.77 c #Conflicts: 628000 | #Constraints: 21421
26.58/26.77 c #Conflicts: 629000 | #Constraints: 22421
26.58/26.77 c #Conflicts: 630000 | #Constraints: 23421
26.58/26.77 c #Conflicts: 631000 | #Constraints: 24421
26.58/26.77 c #Conflicts: 632000 | #Constraints: 25421
26.58/26.77 c #Conflicts: 633000 | #Constraints: 26421
26.58/26.77 c #Conflicts: 634000 | #Constraints: 27421
26.58/26.77 c #Conflicts: 635000 | #Constraints: 28421
26.58/26.77 c #Conflicts: 636000 | #Constraints: 29421
26.58/26.77 c #Conflicts: 637000 | #Constraints: 30421
26.58/26.77 c #Conflicts: 638000 | #Constraints: 31421
26.58/26.77 c #Conflicts: 639000 | #Constraints: 32421
26.58/26.77 c INPROCESSING
26.58/26.77 c GARBAGE COLLECT
26.58/26.77 c rational objective 300.5
27.28/27.44 c #Conflicts: 640000 | #Constraints: 17619
27.28/27.44 c #Conflicts: 641000 | #Constraints: 18619
27.28/27.44 c #Conflicts: 642000 | #Constraints: 19619
27.28/27.44 c #Conflicts: 643000 | #Constraints: 20619
27.28/27.44 c #Conflicts: 644000 | #Constraints: 21619
27.28/27.44 c #Conflicts: 645000 | #Constraints: 22619
27.28/27.44 c #Conflicts: 646000 | #Constraints: 23619
27.28/27.44 c #Conflicts: 647000 | #Constraints: 24619
27.28/27.44 c #Conflicts: 648000 | #Constraints: 25619
27.28/27.44 c #Conflicts: 649000 | #Constraints: 26619
27.28/27.44 c #Conflicts: 650000 | #Constraints: 27619
27.28/27.44 c #Conflicts: 651000 | #Constraints: 28619
27.28/27.44 c #Conflicts: 652000 | #Constraints: 29619
27.28/27.44 c #Conflicts: 653000 | #Constraints: 30619
27.28/27.44 c #Conflicts: 654000 | #Constraints: 31619
27.28/27.44 c #Conflicts: 655000 | #Constraints: 32619
27.28/27.44 c INPROCESSING
27.28/27.44 c GARBAGE COLLECT
27.28/27.44 c rational objective 300.5
27.99/28.11 c #Conflicts: 656000 | #Constraints: 17627
27.99/28.11 c #Conflicts: 657000 | #Constraints: 18627
27.99/28.11 c #Conflicts: 658000 | #Constraints: 19627
27.99/28.11 c #Conflicts: 659000 | #Constraints: 20627
27.99/28.11 c #Conflicts: 660000 | #Constraints: 21627
27.99/28.11 c #Conflicts: 661000 | #Constraints: 22627
27.99/28.11 c #Conflicts: 662000 | #Constraints: 23627
27.99/28.11 c #Conflicts: 663000 | #Constraints: 24627
27.99/28.11 c #Conflicts: 664000 | #Constraints: 25627
27.99/28.11 c #Conflicts: 665000 | #Constraints: 26627
27.99/28.11 c #Conflicts: 666000 | #Constraints: 27627
27.99/28.11 c #Conflicts: 667000 | #Constraints: 28627
27.99/28.11 c #Conflicts: 668000 | #Constraints: 29627
27.99/28.11 c #Conflicts: 669000 | #Constraints: 30627
27.99/28.11 c #Conflicts: 670000 | #Constraints: 31627
27.99/28.11 c #Conflicts: 671000 | #Constraints: 32627
27.99/28.11 c INPROCESSING
27.99/28.11 c GARBAGE COLLECT
27.99/28.11 c rational objective 300.5
28.58/28.78 c #Conflicts: 672000 | #Constraints: 17427
28.58/28.78 c #Conflicts: 673000 | #Constraints: 18427
28.58/28.78 c #Conflicts: 674000 | #Constraints: 19427
28.58/28.78 c #Conflicts: 675000 | #Constraints: 20427
28.58/28.78 c #Conflicts: 676000 | #Constraints: 21427
28.58/28.78 c #Conflicts: 677000 | #Constraints: 22427
28.58/28.78 c #Conflicts: 678000 | #Constraints: 23427
28.58/28.78 c #Conflicts: 679000 | #Constraints: 24427
28.58/28.78 c #Conflicts: 680000 | #Constraints: 25427
28.58/28.78 c #Conflicts: 681000 | #Constraints: 26427
28.58/28.78 c #Conflicts: 682000 | #Constraints: 27427
28.58/28.78 c #Conflicts: 683000 | #Constraints: 28427
28.58/28.78 c #Conflicts: 684000 | #Constraints: 29427
28.58/28.78 c #Conflicts: 685000 | #Constraints: 30427
28.58/28.78 c #Conflicts: 686000 | #Constraints: 31427
28.58/28.78 c #Conflicts: 687000 | #Constraints: 32427
28.58/28.78 c #Conflicts: 688000 | #Constraints: 33427
28.58/28.78 c INPROCESSING
28.58/28.78 c GARBAGE COLLECT
28.58/28.78 c rational objective 300.5
29.28/29.49 c #Conflicts: 689000 | #Constraints: 18029
29.28/29.49 c #Conflicts: 690000 | #Constraints: 19029
29.28/29.49 c #Conflicts: 691000 | #Constraints: 20029
29.28/29.49 c #Conflicts: 692000 | #Constraints: 21029
29.28/29.49 c #Conflicts: 693000 | #Constraints: 22029
29.28/29.49 c #Conflicts: 694000 | #Constraints: 23029
29.28/29.49 c #Conflicts: 695000 | #Constraints: 24029
29.28/29.49 c #Conflicts: 696000 | #Constraints: 25029
29.28/29.49 c #Conflicts: 697000 | #Constraints: 26029
29.28/29.49 c #Conflicts: 698000 | #Constraints: 27029
29.28/29.49 c #Conflicts: 699000 | #Constraints: 28029
29.28/29.49 c #Conflicts: 700000 | #Constraints: 29029
29.28/29.49 c #Conflicts: 701000 | #Constraints: 30029
29.28/29.49 c #Conflicts: 702000 | #Constraints: 31029
29.28/29.49 c #Conflicts: 703000 | #Constraints: 32029
29.28/29.49 c #Conflicts: 704000 | #Constraints: 33029
29.28/29.49 c #Conflicts: 705000 | #Constraints: 34029
29.28/29.49 c INPROCESSING
29.28/29.49 c GARBAGE COLLECT
29.28/29.49 c rational objective 300.5
30.08/30.28 c #Conflicts: 706000 | #Constraints: 18432
30.08/30.28 c #Conflicts: 707000 | #Constraints: 19432
30.08/30.28 c #Conflicts: 708000 | #Constraints: 20432
30.08/30.28 c #Conflicts: 709000 | #Constraints: 21432
30.08/30.28 c #Conflicts: 710000 | #Constraints: 22432
30.08/30.28 c #Conflicts: 711000 | #Constraints: 23432
30.08/30.28 c #Conflicts: 712000 | #Constraints: 24432
30.08/30.28 c #Conflicts: 713000 | #Constraints: 25432
30.08/30.28 c #Conflicts: 714000 | #Constraints: 26432
30.08/30.28 c #Conflicts: 715000 | #Constraints: 27432
30.08/30.28 c #Conflicts: 716000 | #Constraints: 28432
30.08/30.28 c #Conflicts: 717000 | #Constraints: 29432
30.08/30.28 c #Conflicts: 718000 | #Constraints: 30432
30.08/30.28 c #Conflicts: 719000 | #Constraints: 31432
30.08/30.28 c #Conflicts: 720000 | #Constraints: 32432
30.08/30.28 c #Conflicts: 721000 | #Constraints: 33432
30.08/30.28 c #Conflicts: 722000 | #Constraints: 34432
30.08/30.28 c INPROCESSING
30.08/30.28 c GARBAGE COLLECT
30.08/30.28 c rational objective 300.5
30.98/31.14 c #Conflicts: 723000 | #Constraints: 18626
30.98/31.14 c #Conflicts: 724000 | #Constraints: 19626
30.98/31.14 c #Conflicts: 725000 | #Constraints: 20626
30.98/31.14 c #Conflicts: 726000 | #Constraints: 21626
30.98/31.14 c #Conflicts: 727000 | #Constraints: 22626
30.98/31.14 c #Conflicts: 728000 | #Constraints: 23626
30.98/31.14 c #Conflicts: 729000 | #Constraints: 24626
30.98/31.14 c #Conflicts: 730000 | #Constraints: 25626
30.98/31.14 c #Conflicts: 731000 | #Constraints: 26626
30.98/31.14 c #Conflicts: 732000 | #Constraints: 27626
30.98/31.14 c #Conflicts: 733000 | #Constraints: 28626
30.98/31.14 c #Conflicts: 734000 | #Constraints: 29626
30.98/31.14 c #Conflicts: 735000 | #Constraints: 30626
30.98/31.14 c #Conflicts: 736000 | #Constraints: 31626
30.98/31.14 c #Conflicts: 737000 | #Constraints: 32626
30.98/31.14 c #Conflicts: 738000 | #Constraints: 33626
30.98/31.14 c #Conflicts: 739000 | #Constraints: 34626
30.98/31.14 c INPROCESSING
30.98/31.14 c GARBAGE COLLECT
30.98/31.14 c rational objective 300.5
31.77/31.91 c #Conflicts: 740000 | #Constraints: 18633
31.77/31.91 c #Conflicts: 741000 | #Constraints: 19633
31.77/31.91 c #Conflicts: 742000 | #Constraints: 20633
31.77/31.91 c #Conflicts: 743000 | #Constraints: 21633
31.77/31.91 c #Conflicts: 744000 | #Constraints: 22633
31.77/31.91 c #Conflicts: 745000 | #Constraints: 23633
31.77/31.91 c #Conflicts: 746000 | #Constraints: 24633
31.77/31.91 c #Conflicts: 747000 | #Constraints: 25633
31.77/31.91 c #Conflicts: 748000 | #Constraints: 26633
31.77/31.91 c #Conflicts: 749000 | #Constraints: 27633
31.77/31.91 c #Conflicts: 750000 | #Constraints: 28633
31.77/31.91 c #Conflicts: 751000 | #Constraints: 29633
31.77/31.91 c #Conflicts: 752000 | #Constraints: 30633
31.77/31.91 c #Conflicts: 753000 | #Constraints: 31633
31.77/31.91 c #Conflicts: 754000 | #Constraints: 32633
31.77/31.91 c #Conflicts: 755000 | #Constraints: 33633
31.77/31.91 c #Conflicts: 756000 | #Constraints: 34633
31.77/31.91 c INPROCESSING
31.77/31.91 c GARBAGE COLLECT
31.77/31.91 c rational objective 300.5
32.52/32.71 c #Conflicts: 757000 | #Constraints: 18431
32.52/32.71 c #Conflicts: 758000 | #Constraints: 19431
32.52/32.71 c #Conflicts: 759000 | #Constraints: 20431
32.52/32.71 c #Conflicts: 760000 | #Constraints: 21431
32.52/32.71 c #Conflicts: 761000 | #Constraints: 22431
32.52/32.71 c #Conflicts: 762000 | #Constraints: 23431
32.52/32.71 c #Conflicts: 763000 | #Constraints: 24431
32.52/32.71 c #Conflicts: 764000 | #Constraints: 25431
32.52/32.71 c #Conflicts: 765000 | #Constraints: 26431
32.52/32.71 c #Conflicts: 766000 | #Constraints: 27431
32.52/32.71 c #Conflicts: 767000 | #Constraints: 28431
32.52/32.71 c #Conflicts: 768000 | #Constraints: 29431
32.52/32.71 c #Conflicts: 769000 | #Constraints: 30431
32.52/32.71 c #Conflicts: 770000 | #Constraints: 31431
32.52/32.71 c #Conflicts: 771000 | #Constraints: 32431
32.52/32.71 c #Conflicts: 772000 | #Constraints: 33431
32.52/32.71 c #Conflicts: 773000 | #Constraints: 34431
32.52/32.71 c #Conflicts: 774000 | #Constraints: 35431
32.52/32.71 c INPROCESSING
32.52/32.71 c GARBAGE COLLECT
32.52/32.71 c rational objective 300.5
33.21/33.48 c #Conflicts: 775000 | #Constraints: 19032
33.21/33.48 c #Conflicts: 776000 | #Constraints: 20032
33.21/33.48 c #Conflicts: 777000 | #Constraints: 21032
33.21/33.48 c #Conflicts: 778000 | #Constraints: 22032
33.21/33.48 c #Conflicts: 779000 | #Constraints: 23032
33.21/33.48 c #Conflicts: 780000 | #Constraints: 24032
33.21/33.48 c #Conflicts: 781000 | #Constraints: 25032
33.21/33.48 c #Conflicts: 782000 | #Constraints: 26032
33.21/33.48 c #Conflicts: 783000 | #Constraints: 27032
33.21/33.48 c #Conflicts: 784000 | #Constraints: 28032
33.21/33.48 c #Conflicts: 785000 | #Constraints: 29032
33.21/33.48 c #Conflicts: 786000 | #Constraints: 30032
33.21/33.48 c #Conflicts: 787000 | #Constraints: 31032
33.21/33.48 c #Conflicts: 788000 | #Constraints: 32032
33.21/33.48 c #Conflicts: 789000 | #Constraints: 33032
33.21/33.48 c #Conflicts: 790000 | #Constraints: 34032
33.21/33.48 c #Conflicts: 791000 | #Constraints: 35032
33.21/33.48 c #Conflicts: 792000 | #Constraints: 36032
33.21/33.48 c INPROCESSING
33.21/33.48 c GARBAGE COLLECT
33.21/33.48 c rational objective 300.5
34.01/34.26 c #Conflicts: 793000 | #Constraints: 19431
34.01/34.26 c #Conflicts: 794000 | #Constraints: 20431
34.01/34.26 c #Conflicts: 795000 | #Constraints: 21431
34.01/34.26 c #Conflicts: 796000 | #Constraints: 22431
34.01/34.26 c #Conflicts: 797000 | #Constraints: 23431
34.01/34.26 c #Conflicts: 798000 | #Constraints: 24431
34.01/34.26 c #Conflicts: 799000 | #Constraints: 25431
34.01/34.26 c #Conflicts: 800000 | #Constraints: 26431
34.01/34.26 c #Conflicts: 801000 | #Constraints: 27431
34.01/34.26 c #Conflicts: 802000 | #Constraints: 28431
34.01/34.26 c #Conflicts: 803000 | #Constraints: 29431
34.01/34.26 c #Conflicts: 804000 | #Constraints: 30431
34.01/34.26 c #Conflicts: 805000 | #Constraints: 31431
34.01/34.26 c #Conflicts: 806000 | #Constraints: 32431
34.01/34.26 c #Conflicts: 807000 | #Constraints: 33431
34.01/34.26 c #Conflicts: 808000 | #Constraints: 34431
34.01/34.26 c #Conflicts: 809000 | #Constraints: 35431
34.01/34.26 c #Conflicts: 810000 | #Constraints: 36431
34.01/34.26 c INPROCESSING
34.01/34.26 c GARBAGE COLLECT
34.01/34.26 c rational objective 300.5
34.81/35.03 c #Conflicts: 811000 | #Constraints: 19631
34.81/35.03 c #Conflicts: 812000 | #Constraints: 20631
34.81/35.03 c #Conflicts: 813000 | #Constraints: 21631
34.81/35.03 c #Conflicts: 814000 | #Constraints: 22631
34.81/35.03 c #Conflicts: 815000 | #Constraints: 23631
34.81/35.03 c #Conflicts: 816000 | #Constraints: 24631
34.81/35.03 c #Conflicts: 817000 | #Constraints: 25631
34.81/35.03 c #Conflicts: 818000 | #Constraints: 26631
34.81/35.03 c #Conflicts: 819000 | #Constraints: 27631
34.81/35.03 c #Conflicts: 820000 | #Constraints: 28631
34.81/35.03 c #Conflicts: 821000 | #Constraints: 29631
34.81/35.03 c #Conflicts: 822000 | #Constraints: 30631
34.81/35.03 c #Conflicts: 823000 | #Constraints: 31631
34.81/35.03 c #Conflicts: 824000 | #Constraints: 32631
34.81/35.03 c #Conflicts: 825000 | #Constraints: 33631
34.81/35.03 c #Conflicts: 826000 | #Constraints: 34631
34.81/35.03 c #Conflicts: 827000 | #Constraints: 35631
34.81/35.03 c #Conflicts: 828000 | #Constraints: 36631
34.81/35.03 c INPROCESSING
34.81/35.03 c GARBAGE COLLECT
34.81/35.03 c rational objective 300.5
35.60/35.83 c #Conflicts: 829000 | #Constraints: 19631
35.60/35.83 c #Conflicts: 830000 | #Constraints: 20631
35.60/35.83 c #Conflicts: 831000 | #Constraints: 21631
35.60/35.83 c #Conflicts: 832000 | #Constraints: 22631
35.60/35.83 c #Conflicts: 833000 | #Constraints: 23631
35.60/35.83 c #Conflicts: 834000 | #Constraints: 24631
35.60/35.83 c #Conflicts: 835000 | #Constraints: 25631
35.60/35.83 c #Conflicts: 836000 | #Constraints: 26631
35.60/35.83 c #Conflicts: 837000 | #Constraints: 27631
35.60/35.83 c #Conflicts: 838000 | #Constraints: 28631
35.60/35.83 c #Conflicts: 839000 | #Constraints: 29631
35.60/35.83 c #Conflicts: 840000 | #Constraints: 30631
35.60/35.83 c #Conflicts: 841000 | #Constraints: 31631
35.60/35.83 c #Conflicts: 842000 | #Constraints: 32631
35.60/35.83 c #Conflicts: 843000 | #Constraints: 33631
35.60/35.83 c #Conflicts: 844000 | #Constraints: 34631
35.60/35.83 c #Conflicts: 845000 | #Constraints: 35631
35.60/35.83 c #Conflicts: 846000 | #Constraints: 36631
35.60/35.83 c INPROCESSING
35.60/35.83 c GARBAGE COLLECT
35.60/35.83 c rational objective 300.5
36.40/36.64 c #Conflicts: 847000 | #Constraints: 19439
36.40/36.64 c #Conflicts: 848000 | #Constraints: 20439
36.40/36.64 c #Conflicts: 849000 | #Constraints: 21439
36.40/36.64 c #Conflicts: 850000 | #Constraints: 22439
36.40/36.64 c #Conflicts: 851000 | #Constraints: 23439
36.40/36.64 c #Conflicts: 852000 | #Constraints: 24439
36.40/36.64 c #Conflicts: 853000 | #Constraints: 25439
36.40/36.64 c #Conflicts: 854000 | #Constraints: 26439
36.40/36.64 c #Conflicts: 855000 | #Constraints: 27439
36.40/36.64 c #Conflicts: 856000 | #Constraints: 28439
36.40/36.64 c #Conflicts: 857000 | #Constraints: 29439
36.40/36.64 c #Conflicts: 858000 | #Constraints: 30439
36.40/36.64 c #Conflicts: 859000 | #Constraints: 31439
36.40/36.64 c #Conflicts: 860000 | #Constraints: 32439
36.40/36.64 c #Conflicts: 861000 | #Constraints: 33439
36.40/36.64 c #Conflicts: 862000 | #Constraints: 34439
36.40/36.64 c #Conflicts: 863000 | #Constraints: 35439
36.40/36.64 c #Conflicts: 864000 | #Constraints: 36439
36.40/36.64 c #Conflicts: 865000 | #Constraints: 37439
36.40/36.64 c INPROCESSING
36.40/36.64 c GARBAGE COLLECT
36.40/36.64 c rational objective 300.5
37.19/37.45 c #Conflicts: 866000 | #Constraints: 20035
37.19/37.45 c #Conflicts: 867000 | #Constraints: 21035
37.19/37.45 c #Conflicts: 868000 | #Constraints: 22035
37.19/37.45 c #Conflicts: 869000 | #Constraints: 23035
37.19/37.45 c #Conflicts: 870000 | #Constraints: 24035
37.19/37.45 c #Conflicts: 871000 | #Constraints: 25035
37.19/37.45 c #Conflicts: 872000 | #Constraints: 26035
37.19/37.45 c #Conflicts: 873000 | #Constraints: 27035
37.19/37.45 c #Conflicts: 874000 | #Constraints: 28035
37.19/37.45 c #Conflicts: 875000 | #Constraints: 29035
37.19/37.45 c #Conflicts: 876000 | #Constraints: 30035
37.19/37.45 c #Conflicts: 877000 | #Constraints: 31035
37.19/37.45 c #Conflicts: 878000 | #Constraints: 32035
37.19/37.45 c #Conflicts: 879000 | #Constraints: 33035
37.19/37.45 c #Conflicts: 880000 | #Constraints: 34035
37.19/37.45 c #Conflicts: 881000 | #Constraints: 35035
37.19/37.45 c #Conflicts: 882000 | #Constraints: 36035
37.19/37.45 c #Conflicts: 883000 | #Constraints: 37035
37.19/37.45 c #Conflicts: 884000 | #Constraints: 38035
37.19/37.45 c INPROCESSING
37.19/37.45 c GARBAGE COLLECT
37.19/37.45 c rational objective 300.5
37.99/38.26 c #Conflicts: 885000 | #Constraints: 20441
37.99/38.26 c #Conflicts: 886000 | #Constraints: 21441
37.99/38.26 c #Conflicts: 887000 | #Constraints: 22441
37.99/38.26 c #Conflicts: 888000 | #Constraints: 23441
37.99/38.26 c #Conflicts: 889000 | #Constraints: 24441
37.99/38.26 c #Conflicts: 890000 | #Constraints: 25441
37.99/38.26 c #Conflicts: 891000 | #Constraints: 26441
37.99/38.26 c #Conflicts: 892000 | #Constraints: 27441
37.99/38.26 c #Conflicts: 893000 | #Constraints: 28441
37.99/38.26 c #Conflicts: 894000 | #Constraints: 29441
37.99/38.26 c #Conflicts: 895000 | #Constraints: 30441
37.99/38.26 c #Conflicts: 896000 | #Constraints: 31441
37.99/38.26 c #Conflicts: 897000 | #Constraints: 32441
37.99/38.26 c #Conflicts: 898000 | #Constraints: 33441
37.99/38.26 c #Conflicts: 899000 | #Constraints: 34441
37.99/38.26 c #Conflicts: 900000 | #Constraints: 35441
37.99/38.26 c #Conflicts: 901000 | #Constraints: 36441
37.99/38.26 c #Conflicts: 902000 | #Constraints: 37441
37.99/38.26 c #Conflicts: 903000 | #Constraints: 38441
37.99/38.26 c INPROCESSING
37.99/38.26 c GARBAGE COLLECT
37.99/38.26 c rational objective 300.5
38.90/39.11 c #Conflicts: 904000 | #Constraints: 20639
38.90/39.11 c #Conflicts: 905000 | #Constraints: 21639
38.90/39.11 c #Conflicts: 906000 | #Constraints: 22639
38.90/39.11 c #Conflicts: 907000 | #Constraints: 23639
38.90/39.11 c #Conflicts: 908000 | #Constraints: 24639
38.90/39.11 c #Conflicts: 909000 | #Constraints: 25639
38.90/39.11 c #Conflicts: 910000 | #Constraints: 26639
38.90/39.11 c #Conflicts: 911000 | #Constraints: 27639
38.90/39.11 c #Conflicts: 912000 | #Constraints: 28639
38.90/39.11 c #Conflicts: 913000 | #Constraints: 29639
38.90/39.11 c #Conflicts: 914000 | #Constraints: 30639
38.90/39.11 c #Conflicts: 915000 | #Constraints: 31639
38.90/39.11 c #Conflicts: 916000 | #Constraints: 32639
38.90/39.11 c #Conflicts: 917000 | #Constraints: 33639
38.90/39.11 c #Conflicts: 918000 | #Constraints: 34639
38.90/39.11 c #Conflicts: 919000 | #Constraints: 35639
38.90/39.11 c #Conflicts: 920000 | #Constraints: 36639
38.90/39.11 c #Conflicts: 921000 | #Constraints: 37639
38.90/39.11 c #Conflicts: 922000 | #Constraints: 38639
38.90/39.11 c INPROCESSING
38.90/39.11 c GARBAGE COLLECT
38.90/39.11 c rational objective 300.5
39.69/39.96 c #Conflicts: 923000 | #Constraints: 20640
39.69/39.96 c #Conflicts: 924000 | #Constraints: 21640
39.69/39.96 c #Conflicts: 925000 | #Constraints: 22640
39.69/39.96 c #Conflicts: 926000 | #Constraints: 23640
39.69/39.96 c #Conflicts: 927000 | #Constraints: 24640
39.69/39.96 c #Conflicts: 928000 | #Constraints: 25640
39.69/39.96 c #Conflicts: 929000 | #Constraints: 26640
39.69/39.96 c #Conflicts: 930000 | #Constraints: 27640
39.69/39.96 c #Conflicts: 931000 | #Constraints: 28640
39.69/39.96 c #Conflicts: 932000 | #Constraints: 29640
39.69/39.96 c #Conflicts: 933000 | #Constraints: 30640
39.69/39.96 c #Conflicts: 934000 | #Constraints: 31640
39.69/39.96 c #Conflicts: 935000 | #Constraints: 32640
39.69/39.96 c #Conflicts: 936000 | #Constraints: 33640
39.69/39.96 c #Conflicts: 937000 | #Constraints: 34640
39.69/39.96 c #Conflicts: 938000 | #Constraints: 35640
39.69/39.96 c #Conflicts: 939000 | #Constraints: 36640
39.69/39.96 c #Conflicts: 940000 | #Constraints: 37640
39.69/39.96 c #Conflicts: 941000 | #Constraints: 38640
39.69/39.96 c INPROCESSING
39.69/39.96 c GARBAGE COLLECT
39.69/39.96 c rational objective 300.5
40.59/40.82 c #Conflicts: 942000 | #Constraints: 20442
40.59/40.82 c #Conflicts: 943000 | #Constraints: 21442
40.59/40.82 c #Conflicts: 944000 | #Constraints: 22442
40.59/40.82 c #Conflicts: 945000 | #Constraints: 23442
40.59/40.82 c #Conflicts: 946000 | #Constraints: 24442
40.59/40.82 c #Conflicts: 947000 | #Constraints: 25442
40.59/40.82 c #Conflicts: 948000 | #Constraints: 26442
40.59/40.82 c #Conflicts: 949000 | #Constraints: 27442
40.59/40.82 c #Conflicts: 950000 | #Constraints: 28442
40.59/40.82 c #Conflicts: 951000 | #Constraints: 29442
40.59/40.82 c #Conflicts: 952000 | #Constraints: 30442
40.59/40.82 c #Conflicts: 953000 | #Constraints: 31442
40.59/40.82 c #Conflicts: 954000 | #Constraints: 32442
40.59/40.82 c #Conflicts: 955000 | #Constraints: 33442
40.59/40.82 c #Conflicts: 956000 | #Constraints: 34442
40.59/40.82 c #Conflicts: 957000 | #Constraints: 35442
40.59/40.82 c #Conflicts: 958000 | #Constraints: 36442
40.59/40.82 c #Conflicts: 959000 | #Constraints: 37442
40.59/40.82 c #Conflicts: 960000 | #Constraints: 38442
40.59/40.82 c #Conflicts: 961000 | #Constraints: 39442
40.59/40.82 c INPROCESSING
40.59/40.82 c GARBAGE COLLECT
40.59/40.82 c rational objective 300.5
41.39/41.67 c #Conflicts: 962000 | #Constraints: 21043
41.39/41.67 c #Conflicts: 963000 | #Constraints: 22043
41.39/41.67 c #Conflicts: 964000 | #Constraints: 23043
41.39/41.67 c #Conflicts: 965000 | #Constraints: 24043
41.39/41.67 c #Conflicts: 966000 | #Constraints: 25043
41.39/41.67 c #Conflicts: 967000 | #Constraints: 26043
41.39/41.67 c #Conflicts: 968000 | #Constraints: 27043
41.39/41.67 c #Conflicts: 969000 | #Constraints: 28043
41.39/41.67 c #Conflicts: 970000 | #Constraints: 29043
41.39/41.67 c #Conflicts: 971000 | #Constraints: 30043
41.39/41.67 c #Conflicts: 972000 | #Constraints: 31043
41.39/41.67 c #Conflicts: 973000 | #Constraints: 32043
41.39/41.67 c #Conflicts: 974000 | #Constraints: 33043
41.39/41.67 c #Conflicts: 975000 | #Constraints: 34043
41.39/41.67 c #Conflicts: 976000 | #Constraints: 35043
41.39/41.67 c #Conflicts: 977000 | #Constraints: 36043
41.39/41.67 c #Conflicts: 978000 | #Constraints: 37043
41.39/41.67 c #Conflicts: 979000 | #Constraints: 38043
41.39/41.67 c #Conflicts: 980000 | #Constraints: 39043
41.39/41.67 c #Conflicts: 981000 | #Constraints: 40043
41.39/41.67 c INPROCESSING
41.39/41.67 c GARBAGE COLLECT
41.39/41.67 c rational objective 300.5
42.38/42.66 c #Conflicts: 982000 | #Constraints: 21448
42.38/42.66 c #Conflicts: 983000 | #Constraints: 22448
42.38/42.66 c #Conflicts: 984000 | #Constraints: 23448
42.38/42.66 c #Conflicts: 985000 | #Constraints: 24448
42.38/42.66 c #Conflicts: 986000 | #Constraints: 25448
42.38/42.66 c #Conflicts: 987000 | #Constraints: 26448
42.38/42.66 c #Conflicts: 988000 | #Constraints: 27448
42.38/42.66 c #Conflicts: 989000 | #Constraints: 28448
42.38/42.66 c #Conflicts: 990000 | #Constraints: 29448
42.38/42.66 c #Conflicts: 991000 | #Constraints: 30448
42.38/42.66 c #Conflicts: 992000 | #Constraints: 31448
42.38/42.66 c #Conflicts: 993000 | #Constraints: 32448
42.38/42.66 c #Conflicts: 994000 | #Constraints: 33448
42.38/42.66 c #Conflicts: 995000 | #Constraints: 34448
42.38/42.66 c #Conflicts: 996000 | #Constraints: 35448
42.38/42.66 c #Conflicts: 997000 | #Constraints: 36448
42.38/42.66 c #Conflicts: 998000 | #Constraints: 37448
42.38/42.66 c #Conflicts: 999000 | #Constraints: 38448
42.38/42.66 c #Conflicts: 1000000 | #Constraints: 39448
42.38/42.66 c #Conflicts: 1001000 | #Constraints: 40448
42.38/42.66 c INPROCESSING
42.38/42.66 c GARBAGE COLLECT
42.38/42.66 c rational objective 300.5
43.38/43.66 c #Conflicts: 1002000 | #Constraints: 21654
43.38/43.66 c #Conflicts: 1003000 | #Constraints: 22654
43.38/43.66 c #Conflicts: 1004000 | #Constraints: 23654
43.38/43.66 c #Conflicts: 1005000 | #Constraints: 24654
43.38/43.66 c #Conflicts: 1006000 | #Constraints: 25654
43.38/43.66 c #Conflicts: 1007000 | #Constraints: 26654
43.38/43.66 c #Conflicts: 1008000 | #Constraints: 27654
43.38/43.66 c #Conflicts: 1009000 | #Constraints: 28654
43.38/43.66 c #Conflicts: 1010000 | #Constraints: 29654
43.38/43.66 c #Conflicts: 1011000 | #Constraints: 30654
43.38/43.66 c #Conflicts: 1012000 | #Constraints: 31654
43.38/43.66 c #Conflicts: 1013000 | #Constraints: 32654
43.38/43.66 c #Conflicts: 1014000 | #Constraints: 33654
43.38/43.66 c #Conflicts: 1015000 | #Constraints: 34654
43.38/43.66 c #Conflicts: 1016000 | #Constraints: 35654
43.38/43.66 c #Conflicts: 1017000 | #Constraints: 36654
43.38/43.66 c #Conflicts: 1018000 | #Constraints: 37654
43.38/43.66 c #Conflicts: 1019000 | #Constraints: 38654
43.38/43.66 c #Conflicts: 1020000 | #Constraints: 39654
43.38/43.66 c #Conflicts: 1021000 | #Constraints: 40654
43.38/43.66 c INPROCESSING
43.38/43.66 c GARBAGE COLLECT
43.38/43.66 c rational objective 300.5
44.28/44.53 c #Conflicts: 1022000 | #Constraints: 21656
44.28/44.53 c #Conflicts: 1023000 | #Constraints: 22656
44.28/44.53 c #Conflicts: 1024000 | #Constraints: 23656
44.28/44.53 c #Conflicts: 1025000 | #Constraints: 24656
44.28/44.53 c #Conflicts: 1026000 | #Constraints: 25656
44.28/44.53 c #Conflicts: 1027000 | #Constraints: 26656
44.28/44.53 c #Conflicts: 1028000 | #Constraints: 27656
44.28/44.53 c #Conflicts: 1029000 | #Constraints: 28656
44.28/44.53 c #Conflicts: 1030000 | #Constraints: 29656
44.28/44.53 c #Conflicts: 1031000 | #Constraints: 30656
44.28/44.53 c #Conflicts: 1032000 | #Constraints: 31656
44.28/44.53 c #Conflicts: 1033000 | #Constraints: 32656
44.28/44.53 c #Conflicts: 1034000 | #Constraints: 33656
44.28/44.53 c #Conflicts: 1035000 | #Constraints: 34656
44.28/44.53 c #Conflicts: 1036000 | #Constraints: 35656
44.28/44.53 c #Conflicts: 1037000 | #Constraints: 36656
44.28/44.53 c #Conflicts: 1038000 | #Constraints: 37656
44.28/44.53 c #Conflicts: 1039000 | #Constraints: 38656
44.28/44.53 c #Conflicts: 1040000 | #Constraints: 39656
44.28/44.53 c #Conflicts: 1041000 | #Constraints: 40656
44.28/44.53 c INPROCESSING
44.28/44.53 c GARBAGE COLLECT
44.28/44.53 c rational objective 300.5
45.28/45.50 c #Conflicts: 1042000 | #Constraints: 21460
45.28/45.50 c #Conflicts: 1043000 | #Constraints: 22460
45.28/45.50 c #Conflicts: 1044000 | #Constraints: 23460
45.28/45.50 c #Conflicts: 1045000 | #Constraints: 24460
45.28/45.50 c #Conflicts: 1046000 | #Constraints: 25460
45.28/45.50 c #Conflicts: 1047000 | #Constraints: 26460
45.28/45.50 c #Conflicts: 1048000 | #Constraints: 27460
45.28/45.50 c #Conflicts: 1049000 | #Constraints: 28460
45.28/45.50 c #Conflicts: 1050000 | #Constraints: 29460
45.28/45.50 c #Conflicts: 1051000 | #Constraints: 30460
45.28/45.50 c #Conflicts: 1052000 | #Constraints: 31460
45.28/45.50 c #Conflicts: 1053000 | #Constraints: 32460
45.28/45.50 c #Conflicts: 1054000 | #Constraints: 33460
45.28/45.50 c #Conflicts: 1055000 | #Constraints: 34460
45.28/45.50 c #Conflicts: 1056000 | #Constraints: 35460
45.28/45.50 c #Conflicts: 1057000 | #Constraints: 36460
45.28/45.50 c #Conflicts: 1058000 | #Constraints: 37460
45.28/45.50 c #Conflicts: 1059000 | #Constraints: 38460
45.28/45.50 c #Conflicts: 1060000 | #Constraints: 39460
45.28/45.50 c #Conflicts: 1061000 | #Constraints: 40460
45.28/45.50 c #Conflicts: 1062000 | #Constraints: 41460
45.28/45.50 c INPROCESSING
45.28/45.50 c GARBAGE COLLECT
45.28/45.50 c rational objective 300.5
46.27/46.54 c #Conflicts: 1063000 | #Constraints: 22056
46.27/46.54 c #Conflicts: 1064000 | #Constraints: 23056
46.27/46.54 c #Conflicts: 1065000 | #Constraints: 24056
46.27/46.54 c #Conflicts: 1066000 | #Constraints: 25056
46.27/46.54 c #Conflicts: 1067000 | #Constraints: 26056
46.27/46.54 c #Conflicts: 1068000 | #Constraints: 27056
46.27/46.54 c #Conflicts: 1069000 | #Constraints: 28056
46.27/46.54 c #Conflicts: 1070000 | #Constraints: 29056
46.27/46.54 c #Conflicts: 1071000 | #Constraints: 30056
46.27/46.54 c #Conflicts: 1072000 | #Constraints: 31056
46.27/46.54 c #Conflicts: 1073000 | #Constraints: 32056
46.27/46.54 c #Conflicts: 1074000 | #Constraints: 33056
46.27/46.54 c #Conflicts: 1075000 | #Constraints: 34056
46.27/46.54 c #Conflicts: 1076000 | #Constraints: 35056
46.27/46.54 c #Conflicts: 1077000 | #Constraints: 36056
46.27/46.54 c #Conflicts: 1078000 | #Constraints: 37056
46.27/46.54 c #Conflicts: 1079000 | #Constraints: 38056
46.27/46.54 c #Conflicts: 1080000 | #Constraints: 39056
46.27/46.54 c #Conflicts: 1081000 | #Constraints: 40056
46.27/46.54 c #Conflicts: 1082000 | #Constraints: 41056
46.27/46.54 c #Conflicts: 1083000 | #Constraints: 42056
46.27/46.54 c INPROCESSING
46.27/46.54 c GARBAGE COLLECT
46.27/46.54 c rational objective 300.5
47.18/47.47 c #Conflicts: 1084000 | #Constraints: 22453
47.18/47.47 c #Conflicts: 1085000 | #Constraints: 23453
47.18/47.47 c #Conflicts: 1086000 | #Constraints: 24453
47.18/47.47 c #Conflicts: 1087000 | #Constraints: 25453
47.18/47.47 c #Conflicts: 1088000 | #Constraints: 26453
47.18/47.47 c #Conflicts: 1089000 | #Constraints: 27453
47.18/47.47 c #Conflicts: 1090000 | #Constraints: 28453
47.18/47.47 c #Conflicts: 1091000 | #Constraints: 29453
47.18/47.47 c #Conflicts: 1092000 | #Constraints: 30453
47.18/47.47 c #Conflicts: 1093000 | #Constraints: 31453
47.18/47.47 c #Conflicts: 1094000 | #Constraints: 32453
47.18/47.47 c #Conflicts: 1095000 | #Constraints: 33453
47.18/47.47 c #Conflicts: 1096000 | #Constraints: 34453
47.18/47.47 c #Conflicts: 1097000 | #Constraints: 35453
47.18/47.47 c #Conflicts: 1098000 | #Constraints: 36453
47.18/47.47 c #Conflicts: 1099000 | #Constraints: 37453
47.18/47.47 c #Conflicts: 1100000 | #Constraints: 38453
47.18/47.47 c #Conflicts: 1101000 | #Constraints: 39453
47.18/47.47 c #Conflicts: 1102000 | #Constraints: 40453
47.18/47.47 c #Conflicts: 1103000 | #Constraints: 41453
47.18/47.47 c #Conflicts: 1104000 | #Constraints: 42453
47.18/47.47 c INPROCESSING
47.18/47.47 c GARBAGE COLLECT
47.18/47.47 c rational objective 300.5
48.17/48.42 c #Conflicts: 1105000 | #Constraints: 22654
48.17/48.42 c #Conflicts: 1106000 | #Constraints: 23654
48.17/48.42 c #Conflicts: 1107000 | #Constraints: 24654
48.17/48.42 c #Conflicts: 1108000 | #Constraints: 25654
48.17/48.42 c #Conflicts: 1109000 | #Constraints: 26654
48.17/48.42 c #Conflicts: 1110000 | #Constraints: 27654
48.17/48.42 c #Conflicts: 1111000 | #Constraints: 28654
48.17/48.42 c #Conflicts: 1112000 | #Constraints: 29654
48.17/48.42 c #Conflicts: 1113000 | #Constraints: 30654
48.17/48.42 c #Conflicts: 1114000 | #Constraints: 31654
48.17/48.42 c #Conflicts: 1115000 | #Constraints: 32654
48.17/48.42 c #Conflicts: 1116000 | #Constraints: 33654
48.17/48.42 c #Conflicts: 1117000 | #Constraints: 34654
48.17/48.42 c #Conflicts: 1118000 | #Constraints: 35654
48.17/48.42 c #Conflicts: 1119000 | #Constraints: 36654
48.17/48.42 c #Conflicts: 1120000 | #Constraints: 37654
48.17/48.42 c #Conflicts: 1121000 | #Constraints: 38654
48.17/48.42 c #Conflicts: 1122000 | #Constraints: 39654
48.17/48.42 c #Conflicts: 1123000 | #Constraints: 40654
48.17/48.42 c #Conflicts: 1124000 | #Constraints: 41654
48.17/48.42 c #Conflicts: 1125000 | #Constraints: 42654
48.17/48.42 c INPROCESSING
48.17/48.42 c GARBAGE COLLECT
48.17/48.42 c rational objective 300.5
49.07/49.39 c #Conflicts: 1126000 | #Constraints: 22658
49.07/49.39 c #Conflicts: 1127000 | #Constraints: 23658
49.07/49.39 c #Conflicts: 1128000 | #Constraints: 24658
49.07/49.39 c #Conflicts: 1129000 | #Constraints: 25658
49.07/49.39 c #Conflicts: 1130000 | #Constraints: 26658
49.07/49.39 c #Conflicts: 1131000 | #Constraints: 27658
49.07/49.39 c #Conflicts: 1132000 | #Constraints: 28658
49.07/49.39 c #Conflicts: 1133000 | #Constraints: 29658
49.07/49.39 c #Conflicts: 1134000 | #Constraints: 30658
49.07/49.39 c #Conflicts: 1135000 | #Constraints: 31658
49.07/49.39 c #Conflicts: 1136000 | #Constraints: 32658
49.07/49.39 c #Conflicts: 1137000 | #Constraints: 33658
49.07/49.39 c #Conflicts: 1138000 | #Constraints: 34658
49.07/49.39 c #Conflicts: 1139000 | #Constraints: 35658
49.07/49.39 c #Conflicts: 1140000 | #Constraints: 36658
49.07/49.39 c #Conflicts: 1141000 | #Constraints: 37658
49.07/49.39 c #Conflicts: 1142000 | #Constraints: 38658
49.07/49.39 c #Conflicts: 1143000 | #Constraints: 39658
49.07/49.39 c #Conflicts: 1144000 | #Constraints: 40658
49.07/49.39 c #Conflicts: 1145000 | #Constraints: 41658
49.07/49.39 c #Conflicts: 1146000 | #Constraints: 42658
49.07/49.39 c INPROCESSING
49.07/49.39 c GARBAGE COLLECT
49.07/49.39 c rational objective 300.5
50.17/50.41 c #Conflicts: 1147000 | #Constraints: 22454
50.17/50.41 c #Conflicts: 1148000 | #Constraints: 23454
50.17/50.41 c #Conflicts: 1149000 | #Constraints: 24454
50.17/50.41 c #Conflicts: 1150000 | #Constraints: 25454
50.17/50.41 c #Conflicts: 1151000 | #Constraints: 26454
50.17/50.41 c #Conflicts: 1152000 | #Constraints: 27454
50.17/50.41 c #Conflicts: 1153000 | #Constraints: 28454
50.17/50.41 c #Conflicts: 1154000 | #Constraints: 29454
50.17/50.41 c #Conflicts: 1155000 | #Constraints: 30454
50.17/50.41 c #Conflicts: 1156000 | #Constraints: 31454
50.17/50.41 c #Conflicts: 1157000 | #Constraints: 32454
50.17/50.41 c #Conflicts: 1158000 | #Constraints: 33454
50.17/50.41 c #Conflicts: 1159000 | #Constraints: 34454
50.17/50.41 c #Conflicts: 1160000 | #Constraints: 35454
50.17/50.41 c #Conflicts: 1161000 | #Constraints: 36454
50.17/50.41 c #Conflicts: 1162000 | #Constraints: 37454
50.17/50.41 c #Conflicts: 1163000 | #Constraints: 38454
50.17/50.41 c #Conflicts: 1164000 | #Constraints: 39454
50.17/50.41 c #Conflicts: 1165000 | #Constraints: 40454
50.17/50.41 c #Conflicts: 1166000 | #Constraints: 41454
50.17/50.41 c #Conflicts: 1167000 | #Constraints: 42454
50.17/50.41 c #Conflicts: 1168000 | #Constraints: 43454
50.17/50.41 c INPROCESSING
50.17/50.41 c GARBAGE COLLECT
50.17/50.41 c rational objective 300.5
51.16/51.46 c #Conflicts: 1169000 | #Constraints: 23057
51.16/51.46 c #Conflicts: 1170000 | #Constraints: 24057
51.16/51.46 c #Conflicts: 1171000 | #Constraints: 25057
51.16/51.46 c #Conflicts: 1172000 | #Constraints: 26057
51.16/51.46 c #Conflicts: 1173000 | #Constraints: 27057
51.16/51.46 c #Conflicts: 1174000 | #Constraints: 28057
51.16/51.46 c #Conflicts: 1175000 | #Constraints: 29057
51.16/51.46 c #Conflicts: 1176000 | #Constraints: 30057
51.16/51.46 c #Conflicts: 1177000 | #Constraints: 31057
51.16/51.46 c #Conflicts: 1178000 | #Constraints: 32057
51.16/51.46 c #Conflicts: 1179000 | #Constraints: 33057
51.16/51.46 c #Conflicts: 1180000 | #Constraints: 34057
51.16/51.46 c #Conflicts: 1181000 | #Constraints: 35057
51.16/51.46 c #Conflicts: 1182000 | #Constraints: 36057
51.16/51.46 c #Conflicts: 1183000 | #Constraints: 37057
51.16/51.46 c #Conflicts: 1184000 | #Constraints: 38057
51.16/51.46 c #Conflicts: 1185000 | #Constraints: 39057
51.16/51.46 c #Conflicts: 1186000 | #Constraints: 40057
51.16/51.46 c #Conflicts: 1187000 | #Constraints: 41057
51.16/51.46 c #Conflicts: 1188000 | #Constraints: 42057
51.16/51.46 c #Conflicts: 1189000 | #Constraints: 43057
51.16/51.46 c #Conflicts: 1190000 | #Constraints: 44057
51.16/51.46 c INPROCESSING
51.16/51.46 c GARBAGE COLLECT
51.16/51.46 c rational objective 300.5
52.26/52.50 c #Conflicts: 1191000 | #Constraints: 23457
52.26/52.50 c #Conflicts: 1192000 | #Constraints: 24457
52.26/52.50 c #Conflicts: 1193000 | #Constraints: 25457
52.26/52.50 c #Conflicts: 1194000 | #Constraints: 26457
52.26/52.50 c #Conflicts: 1195000 | #Constraints: 27457
52.26/52.50 c #Conflicts: 1196000 | #Constraints: 28457
52.26/52.50 c #Conflicts: 1197000 | #Constraints: 29457
52.26/52.50 c #Conflicts: 1198000 | #Constraints: 30457
52.26/52.50 c #Conflicts: 1199000 | #Constraints: 31457
52.26/52.50 c #Conflicts: 1200000 | #Constraints: 32457
52.26/52.50 c #Conflicts: 1201000 | #Constraints: 33457
52.26/52.50 c #Conflicts: 1202000 | #Constraints: 34457
52.26/52.50 c #Conflicts: 1203000 | #Constraints: 35457
52.26/52.50 c #Conflicts: 1204000 | #Constraints: 36457
52.26/52.50 c #Conflicts: 1205000 | #Constraints: 37457
52.26/52.50 c #Conflicts: 1206000 | #Constraints: 38457
52.26/52.50 c #Conflicts: 1207000 | #Constraints: 39457
52.26/52.50 c #Conflicts: 1208000 | #Constraints: 40457
52.26/52.50 c #Conflicts: 1209000 | #Constraints: 41457
52.26/52.50 c #Conflicts: 1210000 | #Constraints: 42457
52.26/52.50 c #Conflicts: 1211000 | #Constraints: 43457
52.26/52.50 c #Conflicts: 1212000 | #Constraints: 44457
52.26/52.50 c INPROCESSING
52.26/52.50 c GARBAGE COLLECT
52.26/52.50 c rational objective 300.5
53.25/53.54 c #Conflicts: 1213000 | #Constraints: 23657
53.25/53.54 c #Conflicts: 1214000 | #Constraints: 24657
53.25/53.54 c #Conflicts: 1215000 | #Constraints: 25657
53.25/53.54 c #Conflicts: 1216000 | #Constraints: 26657
53.25/53.54 c #Conflicts: 1217000 | #Constraints: 27657
53.25/53.54 c #Conflicts: 1218000 | #Constraints: 28657
53.25/53.54 c #Conflicts: 1219000 | #Constraints: 29657
53.25/53.54 c #Conflicts: 1220000 | #Constraints: 30657
53.25/53.54 c #Conflicts: 1221000 | #Constraints: 31657
53.25/53.54 c #Conflicts: 1222000 | #Constraints: 32657
53.25/53.54 c #Conflicts: 1223000 | #Constraints: 33657
53.25/53.54 c #Conflicts: 1224000 | #Constraints: 34657
53.25/53.54 c #Conflicts: 1225000 | #Constraints: 35657
53.25/53.54 c #Conflicts: 1226000 | #Constraints: 36657
53.25/53.54 c #Conflicts: 1227000 | #Constraints: 37657
53.25/53.54 c #Conflicts: 1228000 | #Constraints: 38657
53.25/53.54 c #Conflicts: 1229000 | #Constraints: 39657
53.25/53.54 c #Conflicts: 1230000 | #Constraints: 40657
53.25/53.54 c #Conflicts: 1231000 | #Constraints: 41657
53.25/53.54 c #Conflicts: 1232000 | #Constraints: 42657
53.25/53.54 c #Conflicts: 1233000 | #Constraints: 43657
53.25/53.54 c #Conflicts: 1234000 | #Constraints: 44657
53.25/53.54 c INPROCESSING
53.25/53.54 c GARBAGE COLLECT
53.25/53.54 c rational objective 300.5
54.35/54.64 c #Conflicts: 1235000 | #Constraints: 23658
54.35/54.64 c #Conflicts: 1236000 | #Constraints: 24658
54.35/54.64 c #Conflicts: 1237000 | #Constraints: 25658
54.35/54.64 c #Conflicts: 1238000 | #Constraints: 26658
54.35/54.64 c #Conflicts: 1239000 | #Constraints: 27658
54.35/54.64 c #Conflicts: 1240000 | #Constraints: 28658
54.35/54.64 c #Conflicts: 1241000 | #Constraints: 29658
54.35/54.64 c #Conflicts: 1242000 | #Constraints: 30658
54.35/54.64 c #Conflicts: 1243000 | #Constraints: 31658
54.35/54.64 c #Conflicts: 1244000 | #Constraints: 32658
54.35/54.64 c #Conflicts: 1245000 | #Constraints: 33658
54.35/54.64 c #Conflicts: 1246000 | #Constraints: 34658
54.35/54.64 c #Conflicts: 1247000 | #Constraints: 35658
54.35/54.64 c #Conflicts: 1248000 | #Constraints: 36658
54.35/54.64 c #Conflicts: 1249000 | #Constraints: 37658
54.35/54.64 c #Conflicts: 1250000 | #Constraints: 38658
54.35/54.64 c #Conflicts: 1251000 | #Constraints: 39658
54.35/54.64 c #Conflicts: 1252000 | #Constraints: 40658
54.35/54.64 c #Conflicts: 1253000 | #Constraints: 41658
54.35/54.64 c #Conflicts: 1254000 | #Constraints: 42658
54.35/54.64 c #Conflicts: 1255000 | #Constraints: 43658
54.35/54.64 c #Conflicts: 1256000 | #Constraints: 44658
54.35/54.64 c INPROCESSING
54.35/54.64 c GARBAGE COLLECT
54.35/54.64 c rational objective 300.5
55.45/55.76 c #Conflicts: 1257000 | #Constraints: 23459
55.45/55.76 c #Conflicts: 1258000 | #Constraints: 24459
55.45/55.76 c #Conflicts: 1259000 | #Constraints: 25459
55.45/55.76 c #Conflicts: 1260000 | #Constraints: 26459
55.45/55.76 c #Conflicts: 1261000 | #Constraints: 27459
55.45/55.76 c #Conflicts: 1262000 | #Constraints: 28459
55.45/55.76 c #Conflicts: 1263000 | #Constraints: 29459
55.45/55.76 c #Conflicts: 1264000 | #Constraints: 30459
55.45/55.76 c #Conflicts: 1265000 | #Constraints: 31459
55.45/55.76 c #Conflicts: 1266000 | #Constraints: 32459
55.45/55.76 c #Conflicts: 1267000 | #Constraints: 33459
55.45/55.76 c #Conflicts: 1268000 | #Constraints: 34459
55.45/55.76 c #Conflicts: 1269000 | #Constraints: 35459
55.45/55.76 c #Conflicts: 1270000 | #Constraints: 36459
55.45/55.76 c #Conflicts: 1271000 | #Constraints: 37459
55.45/55.76 c #Conflicts: 1272000 | #Constraints: 38459
55.45/55.76 c #Conflicts: 1273000 | #Constraints: 39459
55.45/55.76 c #Conflicts: 1274000 | #Constraints: 40459
55.45/55.76 c #Conflicts: 1275000 | #Constraints: 41459
55.45/55.76 c #Conflicts: 1276000 | #Constraints: 42459
55.45/55.76 c #Conflicts: 1277000 | #Constraints: 43459
55.45/55.76 c #Conflicts: 1278000 | #Constraints: 44459
55.45/55.76 c #Conflicts: 1279000 | #Constraints: 45459
55.45/55.76 c INPROCESSING
55.45/55.76 c GARBAGE COLLECT
55.45/55.76 c rational objective 300.5
56.65/56.90 c #Conflicts: 1280000 | #Constraints: 24057
56.65/56.90 c #Conflicts: 1281000 | #Constraints: 25057
56.65/56.90 c #Conflicts: 1282000 | #Constraints: 26057
56.65/56.90 c #Conflicts: 1283000 | #Constraints: 27057
56.65/56.90 c #Conflicts: 1284000 | #Constraints: 28057
56.65/56.90 c #Conflicts: 1285000 | #Constraints: 29057
56.65/56.90 c #Conflicts: 1286000 | #Constraints: 30057
56.65/56.90 c #Conflicts: 1287000 | #Constraints: 31057
56.65/56.90 c #Conflicts: 1288000 | #Constraints: 32057
56.65/56.90 c #Conflicts: 1289000 | #Constraints: 33057
56.65/56.90 c #Conflicts: 1290000 | #Constraints: 34057
56.65/56.90 c #Conflicts: 1291000 | #Constraints: 35057
56.65/56.90 c #Conflicts: 1292000 | #Constraints: 36057
56.65/56.90 c #Conflicts: 1293000 | #Constraints: 37057
56.65/56.90 c #Conflicts: 1294000 | #Constraints: 38057
56.65/56.90 c #Conflicts: 1295000 | #Constraints: 39057
56.65/56.90 c #Conflicts: 1296000 | #Constraints: 40057
56.65/56.90 c #Conflicts: 1297000 | #Constraints: 41057
56.65/56.90 c #Conflicts: 1298000 | #Constraints: 42057
56.65/56.90 c #Conflicts: 1299000 | #Constraints: 43057
56.65/56.90 c #Conflicts: 1300000 | #Constraints: 44057
56.65/56.90 c #Conflicts: 1301000 | #Constraints: 45057
56.65/56.90 c #Conflicts: 1302000 | #Constraints: 46057
56.65/56.90 c INPROCESSING
56.65/56.90 c GARBAGE COLLECT
56.65/56.90 c rational objective 300.5
58.14/58.42 c #Conflicts: 1303000 | #Constraints: 24462
58.14/58.42 c #Conflicts: 1304000 | #Constraints: 25464
58.14/58.42 c #Conflicts: 1305000 | #Constraints: 26556
58.14/58.42 c #Conflicts: 1306000 | #Constraints: 27692
58.14/58.42 c #Conflicts: 1307000 | #Constraints: 28921
58.14/58.42 c #Conflicts: 1308000 | #Constraints: 29921
58.14/58.42 c #Conflicts: 1309000 | #Constraints: 30928
58.14/58.42 c #Conflicts: 1310000 | #Constraints: 31940
58.14/58.42 c #Conflicts: 1311000 | #Constraints: 33090
58.14/58.42 c #Conflicts: 1312000 | #Constraints: 34444
58.14/58.42 c #Conflicts: 1313000 | #Constraints: 35945
58.14/58.42 c #Conflicts: 1314000 | #Constraints: 37077
58.14/58.42 c #Conflicts: 1315000 | #Constraints: 38091
58.14/58.42 c #Conflicts: 1316000 | #Constraints: 39118
58.14/58.42 c #Conflicts: 1317000 | #Constraints: 40159
58.14/58.42 c #Conflicts: 1318000 | #Constraints: 41312
58.14/58.42 c #Conflicts: 1319000 | #Constraints: 42314
58.14/58.42 c #Conflicts: 1320000 | #Constraints: 43315
58.14/58.42 c #Conflicts: 1321000 | #Constraints: 44316
58.14/58.42 c #Conflicts: 1322000 | #Constraints: 45317
58.14/58.42 c #Conflicts: 1323000 | #Constraints: 46317
58.14/58.42 c #Conflicts: 1324000 | #Constraints: 47343
58.14/58.42 c #Conflicts: 1325000 | #Constraints: 48351
58.14/58.42 c INPROCESSING
58.14/58.42 c GARBAGE COLLECT
58.14/58.42 c rational objective 300.5
59.13/59.45 c #Conflicts: 1326000 | #Constraints: 25603
59.13/59.45 c #Conflicts: 1327000 | #Constraints: 26603
59.13/59.45 c #Conflicts: 1328000 | #Constraints: 27603
59.13/59.45 c #Conflicts: 1329000 | #Constraints: 28603
59.13/59.45 c #Conflicts: 1330000 | #Constraints: 29603
59.13/59.45 c #Conflicts: 1331000 | #Constraints: 30603
59.13/59.45 c #Conflicts: 1332000 | #Constraints: 31603
59.13/59.45 c #Conflicts: 1333000 | #Constraints: 32603
59.13/59.45 c #Conflicts: 1334000 | #Constraints: 33603
59.13/59.45 c #Conflicts: 1335000 | #Constraints: 34603
59.13/59.45 c #Conflicts: 1336000 | #Constraints: 35603
59.13/59.45 c #Conflicts: 1337000 | #Constraints: 36603
59.13/59.45 c #Conflicts: 1338000 | #Constraints: 37603
59.13/59.45 c #Conflicts: 1339000 | #Constraints: 38603
59.13/59.45 c #Conflicts: 1340000 | #Constraints: 39603
59.13/59.45 c #Conflicts: 1341000 | #Constraints: 40603
59.13/59.45 c #Conflicts: 1342000 | #Constraints: 41603
59.13/59.45 c #Conflicts: 1343000 | #Constraints: 42603
59.13/59.45 c #Conflicts: 1344000 | #Constraints: 43603
59.13/59.45 c #Conflicts: 1345000 | #Constraints: 44603
59.13/59.45 c #Conflicts: 1346000 | #Constraints: 45603
59.13/59.45 c #Conflicts: 1347000 | #Constraints: 46603
59.13/59.45 c #Conflicts: 1348000 | #Constraints: 47603
59.13/59.45 c INPROCESSING
59.13/59.45 c GARBAGE COLLECT
59.13/59.45 c rational objective 300.5
59.53/59.84 c #Conflicts: 1349000 | #Constraints: 16735
59.53/59.84 c #Conflicts: 1350000 | #Constraints: 17735
59.53/59.84 c #Conflicts: 1351000 | #Constraints: 18735
59.53/59.84 c #Conflicts: 1352000 | #Constraints: 19735
59.53/59.84 c #Conflicts: 1353000 | #Constraints: 20735
59.53/59.84 c #Conflicts: 1354000 | #Constraints: 21735
59.53/59.84 c #Conflicts: 1355000 | #Constraints: 22735
59.53/59.84 c #Conflicts: 1356000 | #Constraints: 23735
59.53/59.84 c cpu time 55.1551 s
59.53/59.84 c deterministic time 1937762806 1.94e+09
59.53/59.84 c optimization time 8.6e-05 s
59.53/59.84 c total solve time 55.153 s
59.53/59.84 c core-guided solve time 0 s
59.53/59.84 c propagation time 37.5333 s
59.53/59.84 c conflict analysis time 9.00523 s
59.53/59.84 c propagations 6625348
59.53/59.84 c resolve steps 3993067
59.53/59.84 c decisions 2179153
59.53/59.84 c conflicts 1356747
59.53/59.84 c restarts 2557
59.53/59.84 c inprocessing phases 107
59.53/59.84 c garbage collections 107 ,( 100.00 )
59.53/59.84 c input clauses 58 ,( 8.81 )
59.53/59.84 c input cardinalities 600 ,( 91.19 )
59.53/59.84 c input general constraints 0 ,( 0.00 )
59.53/59.84 c input average constraint length 3.90
59.53/59.84 c input average constraint degree 1.91
59.53/59.84 c learned clauses 1328996 ,( 97.78 )
59.53/59.84 c learned cardinalities 3118 ,( 0.23 )
59.53/59.84 c learned general constraints 27042 ,( 1.99 )
59.53/59.84 c learned average constraint length 16.40
59.53/59.84 c learned average constraint degree 9098222.20
59.53/59.84 c watched CF 32, 64, 128, Arb: 11944 , 0 , 0 , 0
59.53/59.84 c counting CF 32, 64, 128, Arb: 15098 , 0 , 0 , 0
59.53/59.84 c watched constraints 11944 ,( 44.17 )
59.53/59.84 c counting constraints 15098 ,( 55.83 )
59.53/59.84 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 421537635 , 10947576 , 17994008 ,( 14794384 , 3199624 )
59.53/59.84 c gcd simplifications 2797
59.53/59.84 c detected cardinalities 479
59.53/59.84 c weakened non-implied lits 173754
59.53/59.84 c weakened non-implying lits 401
59.53/59.84 c original variables 619
59.53/59.84 c clausal propagations 2972266
59.53/59.84 c cardinality propagations 1315221
59.53/59.84 c watched propagations 103447
59.53/59.84 c counting propagations 856540
59.53/59.84 c watch lookups 934386802
59.53/59.84 c watch backjump lookups 0
59.53/59.84 c watch checks 878104133
59.53/59.84 c propagation checks 37384960
59.53/59.84 c constraint additions 68784523
59.53/59.84 c trail pops 10161218
59.53/59.84 c formula constraints 658
59.53/59.84 c learned constraints 1356741
59.53/59.84 c bound constraints 0
59.53/59.84 c core-guided constraints 0
59.53/59.84 c encountered formula constraints 95495
59.53/59.84 c encountered learned constraints 5252825
59.53/59.84 c encountered bound constraints 0
59.53/59.84 c encountered core-guided constraints 0
59.53/59.84 c LP total time 8.15439 s
59.53/59.84 c LP solve time 4.47 s
59.53/59.84 c LP constraints added 1283
59.53/59.84 c LP constraints removed 617
59.53/59.84 c LP pivots internal 135683
59.53/59.84 c LP pivots root 985
59.53/59.84 c LP calls 13756
59.53/59.84 c LP optimalities 11861
59.53/59.84 c LP no pivot count 836
59.53/59.84 c LP infeasibilities 1894
59.53/59.84 c LP valid Farkas constraints 1894
59.53/59.84 c LP learned Farkas constraints 5
59.53/59.84 c LP basis resets 0
59.53/59.84 c LP cycling count 0
59.53/59.84 c LP singular count 0
59.53/59.84 c LP no primal count 0
59.53/59.84 c LP no farkas count 0
59.53/59.84 c LP other issue count 0
59.53/59.84 c LP Gomory cuts 516
59.53/59.84 c LP learned cuts 109
59.53/59.84 c LP deleted cuts 617
59.53/59.84 c LP encountered Gomory constraints 2
59.53/59.84 c LP encountered Farkas constraints 1477
59.53/59.84 c LP encountered learned Farkas constraints 10
59.53/59.84 c CG auxiliary variables introduced 0
59.53/59.84 c CG solutions found 0
59.53/59.84 c CG cores constructed 0
59.53/59.84 c CG core cardinality constraints returned 0
59.53/59.84 c CG unit cores 0
59.53/59.84 c CG single cores 0
59.53/59.84 c CG blocks removed during cardinality reduction 0
59.53/59.84 c CG first core best 0
59.53/59.84 c CG decision core best 0
59.53/59.84 c CG core reduction tie 0
59.53/59.84 c CG core degree average 0.00
59.53/59.84 c CG core slack average 0.00
59.53/59.84 c CG core upper bound improvements 0
59.53/59.84 c STR number of successful calls 0
59.53/59.84 c STR number of unsuccessful calls 0
59.53/59.84 c STR number of inconclusive calls 0
59.53/59.84 c STR number of successful attempts 0
59.53/59.84 c STR number of unsuccessful attempts 0
59.53/59.84 c STR number of inconclusive attempts 0
59.53/59.84 c STR average degree increase per successful call inf
59.53/59.84 c STR average degree increase per successful attempt inf
59.53/59.84 c STR total number of conflicts for successful attempts 0
59.53/59.84 c STR total number of conflicts for unsuccessful attempts 0
59.53/59.84 c STR total number of conflicts for inconclusive attempts 0
59.53/59.84 c STR average number of conflicts per successful attempt inf
59.53/59.84 c STR average number of conflicts per unsuccessful attempt inf
59.53/59.84 c STR average number of conflicts per inconclusive attempt inf
59.53/59.84 c AVG.sumWPerc 43.18
59.53/59.84 c bigint constraints 0
59.53/59.84 s UNSATISFIABLE
Verifier Data
ERROR: no interpretation found !
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Wed Jul 2 15:21:11 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--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: 63665 MiB (60443 MiB free)
memory of node 1: 64507 MiB (59642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511161-1751199382/watcher-4511161-1751199382 -o /tmp/evaluation-result-4511161-1751199382/solver-4511161-1751199382 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4511161-1751199382.opb PROOFDIR/proof-4511161-1751199382
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=22639, runsolver pid=22636
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122967176/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=58100 memory=12724 CPUtime=0.07 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 1149 0 0 0 6 1 0 0 20 0 1 0 35617820 59494400 3181 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 14525 3181 2368 1147 0 1952 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62292 KiB
Current children cumulated memory: 15668 KiB
[startup+0.20575 s]*
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122965412/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=58792 memory=13620 CPUtime=0.16 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 1373 0 0 0 14 2 0 0 20 0 1 0 35617820 60203008 3405 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 14698 3405 2368 1147 0 2125 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62984 KiB
Current children cumulated memory: 16564 KiB
[startup+0.305756 s]*
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122963396/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=58936 memory=13876 CPUtime=0.27 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 1449 0 0 0 23 4 0 0 20 0 1 0 35617820 60350464 3469 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 14734 3469 2368 1147 0 2161 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63128 KiB
Current children cumulated memory: 16820 KiB
[startup+0.700191 s]
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122961380/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=59512 memory=14516 CPUtime=0.65 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 1614 0 0 0 58 7 0 0 20 0 1 0 35617820 60940288 3629 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 14878 3629 2368 1147 0 2305 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 63704 KiB
Current children cumulated memory: 17460 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122953316/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=60252 memory=15412 CPUtime=1.45 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 1832 0 0 0 129 16 0 0 20 0 1 0 35617820 61698048 3853 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 15063 3853 2368 1147 0 2490 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 64444 KiB
Current children cumulated memory: 18356 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122937536/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=61764 memory=17204 CPUtime=3.05 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 2293 0 0 0 271 34 0 0 20 0 1 0 35617820 63246336 4301 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 15441 4301 2368 1147 0 2868 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 65956 KiB
Current children cumulated memory: 20148 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.10 3.76 5/273 22642
/proc/meminfo: memFree=122912304/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=62988 memory=18868 CPUtime=6.24 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 2691 0 0 0 558 66 0 0 20 0 1 0 35617820 64499712 4717 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 15747 4717 2368 1147 0 3174 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67180 KiB
Current children cumulated memory: 21812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 3.76 5/273 22642
/proc/meminfo: memFree=122894820/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=64472 memory=20884 CPUtime=12.63 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 3716 0 0 0 1147 116 0 0 20 0 1 0 35617820 66019328 5221 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 16118 5221 2368 1147 0 3545 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 68664 KiB
Current children cumulated memory: 23828 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 3.77 5/273 22643
/proc/meminfo: memFree=122801324/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=67032 memory=25516 CPUtime=25.39 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 6820 0 0 0 2331 208 0 0 20 0 1 0 35617820 68640768 6379 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 16758 6379 2368 1147 0 4185 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 71224 KiB
Current children cumulated memory: 28460 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122678124/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=71904 memory=30040 CPUtime=50.87 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 10934 0 0 0 4704 383 0 0 20 0 1 0 35617820 73629696 7510 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 17976 7510 2368 1147 0 5403 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 76096 KiB
Current children cumulated memory: 32984 KiB
[startup+59.8411 s]
# the end of solver process 22639 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=55.1646 s, system=4.39201 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122678124/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=71904 memory=30040 CPUtime=50.97 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 10935 0 0 0 4713 384 0 0 20 0 1 0 35617820 73629696 7510 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 17976 7510 2368 1147 0 5403 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 76096 KiB
Current children cumulated memory: 32984 KiB
[startup+54.4002 s]
/proc/loadavg: 4.09 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122667688/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=72376 memory=30504 CPUtime=54.15 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 11552 0 0 0 5011 404 0 0 20 0 1 0 35617820 74113024 7626 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 18094 7626 2368 1147 0 5521 0
Current children cumulated CPU time: 54.15 s
Current children cumulated vsize: 76568 KiB
Current children cumulated memory: 33448 KiB
[startup+57.6002 s]
/proc/loadavg: 4.09 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122651756/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=72760 memory=30908 CPUtime=57.34 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 12289 0 0 0 5310 424 0 0 20 0 1 0 35617820 74506240 7727 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 18190 7727 2368 1147 0 5617 0
Current children cumulated CPU time: 57.34 s
Current children cumulated vsize: 76952 KiB
Current children cumulated memory: 33852 KiB
[startup+59.2002 s]
/proc/loadavg: 4.08 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122630336/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=76032 memory=33636 CPUtime=58.94 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 12732 0 0 0 5460 434 0 0 20 0 1 0 35617820 77856768 8409 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 19008 8409 2368 1147 0 6435 0
Current children cumulated CPU time: 58.94 s
Current children cumulated vsize: 80224 KiB
Current children cumulated memory: 36580 KiB
[startup+59.6002 s]
/proc/loadavg: 4.08 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122630336/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=76824 memory=34404 CPUtime=59.34 cores=0,2
/proc/22642/stat : 22642 (roundingsat) R 22639 22639 21214 0 -1 4194304 12916 0 0 0 5498 436 0 0 20 0 1 0 35617820 78667776 8601 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 19206 8601 2368 1147 0 6633 0
Current children cumulated CPU time: 59.34 s
Current children cumulated vsize: 81016 KiB
Current children cumulated memory: 37348 KiB
[startup+59.8002 s]
/proc/loadavg: 4.08 4.09 3.78 5/273 22643
/proc/meminfo: memFree=122630336/131249996 swapFree=33010684/33010684
[pid=22639] ppid=22636 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22639/stat : 22639 (run-dec-break-l) S 22636 22639 21214 0 -1 4194304 238 435 0 0 0 0 0 0 20 0 1 0 35617818 4292608 736 18446744073709551615 94870390112256 94870391006789 140728978702496 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94870391245840 94870391293584 94870392668160 140728978704661 140728978704862 140728978704862 140728978710464 0
/proc/22639/statm: 1048 736 672 219 0 110 0
[pid=22642] ppid=22639 vsize=76824 memory=34404 CPUtime=59.53 cores=0,2
/proc/22642/stat : 22642 (roundingsat) D 22639 22639 21214 0 -1 4194304 12916 0 0 0 5515 438 0 0 20 0 1 0 35617820 78667776 8601 18446744073709551615 4227072 8923433 140734326921152 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 10256384 140734326925556 140734326925864 140734326925864 140734326931434 0
/proc/22642/statm: 19206 8601 2368 1147 0 6633 0
Current children cumulated CPU time: 59.53 s
Current children cumulated vsize: 81016 KiB
Current children cumulated memory: 37348 KiB
Child status: 0
Real time (s): 59.8412
CPU time (s): 59.5566
CPU user time (s): 55.1646
CPU system time (s): 4.39201
CPU usage (%): 99.5244
Max. virtual memory (cumulated for all children) (KiB): 81016
Max. memory (cumulated for all children) (KiB): 37348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.1645
system time used= 4.39201
maximum resident set size= 34496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 235784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1798
involuntary context switches= 141
# summary of solver processes directly reported to runsolver:
# pid: 22639
# total CPU time (s): 59.5566
# total CPU user time (s): 55.1646
# total CPU system time (s): 4.39201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.10619 second user time and 0.325857 second system time
The end
Launcher Data
Begin job on nodeC030 at 2025-06-29 14:16:22
IDJOB=4511161
IDBENCH=160431
IDSOLVER=3358
FILE ID=nodeC030/4511161-1751199382
RUNJOBID= nodeC030-1751197546-21224
SLURM_JOB_ID= 9587610
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511161-1751199382/watcher-4511161-1751199382 -o /tmp/evaluation-result-4511161-1751199382/solver-4511161-1751199382 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21224 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4511161-1751199382.opb PROOFDIR/proof-4511161-1751199382
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ae40a270bfcd4ecd9b94334dd86fa6
RANDOM SEED=953717829
nodeC030 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 : 3600.321
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 : 7000.62
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 : 3600.341
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 : 7000.62
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.337
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 : 7000.62
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 : 3600.727
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 : 7000.62
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 : 3600.309
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 : 7000.62
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 : 3600.320
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 : 7000.62
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 : 3601.886
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 : 7000.62
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122967840 kB
MemAvailable: 129485360 kB
Buffers: 3280 kB
Cached: 7318864 kB
SwapCached: 0 kB
Active: 665112 kB
Inactive: 7061708 kB
Active(anon): 423156 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 7061708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40068 kB
Writeback: 4 kB
AnonPages: 399244 kB
Mapped: 113252 kB
Shmem: 18064 kB
KReclaimable: 105788 kB
Slab: 192516 kB
SReclaimable: 105788 kB
SUnreclaim: 86728 kB
KernelStack: 4416 kB
PageTables: 4064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 758560 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC030 at 2025-06-29 14:17:22