0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532087-1752596052.opb'
0.00/0.04 c read 1.11MB (22.68ms)
0.00/0.04 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.08 c output proof to 'PROOFDIR/proof-4532087-1752596052'
0.00/0.08 c
0.00/0.08 c make graph and approximate orbits
0.04/0.11 c [group: #orbits ~= 2664] (34.16ms)
0.04/0.11 c
0.04/0.11 c detect special group actions
0.04/0.11 c probe for Johnson action (limit=64)
0.04/0.13 c probe for row-column symmetry (limit=64, splits=16.78M)
0.04/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.04/0.19 c found row 11x666, generating row predicate
0.04/0.19 c (80.93ms)
0.04/0.19 c
0.04/0.19 c detect symmetries on remainder
0.04/0.19 c [graph: #vertices 80207 #edges 285984]
0.04/0.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.16/0.29 c [group: #symmetries 1.24*10^7 #generators 13] (97.01ms)
0.16/0.29 c
0.16/0.29 c optimize generators (opt_passes=64, conjugate_limit=256)
0.16/0.29 c ran it=0, +gens=2
0.54/0.66 c con best_support=1332, best_gens=13, +gens=224
0.54/0.66 c (370.19ms)
0.54/0.66 c
0.54/0.66 c finalize break order and special generators
0.54/0.66 c
0.54/0.66 c add generic predicates (break_depth=20)
0.54/0.66 c added predicates for 239 generators (3.50ms)
1.13/1.21 c
1.13/1.21 c generation finished
1.13/1.21 c [sbp: #constraints 33822 #add_vars 11191]
1.13/1.22 c
1.13/1.22 c write result to 'HOME/instance-4532087-1752596052.opb.pre'
1.13/1.22 c wrote 2.40MB (7.91ms)
1.13/1.22 c ------------------------------------------------------------------
1.13/1.22 c 584.09ms 48.54% other
1.13/1.22 c 370.19ms 30.77% optimize_gens
1.13/1.22 c 97.01ms 8.06% detect_generic
1.13/1.22 c 80.93ms 6.73% detect_special
1.13/1.22 c 34.16ms 2.84% approx_orbits
1.13/1.22 c 22.68ms 1.88% parse
1.13/1.22 c 7.91ms 0.66% output
1.13/1.22 c 3.50ms 0.29% break_generic
1.13/1.22 c 2.74ms 0.23% finalize_order
1.13/1.22 c ───────────────────────────────────────────────
1.13/1.22 c 1203.21ms 100% total
1.13/1.22 c ------------------------------------------------------------------
1.19/10.38 c RoundingSat 2
1.19/10.38 c branch pb25
1.19/10.38 c commit 0f876b3
2.28/11.71 c #variables 20515 #constraints 62482
2.28/11.71 c objective is ce32
2.78/12.24 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.78/12.24 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.78/12.24 c bounds 82 >= 0 @ 1.44253
3.48/12.99 c bounds 79 >= 0 @ 2.15066
6.27/15.79 c #Conflicts: 1000 | #Constraints: 63483
6.27/15.79 c #Conflicts: 2000 | #Constraints: 64483
6.27/15.79 c INPROCESSING
6.27/15.79 c bounds 77 >= 0 @ 4.89683
6.47/16.00 c #Conflicts: 3000 | #Constraints: 64501
6.47/16.00 c #Conflicts: 4000 | #Constraints: 65501
6.47/16.00 c INPROCESSING
6.47/16.00 c GARBAGE COLLECT
6.47/16.00 c bounds 77 >= 5 @ 5.08364
17.74/27.29 c #Conflicts: 5000 | #Constraints: 64912
17.74/27.29 c #Conflicts: 6000 | #Constraints: 65912
17.74/27.29 c bounds 77 >= 10 @ 16.2497
26.52/36.10 c INPROCESSING
26.52/36.10 c #Conflicts: 7000 | #Constraints: 64926
26.52/36.10 c #Conflicts: 8000 | #Constraints: 65926
26.52/36.10 c #Conflicts: 9000 | #Constraints: 66926
26.52/36.10 c INPROCESSING
26.52/36.10 c GARBAGE COLLECT
26.52/36.10 c #Conflicts: 10000 | #Constraints: 65629
26.52/36.10 c #Conflicts: 11000 | #Constraints: 66629
26.52/36.10 c bounds 69 >= 10 @ 24.9201
26.52/36.10 c bounds 69 >= 12 @ 24.9213
26.72/36.20 c #Conflicts: 12000 | #Constraints: 67634
26.72/36.20 c INPROCESSING
26.72/36.20 c bounds 69 >= 15 @ 25.0247
26.72/36.22 c bounds 67 >= 15 @ 25.0323
26.91/36.40 c #Conflicts: 13000 | #Constraints: 66099
26.91/36.40 c #Conflicts: 14000 | #Constraints: 67099
26.91/36.40 c #Conflicts: 15000 | #Constraints: 68099
26.91/36.40 c INPROCESSING
26.91/36.40 c GARBAGE COLLECT
26.91/36.40 c bounds 67 >= 17 @ 25.2067
26.91/36.40 c bounds 67 >= 19 @ 25.2072
45.47/55.09 c #Conflicts: 16000 | #Constraints: 64596
45.47/55.09 c #Conflicts: 17000 | #Constraints: 65596
45.47/55.09 c #Conflicts: 18000 | #Constraints: 66596
45.47/55.09 c INPROCESSING
45.47/55.09 c GARBAGE COLLECT
45.47/55.09 c #Conflicts: 19000 | #Constraints: 64617
45.47/55.09 c #Conflicts: 20000 | #Constraints: 65617
45.47/55.09 c #Conflicts: 21000 | #Constraints: 66617
45.47/55.09 c INPROCESSING
45.47/55.09 c GARBAGE COLLECT
45.47/55.09 c #Conflicts: 22000 | #Constraints: 64423
45.47/55.09 c #Conflicts: 23000 | #Constraints: 65423
45.47/55.09 c #Conflicts: 24000 | #Constraints: 66423
45.47/55.09 c #Conflicts: 25000 | #Constraints: 67423
45.47/55.09 c INPROCESSING
45.47/55.09 c GARBAGE COLLECT
45.47/55.09 c rational objective 19
47.16/56.72 c #Conflicts: 26000 | #Constraints: 65034
47.16/56.72 c #Conflicts: 27000 | #Constraints: 66034
47.16/56.72 c #Conflicts: 28000 | #Constraints: 67034
47.16/56.72 c #Conflicts: 29000 | #Constraints: 68034
47.16/56.72 c INPROCESSING
47.16/56.72 c GARBAGE COLLECT
47.16/56.72 c #Conflicts: 30000 | #Constraints: 65430
47.16/56.72 c #Conflicts: 31000 | #Constraints: 66430
47.16/56.72 c #Conflicts: 32000 | #Constraints: 67430
47.16/56.72 c #Conflicts: 33000 | #Constraints: 68430
47.16/56.72 c INPROCESSING
47.16/56.72 c GARBAGE COLLECT
47.16/56.72 c rational objective 19
63.02/72.81 c #Conflicts: 34000 | #Constraints: 65642
63.02/72.81 c #Conflicts: 35000 | #Constraints: 66642
63.02/72.81 c #Conflicts: 36000 | #Constraints: 67642
63.02/72.81 c #Conflicts: 37000 | #Constraints: 68642
63.02/72.81 c INPROCESSING
63.02/72.81 c GARBAGE COLLECT
63.02/72.81 c rational objective 19
96.52/106.40 c #Conflicts: 38000 | #Constraints: 65708
96.52/106.40 c #Conflicts: 39000 | #Constraints: 66708
96.52/106.40 c #Conflicts: 40000 | #Constraints: 67708
96.52/106.40 c #Conflicts: 41000 | #Constraints: 68708
96.52/106.40 c INPROCESSING
96.52/106.40 c GARBAGE COLLECT
96.52/106.40 c rational objective 19
96.82/106.76 c bounds 67 >= 21 @ 94.7852
97.42/107.34 c #Conflicts: 42000 | #Constraints: 65504
97.42/107.34 c #Conflicts: 43000 | #Constraints: 66504
97.42/107.34 c #Conflicts: 44000 | #Constraints: 67504
97.42/107.34 c bounds 67 >= 23 @ 95.3495
110.69/120.61 c #Conflicts: 45000 | #Constraints: 68519
110.69/120.61 c #Conflicts: 46000 | #Constraints: 69519
110.69/120.61 c INPROCESSING
110.69/120.61 c GARBAGE COLLECT
110.69/120.61 c #Conflicts: 47000 | #Constraints: 66083
110.69/120.61 c #Conflicts: 48000 | #Constraints: 67083
110.69/120.61 c #Conflicts: 49000 | #Constraints: 68083
110.69/120.61 c #Conflicts: 50000 | #Constraints: 69083
110.69/120.61 c #Conflicts: 51000 | #Constraints: 70083
110.69/120.61 c INPROCESSING
110.69/120.61 c GARBAGE COLLECT
110.69/120.61 c #Conflicts: 52000 | #Constraints: 66464
110.69/120.61 c #Conflicts: 53000 | #Constraints: 67464
110.69/120.61 c #Conflicts: 54000 | #Constraints: 68464
110.69/120.61 c #Conflicts: 55000 | #Constraints: 69464
110.69/120.61 c #Conflicts: 56000 | #Constraints: 70464
110.69/120.61 c INPROCESSING
110.69/120.61 c GARBAGE COLLECT
110.69/120.61 c #Conflicts: 57000 | #Constraints: 66660
110.69/120.61 c #Conflicts: 58000 | #Constraints: 67660
110.69/120.61 c #Conflicts: 59000 | #Constraints: 68660
110.69/120.61 c #Conflicts: 60000 | #Constraints: 69660
110.69/120.61 c #Conflicts: 61000 | #Constraints: 70660
110.69/120.61 c INPROCESSING
110.69/120.61 c GARBAGE COLLECT
110.69/120.61 c rational objective 23
128.74/138.77 c #Conflicts: 62000 | #Constraints: 66659
128.74/138.77 c #Conflicts: 63000 | #Constraints: 67659
128.74/138.77 c #Conflicts: 64000 | #Constraints: 68659
128.74/138.77 c #Conflicts: 65000 | #Constraints: 69659
128.74/138.77 c #Conflicts: 66000 | #Constraints: 70659
128.74/138.77 c INPROCESSING
128.74/138.77 c GARBAGE COLLECT
128.74/138.77 c rational objective 23
175.42/185.57 c #Conflicts: 67000 | #Constraints: 66502
175.42/185.57 c #Conflicts: 68000 | #Constraints: 67502
175.42/185.57 c #Conflicts: 69000 | #Constraints: 68502
175.42/185.57 c #Conflicts: 70000 | #Constraints: 69502
175.42/185.57 c #Conflicts: 71000 | #Constraints: 70502
175.42/185.57 c #Conflicts: 72000 | #Constraints: 71502
175.42/185.57 c INPROCESSING
175.42/185.57 c GARBAGE COLLECT
175.42/185.57 c rational objective 23
191.89/202.09 c #Conflicts: 73000 | #Constraints: 67142
191.89/202.09 c #Conflicts: 74000 | #Constraints: 68142
191.89/202.09 c #Conflicts: 75000 | #Constraints: 69142
191.89/202.09 c #Conflicts: 76000 | #Constraints: 70142
191.89/202.09 c #Conflicts: 77000 | #Constraints: 71142
191.89/202.09 c #Conflicts: 78000 | #Constraints: 72142
191.89/202.09 c INPROCESSING
191.89/202.09 c GARBAGE COLLECT
191.89/202.09 c #Conflicts: 79000 | #Constraints: 67498
191.89/202.09 c #Conflicts: 80000 | #Constraints: 68498
191.89/202.09 c #Conflicts: 81000 | #Constraints: 69498
191.89/202.09 c #Conflicts: 82000 | #Constraints: 70498
191.89/202.09 c #Conflicts: 83000 | #Constraints: 71498
191.89/202.09 c #Conflicts: 84000 | #Constraints: 72498
191.89/202.09 c INPROCESSING
191.89/202.09 c GARBAGE COLLECT
191.89/202.09 c #Conflicts: 85000 | #Constraints: 67671
191.89/202.09 c #Conflicts: 86000 | #Constraints: 68671
191.89/202.09 c #Conflicts: 87000 | #Constraints: 69671
191.89/202.09 c #Conflicts: 88000 | #Constraints: 70671
191.89/202.09 c #Conflicts: 89000 | #Constraints: 71671
191.89/202.09 c #Conflicts: 90000 | #Constraints: 72671
191.89/202.09 c INPROCESSING
191.89/202.09 c GARBAGE COLLECT
191.89/202.09 c rational objective 23
247.33/257.63 c #Conflicts: 91000 | #Constraints: 67672
247.33/257.63 c #Conflicts: 92000 | #Constraints: 68672
247.33/257.63 c #Conflicts: 93000 | #Constraints: 69672
247.33/257.63 c #Conflicts: 94000 | #Constraints: 70672
247.33/257.63 c #Conflicts: 95000 | #Constraints: 71672
247.33/257.63 c #Conflicts: 96000 | #Constraints: 72672
247.33/257.63 c INPROCESSING
247.33/257.63 c GARBAGE COLLECT
247.33/257.63 c rational objective 23
248.62/258.98 c #Conflicts: 97000 | #Constraints: 67480
248.62/258.98 c #Conflicts: 98000 | #Constraints: 68480
248.62/258.98 c #Conflicts: 99000 | #Constraints: 69480
248.62/258.98 c #Conflicts: 100000 | #Constraints: 70480
248.62/258.98 c bounds 67 >= 25 @ 245.829
268.47/278.81 c #Conflicts: 101000 | #Constraints: 71498
268.47/278.81 c #Conflicts: 102000 | #Constraints: 72498
268.47/278.81 c #Conflicts: 103000 | #Constraints: 73498
268.47/278.81 c INPROCESSING
268.47/278.81 c GARBAGE COLLECT
268.47/278.81 c #Conflicts: 104000 | #Constraints: 68079
268.47/278.81 c #Conflicts: 105000 | #Constraints: 69079
268.47/278.81 c #Conflicts: 106000 | #Constraints: 70079
268.47/278.81 c #Conflicts: 107000 | #Constraints: 71079
268.47/278.81 c #Conflicts: 108000 | #Constraints: 72079
268.47/278.81 c #Conflicts: 109000 | #Constraints: 73079
268.47/278.81 c #Conflicts: 110000 | #Constraints: 74079
268.47/278.81 c INPROCESSING
268.47/278.81 c GARBAGE COLLECT
268.47/278.81 c #Conflicts: 111000 | #Constraints: 68469
268.47/278.81 c #Conflicts: 112000 | #Constraints: 69469
268.47/278.81 c #Conflicts: 113000 | #Constraints: 70469
268.47/278.81 c #Conflicts: 114000 | #Constraints: 71469
268.47/278.81 c #Conflicts: 115000 | #Constraints: 72469
268.47/278.81 c #Conflicts: 116000 | #Constraints: 73469
268.47/278.81 c #Conflicts: 117000 | #Constraints: 74469
268.47/278.81 c INPROCESSING
268.47/278.81 c GARBAGE COLLECT
268.47/278.81 c #Conflicts: 118000 | #Constraints: 68661
268.47/278.81 c #Conflicts: 119000 | #Constraints: 69661
268.47/278.81 c #Conflicts: 120000 | #Constraints: 70661
268.47/278.81 c #Conflicts: 121000 | #Constraints: 71661
268.47/278.81 c #Conflicts: 122000 | #Constraints: 72661
268.47/278.81 c #Conflicts: 123000 | #Constraints: 73661
268.47/278.81 c #Conflicts: 124000 | #Constraints: 74661
268.47/278.81 c INPROCESSING
268.47/278.81 c GARBAGE COLLECT
268.47/278.81 c rational objective 25
311.15/321.61 c #Conflicts: 125000 | #Constraints: 68671
311.15/321.61 c #Conflicts: 126000 | #Constraints: 69671
311.15/321.61 c #Conflicts: 127000 | #Constraints: 70671
311.15/321.61 c #Conflicts: 128000 | #Constraints: 71671
311.15/321.61 c #Conflicts: 129000 | #Constraints: 72671
311.15/321.61 c #Conflicts: 130000 | #Constraints: 73671
311.15/321.61 c #Conflicts: 131000 | #Constraints: 74671
311.15/321.61 c INPROCESSING
311.15/321.61 c GARBAGE COLLECT
311.15/321.61 c rational objective 25
353.23/363.82 c #Conflicts: 132000 | #Constraints: 68491
353.23/363.82 c #Conflicts: 133000 | #Constraints: 69491
353.23/363.82 c #Conflicts: 134000 | #Constraints: 70491
353.23/363.82 c #Conflicts: 135000 | #Constraints: 71491
353.23/363.82 c #Conflicts: 136000 | #Constraints: 72491
353.23/363.82 c #Conflicts: 137000 | #Constraints: 73491
353.23/363.82 c #Conflicts: 138000 | #Constraints: 74491
353.23/363.82 c #Conflicts: 139000 | #Constraints: 75491
353.23/363.82 c INPROCESSING
353.23/363.82 c GARBAGE COLLECT
353.23/363.82 c rational objective 25
353.73/364.37 c #Conflicts: 140000 | #Constraints: 69079
353.73/364.37 c bounds 67 >= 27 @ 350.404
400.05/411.20 c #Conflicts: 141000 | #Constraints: 70091
400.05/411.20 c #Conflicts: 142000 | #Constraints: 71091
400.05/411.20 c #Conflicts: 143000 | #Constraints: 72091
400.05/411.20 c #Conflicts: 144000 | #Constraints: 73091
400.05/411.20 c #Conflicts: 145000 | #Constraints: 74091
400.05/411.20 c #Conflicts: 146000 | #Constraints: 75091
400.05/411.20 c #Conflicts: 147000 | #Constraints: 76091
400.05/411.20 c INPROCESSING
400.05/411.20 c GARBAGE COLLECT
400.05/411.20 c #Conflicts: 148000 | #Constraints: 69476
400.05/411.20 c #Conflicts: 149000 | #Constraints: 70476
400.05/411.20 c #Conflicts: 150000 | #Constraints: 71476
400.05/411.20 c #Conflicts: 151000 | #Constraints: 72476
400.05/411.20 c #Conflicts: 152000 | #Constraints: 73476
400.05/411.20 c #Conflicts: 153000 | #Constraints: 74476
400.05/411.20 c #Conflicts: 154000 | #Constraints: 75476
400.05/411.20 c #Conflicts: 155000 | #Constraints: 76476
400.05/411.20 c INPROCESSING
400.05/411.20 c GARBAGE COLLECT
400.05/411.20 c rational objective 27
445.84/457.14 c #Conflicts: 156000 | #Constraints: 69732
445.84/457.14 c #Conflicts: 157000 | #Constraints: 70732
445.84/457.14 c #Conflicts: 158000 | #Constraints: 71732
445.84/457.14 c #Conflicts: 159000 | #Constraints: 72732
445.84/457.14 c #Conflicts: 160000 | #Constraints: 73732
445.84/457.14 c #Conflicts: 161000 | #Constraints: 74732
445.84/457.14 c #Conflicts: 162000 | #Constraints: 75732
445.84/457.14 c #Conflicts: 163000 | #Constraints: 76732
445.84/457.14 c INPROCESSING
445.84/457.14 c GARBAGE COLLECT
445.84/457.14 c #Conflicts: 164000 | #Constraints: 69700
445.84/457.14 c #Conflicts: 165000 | #Constraints: 70700
445.84/457.14 c #Conflicts: 166000 | #Constraints: 71700
445.84/457.14 c #Conflicts: 167000 | #Constraints: 72700
445.84/457.14 c #Conflicts: 168000 | #Constraints: 73700
445.84/457.14 c #Conflicts: 169000 | #Constraints: 74700
445.84/457.14 c #Conflicts: 170000 | #Constraints: 75700
445.84/457.14 c #Conflicts: 171000 | #Constraints: 76700
445.84/457.14 c INPROCESSING
445.84/457.14 c GARBAGE COLLECT
445.84/457.14 c #Conflicts: 172000 | #Constraints: 69486
445.84/457.14 c #Conflicts: 173000 | #Constraints: 70486
445.84/457.14 c #Conflicts: 174000 | #Constraints: 71486
445.84/457.14 c bounds 67 >= 29 @ 442.078
497.60/509.08 c #Conflicts: 175000 | #Constraints: 72507
497.60/509.08 c #Conflicts: 176000 | #Constraints: 73507
497.60/509.08 c #Conflicts: 177000 | #Constraints: 74507
497.60/509.08 c #Conflicts: 178000 | #Constraints: 75507
497.60/509.08 c #Conflicts: 179000 | #Constraints: 76507
497.60/509.08 c #Conflicts: 180000 | #Constraints: 77507
497.60/509.08 c INPROCESSING
497.60/509.08 c GARBAGE COLLECT
497.60/509.08 c rational objective 29
564.21/575.86 c #Conflicts: 181000 | #Constraints: 70101
564.21/575.86 c #Conflicts: 182000 | #Constraints: 71101
564.21/575.86 c #Conflicts: 183000 | #Constraints: 72101
564.21/575.86 c #Conflicts: 184000 | #Constraints: 73101
564.21/575.86 c #Conflicts: 185000 | #Constraints: 74101
564.21/575.86 c #Conflicts: 186000 | #Constraints: 75101
564.21/575.86 c #Conflicts: 187000 | #Constraints: 76102
564.21/575.86 c #Conflicts: 188000 | #Constraints: 77102
564.21/575.86 c #Conflicts: 189000 | #Constraints: 78102
564.21/575.86 c INPROCESSING
564.21/575.86 c GARBAGE COLLECT
564.21/575.86 c #Conflicts: 190000 | #Constraints: 70492
564.21/575.86 c #Conflicts: 191000 | #Constraints: 71492
564.21/575.86 c #Conflicts: 192000 | #Constraints: 72492
564.21/575.86 c #Conflicts: 193000 | #Constraints: 73492
564.21/575.86 c #Conflicts: 194000 | #Constraints: 74492
564.21/575.86 c #Conflicts: 195000 | #Constraints: 75492
564.21/575.86 c #Conflicts: 196000 | #Constraints: 76492
564.21/575.86 c #Conflicts: 197000 | #Constraints: 77492
564.21/575.86 c #Conflicts: 198000 | #Constraints: 78492
564.21/575.86 c INPROCESSING
564.21/575.86 c GARBAGE COLLECT
564.21/575.86 c #Conflicts: 199000 | #Constraints: 70683
564.21/575.86 c #Conflicts: 200000 | #Constraints: 71683
564.21/575.86 c #Conflicts: 201000 | #Constraints: 72683
564.21/575.86 c #Conflicts: 202000 | #Constraints: 73683
564.21/575.86 c #Conflicts: 203000 | #Constraints: 74683
564.21/575.86 c #Conflicts: 204000 | #Constraints: 75683
564.21/575.86 c #Conflicts: 205000 | #Constraints: 76683
564.21/575.86 c #Conflicts: 206000 | #Constraints: 77683
564.21/575.86 c #Conflicts: 207000 | #Constraints: 78683
564.21/575.86 c INPROCESSING
564.21/575.86 c GARBAGE COLLECT
564.21/575.86 c #Conflicts: 208000 | #Constraints: 70692
564.21/575.86 c #Conflicts: 209000 | #Constraints: 71692
564.21/575.86 c #Conflicts: 210000 | #Constraints: 72692
564.21/575.86 c #Conflicts: 211000 | #Constraints: 73692
564.21/575.86 c #Conflicts: 212000 | #Constraints: 74692
564.21/575.86 c #Conflicts: 213000 | #Constraints: 75692
564.21/575.86 c #Conflicts: 214000 | #Constraints: 76692
564.21/575.86 c #Conflicts: 215000 | #Constraints: 77692
564.21/575.86 c #Conflicts: 216000 | #Constraints: 78692
564.21/575.86 c INPROCESSING
564.21/575.86 c GARBAGE COLLECT
564.21/575.86 c rational objective 29
579.27/590.92 c #Conflicts: 217000 | #Constraints: 70526
579.27/590.92 c #Conflicts: 218000 | #Constraints: 71526
579.27/590.92 c #Conflicts: 219000 | #Constraints: 72526
579.27/590.92 c #Conflicts: 220000 | #Constraints: 73526
579.27/590.92 c #Conflicts: 221000 | #Constraints: 74526
579.27/590.92 c #Conflicts: 222000 | #Constraints: 75527
579.27/590.92 c #Conflicts: 223000 | #Constraints: 76527
579.27/590.92 c #Conflicts: 224000 | #Constraints: 77527
579.27/590.92 c #Conflicts: 225000 | #Constraints: 78527
579.27/590.92 c #Conflicts: 226000 | #Constraints: 79527
579.27/590.92 c INPROCESSING
579.27/590.92 c GARBAGE COLLECT
579.27/590.92 c rational objective 29
638.22/650.06 c #Conflicts: 227000 | #Constraints: 71113
638.22/650.06 c #Conflicts: 228000 | #Constraints: 72113
638.22/650.06 c #Conflicts: 229000 | #Constraints: 73113
638.22/650.06 c #Conflicts: 230000 | #Constraints: 74113
638.22/650.06 c #Conflicts: 231000 | #Constraints: 75113
638.22/650.06 c #Conflicts: 232000 | #Constraints: 76113
638.22/650.06 c #Conflicts: 233000 | #Constraints: 77113
638.22/650.06 c #Conflicts: 234000 | #Constraints: 78113
638.22/650.06 c #Conflicts: 235000 | #Constraints: 79113
638.22/650.06 c #Conflicts: 236000 | #Constraints: 80113
638.22/650.06 c INPROCESSING
638.22/650.06 c GARBAGE COLLECT
638.22/650.06 c rational objective 29
679.80/691.80 c #Conflicts: 237000 | #Constraints: 71500
679.80/691.80 c #Conflicts: 238000 | #Constraints: 72500
679.80/691.80 c #Conflicts: 239000 | #Constraints: 73500
679.80/691.80 c #Conflicts: 240000 | #Constraints: 74500
679.80/691.80 c #Conflicts: 241000 | #Constraints: 75500
679.80/691.80 c #Conflicts: 242000 | #Constraints: 76500
679.80/691.80 c #Conflicts: 243000 | #Constraints: 77500
679.80/691.80 c #Conflicts: 244000 | #Constraints: 78500
679.80/691.80 c #Conflicts: 245000 | #Constraints: 79500
679.80/691.80 c #Conflicts: 246000 | #Constraints: 80500
679.80/691.80 c INPROCESSING
679.80/691.80 c GARBAGE COLLECT
679.80/691.80 c rational objective 29
732.66/744.76 c #Conflicts: 247000 | #Constraints: 71697
732.66/744.76 c #Conflicts: 248000 | #Constraints: 72697
732.66/744.76 c #Conflicts: 249000 | #Constraints: 73697
732.66/744.76 c #Conflicts: 250000 | #Constraints: 74697
732.66/744.76 c #Conflicts: 251000 | #Constraints: 75697
732.66/744.76 c #Conflicts: 252000 | #Constraints: 76697
732.66/744.76 c #Conflicts: 253000 | #Constraints: 77697
732.66/744.76 c #Conflicts: 254000 | #Constraints: 78697
732.66/744.76 c #Conflicts: 255000 | #Constraints: 79697
732.66/744.76 c #Conflicts: 256000 | #Constraints: 80697
732.66/744.76 c INPROCESSING
732.66/744.76 c GARBAGE COLLECT
732.66/744.76 c #Conflicts: 257000 | #Constraints: 71694
732.66/744.76 c #Conflicts: 258000 | #Constraints: 72694
732.66/744.76 c #Conflicts: 259000 | #Constraints: 73694
732.66/744.76 c #Conflicts: 260000 | #Constraints: 74694
732.66/744.76 c #Conflicts: 261000 | #Constraints: 75694
732.66/744.76 c #Conflicts: 262000 | #Constraints: 76694
732.66/744.76 c #Conflicts: 263000 | #Constraints: 77694
732.66/744.76 c #Conflicts: 264000 | #Constraints: 78694
732.66/744.76 c #Conflicts: 265000 | #Constraints: 79694
732.66/744.76 c #Conflicts: 266000 | #Constraints: 80694
732.66/744.76 c INPROCESSING
732.66/744.76 c GARBAGE COLLECT
732.66/744.76 c rational objective 29
757.10/769.21 c #Conflicts: 267000 | #Constraints: 71518
757.10/769.21 c #Conflicts: 268000 | #Constraints: 72518
757.10/769.21 c #Conflicts: 269000 | #Constraints: 73518
757.10/769.21 c #Conflicts: 270000 | #Constraints: 74518
757.10/769.21 c #Conflicts: 271000 | #Constraints: 75518
757.10/769.21 c #Conflicts: 272000 | #Constraints: 76518
757.10/769.21 c #Conflicts: 273000 | #Constraints: 77518
757.10/769.21 c #Conflicts: 274000 | #Constraints: 78518
757.10/769.21 c #Conflicts: 275000 | #Constraints: 79518
757.10/769.21 c #Conflicts: 276000 | #Constraints: 80518
757.10/769.21 c #Conflicts: 277000 | #Constraints: 81518
757.10/769.21 c INPROCESSING
757.10/769.21 c GARBAGE COLLECT
757.10/769.21 c #Conflicts: 278000 | #Constraints: 72100
757.10/769.21 c #Conflicts: 279000 | #Constraints: 73100
757.10/769.21 c #Conflicts: 280000 | #Constraints: 74100
757.10/769.21 c #Conflicts: 281000 | #Constraints: 75100
757.10/769.21 c #Conflicts: 282000 | #Constraints: 76100
757.10/769.21 c #Conflicts: 283000 | #Constraints: 77100
757.10/769.21 c #Conflicts: 284000 | #Constraints: 78100
757.10/769.21 c #Conflicts: 285000 | #Constraints: 79100
757.10/769.21 c #Conflicts: 286000 | #Constraints: 80100
757.10/769.21 c #Conflicts: 287000 | #Constraints: 81100
757.10/769.21 c #Conflicts: 288000 | #Constraints: 82100
757.10/769.21 c INPROCESSING
757.10/769.21 c GARBAGE COLLECT
757.10/769.21 c rational objective 29
859.03/871.42 c #Conflicts: 289000 | #Constraints: 72499
859.03/871.42 c #Conflicts: 290000 | #Constraints: 73499
859.03/871.42 c #Conflicts: 291000 | #Constraints: 74499
859.03/871.42 c #Conflicts: 292000 | #Constraints: 75499
859.03/871.42 c #Conflicts: 293000 | #Constraints: 76499
859.03/871.42 c #Conflicts: 294000 | #Constraints: 77499
859.03/871.42 c #Conflicts: 295000 | #Constraints: 78499
859.03/871.42 c #Conflicts: 296000 | #Constraints: 79499
859.03/871.42 c #Conflicts: 297000 | #Constraints: 80499
859.03/871.42 c #Conflicts: 298000 | #Constraints: 81499
859.03/871.42 c #Conflicts: 299000 | #Constraints: 82499
859.03/871.42 c INPROCESSING
859.03/871.42 c GARBAGE COLLECT
859.03/871.42 c rational objective 29
1051.72/1064.61 c #Conflicts: 300000 | #Constraints: 72725
1051.72/1064.61 c #Conflicts: 301000 | #Constraints: 73725
1051.72/1064.61 c #Conflicts: 302000 | #Constraints: 74725
1051.72/1064.61 c #Conflicts: 303000 | #Constraints: 75725
1051.72/1064.61 c #Conflicts: 304000 | #Constraints: 76725
1051.72/1064.61 c #Conflicts: 305000 | #Constraints: 77725
1051.72/1064.61 c #Conflicts: 306000 | #Constraints: 78725
1051.72/1064.61 c #Conflicts: 307000 | #Constraints: 79725
1051.72/1064.61 c #Conflicts: 308000 | #Constraints: 80725
1051.72/1064.61 c #Conflicts: 309000 | #Constraints: 81725
1051.72/1064.61 c #Conflicts: 310000 | #Constraints: 82725
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 311000 | #Constraints: 72704
1051.72/1064.61 c #Conflicts: 312000 | #Constraints: 73704
1051.72/1064.61 c #Conflicts: 313000 | #Constraints: 74704
1051.72/1064.61 c #Conflicts: 314000 | #Constraints: 75704
1051.72/1064.61 c #Conflicts: 315000 | #Constraints: 76704
1051.72/1064.61 c #Conflicts: 316000 | #Constraints: 77704
1051.72/1064.61 c #Conflicts: 317000 | #Constraints: 78704
1051.72/1064.61 c #Conflicts: 318000 | #Constraints: 79704
1051.72/1064.61 c #Conflicts: 319000 | #Constraints: 80704
1051.72/1064.61 c #Conflicts: 320000 | #Constraints: 81704
1051.72/1064.61 c #Conflicts: 321000 | #Constraints: 82704
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 322000 | #Constraints: 72498
1051.72/1064.61 c #Conflicts: 323000 | #Constraints: 73498
1051.72/1064.61 c #Conflicts: 324000 | #Constraints: 74498
1051.72/1064.61 c #Conflicts: 325000 | #Constraints: 75498
1051.72/1064.61 c #Conflicts: 326000 | #Constraints: 76498
1051.72/1064.61 c #Conflicts: 327000 | #Constraints: 77498
1051.72/1064.61 c #Conflicts: 328000 | #Constraints: 78498
1051.72/1064.61 c #Conflicts: 329000 | #Constraints: 79498
1051.72/1064.61 c #Conflicts: 330000 | #Constraints: 80498
1051.72/1064.61 c #Conflicts: 331000 | #Constraints: 81498
1051.72/1064.61 c #Conflicts: 332000 | #Constraints: 82498
1051.72/1064.61 c #Conflicts: 333000 | #Constraints: 83498
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 334000 | #Constraints: 73090
1051.72/1064.61 c #Conflicts: 335000 | #Constraints: 74090
1051.72/1064.61 c #Conflicts: 336000 | #Constraints: 75090
1051.72/1064.61 c #Conflicts: 337000 | #Constraints: 76090
1051.72/1064.61 c #Conflicts: 338000 | #Constraints: 77090
1051.72/1064.61 c #Conflicts: 339000 | #Constraints: 78090
1051.72/1064.61 c #Conflicts: 340000 | #Constraints: 79090
1051.72/1064.61 c #Conflicts: 341000 | #Constraints: 80090
1051.72/1064.61 c #Conflicts: 342000 | #Constraints: 81090
1051.72/1064.61 c #Conflicts: 343000 | #Constraints: 82090
1051.72/1064.61 c #Conflicts: 344000 | #Constraints: 83090
1051.72/1064.61 c #Conflicts: 345000 | #Constraints: 84090
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 346000 | #Constraints: 73485
1051.72/1064.61 c #Conflicts: 347000 | #Constraints: 74485
1051.72/1064.61 c #Conflicts: 348000 | #Constraints: 75485
1051.72/1064.61 c #Conflicts: 349000 | #Constraints: 76485
1051.72/1064.61 c #Conflicts: 350000 | #Constraints: 77485
1051.72/1064.61 c #Conflicts: 351000 | #Constraints: 78485
1051.72/1064.61 c #Conflicts: 352000 | #Constraints: 79485
1051.72/1064.61 c #Conflicts: 353000 | #Constraints: 80485
1051.72/1064.61 c #Conflicts: 354000 | #Constraints: 81485
1051.72/1064.61 c #Conflicts: 355000 | #Constraints: 82485
1051.72/1064.61 c #Conflicts: 356000 | #Constraints: 83485
1051.72/1064.61 c #Conflicts: 357000 | #Constraints: 84485
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 358000 | #Constraints: 73682
1051.72/1064.61 c #Conflicts: 359000 | #Constraints: 74682
1051.72/1064.61 c #Conflicts: 360000 | #Constraints: 75682
1051.72/1064.61 c #Conflicts: 361000 | #Constraints: 76682
1051.72/1064.61 c #Conflicts: 362000 | #Constraints: 77682
1051.72/1064.61 c #Conflicts: 363000 | #Constraints: 78682
1051.72/1064.61 c #Conflicts: 364000 | #Constraints: 79682
1051.72/1064.61 c #Conflicts: 365000 | #Constraints: 80682
1051.72/1064.61 c #Conflicts: 366000 | #Constraints: 81682
1051.72/1064.61 c #Conflicts: 367000 | #Constraints: 82682
1051.72/1064.61 c #Conflicts: 368000 | #Constraints: 83682
1051.72/1064.61 c #Conflicts: 369000 | #Constraints: 84682
1051.72/1064.61 c INPROCESSING
1051.72/1064.61 c GARBAGE COLLECT
1051.72/1064.61 c #Conflicts: 370000 | #Constraints: 73684
1051.72/1064.61 c #Conflicts: 371000 | #Constraints: 74684
1051.72/1064.61 c #Conflicts: 372000 | #Constraints: 75684
1051.72/1064.61 c #Conflicts: 373000 | #Constraints: 76684
1051.72/1064.61 c #Conflicts: 374000 | #Constraints: 77684
1082.43/1095.47 c #Conflicts: 375000 | #Constraints: 78684
1082.43/1095.47 c #Conflicts: 376000 | #Constraints: 79684
1082.43/1095.47 c #Conflicts: 377000 | #Constraints: 80684
1082.43/1095.47 c #Conflicts: 378000 | #Constraints: 81684
1082.43/1095.47 c #Conflicts: 379000 | #Constraints: 82684
1082.43/1095.47 c #Conflicts: 380000 | #Constraints: 83684
1082.43/1095.47 c #Conflicts: 381000 | #Constraints: 84684
1082.43/1095.47 c INPROCESSING
1082.43/1095.47 c GARBAGE COLLECT
1082.43/1095.47 c #Conflicts: 382000 | #Constraints: 73484
1082.43/1095.47 c #Conflicts: 383000 | #Constraints: 74485
1082.43/1095.47 c #Conflicts: 384000 | #Constraints: 75485
1082.43/1095.47 c #Conflicts: 385000 | #Constraints: 76485
1082.43/1095.47 c #Conflicts: 386000 | #Constraints: 77485
1082.43/1095.47 c #Conflicts: 387000 | #Constraints: 78485
1082.43/1095.47 c #Conflicts: 388000 | #Constraints: 79485
1082.43/1095.47 c #Conflicts: 389000 | #Constraints: 80485
1082.43/1095.47 c #Conflicts: 390000 | #Constraints: 81485
1082.43/1095.47 c #Conflicts: 391000 | #Constraints: 82485
1082.43/1095.47 c #Conflicts: 392000 | #Constraints: 83485
1082.43/1095.47 c #Conflicts: 393000 | #Constraints: 84485
1082.43/1095.47 c #Conflicts: 394000 | #Constraints: 85485
1082.43/1095.47 c INPROCESSING
1082.43/1095.47 c GARBAGE COLLECT
1082.43/1095.47 c rational objective 29
1196.74/1210.09 c #Conflicts: 395000 | #Constraints: 74103
1196.74/1210.09 c #Conflicts: 396000 | #Constraints: 75103
1196.74/1210.09 c #Conflicts: 397000 | #Constraints: 76103
1196.74/1210.09 c #Conflicts: 398000 | #Constraints: 77103
1196.74/1210.09 c #Conflicts: 399000 | #Constraints: 78103
1196.74/1210.09 c #Conflicts: 400000 | #Constraints: 79103
1196.74/1210.09 c #Conflicts: 401000 | #Constraints: 80103
1196.74/1210.09 c #Conflicts: 402000 | #Constraints: 81103
1196.74/1210.09 c #Conflicts: 403000 | #Constraints: 82103
1196.74/1210.09 c #Conflicts: 404000 | #Constraints: 83103
1196.74/1210.09 c #Conflicts: 405000 | #Constraints: 84103
1196.74/1210.09 c #Conflicts: 406000 | #Constraints: 85103
1196.74/1210.09 c #Conflicts: 407000 | #Constraints: 86103
1196.74/1210.09 c INPROCESSING
1196.74/1210.09 c GARBAGE COLLECT
1196.74/1210.09 c rational objective 29
1387.80/1401.62 c #Conflicts: 408000 | #Constraints: 74523
1387.80/1401.62 c #Conflicts: 409000 | #Constraints: 75523
1387.80/1401.62 c #Conflicts: 410000 | #Constraints: 76523
1387.80/1401.62 c #Conflicts: 411000 | #Constraints: 77523
1387.80/1401.62 c #Conflicts: 412000 | #Constraints: 78523
1387.80/1401.62 c #Conflicts: 413000 | #Constraints: 79523
1387.80/1401.62 c #Conflicts: 414000 | #Constraints: 80523
1387.80/1401.62 c #Conflicts: 415000 | #Constraints: 81523
1387.80/1401.62 c #Conflicts: 416000 | #Constraints: 82523
1387.80/1401.62 c #Conflicts: 417000 | #Constraints: 83523
1387.80/1401.62 c #Conflicts: 418000 | #Constraints: 84523
1387.80/1401.62 c #Conflicts: 419000 | #Constraints: 85523
1387.80/1401.62 c #Conflicts: 420000 | #Constraints: 86523
1387.80/1401.62 c INPROCESSING
1387.80/1401.62 c GARBAGE COLLECT
1387.80/1401.62 c #Conflicts: 421000 | #Constraints: 74706
1387.80/1401.62 c #Conflicts: 422000 | #Constraints: 75706
1387.80/1401.62 c #Conflicts: 423000 | #Constraints: 76706
1387.80/1401.62 c #Conflicts: 424000 | #Constraints: 77706
1387.80/1401.62 c #Conflicts: 425000 | #Constraints: 78706
1387.80/1401.62 c #Conflicts: 426000 | #Constraints: 79706
1387.80/1401.62 c #Conflicts: 427000 | #Constraints: 80706
1387.80/1401.62 c #Conflicts: 428000 | #Constraints: 81706
1387.80/1401.62 c #Conflicts: 429000 | #Constraints: 82706
1387.80/1401.62 c #Conflicts: 430000 | #Constraints: 83706
1387.80/1401.62 c #Conflicts: 431000 | #Constraints: 84706
1387.80/1401.62 c #Conflicts: 432000 | #Constraints: 85706
1387.80/1401.62 c #Conflicts: 433000 | #Constraints: 86706
1387.80/1401.62 c INPROCESSING
1387.80/1401.62 c GARBAGE COLLECT
1387.80/1401.62 c #Conflicts: 434000 | #Constraints: 74697
1387.80/1401.62 c #Conflicts: 435000 | #Constraints: 75697
1387.80/1401.62 c #Conflicts: 436000 | #Constraints: 76697
1387.80/1401.62 c #Conflicts: 437000 | #Constraints: 77697
1387.80/1401.62 c #Conflicts: 438000 | #Constraints: 78697
1387.80/1401.62 c #Conflicts: 439000 | #Constraints: 79697
1387.80/1401.62 c #Conflicts: 440000 | #Constraints: 80697
1387.80/1401.62 c #Conflicts: 441000 | #Constraints: 81697
1387.80/1401.62 c #Conflicts: 442000 | #Constraints: 82697
1387.80/1401.62 c #Conflicts: 443000 | #Constraints: 83697
1387.80/1401.62 c #Conflicts: 444000 | #Constraints: 84697
1387.80/1401.62 c #Conflicts: 445000 | #Constraints: 85697
1387.80/1401.62 c #Conflicts: 446000 | #Constraints: 86697
1387.80/1401.62 c INPROCESSING
1387.80/1401.62 c GARBAGE COLLECT
1387.80/1401.62 c #Conflicts: 447000 | #Constraints: 74497
1387.80/1401.62 c #Conflicts: 448000 | #Constraints: 75497
1387.80/1401.62 c #Conflicts: 449000 | #Constraints: 76497
1387.80/1401.62 c #Conflicts: 450000 | #Constraints: 77497
1387.80/1401.62 c #Conflicts: 451000 | #Constraints: 78497
1387.80/1401.62 c #Conflicts: 452000 | #Constraints: 79497
1387.80/1401.62 c #Conflicts: 453000 | #Constraints: 80497
1387.80/1401.62 c #Conflicts: 454000 | #Constraints: 81497
1387.80/1401.62 c #Conflicts: 455000 | #Constraints: 82497
1387.80/1401.62 c #Conflicts: 456000 | #Constraints: 83497
1387.80/1401.62 c #Conflicts: 457000 | #Constraints: 84497
1387.80/1401.62 c #Conflicts: 458000 | #Constraints: 85497
1387.80/1401.62 c #Conflicts: 459000 | #Constraints: 86497
1387.80/1401.62 c #Conflicts: 460000 | #Constraints: 87497
1387.80/1401.62 c INPROCESSING
1387.80/1401.62 c GARBAGE COLLECT
1387.80/1401.62 c #Conflicts: 461000 | #Constraints: 75094
1387.80/1401.62 c #Conflicts: 462000 | #Constraints: 76094
1387.80/1401.62 c #Conflicts: 463000 | #Constraints: 77094
1387.80/1401.62 c #Conflicts: 464000 | #Constraints: 78094
1387.80/1401.62 c #Conflicts: 465000 | #Constraints: 79094
1387.80/1401.62 c #Conflicts: 466000 | #Constraints: 80094
1387.80/1401.62 c #Conflicts: 467000 | #Constraints: 81094
1387.80/1401.62 c #Conflicts: 468000 | #Constraints: 82094
1387.80/1401.62 c #Conflicts: 469000 | #Constraints: 83094
1387.80/1401.62 c #Conflicts: 470000 | #Constraints: 84094
1387.80/1401.62 c #Conflicts: 471000 | #Constraints: 85094
1387.80/1401.62 c #Conflicts: 472000 | #Constraints: 86094
1387.80/1401.62 c #Conflicts: 473000 | #Constraints: 87094
1387.80/1401.62 c #Conflicts: 474000 | #Constraints: 88094
1387.80/1401.62 c INPROCESSING
1387.80/1401.62 c GARBAGE COLLECT
1387.80/1401.62 c rational objective 29
1591.55/1605.98 c #Conflicts: 475000 | #Constraints: 75554
1591.55/1605.98 c #Conflicts: 476000 | #Constraints: 76554
1591.55/1605.98 c #Conflicts: 477000 | #Constraints: 77554
1591.55/1605.98 c #Conflicts: 478000 | #Constraints: 78554
1591.55/1605.98 c #Conflicts: 479000 | #Constraints: 79554
1591.55/1605.98 c #Conflicts: 480000 | #Constraints: 80554
1591.55/1605.98 c #Conflicts: 481000 | #Constraints: 81554
1591.55/1605.98 c #Conflicts: 482000 | #Constraints: 82554
1591.55/1605.98 c #Conflicts: 483000 | #Constraints: 83554
1591.55/1605.98 c #Conflicts: 484000 | #Constraints: 84554
1591.55/1605.98 c #Conflicts: 485000 | #Constraints: 85554
1591.55/1605.98 c #Conflicts: 486000 | #Constraints: 86554
1591.55/1605.98 c #Conflicts: 487000 | #Constraints: 87554
1591.55/1605.98 c #Conflicts: 488000 | #Constraints: 88554
1591.55/1605.98 c INPROCESSING
1591.55/1605.98 c GARBAGE COLLECT
1591.55/1605.98 c #Conflicts: 489000 | #Constraints: 75719
1591.55/1605.98 c #Conflicts: 490000 | #Constraints: 76719
1591.55/1605.98 c #Conflicts: 491000 | #Constraints: 77719
1591.55/1605.98 c #Conflicts: 492000 | #Constraints: 78719
1591.55/1605.98 c #Conflicts: 493000 | #Constraints: 79719
1591.55/1605.98 c #Conflicts: 494000 | #Constraints: 80719
1591.55/1605.98 c #Conflicts: 495000 | #Constraints: 81719
1591.55/1605.98 c #Conflicts: 496000 | #Constraints: 82719
1591.55/1605.98 c #Conflicts: 497000 | #Constraints: 83719
1591.55/1605.98 c #Conflicts: 498000 | #Constraints: 84719
1591.55/1605.98 c #Conflicts: 499000 | #Constraints: 85719
1591.55/1605.98 c #Conflicts: 500000 | #Constraints: 86719
1591.55/1605.98 c #Conflicts: 501000 | #Constraints: 87719
1591.55/1605.98 c #Conflicts: 502000 | #Constraints: 88719
1591.55/1605.98 c INPROCESSING
1591.55/1605.98 c GARBAGE COLLECT
1591.55/1605.98 c #Conflicts: 503000 | #Constraints: 75702
1591.55/1605.98 c #Conflicts: 504000 | #Constraints: 76702
1591.55/1605.98 c #Conflicts: 505000 | #Constraints: 77702
1591.55/1605.98 c #Conflicts: 506000 | #Constraints: 78702
1591.55/1605.98 c #Conflicts: 507000 | #Constraints: 79702
1591.55/1605.98 c #Conflicts: 508000 | #Constraints: 80702
1591.55/1605.98 c #Conflicts: 509000 | #Constraints: 81702
1591.55/1605.98 c #Conflicts: 510000 | #Constraints: 82702
1591.55/1605.98 c #Conflicts: 511000 | #Constraints: 83702
1591.55/1605.98 c #Conflicts: 512000 | #Constraints: 84702
1591.55/1605.98 c #Conflicts: 513000 | #Constraints: 85702
1591.55/1605.98 c #Conflicts: 514000 | #Constraints: 86702
1591.55/1605.98 c #Conflicts: 515000 | #Constraints: 87702
1591.55/1605.98 c #Conflicts: 516000 | #Constraints: 88702
1591.55/1605.98 c INPROCESSING
1591.55/1605.98 c GARBAGE COLLECT
1591.55/1605.98 c #Conflicts: 517000 | #Constraints: 75495
1591.55/1605.98 c #Conflicts: 518000 | #Constraints: 76495
1591.55/1605.98 c #Conflicts: 519000 | #Constraints: 77495
1591.55/1605.98 c #Conflicts: 520000 | #Constraints: 78495
1591.55/1605.98 c #Conflicts: 521000 | #Constraints: 79495
1591.55/1605.98 c #Conflicts: 522000 | #Constraints: 80495
1591.55/1605.98 c #Conflicts: 523000 | #Constraints: 81495
1591.55/1605.98 c #Conflicts: 524000 | #Constraints: 82495
1591.55/1605.98 c #Conflicts: 525000 | #Constraints: 83495
1591.55/1605.98 c #Conflicts: 526000 | #Constraints: 84495
1591.55/1605.98 c #Conflicts: 527000 | #Constraints: 85495
1591.55/1605.98 c #Conflicts: 528000 | #Constraints: 86495
1591.55/1605.98 c #Conflicts: 529000 | #Constraints: 87495
1591.55/1605.98 c #Conflicts: 530000 | #Constraints: 88495
1591.55/1605.98 c #Conflicts: 531000 | #Constraints: 89495
1591.55/1605.98 c INPROCESSING
1591.55/1605.98 c GARBAGE COLLECT
1591.55/1605.98 c rational objective 29
1715.78/1730.58 c #Conflicts: 532000 | #Constraints: 76155
1715.78/1730.58 c #Conflicts: 533000 | #Constraints: 77155
1715.78/1730.58 c #Conflicts: 534000 | #Constraints: 78155
1715.78/1730.58 c #Conflicts: 535000 | #Constraints: 79156
1715.78/1730.58 c #Conflicts: 536000 | #Constraints: 80156
1715.78/1730.58 c #Conflicts: 537000 | #Constraints: 81156
1715.78/1730.58 c #Conflicts: 538000 | #Constraints: 82156
1715.78/1730.58 c #Conflicts: 539000 | #Constraints: 83156
1715.78/1730.58 c #Conflicts: 540000 | #Constraints: 84156
1715.78/1730.58 c #Conflicts: 541000 | #Constraints: 85156
1715.78/1730.58 c #Conflicts: 542000 | #Constraints: 86156
1715.78/1730.58 c #Conflicts: 543000 | #Constraints: 87156
1715.78/1730.58 c #Conflicts: 544000 | #Constraints: 88156
1715.78/1730.58 c #Conflicts: 545000 | #Constraints: 89156
1715.78/1730.58 c #Conflicts: 546000 | #Constraints: 90156
1715.78/1730.58 c INPROCESSING
1715.78/1730.58 c GARBAGE COLLECT
1715.78/1730.58 c #Conflicts: 547000 | #Constraints: 76526
1715.78/1730.58 c #Conflicts: 548000 | #Constraints: 77526
1715.78/1730.58 c #Conflicts: 549000 | #Constraints: 78526
1715.78/1730.58 c #Conflicts: 550000 | #Constraints: 79526
1715.78/1730.58 c #Conflicts: 551000 | #Constraints: 80526
1715.78/1730.58 c #Conflicts: 552000 | #Constraints: 81526
1715.78/1730.58 c #Conflicts: 553000 | #Constraints: 82526
1715.78/1730.58 c #Conflicts: 554000 | #Constraints: 83526
1715.78/1730.58 c #Conflicts: 555000 | #Constraints: 84526
1715.78/1730.58 c #Conflicts: 556000 | #Constraints: 85526
1715.78/1730.58 c #Conflicts: 557000 | #Constraints: 86526
1715.78/1730.58 c #Conflicts: 558000 | #Constraints: 87526
1715.78/1730.58 c #Conflicts: 559000 | #Constraints: 88526
1715.78/1730.58 c #Conflicts: 560000 | #Constraints: 89526
1715.78/1730.58 c #Conflicts: 561000 | #Constraints: 90526
1715.78/1730.58 c INPROCESSING
1715.78/1730.58 c GARBAGE COLLECT
1715.78/1730.58 c #Conflicts: 562000 | #Constraints: 76702
1715.78/1730.58 c #Conflicts: 563000 | #Constraints: 77702
1715.78/1730.58 c #Conflicts: 564000 | #Constraints: 78702
1715.78/1730.58 c #Conflicts: 565000 | #Constraints: 79702
1715.78/1730.58 c #Conflicts: 566000 | #Constraints: 80702
1715.78/1730.58 c #Conflicts: 567000 | #Constraints: 81702
1715.78/1730.58 c #Conflicts: 568000 | #Constraints: 82702
1715.78/1730.58 c #Conflicts: 569000 | #Constraints: 83702
1715.78/1730.58 c #Conflicts: 570000 | #Constraints: 84702
1715.78/1730.58 c #Conflicts: 571000 | #Constraints: 85702
1715.78/1730.58 c #Conflicts: 572000 | #Constraints: 86702
1715.78/1730.58 c #Conflicts: 573000 | #Constraints: 87702
1715.78/1730.58 c #Conflicts: 574000 | #Constraints: 88702
1715.78/1730.58 c #Conflicts: 575000 | #Constraints: 89702
1715.78/1730.58 c #Conflicts: 576000 | #Constraints: 90702
1715.78/1730.58 c INPROCESSING
1715.78/1730.58 c GARBAGE COLLECT
1715.78/1730.58 c #Conflicts: 577000 | #Constraints: 76701
1715.78/1730.58 c #Conflicts: 578000 | #Constraints: 77701
1715.78/1730.58 c #Conflicts: 579000 | #Constraints: 78701
1715.78/1730.58 c #Conflicts: 580000 | #Constraints: 79701
1715.78/1730.58 c #Conflicts: 581000 | #Constraints: 80701
1715.78/1730.58 c #Conflicts: 582000 | #Constraints: 81701
1715.78/1730.58 c #Conflicts: 583000 | #Constraints: 82701
1715.78/1730.58 c #Conflicts: 584000 | #Constraints: 83701
1715.78/1730.58 c #Conflicts: 585000 | #Constraints: 84701
1715.78/1730.58 c #Conflicts: 586000 | #Constraints: 85701
1715.78/1730.58 c #Conflicts: 587000 | #Constraints: 86701
1715.78/1730.58 c #Conflicts: 588000 | #Constraints: 87701
1715.78/1730.58 c #Conflicts: 589000 | #Constraints: 88701
1715.78/1730.58 c #Conflicts: 590000 | #Constraints: 89701
1715.78/1730.58 c #Conflicts: 591000 | #Constraints: 90701
1715.78/1730.58 c INPROCESSING
1715.78/1730.58 c GARBAGE COLLECT
1715.78/1730.58 c #Conflicts: 592000 | #Constraints: 76500
1715.78/1730.58 c #Conflicts: 593000 | #Constraints: 77500
1715.78/1730.58 c #Conflicts: 594000 | #Constraints: 78500
1715.78/1730.58 c #Conflicts: 595000 | #Constraints: 79500
1715.78/1730.58 c #Conflicts: 596000 | #Constraints: 80500
1715.78/1730.58 c #Conflicts: 597000 | #Constraints: 81500
1715.78/1730.58 c #Conflicts: 598000 | #Constraints: 82500
1715.78/1730.58 c #Conflicts: 599000 | #Constraints: 83500
1715.78/1730.58 c #Conflicts: 600000 | #Constraints: 84500
1715.78/1730.58 c #Conflicts: 601000 | #Constraints: 85500
1715.78/1730.58 c #Conflicts: 602000 | #Constraints: 86500
1715.78/1730.58 c #Conflicts: 603000 | #Constraints: 87500
1715.78/1730.58 c #Conflicts: 604000 | #Constraints: 88500
1715.78/1730.58 c #Conflicts: 605000 | #Constraints: 89500
1715.78/1730.58 c #Conflicts: 606000 | #Constraints: 90500
1715.78/1730.58 c #Conflicts: 607000 | #Constraints: 91500
1715.78/1730.58 c INPROCESSING
1757.68/1772.56 c GARBAGE COLLECT
1757.68/1772.56 c #Conflicts: 608000 | #Constraints: 77096
1757.68/1772.56 c #Conflicts: 609000 | #Constraints: 78097
1757.68/1772.56 c #Conflicts: 610000 | #Constraints: 79097
1757.68/1772.56 c #Conflicts: 611000 | #Constraints: 80097
1757.68/1772.56 c #Conflicts: 612000 | #Constraints: 81097
1757.68/1772.56 c #Conflicts: 613000 | #Constraints: 82097
1757.68/1772.56 c #Conflicts: 614000 | #Constraints: 83097
1757.68/1772.56 c #Conflicts: 615000 | #Constraints: 84097
1757.68/1772.56 c #Conflicts: 616000 | #Constraints: 85097
1757.68/1772.56 c #Conflicts: 617000 | #Constraints: 86097
1757.68/1772.56 c #Conflicts: 618000 | #Constraints: 87097
1757.68/1772.56 c #Conflicts: 619000 | #Constraints: 88097
1757.68/1772.56 c #Conflicts: 620000 | #Constraints: 89097
1757.68/1772.56 c #Conflicts: 621000 | #Constraints: 90097
1757.68/1772.56 c #Conflicts: 622000 | #Constraints: 91097
1757.68/1772.56 c #Conflicts: 623000 | #Constraints: 92097
1757.68/1772.56 c INPROCESSING
1757.68/1772.56 c GARBAGE COLLECT
1757.68/1772.56 c rational objective 29
1912.25/1927.55 c #Conflicts: 624000 | #Constraints: 77528
1912.25/1927.55 c #Conflicts: 625000 | #Constraints: 78528
1912.25/1927.55 c #Conflicts: 626000 | #Constraints: 79528
1912.25/1927.55 c #Conflicts: 627000 | #Constraints: 80528
1912.25/1927.55 c #Conflicts: 628000 | #Constraints: 81528
1912.25/1927.55 c #Conflicts: 629000 | #Constraints: 82528
1912.25/1927.55 c #Conflicts: 630000 | #Constraints: 83528
1912.25/1927.55 c #Conflicts: 631000 | #Constraints: 84528
1912.25/1927.55 c #Conflicts: 632000 | #Constraints: 85528
1912.25/1927.55 c #Conflicts: 633000 | #Constraints: 86528
1912.25/1927.55 c #Conflicts: 634000 | #Constraints: 87528
1912.25/1927.55 c #Conflicts: 635000 | #Constraints: 88528
1912.25/1927.55 c #Conflicts: 636000 | #Constraints: 89528
1912.25/1927.55 c #Conflicts: 637000 | #Constraints: 90528
1912.25/1927.55 c #Conflicts: 638000 | #Constraints: 91528
1912.25/1927.55 c #Conflicts: 639000 | #Constraints: 92528
1912.25/1927.55 c INPROCESSING
1912.25/1927.55 c GARBAGE COLLECT
1912.25/1927.55 c rational objective 29
2002.28/2017.85 c #Conflicts: 640000 | #Constraints: 77730
2002.28/2017.85 c #Conflicts: 641000 | #Constraints: 78730
2002.28/2017.85 c #Conflicts: 642000 | #Constraints: 79730
2002.28/2017.85 c #Conflicts: 643000 | #Constraints: 80730
2002.28/2017.85 c #Conflicts: 644000 | #Constraints: 81730
2002.28/2017.85 c #Conflicts: 645000 | #Constraints: 82730
2002.28/2017.85 c #Conflicts: 646000 | #Constraints: 83730
2002.28/2017.85 c #Conflicts: 647000 | #Constraints: 84730
2002.28/2017.85 c #Conflicts: 648000 | #Constraints: 85730
2002.28/2017.85 c #Conflicts: 649000 | #Constraints: 86730
2002.28/2017.85 c #Conflicts: 650000 | #Constraints: 87730
2002.28/2017.85 c #Conflicts: 651000 | #Constraints: 88730
2002.28/2017.85 c #Conflicts: 652000 | #Constraints: 89730
2002.28/2017.85 c #Conflicts: 653000 | #Constraints: 90730
2002.28/2017.85 c #Conflicts: 654000 | #Constraints: 91730
2002.28/2017.85 c #Conflicts: 655000 | #Constraints: 92730
2002.28/2017.85 c INPROCESSING
2002.28/2017.85 c GARBAGE COLLECT
2002.28/2017.85 c rational objective 29
2112.85/2128.72 c #Conflicts: 656000 | #Constraints: 77722
2112.85/2128.72 c #Conflicts: 657000 | #Constraints: 78722
2112.85/2128.72 c #Conflicts: 658000 | #Constraints: 79722
2112.85/2128.72 c #Conflicts: 659000 | #Constraints: 80722
2112.85/2128.72 c #Conflicts: 660000 | #Constraints: 81722
2112.85/2128.72 c #Conflicts: 661000 | #Constraints: 82722
2112.85/2128.72 c #Conflicts: 662000 | #Constraints: 83722
2112.85/2128.72 c #Conflicts: 663000 | #Constraints: 84722
2112.85/2128.72 c #Conflicts: 664000 | #Constraints: 85722
2112.85/2128.72 c #Conflicts: 665000 | #Constraints: 86722
2112.85/2128.72 c #Conflicts: 666000 | #Constraints: 87722
2112.85/2128.72 c #Conflicts: 667000 | #Constraints: 88722
2112.85/2128.72 c #Conflicts: 668000 | #Constraints: 89722
2112.85/2128.72 c #Conflicts: 669000 | #Constraints: 90722
2112.85/2128.72 c #Conflicts: 670000 | #Constraints: 91722
2112.85/2128.72 c #Conflicts: 671000 | #Constraints: 92722
2112.85/2128.72 c INPROCESSING
2112.85/2128.72 c GARBAGE COLLECT
2112.85/2128.72 c #Conflicts: 672000 | #Constraints: 77507
2112.85/2128.72 c #Conflicts: 673000 | #Constraints: 78507
2112.85/2128.72 c #Conflicts: 674000 | #Constraints: 79507
2112.85/2128.72 c #Conflicts: 675000 | #Constraints: 80507
2112.85/2128.72 c #Conflicts: 676000 | #Constraints: 81507
2112.85/2128.72 c #Conflicts: 677000 | #Constraints: 82507
2112.85/2128.72 c #Conflicts: 678000 | #Constraints: 83507
2112.85/2128.72 c #Conflicts: 679000 | #Constraints: 84507
2112.85/2128.72 c #Conflicts: 680000 | #Constraints: 85507
2112.85/2128.72 c #Conflicts: 681000 | #Constraints: 86507
2112.85/2128.72 c #Conflicts: 682000 | #Constraints: 87507
2112.85/2128.72 c #Conflicts: 683000 | #Constraints: 88507
2112.85/2128.72 c #Conflicts: 684000 | #Constraints: 89507
2112.85/2128.72 c #Conflicts: 685000 | #Constraints: 90507
2112.85/2128.72 c #Conflicts: 686000 | #Constraints: 91507
2112.85/2128.72 c #Conflicts: 687000 | #Constraints: 92507
2112.85/2128.72 c #Conflicts: 688000 | #Constraints: 93507
2112.85/2128.72 c INPROCESSING
2112.85/2128.72 c GARBAGE COLLECT
2112.85/2128.72 c rational objective 29
2170.20/2186.24 c #Conflicts: 689000 | #Constraints: 78163
2170.20/2186.24 c #Conflicts: 690000 | #Constraints: 79163
2170.20/2186.24 c #Conflicts: 691000 | #Constraints: 80163
2170.20/2186.24 c #Conflicts: 692000 | #Constraints: 81163
2170.20/2186.24 c #Conflicts: 693000 | #Constraints: 82163
2170.20/2186.24 c #Conflicts: 694000 | #Constraints: 83163
2170.20/2186.24 c #Conflicts: 695000 | #Constraints: 84163
2170.20/2186.24 c #Conflicts: 696000 | #Constraints: 85163
2170.20/2186.24 c #Conflicts: 697000 | #Constraints: 86163
2170.20/2186.24 c #Conflicts: 698000 | #Constraints: 87163
2170.20/2186.24 c #Conflicts: 699000 | #Constraints: 88163
2170.20/2186.24 c #Conflicts: 700000 | #Constraints: 89163
2170.20/2186.24 c #Conflicts: 701000 | #Constraints: 90163
2170.20/2186.24 c #Conflicts: 702000 | #Constraints: 91163
2170.20/2186.24 c #Conflicts: 703000 | #Constraints: 92163
2170.20/2186.24 c #Conflicts: 704000 | #Constraints: 93163
2170.20/2186.24 c #Conflicts: 705000 | #Constraints: 94163
2170.20/2186.24 c INPROCESSING
2170.20/2186.24 c GARBAGE COLLECT
2170.20/2186.24 c #Conflicts: 706000 | #Constraints: 78527
2170.20/2186.24 c #Conflicts: 707000 | #Constraints: 79527
2170.20/2186.24 c #Conflicts: 708000 | #Constraints: 80527
2170.20/2186.24 c #Conflicts: 709000 | #Constraints: 81527
2170.20/2186.24 c #Conflicts: 710000 | #Constraints: 82527
2170.20/2186.24 c #Conflicts: 711000 | #Constraints: 83527
2170.20/2186.24 c #Conflicts: 712000 | #Constraints: 84527
2170.20/2186.24 c #Conflicts: 713000 | #Constraints: 85527
2170.20/2186.24 c #Conflicts: 714000 | #Constraints: 86527
2170.20/2186.24 c #Conflicts: 715000 | #Constraints: 87527
2170.20/2186.24 c #Conflicts: 716000 | #Constraints: 88527
2170.20/2186.24 c #Conflicts: 717000 | #Constraints: 89527
2170.20/2186.24 c #Conflicts: 718000 | #Constraints: 90527
2170.20/2186.24 c #Conflicts: 719000 | #Constraints: 91527
2170.20/2186.24 c #Conflicts: 720000 | #Constraints: 92527
2170.20/2186.24 c #Conflicts: 721000 | #Constraints: 93527
2170.20/2186.24 c #Conflicts: 722000 | #Constraints: 94527
2170.20/2186.24 c INPROCESSING
2170.20/2186.24 c GARBAGE COLLECT
2170.20/2186.24 c #Conflicts: 723000 | #Constraints: 78713
2170.20/2186.24 c #Conflicts: 724000 | #Constraints: 79713
2170.20/2186.24 c #Conflicts: 725000 | #Constraints: 80713
2170.20/2186.24 c #Conflicts: 726000 | #Constraints: 81713
2170.20/2186.24 c #Conflicts: 727000 | #Constraints: 82713
2170.20/2186.24 c #Conflicts: 728000 | #Constraints: 83713
2170.20/2186.24 c #Conflicts: 729000 | #Constraints: 84713
2170.20/2186.24 c #Conflicts: 730000 | #Constraints: 85713
2170.20/2186.24 c #Conflicts: 731000 | #Constraints: 86713
2170.20/2186.24 c #Conflicts: 732000 | #Constraints: 87713
2170.20/2186.24 c #Conflicts: 733000 | #Constraints: 88713
2170.20/2186.24 c #Conflicts: 734000 | #Constraints: 89713
2170.20/2186.24 c #Conflicts: 735000 | #Constraints: 90713
2170.20/2186.24 c #Conflicts: 736000 | #Constraints: 91713
2170.20/2186.24 c #Conflicts: 737000 | #Constraints: 92713
2170.20/2186.24 c #Conflicts: 738000 | #Constraints: 93713
2170.20/2186.24 c #Conflicts: 739000 | #Constraints: 94713
2170.20/2186.24 c INPROCESSING
2170.20/2186.24 c GARBAGE COLLECT
2170.20/2186.24 c #Conflicts: 740000 | #Constraints: 78706
2170.20/2186.24 c #Conflicts: 741000 | #Constraints: 79706
2170.20/2186.24 c #Conflicts: 742000 | #Constraints: 80706
2170.20/2186.24 c #Conflicts: 743000 | #Constraints: 81706
2170.20/2186.24 c #Conflicts: 744000 | #Constraints: 82706
2170.20/2186.24 c #Conflicts: 745000 | #Constraints: 83706
2170.20/2186.24 c #Conflicts: 746000 | #Constraints: 84706
2170.20/2186.24 c #Conflicts: 747000 | #Constraints: 85706
2170.20/2186.24 c #Conflicts: 748000 | #Constraints: 86706
2170.20/2186.24 c #Conflicts: 749000 | #Constraints: 87706
2170.20/2186.24 c #Conflicts: 750000 | #Constraints: 88706
2170.20/2186.24 c #Conflicts: 751000 | #Constraints: 89706
2170.20/2186.24 c #Conflicts: 752000 | #Constraints: 90706
2170.20/2186.24 c #Conflicts: 753000 | #Constraints: 91706
2170.20/2186.24 c #Conflicts: 754000 | #Constraints: 92706
2170.20/2186.24 c #Conflicts: 755000 | #Constraints: 93706
2170.20/2186.24 c #Conflicts: 756000 | #Constraints: 94706
2170.20/2186.24 c INPROCESSING
2170.20/2186.24 c GARBAGE COLLECT
2170.20/2186.24 c rational objective 29
2224.46/2240.69 c #Conflicts: 757000 | #Constraints: 78501
2224.46/2240.69 c #Conflicts: 758000 | #Constraints: 79501
2224.46/2240.69 c #Conflicts: 759000 | #Constraints: 80501
2224.46/2240.69 c #Conflicts: 760000 | #Constraints: 81501
2224.46/2240.69 c #Conflicts: 761000 | #Constraints: 82501
2224.46/2240.69 c #Conflicts: 762000 | #Constraints: 83501
2224.46/2240.69 c #Conflicts: 763000 | #Constraints: 84501
2224.46/2240.69 c #Conflicts: 764000 | #Constraints: 85501
2224.46/2240.69 c #Conflicts: 765000 | #Constraints: 86501
2224.46/2240.69 c #Conflicts: 766000 | #Constraints: 87501
2224.46/2240.69 c #Conflicts: 767000 | #Constraints: 88501
2224.46/2240.69 c #Conflicts: 768000 | #Constraints: 89501
2224.46/2240.69 c #Conflicts: 769000 | #Constraints: 90501
2224.46/2240.69 c #Conflicts: 770000 | #Constraints: 91501
2224.46/2240.69 c #Conflicts: 771000 | #Constraints: 92501
2224.46/2240.69 c #Conflicts: 772000 | #Constraints: 93501
2224.46/2240.69 c #Conflicts: 773000 | #Constraints: 94501
2224.46/2240.69 c #Conflicts: 774000 | #Constraints: 95501
2224.46/2240.69 c INPROCESSING
2224.46/2240.69 c GARBAGE COLLECT
2224.46/2240.69 c rational objective 29
2274.32/2290.66 c #Conflicts: 775000 | #Constraints: 79149
2274.32/2290.66 c #Conflicts: 776000 | #Constraints: 80149
2274.32/2290.66 c #Conflicts: 777000 | #Constraints: 81149
2274.32/2290.66 c #Conflicts: 778000 | #Constraints: 82149
2274.32/2290.66 c #Conflicts: 779000 | #Constraints: 83149
2274.32/2290.66 c #Conflicts: 780000 | #Constraints: 84149
2274.32/2290.66 c #Conflicts: 781000 | #Constraints: 85149
2274.32/2290.66 c #Conflicts: 782000 | #Constraints: 86149
2274.32/2290.66 c #Conflicts: 783000 | #Constraints: 87149
2274.32/2290.66 c #Conflicts: 784000 | #Constraints: 88149
2274.32/2290.66 c #Conflicts: 785000 | #Constraints: 89149
2274.32/2290.66 c #Conflicts: 786000 | #Constraints: 90149
2274.32/2290.66 c #Conflicts: 787000 | #Constraints: 91149
2274.32/2290.66 c #Conflicts: 788000 | #Constraints: 92149
2274.32/2290.66 c #Conflicts: 789000 | #Constraints: 93149
2274.32/2290.66 c #Conflicts: 790000 | #Constraints: 94149
2274.32/2290.66 c #Conflicts: 791000 | #Constraints: 95149
2274.32/2290.66 c #Conflicts: 792000 | #Constraints: 96149
2274.32/2290.66 c INPROCESSING
2274.32/2290.66 c GARBAGE COLLECT
2274.32/2290.66 c rational objective 29
2325.97/2342.49 c #Conflicts: 793000 | #Constraints: 79529
2325.97/2342.49 c #Conflicts: 794000 | #Constraints: 80529
2325.97/2342.49 c #Conflicts: 795000 | #Constraints: 81529
2325.97/2342.49 c #Conflicts: 796000 | #Constraints: 82529
2325.97/2342.49 c #Conflicts: 797000 | #Constraints: 83529
2325.97/2342.49 c #Conflicts: 798000 | #Constraints: 84529
2325.97/2342.49 c #Conflicts: 799000 | #Constraints: 85529
2325.97/2342.49 c #Conflicts: 800000 | #Constraints: 86529
2325.97/2342.49 c #Conflicts: 801000 | #Constraints: 87529
2325.97/2342.49 c #Conflicts: 802000 | #Constraints: 88529
2325.97/2342.49 c #Conflicts: 803000 | #Constraints: 89529
2325.97/2342.49 c #Conflicts: 804000 | #Constraints: 90529
2325.97/2342.49 c #Conflicts: 805000 | #Constraints: 91529
2325.97/2342.49 c #Conflicts: 806000 | #Constraints: 92529
2325.97/2342.49 c #Conflicts: 807000 | #Constraints: 93529
2325.97/2342.49 c #Conflicts: 808000 | #Constraints: 94529
2325.97/2342.49 c #Conflicts: 809000 | #Constraints: 95529
2325.97/2342.49 c #Conflicts: 810000 | #Constraints: 96529
2325.97/2342.49 c INPROCESSING
2325.97/2342.49 c GARBAGE COLLECT
2325.97/2342.49 c rational objective 29
2362.07/2378.63 c #Conflicts: 811000 | #Constraints: 79714
2362.07/2378.63 c #Conflicts: 812000 | #Constraints: 80714
2362.07/2378.63 c #Conflicts: 813000 | #Constraints: 81714
2362.07/2378.63 c #Conflicts: 814000 | #Constraints: 82714
2362.07/2378.63 c #Conflicts: 815000 | #Constraints: 83714
2362.07/2378.63 c #Conflicts: 816000 | #Constraints: 84714
2362.07/2378.63 c #Conflicts: 817000 | #Constraints: 85714
2362.07/2378.63 c #Conflicts: 818000 | #Constraints: 86714
2362.07/2378.63 c #Conflicts: 819000 | #Constraints: 87714
2362.07/2378.63 c #Conflicts: 820000 | #Constraints: 88714
2362.07/2378.63 c #Conflicts: 821000 | #Constraints: 89714
2362.07/2378.63 c #Conflicts: 822000 | #Constraints: 90714
2362.07/2378.63 c #Conflicts: 823000 | #Constraints: 91714
2362.07/2378.63 c #Conflicts: 824000 | #Constraints: 92714
2362.07/2378.63 c #Conflicts: 825000 | #Constraints: 93714
2362.07/2378.63 c #Conflicts: 826000 | #Constraints: 94714
2362.07/2378.63 c #Conflicts: 827000 | #Constraints: 95714
2362.07/2378.63 c #Conflicts: 828000 | #Constraints: 96714
2362.07/2378.63 c INPROCESSING
2362.07/2378.63 c GARBAGE COLLECT
2362.07/2378.63 c rational objective 29
2379.22/2395.83 c #Conflicts: 829000 | #Constraints: 79707
2379.22/2395.83 c #Conflicts: 830000 | #Constraints: 80707
2379.22/2395.83 c #Conflicts: 831000 | #Constraints: 81707
2379.22/2395.83 c #Conflicts: 832000 | #Constraints: 82707
2379.22/2395.83 c #Conflicts: 833000 | #Constraints: 83707
2379.22/2395.83 c #Conflicts: 834000 | #Constraints: 84707
2379.22/2395.83 c #Conflicts: 835000 | #Constraints: 85707
2379.22/2395.83 c #Conflicts: 836000 | #Constraints: 86707
2379.22/2395.83 c #Conflicts: 837000 | #Constraints: 87707
2379.22/2395.83 c #Conflicts: 838000 | #Constraints: 88707
2379.22/2395.83 c #Conflicts: 839000 | #Constraints: 89707
2379.22/2395.83 c #Conflicts: 840000 | #Constraints: 90707
2379.22/2395.83 c #Conflicts: 841000 | #Constraints: 91707
2379.22/2395.83 c #Conflicts: 842000 | #Constraints: 92707
2379.22/2395.83 c #Conflicts: 843000 | #Constraints: 93707
2379.22/2395.83 c #Conflicts: 844000 | #Constraints: 94707
2379.22/2395.83 c #Conflicts: 845000 | #Constraints: 95707
2379.22/2395.83 c #Conflicts: 846000 | #Constraints: 96707
2379.22/2395.83 c INPROCESSING
2379.22/2395.83 c GARBAGE COLLECT
2379.22/2395.83 c rational objective 29
2408.55/2425.25 c #Conflicts: 847000 | #Constraints: 79500
2408.55/2425.25 c #Conflicts: 848000 | #Constraints: 80500
2408.55/2425.25 c #Conflicts: 849000 | #Constraints: 81500
2408.55/2425.25 c #Conflicts: 850000 | #Constraints: 82500
2408.55/2425.25 c #Conflicts: 851000 | #Constraints: 83500
2408.55/2425.25 c #Conflicts: 852000 | #Constraints: 84500
2408.55/2425.25 c #Conflicts: 853000 | #Constraints: 85500
2408.55/2425.25 c #Conflicts: 854000 | #Constraints: 86500
2408.55/2425.25 c #Conflicts: 855000 | #Constraints: 87500
2408.55/2425.25 c #Conflicts: 856000 | #Constraints: 88500
2408.55/2425.25 c #Conflicts: 857000 | #Constraints: 89500
2408.55/2425.25 c #Conflicts: 858000 | #Constraints: 90500
2408.55/2425.25 c #Conflicts: 859000 | #Constraints: 91500
2408.55/2425.25 c #Conflicts: 860000 | #Constraints: 92500
2408.55/2425.25 c #Conflicts: 861000 | #Constraints: 93500
2408.55/2425.25 c #Conflicts: 862000 | #Constraints: 94500
2408.55/2425.25 c #Conflicts: 863000 | #Constraints: 95500
2408.55/2425.25 c #Conflicts: 864000 | #Constraints: 96500
2408.55/2425.25 c #Conflicts: 865000 | #Constraints: 97500
2408.55/2425.25 c INPROCESSING
2408.55/2425.25 c GARBAGE COLLECT
2408.55/2425.25 c rational objective 29
2443.16/2459.92 c #Conflicts: 866000 | #Constraints: 80127
2443.16/2459.92 c #Conflicts: 867000 | #Constraints: 81127
2443.16/2459.92 c #Conflicts: 868000 | #Constraints: 82127
2443.16/2459.92 c #Conflicts: 869000 | #Constraints: 83127
2443.16/2459.92 c #Conflicts: 870000 | #Constraints: 84127
2443.16/2459.92 c #Conflicts: 871000 | #Constraints: 85127
2443.16/2459.92 c #Conflicts: 872000 | #Constraints: 86127
2443.16/2459.92 c #Conflicts: 873000 | #Constraints: 87127
2443.16/2459.92 c #Conflicts: 874000 | #Constraints: 88127
2443.16/2459.92 c #Conflicts: 875000 | #Constraints: 89127
2443.16/2459.92 c #Conflicts: 876000 | #Constraints: 90127
2443.16/2459.92 c #Conflicts: 877000 | #Constraints: 91127
2443.16/2459.92 c #Conflicts: 878000 | #Constraints: 92127
2443.16/2459.92 c #Conflicts: 879000 | #Constraints: 93127
2443.16/2459.92 c #Conflicts: 880000 | #Constraints: 94127
2443.16/2459.92 c #Conflicts: 881000 | #Constraints: 95127
2443.16/2459.92 c #Conflicts: 882000 | #Constraints: 96127
2443.16/2459.92 c #Conflicts: 883000 | #Constraints: 97127
2443.16/2459.92 c #Conflicts: 884000 | #Constraints: 98127
2443.16/2459.92 c INPROCESSING
2443.16/2459.92 c GARBAGE COLLECT
2443.16/2459.92 c rational objective 29
2478.07/2494.97 c #Conflicts: 885000 | #Constraints: 80520
2478.07/2494.97 c #Conflicts: 886000 | #Constraints: 81520
2478.07/2494.97 c #Conflicts: 887000 | #Constraints: 82520
2478.07/2494.97 c #Conflicts: 888000 | #Constraints: 83520
2478.07/2494.97 c #Conflicts: 889000 | #Constraints: 84520
2478.07/2494.97 c #Conflicts: 890000 | #Constraints: 85520
2478.07/2494.97 c #Conflicts: 891000 | #Constraints: 86520
2478.07/2494.97 c #Conflicts: 892000 | #Constraints: 87520
2478.07/2494.97 c #Conflicts: 893000 | #Constraints: 88520
2478.07/2494.97 c #Conflicts: 894000 | #Constraints: 89520
2478.07/2494.97 c #Conflicts: 895000 | #Constraints: 90520
2478.07/2494.97 c #Conflicts: 896000 | #Constraints: 91520
2478.07/2494.97 c #Conflicts: 897000 | #Constraints: 92520
2478.07/2494.97 c #Conflicts: 898000 | #Constraints: 93520
2478.07/2494.97 c #Conflicts: 899000 | #Constraints: 94520
2478.07/2494.97 c #Conflicts: 900000 | #Constraints: 95520
2478.07/2494.97 c #Conflicts: 901000 | #Constraints: 96520
2478.07/2494.97 c #Conflicts: 902000 | #Constraints: 97520
2478.07/2494.97 c #Conflicts: 903000 | #Constraints: 98520
2478.07/2494.97 c INPROCESSING
2478.07/2494.97 c GARBAGE COLLECT
2478.07/2494.97 c rational objective 29
2526.43/2543.47 c #Conflicts: 904000 | #Constraints: 80749
2526.43/2543.47 c #Conflicts: 905000 | #Constraints: 81749
2526.43/2543.47 c #Conflicts: 906000 | #Constraints: 82749
2526.43/2543.47 c #Conflicts: 907000 | #Constraints: 83749
2526.43/2543.47 c #Conflicts: 908000 | #Constraints: 84749
2526.43/2543.47 c #Conflicts: 909000 | #Constraints: 85749
2526.43/2543.47 c #Conflicts: 910000 | #Constraints: 86749
2526.43/2543.47 c #Conflicts: 911000 | #Constraints: 87749
2526.43/2543.47 c #Conflicts: 912000 | #Constraints: 88749
2526.43/2543.47 c #Conflicts: 913000 | #Constraints: 89749
2526.43/2543.47 c #Conflicts: 914000 | #Constraints: 90749
2526.43/2543.47 c #Conflicts: 915000 | #Constraints: 91749
2526.43/2543.47 c #Conflicts: 916000 | #Constraints: 92749
2526.43/2543.47 c #Conflicts: 917000 | #Constraints: 93749
2526.43/2543.47 c #Conflicts: 918000 | #Constraints: 94749
2526.43/2543.47 c #Conflicts: 919000 | #Constraints: 95749
2526.43/2543.47 c #Conflicts: 920000 | #Constraints: 96749
2526.43/2543.47 c #Conflicts: 921000 | #Constraints: 97749
2526.43/2543.47 c #Conflicts: 922000 | #Constraints: 98749
2526.43/2543.47 c INPROCESSING
2526.43/2543.47 c GARBAGE COLLECT
2526.43/2543.47 c rational objective 29
2559.30/2576.48 c #Conflicts: 923000 | #Constraints: 80734
2559.30/2576.48 c #Conflicts: 924000 | #Constraints: 81734
2559.30/2576.48 c #Conflicts: 925000 | #Constraints: 82734
2559.30/2576.48 c #Conflicts: 926000 | #Constraints: 83734
2559.30/2576.48 c #Conflicts: 927000 | #Constraints: 84734
2559.30/2576.48 c #Conflicts: 928000 | #Constraints: 85734
2559.30/2576.48 c #Conflicts: 929000 | #Constraints: 86734
2559.30/2576.48 c #Conflicts: 930000 | #Constraints: 87734
2559.30/2576.48 c #Conflicts: 931000 | #Constraints: 88734
2559.30/2576.48 c #Conflicts: 932000 | #Constraints: 89734
2559.30/2576.48 c #Conflicts: 933000 | #Constraints: 90734
2559.30/2576.48 c #Conflicts: 934000 | #Constraints: 91734
2559.30/2576.48 c #Conflicts: 935000 | #Constraints: 92734
2559.30/2576.48 c #Conflicts: 936000 | #Constraints: 93734
2559.30/2576.48 c #Conflicts: 937000 | #Constraints: 94734
2559.30/2576.48 c #Conflicts: 938000 | #Constraints: 95734
2559.30/2576.48 c #Conflicts: 939000 | #Constraints: 96734
2559.30/2576.48 c #Conflicts: 940000 | #Constraints: 97734
2559.30/2576.48 c #Conflicts: 941000 | #Constraints: 98734
2559.30/2576.48 c INPROCESSING
2559.30/2576.48 c GARBAGE COLLECT
2559.30/2576.48 c rational objective 29
2609.56/2626.84 c #Conflicts: 942000 | #Constraints: 80529
2609.56/2626.84 c #Conflicts: 943000 | #Constraints: 81529
2609.56/2626.84 c #Conflicts: 944000 | #Constraints: 82529
2609.56/2626.84 c #Conflicts: 945000 | #Constraints: 83529
2609.56/2626.84 c #Conflicts: 946000 | #Constraints: 84529
2609.56/2626.84 c #Conflicts: 947000 | #Constraints: 85529
2609.56/2626.84 c #Conflicts: 948000 | #Constraints: 86529
2609.56/2626.84 c #Conflicts: 949000 | #Constraints: 87529
2609.56/2626.84 c #Conflicts: 950000 | #Constraints: 88529
2609.56/2626.84 c #Conflicts: 951000 | #Constraints: 89529
2609.56/2626.84 c #Conflicts: 952000 | #Constraints: 90529
2609.56/2626.84 c #Conflicts: 953000 | #Constraints: 91529
2609.56/2626.84 c #Conflicts: 954000 | #Constraints: 92529
2609.56/2626.84 c #Conflicts: 955000 | #Constraints: 93529
2609.56/2626.84 c #Conflicts: 956000 | #Constraints: 94529
2609.56/2626.84 c #Conflicts: 957000 | #Constraints: 95529
2609.56/2626.84 c #Conflicts: 958000 | #Constraints: 96529
2609.56/2626.84 c #Conflicts: 959000 | #Constraints: 97529
2609.56/2626.84 c #Conflicts: 960000 | #Constraints: 98529
2609.56/2626.84 c #Conflicts: 961000 | #Constraints: 99529
2609.56/2626.84 c INPROCESSING
2609.56/2626.84 c GARBAGE COLLECT
2609.56/2626.84 c rational objective 29
2646.37/2663.71 c #Conflicts: 962000 | #Constraints: 81122
2646.37/2663.71 c #Conflicts: 963000 | #Constraints: 82122
2646.37/2663.71 c #Conflicts: 964000 | #Constraints: 83122
2646.37/2663.71 c #Conflicts: 965000 | #Constraints: 84122
2646.37/2663.71 c #Conflicts: 966000 | #Constraints: 85122
2646.37/2663.71 c #Conflicts: 967000 | #Constraints: 86122
2646.37/2663.71 c #Conflicts: 968000 | #Constraints: 87122
2646.37/2663.71 c #Conflicts: 969000 | #Constraints: 88122
2646.37/2663.71 c #Conflicts: 970000 | #Constraints: 89122
2646.37/2663.71 c #Conflicts: 971000 | #Constraints: 90122
2646.37/2663.71 c #Conflicts: 972000 | #Constraints: 91122
2646.37/2663.71 c #Conflicts: 973000 | #Constraints: 92122
2646.37/2663.71 c #Conflicts: 974000 | #Constraints: 93122
2646.37/2663.71 c #Conflicts: 975000 | #Constraints: 94122
2646.37/2663.71 c #Conflicts: 976000 | #Constraints: 95122
2646.37/2663.71 c #Conflicts: 977000 | #Constraints: 96122
2646.37/2663.71 c #Conflicts: 978000 | #Constraints: 97122
2646.37/2663.71 c #Conflicts: 979000 | #Constraints: 98122
2646.37/2663.71 c #Conflicts: 980000 | #Constraints: 99122
2646.37/2663.71 c #Conflicts: 981000 | #Constraints: 100122
2646.37/2663.71 c INPROCESSING
2646.37/2663.71 c GARBAGE COLLECT
2646.37/2663.71 c rational objective 29
2837.95/2855.85 c #Conflicts: 982000 | #Constraints: 81577
2837.95/2855.85 c #Conflicts: 983000 | #Constraints: 82577
2837.95/2855.85 c #Conflicts: 984000 | #Constraints: 83577
2837.95/2855.85 c #Conflicts: 985000 | #Constraints: 84577
2837.95/2855.85 c #Conflicts: 986000 | #Constraints: 85577
2837.95/2855.85 c #Conflicts: 987000 | #Constraints: 86577
2837.95/2855.85 c #Conflicts: 988000 | #Constraints: 87577
2837.95/2855.85 c #Conflicts: 989000 | #Constraints: 88577
2837.95/2855.85 c #Conflicts: 990000 | #Constraints: 89577
2837.95/2855.85 c #Conflicts: 991000 | #Constraints: 90577
2837.95/2855.85 c #Conflicts: 992000 | #Constraints: 91577
2837.95/2855.85 c #Conflicts: 993000 | #Constraints: 92577
2837.95/2855.85 c #Conflicts: 994000 | #Constraints: 93577
2837.95/2855.85 c #Conflicts: 995000 | #Constraints: 94577
2837.95/2855.85 c #Conflicts: 996000 | #Constraints: 95577
2837.95/2855.85 c #Conflicts: 997000 | #Constraints: 96577
2837.95/2855.85 c #Conflicts: 998000 | #Constraints: 97577
2837.95/2855.85 c #Conflicts: 999000 | #Constraints: 98577
2837.95/2855.85 c #Conflicts: 1000000 | #Constraints: 99577
2837.95/2855.85 c #Conflicts: 1001000 | #Constraints: 100577
2837.95/2855.85 c INPROCESSING
2837.95/2855.85 c GARBAGE COLLECT
2837.95/2855.85 c rational objective 29
2919.21/2937.33 c #Conflicts: 1002000 | #Constraints: 81751
2919.21/2937.33 c #Conflicts: 1003000 | #Constraints: 82751
2919.21/2937.33 c #Conflicts: 1004000 | #Constraints: 83751
2919.21/2937.33 c #Conflicts: 1005000 | #Constraints: 84751
2919.21/2937.33 c #Conflicts: 1006000 | #Constraints: 85751
2919.21/2937.33 c #Conflicts: 1007000 | #Constraints: 86751
2919.21/2937.33 c #Conflicts: 1008000 | #Constraints: 87751
2919.21/2937.33 c #Conflicts: 1009000 | #Constraints: 88751
2919.21/2937.33 c #Conflicts: 1010000 | #Constraints: 89751
2919.21/2937.33 c #Conflicts: 1011000 | #Constraints: 90751
2919.21/2937.33 c #Conflicts: 1012000 | #Constraints: 91751
2919.21/2937.33 c #Conflicts: 1013000 | #Constraints: 92751
2919.21/2937.33 c #Conflicts: 1014000 | #Constraints: 93751
2919.21/2937.33 c #Conflicts: 1015000 | #Constraints: 94751
2919.21/2937.33 c #Conflicts: 1016000 | #Constraints: 95751
2919.21/2937.33 c #Conflicts: 1017000 | #Constraints: 96751
2919.21/2937.33 c #Conflicts: 1018000 | #Constraints: 97751
2919.21/2937.33 c #Conflicts: 1019000 | #Constraints: 98751
2919.21/2937.33 c #Conflicts: 1020000 | #Constraints: 99751
2919.21/2937.33 c #Conflicts: 1021000 | #Constraints: 100751
2919.21/2937.33 c INPROCESSING
2919.21/2937.33 c GARBAGE COLLECT
2919.21/2937.33 c rational objective 29
3026.71/3045.23 c #Conflicts: 1022000 | #Constraints: 81749
3026.71/3045.23 c #Conflicts: 1023000 | #Constraints: 82749
3026.71/3045.23 c #Conflicts: 1024000 | #Constraints: 83749
3026.71/3045.23 c #Conflicts: 1025000 | #Constraints: 84749
3026.71/3045.23 c #Conflicts: 1026000 | #Constraints: 85749
3026.71/3045.23 c #Conflicts: 1027000 | #Constraints: 86749
3026.71/3045.23 c #Conflicts: 1028000 | #Constraints: 87749
3026.71/3045.23 c #Conflicts: 1029000 | #Constraints: 88749
3026.71/3045.23 c #Conflicts: 1030000 | #Constraints: 89749
3026.71/3045.23 c #Conflicts: 1031000 | #Constraints: 90749
3026.71/3045.23 c #Conflicts: 1032000 | #Constraints: 91749
3026.71/3045.23 c #Conflicts: 1033000 | #Constraints: 92749
3026.71/3045.23 c #Conflicts: 1034000 | #Constraints: 93749
3026.71/3045.23 c #Conflicts: 1035000 | #Constraints: 94749
3026.71/3045.23 c #Conflicts: 1036000 | #Constraints: 95749
3026.71/3045.23 c #Conflicts: 1037000 | #Constraints: 96749
3026.71/3045.23 c #Conflicts: 1038000 | #Constraints: 97749
3026.71/3045.23 c #Conflicts: 1039000 | #Constraints: 98749
3026.71/3045.23 c #Conflicts: 1040000 | #Constraints: 99749
3026.71/3045.23 c #Conflicts: 1041000 | #Constraints: 100749
3026.71/3045.23 c INPROCESSING
3026.71/3045.23 c GARBAGE COLLECT
3026.71/3045.23 c rational objective 29
3141.38/3160.23 c #Conflicts: 1042000 | #Constraints: 81533
3141.38/3160.23 c #Conflicts: 1043000 | #Constraints: 82533
3141.38/3160.23 c #Conflicts: 1044000 | #Constraints: 83533
3141.38/3160.23 c #Conflicts: 1045000 | #Constraints: 84533
3141.38/3160.23 c #Conflicts: 1046000 | #Constraints: 85533
3141.38/3160.23 c #Conflicts: 1047000 | #Constraints: 86533
3141.38/3160.23 c #Conflicts: 1048000 | #Constraints: 87533
3141.38/3160.23 c #Conflicts: 1049000 | #Constraints: 88533
3141.38/3160.23 c #Conflicts: 1050000 | #Constraints: 89533
3141.38/3160.23 c #Conflicts: 1051000 | #Constraints: 90533
3141.38/3160.23 c #Conflicts: 1052000 | #Constraints: 91533
3141.38/3160.23 c #Conflicts: 1053000 | #Constraints: 92533
3141.38/3160.23 c #Conflicts: 1054000 | #Constraints: 93533
3141.38/3160.23 c #Conflicts: 1055000 | #Constraints: 94533
3141.38/3160.23 c #Conflicts: 1056000 | #Constraints: 95533
3141.38/3160.23 c #Conflicts: 1057000 | #Constraints: 96533
3141.38/3160.23 c #Conflicts: 1058000 | #Constraints: 97533
3141.38/3160.23 c #Conflicts: 1059000 | #Constraints: 98533
3141.38/3160.23 c #Conflicts: 1060000 | #Constraints: 99533
3141.38/3160.23 c #Conflicts: 1061000 | #Constraints: 100533
3141.38/3160.23 c #Conflicts: 1062000 | #Constraints: 101533
3141.38/3160.23 c INPROCESSING
3141.38/3160.23 c GARBAGE COLLECT
3141.38/3160.23 c rational objective 29
3177.88/3196.86 c #Conflicts: 1063000 | #Constraints: 82129
3177.88/3196.86 c #Conflicts: 1064000 | #Constraints: 83129
3177.88/3196.86 c #Conflicts: 1065000 | #Constraints: 84129
3177.88/3196.86 c #Conflicts: 1066000 | #Constraints: 85129
3177.88/3196.86 c #Conflicts: 1067000 | #Constraints: 86129
3177.88/3196.86 c #Conflicts: 1068000 | #Constraints: 87129
3177.88/3196.86 c #Conflicts: 1069000 | #Constraints: 88129
3177.88/3196.86 c #Conflicts: 1070000 | #Constraints: 89129
3177.88/3196.86 c #Conflicts: 1071000 | #Constraints: 90129
3177.88/3196.86 c #Conflicts: 1072000 | #Constraints: 91129
3177.88/3196.86 c #Conflicts: 1073000 | #Constraints: 92129
3177.88/3196.86 c #Conflicts: 1074000 | #Constraints: 93129
3177.88/3196.86 c #Conflicts: 1075000 | #Constraints: 94129
3177.88/3196.86 c #Conflicts: 1076000 | #Constraints: 95129
3177.88/3196.86 c #Conflicts: 1077000 | #Constraints: 96129
3177.88/3196.86 c #Conflicts: 1078000 | #Constraints: 97129
3177.88/3196.86 c #Conflicts: 1079000 | #Constraints: 98129
3177.88/3196.86 c #Conflicts: 1080000 | #Constraints: 99129
3177.88/3196.86 c #Conflicts: 1081000 | #Constraints: 100129
3177.88/3196.86 c #Conflicts: 1082000 | #Constraints: 101129
3177.88/3196.86 c #Conflicts: 1083000 | #Constraints: 102129
3177.88/3196.86 c INPROCESSING
3177.88/3196.86 c GARBAGE COLLECT
3177.88/3196.86 c rational objective 29
3259.37/3278.59 c #Conflicts: 1084000 | #Constraints: 82526
3259.37/3278.59 c #Conflicts: 1085000 | #Constraints: 83526
3259.37/3278.59 c #Conflicts: 1086000 | #Constraints: 84526
3259.37/3278.59 c #Conflicts: 1087000 | #Constraints: 85526
3259.37/3278.59 c #Conflicts: 1088000 | #Constraints: 86526
3259.37/3278.59 c #Conflicts: 1089000 | #Constraints: 87526
3259.37/3278.59 c #Conflicts: 1090000 | #Constraints: 88526
3259.37/3278.59 c #Conflicts: 1091000 | #Constraints: 89526
3259.37/3278.59 c #Conflicts: 1092000 | #Constraints: 90526
3259.37/3278.59 c #Conflicts: 1093000 | #Constraints: 91526
3259.37/3278.59 c #Conflicts: 1094000 | #Constraints: 92526
3259.37/3278.59 c #Conflicts: 1095000 | #Constraints: 93526
3259.37/3278.59 c #Conflicts: 1096000 | #Constraints: 94526
3259.37/3278.59 c #Conflicts: 1097000 | #Constraints: 95526
3259.37/3278.59 c #Conflicts: 1098000 | #Constraints: 96526
3259.37/3278.59 c #Conflicts: 1099000 | #Constraints: 97526
3259.37/3278.59 c #Conflicts: 1100000 | #Constraints: 98526
3259.37/3278.59 c #Conflicts: 1101000 | #Constraints: 99526
3259.37/3278.59 c #Conflicts: 1102000 | #Constraints: 100526
3259.37/3278.59 c #Conflicts: 1103000 | #Constraints: 101526
3259.37/3278.59 c #Conflicts: 1104000 | #Constraints: 102526
3259.37/3278.59 c INPROCESSING
3259.37/3278.59 c GARBAGE COLLECT
3259.37/3278.59 c rational objective 29
3387.42/3406.90 c #Conflicts: 1105000 | #Constraints: 82732
3387.42/3406.90 c #Conflicts: 1106000 | #Constraints: 83732
3387.42/3406.90 c #Conflicts: 1107000 | #Constraints: 84732
3387.42/3406.90 c #Conflicts: 1108000 | #Constraints: 85732
3387.42/3406.90 c #Conflicts: 1109000 | #Constraints: 86732
3387.42/3406.90 c #Conflicts: 1110000 | #Constraints: 87732
3387.42/3406.90 c #Conflicts: 1111000 | #Constraints: 88732
3387.42/3406.90 c #Conflicts: 1112000 | #Constraints: 89732
3387.42/3406.90 c #Conflicts: 1113000 | #Constraints: 90732
3387.42/3406.90 c #Conflicts: 1114000 | #Constraints: 91732
3387.42/3406.90 c #Conflicts: 1115000 | #Constraints: 92732
3387.42/3406.90 c #Conflicts: 1116000 | #Constraints: 93732
3387.42/3406.90 c #Conflicts: 1117000 | #Constraints: 94732
3387.42/3406.90 c #Conflicts: 1118000 | #Constraints: 95732
3387.42/3406.90 c #Conflicts: 1119000 | #Constraints: 96732
3387.42/3406.90 c #Conflicts: 1120000 | #Constraints: 97732
3387.42/3406.90 c #Conflicts: 1121000 | #Constraints: 98732
3387.42/3406.90 c #Conflicts: 1122000 | #Constraints: 99732
3387.42/3406.90 c #Conflicts: 1123000 | #Constraints: 100732
3387.42/3406.90 c #Conflicts: 1124000 | #Constraints: 101732
3387.42/3406.90 c #Conflicts: 1125000 | #Constraints: 102732
3387.42/3406.90 c INPROCESSING
3387.42/3406.90 c GARBAGE COLLECT
3387.42/3406.90 c rational objective 29
3473.70/3493.41 c #Conflicts: 1126000 | #Constraints: 82724
3473.70/3493.41 c #Conflicts: 1127000 | #Constraints: 83724
3473.70/3493.41 c #Conflicts: 1128000 | #Constraints: 84724
3473.70/3493.41 c #Conflicts: 1129000 | #Constraints: 85724
3473.70/3493.41 c #Conflicts: 1130000 | #Constraints: 86724
3473.70/3493.41 c #Conflicts: 1131000 | #Constraints: 87724
3473.70/3493.41 c #Conflicts: 1132000 | #Constraints: 88724
3473.70/3493.41 c #Conflicts: 1133000 | #Constraints: 89724
3473.70/3493.41 c #Conflicts: 1134000 | #Constraints: 90724
3473.70/3493.41 c #Conflicts: 1135000 | #Constraints: 91724
3473.70/3493.41 c #Conflicts: 1136000 | #Constraints: 92724
3473.70/3493.41 c #Conflicts: 1137000 | #Constraints: 93724
3473.70/3493.41 c #Conflicts: 1138000 | #Constraints: 94724
3473.70/3493.41 c #Conflicts: 1139000 | #Constraints: 95724
3473.70/3493.41 c #Conflicts: 1140000 | #Constraints: 96724
3473.70/3493.41 c #Conflicts: 1141000 | #Constraints: 97724
3473.70/3493.41 c #Conflicts: 1142000 | #Constraints: 98724
3473.70/3493.41 c #Conflicts: 1143000 | #Constraints: 99724
3473.70/3493.41 c #Conflicts: 1144000 | #Constraints: 100724
3473.70/3493.41 c #Conflicts: 1145000 | #Constraints: 101724
3473.70/3493.41 c #Conflicts: 1146000 | #Constraints: 102724
3473.70/3493.41 c INPROCESSING
3473.70/3493.41 c GARBAGE COLLECT
3473.70/3493.41 c #Conflicts: 1147000 | #Constraints: 82507
3473.70/3493.41 c #Conflicts: 1148000 | #Constraints: 83507
3473.70/3493.41 c #Conflicts: 1149000 | #Constraints: 84507
3473.70/3493.41 c #Conflicts: 1150000 | #Constraints: 85507
3473.70/3493.41 c #Conflicts: 1151000 | #Constraints: 86507
3473.70/3493.41 c #Conflicts: 1152000 | #Constraints: 87507
3473.70/3493.41 c #Conflicts: 1153000 | #Constraints: 88507
3473.70/3493.41 c #Conflicts: 1154000 | #Constraints: 89507
3473.70/3493.41 c #Conflicts: 1155000 | #Constraints: 90507
3473.70/3493.41 c #Conflicts: 1156000 | #Constraints: 91507
3473.70/3493.41 c #Conflicts: 1157000 | #Constraints: 92507
3473.70/3493.41 c #Conflicts: 1158000 | #Constraints: 93507
3473.70/3493.41 c #Conflicts: 1159000 | #Constraints: 94507
3473.70/3493.41 c #Conflicts: 1160000 | #Constraints: 95507
3473.70/3493.41 c #Conflicts: 1161000 | #Constraints: 96507
3473.70/3493.41 c #Conflicts: 1162000 | #Constraints: 97507
3473.70/3493.41 c #Conflicts: 1163000 | #Constraints: 98507
3473.70/3493.41 c #Conflicts: 1164000 | #Constraints: 99507
3473.70/3493.41 c #Conflicts: 1165000 | #Constraints: 100507
3473.70/3493.41 c #Conflicts: 1166000 | #Constraints: 101507
3473.70/3493.41 c #Conflicts: 1167000 | #Constraints: 102507
3473.70/3493.41 c #Conflicts: 1168000 | #Constraints: 103507
3473.70/3493.41 c INPROCESSING
3473.70/3493.41 c GARBAGE COLLECT
3473.70/3493.41 c rational objective 29
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62456 MiB free)
memory of node 1: 64465 MiB (62280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532087-1752596052/watcher-4532087-1752596052 -o /tmp/evaluation-result-4532087-1752596052/solver-4532087-1752596052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752596052-132481 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532087-1752596052.opb PROOFDIR/proof-4532087-1752596052
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=132525, runsolver pid=132519
[startup+0.100065 s]*
/proc/loadavg: 4.13 3.43 3.50 2/276 132542
/proc/meminfo: memFree=127711268/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=35904 memory=24708 CPUtime=0.04 cores=1,3
/proc/132535/stat : 132535 (pbsuma) R 132525 132525 132469 0 -1 4194304 5355 0 0 0 3 1 0 0 20 0 1 0 175284567 36765696 6177 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 9104 6177 1024 108 0 6512 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 27652 KiB
[startup+0.208807 s]*
/proc/loadavg: 4.13 3.43 3.50 5/276 132542
/proc/meminfo: memFree=127682960/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=44476 memory=30476 CPUtime=0.16 cores=1,3
/proc/132535/stat : 132535 (pbsuma) R 132525 132525 132469 0 -1 4194304 7964 0 0 0 14 2 0 0 20 0 1 0 175284567 45543424 7619 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 11119 7619 1024 108 0 8527 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 48668 KiB
Current children cumulated memory: 33420 KiB
[startup+0.314554 s]*
/proc/loadavg: 4.13 3.43 3.50 5/276 132542
/proc/meminfo: memFree=127634836/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=40048 memory=28532 CPUtime=0.26 cores=1,3
/proc/132535/stat : 132535 (pbsuma) R 132525 132525 132469 0 -1 4194304 9931 0 0 0 24 2 0 0 20 0 1 0 175284567 41009152 7133 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 10012 7133 1024 108 0 7420 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31476 KiB
[startup+0.700367 s]
/proc/loadavg: 4.13 3.43 3.50 5/276 132542
/proc/meminfo: memFree=127610644/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=40048 memory=28532 CPUtime=0.63 cores=1,3
/proc/132535/stat : 132535 (pbsuma) R 132525 132525 132469 0 -1 4194304 9933 0 0 0 60 3 0 0 20 0 1 0 175284567 41009152 7133 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 10012 7133 1024 108 0 7420 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 31476 KiB
[startup+1.50042 s]
/proc/loadavg: 4.13 3.43 3.50 5/276 132542
/proc/meminfo: memFree=127550920/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=40088 memory=28780 CPUtime=1.18 cores=1,3
/proc/132535/stat : 132535 (pbsuma) D 132525 132525 132469 0 -1 4194304 10619 0 0 0 102 16 0 0 20 0 1 0 175284567 41050112 7195 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 10022 7195 1024 108 0 7430 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31724 KiB
[startup+3.11528 s]
/proc/loadavg: 4.13 3.43 3.50 1/276 132542
/proc/meminfo: memFree=127179384/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=40088 memory=28780 CPUtime=1.18 cores=1,3
/proc/132535/stat : 132535 (pbsuma) D 132525 132525 132469 0 -1 4194304 10619 0 0 0 102 16 0 0 20 0 1 0 175284567 41050112 7195 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 10022 7195 1024 108 0 7430 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31724 KiB
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 4.12 3.44 3.50 1/276 132542
/proc/meminfo: memFree=127180720/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132535] ppid=132525 vsize=40088 memory=28780 CPUtime=1.19 cores=1,3
/proc/132535/stat : 132535 (pbsuma) D 132525 132525 132469 0 -1 4194304 10619 0 0 0 102 17 0 0 20 0 1 0 175284567 41050112 7195 18446744073709551615 4210688 4653049 140721988460512 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 6373376 140721988466913 140721988467248 140721988467248 140721988472815 0
/proc/132535/statm: 10022 7195 1024 108 0 7430 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 31724 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.11 3.45 3.50 5/276 132547
/proc/meminfo: memFree=126950596/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=158216 memory=114604 CPUtime=2.08 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 18512 0 0 0 187 21 0 0 20 0 1 0 175285602 162013184 28651 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 39554 28651 2368 1147 0 26980 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 162408 KiB
Current children cumulated memory: 117548 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.08 3.48 3.51 5/275 132547
/proc/meminfo: memFree=126763772/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=171364 memory=126256 CPUtime=14.84 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 21933 0 0 0 1447 37 0 0 20 0 1 0 175285602 175476736 31564 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 42841 31564 2432 1147 0 30267 0
Current children cumulated CPU time: 16.04 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 129200 KiB
heavy processes:
[startup+51.1143 s]
/proc/loadavg: 4.05 3.52 3.53 5/273 132547
/proc/meminfo: memFree=126740328/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=176380 memory=130096 CPUtime=40.38 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 22891 0 0 0 3975 63 0 0 20 0 1 0 175285602 180613120 32524 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 44095 32524 2432 1147 0 31521 0
Current children cumulated CPU time: 41.58 s
Current children cumulated vsize: 180572 KiB
Current children cumulated memory: 133040 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.61 3.56 5/273 132549
/proc/meminfo: memFree=126652720/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=194608 memory=147180 CPUtime=91.24 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 26027 0 0 0 9036 88 0 0 20 0 1 0 175285602 199278592 36795 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 48652 36795 2464 1147 0 36078 0
Current children cumulated CPU time: 92.44 s
Current children cumulated vsize: 198800 KiB
Current children cumulated memory: 150124 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.70 3.59 5/273 132551
/proc/meminfo: memFree=126613912/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=195892 memory=151788 CPUtime=151.08 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 26212 0 0 0 14981 127 0 0 20 0 1 0 175285602 200593408 37947 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 48973 37947 2464 1147 0 36399 0
Current children cumulated CPU time: 152.28 s
Current children cumulated vsize: 200084 KiB
Current children cumulated memory: 154732 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 3.80 3.64 5/273 132553
/proc/meminfo: memFree=126558008/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
################
# More data... #
################
/proc/meminfo: memFree=123276400/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=250160 memory=205528 CPUtime=3261.96 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35630 0 0 0 324758 1438 0 0 20 0 1 0 175285602 256163840 51382 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62540 51382 2464 1147 0 49966 0
Current children cumulated CPU time: 3263.16 s
Current children cumulated vsize: 254352 KiB
Current children cumulated memory: 208472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 132719
/proc/meminfo: memFree=123236928/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=250160 memory=205528 CPUtime=3321.8 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35630 0 0 0 330722 1458 0 0 20 0 1 0 175285602 256163840 51382 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62540 51382 2464 1147 0 49966 0
Current children cumulated CPU time: 3323 s
Current children cumulated vsize: 254352 KiB
Current children cumulated memory: 208472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 132723
/proc/meminfo: memFree=123165548/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=250160 memory=205528 CPUtime=3381.64 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35684 0 0 0 336695 1469 0 0 20 0 1 0 175285602 256163840 51382 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62540 51382 2464 1147 0 49966 0
Current children cumulated CPU time: 3382.84 s
Current children cumulated vsize: 254352 KiB
Current children cumulated memory: 208472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 132727
/proc/meminfo: memFree=123155616/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=250548 memory=205912 CPUtime=3441.48 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35801 0 0 0 342652 1496 0 0 20 0 1 0 175285602 256561152 51478 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62637 51478 2464 1147 0 50063 0
Current children cumulated CPU time: 3442.68 s
Current children cumulated vsize: 254740 KiB
Current children cumulated memory: 208856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/258 132734
/proc/meminfo: memFree=123013160/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=250548 memory=205912 CPUtime=3501.31 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35801 0 0 0 348605 1526 0 0 20 0 1 0 175285602 256561152 51478 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62637 51478 2464 1147 0 50063 0
Current children cumulated CPU time: 3502.51 s
Current children cumulated vsize: 254740 KiB
Current children cumulated memory: 208856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 132736
/proc/meminfo: memFree=122998988/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=251208 memory=206552 CPUtime=3561.16 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35966 0 0 0 354575 1541 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current children cumulated CPU time: 3562.36 s
Current children cumulated vsize: 255400 KiB
Current children cumulated memory: 209496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.11 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 132737
/proc/meminfo: memFree=122951368/131382112 swapFree=33002444/33010684
[pid=132525] ppid=132519 vsize=4192 memory=2944 CPUtime=1.2 cores=1,3
/proc/132525/stat : 132525 (run-opt-ls-log.) S 132519 132525 132469 0 -1 4194304 241 10622 0 0 0 0 102 18 20 0 1 0 175284565 4292608 736 18446744073709551615 94735648043008 94735648937541 140730901680640 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94735649176592 94735649224336 94735660953600 140730901682457 140730901682655 140730901682655 140730901688259 0
/proc/132525/statm: 1048 736 672 219 0 110 0
[pid=132544] ppid=132525 vsize=251208 memory=206552 CPUtime=3598.87 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132525 132525 132469 0 -1 4194304 35966 0 0 0 358338 1549 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 255400 KiB
Current children cumulated memory: 209496 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3620.12 s]
# the end of solver process 132525 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.03245 s, system=0.18584 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3622.12 s]
# the end of solver process 132544 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.41 s, system=15.6849 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3620.8 s]
/proc/loadavg: 4.16 4.13 4.10 6/257 132737
/proc/meminfo: memFree=122952380/131382112 swapFree=33002444/33010684
[pid=132544] ppid=132519 vsize=251208 memory=206552 CPUtime=3599.56 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132519 132525 132469 0 -1 4194304 35966 0 0 0 358407 1549 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current cumulated CPU time of completed processes: 1.21829 s
Current children cumulated CPU time: 3599.56 s
Current children cumulated vsize: 251208 KiB
Current children cumulated memory: 206552 KiB
[startup+3621.6 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 132737
/proc/meminfo: memFree=122952380/131382112 swapFree=33002444/33010684
[pid=132544] ppid=132519 vsize=251208 memory=206552 CPUtime=3600.35 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132519 132525 132469 0 -1 4194304 35966 0 0 0 358486 1549 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current cumulated CPU time of completed processes: 1.21829 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 251208 KiB
Current children cumulated memory: 206552 KiB
[startup+3622 s]*
/proc/loadavg: 4.15 4.13 4.09 5/257 132737
/proc/meminfo: memFree=122953456/131382112 swapFree=33002444/33010684
[pid=132544] ppid=132519 vsize=251208 memory=206552 CPUtime=3600.76 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132519 132525 132469 0 -1 4194304 35966 0 0 0 358527 1549 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current cumulated CPU time of completed processes: 1.21829 s
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 251208 KiB
Current children cumulated memory: 206552 KiB
[startup+3622.11 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 132737
/proc/meminfo: memFree=122953456/131382112 swapFree=33002444/33010684
[pid=132544] ppid=132519 vsize=251208 memory=206552 CPUtime=3600.86 cores=1,3
/proc/132544/stat : 132544 (roundingsat) R 132519 132525 132469 0 -1 4194304 35966 0 0 0 358537 1549 0 0 20 0 1 0 175285602 257236992 51638 18446744073709551615 4227072 8923577 140722860231872 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35536896 140722860239092 140722860239398 140722860239398 140722860244970 0
/proc/132544/statm: 62802 51638 2464 1147 0 50228 0
Current cumulated CPU time of completed processes: 1.21829 s
Current children cumulated CPU time: 3600.86 s
Current children cumulated vsize: 251208 KiB
Current children cumulated memory: 206552 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3622.12
CPU time (s): 3602.09
CPU user time (s): 3586.41
CPU system time (s): 15.6849
CPU usage (%): 99.4473
Max. virtual memory (cumulated for all children) (KiB): 255400
Max. memory (cumulated for all children) (KiB): 209496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.41
system time used= 15.6849
maximum resident set size= 206552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1100520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4587
involuntary context switches= 2213
# summary of solver processes directly reported to runsolver:
# pid: 132525,132544
# total CPU time (s): 3602.09
# total CPU user time (s): 3586.41
# total CPU system time (s): 15.6849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3912 second user time and 38.7404 second system time
The end
Begin job on nodeC005 at 2025-07-15 18:14:12
IDJOB=4532087
IDBENCH=158399
IDSOLVER=3392
FILE ID=nodeC005/4532087-1752596052
RUNJOBID= nodeC005-1752596052-132481
SLURM_JOB_ID= 9684366
Free space on /tmp= 431444 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun6.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532087-1752596052/watcher-4532087-1752596052 -o /tmp/evaluation-result-4532087-1752596052/solver-4532087-1752596052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752596052-132481 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532087-1752596052.opb PROOFDIR/proof-4532087-1752596052
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8b8ffe124a719c4149f2b27dc4b38cf4
RANDOM SEED=170793801
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.237
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.658
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2594.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.236
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.541
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127706132 kB
MemAvailable: 129883832 kB
Buffers: 12 kB
Cached: 2956576 kB
SwapCached: 244 kB
Active: 347240 kB
Inactive: 2673220 kB
Active(anon): 45536 kB
Inactive(anon): 39452 kB
Active(file): 301704 kB
Inactive(file): 2633768 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33812 kB
Writeback: 20 kB
AnonPages: 66844 kB
Mapped: 102760 kB
Shmem: 21084 kB
KReclaimable: 163708 kB
Slab: 255488 kB
SReclaimable: 163708 kB
SUnreclaim: 91780 kB
KernelStack: 4128 kB
PageTables: 2856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 349296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149576 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431408 MiB
End job on nodeC005 at 2025-07-15 19:14:34