0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4498987-1751403372.opb'
0.00/0.04 c read 0.79MB (30.08ms)
0.00/0.04 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.05 c output proof to 'PROOFDIR/proof-4498987-1751403372'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 44] (26.62ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.10 c probe for row-column symmetry (limit=64, splits=16.78M)
0.21/0.29 c probe for row symmetry (limit=64, splits=16.78M)
0.21/0.29 c recursing 378 blocks of candidate 9x1872r
0.21/0.31 c found row 3x18, generating row predicate
0.30/0.35 c found row 9x1872, generating row predicate
0.30/0.35 c (276.01ms)
0.30/0.35 c
0.30/0.35 c detect symmetries on remainder
0.30/0.35 c [graph: #vertices 50589 #edges 228420]
0.30/0.35 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.50/0.59 c [group: #symmetries 9.77*10^218 #generators 302] (237.35ms)
0.50/0.59 c
0.50/0.59 c optimize generators (opt_passes=64, conjugate_limit=256)
0.67/0.76 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.77/0.89 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.87/1.00 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
1.08/1.12 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
1.08/1.14 c ran it=0, +gens=84
1.37/1.48 c con best_support=28, best_gens=134, +gens=246
1.37/1.48 c (889.45ms)
1.37/1.48 c
1.37/1.48 c finalize break order and special generators
1.37/1.48 c
1.37/1.48 c add generic predicates (break_depth=20)
1.47/1.50 c added predicates for 632 generators (14.37ms)
2.56/2.62 c
2.56/2.62 c generation finished
2.56/2.62 c [sbp: #constraints 48408 #add_vars 16106]
2.56/2.62 c
2.56/2.62 c write result to 'HOME/instance-4498987-1751403372.opb.pre'
2.56/2.63 c wrote 2.64MB (6.16ms)
2.56/2.63 c ------------------------------------------------------------------
2.56/2.63 c 1126.04ms 43.07% other
2.56/2.63 c 889.45ms 34.02% optimize_gens
2.56/2.63 c 276.01ms 10.56% detect_special
2.56/2.63 c 237.35ms 9.08% detect_generic
2.56/2.63 c 30.08ms 1.15% parse
2.56/2.63 c 26.62ms 1.02% approx_orbits
2.56/2.63 c 14.37ms 0.55% break_generic
2.56/2.63 c 8.15ms 0.31% finalize_order
2.56/2.63 c 6.16ms 0.24% output
2.56/2.63 c ───────────────────────────────────────────────
2.56/2.63 c 2614.23ms 100% total
2.56/2.63 c ------------------------------------------------------------------
2.61/2.75 c RoundingSat 2
2.61/2.75 c branch pb25
2.61/2.75 c commit 63f22ad
2.97/3.12 c #variables 24530 #constraints 57562
2.97/3.12 c objective is ce32
2.97/3.12 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.97/3.12 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
2.97/3.12 c bounds - >= 0 @ 0.309956
5.16/5.34 c #Conflicts: 1000 | #Constraints: 58562
5.16/5.34 c #Conflicts: 2000 | #Constraints: 59563
5.16/5.34 c INPROCESSING
5.16/5.34 c GARBAGE COLLECT
5.16/5.34 c rational objective 9
10.96/11.12 c #Conflicts: 3000 | #Constraints: 51160
10.96/11.12 c #Conflicts: 4000 | #Constraints: 52160
10.96/11.12 c INPROCESSING
10.96/11.12 c GARBAGE COLLECT
10.96/11.12 c rational objective 9
15.72/15.97 c #Conflicts: 5000 | #Constraints: 51578
15.72/15.97 c #Conflicts: 6000 | #Constraints: 52579
15.72/15.97 c INPROCESSING
15.72/15.97 c GARBAGE COLLECT
15.72/15.97 c rational objective 9
17.93/18.14 c #Conflicts: 7000 | #Constraints: 51424
17.93/18.14 c #Conflicts: 8000 | #Constraints: 52424
17.93/18.14 c #Conflicts: 9000 | #Constraints: 53424
17.93/18.14 c INPROCESSING
17.93/18.14 c GARBAGE COLLECT
17.93/18.14 c rational objective 9
21.82/22.05 c #Conflicts: 10000 | #Constraints: 52132
21.82/22.05 c #Conflicts: 11000 | #Constraints: 53132
21.82/22.05 c #Conflicts: 12000 | #Constraints: 54133
21.82/22.05 c INPROCESSING
21.82/22.05 c GARBAGE COLLECT
21.82/22.05 c rational objective 9
24.40/24.66 c #Conflicts: 13000 | #Constraints: 52594
24.40/24.66 c #Conflicts: 14000 | #Constraints: 53595
24.40/24.66 c #Conflicts: 15000 | #Constraints: 54596
24.40/24.66 c INPROCESSING
24.40/24.66 c GARBAGE COLLECT
24.40/24.66 c rational objective 9
28.49/28.79 c #Conflicts: 16000 | #Constraints: 52817
28.49/28.79 c #Conflicts: 17000 | #Constraints: 53819
28.49/28.79 c #Conflicts: 18000 | #Constraints: 54822
28.49/28.79 c INPROCESSING
28.49/28.79 c GARBAGE COLLECT
28.49/28.79 c rational objective 9
33.78/34.09 c #Conflicts: 19000 | #Constraints: 52840
33.78/34.09 c #Conflicts: 20000 | #Constraints: 53841
33.78/34.09 c #Conflicts: 21000 | #Constraints: 54842
33.78/34.09 c INPROCESSING
33.78/34.09 c GARBAGE COLLECT
33.78/34.09 c rational objective 9
38.65/39.11 c #Conflicts: 22000 | #Constraints: 52628
38.65/39.11 c #Conflicts: 23000 | #Constraints: 53628
38.65/39.11 c #Conflicts: 24000 | #Constraints: 54628
38.65/39.11 c #Conflicts: 25000 | #Constraints: 55629
38.65/39.11 c INPROCESSING
38.65/39.11 c GARBAGE COLLECT
38.65/39.11 c rational objective 9
42.32/42.72 c #Conflicts: 26000 | #Constraints: 53240
42.32/42.72 c #Conflicts: 27000 | #Constraints: 54240
42.32/42.72 c #Conflicts: 28000 | #Constraints: 55240
42.32/42.72 c #Conflicts: 29000 | #Constraints: 56240
42.32/42.72 c INPROCESSING
42.32/42.72 c GARBAGE COLLECT
42.32/42.72 c rational objective 9
46.80/47.21 c #Conflicts: 30000 | #Constraints: 53640
46.80/47.21 c #Conflicts: 31000 | #Constraints: 54641
46.80/47.21 c #Conflicts: 32000 | #Constraints: 55641
46.80/47.21 c #Conflicts: 33000 | #Constraints: 56642
46.80/47.21 c INPROCESSING
46.80/47.21 c GARBAGE COLLECT
46.80/47.21 c rational objective 9
52.60/53.05 c #Conflicts: 34000 | #Constraints: 53829
52.60/53.05 c #Conflicts: 35000 | #Constraints: 54829
52.60/53.05 c #Conflicts: 36000 | #Constraints: 55830
52.60/53.05 c #Conflicts: 37000 | #Constraints: 56832
52.60/53.05 c INPROCESSING
52.60/53.05 c GARBAGE COLLECT
52.60/53.05 c rational objective 9
61.71/62.45 c #Conflicts: 38000 | #Constraints: 53815
61.71/62.45 c #Conflicts: 39000 | #Constraints: 54816
61.71/62.45 c #Conflicts: 40000 | #Constraints: 55817
61.71/62.45 c #Conflicts: 41000 | #Constraints: 56817
61.71/62.45 c INPROCESSING
61.71/62.45 c GARBAGE COLLECT
61.71/62.45 c rational objective 9
67.99/68.74 c #Conflicts: 42000 | #Constraints: 53628
67.99/68.74 c #Conflicts: 43000 | #Constraints: 54629
67.99/68.74 c #Conflicts: 44000 | #Constraints: 55630
67.99/68.74 c #Conflicts: 45000 | #Constraints: 56631
67.99/68.74 c #Conflicts: 46000 | #Constraints: 57632
67.99/68.74 c INPROCESSING
67.99/68.74 c GARBAGE COLLECT
67.99/68.74 c rational objective 9
79.82/80.92 c #Conflicts: 47000 | #Constraints: 54210
79.82/80.92 c #Conflicts: 48000 | #Constraints: 55211
79.82/80.92 c #Conflicts: 49000 | #Constraints: 56213
79.82/80.92 c #Conflicts: 50000 | #Constraints: 57214
79.82/80.92 c #Conflicts: 51000 | #Constraints: 58215
79.82/80.92 c INPROCESSING
79.82/80.92 c GARBAGE COLLECT
79.82/80.92 c rational objective 9
103.09/104.31 c #Conflicts: 52000 | #Constraints: 54617
103.09/104.31 c #Conflicts: 53000 | #Constraints: 55617
103.09/104.31 c #Conflicts: 54000 | #Constraints: 56618
103.09/104.31 c #Conflicts: 55000 | #Constraints: 57620
103.09/104.31 c #Conflicts: 56000 | #Constraints: 58620
103.09/104.31 c INPROCESSING
103.09/104.31 c GARBAGE COLLECT
103.09/104.31 c #Conflicts: 57000 | #Constraints: 54806
103.09/104.31 c #Conflicts: 58000 | #Constraints: 55806
103.09/104.31 c #Conflicts: 59000 | #Constraints: 56807
103.09/104.31 c #Conflicts: 60000 | #Constraints: 57807
103.09/104.31 c #Conflicts: 61000 | #Constraints: 58808
103.09/104.31 c INPROCESSING
103.09/104.31 c GARBAGE COLLECT
103.09/104.31 c rational objective 9
109.69/111.20 c #Conflicts: 62000 | #Constraints: 54831
109.69/111.20 c #Conflicts: 63000 | #Constraints: 55831
109.69/111.20 c #Conflicts: 64000 | #Constraints: 56834
109.69/111.20 c #Conflicts: 65000 | #Constraints: 57835
109.69/111.20 c #Conflicts: 66000 | #Constraints: 58837
109.69/111.20 c INPROCESSING
109.69/111.20 c GARBAGE COLLECT
109.69/111.20 c rational objective 9
125.34/126.95 c #Conflicts: 67000 | #Constraints: 54623
125.34/126.95 c #Conflicts: 68000 | #Constraints: 55623
125.34/126.95 c #Conflicts: 69000 | #Constraints: 56623
125.34/126.95 c #Conflicts: 70000 | #Constraints: 57623
125.34/126.95 c #Conflicts: 71000 | #Constraints: 58623
125.34/126.95 c #Conflicts: 72000 | #Constraints: 59623
125.34/126.95 c INPROCESSING
125.34/126.95 c GARBAGE COLLECT
125.34/126.95 c rational objective 9
132.43/134.04 c #Conflicts: 73000 | #Constraints: 55224
132.43/134.04 c #Conflicts: 74000 | #Constraints: 56224
132.43/134.04 c #Conflicts: 75000 | #Constraints: 57225
132.43/134.04 c #Conflicts: 76000 | #Constraints: 58227
132.43/134.04 c #Conflicts: 77000 | #Constraints: 59228
132.43/134.04 c #Conflicts: 78000 | #Constraints: 60229
132.43/134.04 c INPROCESSING
132.43/134.04 c GARBAGE COLLECT
132.43/134.04 c rational objective 9
143.71/145.42 c #Conflicts: 79000 | #Constraints: 55612
143.71/145.42 c #Conflicts: 80000 | #Constraints: 56613
143.71/145.42 c #Conflicts: 81000 | #Constraints: 57614
143.71/145.42 c #Conflicts: 82000 | #Constraints: 58614
143.71/145.42 c #Conflicts: 83000 | #Constraints: 59617
143.71/145.42 c #Conflicts: 84000 | #Constraints: 60617
143.71/145.42 c INPROCESSING
143.71/145.42 c GARBAGE COLLECT
143.71/145.42 c rational objective 9
154.71/156.56 c #Conflicts: 85000 | #Constraints: 55810
154.71/156.56 c #Conflicts: 86000 | #Constraints: 56811
154.71/156.56 c #Conflicts: 87000 | #Constraints: 57813
154.71/156.56 c #Conflicts: 88000 | #Constraints: 58817
154.71/156.56 c #Conflicts: 89000 | #Constraints: 59820
154.71/156.56 c #Conflicts: 90000 | #Constraints: 60821
154.71/156.56 c INPROCESSING
154.71/156.56 c GARBAGE COLLECT
154.71/156.56 c rational objective 9
167.37/169.22 c #Conflicts: 91000 | #Constraints: 55793
167.37/169.22 c #Conflicts: 92000 | #Constraints: 56794
167.37/169.22 c #Conflicts: 93000 | #Constraints: 57795
167.37/169.22 c #Conflicts: 94000 | #Constraints: 58796
167.37/169.22 c #Conflicts: 95000 | #Constraints: 59797
167.37/169.22 c #Conflicts: 96000 | #Constraints: 60798
167.37/169.22 c INPROCESSING
167.37/169.22 c GARBAGE COLLECT
167.37/169.22 c rational objective 9
181.25/183.24 c #Conflicts: 97000 | #Constraints: 55588
181.25/183.24 c #Conflicts: 98000 | #Constraints: 56589
181.25/183.24 c #Conflicts: 99000 | #Constraints: 57591
181.25/183.24 c #Conflicts: 100000 | #Constraints: 58593
181.25/183.24 c #Conflicts: 101000 | #Constraints: 59595
181.25/183.24 c #Conflicts: 102000 | #Constraints: 60598
181.25/183.24 c #Conflicts: 103000 | #Constraints: 61599
181.25/183.24 c INPROCESSING
181.25/183.24 c GARBAGE COLLECT
181.25/183.24 c rational objective 9
191.71/193.73 c #Conflicts: 104000 | #Constraints: 56190
191.71/193.73 c #Conflicts: 105000 | #Constraints: 57191
191.71/193.73 c #Conflicts: 106000 | #Constraints: 58192
191.71/193.73 c #Conflicts: 107000 | #Constraints: 59199
191.71/193.73 c #Conflicts: 108000 | #Constraints: 60199
191.71/193.73 c #Conflicts: 109000 | #Constraints: 61202
191.71/193.73 c #Conflicts: 110000 | #Constraints: 62203
191.71/193.73 c INPROCESSING
191.71/193.73 c GARBAGE COLLECT
191.71/193.73 c rational objective 9
203.59/205.74 c #Conflicts: 111000 | #Constraints: 56602
203.59/205.74 c #Conflicts: 112000 | #Constraints: 57608
203.59/205.74 c #Conflicts: 113000 | #Constraints: 58609
203.59/205.74 c #Conflicts: 114000 | #Constraints: 59611
203.59/205.74 c #Conflicts: 115000 | #Constraints: 60612
203.59/205.74 c #Conflicts: 116000 | #Constraints: 61615
203.59/205.74 c #Conflicts: 117000 | #Constraints: 62617
203.59/205.74 c INPROCESSING
203.59/205.74 c GARBAGE COLLECT
203.59/205.74 c rational objective 9
219.36/221.64 c #Conflicts: 118000 | #Constraints: 56784
219.36/221.64 c #Conflicts: 119000 | #Constraints: 57784
219.36/221.64 c #Conflicts: 120000 | #Constraints: 58785
219.36/221.64 c #Conflicts: 121000 | #Constraints: 59785
219.36/221.64 c #Conflicts: 122000 | #Constraints: 60786
219.36/221.64 c #Conflicts: 123000 | #Constraints: 61787
219.36/221.64 c #Conflicts: 124000 | #Constraints: 62787
219.36/221.64 c INPROCESSING
219.36/221.64 c GARBAGE COLLECT
219.36/221.64 c rational objective 9
237.93/241.93 c #Conflicts: 125000 | #Constraints: 56783
237.93/241.93 c #Conflicts: 126000 | #Constraints: 57783
237.93/241.93 c #Conflicts: 127000 | #Constraints: 58784
237.93/241.93 c #Conflicts: 128000 | #Constraints: 59785
237.93/241.93 c #Conflicts: 129000 | #Constraints: 60789
237.93/241.93 c #Conflicts: 130000 | #Constraints: 61794
237.93/241.93 c #Conflicts: 131000 | #Constraints: 62794
237.93/241.93 c INPROCESSING
237.93/241.93 c GARBAGE COLLECT
237.93/241.93 c rational objective 9
253.60/257.74 c #Conflicts: 132000 | #Constraints: 56599
253.60/257.74 c #Conflicts: 133000 | #Constraints: 57599
253.60/257.74 c #Conflicts: 134000 | #Constraints: 58603
253.60/257.74 c #Conflicts: 135000 | #Constraints: 59604
253.60/257.74 c #Conflicts: 136000 | #Constraints: 60605
253.60/257.74 c #Conflicts: 137000 | #Constraints: 61606
253.60/257.74 c #Conflicts: 138000 | #Constraints: 62606
253.60/257.74 c #Conflicts: 139000 | #Constraints: 63607
253.60/257.74 c INPROCESSING
253.60/257.74 c GARBAGE COLLECT
253.60/257.74 c rational objective 9
276.59/280.86 c #Conflicts: 140000 | #Constraints: 57189
276.59/280.86 c #Conflicts: 141000 | #Constraints: 58190
276.59/280.86 c #Conflicts: 142000 | #Constraints: 59194
276.59/280.86 c #Conflicts: 143000 | #Constraints: 60195
276.59/280.86 c #Conflicts: 144000 | #Constraints: 61195
276.59/280.86 c #Conflicts: 145000 | #Constraints: 62196
276.59/280.86 c #Conflicts: 146000 | #Constraints: 63198
276.59/280.86 c #Conflicts: 147000 | #Constraints: 64198
276.59/280.86 c INPROCESSING
276.59/280.86 c GARBAGE COLLECT
276.59/280.86 c rational objective 9
290.96/295.56 c #Conflicts: 148000 | #Constraints: 57612
290.96/295.56 c #Conflicts: 149000 | #Constraints: 58614
290.96/295.56 c #Conflicts: 150000 | #Constraints: 59615
290.96/295.56 c #Conflicts: 151000 | #Constraints: 60618
290.96/295.56 c #Conflicts: 152000 | #Constraints: 61621
290.96/295.56 c #Conflicts: 153000 | #Constraints: 62625
290.96/295.56 c #Conflicts: 154000 | #Constraints: 63627
290.96/295.56 c #Conflicts: 155000 | #Constraints: 64629
290.96/295.56 c INPROCESSING
290.96/295.56 c GARBAGE COLLECT
290.96/295.56 c rational objective 9
307.69/313.20 c #Conflicts: 156000 | #Constraints: 57807
307.69/313.20 c #Conflicts: 157000 | #Constraints: 58808
307.69/313.20 c #Conflicts: 158000 | #Constraints: 59811
307.69/313.20 c #Conflicts: 159000 | #Constraints: 60811
307.69/313.20 c #Conflicts: 160000 | #Constraints: 61812
307.69/313.20 c #Conflicts: 161000 | #Constraints: 62814
307.69/313.20 c #Conflicts: 162000 | #Constraints: 63815
307.69/313.20 c #Conflicts: 163000 | #Constraints: 64815
307.69/313.20 c INPROCESSING
307.69/313.20 c GARBAGE COLLECT
307.69/313.20 c rational objective 9
327.55/333.44 c #Conflicts: 164000 | #Constraints: 57817
327.55/333.44 c #Conflicts: 165000 | #Constraints: 58822
327.55/333.44 c #Conflicts: 166000 | #Constraints: 59824
327.55/333.44 c #Conflicts: 167000 | #Constraints: 60825
327.55/333.44 c #Conflicts: 168000 | #Constraints: 61826
327.55/333.44 c #Conflicts: 169000 | #Constraints: 62828
327.55/333.44 c #Conflicts: 170000 | #Constraints: 63831
327.55/333.44 c #Conflicts: 171000 | #Constraints: 64832
327.55/333.44 c INPROCESSING
327.55/333.44 c GARBAGE COLLECT
327.55/333.44 c rational objective 9
343.92/349.93 c #Conflicts: 172000 | #Constraints: 57588
343.92/349.93 c #Conflicts: 173000 | #Constraints: 58590
343.92/349.93 c #Conflicts: 174000 | #Constraints: 59594
343.92/349.93 c #Conflicts: 175000 | #Constraints: 60598
343.92/349.93 c #Conflicts: 176000 | #Constraints: 61599
343.92/349.93 c #Conflicts: 177000 | #Constraints: 62600
343.92/349.93 c #Conflicts: 178000 | #Constraints: 63602
343.92/349.93 c #Conflicts: 179000 | #Constraints: 64603
343.92/349.93 c #Conflicts: 180000 | #Constraints: 65604
343.92/349.93 c INPROCESSING
343.92/349.93 c GARBAGE COLLECT
343.92/349.93 c rational objective 9
356.44/362.70 c #Conflicts: 181000 | #Constraints: 58175
356.44/362.70 c #Conflicts: 182000 | #Constraints: 59176
356.44/362.70 c #Conflicts: 183000 | #Constraints: 60176
356.44/362.70 c #Conflicts: 184000 | #Constraints: 61177
356.44/362.70 c #Conflicts: 185000 | #Constraints: 62178
356.44/362.70 c #Conflicts: 186000 | #Constraints: 63182
356.44/362.70 c #Conflicts: 187000 | #Constraints: 64185
356.44/362.70 c #Conflicts: 188000 | #Constraints: 65186
356.44/362.70 c #Conflicts: 189000 | #Constraints: 66187
356.44/362.70 c INPROCESSING
356.44/362.70 c GARBAGE COLLECT
356.44/362.70 c rational objective 9
374.91/381.45 c #Conflicts: 190000 | #Constraints: 58583
374.91/381.45 c #Conflicts: 191000 | #Constraints: 59584
374.91/381.45 c #Conflicts: 192000 | #Constraints: 60584
374.91/381.45 c #Conflicts: 193000 | #Constraints: 61585
374.91/381.45 c #Conflicts: 194000 | #Constraints: 62586
374.91/381.45 c #Conflicts: 195000 | #Constraints: 63589
374.91/381.45 c #Conflicts: 196000 | #Constraints: 64592
374.91/381.45 c #Conflicts: 197000 | #Constraints: 65592
374.91/381.45 c #Conflicts: 198000 | #Constraints: 66593
374.91/381.45 c INPROCESSING
374.91/381.45 c GARBAGE COLLECT
374.91/381.45 c rational objective 9
395.07/401.75 c #Conflicts: 199000 | #Constraints: 58764
395.07/401.75 c #Conflicts: 200000 | #Constraints: 59765
395.07/401.75 c #Conflicts: 201000 | #Constraints: 60766
395.07/401.75 c #Conflicts: 202000 | #Constraints: 61766
395.07/401.75 c #Conflicts: 203000 | #Constraints: 62766
395.07/401.75 c #Conflicts: 204000 | #Constraints: 63767
395.07/401.75 c #Conflicts: 205000 | #Constraints: 64767
395.07/401.75 c #Conflicts: 206000 | #Constraints: 65768
395.07/401.75 c #Conflicts: 207000 | #Constraints: 66770
395.07/401.75 c INPROCESSING
395.07/401.75 c GARBAGE COLLECT
395.07/401.75 c rational objective 9
418.14/425.21 c #Conflicts: 208000 | #Constraints: 58788
418.14/425.21 c #Conflicts: 209000 | #Constraints: 59789
418.14/425.21 c #Conflicts: 210000 | #Constraints: 60789
418.14/425.21 c #Conflicts: 211000 | #Constraints: 61789
418.14/425.21 c #Conflicts: 212000 | #Constraints: 62790
418.14/425.21 c #Conflicts: 213000 | #Constraints: 63790
418.14/425.21 c #Conflicts: 214000 | #Constraints: 64791
418.14/425.21 c #Conflicts: 215000 | #Constraints: 65793
418.14/425.21 c #Conflicts: 216000 | #Constraints: 66795
418.14/425.21 c INPROCESSING
418.14/425.21 c GARBAGE COLLECT
418.14/425.21 c rational objective 9
437.81/445.04 c #Conflicts: 217000 | #Constraints: 58584
437.81/445.04 c #Conflicts: 218000 | #Constraints: 59585
437.81/445.04 c #Conflicts: 219000 | #Constraints: 60586
437.81/445.04 c #Conflicts: 220000 | #Constraints: 61586
437.81/445.04 c #Conflicts: 221000 | #Constraints: 62587
437.81/445.04 c #Conflicts: 222000 | #Constraints: 63588
437.81/445.04 c #Conflicts: 223000 | #Constraints: 64590
437.81/445.04 c #Conflicts: 224000 | #Constraints: 65591
437.81/445.04 c #Conflicts: 225000 | #Constraints: 66592
437.81/445.04 c #Conflicts: 226000 | #Constraints: 67593
437.81/445.04 c INPROCESSING
437.81/445.04 c GARBAGE COLLECT
437.81/445.04 c rational objective 9
460.70/468.19 c #Conflicts: 227000 | #Constraints: 59168
460.70/468.19 c #Conflicts: 228000 | #Constraints: 60169
460.70/468.19 c #Conflicts: 229000 | #Constraints: 61170
460.70/468.19 c #Conflicts: 230000 | #Constraints: 62170
460.70/468.19 c #Conflicts: 231000 | #Constraints: 63171
460.70/468.19 c #Conflicts: 232000 | #Constraints: 64171
460.70/468.19 c #Conflicts: 233000 | #Constraints: 65173
460.70/468.19 c #Conflicts: 234000 | #Constraints: 66176
460.70/468.19 c #Conflicts: 235000 | #Constraints: 67177
460.70/468.19 c #Conflicts: 236000 | #Constraints: 68179
460.70/468.19 c INPROCESSING
460.70/468.19 c GARBAGE COLLECT
460.70/468.19 c rational objective 9
514.16/524.52 c #Conflicts: 237000 | #Constraints: 59550
514.16/524.52 c #Conflicts: 238000 | #Constraints: 60550
514.16/524.52 c #Conflicts: 239000 | #Constraints: 61551
514.16/524.52 c #Conflicts: 240000 | #Constraints: 62552
514.16/524.52 c #Conflicts: 241000 | #Constraints: 63555
514.16/524.52 c #Conflicts: 242000 | #Constraints: 64558
514.16/524.52 c #Conflicts: 243000 | #Constraints: 65558
514.16/524.52 c #Conflicts: 244000 | #Constraints: 66558
514.16/524.52 c #Conflicts: 245000 | #Constraints: 67559
514.16/524.52 c #Conflicts: 246000 | #Constraints: 68559
514.16/524.52 c INPROCESSING
514.16/524.52 c GARBAGE COLLECT
514.16/524.52 c #Conflicts: 247000 | #Constraints: 59755
514.16/524.52 c #Conflicts: 248000 | #Constraints: 60756
514.16/524.52 c #Conflicts: 249000 | #Constraints: 61756
514.16/524.52 c #Conflicts: 250000 | #Constraints: 62756
514.16/524.52 c #Conflicts: 251000 | #Constraints: 63756
514.16/524.52 c #Conflicts: 252000 | #Constraints: 64756
514.16/524.52 c #Conflicts: 253000 | #Constraints: 65756
514.16/524.52 c #Conflicts: 254000 | #Constraints: 66756
514.16/524.52 c #Conflicts: 255000 | #Constraints: 67756
514.16/524.52 c #Conflicts: 256000 | #Constraints: 68757
514.16/524.52 c INPROCESSING
514.16/524.52 c GARBAGE COLLECT
514.16/524.52 c rational objective 9
534.99/545.49 c #Conflicts: 257000 | #Constraints: 59759
534.99/545.49 c #Conflicts: 258000 | #Constraints: 60760
534.99/545.49 c #Conflicts: 259000 | #Constraints: 61760
534.99/545.49 c #Conflicts: 260000 | #Constraints: 62762
534.99/545.49 c #Conflicts: 261000 | #Constraints: 63763
534.99/545.49 c #Conflicts: 262000 | #Constraints: 64764
534.99/545.49 c #Conflicts: 263000 | #Constraints: 65765
534.99/545.49 c #Conflicts: 264000 | #Constraints: 66766
534.99/545.49 c #Conflicts: 265000 | #Constraints: 67766
534.99/545.49 c #Conflicts: 266000 | #Constraints: 68767
534.99/545.49 c INPROCESSING
534.99/545.49 c GARBAGE COLLECT
534.99/545.49 c rational objective 9
560.52/571.07 c #Conflicts: 267000 | #Constraints: 59578
560.52/571.07 c #Conflicts: 268000 | #Constraints: 60578
560.52/571.07 c #Conflicts: 269000 | #Constraints: 61579
560.52/571.07 c #Conflicts: 270000 | #Constraints: 62580
560.52/571.07 c #Conflicts: 271000 | #Constraints: 63581
560.52/571.07 c #Conflicts: 272000 | #Constraints: 64582
560.52/571.07 c #Conflicts: 273000 | #Constraints: 65584
560.52/571.07 c #Conflicts: 274000 | #Constraints: 66587
560.52/571.07 c #Conflicts: 275000 | #Constraints: 67588
560.52/571.07 c #Conflicts: 276000 | #Constraints: 68589
560.52/571.07 c #Conflicts: 277000 | #Constraints: 69590
560.52/571.07 c INPROCESSING
560.52/571.07 c GARBAGE COLLECT
560.52/571.07 c rational objective 9
583.87/594.80 c #Conflicts: 278000 | #Constraints: 60166
583.87/594.80 c #Conflicts: 279000 | #Constraints: 61168
583.87/594.80 c #Conflicts: 280000 | #Constraints: 62172
583.87/594.80 c #Conflicts: 281000 | #Constraints: 63176
583.87/594.80 c #Conflicts: 282000 | #Constraints: 64178
583.87/594.80 c #Conflicts: 283000 | #Constraints: 65181
583.87/594.80 c #Conflicts: 284000 | #Constraints: 66184
583.87/594.80 c #Conflicts: 285000 | #Constraints: 67189
583.87/594.80 c #Conflicts: 286000 | #Constraints: 68192
583.87/594.80 c #Conflicts: 287000 | #Constraints: 69193
583.87/594.80 c #Conflicts: 288000 | #Constraints: 70194
583.87/594.80 c INPROCESSING
583.87/594.80 c GARBAGE COLLECT
583.87/594.80 c rational objective 9
599.38/610.61 c #Conflicts: 289000 | #Constraints: 60571
599.38/610.61 c #Conflicts: 290000 | #Constraints: 61572
599.38/610.61 c #Conflicts: 291000 | #Constraints: 62579
599.38/610.61 c #Conflicts: 292000 | #Constraints: 63580
599.38/610.61 c #Conflicts: 293000 | #Constraints: 64581
599.38/610.61 c #Conflicts: 294000 | #Constraints: 65582
599.38/610.61 c #Conflicts: 295000 | #Constraints: 66583
599.38/610.61 c #Conflicts: 296000 | #Constraints: 67583
599.38/610.61 c #Conflicts: 297000 | #Constraints: 68584
599.38/610.61 c #Conflicts: 298000 | #Constraints: 69585
599.38/610.61 c #Conflicts: 299000 | #Constraints: 70587
599.38/610.61 c INPROCESSING
599.38/610.61 c GARBAGE COLLECT
599.38/610.61 c rational objective 9
630.93/642.53 c #Conflicts: 300000 | #Constraints: 60758
630.93/642.53 c #Conflicts: 301000 | #Constraints: 61759
630.93/642.53 c #Conflicts: 302000 | #Constraints: 62762
630.93/642.53 c #Conflicts: 303000 | #Constraints: 63764
630.93/642.53 c #Conflicts: 304000 | #Constraints: 64766
630.93/642.53 c #Conflicts: 305000 | #Constraints: 65768
630.93/642.53 c #Conflicts: 306000 | #Constraints: 66770
630.93/642.53 c #Conflicts: 307000 | #Constraints: 67771
630.93/642.53 c #Conflicts: 308000 | #Constraints: 68772
630.93/642.53 c #Conflicts: 309000 | #Constraints: 69772
630.93/642.53 c #Conflicts: 310000 | #Constraints: 70774
630.93/642.53 c INPROCESSING
630.93/642.53 c GARBAGE COLLECT
630.93/642.53 c rational objective 9
653.49/665.91 c #Conflicts: 311000 | #Constraints: 60776
653.49/665.91 c #Conflicts: 312000 | #Constraints: 61776
653.49/665.91 c #Conflicts: 313000 | #Constraints: 62780
653.49/665.91 c #Conflicts: 314000 | #Constraints: 63781
653.49/665.91 c #Conflicts: 315000 | #Constraints: 64783
653.49/665.91 c #Conflicts: 316000 | #Constraints: 65784
653.49/665.91 c #Conflicts: 317000 | #Constraints: 66785
653.49/665.91 c #Conflicts: 318000 | #Constraints: 67785
653.49/665.91 c #Conflicts: 319000 | #Constraints: 68786
653.49/665.91 c #Conflicts: 320000 | #Constraints: 69786
653.49/665.91 c #Conflicts: 321000 | #Constraints: 70787
653.49/665.91 c INPROCESSING
653.49/665.91 c GARBAGE COLLECT
653.49/665.91 c rational objective 9
686.54/699.32 c #Conflicts: 322000 | #Constraints: 60592
686.54/699.32 c #Conflicts: 323000 | #Constraints: 61593
686.54/699.32 c #Conflicts: 324000 | #Constraints: 62593
686.54/699.32 c #Conflicts: 325000 | #Constraints: 63594
686.54/699.32 c #Conflicts: 326000 | #Constraints: 64597
686.54/699.32 c #Conflicts: 327000 | #Constraints: 65598
686.54/699.32 c #Conflicts: 328000 | #Constraints: 66600
686.54/699.32 c #Conflicts: 329000 | #Constraints: 67601
686.54/699.32 c #Conflicts: 330000 | #Constraints: 68602
686.54/699.32 c #Conflicts: 331000 | #Constraints: 69602
686.54/699.32 c #Conflicts: 332000 | #Constraints: 70603
686.54/699.32 c #Conflicts: 333000 | #Constraints: 71604
686.54/699.32 c INPROCESSING
686.54/699.32 c GARBAGE COLLECT
686.54/699.32 c rational objective 9
704.86/717.71 c #Conflicts: 334000 | #Constraints: 61161
704.86/717.71 c #Conflicts: 335000 | #Constraints: 62164
704.86/717.71 c #Conflicts: 336000 | #Constraints: 63165
704.86/717.71 c #Conflicts: 337000 | #Constraints: 64167
704.86/717.71 c #Conflicts: 338000 | #Constraints: 65168
704.86/717.71 c #Conflicts: 339000 | #Constraints: 66170
704.86/717.71 c #Conflicts: 340000 | #Constraints: 67171
704.86/717.71 c #Conflicts: 341000 | #Constraints: 68173
704.86/717.71 c #Conflicts: 342000 | #Constraints: 69174
704.86/717.71 c #Conflicts: 343000 | #Constraints: 70175
704.86/717.71 c #Conflicts: 344000 | #Constraints: 71176
704.86/717.71 c #Conflicts: 345000 | #Constraints: 72179
704.86/717.71 c INPROCESSING
704.86/717.71 c GARBAGE COLLECT
704.86/717.71 c rational objective 9
730.75/744.09 c #Conflicts: 346000 | #Constraints: 61558
730.75/744.09 c #Conflicts: 347000 | #Constraints: 62559
730.75/744.09 c #Conflicts: 348000 | #Constraints: 63560
730.75/744.09 c #Conflicts: 349000 | #Constraints: 64562
730.75/744.09 c #Conflicts: 350000 | #Constraints: 65562
730.75/744.09 c #Conflicts: 351000 | #Constraints: 66562
730.75/744.09 c #Conflicts: 352000 | #Constraints: 67563
730.75/744.09 c #Conflicts: 353000 | #Constraints: 68563
730.75/744.09 c #Conflicts: 354000 | #Constraints: 69564
730.75/744.09 c #Conflicts: 355000 | #Constraints: 70564
730.75/744.09 c #Conflicts: 356000 | #Constraints: 71564
730.75/744.09 c #Conflicts: 357000 | #Constraints: 72565
730.75/744.09 c INPROCESSING
730.75/744.09 c GARBAGE COLLECT
730.75/744.09 c rational objective 9
764.62/778.26 c #Conflicts: 358000 | #Constraints: 61819
764.62/778.26 c #Conflicts: 359000 | #Constraints: 62819
764.62/778.26 c #Conflicts: 360000 | #Constraints: 63820
764.62/778.26 c #Conflicts: 361000 | #Constraints: 64822
764.62/778.26 c #Conflicts: 362000 | #Constraints: 65822
764.62/778.26 c #Conflicts: 363000 | #Constraints: 66823
764.62/778.26 c #Conflicts: 364000 | #Constraints: 67823
764.62/778.26 c #Conflicts: 365000 | #Constraints: 68824
764.62/778.26 c #Conflicts: 366000 | #Constraints: 69824
764.62/778.26 c #Conflicts: 367000 | #Constraints: 70825
764.62/778.26 c #Conflicts: 368000 | #Constraints: 71825
764.62/778.26 c #Conflicts: 369000 | #Constraints: 72826
764.62/778.26 c INPROCESSING
764.62/778.26 c GARBAGE COLLECT
764.62/778.26 c rational objective 9
805.31/819.44 c #Conflicts: 370000 | #Constraints: 61802
805.31/819.44 c #Conflicts: 371000 | #Constraints: 62803
805.31/819.44 c #Conflicts: 372000 | #Constraints: 63804
805.31/819.44 c #Conflicts: 373000 | #Constraints: 64804
805.31/819.44 c #Conflicts: 374000 | #Constraints: 65805
805.31/819.44 c #Conflicts: 375000 | #Constraints: 66805
805.31/819.44 c #Conflicts: 376000 | #Constraints: 67805
805.31/819.44 c #Conflicts: 377000 | #Constraints: 68805
805.31/819.44 c #Conflicts: 378000 | #Constraints: 69805
805.31/819.44 c #Conflicts: 379000 | #Constraints: 70806
805.31/819.44 c #Conflicts: 380000 | #Constraints: 71806
805.31/819.44 c #Conflicts: 381000 | #Constraints: 72806
805.31/819.44 c INPROCESSING
805.31/819.44 c GARBAGE COLLECT
805.31/819.44 c rational objective 9
832.21/848.58 c #Conflicts: 382000 | #Constraints: 61583
832.21/848.58 c #Conflicts: 383000 | #Constraints: 62585
832.21/848.58 c #Conflicts: 384000 | #Constraints: 63588
832.21/848.58 c #Conflicts: 385000 | #Constraints: 64588
832.21/848.58 c #Conflicts: 386000 | #Constraints: 65588
832.21/848.58 c #Conflicts: 387000 | #Constraints: 66589
832.21/848.58 c #Conflicts: 388000 | #Constraints: 67590
832.21/848.58 c #Conflicts: 389000 | #Constraints: 68590
832.21/848.58 c #Conflicts: 390000 | #Constraints: 69591
832.21/848.58 c #Conflicts: 391000 | #Constraints: 70592
832.21/848.58 c #Conflicts: 392000 | #Constraints: 71593
832.21/848.58 c #Conflicts: 393000 | #Constraints: 72596
832.21/848.58 c #Conflicts: 394000 | #Constraints: 73597
832.21/848.58 c INPROCESSING
832.21/848.58 c GARBAGE COLLECT
832.21/848.58 c rational objective 9
852.45/868.98 c #Conflicts: 395000 | #Constraints: 62161
852.45/868.98 c #Conflicts: 396000 | #Constraints: 63162
852.45/868.98 c #Conflicts: 397000 | #Constraints: 64163
852.45/868.98 c #Conflicts: 398000 | #Constraints: 65164
852.45/868.98 c #Conflicts: 399000 | #Constraints: 66166
852.45/868.98 c #Conflicts: 400000 | #Constraints: 67169
852.45/868.98 c #Conflicts: 401000 | #Constraints: 68170
852.45/868.98 c #Conflicts: 402000 | #Constraints: 69170
852.45/868.98 c #Conflicts: 403000 | #Constraints: 70171
852.45/868.98 c #Conflicts: 404000 | #Constraints: 71172
852.45/868.98 c #Conflicts: 405000 | #Constraints: 72173
852.45/868.98 c #Conflicts: 406000 | #Constraints: 73173
852.45/868.98 c #Conflicts: 407000 | #Constraints: 74173
852.45/868.98 c INPROCESSING
852.45/868.98 c GARBAGE COLLECT
852.45/868.98 c rational objective 9
881.76/898.48 c #Conflicts: 408000 | #Constraints: 62557
881.76/898.48 c #Conflicts: 409000 | #Constraints: 63558
881.76/898.48 c #Conflicts: 410000 | #Constraints: 64558
881.76/898.48 c #Conflicts: 411000 | #Constraints: 65558
881.76/898.48 c #Conflicts: 412000 | #Constraints: 66559
881.76/898.48 c #Conflicts: 413000 | #Constraints: 67559
881.76/898.48 c #Conflicts: 414000 | #Constraints: 68560
881.76/898.48 c #Conflicts: 415000 | #Constraints: 69561
881.76/898.48 c #Conflicts: 416000 | #Constraints: 70562
881.76/898.48 c #Conflicts: 417000 | #Constraints: 71563
881.76/898.48 c #Conflicts: 418000 | #Constraints: 72565
881.76/898.48 c #Conflicts: 419000 | #Constraints: 73565
881.76/898.48 c #Conflicts: 420000 | #Constraints: 74566
881.76/898.48 c INPROCESSING
881.76/898.48 c GARBAGE COLLECT
881.76/898.48 c rational objective 9
926.19/943.33 c #Conflicts: 421000 | #Constraints: 62784
926.19/943.33 c #Conflicts: 422000 | #Constraints: 63785
926.19/943.33 c #Conflicts: 423000 | #Constraints: 64785
926.19/943.33 c #Conflicts: 424000 | #Constraints: 65786
926.19/943.33 c #Conflicts: 425000 | #Constraints: 66787
926.19/943.33 c #Conflicts: 426000 | #Constraints: 67787
926.19/943.33 c #Conflicts: 427000 | #Constraints: 68788
926.19/943.33 c #Conflicts: 428000 | #Constraints: 69789
926.19/943.33 c #Conflicts: 429000 | #Constraints: 70789
926.19/943.33 c #Conflicts: 430000 | #Constraints: 71790
926.19/943.33 c #Conflicts: 431000 | #Constraints: 72791
926.19/943.33 c #Conflicts: 432000 | #Constraints: 73791
926.19/943.33 c #Conflicts: 433000 | #Constraints: 74792
926.19/943.33 c INPROCESSING
926.19/943.33 c GARBAGE COLLECT
926.19/943.33 c rational objective 9
1040.21/1057.90 c #Conflicts: 434000 | #Constraints: 62794
1040.21/1057.90 c #Conflicts: 435000 | #Constraints: 63794
1040.21/1057.90 c #Conflicts: 436000 | #Constraints: 64794
1040.21/1057.90 c #Conflicts: 437000 | #Constraints: 65794
1040.21/1057.90 c #Conflicts: 438000 | #Constraints: 66794
1040.21/1057.90 c #Conflicts: 439000 | #Constraints: 67794
1040.21/1057.90 c #Conflicts: 440000 | #Constraints: 68794
1040.21/1057.90 c #Conflicts: 441000 | #Constraints: 69794
1040.21/1057.90 c #Conflicts: 442000 | #Constraints: 70795
1040.21/1057.90 c #Conflicts: 443000 | #Constraints: 71795
1040.21/1057.90 c #Conflicts: 444000 | #Constraints: 72795
1040.21/1057.90 c #Conflicts: 445000 | #Constraints: 73795
1040.21/1057.90 c #Conflicts: 446000 | #Constraints: 74795
1040.21/1057.90 c INPROCESSING
1040.21/1057.90 c GARBAGE COLLECT
1040.21/1057.90 c rational objective 9
1081.18/1100.24 c #Conflicts: 447000 | #Constraints: 62599
1081.18/1100.24 c #Conflicts: 448000 | #Constraints: 63599
1081.18/1100.24 c #Conflicts: 449000 | #Constraints: 64599
1081.18/1100.24 c #Conflicts: 450000 | #Constraints: 65600
1081.18/1100.24 c #Conflicts: 451000 | #Constraints: 66600
1081.18/1100.24 c #Conflicts: 452000 | #Constraints: 67601
1081.18/1100.24 c #Conflicts: 453000 | #Constraints: 68601
1081.18/1100.24 c #Conflicts: 454000 | #Constraints: 69602
1081.18/1100.24 c #Conflicts: 455000 | #Constraints: 70602
1081.18/1100.24 c #Conflicts: 456000 | #Constraints: 71603
1081.18/1100.24 c #Conflicts: 457000 | #Constraints: 72604
1081.18/1100.24 c #Conflicts: 458000 | #Constraints: 73604
1081.18/1100.24 c #Conflicts: 459000 | #Constraints: 74605
1081.18/1100.24 c #Conflicts: 460000 | #Constraints: 75605
1081.18/1100.24 c INPROCESSING
1081.18/1100.24 c GARBAGE COLLECT
1081.18/1100.24 c rational objective 9
1130.22/1149.77 c #Conflicts: 461000 | #Constraints: 63178
1130.22/1149.77 c #Conflicts: 462000 | #Constraints: 64178
1130.22/1149.77 c #Conflicts: 463000 | #Constraints: 65179
1130.22/1149.77 c #Conflicts: 464000 | #Constraints: 66179
1130.22/1149.77 c #Conflicts: 465000 | #Constraints: 67180
1130.22/1149.77 c #Conflicts: 466000 | #Constraints: 68180
1130.22/1149.77 c #Conflicts: 467000 | #Constraints: 69180
1130.22/1149.77 c #Conflicts: 468000 | #Constraints: 70180
1130.22/1149.77 c #Conflicts: 469000 | #Constraints: 71181
1130.22/1149.77 c #Conflicts: 470000 | #Constraints: 72183
1130.22/1149.77 c #Conflicts: 471000 | #Constraints: 73183
1130.22/1149.77 c #Conflicts: 472000 | #Constraints: 74183
1130.22/1149.77 c #Conflicts: 473000 | #Constraints: 75184
1130.22/1149.77 c #Conflicts: 474000 | #Constraints: 76184
1130.22/1149.77 c INPROCESSING
1130.22/1149.77 c GARBAGE COLLECT
1130.22/1149.77 c rational objective 9
1228.09/1251.42 c #Conflicts: 475000 | #Constraints: 63595
1228.09/1251.42 c #Conflicts: 476000 | #Constraints: 64597
1228.09/1251.42 c #Conflicts: 477000 | #Constraints: 65598
1228.09/1251.42 c #Conflicts: 478000 | #Constraints: 66599
1228.09/1251.42 c #Conflicts: 479000 | #Constraints: 67599
1228.09/1251.42 c #Conflicts: 480000 | #Constraints: 68599
1228.09/1251.42 c #Conflicts: 481000 | #Constraints: 69600
1228.09/1251.42 c #Conflicts: 482000 | #Constraints: 70601
1228.09/1251.42 c #Conflicts: 483000 | #Constraints: 71601
1228.09/1251.42 c #Conflicts: 484000 | #Constraints: 72601
1228.09/1251.42 c #Conflicts: 485000 | #Constraints: 73601
1228.09/1251.42 c #Conflicts: 486000 | #Constraints: 74601
1228.09/1251.42 c #Conflicts: 487000 | #Constraints: 75601
1228.09/1251.42 c #Conflicts: 488000 | #Constraints: 76602
1228.09/1251.42 c INPROCESSING
1228.09/1251.42 c GARBAGE COLLECT
1228.09/1251.42 c rational objective 9
1275.05/1298.86 c #Conflicts: 489000 | #Constraints: 63771
1275.05/1298.86 c #Conflicts: 490000 | #Constraints: 64771
1275.05/1298.86 c #Conflicts: 491000 | #Constraints: 65771
1275.05/1298.86 c #Conflicts: 492000 | #Constraints: 66771
1275.05/1298.86 c #Conflicts: 493000 | #Constraints: 67771
1275.05/1298.86 c #Conflicts: 494000 | #Constraints: 68771
1275.05/1298.86 c #Conflicts: 495000 | #Constraints: 69772
1275.05/1298.86 c #Conflicts: 496000 | #Constraints: 70775
1275.05/1298.86 c #Conflicts: 497000 | #Constraints: 71776
1275.05/1298.86 c #Conflicts: 498000 | #Constraints: 72777
1275.05/1298.86 c #Conflicts: 499000 | #Constraints: 73779
1275.05/1298.86 c #Conflicts: 500000 | #Constraints: 74780
1275.05/1298.86 c #Conflicts: 501000 | #Constraints: 75781
1275.05/1298.86 c #Conflicts: 502000 | #Constraints: 76781
1275.05/1298.86 c INPROCESSING
1275.05/1298.86 c GARBAGE COLLECT
1275.05/1298.86 c rational objective 9
1336.79/1361.98 c #Conflicts: 503000 | #Constraints: 63762
1336.79/1361.98 c #Conflicts: 504000 | #Constraints: 64763
1336.79/1361.98 c #Conflicts: 505000 | #Constraints: 65765
1336.79/1361.98 c #Conflicts: 506000 | #Constraints: 66768
1336.79/1361.98 c #Conflicts: 507000 | #Constraints: 67769
1336.79/1361.98 c #Conflicts: 508000 | #Constraints: 68771
1336.79/1361.98 c #Conflicts: 509000 | #Constraints: 69773
1336.79/1361.98 c #Conflicts: 510000 | #Constraints: 70777
1336.79/1361.98 c #Conflicts: 511000 | #Constraints: 71778
1336.79/1361.98 c #Conflicts: 512000 | #Constraints: 72780
1336.79/1361.98 c #Conflicts: 513000 | #Constraints: 73782
1336.79/1361.98 c #Conflicts: 514000 | #Constraints: 74782
1336.79/1361.98 c #Conflicts: 515000 | #Constraints: 75783
1336.79/1361.98 c #Conflicts: 516000 | #Constraints: 76785
1336.79/1361.98 c INPROCESSING
1336.79/1361.98 c GARBAGE COLLECT
1336.79/1361.98 c rational objective 9
1380.97/1406.47 c #Conflicts: 517000 | #Constraints: 63554
1380.97/1406.47 c #Conflicts: 518000 | #Constraints: 64555
1380.97/1406.47 c #Conflicts: 519000 | #Constraints: 65558
1380.97/1406.47 c #Conflicts: 520000 | #Constraints: 66560
1380.97/1406.47 c #Conflicts: 521000 | #Constraints: 67563
1380.97/1406.47 c #Conflicts: 522000 | #Constraints: 68566
1380.97/1406.47 c #Conflicts: 523000 | #Constraints: 69567
1380.97/1406.47 c #Conflicts: 524000 | #Constraints: 70568
1380.97/1406.47 c #Conflicts: 525000 | #Constraints: 71569
1380.97/1406.47 c #Conflicts: 526000 | #Constraints: 72569
1380.97/1406.47 c #Conflicts: 527000 | #Constraints: 73571
1380.97/1406.47 c #Conflicts: 528000 | #Constraints: 74574
1380.97/1406.47 c #Conflicts: 529000 | #Constraints: 75575
1380.97/1406.47 c #Conflicts: 530000 | #Constraints: 76577
1380.97/1406.47 c #Conflicts: 531000 | #Constraints: 77578
1380.97/1406.47 c INPROCESSING
1380.97/1406.47 c GARBAGE COLLECT
1380.97/1406.47 c rational objective 9
1408.28/1434.09 c #Conflicts: 532000 | #Constraints: 64154
1408.28/1434.09 c #Conflicts: 533000 | #Constraints: 65154
1408.28/1434.09 c #Conflicts: 534000 | #Constraints: 66156
1408.28/1434.09 c #Conflicts: 535000 | #Constraints: 67158
1408.28/1434.09 c #Conflicts: 536000 | #Constraints: 68160
1408.28/1434.09 c #Conflicts: 537000 | #Constraints: 69161
1408.28/1434.09 c #Conflicts: 538000 | #Constraints: 70162
1408.28/1434.09 c #Conflicts: 539000 | #Constraints: 71166
1408.28/1434.09 c #Conflicts: 540000 | #Constraints: 72167
1408.28/1434.09 c #Conflicts: 541000 | #Constraints: 73169
1408.28/1434.09 c #Conflicts: 542000 | #Constraints: 74170
1408.28/1434.09 c #Conflicts: 543000 | #Constraints: 75171
1408.28/1434.09 c #Conflicts: 544000 | #Constraints: 76172
1408.28/1434.09 c #Conflicts: 545000 | #Constraints: 77172
1408.28/1434.09 c #Conflicts: 546000 | #Constraints: 78173
1408.28/1434.09 c INPROCESSING
1408.28/1434.09 c GARBAGE COLLECT
1408.28/1434.09 c rational objective 9
1455.99/1482.58 c #Conflicts: 547000 | #Constraints: 64518
1455.99/1482.58 c #Conflicts: 548000 | #Constraints: 65518
1455.99/1482.58 c #Conflicts: 549000 | #Constraints: 66518
1455.99/1482.58 c #Conflicts: 550000 | #Constraints: 67519
1455.99/1482.58 c #Conflicts: 551000 | #Constraints: 68521
1455.99/1482.58 c #Conflicts: 552000 | #Constraints: 69522
1455.99/1482.58 c #Conflicts: 553000 | #Constraints: 70523
1455.99/1482.58 c #Conflicts: 554000 | #Constraints: 71524
1455.99/1482.58 c #Conflicts: 555000 | #Constraints: 72524
1455.99/1482.58 c #Conflicts: 556000 | #Constraints: 73525
1455.99/1482.58 c #Conflicts: 557000 | #Constraints: 74526
1455.99/1482.58 c #Conflicts: 558000 | #Constraints: 75528
1455.99/1482.58 c #Conflicts: 559000 | #Constraints: 76528
1455.99/1482.58 c #Conflicts: 560000 | #Constraints: 77528
1455.99/1482.58 c #Conflicts: 561000 | #Constraints: 78528
1455.99/1482.58 c INPROCESSING
1455.99/1482.58 c GARBAGE COLLECT
1455.99/1482.58 c rational objective 9
1484.95/1511.84 c #Conflicts: 562000 | #Constraints: 64714
1484.95/1511.84 c #Conflicts: 563000 | #Constraints: 65714
1484.95/1511.84 c #Conflicts: 564000 | #Constraints: 66717
1484.95/1511.84 c #Conflicts: 565000 | #Constraints: 67718
1484.95/1511.84 c #Conflicts: 566000 | #Constraints: 68719
1484.95/1511.84 c #Conflicts: 567000 | #Constraints: 69719
1484.95/1511.84 c #Conflicts: 568000 | #Constraints: 70720
1484.95/1511.84 c #Conflicts: 569000 | #Constraints: 71720
1484.95/1511.84 c #Conflicts: 570000 | #Constraints: 72721
1484.95/1511.84 c #Conflicts: 571000 | #Constraints: 73722
1484.95/1511.84 c #Conflicts: 572000 | #Constraints: 74722
1484.95/1511.84 c #Conflicts: 573000 | #Constraints: 75724
1484.95/1511.84 c #Conflicts: 574000 | #Constraints: 76727
1484.95/1511.84 c #Conflicts: 575000 | #Constraints: 77727
1484.95/1511.84 c #Conflicts: 576000 | #Constraints: 78730
1484.95/1511.84 c INPROCESSING
1484.95/1511.84 c GARBAGE COLLECT
1484.95/1511.84 c rational objective 9
1534.32/1568.40 c #Conflicts: 577000 | #Constraints: 64724
1534.32/1568.40 c #Conflicts: 578000 | #Constraints: 65724
1534.32/1568.40 c #Conflicts: 579000 | #Constraints: 66725
1534.32/1568.40 c #Conflicts: 580000 | #Constraints: 67726
1534.32/1568.40 c #Conflicts: 581000 | #Constraints: 68728
1534.32/1568.40 c #Conflicts: 582000 | #Constraints: 69729
1534.32/1568.40 c #Conflicts: 583000 | #Constraints: 70730
1534.32/1568.40 c #Conflicts: 584000 | #Constraints: 71731
1534.32/1568.40 c #Conflicts: 585000 | #Constraints: 72733
1534.32/1568.40 c #Conflicts: 586000 | #Constraints: 73733
1534.32/1568.40 c #Conflicts: 587000 | #Constraints: 74734
1534.32/1568.40 c #Conflicts: 588000 | #Constraints: 75735
1534.32/1568.40 c #Conflicts: 589000 | #Constraints: 76735
1534.32/1568.40 c #Conflicts: 590000 | #Constraints: 77736
1534.32/1568.40 c #Conflicts: 591000 | #Constraints: 78737
1534.32/1568.40 c INPROCESSING
1534.32/1568.40 c GARBAGE COLLECT
1534.32/1568.40 c rational objective 9
1578.83/1613.66 c #Conflicts: 592000 | #Constraints: 64526
1578.83/1613.66 c #Conflicts: 593000 | #Constraints: 65526
1578.83/1613.66 c #Conflicts: 594000 | #Constraints: 66527
1578.83/1613.66 c #Conflicts: 595000 | #Constraints: 67527
1578.83/1613.66 c #Conflicts: 596000 | #Constraints: 68531
1578.83/1613.66 c #Conflicts: 597000 | #Constraints: 69535
1578.83/1613.66 c #Conflicts: 598000 | #Constraints: 70535
1578.83/1613.66 c #Conflicts: 599000 | #Constraints: 71538
1578.83/1613.66 c #Conflicts: 600000 | #Constraints: 72539
1578.83/1613.66 c #Conflicts: 601000 | #Constraints: 73539
1578.83/1613.66 c #Conflicts: 602000 | #Constraints: 74539
1578.83/1613.66 c #Conflicts: 603000 | #Constraints: 75540
1578.83/1613.66 c #Conflicts: 604000 | #Constraints: 76541
1578.83/1613.66 c #Conflicts: 605000 | #Constraints: 77542
1578.83/1613.66 c #Conflicts: 606000 | #Constraints: 78543
1578.83/1613.66 c #Conflicts: 607000 | #Constraints: 79545
1578.83/1613.66 c INPROCESSING
1578.83/1613.66 c GARBAGE COLLECT
1578.83/1613.66 c rational objective 9
1646.42/1682.23 c #Conflicts: 608000 | #Constraints: 65134
1646.42/1682.23 c #Conflicts: 609000 | #Constraints: 66135
1646.42/1682.23 c #Conflicts: 610000 | #Constraints: 67135
1646.42/1682.23 c #Conflicts: 611000 | #Constraints: 68136
1646.42/1682.23 c #Conflicts: 612000 | #Constraints: 69137
1646.42/1682.23 c #Conflicts: 613000 | #Constraints: 70137
1646.42/1682.23 c #Conflicts: 614000 | #Constraints: 71138
1646.42/1682.23 c #Conflicts: 615000 | #Constraints: 72138
1646.42/1682.23 c #Conflicts: 616000 | #Constraints: 73139
1646.42/1682.23 c #Conflicts: 617000 | #Constraints: 74139
1646.42/1682.23 c #Conflicts: 618000 | #Constraints: 75139
1646.42/1682.23 c #Conflicts: 619000 | #Constraints: 76140
1646.42/1682.23 c #Conflicts: 620000 | #Constraints: 77140
1646.42/1682.23 c #Conflicts: 621000 | #Constraints: 78140
1646.42/1682.23 c #Conflicts: 622000 | #Constraints: 79141
1646.42/1682.23 c #Conflicts: 623000 | #Constraints: 80141
1646.42/1682.23 c INPROCESSING
1646.42/1682.23 c GARBAGE COLLECT
1646.42/1682.23 c rational objective 9
1700.97/1737.21 c #Conflicts: 624000 | #Constraints: 65531
1700.97/1737.21 c #Conflicts: 625000 | #Constraints: 66531
1700.97/1737.21 c #Conflicts: 626000 | #Constraints: 67531
1700.97/1737.21 c #Conflicts: 627000 | #Constraints: 68532
1700.97/1737.21 c #Conflicts: 628000 | #Constraints: 69532
1700.97/1737.21 c #Conflicts: 629000 | #Constraints: 70532
1700.97/1737.21 c #Conflicts: 630000 | #Constraints: 71533
1700.97/1737.21 c #Conflicts: 631000 | #Constraints: 72533
1700.97/1737.21 c #Conflicts: 632000 | #Constraints: 73535
1700.97/1737.21 c #Conflicts: 633000 | #Constraints: 74535
1700.97/1737.21 c #Conflicts: 634000 | #Constraints: 75536
1700.97/1737.21 c #Conflicts: 635000 | #Constraints: 76537
1700.97/1737.21 c #Conflicts: 636000 | #Constraints: 77538
1700.97/1737.21 c #Conflicts: 637000 | #Constraints: 78538
1700.97/1737.21 c #Conflicts: 638000 | #Constraints: 79539
1700.97/1737.21 c #Conflicts: 639000 | #Constraints: 80540
1700.97/1737.21 c INPROCESSING
1700.97/1737.21 c GARBAGE COLLECT
1700.97/1737.21 c rational objective 9
1774.62/1811.49 c #Conflicts: 640000 | #Constraints: 65722
1774.62/1811.49 c #Conflicts: 641000 | #Constraints: 66723
1774.62/1811.49 c #Conflicts: 642000 | #Constraints: 67724
1774.62/1811.49 c #Conflicts: 643000 | #Constraints: 68725
1774.62/1811.49 c #Conflicts: 644000 | #Constraints: 69725
1774.62/1811.49 c #Conflicts: 645000 | #Constraints: 70726
1774.62/1811.49 c #Conflicts: 646000 | #Constraints: 71728
1774.62/1811.49 c #Conflicts: 647000 | #Constraints: 72729
1774.62/1811.49 c #Conflicts: 648000 | #Constraints: 73731
1774.62/1811.49 c #Conflicts: 649000 | #Constraints: 74734
1774.62/1811.49 c #Conflicts: 650000 | #Constraints: 75736
1774.62/1811.49 c #Conflicts: 651000 | #Constraints: 76736
1774.62/1811.49 c #Conflicts: 652000 | #Constraints: 77736
1774.62/1811.49 c #Conflicts: 653000 | #Constraints: 78737
1774.62/1811.49 c #Conflicts: 654000 | #Constraints: 79739
1774.62/1811.49 c #Conflicts: 655000 | #Constraints: 80739
1774.62/1811.49 c INPROCESSING
1774.62/1811.49 c GARBAGE COLLECT
1774.62/1811.49 c rational objective 9
1821.90/1859.07 c #Conflicts: 656000 | #Constraints: 65712
1821.90/1859.07 c #Conflicts: 657000 | #Constraints: 66712
1821.90/1859.07 c #Conflicts: 658000 | #Constraints: 67715
1821.90/1859.07 c #Conflicts: 659000 | #Constraints: 68717
1821.90/1859.07 c #Conflicts: 660000 | #Constraints: 69718
1821.90/1859.07 c #Conflicts: 661000 | #Constraints: 70719
1821.90/1859.07 c #Conflicts: 662000 | #Constraints: 71720
1821.90/1859.07 c #Conflicts: 663000 | #Constraints: 72721
1821.90/1859.07 c #Conflicts: 664000 | #Constraints: 73722
1821.90/1859.07 c #Conflicts: 665000 | #Constraints: 74722
1821.90/1859.07 c #Conflicts: 666000 | #Constraints: 75723
1821.90/1859.07 c #Conflicts: 667000 | #Constraints: 76724
1821.90/1859.07 c #Conflicts: 668000 | #Constraints: 77724
1821.90/1859.07 c #Conflicts: 669000 | #Constraints: 78725
1821.90/1859.07 c #Conflicts: 670000 | #Constraints: 79725
1821.90/1859.07 c #Conflicts: 671000 | #Constraints: 80726
1821.90/1859.07 c INPROCESSING
1821.90/1859.07 c GARBAGE COLLECT
1821.90/1859.07 c rational objective 9
1881.46/1919.01 c #Conflicts: 672000 | #Constraints: 65491
1881.46/1919.01 c #Conflicts: 673000 | #Constraints: 66492
1881.46/1919.01 c #Conflicts: 674000 | #Constraints: 67492
1881.46/1919.01 c #Conflicts: 675000 | #Constraints: 68492
1881.46/1919.01 c #Conflicts: 676000 | #Constraints: 69495
1881.46/1919.01 c #Conflicts: 677000 | #Constraints: 70496
1881.46/1919.01 c #Conflicts: 678000 | #Constraints: 71497
1881.46/1919.01 c #Conflicts: 679000 | #Constraints: 72497
1881.46/1919.01 c #Conflicts: 680000 | #Constraints: 73497
1881.46/1919.01 c #Conflicts: 681000 | #Constraints: 74498
1881.46/1919.01 c #Conflicts: 682000 | #Constraints: 75498
1881.46/1919.01 c #Conflicts: 683000 | #Constraints: 76500
1881.46/1919.01 c #Conflicts: 684000 | #Constraints: 77500
1881.46/1919.01 c #Conflicts: 685000 | #Constraints: 78501
1881.46/1919.01 c #Conflicts: 686000 | #Constraints: 79502
1881.46/1919.01 c #Conflicts: 687000 | #Constraints: 80503
1881.46/1919.01 c #Conflicts: 688000 | #Constraints: 81504
1881.46/1919.01 c INPROCESSING
1881.46/1919.01 c GARBAGE COLLECT
1881.46/1919.01 c rational objective 9
1920.97/1958.94 c #Conflicts: 689000 | #Constraints: 66131
1920.97/1958.94 c #Conflicts: 690000 | #Constraints: 67131
1920.97/1958.94 c #Conflicts: 691000 | #Constraints: 68131
1920.97/1958.94 c #Conflicts: 692000 | #Constraints: 69133
1920.97/1958.94 c #Conflicts: 693000 | #Constraints: 70142
1920.97/1958.94 c #Conflicts: 694000 | #Constraints: 71146
1920.97/1958.94 c #Conflicts: 695000 | #Constraints: 72147
1920.97/1958.94 c #Conflicts: 696000 | #Constraints: 73147
1920.97/1958.94 c #Conflicts: 697000 | #Constraints: 74147
1920.97/1958.94 c #Conflicts: 698000 | #Constraints: 75148
1920.97/1958.94 c #Conflicts: 699000 | #Constraints: 76148
1920.97/1958.94 c #Conflicts: 700000 | #Constraints: 77148
1920.97/1958.94 c #Conflicts: 701000 | #Constraints: 78150
1920.97/1958.94 c #Conflicts: 702000 | #Constraints: 79151
1920.97/1958.94 c #Conflicts: 703000 | #Constraints: 80151
1920.97/1958.94 c #Conflicts: 704000 | #Constraints: 81153
1920.97/1958.94 c #Conflicts: 705000 | #Constraints: 82153
1920.97/1958.94 c INPROCESSING
1920.97/1958.94 c GARBAGE COLLECT
1920.97/1958.94 c rational objective 9
1995.94/2034.59 c #Conflicts: 706000 | #Constraints: 66524
1995.94/2034.59 c #Conflicts: 707000 | #Constraints: 67525
1995.94/2034.59 c #Conflicts: 708000 | #Constraints: 68526
1995.94/2034.59 c #Conflicts: 709000 | #Constraints: 69527
1995.94/2034.59 c #Conflicts: 710000 | #Constraints: 70527
1995.94/2034.59 c #Conflicts: 711000 | #Constraints: 71528
1995.94/2034.59 c #Conflicts: 712000 | #Constraints: 72529
1995.94/2034.59 c #Conflicts: 713000 | #Constraints: 73530
1995.94/2034.59 c #Conflicts: 714000 | #Constraints: 74530
1995.94/2034.59 c #Conflicts: 715000 | #Constraints: 75530
1995.94/2034.59 c #Conflicts: 716000 | #Constraints: 76531
1995.94/2034.59 c #Conflicts: 717000 | #Constraints: 77531
1995.94/2034.59 c #Conflicts: 718000 | #Constraints: 78532
1995.94/2034.59 c #Conflicts: 719000 | #Constraints: 79532
1995.94/2034.59 c #Conflicts: 720000 | #Constraints: 80532
1995.94/2034.59 c #Conflicts: 721000 | #Constraints: 81533
1995.94/2034.59 c #Conflicts: 722000 | #Constraints: 82533
1995.94/2034.59 c INPROCESSING
1995.94/2034.59 c GARBAGE COLLECT
1995.94/2034.59 c rational objective 9
2042.67/2081.70 c #Conflicts: 723000 | #Constraints: 66708
2042.67/2081.70 c #Conflicts: 724000 | #Constraints: 67708
2042.67/2081.70 c #Conflicts: 725000 | #Constraints: 68708
2042.67/2081.70 c #Conflicts: 726000 | #Constraints: 69709
2042.67/2081.70 c #Conflicts: 727000 | #Constraints: 70709
2042.67/2081.70 c #Conflicts: 728000 | #Constraints: 71710
2042.67/2081.70 c #Conflicts: 729000 | #Constraints: 72710
2042.67/2081.70 c #Conflicts: 730000 | #Constraints: 73711
2042.67/2081.70 c #Conflicts: 731000 | #Constraints: 74712
2042.67/2081.70 c #Conflicts: 732000 | #Constraints: 75712
2042.67/2081.70 c #Conflicts: 733000 | #Constraints: 76712
2042.67/2081.70 c #Conflicts: 734000 | #Constraints: 77713
2042.67/2081.70 c #Conflicts: 735000 | #Constraints: 78714
2042.67/2081.70 c #Conflicts: 736000 | #Constraints: 79714
2042.67/2081.70 c #Conflicts: 737000 | #Constraints: 80715
2042.67/2081.70 c #Conflicts: 738000 | #Constraints: 81715
2042.67/2081.70 c #Conflicts: 739000 | #Constraints: 82716
2042.67/2081.70 c INPROCESSING
2042.67/2081.70 c GARBAGE COLLECT
2042.67/2081.70 c rational objective 9
2086.53/2125.94 c #Conflicts: 740000 | #Constraints: 66738
2086.53/2125.94 c #Conflicts: 741000 | #Constraints: 67739
2086.53/2125.94 c #Conflicts: 742000 | #Constraints: 68742
2086.53/2125.94 c #Conflicts: 743000 | #Constraints: 69747
2086.53/2125.94 c #Conflicts: 744000 | #Constraints: 70748
2086.53/2125.94 c #Conflicts: 745000 | #Constraints: 71749
2086.53/2125.94 c #Conflicts: 746000 | #Constraints: 72751
2086.53/2125.94 c #Conflicts: 747000 | #Constraints: 73751
2086.53/2125.94 c #Conflicts: 748000 | #Constraints: 74752
2086.53/2125.94 c #Conflicts: 749000 | #Constraints: 75752
2086.53/2125.94 c #Conflicts: 750000 | #Constraints: 76753
2086.53/2125.94 c #Conflicts: 751000 | #Constraints: 77756
2086.53/2125.94 c #Conflicts: 752000 | #Constraints: 78757
2086.53/2125.94 c #Conflicts: 753000 | #Constraints: 79758
2086.53/2125.94 c #Conflicts: 754000 | #Constraints: 80759
2086.53/2125.94 c #Conflicts: 755000 | #Constraints: 81761
2086.53/2125.94 c #Conflicts: 756000 | #Constraints: 82762
2086.53/2125.94 c INPROCESSING
2086.53/2125.94 c GARBAGE COLLECT
2086.53/2125.94 c rational objective 9
2134.96/2174.50 c #Conflicts: 757000 | #Constraints: 66554
2134.96/2174.50 c #Conflicts: 758000 | #Constraints: 67555
2134.96/2174.50 c #Conflicts: 759000 | #Constraints: 68558
2134.96/2174.50 c #Conflicts: 760000 | #Constraints: 69558
2134.96/2174.50 c #Conflicts: 761000 | #Constraints: 70559
2134.96/2174.50 c #Conflicts: 762000 | #Constraints: 71560
2134.96/2174.50 c #Conflicts: 763000 | #Constraints: 72563
2134.96/2174.50 c #Conflicts: 764000 | #Constraints: 73563
2134.96/2174.50 c #Conflicts: 765000 | #Constraints: 74564
2134.96/2174.50 c #Conflicts: 766000 | #Constraints: 75564
2134.96/2174.50 c #Conflicts: 767000 | #Constraints: 76564
2134.96/2174.50 c #Conflicts: 768000 | #Constraints: 77564
2134.96/2174.50 c #Conflicts: 769000 | #Constraints: 78565
2134.96/2174.50 c #Conflicts: 770000 | #Constraints: 79565
2134.96/2174.50 c #Conflicts: 771000 | #Constraints: 80566
2134.96/2174.50 c #Conflicts: 772000 | #Constraints: 81567
2134.96/2174.50 c #Conflicts: 773000 | #Constraints: 82568
2134.96/2174.50 c #Conflicts: 774000 | #Constraints: 83569
2134.96/2174.50 c INPROCESSING
2134.96/2174.50 c GARBAGE COLLECT
2134.96/2174.50 c rational objective 9
2187.21/2227.18 c #Conflicts: 775000 | #Constraints: 67128
2187.21/2227.18 c #Conflicts: 776000 | #Constraints: 68128
2187.21/2227.18 c #Conflicts: 777000 | #Constraints: 69133
2187.21/2227.18 c #Conflicts: 778000 | #Constraints: 70136
2187.21/2227.18 c #Conflicts: 779000 | #Constraints: 71139
2187.21/2227.18 c #Conflicts: 780000 | #Constraints: 72144
2187.21/2227.18 c #Conflicts: 781000 | #Constraints: 73146
2187.21/2227.18 c #Conflicts: 782000 | #Constraints: 74147
2187.21/2227.18 c #Conflicts: 783000 | #Constraints: 75149
2187.21/2227.18 c #Conflicts: 784000 | #Constraints: 76149
2187.21/2227.18 c #Conflicts: 785000 | #Constraints: 77149
2187.21/2227.18 c #Conflicts: 786000 | #Constraints: 78150
2187.21/2227.18 c #Conflicts: 787000 | #Constraints: 79151
2187.21/2227.18 c #Conflicts: 788000 | #Constraints: 80153
2187.21/2227.18 c #Conflicts: 789000 | #Constraints: 81154
2187.21/2227.18 c #Conflicts: 790000 | #Constraints: 82155
2187.21/2227.18 c #Conflicts: 791000 | #Constraints: 83156
2187.21/2227.18 c #Conflicts: 792000 | #Constraints: 84157
2187.21/2227.18 c INPROCESSING
2187.21/2227.18 c GARBAGE COLLECT
2187.21/2227.18 c rational objective 9
2249.42/2289.77 c #Conflicts: 793000 | #Constraints: 67506
2249.42/2289.77 c #Conflicts: 794000 | #Constraints: 68506
2249.42/2289.77 c #Conflicts: 795000 | #Constraints: 69510
2249.42/2289.77 c #Conflicts: 796000 | #Constraints: 70510
2249.42/2289.77 c #Conflicts: 797000 | #Constraints: 71511
2249.42/2289.77 c #Conflicts: 798000 | #Constraints: 72511
2249.42/2289.77 c #Conflicts: 799000 | #Constraints: 73511
2249.42/2289.77 c #Conflicts: 800000 | #Constraints: 74512
2249.42/2289.77 c #Conflicts: 801000 | #Constraints: 75513
2249.42/2289.77 c #Conflicts: 802000 | #Constraints: 76514
2249.42/2289.77 c #Conflicts: 803000 | #Constraints: 77517
2249.42/2289.77 c #Conflicts: 804000 | #Constraints: 78520
2249.42/2289.77 c #Conflicts: 805000 | #Constraints: 79520
2249.42/2289.77 c #Conflicts: 806000 | #Constraints: 80521
2249.42/2289.77 c #Conflicts: 807000 | #Constraints: 81521
2249.42/2289.77 c #Conflicts: 808000 | #Constraints: 82523
2249.42/2289.77 c #Conflicts: 809000 | #Constraints: 83524
2249.42/2289.77 c #Conflicts: 810000 | #Constraints: 84524
2249.42/2289.77 c INPROCESSING
2249.42/2289.77 c GARBAGE COLLECT
2249.42/2289.77 c rational objective 9
2306.75/2347.37 c #Conflicts: 811000 | #Constraints: 67712
2306.75/2347.37 c #Conflicts: 812000 | #Constraints: 68715
2306.75/2347.37 c #Conflicts: 813000 | #Constraints: 69715
2306.75/2347.37 c #Conflicts: 814000 | #Constraints: 70717
2306.75/2347.37 c #Conflicts: 815000 | #Constraints: 71718
2306.75/2347.37 c #Conflicts: 816000 | #Constraints: 72719
2306.75/2347.37 c #Conflicts: 817000 | #Constraints: 73719
2306.75/2347.37 c #Conflicts: 818000 | #Constraints: 74720
2306.75/2347.37 c #Conflicts: 819000 | #Constraints: 75722
2306.75/2347.37 c #Conflicts: 820000 | #Constraints: 76722
2306.75/2347.37 c #Conflicts: 821000 | #Constraints: 77723
2306.75/2347.37 c #Conflicts: 822000 | #Constraints: 78725
2306.75/2347.37 c #Conflicts: 823000 | #Constraints: 79725
2306.75/2347.37 c #Conflicts: 824000 | #Constraints: 80727
2306.75/2347.37 c #Conflicts: 825000 | #Constraints: 81731
2306.75/2347.37 c #Conflicts: 826000 | #Constraints: 82734
2306.75/2347.37 c #Conflicts: 827000 | #Constraints: 83735
2306.75/2347.37 c #Conflicts: 828000 | #Constraints: 84736
2306.75/2347.37 c INPROCESSING
2306.75/2347.37 c GARBAGE COLLECT
2306.75/2347.37 c rational objective 9
2382.88/2424.05 c #Conflicts: 829000 | #Constraints: 67709
2382.88/2424.05 c #Conflicts: 830000 | #Constraints: 68709
2382.88/2424.05 c #Conflicts: 831000 | #Constraints: 69710
2382.88/2424.05 c #Conflicts: 832000 | #Constraints: 70711
2382.88/2424.05 c #Conflicts: 833000 | #Constraints: 71711
2382.88/2424.05 c #Conflicts: 834000 | #Constraints: 72711
2382.88/2424.05 c #Conflicts: 835000 | #Constraints: 73712
2382.88/2424.05 c #Conflicts: 836000 | #Constraints: 74713
2382.88/2424.05 c #Conflicts: 837000 | #Constraints: 75715
2382.88/2424.05 c #Conflicts: 838000 | #Constraints: 76716
2382.88/2424.05 c #Conflicts: 839000 | #Constraints: 77716
2382.88/2424.05 c #Conflicts: 840000 | #Constraints: 78717
2382.88/2424.05 c #Conflicts: 841000 | #Constraints: 79718
2382.88/2424.05 c #Conflicts: 842000 | #Constraints: 80718
2382.88/2424.05 c #Conflicts: 843000 | #Constraints: 81719
2382.88/2424.05 c #Conflicts: 844000 | #Constraints: 82719
2382.88/2424.05 c #Conflicts: 845000 | #Constraints: 83719
2382.88/2424.05 c #Conflicts: 846000 | #Constraints: 84720
2382.88/2424.05 c INPROCESSING
2382.88/2424.05 c GARBAGE COLLECT
2382.88/2424.05 c rational objective 9
2443.38/2485.08 c #Conflicts: 847000 | #Constraints: 67522
2443.38/2485.08 c #Conflicts: 848000 | #Constraints: 68523
2443.38/2485.08 c #Conflicts: 849000 | #Constraints: 69523
2443.38/2485.08 c #Conflicts: 850000 | #Constraints: 70523
2443.38/2485.08 c #Conflicts: 851000 | #Constraints: 71524
2443.38/2485.08 c #Conflicts: 852000 | #Constraints: 72526
2443.38/2485.08 c #Conflicts: 853000 | #Constraints: 73526
2443.38/2485.08 c #Conflicts: 854000 | #Constraints: 74526
2443.38/2485.08 c #Conflicts: 855000 | #Constraints: 75527
2443.38/2485.08 c #Conflicts: 856000 | #Constraints: 76527
2443.38/2485.08 c #Conflicts: 857000 | #Constraints: 77529
2443.38/2485.08 c #Conflicts: 858000 | #Constraints: 78530
2443.38/2485.08 c #Conflicts: 859000 | #Constraints: 79530
2443.38/2485.08 c #Conflicts: 860000 | #Constraints: 80531
2443.38/2485.08 c #Conflicts: 861000 | #Constraints: 81532
2443.38/2485.08 c #Conflicts: 862000 | #Constraints: 82533
2443.38/2485.08 c #Conflicts: 863000 | #Constraints: 83533
2443.38/2485.08 c #Conflicts: 864000 | #Constraints: 84534
2443.38/2485.08 c #Conflicts: 865000 | #Constraints: 85535
2443.38/2485.08 c INPROCESSING
2443.38/2485.08 c GARBAGE COLLECT
2443.38/2485.08 c rational objective 9
2492.93/2535.45 c #Conflicts: 866000 | #Constraints: 68121
2492.93/2535.45 c #Conflicts: 867000 | #Constraints: 69121
2492.93/2535.45 c #Conflicts: 868000 | #Constraints: 70123
2492.93/2535.45 c #Conflicts: 869000 | #Constraints: 71124
2492.93/2535.45 c #Conflicts: 870000 | #Constraints: 72126
2492.93/2535.45 c #Conflicts: 871000 | #Constraints: 73127
2492.93/2535.45 c #Conflicts: 872000 | #Constraints: 74127
2492.93/2535.45 c #Conflicts: 873000 | #Constraints: 75128
2492.93/2535.45 c #Conflicts: 874000 | #Constraints: 76128
2492.93/2535.45 c #Conflicts: 875000 | #Constraints: 77129
2492.93/2535.45 c #Conflicts: 876000 | #Constraints: 78129
2492.93/2535.45 c #Conflicts: 877000 | #Constraints: 79130
2492.93/2535.45 c #Conflicts: 878000 | #Constraints: 80132
2492.93/2535.45 c #Conflicts: 879000 | #Constraints: 81132
2492.93/2535.45 c #Conflicts: 880000 | #Constraints: 82132
2492.93/2535.45 c #Conflicts: 881000 | #Constraints: 83132
2492.93/2535.45 c #Conflicts: 882000 | #Constraints: 84132
2492.93/2535.45 c #Conflicts: 883000 | #Constraints: 85132
2492.93/2535.45 c #Conflicts: 884000 | #Constraints: 86132
2492.93/2535.45 c INPROCESSING
2492.93/2535.45 c GARBAGE COLLECT
2492.93/2535.45 c rational objective 9
2568.05/2611.04 c #Conflicts: 885000 | #Constraints: 68494
2568.05/2611.04 c #Conflicts: 886000 | #Constraints: 69494
2568.05/2611.04 c #Conflicts: 887000 | #Constraints: 70495
2568.05/2611.04 c #Conflicts: 888000 | #Constraints: 71496
2568.05/2611.04 c #Conflicts: 889000 | #Constraints: 72497
2568.05/2611.04 c #Conflicts: 890000 | #Constraints: 73499
2568.05/2611.04 c #Conflicts: 891000 | #Constraints: 74500
2568.05/2611.04 c #Conflicts: 892000 | #Constraints: 75502
2568.05/2611.04 c #Conflicts: 893000 | #Constraints: 76503
2568.05/2611.04 c #Conflicts: 894000 | #Constraints: 77504
2568.05/2611.04 c #Conflicts: 895000 | #Constraints: 78505
2568.05/2611.04 c #Conflicts: 896000 | #Constraints: 79507
2568.05/2611.04 c #Conflicts: 897000 | #Constraints: 80508
2568.05/2611.04 c #Conflicts: 898000 | #Constraints: 81511
2568.05/2611.04 c #Conflicts: 899000 | #Constraints: 82513
2568.05/2611.04 c #Conflicts: 900000 | #Constraints: 83513
2568.05/2611.04 c #Conflicts: 901000 | #Constraints: 84514
2568.05/2611.04 c #Conflicts: 902000 | #Constraints: 85515
2568.05/2611.04 c #Conflicts: 903000 | #Constraints: 86516
2568.05/2611.04 c INPROCESSING
2568.05/2611.04 c GARBAGE COLLECT
2568.05/2611.04 c rational objective 9
2638.82/2682.31 c #Conflicts: 904000 | #Constraints: 68693
2638.82/2682.31 c #Conflicts: 905000 | #Constraints: 69693
2638.82/2682.31 c #Conflicts: 906000 | #Constraints: 70693
2638.82/2682.31 c #Conflicts: 907000 | #Constraints: 71694
2638.82/2682.31 c #Conflicts: 908000 | #Constraints: 72695
2638.82/2682.31 c #Conflicts: 909000 | #Constraints: 73695
2638.82/2682.31 c #Conflicts: 910000 | #Constraints: 74696
2638.82/2682.31 c #Conflicts: 911000 | #Constraints: 75698
2638.82/2682.31 c #Conflicts: 912000 | #Constraints: 76699
2638.82/2682.31 c #Conflicts: 913000 | #Constraints: 77699
2638.82/2682.31 c #Conflicts: 914000 | #Constraints: 78700
2638.82/2682.31 c #Conflicts: 915000 | #Constraints: 79701
2638.82/2682.31 c #Conflicts: 916000 | #Constraints: 80701
2638.82/2682.31 c #Conflicts: 917000 | #Constraints: 81702
2638.82/2682.31 c #Conflicts: 918000 | #Constraints: 82702
2638.82/2682.31 c #Conflicts: 919000 | #Constraints: 83703
2638.82/2682.31 c #Conflicts: 920000 | #Constraints: 84704
2638.82/2682.31 c #Conflicts: 921000 | #Constraints: 85704
2638.82/2682.31 c #Conflicts: 922000 | #Constraints: 86704
2638.82/2682.31 c INPROCESSING
2638.82/2682.31 c GARBAGE COLLECT
2638.82/2682.31 c rational objective 9
2763.46/2807.80 c #Conflicts: 923000 | #Constraints: 68710
2763.46/2807.80 c #Conflicts: 924000 | #Constraints: 69711
2763.46/2807.80 c #Conflicts: 925000 | #Constraints: 70713
2763.46/2807.80 c #Conflicts: 926000 | #Constraints: 71715
2763.46/2807.80 c #Conflicts: 927000 | #Constraints: 72716
2763.46/2807.80 c #Conflicts: 928000 | #Constraints: 73717
2763.46/2807.80 c #Conflicts: 929000 | #Constraints: 74717
2763.46/2807.80 c #Conflicts: 930000 | #Constraints: 75718
2763.46/2807.80 c #Conflicts: 931000 | #Constraints: 76718
2763.46/2807.80 c #Conflicts: 932000 | #Constraints: 77718
2763.46/2807.80 c #Conflicts: 933000 | #Constraints: 78719
2763.46/2807.80 c #Conflicts: 934000 | #Constraints: 79719
2763.46/2807.80 c #Conflicts: 935000 | #Constraints: 80720
2763.46/2807.80 c #Conflicts: 936000 | #Constraints: 81720
2763.46/2807.80 c #Conflicts: 937000 | #Constraints: 82720
2763.46/2807.80 c #Conflicts: 938000 | #Constraints: 83721
2763.46/2807.80 c #Conflicts: 939000 | #Constraints: 84721
2763.46/2807.80 c #Conflicts: 940000 | #Constraints: 85721
2763.46/2807.80 c #Conflicts: 941000 | #Constraints: 86721
2763.46/2807.80 c INPROCESSING
2763.46/2807.80 c GARBAGE COLLECT
2763.46/2807.80 c rational objective 9
2867.15/2912.23 c #Conflicts: 942000 | #Constraints: 68489
2867.15/2912.23 c #Conflicts: 943000 | #Constraints: 69493
2867.15/2912.23 c #Conflicts: 944000 | #Constraints: 70496
2867.15/2912.23 c #Conflicts: 945000 | #Constraints: 71496
2867.15/2912.23 c #Conflicts: 946000 | #Constraints: 72496
2867.15/2912.23 c #Conflicts: 947000 | #Constraints: 73497
2867.15/2912.23 c #Conflicts: 948000 | #Constraints: 74497
2867.15/2912.23 c #Conflicts: 949000 | #Constraints: 75497
2867.15/2912.23 c #Conflicts: 950000 | #Constraints: 76498
2867.15/2912.23 c #Conflicts: 951000 | #Constraints: 77498
2867.15/2912.23 c #Conflicts: 952000 | #Constraints: 78498
2867.15/2912.23 c #Conflicts: 953000 | #Constraints: 79499
2867.15/2912.23 c #Conflicts: 954000 | #Constraints: 80499
2867.15/2912.23 c #Conflicts: 955000 | #Constraints: 81499
2867.15/2912.23 c #Conflicts: 956000 | #Constraints: 82499
2867.15/2912.23 c #Conflicts: 957000 | #Constraints: 83499
2867.15/2912.23 c #Conflicts: 958000 | #Constraints: 84500
2867.15/2912.23 c #Conflicts: 959000 | #Constraints: 85500
2867.15/2912.23 c #Conflicts: 960000 | #Constraints: 86500
2867.15/2912.23 c #Conflicts: 961000 | #Constraints: 87501
2867.15/2912.23 c INPROCESSING
2867.15/2912.23 c GARBAGE COLLECT
2867.15/2912.23 c rational objective 9
2974.34/3021.64 c #Conflicts: 962000 | #Constraints: 69118
2974.34/3021.64 c #Conflicts: 963000 | #Constraints: 70118
2974.34/3021.64 c #Conflicts: 964000 | #Constraints: 71118
2974.34/3021.64 c #Conflicts: 965000 | #Constraints: 72120
2974.34/3021.64 c #Conflicts: 966000 | #Constraints: 73122
2974.34/3021.64 c #Conflicts: 967000 | #Constraints: 74124
2974.34/3021.64 c #Conflicts: 968000 | #Constraints: 75125
2974.34/3021.64 c #Conflicts: 969000 | #Constraints: 76126
2974.34/3021.64 c #Conflicts: 970000 | #Constraints: 77127
2974.34/3021.64 c #Conflicts: 971000 | #Constraints: 78127
2974.34/3021.64 c #Conflicts: 972000 | #Constraints: 79128
2974.34/3021.64 c #Conflicts: 973000 | #Constraints: 80128
2974.34/3021.64 c #Conflicts: 974000 | #Constraints: 81128
2974.34/3021.64 c #Conflicts: 975000 | #Constraints: 82128
2974.34/3021.64 c #Conflicts: 976000 | #Constraints: 83129
2974.34/3021.64 c #Conflicts: 977000 | #Constraints: 84129
2974.34/3021.64 c #Conflicts: 978000 | #Constraints: 85129
2974.34/3021.64 c #Conflicts: 979000 | #Constraints: 86129
2974.34/3021.64 c #Conflicts: 980000 | #Constraints: 87129
2974.34/3021.64 c #Conflicts: 981000 | #Constraints: 88129
2974.34/3021.64 c INPROCESSING
2974.34/3021.64 c GARBAGE COLLECT
2974.34/3021.64 c rational objective 9
3066.32/3114.30 c #Conflicts: 982000 | #Constraints: 69557
3066.32/3114.30 c #Conflicts: 983000 | #Constraints: 70558
3066.32/3114.30 c #Conflicts: 984000 | #Constraints: 71558
3066.32/3114.30 c #Conflicts: 985000 | #Constraints: 72558
3066.32/3114.30 c #Conflicts: 986000 | #Constraints: 73559
3066.32/3114.30 c #Conflicts: 987000 | #Constraints: 74559
3066.32/3114.30 c #Conflicts: 988000 | #Constraints: 75560
3066.32/3114.30 c #Conflicts: 989000 | #Constraints: 76561
3066.32/3114.30 c #Conflicts: 990000 | #Constraints: 77562
3066.32/3114.30 c #Conflicts: 991000 | #Constraints: 78562
3066.32/3114.30 c #Conflicts: 992000 | #Constraints: 79562
3066.32/3114.30 c #Conflicts: 993000 | #Constraints: 80563
3066.32/3114.30 c #Conflicts: 994000 | #Constraints: 81563
3066.32/3114.30 c #Conflicts: 995000 | #Constraints: 82563
3066.32/3114.30 c #Conflicts: 996000 | #Constraints: 83564
3066.32/3114.30 c #Conflicts: 997000 | #Constraints: 84564
3066.32/3114.30 c #Conflicts: 998000 | #Constraints: 85564
3066.32/3114.30 c #Conflicts: 999000 | #Constraints: 86564
3066.32/3114.30 c #Conflicts: 1000000 | #Constraints: 87564
3066.32/3114.30 c #Conflicts: 1001000 | #Constraints: 88564
3066.32/3114.30 c INPROCESSING
3066.32/3114.30 c GARBAGE COLLECT
3066.32/3114.30 c rational objective 9
3109.36/3157.98 c #Conflicts: 1002000 | #Constraints: 69753
3109.36/3157.98 c #Conflicts: 1003000 | #Constraints: 70753
3109.36/3157.98 c #Conflicts: 1004000 | #Constraints: 71753
3109.36/3157.98 c #Conflicts: 1005000 | #Constraints: 72753
3109.36/3157.98 c #Conflicts: 1006000 | #Constraints: 73753
3109.36/3157.98 c #Conflicts: 1007000 | #Constraints: 74753
3109.36/3157.98 c #Conflicts: 1008000 | #Constraints: 75753
3109.36/3157.98 c #Conflicts: 1009000 | #Constraints: 76753
3109.36/3157.98 c #Conflicts: 1010000 | #Constraints: 77754
3109.36/3157.98 c #Conflicts: 1011000 | #Constraints: 78754
3109.36/3157.98 c #Conflicts: 1012000 | #Constraints: 79756
3109.36/3157.98 c #Conflicts: 1013000 | #Constraints: 80759
3109.36/3157.98 c #Conflicts: 1014000 | #Constraints: 81760
3109.36/3157.98 c #Conflicts: 1015000 | #Constraints: 82761
3109.36/3157.98 c #Conflicts: 1016000 | #Constraints: 83762
3109.36/3157.98 c #Conflicts: 1017000 | #Constraints: 84762
3109.36/3157.98 c #Conflicts: 1018000 | #Constraints: 85762
3109.36/3157.98 c #Conflicts: 1019000 | #Constraints: 86762
3109.36/3157.98 c #Conflicts: 1020000 | #Constraints: 87763
3109.36/3157.98 c #Conflicts: 1021000 | #Constraints: 88763
3109.36/3157.98 c INPROCESSING
3109.36/3157.98 c GARBAGE COLLECT
3109.36/3157.98 c rational objective 9
3190.89/3240.25 c #Conflicts: 1022000 | #Constraints: 69725
3190.89/3240.25 c #Conflicts: 1023000 | #Constraints: 70728
3190.89/3240.25 c #Conflicts: 1024000 | #Constraints: 71729
3190.89/3240.25 c #Conflicts: 1025000 | #Constraints: 72730
3190.89/3240.25 c #Conflicts: 1026000 | #Constraints: 73730
3190.89/3240.25 c #Conflicts: 1027000 | #Constraints: 74731
3190.89/3240.25 c #Conflicts: 1028000 | #Constraints: 75732
3190.89/3240.25 c #Conflicts: 1029000 | #Constraints: 76732
3190.89/3240.25 c #Conflicts: 1030000 | #Constraints: 77732
3190.89/3240.25 c #Conflicts: 1031000 | #Constraints: 78732
3190.89/3240.25 c #Conflicts: 1032000 | #Constraints: 79732
3190.89/3240.25 c #Conflicts: 1033000 | #Constraints: 80733
3190.89/3240.25 c #Conflicts: 1034000 | #Constraints: 81734
3190.89/3240.25 c #Conflicts: 1035000 | #Constraints: 82734
3190.89/3240.25 c #Conflicts: 1036000 | #Constraints: 83734
3190.89/3240.25 c #Conflicts: 1037000 | #Constraints: 84734
3190.89/3240.25 c #Conflicts: 1038000 | #Constraints: 85735
3190.89/3240.25 c #Conflicts: 1039000 | #Constraints: 86735
3190.89/3240.25 c #Conflicts: 1040000 | #Constraints: 87735
3190.89/3240.25 c #Conflicts: 1041000 | #Constraints: 88735
3190.89/3240.25 c INPROCESSING
3190.89/3240.25 c GARBAGE COLLECT
3190.89/3240.25 c rational objective 9
3334.61/3385.04 c #Conflicts: 1042000 | #Constraints: 69574
3334.61/3385.04 c #Conflicts: 1043000 | #Constraints: 70574
3334.61/3385.04 c #Conflicts: 1044000 | #Constraints: 71574
3334.61/3385.04 c #Conflicts: 1045000 | #Constraints: 72574
3334.61/3385.04 c #Conflicts: 1046000 | #Constraints: 73575
3334.61/3385.04 c #Conflicts: 1047000 | #Constraints: 74577
3334.61/3385.04 c #Conflicts: 1048000 | #Constraints: 75580
3334.61/3385.04 c #Conflicts: 1049000 | #Constraints: 76581
3334.61/3385.04 c #Conflicts: 1050000 | #Constraints: 77582
3334.61/3385.04 c #Conflicts: 1051000 | #Constraints: 78584
3334.61/3385.04 c #Conflicts: 1052000 | #Constraints: 79585
3334.61/3385.04 c #Conflicts: 1053000 | #Constraints: 80587
3334.61/3385.04 c #Conflicts: 1054000 | #Constraints: 81589
3334.61/3385.04 c #Conflicts: 1055000 | #Constraints: 82590
3334.61/3385.04 c #Conflicts: 1056000 | #Constraints: 83591
3334.61/3385.04 c #Conflicts: 1057000 | #Constraints: 84592
3334.61/3385.04 c #Conflicts: 1058000 | #Constraints: 85593
3334.61/3385.04 c #Conflicts: 1059000 | #Constraints: 86594
3334.61/3385.04 c #Conflicts: 1060000 | #Constraints: 87595
3334.61/3385.04 c #Conflicts: 1061000 | #Constraints: 88596
3334.61/3385.04 c #Conflicts: 1062000 | #Constraints: 89596
3334.61/3385.04 c INPROCESSING
3334.61/3385.04 c GARBAGE COLLECT
3334.61/3385.04 c rational objective 9
3411.67/3462.83 c #Conflicts: 1063000 | #Constraints: 70188
3411.67/3462.83 c #Conflicts: 1064000 | #Constraints: 71188
3411.67/3462.83 c #Conflicts: 1065000 | #Constraints: 72191
3411.67/3462.83 c #Conflicts: 1066000 | #Constraints: 73192
3411.67/3462.83 c #Conflicts: 1067000 | #Constraints: 74192
3411.67/3462.83 c #Conflicts: 1068000 | #Constraints: 75195
3411.67/3462.83 c #Conflicts: 1069000 | #Constraints: 76197
3411.67/3462.83 c #Conflicts: 1070000 | #Constraints: 77199
3411.67/3462.83 c #Conflicts: 1071000 | #Constraints: 78200
3411.67/3462.83 c #Conflicts: 1072000 | #Constraints: 79200
3411.67/3462.83 c #Conflicts: 1073000 | #Constraints: 80201
3411.67/3462.83 c #Conflicts: 1074000 | #Constraints: 81202
3411.67/3462.83 c #Conflicts: 1075000 | #Constraints: 82203
3411.67/3462.83 c #Conflicts: 1076000 | #Constraints: 83204
3411.67/3462.83 c #Conflicts: 1077000 | #Constraints: 84204
3411.67/3462.83 c #Conflicts: 1078000 | #Constraints: 85205
3411.67/3462.83 c #Conflicts: 1079000 | #Constraints: 86205
3411.67/3462.83 c #Conflicts: 1080000 | #Constraints: 87206
3411.67/3462.83 c #Conflicts: 1081000 | #Constraints: 88206
3411.67/3462.83 c #Conflicts: 1082000 | #Constraints: 89206
3411.67/3462.83 c #Conflicts: 1083000 | #Constraints: 90207
3411.67/3462.83 c INPROCESSING
3411.67/3462.83 c GARBAGE COLLECT
3411.67/3462.83 c rational objective 9
3505.55/3557.17 c #Conflicts: 1084000 | #Constraints: 70604
3505.55/3557.17 c #Conflicts: 1085000 | #Constraints: 71604
3505.55/3557.17 c #Conflicts: 1086000 | #Constraints: 72605
3505.55/3557.17 c #Conflicts: 1087000 | #Constraints: 73605
3505.55/3557.17 c #Conflicts: 1088000 | #Constraints: 74605
3505.55/3557.17 c #Conflicts: 1089000 | #Constraints: 75607
3505.55/3557.17 c #Conflicts: 1090000 | #Constraints: 76607
3505.55/3557.17 c #Conflicts: 1091000 | #Constraints: 77608
3505.55/3557.17 c #Conflicts: 1092000 | #Constraints: 78609
3505.55/3557.17 c #Conflicts: 1093000 | #Constraints: 79610
3505.55/3557.17 c #Conflicts: 1094000 | #Constraints: 80610
3505.55/3557.17 c #Conflicts: 1095000 | #Constraints: 81611
3505.55/3557.17 c #Conflicts: 1096000 | #Constraints: 82611
3505.55/3557.17 c #Conflicts: 1097000 | #Constraints: 83611
3505.55/3557.17 c #Conflicts: 1098000 | #Constraints: 84612
3505.55/3557.17 c #Conflicts: 1099000 | #Constraints: 85612
3505.55/3557.17 c #Conflicts: 1100000 | #Constraints: 86612
3505.55/3557.17 c #Conflicts: 1101000 | #Constraints: 87612
3505.55/3557.17 c #Conflicts: 1102000 | #Constraints: 88613
3505.55/3557.17 c #Conflicts: 1103000 | #Constraints: 89613
3505.55/3557.17 c #Conflicts: 1104000 | #Constraints: 90613
3505.55/3557.17 c INPROCESSING
3505.55/3557.17 c GARBAGE COLLECT
3505.55/3557.17 c rational objective 9
3600.07/3652.33 c #Conflicts: 1105000 | #Constraints: 70797
3600.07/3652.33 c #Conflicts: 1106000 | #Constraints: 71798
3600.07/3652.33 c #Conflicts: 1107000 | #Constraints: 72798
3600.07/3652.33 c #Conflicts: 1108000 | #Constraints: 73800
3600.07/3652.33 c #Conflicts: 1109000 | #Constraints: 74804
3600.07/3652.33 c #Conflicts: 1110000 | #Constraints: 75809
3600.07/3652.33 c #Conflicts: 1111000 | #Constraints: 76814
3600.07/3652.33 c #Conflicts: 1112000 | #Constraints: 77817
3600.07/3652.33 c #Conflicts: 1113000 | #Constraints: 78818
3600.07/3652.33 c #Conflicts: 1114000 | #Constraints: 79819
3600.07/3652.33 c #Conflicts: 1115000 | #Constraints: 80820
3600.07/3652.33 c #Conflicts: 1116000 | #Constraints: 81822
3600.07/3652.33 c #Conflicts: 1117000 | #Constraints: 82823
3600.07/3652.33 c #Conflicts: 1118000 | #Constraints: 83824
3600.07/3652.33 c #Conflicts: 1119000 | #Constraints: 84825
3600.07/3652.33 c cpu time 3554.64 s
3600.07/3652.33 c deterministic time 288047418420 2.88e+11
3600.07/3652.33 c optimization time 93.1518 s
3600.07/3652.33 c total solve time 3461.18 s
3600.07/3652.33 c core-guided solve time 1723.28 s
3600.07/3652.33 c propagation time 2107.87 s
3600.07/3652.33 c conflict analysis time 893.941 s
3600.07/3652.33 c propagations 573932158
3600.07/3652.33 c resolve steps 7236475
3600.07/3652.33 c decisions 12049134
3600.07/3652.33 c conflicts 1119886
3600.07/3652.33 c restarts 2046
3600.07/3652.33 c inprocessing phases 96
3600.07/3652.33 c garbage collections 96 ,( 100.00 )
3600.07/3652.33 c input clauses 56888 ,( 98.83 )
3600.07/3652.33 c input cardinalities 98 ,( 0.17 )
3600.07/3652.33 c input general constraints 576 ,( 1.00 )
3600.07/3652.33 c input average constraint length 4.07
3600.07/3652.33 c input average constraint degree 12.29
3600.07/3652.33 c learned clauses 121857 ,( 10.87 )
3600.07/3652.33 c learned cardinalities 13982 ,( 1.25 )
3600.07/3652.33 c learned general constraints 985606 ,( 87.89 )
3600.07/3652.33 c learned average constraint length 1252.84
3600.07/3652.33 c learned average constraint degree 8949353822.96
3600.07/3652.33 c watched CF 32, 64, 128, Arb: 371264 , 0 , 0 , 0
3600.07/3652.33 c counting CF 32, 64, 128, Arb: 614919 , 0 , 0 , 0
3600.07/3652.33 c watched constraints 371264 ,( 37.65 )
3600.07/3652.33 c counting constraints 614918 ,( 62.35 )
3600.07/3652.33 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 118667239 , 22290699 , 2987457842 ,( 197537679 , 2789920163 )
3600.07/3652.33 c gcd simplifications 70390
3600.07/3652.33 c detected cardinalities 343
3600.07/3652.33 c weakened non-implied lits 375094549
3600.07/3652.33 c weakened non-implying lits 832587
3600.07/3652.33 c original variables 24530
3600.07/3652.33 c clausal propagations 100093667
3600.07/3652.33 c cardinality propagations 59585553
3600.07/3652.33 c watched propagations 3003542
3600.07/3652.33 c counting propagations 395663654
3600.07/3652.33 c watch lookups 96849613791
3600.07/3652.33 c watch backjump lookups 0
3600.07/3652.33 c watch checks 49084180175
3600.07/3652.33 c propagation checks 136759647937
3600.07/3652.33 c constraint additions 4179426129
3600.07/3652.33 c trail pops 587092488
3600.07/3652.33 c formula constraints 57562
3600.07/3652.33 c learned constraints 1118802
3600.07/3652.33 c bound constraints 0
3600.07/3652.33 c core-guided constraints 0
3600.07/3652.33 c encountered formula constraints 5041947
3600.07/3652.33 c encountered learned constraints 3109409
3600.07/3652.33 c encountered bound constraints 0
3600.07/3652.33 c encountered core-guided constraints 0
3600.07/3652.33 c LP total time 962.641 s
3600.07/3652.33 c LP solve time 909.98 s
3600.07/3652.33 c LP constraints added 59697
3600.07/3652.33 c LP constraints removed 2092
3600.07/3652.33 c LP pivots internal 1124359
3600.07/3652.33 c LP pivots root 352248
3600.07/3652.33 c LP calls 1221
3600.07/3652.33 c LP optimalities 131
3600.07/3652.33 c LP no pivot count 7
3600.07/3652.33 c LP infeasibilities 1086
3600.07/3652.33 c LP valid Farkas constraints 1083
3600.07/3652.33 c LP learned Farkas constraints 1083
3600.07/3652.33 c LP basis resets 3
3600.07/3652.33 c LP cycling count 0
3600.07/3652.33 c LP singular count 0
3600.07/3652.33 c LP no primal count 0
3600.07/3652.33 c LP no farkas count 3
3600.07/3652.33 c LP other issue count 0
3600.07/3652.33 c LP Gomory cuts 477
3600.07/3652.33 c LP learned cuts 1658
3600.07/3652.33 c LP deleted cuts 2092
3600.07/3652.33 c LP encountered Gomory constraints 5346
3600.07/3652.33 c LP encountered Farkas constraints 187522
3600.07/3652.33 c LP encountered learned Farkas constraints 11054
3600.07/3652.33 c CG auxiliary variables introduced 0
3600.07/3652.33 c CG solutions found 0
3600.07/3652.33 c CG cores constructed 0
3600.07/3652.33 c CG core cardinality constraints returned 0
3600.07/3652.33 c CG unit cores 0
3600.07/3652.33 c CG single cores 0
3600.07/3652.33 c CG blocks removed during cardinality reduction 0
3600.07/3652.33 c CG first core best 0
3600.07/3652.33 c CG decision core best 0
3600.07/3652.33 c CG core reduction tie 0
3600.07/3652.33 c CG core degree average 0.00
3600.07/3652.33 c CG core slack average 0.00
3600.07/3652.33 c CG core upper bound improvements 0
3600.07/3652.33 c STR number of successful calls 0
3600.07/3652.33 c STR number of unsuccessful calls 0
3600.07/3652.33 c STR number of inconclusive calls 0
3600.07/3652.33 c STR number of successful attempts 0
3600.07/3652.33 c STR number of unsuccessful attempts 0
3600.07/3652.33 c STR number of inconclusive attempts 0
3600.07/3652.33 c STR average degree increase per successful call inf
3600.07/3652.33 c STR average degree increase per successful attempt inf
3600.07/3652.33 c STR total number of conflicts for successful attempts 0
3600.07/3652.33 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3652.33 c STR total number of conflicts for inconclusive attempts 0
3600.07/3652.33 c STR average number of conflicts per successful attempt inf
3600.07/3652.33 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3652.33 c STR average number of conflicts per inconclusive attempt inf
3600.07/3652.33 c AVG.sumWPerc 50.49
3600.07/3652.33 c bigint constraints 0
3600.07/3652.33 s UNKNOWN
3600.07/3652.33 c Program interrupted by user.
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: 63794 MiB (10957 MiB free)
memory of node 1: 64507 MiB (45349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498987-1751403372/watcher-4498987-1751403372 -o /tmp/evaluation-result-4498987-1751403372/solver-4498987-1751403372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54956 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4498987-1751403372.opb PROOFDIR/proof-4498987-1751403372
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=55986, runsolver pid=55983
[startup+0.100068 s]*
/proc/loadavg: 4.28 4.23 4.19 5/265 55988
/proc/meminfo: memFree=57641276/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56016153 4292608 736 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 736 672 219 0 110 0
[pid=55988] ppid=55986 vsize=27976 memory=16936 CPUtime=0.08 cores=1,3
/proc/55988/stat : 55988 (pbsuma) R 55986 55986 54941 0 -1 4194304 4663 0 0 0 7 1 0 0 20 0 1 0 56016154 28647424 4234 18446744073709551615 4210688 4653049 140732066162016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5959680 140732066171107 140732066171442 140732066171442 140732066177007 0
/proc/55988/statm: 6994 4234 992 108 0 4402 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32168 KiB
Current children cumulated memory: 19880 KiB
[startup+0.214259 s]*
/proc/loadavg: 4.28 4.23 4.19 5/265 55988
/proc/meminfo: memFree=57613568/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56016153 4292608 736 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 736 672 219 0 110 0
[pid=55988] ppid=55986 vsize=29692 memory=18728 CPUtime=0.21 cores=1,3
/proc/55988/stat : 55988 (pbsuma) R 55986 55986 54941 0 -1 4194304 5106 0 0 0 19 2 0 0 20 0 1 0 56016154 30404608 4682 18446744073709551615 4210688 4653049 140732066162016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5959680 140732066171107 140732066171442 140732066171442 140732066177007 0
/proc/55988/statm: 7423 4682 992 108 0 4831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 21672 KiB
[startup+0.314528 s]*
/proc/loadavg: 4.28 4.23 4.19 5/265 55988
/proc/meminfo: memFree=57613656/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56016153 4292608 736 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 736 672 219 0 110 0
[pid=55988] ppid=55986 vsize=29692 memory=19368 CPUtime=0.3 cores=1,3
/proc/55988/stat : 55988 (pbsuma) R 55986 55986 54941 0 -1 4194304 5266 0 0 0 28 2 0 0 20 0 1 0 56016154 30404608 4842 18446744073709551615 4210688 4653049 140732066162016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5959680 140732066171107 140732066171442 140732066171442 140732066177007 0
/proc/55988/statm: 7423 4842 992 108 0 4831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 22312 KiB
[startup+0.700387 s]
/proc/loadavg: 4.28 4.23 4.19 5/265 55988
/proc/meminfo: memFree=57582408/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56016153 4292608 736 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 736 672 219 0 110 0
[pid=55988] ppid=55986 vsize=37644 memory=26292 CPUtime=0.67 cores=1,3
/proc/55988/stat : 55988 (pbsuma) R 55986 55986 54941 0 -1 4194304 7936 0 0 0 65 2 0 0 20 0 1 0 56016154 38547456 6573 18446744073709551615 4210688 4653049 140732066162016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5959680 140732066171107 140732066171442 140732066171442 140732066177007 0
/proc/55988/statm: 9411 6573 992 108 0 6819 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41836 KiB
Current children cumulated memory: 29236 KiB
[startup+1.50037 s]
/proc/loadavg: 4.26 4.23 4.19 5/265 55988
/proc/meminfo: memFree=57534024/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 56016153 4292608 736 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 736 672 219 0 110 0
[pid=55988] ppid=55986 vsize=43716 memory=34100 CPUtime=1.47 cores=1,3
/proc/55988/stat : 55988 (pbsuma) R 55986 55986 54941 0 -1 4194304 9878 0 0 0 144 3 0 0 20 0 1 0 56016154 44765184 8493 18446744073709551615 4210688 4653049 140732066162016 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 5959680 140732066171107 140732066171442 140732066171442 140732066177007 0
/proc/55988/statm: 10929 8493 992 108 0 8337 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 37044 KiB
[startup+3.11317 s]
/proc/loadavg: 4.26 4.23 4.19 5/265 55989
/proc/meminfo: memFree=57229716/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=112116 memory=59628 CPUtime=0.35 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 8737 0 0 0 29 6 0 0 20 0 1 0 56016427 114806784 14907 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 28029 14907 2240 1147 0 15456 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 116308 KiB
Current children cumulated memory: 62700 KiB
[startup+6.30039 s]
/proc/loadavg: 4.24 4.23 4.19 5/265 55989
/proc/meminfo: memFree=56786880/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=175588 memory=128356 CPUtime=3.53 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 21933 0 0 0 338 15 0 0 20 0 1 0 56016427 179802112 32089 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 43897 32089 2368 1147 0 31324 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 179780 KiB
Current children cumulated memory: 131428 KiB
[startup+12.7004 s]
/proc/loadavg: 4.22 4.22 4.18 5/265 55989
/proc/meminfo: memFree=56199652/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=221368 memory=170652 CPUtime=9.91 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 30501 0 0 0 966 25 0 0 20 0 1 0 56016427 226680832 42663 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 55342 42663 2368 1147 0 42769 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 225560 KiB
Current children cumulated memory: 173724 KiB
[startup+25.5012 s]
/proc/loadavg: 4.18 4.21 4.18 5/265 55990
/proc/meminfo: memFree=55195632/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=240224 memory=185852 CPUtime=22.67 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 32258 0 0 0 2223 44 0 0 20 0 1 0 56016427 245989376 46463 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 60056 46463 2368 1147 0 47483 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 244416 KiB
Current children cumulated memory: 188924 KiB
[startup+51.114 s]
/proc/loadavg: 4.11 4.19 4.18 5/264 55990
/proc/meminfo: memFree=49254640/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=333108 memory=267124 CPUtime=48.09 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 49672 0 0 0 4719 90 0 0 20 0 1 0 56016427 341102592 66781 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 83277 66781 2368 1147 0 70704 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 337300 KiB
Current children cumulated memory: 270196 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/265 55993
/proc/meminfo: memFree=45589340/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=442528 memory=357588 CPUtime=98.48 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 67247 0 0 0 9688 160 0 0 20 0 1 0 56016427 453148672 89397 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 110632 89397 2368 1147 0 98059 0
Current children cumulated CPU time: 101.1 s
Current children cumulated vsize: 446720 KiB
Current children cumulated memory: 360660 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.22 4.19 5/266 55996
/proc/meminfo: memFree=41056584/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=700336 memory=567736 CPUtime=157.86 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 110763 0 0 0 15521 265 0 0 20 0 1 0 56016427 717144064 141934 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 175084 141934 2368 1147 0 162511 0
Current children cumulated CPU time: 160.48 s
Current children cumulated vsize: 704528 KiB
Current children cumulated memory: 570808 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/262 55998
/proc/meminfo: memFree=36141200/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=811916 memory=657676 CPUtime=217.43 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 131739 0 0 0 21388 355 0 0 20 0 1 0 56016427 831401984 164419 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 202979 164419 2368 1147 0 190406 0
################
# More data... #
################
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=2675620 memory=2230548 CPUtime=3111.12 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 632275 0 0 0 307300 3812 0 0 20 0 1 0 56016427 2739834880 557637 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 668905 557637 2368 1147 0 656332 0
Current children cumulated CPU time: 3113.74 s
Current children cumulated vsize: 2679812 KiB
Current children cumulated memory: 2233620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.18 4.21 5/261 56483
/proc/meminfo: memFree=102052928/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=2676400 memory=2231188 CPUtime=3170.42 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 634239 0 0 0 313176 3866 0 0 20 0 1 0 56016427 2740633600 557797 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 669100 557797 2368 1147 0 656527 0
Current children cumulated CPU time: 3173.04 s
Current children cumulated vsize: 2680592 KiB
Current children cumulated memory: 2234260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.19 5/263 56534
/proc/meminfo: memFree=100543624/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=2676400 memory=2233364 CPUtime=3229.93 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 637744 0 0 0 319071 3922 0 0 20 0 1 0 56016427 2740633600 558341 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 669100 558341 2368 1147 0 656527 0
Current children cumulated CPU time: 3232.55 s
Current children cumulated vsize: 2680592 KiB
Current children cumulated memory: 2236436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.18 5/265 56538
/proc/meminfo: memFree=99153316/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=2769340 memory=2329900 CPUtime=3289.59 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 665777 0 0 0 324979 3980 0 0 20 0 1 0 56016427 2835804160 582475 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 692335 582475 2368 1147 0 679762 0
Current children cumulated CPU time: 3292.21 s
Current children cumulated vsize: 2773532 KiB
Current children cumulated memory: 2332972 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/264 56542
/proc/meminfo: memFree=97806672/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3293668 memory=2583184 CPUtime=3348.9 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 718738 0 0 0 330835 4055 0 0 20 0 1 0 56016427 3372716032 645796 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 823417 645796 2368 1147 0 810844 0
Current children cumulated CPU time: 3351.52 s
Current children cumulated vsize: 3297860 KiB
Current children cumulated memory: 2586256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/264 56544
/proc/meminfo: memFree=96588504/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3297376 memory=2588944 CPUtime=3408.55 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 720629 0 0 0 336742 4113 0 0 20 0 1 0 56016427 3376513024 647236 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 824344 647236 2368 1147 0 811771 0
Current children cumulated CPU time: 3411.17 s
Current children cumulated vsize: 3301568 KiB
Current children cumulated memory: 2592016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/267 56549
/proc/meminfo: memFree=95177064/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3298316 memory=2592912 CPUtime=3468.21 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 723064 0 0 0 342646 4175 0 0 20 0 1 0 56016427 3377475584 648228 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 824579 648228 2368 1147 0 812006 0
Current children cumulated CPU time: 3470.83 s
Current children cumulated vsize: 3302508 KiB
Current children cumulated memory: 2595984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/267 56551
/proc/meminfo: memFree=93784516/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3299192 memory=2597648 CPUtime=3527.86 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 724883 0 0 0 348547 4239 0 0 20 0 1 0 56016427 3378372608 649412 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 824798 649412 2368 1147 0 812225 0
Current children cumulated CPU time: 3530.48 s
Current children cumulated vsize: 3303384 KiB
Current children cumulated memory: 2600720 KiB
[startup+3642.3 s]
/proc/loadavg: 4.25 4.16 4.18 5/268 56558
/proc/meminfo: memFree=92678240/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3299192 memory=2599312 CPUtime=3587.48 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 728505 0 0 0 354471 4277 0 0 20 0 1 0 56016427 3378372608 649828 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 824798 649828 2368 1147 0 812225 0
Current children cumulated CPU time: 3590.1 s
Current children cumulated vsize: 3303384 KiB
Current children cumulated memory: 2602384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3652.3 s]
/proc/loadavg: 4.21 4.16 4.18 5/265 56559
/proc/meminfo: memFree=92529256/131382112 swapFree=33009904/33010684
[pid=55986] ppid=55983 vsize=4192 memory=3072 CPUtime=2.62 cores=1,3
/proc/55986/stat : 55986 (run-opt-break-l) S 55983 55986 54941 0 -1 4194304 243 12661 0 0 0 0 252 10 20 0 1 0 56016153 4292608 768 18446744073709551615 94187472482304 94187473376837 140732317261248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94187473615888 94187473663632 94187474092032 140732317268245 140732317268446 140732317268446 140732317274048 0
/proc/55986/statm: 1048 768 704 219 0 110 0
[pid=55989] ppid=55986 vsize=3299324 memory=2599952 CPUtime=3597.45 cores=1,3
/proc/55989/stat : 55989 (roundingsat) R 55986 55986 54941 0 -1 4194304 728921 0 0 0 355463 4282 0 0 20 0 1 0 56016427 3378507776 649988 18446744073709551615 4227072 8923433 140728818453840 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29982720 140728818456852 140728818457128 140728818457128 140728818462698 0
/proc/55989/statm: 824831 649988 2368 1147 0 812258 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3303516 KiB
Current children cumulated memory: 2603024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3652.31 s]
# the end of solver process 55986 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.52741 s, system=0.109715 s
[startup+3652.46 s]
# the end of solver process 55989 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.18 s, system=43.0205 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+3652.4 s]*
/proc/loadavg: 4.21 4.16 4.18 5/264 56559
/proc/meminfo: memFree=94078320/131382112 swapFree=33009904/33010684
Current cumulated CPU time of completed processes: 2.63712 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3652.46
CPU time (s): 3600.2
CPU user time (s): 3557.18
CPU system time (s): 43.0205
CPU usage (%): 98.5692
Max. virtual memory (cumulated for all children) (KiB): 3303516
Max. memory (cumulated for all children) (KiB): 2603024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.18
system time used= 43.0205
maximum resident set size= 2600464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 741919
page faults= 1
swaps= 0
block input operations= 4304
block output operations= 36792104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4891
involuntary context switches= 10250
# summary of solver processes directly reported to runsolver:
# pid: 55986,55989
# total CPU time (s): 3600.2
# total CPU user time (s): 3557.18
# total CPU system time (s): 43.0205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3163 second user time and 39.947 second system time
The end
Begin job on nodeC001 at 2025-07-01 22:56:13
IDJOB=4498987
IDBENCH=148768
IDSOLVER=3360
FILE ID=nodeC001/4498987-1751403372
RUNJOBID= nodeC001-1751398041-54956
SLURM_JOB_ID= 9598279
Free space on /tmp= 432668 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498987-1751403372/watcher-4498987-1751403372 -o /tmp/evaluation-result-4498987-1751403372/solver-4498987-1751403372 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751398041-54956 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4498987-1751403372.opb PROOFDIR/proof-4498987-1751403372
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=501333302
nodeC001 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 : 3504.801
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.49
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.243
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.49
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.415
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.49
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 : 1197.168
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.49
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 : 3662.331
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.49
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 : 3618.638
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.49
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.803
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 57682604 kB
MemAvailable: 103434956 kB
Buffers: 1668 kB
Cached: 46502068 kB
SwapCached: 20 kB
Active: 26545664 kB
Inactive: 46203836 kB
Active(anon): 26241016 kB
Inactive(anon): 22652 kB
Active(file): 304648 kB
Inactive(file): 46181184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7247208 kB
Writeback: 0 kB
AnonPages: 26248824 kB
Mapped: 116636 kB
Shmem: 17896 kB
KReclaimable: 211908 kB
Slab: 523372 kB
SReclaimable: 211908 kB
SUnreclaim: 311464 kB
KernelStack: 4256 kB
PageTables: 55104 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 28140524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149704 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6330368 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC001 at 2025-07-01 23:57:05