0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4498985-1751404890.opb'
0.00/0.05 c read 0.79MB (29.36ms)
0.00/0.05 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.06 c output proof to 'PROOFDIR/proof-4498985-1751404890'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 44] (27.18ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.07/0.12 c probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.30 c probe for row symmetry (limit=64, splits=16.78M)
0.18/0.30 c recursing 378 blocks of candidate 9x1872r
0.18/0.32 c found row 3x18, generating row predicate
0.28/0.36 c found row 9x1872, generating row predicate
0.28/0.36 c (269.01ms)
0.28/0.36 c
0.28/0.36 c detect symmetries on remainder
0.28/0.36 c [graph: #vertices 50589 #edges 228420]
0.28/0.36 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.49/0.55 c [group: #symmetries 9.77*10^218 #generators 302] (188.43ms)
0.49/0.55 c
0.49/0.55 c optimize generators (opt_passes=64, conjugate_limit=256)
0.66/0.71 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.76/0.85 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.86/0.95 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
0.97/1.05 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
0.97/1.06 c ran it=0, +gens=84
1.35/1.41 c con best_support=28, best_gens=134, +gens=246
1.35/1.41 c (862.81ms)
1.35/1.41 c
1.35/1.41 c finalize break order and special generators
1.35/1.42 c
1.35/1.42 c add generic predicates (break_depth=20)
1.35/1.43 c added predicates for 632 generators (12.61ms)
2.45/2.54 c
2.45/2.54 c generation finished
2.45/2.54 c [sbp: #constraints 48408 #add_vars 16106]
2.45/2.54 c
2.45/2.54 c write result to 'HOME/instance-4498985-1751404890.opb.pre'
2.45/2.54 c wrote 2.64MB (6.24ms)
2.45/2.54 c ------------------------------------------------------------------
2.45/2.54 c 1121.40ms 44.43% other
2.45/2.54 c 862.81ms 34.18% optimize_gens
2.45/2.54 c 269.01ms 10.66% detect_special
2.45/2.54 c 188.43ms 7.47% detect_generic
2.45/2.54 c 29.35ms 1.16% parse
2.45/2.54 c 27.18ms 1.08% approx_orbits
2.45/2.54 c 12.61ms 0.50% break_generic
2.45/2.54 c 6.97ms 0.28% finalize_order
2.45/2.54 c 6.24ms 0.25% output
2.45/2.54 c ───────────────────────────────────────────────
2.45/2.54 c 2524.01ms 100% total
2.45/2.54 c ------------------------------------------------------------------
2.51/2.66 c RoundingSat 2
2.51/2.66 c branch pb25
2.51/2.66 c commit 63f22ad
2.86/3.07 c #variables 24530 #constraints 57562
2.86/3.07 c objective is ce32
3.15/3.38 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.15/3.38 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
3.15/3.38 c bounds - >= 0 @ 0.633152
5.85/6.03 c #Conflicts: 1000 | #Constraints: 58562
5.85/6.03 c #Conflicts: 2000 | #Constraints: 59563
5.85/6.03 c INPROCESSING
5.85/6.03 c GARBAGE COLLECT
5.85/6.03 c rational objective 9
11.12/11.35 c #Conflicts: 3000 | #Constraints: 51155
11.12/11.35 c #Conflicts: 4000 | #Constraints: 52155
11.12/11.35 c INPROCESSING
11.12/11.35 c GARBAGE COLLECT
11.12/11.35 c rational objective 9
13.22/13.41 c #Conflicts: 5000 | #Constraints: 51558
13.22/13.41 c #Conflicts: 6000 | #Constraints: 52559
13.22/13.41 c INPROCESSING
13.22/13.41 c GARBAGE COLLECT
13.22/13.41 c rational objective 9
15.82/16.02 c #Conflicts: 7000 | #Constraints: 51561
15.82/16.02 c #Conflicts: 8000 | #Constraints: 52562
15.82/16.02 c #Conflicts: 9000 | #Constraints: 53565
15.82/16.02 c INPROCESSING
15.82/16.02 c GARBAGE COLLECT
15.82/16.02 c rational objective 9
20.19/20.40 c #Conflicts: 10000 | #Constraints: 52266
20.19/20.40 c #Conflicts: 11000 | #Constraints: 53266
20.19/20.40 c #Conflicts: 12000 | #Constraints: 54267
20.19/20.40 c INPROCESSING
20.19/20.40 c GARBAGE COLLECT
20.19/20.40 c rational objective 9
29.88/30.16 c #Conflicts: 13000 | #Constraints: 52707
29.88/30.16 c #Conflicts: 14000 | #Constraints: 53708
29.88/30.16 c #Conflicts: 15000 | #Constraints: 54709
29.88/30.16 c INPROCESSING
29.88/30.16 c GARBAGE COLLECT
29.88/30.16 c #Conflicts: 16000 | #Constraints: 52929
29.88/30.16 c #Conflicts: 17000 | #Constraints: 53929
29.88/30.16 c #Conflicts: 18000 | #Constraints: 54929
29.88/30.16 c INPROCESSING
29.88/30.16 c GARBAGE COLLECT
29.88/30.16 c rational objective 9
33.79/34.29 c #Conflicts: 19000 | #Constraints: 52959
33.79/34.29 c #Conflicts: 20000 | #Constraints: 53960
33.79/34.29 c #Conflicts: 21000 | #Constraints: 54962
33.79/34.29 c INPROCESSING
33.79/34.29 c GARBAGE COLLECT
33.79/34.29 c rational objective 9
39.18/39.61 c #Conflicts: 22000 | #Constraints: 52744
39.18/39.61 c #Conflicts: 23000 | #Constraints: 53744
39.18/39.61 c #Conflicts: 24000 | #Constraints: 54744
39.18/39.61 c #Conflicts: 25000 | #Constraints: 55744
39.18/39.61 c INPROCESSING
39.18/39.61 c GARBAGE COLLECT
39.18/39.61 c rational objective 9
45.86/46.36 c #Conflicts: 26000 | #Constraints: 53325
45.86/46.36 c #Conflicts: 27000 | #Constraints: 54326
45.86/46.36 c #Conflicts: 28000 | #Constraints: 55328
45.86/46.36 c #Conflicts: 29000 | #Constraints: 56332
45.86/46.36 c INPROCESSING
45.86/46.36 c GARBAGE COLLECT
45.86/46.36 c rational objective 9
51.55/52.06 c #Conflicts: 30000 | #Constraints: 53733
51.55/52.06 c #Conflicts: 31000 | #Constraints: 54738
51.55/52.06 c #Conflicts: 32000 | #Constraints: 55741
51.55/52.06 c #Conflicts: 33000 | #Constraints: 56741
51.55/52.06 c INPROCESSING
51.55/52.06 c GARBAGE COLLECT
51.55/52.06 c rational objective 9
60.52/61.10 c #Conflicts: 34000 | #Constraints: 53862
60.52/61.10 c #Conflicts: 35000 | #Constraints: 54862
60.52/61.10 c #Conflicts: 36000 | #Constraints: 55864
60.52/61.10 c #Conflicts: 37000 | #Constraints: 56865
60.52/61.10 c INPROCESSING
60.52/61.10 c GARBAGE COLLECT
60.52/61.10 c rational objective 9
79.10/80.01 c #Conflicts: 38000 | #Constraints: 53877
79.10/80.01 c #Conflicts: 39000 | #Constraints: 54877
79.10/80.01 c #Conflicts: 40000 | #Constraints: 55878
79.10/80.01 c #Conflicts: 41000 | #Constraints: 56879
79.10/80.01 c INPROCESSING
79.10/80.01 c GARBAGE COLLECT
79.10/80.01 c rational objective 9
85.77/86.77 c #Conflicts: 42000 | #Constraints: 53687
85.77/86.77 c #Conflicts: 43000 | #Constraints: 54687
85.77/86.77 c #Conflicts: 44000 | #Constraints: 55687
85.77/86.77 c #Conflicts: 45000 | #Constraints: 56687
85.77/86.77 c #Conflicts: 46000 | #Constraints: 57687
85.77/86.77 c INPROCESSING
85.77/86.77 c GARBAGE COLLECT
85.77/86.77 c rational objective 9
93.33/94.35 c #Conflicts: 47000 | #Constraints: 54277
93.33/94.35 c #Conflicts: 48000 | #Constraints: 55278
93.33/94.35 c #Conflicts: 49000 | #Constraints: 56280
93.33/94.35 c #Conflicts: 50000 | #Constraints: 57282
93.33/94.35 c #Conflicts: 51000 | #Constraints: 58284
93.33/94.35 c INPROCESSING
93.33/94.35 c GARBAGE COLLECT
93.33/94.35 c rational objective 9
104.28/105.41 c #Conflicts: 52000 | #Constraints: 54677
104.28/105.41 c #Conflicts: 53000 | #Constraints: 55678
104.28/105.41 c #Conflicts: 54000 | #Constraints: 56680
104.28/105.41 c #Conflicts: 55000 | #Constraints: 57683
104.28/105.41 c #Conflicts: 56000 | #Constraints: 58685
104.28/105.41 c INPROCESSING
104.28/105.41 c GARBAGE COLLECT
104.28/105.41 c rational objective 9
116.86/118.04 c #Conflicts: 57000 | #Constraints: 54890
116.86/118.04 c #Conflicts: 58000 | #Constraints: 55890
116.86/118.04 c #Conflicts: 59000 | #Constraints: 56890
116.86/118.04 c #Conflicts: 60000 | #Constraints: 57890
116.86/118.04 c #Conflicts: 61000 | #Constraints: 58891
116.86/118.04 c INPROCESSING
116.86/118.04 c GARBAGE COLLECT
116.86/118.04 c rational objective 9
125.31/126.58 c #Conflicts: 62000 | #Constraints: 54885
125.31/126.58 c #Conflicts: 63000 | #Constraints: 55886
125.31/126.58 c #Conflicts: 64000 | #Constraints: 56886
125.31/126.58 c #Conflicts: 65000 | #Constraints: 57889
125.31/126.58 c #Conflicts: 66000 | #Constraints: 58889
125.31/126.58 c INPROCESSING
125.31/126.58 c GARBAGE COLLECT
125.31/126.58 c rational objective 9
135.51/136.90 c #Conflicts: 67000 | #Constraints: 54691
135.51/136.90 c #Conflicts: 68000 | #Constraints: 55692
135.51/136.90 c #Conflicts: 69000 | #Constraints: 56695
135.51/136.90 c #Conflicts: 70000 | #Constraints: 57695
135.51/136.90 c #Conflicts: 71000 | #Constraints: 58696
135.51/136.90 c #Conflicts: 72000 | #Constraints: 59698
135.51/136.90 c INPROCESSING
135.51/136.90 c GARBAGE COLLECT
135.51/136.90 c rational objective 9
146.68/148.16 c #Conflicts: 73000 | #Constraints: 55283
146.68/148.16 c #Conflicts: 74000 | #Constraints: 56283
146.68/148.16 c #Conflicts: 75000 | #Constraints: 57283
146.68/148.16 c #Conflicts: 76000 | #Constraints: 58283
146.68/148.16 c #Conflicts: 77000 | #Constraints: 59284
146.68/148.16 c #Conflicts: 78000 | #Constraints: 60285
146.68/148.16 c INPROCESSING
146.68/148.16 c GARBAGE COLLECT
146.68/148.16 c rational objective 9
159.64/161.37 c #Conflicts: 79000 | #Constraints: 55574
159.64/161.37 c #Conflicts: 80000 | #Constraints: 56575
159.64/161.37 c #Conflicts: 81000 | #Constraints: 57575
159.64/161.37 c #Conflicts: 82000 | #Constraints: 58576
159.64/161.37 c #Conflicts: 83000 | #Constraints: 59578
159.64/161.37 c #Conflicts: 84000 | #Constraints: 60578
159.64/161.37 c INPROCESSING
159.64/161.37 c GARBAGE COLLECT
159.64/161.37 c rational objective 9
179.59/181.39 c #Conflicts: 85000 | #Constraints: 55786
179.59/181.39 c #Conflicts: 86000 | #Constraints: 56787
179.59/181.39 c #Conflicts: 87000 | #Constraints: 57787
179.59/181.39 c #Conflicts: 88000 | #Constraints: 58788
179.59/181.39 c #Conflicts: 89000 | #Constraints: 59789
179.59/181.39 c #Conflicts: 90000 | #Constraints: 60791
179.59/181.39 c INPROCESSING
179.59/181.39 c GARBAGE COLLECT
179.59/181.39 c rational objective 9
195.28/197.34 c #Conflicts: 91000 | #Constraints: 55803
195.28/197.34 c #Conflicts: 92000 | #Constraints: 56804
195.28/197.34 c #Conflicts: 93000 | #Constraints: 57808
195.28/197.34 c #Conflicts: 94000 | #Constraints: 58809
195.28/197.34 c #Conflicts: 95000 | #Constraints: 59811
195.28/197.34 c #Conflicts: 96000 | #Constraints: 60812
195.28/197.34 c INPROCESSING
195.28/197.34 c GARBAGE COLLECT
195.28/197.34 c rational objective 9
212.76/215.20 c #Conflicts: 97000 | #Constraints: 55614
212.76/215.20 c #Conflicts: 98000 | #Constraints: 56614
212.76/215.20 c #Conflicts: 99000 | #Constraints: 57615
212.76/215.20 c #Conflicts: 100000 | #Constraints: 58615
212.76/215.20 c #Conflicts: 101000 | #Constraints: 59616
212.76/215.20 c #Conflicts: 102000 | #Constraints: 60616
212.76/215.20 c #Conflicts: 103000 | #Constraints: 61617
212.76/215.20 c INPROCESSING
212.76/215.20 c GARBAGE COLLECT
212.76/215.20 c rational objective 9
225.70/228.43 c #Conflicts: 104000 | #Constraints: 56206
225.70/228.43 c #Conflicts: 105000 | #Constraints: 57206
225.70/228.43 c #Conflicts: 106000 | #Constraints: 58208
225.70/228.43 c #Conflicts: 107000 | #Constraints: 59209
225.70/228.43 c #Conflicts: 108000 | #Constraints: 60212
225.70/228.43 c #Conflicts: 109000 | #Constraints: 61214
225.70/228.43 c #Conflicts: 110000 | #Constraints: 62218
225.70/228.43 c INPROCESSING
225.70/228.43 c GARBAGE COLLECT
225.70/228.43 c rational objective 9
238.32/241.14 c #Conflicts: 111000 | #Constraints: 56624
238.32/241.14 c #Conflicts: 112000 | #Constraints: 57626
238.32/241.14 c #Conflicts: 113000 | #Constraints: 58628
238.32/241.14 c #Conflicts: 114000 | #Constraints: 59628
238.32/241.14 c #Conflicts: 115000 | #Constraints: 60629
238.32/241.14 c #Conflicts: 116000 | #Constraints: 61630
238.32/241.14 c #Conflicts: 117000 | #Constraints: 62630
238.32/241.14 c INPROCESSING
238.32/241.14 c GARBAGE COLLECT
238.32/241.14 c rational objective 9
249.87/252.79 c #Conflicts: 118000 | #Constraints: 56808
249.87/252.79 c #Conflicts: 119000 | #Constraints: 57808
249.87/252.79 c #Conflicts: 120000 | #Constraints: 58809
249.87/252.79 c #Conflicts: 121000 | #Constraints: 59810
249.87/252.79 c #Conflicts: 122000 | #Constraints: 60811
249.87/252.79 c #Conflicts: 123000 | #Constraints: 61813
249.87/252.79 c #Conflicts: 124000 | #Constraints: 62814
249.87/252.79 c INPROCESSING
249.87/252.79 c GARBAGE COLLECT
249.87/252.79 c rational objective 9
260.73/263.69 c #Conflicts: 125000 | #Constraints: 56814
260.73/263.69 c #Conflicts: 126000 | #Constraints: 57815
260.73/263.69 c #Conflicts: 127000 | #Constraints: 58815
260.73/263.69 c #Conflicts: 128000 | #Constraints: 59815
260.73/263.69 c #Conflicts: 129000 | #Constraints: 60816
260.73/263.69 c #Conflicts: 130000 | #Constraints: 61818
260.73/263.69 c #Conflicts: 131000 | #Constraints: 62818
260.73/263.69 c INPROCESSING
260.73/263.69 c GARBAGE COLLECT
260.73/263.69 c rational objective 9
279.68/282.73 c #Conflicts: 132000 | #Constraints: 56600
279.68/282.73 c #Conflicts: 133000 | #Constraints: 57601
279.68/282.73 c #Conflicts: 134000 | #Constraints: 58601
279.68/282.73 c #Conflicts: 135000 | #Constraints: 59603
279.68/282.73 c #Conflicts: 136000 | #Constraints: 60605
279.68/282.73 c #Conflicts: 137000 | #Constraints: 61606
279.68/282.73 c #Conflicts: 138000 | #Constraints: 62608
279.68/282.73 c #Conflicts: 139000 | #Constraints: 63609
279.68/282.73 c INPROCESSING
279.68/282.73 c GARBAGE COLLECT
279.68/282.73 c rational objective 9
305.26/308.60 c #Conflicts: 140000 | #Constraints: 57224
305.26/308.60 c #Conflicts: 141000 | #Constraints: 58224
305.26/308.60 c #Conflicts: 142000 | #Constraints: 59225
305.26/308.60 c #Conflicts: 143000 | #Constraints: 60225
305.26/308.60 c #Conflicts: 144000 | #Constraints: 61225
305.26/308.60 c #Conflicts: 145000 | #Constraints: 62225
305.26/308.60 c #Conflicts: 146000 | #Constraints: 63225
305.26/308.60 c #Conflicts: 147000 | #Constraints: 64226
305.26/308.60 c INPROCESSING
305.26/308.60 c GARBAGE COLLECT
305.26/308.60 c rational objective 9
318.38/321.88 c #Conflicts: 148000 | #Constraints: 57613
318.38/321.88 c #Conflicts: 149000 | #Constraints: 58614
318.38/321.88 c #Conflicts: 150000 | #Constraints: 59615
318.38/321.88 c #Conflicts: 151000 | #Constraints: 60617
318.38/321.88 c #Conflicts: 152000 | #Constraints: 61619
318.38/321.88 c #Conflicts: 153000 | #Constraints: 62620
318.38/321.88 c #Conflicts: 154000 | #Constraints: 63621
318.38/321.88 c #Conflicts: 155000 | #Constraints: 64622
318.38/321.88 c INPROCESSING
318.38/321.88 c GARBAGE COLLECT
318.38/321.88 c rational objective 9
334.33/337.88 c #Conflicts: 156000 | #Constraints: 57799
334.33/337.88 c #Conflicts: 157000 | #Constraints: 58799
334.33/337.88 c #Conflicts: 158000 | #Constraints: 59802
334.33/337.88 c #Conflicts: 159000 | #Constraints: 60805
334.33/337.88 c #Conflicts: 160000 | #Constraints: 61805
334.33/337.88 c #Conflicts: 161000 | #Constraints: 62807
334.33/337.88 c #Conflicts: 162000 | #Constraints: 63807
334.33/337.88 c #Conflicts: 163000 | #Constraints: 64808
334.33/337.88 c INPROCESSING
334.33/337.88 c GARBAGE COLLECT
334.33/337.88 c rational objective 9
350.65/354.22 c #Conflicts: 164000 | #Constraints: 57798
350.65/354.22 c #Conflicts: 165000 | #Constraints: 58799
350.65/354.22 c #Conflicts: 166000 | #Constraints: 59802
350.65/354.22 c #Conflicts: 167000 | #Constraints: 60803
350.65/354.22 c #Conflicts: 168000 | #Constraints: 61805
350.65/354.22 c #Conflicts: 169000 | #Constraints: 62807
350.65/354.22 c #Conflicts: 170000 | #Constraints: 63808
350.65/354.22 c #Conflicts: 171000 | #Constraints: 64809
350.65/354.22 c INPROCESSING
350.65/354.22 c GARBAGE COLLECT
350.65/354.22 c rational objective 9
370.03/374.13 c #Conflicts: 172000 | #Constraints: 57586
370.03/374.13 c #Conflicts: 173000 | #Constraints: 58586
370.03/374.13 c #Conflicts: 174000 | #Constraints: 59586
370.03/374.13 c #Conflicts: 175000 | #Constraints: 60587
370.03/374.13 c #Conflicts: 176000 | #Constraints: 61587
370.03/374.13 c #Conflicts: 177000 | #Constraints: 62587
370.03/374.13 c #Conflicts: 178000 | #Constraints: 63588
370.03/374.13 c #Conflicts: 179000 | #Constraints: 64588
370.03/374.13 c #Conflicts: 180000 | #Constraints: 65589
370.03/374.13 c INPROCESSING
370.03/374.13 c GARBAGE COLLECT
370.03/374.13 c rational objective 9
413.45/417.81 c #Conflicts: 181000 | #Constraints: 58195
413.45/417.81 c #Conflicts: 182000 | #Constraints: 59195
413.45/417.81 c #Conflicts: 183000 | #Constraints: 60196
413.45/417.81 c #Conflicts: 184000 | #Constraints: 61204
413.45/417.81 c #Conflicts: 185000 | #Constraints: 62205
413.45/417.81 c #Conflicts: 186000 | #Constraints: 63205
413.45/417.81 c #Conflicts: 187000 | #Constraints: 64207
413.45/417.81 c #Conflicts: 188000 | #Constraints: 65208
413.45/417.81 c #Conflicts: 189000 | #Constraints: 66209
413.45/417.81 c INPROCESSING
413.45/417.81 c GARBAGE COLLECT
413.45/417.81 c #Conflicts: 190000 | #Constraints: 58604
413.45/417.81 c #Conflicts: 191000 | #Constraints: 59604
413.45/417.81 c #Conflicts: 192000 | #Constraints: 60605
413.45/417.81 c #Conflicts: 193000 | #Constraints: 61605
413.45/417.81 c #Conflicts: 194000 | #Constraints: 62605
413.45/417.81 c #Conflicts: 195000 | #Constraints: 63605
413.45/417.81 c #Conflicts: 196000 | #Constraints: 64605
413.45/417.81 c #Conflicts: 197000 | #Constraints: 65606
413.45/417.81 c #Conflicts: 198000 | #Constraints: 66607
413.45/417.81 c INPROCESSING
413.45/417.81 c GARBAGE COLLECT
413.45/417.81 c rational objective 9
439.34/443.95 c #Conflicts: 199000 | #Constraints: 58781
439.34/443.95 c #Conflicts: 200000 | #Constraints: 59781
439.34/443.95 c #Conflicts: 201000 | #Constraints: 60781
439.34/443.95 c #Conflicts: 202000 | #Constraints: 61781
439.34/443.95 c #Conflicts: 203000 | #Constraints: 62781
439.34/443.95 c #Conflicts: 204000 | #Constraints: 63782
439.34/443.95 c #Conflicts: 205000 | #Constraints: 64782
439.34/443.95 c #Conflicts: 206000 | #Constraints: 65782
439.34/443.95 c #Conflicts: 207000 | #Constraints: 66782
439.34/443.95 c INPROCESSING
439.34/443.95 c GARBAGE COLLECT
439.34/443.95 c rational objective 9
460.89/465.70 c #Conflicts: 208000 | #Constraints: 58785
460.89/465.70 c #Conflicts: 209000 | #Constraints: 59786
460.89/465.70 c #Conflicts: 210000 | #Constraints: 60789
460.89/465.70 c #Conflicts: 211000 | #Constraints: 61790
460.89/465.70 c #Conflicts: 212000 | #Constraints: 62793
460.89/465.70 c #Conflicts: 213000 | #Constraints: 63795
460.89/465.70 c #Conflicts: 214000 | #Constraints: 64797
460.89/465.70 c #Conflicts: 215000 | #Constraints: 65799
460.89/465.70 c #Conflicts: 216000 | #Constraints: 66799
460.89/465.70 c INPROCESSING
460.89/465.70 c GARBAGE COLLECT
460.89/465.70 c rational objective 9
503.81/509.46 c #Conflicts: 217000 | #Constraints: 58570
503.81/509.46 c #Conflicts: 218000 | #Constraints: 59571
503.81/509.46 c #Conflicts: 219000 | #Constraints: 60575
503.81/509.46 c #Conflicts: 220000 | #Constraints: 61580
503.81/509.46 c #Conflicts: 221000 | #Constraints: 62580
503.81/509.46 c #Conflicts: 222000 | #Constraints: 63581
503.81/509.46 c #Conflicts: 223000 | #Constraints: 64583
503.81/509.46 c #Conflicts: 224000 | #Constraints: 65583
503.81/509.46 c #Conflicts: 225000 | #Constraints: 66584
503.81/509.46 c #Conflicts: 226000 | #Constraints: 67585
503.81/509.46 c INPROCESSING
503.81/509.46 c GARBAGE COLLECT
503.81/509.46 c rational objective 9
535.05/541.14 c #Conflicts: 227000 | #Constraints: 59220
535.05/541.14 c #Conflicts: 228000 | #Constraints: 60221
535.05/541.14 c #Conflicts: 229000 | #Constraints: 61221
535.05/541.14 c #Conflicts: 230000 | #Constraints: 62223
535.05/541.14 c #Conflicts: 231000 | #Constraints: 63225
535.05/541.14 c #Conflicts: 232000 | #Constraints: 64226
535.05/541.14 c #Conflicts: 233000 | #Constraints: 65227
535.05/541.14 c #Conflicts: 234000 | #Constraints: 66230
535.05/541.14 c #Conflicts: 235000 | #Constraints: 67232
535.05/541.14 c #Conflicts: 236000 | #Constraints: 68232
535.05/541.14 c INPROCESSING
535.05/541.14 c GARBAGE COLLECT
535.05/541.14 c rational objective 9
557.77/565.12 c #Conflicts: 237000 | #Constraints: 59622
557.77/565.12 c #Conflicts: 238000 | #Constraints: 60623
557.77/565.12 c #Conflicts: 239000 | #Constraints: 61624
557.77/565.12 c #Conflicts: 240000 | #Constraints: 62628
557.77/565.12 c #Conflicts: 241000 | #Constraints: 63631
557.77/565.12 c #Conflicts: 242000 | #Constraints: 64634
557.77/565.12 c #Conflicts: 243000 | #Constraints: 65636
557.77/565.12 c #Conflicts: 244000 | #Constraints: 66636
557.77/565.12 c #Conflicts: 245000 | #Constraints: 67638
557.77/565.12 c #Conflicts: 246000 | #Constraints: 68640
557.77/565.12 c INPROCESSING
557.77/565.12 c GARBAGE COLLECT
557.77/565.12 c rational objective 9
584.51/592.23 c #Conflicts: 247000 | #Constraints: 59807
584.51/592.23 c #Conflicts: 248000 | #Constraints: 60809
584.51/592.23 c #Conflicts: 249000 | #Constraints: 61811
584.51/592.23 c #Conflicts: 250000 | #Constraints: 62812
584.51/592.23 c #Conflicts: 251000 | #Constraints: 63813
584.51/592.23 c #Conflicts: 252000 | #Constraints: 64813
584.51/592.23 c #Conflicts: 253000 | #Constraints: 65814
584.51/592.23 c #Conflicts: 254000 | #Constraints: 66815
584.51/592.23 c #Conflicts: 255000 | #Constraints: 67815
584.51/592.23 c #Conflicts: 256000 | #Constraints: 68816
584.51/592.23 c INPROCESSING
584.51/592.23 c GARBAGE COLLECT
584.51/592.23 c rational objective 9
614.03/621.91 c #Conflicts: 257000 | #Constraints: 59813
614.03/621.91 c #Conflicts: 258000 | #Constraints: 60813
614.03/621.91 c #Conflicts: 259000 | #Constraints: 61813
614.03/621.91 c #Conflicts: 260000 | #Constraints: 62813
614.03/621.91 c #Conflicts: 261000 | #Constraints: 63814
614.03/621.91 c #Conflicts: 262000 | #Constraints: 64815
614.03/621.91 c #Conflicts: 263000 | #Constraints: 65817
614.03/621.91 c #Conflicts: 264000 | #Constraints: 66817
614.03/621.91 c #Conflicts: 265000 | #Constraints: 67819
614.03/621.91 c #Conflicts: 266000 | #Constraints: 68820
614.03/621.91 c INPROCESSING
614.03/621.91 c GARBAGE COLLECT
614.03/621.91 c rational objective 9
638.36/648.05 c #Conflicts: 267000 | #Constraints: 59631
638.36/648.05 c #Conflicts: 268000 | #Constraints: 60631
638.36/648.05 c #Conflicts: 269000 | #Constraints: 61634
638.36/648.05 c #Conflicts: 270000 | #Constraints: 62637
638.36/648.05 c #Conflicts: 271000 | #Constraints: 63637
638.36/648.05 c #Conflicts: 272000 | #Constraints: 64637
638.36/648.05 c #Conflicts: 273000 | #Constraints: 65640
638.36/648.05 c #Conflicts: 274000 | #Constraints: 66641
638.36/648.05 c #Conflicts: 275000 | #Constraints: 67641
638.36/648.05 c #Conflicts: 276000 | #Constraints: 68642
638.36/648.05 c #Conflicts: 277000 | #Constraints: 69643
638.36/648.05 c INPROCESSING
638.36/648.05 c GARBAGE COLLECT
638.36/648.05 c rational objective 9
667.59/677.42 c #Conflicts: 278000 | #Constraints: 60209
667.59/677.42 c #Conflicts: 279000 | #Constraints: 61209
667.59/677.42 c #Conflicts: 280000 | #Constraints: 62210
667.59/677.42 c #Conflicts: 281000 | #Constraints: 63211
667.59/677.42 c #Conflicts: 282000 | #Constraints: 64212
667.59/677.42 c #Conflicts: 283000 | #Constraints: 65213
667.59/677.42 c #Conflicts: 284000 | #Constraints: 66214
667.59/677.42 c #Conflicts: 285000 | #Constraints: 67214
667.59/677.42 c #Conflicts: 286000 | #Constraints: 68214
667.59/677.42 c #Conflicts: 287000 | #Constraints: 69215
667.59/677.42 c #Conflicts: 288000 | #Constraints: 70216
667.59/677.42 c INPROCESSING
667.59/677.42 c GARBAGE COLLECT
667.59/677.42 c rational objective 9
689.57/699.61 c #Conflicts: 289000 | #Constraints: 60581
689.57/699.61 c #Conflicts: 290000 | #Constraints: 61581
689.57/699.61 c #Conflicts: 291000 | #Constraints: 62583
689.57/699.61 c #Conflicts: 292000 | #Constraints: 63584
689.57/699.61 c #Conflicts: 293000 | #Constraints: 64586
689.57/699.61 c #Conflicts: 294000 | #Constraints: 65587
689.57/699.61 c #Conflicts: 295000 | #Constraints: 66587
689.57/699.61 c #Conflicts: 296000 | #Constraints: 67588
689.57/699.61 c #Conflicts: 297000 | #Constraints: 68589
689.57/699.61 c #Conflicts: 298000 | #Constraints: 69591
689.57/699.61 c #Conflicts: 299000 | #Constraints: 70593
689.57/699.61 c INPROCESSING
689.57/699.61 c GARBAGE COLLECT
689.57/699.61 c rational objective 9
722.61/732.81 c #Conflicts: 300000 | #Constraints: 60791
722.61/732.81 c #Conflicts: 301000 | #Constraints: 61794
722.61/732.81 c #Conflicts: 302000 | #Constraints: 62796
722.61/732.81 c #Conflicts: 303000 | #Constraints: 63798
722.61/732.81 c #Conflicts: 304000 | #Constraints: 64800
722.61/732.81 c #Conflicts: 305000 | #Constraints: 65800
722.61/732.81 c #Conflicts: 306000 | #Constraints: 66800
722.61/732.81 c #Conflicts: 307000 | #Constraints: 67801
722.61/732.81 c #Conflicts: 308000 | #Constraints: 68801
722.61/732.81 c #Conflicts: 309000 | #Constraints: 69801
722.61/732.81 c #Conflicts: 310000 | #Constraints: 70801
722.61/732.81 c INPROCESSING
722.61/732.81 c GARBAGE COLLECT
722.61/732.81 c rational objective 9
761.58/773.55 c #Conflicts: 311000 | #Constraints: 60794
761.58/773.55 c #Conflicts: 312000 | #Constraints: 61794
761.58/773.55 c #Conflicts: 313000 | #Constraints: 62795
761.58/773.55 c #Conflicts: 314000 | #Constraints: 63795
761.58/773.55 c #Conflicts: 315000 | #Constraints: 64795
761.58/773.55 c #Conflicts: 316000 | #Constraints: 65796
761.58/773.55 c #Conflicts: 317000 | #Constraints: 66796
761.58/773.55 c #Conflicts: 318000 | #Constraints: 67797
761.58/773.55 c #Conflicts: 319000 | #Constraints: 68797
761.58/773.55 c #Conflicts: 320000 | #Constraints: 69797
761.58/773.55 c #Conflicts: 321000 | #Constraints: 70798
761.58/773.55 c INPROCESSING
761.58/773.55 c GARBAGE COLLECT
761.58/773.55 c rational objective 9
806.24/818.44 c #Conflicts: 322000 | #Constraints: 60584
806.24/818.44 c #Conflicts: 323000 | #Constraints: 61585
806.24/818.44 c #Conflicts: 324000 | #Constraints: 62593
806.24/818.44 c #Conflicts: 325000 | #Constraints: 63598
806.24/818.44 c #Conflicts: 326000 | #Constraints: 64600
806.24/818.44 c #Conflicts: 327000 | #Constraints: 65601
806.24/818.44 c #Conflicts: 328000 | #Constraints: 66601
806.24/818.44 c #Conflicts: 329000 | #Constraints: 67601
806.24/818.44 c #Conflicts: 330000 | #Constraints: 68602
806.24/818.44 c #Conflicts: 331000 | #Constraints: 69602
806.24/818.44 c #Conflicts: 332000 | #Constraints: 70602
806.24/818.44 c #Conflicts: 333000 | #Constraints: 71602
806.24/818.44 c INPROCESSING
806.24/818.44 c GARBAGE COLLECT
806.24/818.44 c rational objective 9
838.47/850.89 c #Conflicts: 334000 | #Constraints: 61194
838.47/850.89 c #Conflicts: 335000 | #Constraints: 62195
838.47/850.89 c #Conflicts: 336000 | #Constraints: 63196
838.47/850.89 c #Conflicts: 337000 | #Constraints: 64196
838.47/850.89 c #Conflicts: 338000 | #Constraints: 65196
838.47/850.89 c #Conflicts: 339000 | #Constraints: 66197
838.47/850.89 c #Conflicts: 340000 | #Constraints: 67198
838.47/850.89 c #Conflicts: 341000 | #Constraints: 68198
838.47/850.89 c #Conflicts: 342000 | #Constraints: 69199
838.47/850.89 c #Conflicts: 343000 | #Constraints: 70200
838.47/850.89 c #Conflicts: 344000 | #Constraints: 71201
838.47/850.89 c #Conflicts: 345000 | #Constraints: 72201
838.47/850.89 c INPROCESSING
838.47/850.89 c GARBAGE COLLECT
838.47/850.89 c rational objective 9
866.06/878.62 c #Conflicts: 346000 | #Constraints: 61611
866.06/878.62 c #Conflicts: 347000 | #Constraints: 62613
866.06/878.62 c #Conflicts: 348000 | #Constraints: 63616
866.06/878.62 c #Conflicts: 349000 | #Constraints: 64618
866.06/878.62 c #Conflicts: 350000 | #Constraints: 65620
866.06/878.62 c #Conflicts: 351000 | #Constraints: 66621
866.06/878.62 c #Conflicts: 352000 | #Constraints: 67621
866.06/878.62 c #Conflicts: 353000 | #Constraints: 68622
866.06/878.62 c #Conflicts: 354000 | #Constraints: 69623
866.06/878.62 c #Conflicts: 355000 | #Constraints: 70624
866.06/878.62 c #Conflicts: 356000 | #Constraints: 71624
866.06/878.62 c #Conflicts: 357000 | #Constraints: 72624
866.06/878.62 c INPROCESSING
866.06/878.62 c GARBAGE COLLECT
866.06/878.62 c rational objective 9
904.90/917.98 c #Conflicts: 358000 | #Constraints: 61820
904.90/917.98 c #Conflicts: 359000 | #Constraints: 62821
904.90/917.98 c #Conflicts: 360000 | #Constraints: 63822
904.90/917.98 c #Conflicts: 361000 | #Constraints: 64822
904.90/917.98 c #Conflicts: 362000 | #Constraints: 65822
904.90/917.98 c #Conflicts: 363000 | #Constraints: 66822
904.90/917.98 c #Conflicts: 364000 | #Constraints: 67823
904.90/917.98 c #Conflicts: 365000 | #Constraints: 68823
904.90/917.98 c #Conflicts: 366000 | #Constraints: 69823
904.90/917.98 c #Conflicts: 367000 | #Constraints: 70823
904.90/917.98 c #Conflicts: 368000 | #Constraints: 71824
904.90/917.98 c #Conflicts: 369000 | #Constraints: 72825
904.90/917.98 c INPROCESSING
904.90/917.98 c GARBAGE COLLECT
904.90/917.98 c rational objective 9
932.28/945.59 c #Conflicts: 370000 | #Constraints: 61816
932.28/945.59 c #Conflicts: 371000 | #Constraints: 62817
932.28/945.59 c #Conflicts: 372000 | #Constraints: 63818
932.28/945.59 c #Conflicts: 373000 | #Constraints: 64820
932.28/945.59 c #Conflicts: 374000 | #Constraints: 65821
932.28/945.59 c #Conflicts: 375000 | #Constraints: 66822
932.28/945.59 c #Conflicts: 376000 | #Constraints: 67822
932.28/945.59 c #Conflicts: 377000 | #Constraints: 68823
932.28/945.59 c #Conflicts: 378000 | #Constraints: 69824
932.28/945.59 c #Conflicts: 379000 | #Constraints: 70824
932.28/945.59 c #Conflicts: 380000 | #Constraints: 71825
932.28/945.59 c #Conflicts: 381000 | #Constraints: 72826
932.28/945.59 c INPROCESSING
932.28/945.59 c GARBAGE COLLECT
932.28/945.59 c rational objective 9
962.02/975.51 c #Conflicts: 382000 | #Constraints: 61596
962.02/975.51 c #Conflicts: 383000 | #Constraints: 62597
962.02/975.51 c #Conflicts: 384000 | #Constraints: 63599
962.02/975.51 c #Conflicts: 385000 | #Constraints: 64600
962.02/975.51 c #Conflicts: 386000 | #Constraints: 65603
962.02/975.51 c #Conflicts: 387000 | #Constraints: 66604
962.02/975.51 c #Conflicts: 388000 | #Constraints: 67606
962.02/975.51 c #Conflicts: 389000 | #Constraints: 68607
962.02/975.51 c #Conflicts: 390000 | #Constraints: 69608
962.02/975.51 c #Conflicts: 391000 | #Constraints: 70609
962.02/975.51 c #Conflicts: 392000 | #Constraints: 71610
962.02/975.51 c #Conflicts: 393000 | #Constraints: 72611
962.02/975.51 c #Conflicts: 394000 | #Constraints: 73612
962.02/975.51 c INPROCESSING
962.02/975.51 c GARBAGE COLLECT
962.02/975.51 c rational objective 9
1001.25/1015.07 c #Conflicts: 395000 | #Constraints: 62217
1001.25/1015.07 c #Conflicts: 396000 | #Constraints: 63219
1001.25/1015.07 c #Conflicts: 397000 | #Constraints: 64222
1001.25/1015.07 c #Conflicts: 398000 | #Constraints: 65225
1001.25/1015.07 c #Conflicts: 399000 | #Constraints: 66225
1001.25/1015.07 c #Conflicts: 400000 | #Constraints: 67227
1001.25/1015.07 c #Conflicts: 401000 | #Constraints: 68229
1001.25/1015.07 c #Conflicts: 402000 | #Constraints: 69229
1001.25/1015.07 c #Conflicts: 403000 | #Constraints: 70229
1001.25/1015.07 c #Conflicts: 404000 | #Constraints: 71230
1001.25/1015.07 c #Conflicts: 405000 | #Constraints: 72230
1001.25/1015.07 c #Conflicts: 406000 | #Constraints: 73230
1001.25/1015.07 c #Conflicts: 407000 | #Constraints: 74231
1001.25/1015.07 c INPROCESSING
1001.25/1015.07 c GARBAGE COLLECT
1001.25/1015.07 c rational objective 9
1032.98/1050.94 c #Conflicts: 408000 | #Constraints: 62612
1032.98/1050.94 c #Conflicts: 409000 | #Constraints: 63612
1032.98/1050.94 c #Conflicts: 410000 | #Constraints: 64613
1032.98/1050.94 c #Conflicts: 411000 | #Constraints: 65613
1032.98/1050.94 c #Conflicts: 412000 | #Constraints: 66613
1032.98/1050.94 c #Conflicts: 413000 | #Constraints: 67613
1032.98/1050.94 c #Conflicts: 414000 | #Constraints: 68614
1032.98/1050.94 c #Conflicts: 415000 | #Constraints: 69614
1032.98/1050.94 c #Conflicts: 416000 | #Constraints: 70615
1032.98/1050.94 c #Conflicts: 417000 | #Constraints: 71616
1032.98/1050.94 c #Conflicts: 418000 | #Constraints: 72616
1032.98/1050.94 c #Conflicts: 419000 | #Constraints: 73616
1032.98/1050.94 c #Conflicts: 420000 | #Constraints: 74616
1032.98/1050.94 c INPROCESSING
1032.98/1050.94 c GARBAGE COLLECT
1032.98/1050.94 c rational objective 9
1078.30/1096.69 c #Conflicts: 421000 | #Constraints: 62839
1078.30/1096.69 c #Conflicts: 422000 | #Constraints: 63839
1078.30/1096.69 c #Conflicts: 423000 | #Constraints: 64839
1078.30/1096.69 c #Conflicts: 424000 | #Constraints: 65839
1078.30/1096.69 c #Conflicts: 425000 | #Constraints: 66841
1078.30/1096.69 c #Conflicts: 426000 | #Constraints: 67841
1078.30/1096.69 c #Conflicts: 427000 | #Constraints: 68841
1078.30/1096.69 c #Conflicts: 428000 | #Constraints: 69842
1078.30/1096.69 c #Conflicts: 429000 | #Constraints: 70842
1078.30/1096.69 c #Conflicts: 430000 | #Constraints: 71842
1078.30/1096.69 c #Conflicts: 431000 | #Constraints: 72843
1078.30/1096.69 c #Conflicts: 432000 | #Constraints: 73843
1078.30/1096.69 c #Conflicts: 433000 | #Constraints: 74843
1078.30/1096.69 c INPROCESSING
1078.30/1096.69 c GARBAGE COLLECT
1078.30/1096.69 c rational objective 9
1129.44/1148.24 c #Conflicts: 434000 | #Constraints: 62840
1129.44/1148.24 c #Conflicts: 435000 | #Constraints: 63842
1129.44/1148.24 c #Conflicts: 436000 | #Constraints: 64844
1129.44/1148.24 c #Conflicts: 437000 | #Constraints: 65845
1129.44/1148.24 c #Conflicts: 438000 | #Constraints: 66845
1129.44/1148.24 c #Conflicts: 439000 | #Constraints: 67846
1129.44/1148.24 c #Conflicts: 440000 | #Constraints: 68847
1129.44/1148.24 c #Conflicts: 441000 | #Constraints: 69848
1129.44/1148.24 c #Conflicts: 442000 | #Constraints: 70848
1129.44/1148.24 c #Conflicts: 443000 | #Constraints: 71849
1129.44/1148.24 c #Conflicts: 444000 | #Constraints: 72849
1129.44/1148.24 c #Conflicts: 445000 | #Constraints: 73850
1129.44/1148.24 c #Conflicts: 446000 | #Constraints: 74852
1129.44/1148.24 c INPROCESSING
1129.44/1148.24 c GARBAGE COLLECT
1129.44/1148.24 c rational objective 9
1183.39/1202.61 c #Conflicts: 447000 | #Constraints: 62636
1183.39/1202.61 c #Conflicts: 448000 | #Constraints: 63636
1183.39/1202.61 c #Conflicts: 449000 | #Constraints: 64637
1183.39/1202.61 c #Conflicts: 450000 | #Constraints: 65638
1183.39/1202.61 c #Conflicts: 451000 | #Constraints: 66640
1183.39/1202.61 c #Conflicts: 452000 | #Constraints: 67641
1183.39/1202.61 c #Conflicts: 453000 | #Constraints: 68643
1183.39/1202.61 c #Conflicts: 454000 | #Constraints: 69644
1183.39/1202.61 c #Conflicts: 455000 | #Constraints: 70645
1183.39/1202.61 c #Conflicts: 456000 | #Constraints: 71647
1183.39/1202.61 c #Conflicts: 457000 | #Constraints: 72648
1183.39/1202.61 c #Conflicts: 458000 | #Constraints: 73649
1183.39/1202.61 c #Conflicts: 459000 | #Constraints: 74651
1183.39/1202.61 c #Conflicts: 460000 | #Constraints: 75652
1183.39/1202.61 c INPROCESSING
1183.39/1202.61 c GARBAGE COLLECT
1183.39/1202.61 c rational objective 9
1240.40/1259.89 c #Conflicts: 461000 | #Constraints: 63282
1240.40/1259.89 c #Conflicts: 462000 | #Constraints: 64283
1240.40/1259.89 c #Conflicts: 463000 | #Constraints: 65284
1240.40/1259.89 c #Conflicts: 464000 | #Constraints: 66285
1240.40/1259.89 c #Conflicts: 465000 | #Constraints: 67285
1240.40/1259.89 c #Conflicts: 466000 | #Constraints: 68286
1240.40/1259.89 c #Conflicts: 467000 | #Constraints: 69286
1240.40/1259.89 c #Conflicts: 468000 | #Constraints: 70287
1240.40/1259.89 c #Conflicts: 469000 | #Constraints: 71287
1240.40/1259.89 c #Conflicts: 470000 | #Constraints: 72288
1240.40/1259.89 c #Conflicts: 471000 | #Constraints: 73288
1240.40/1259.89 c #Conflicts: 472000 | #Constraints: 74289
1240.40/1259.89 c #Conflicts: 473000 | #Constraints: 75289
1240.40/1259.89 c #Conflicts: 474000 | #Constraints: 76290
1240.40/1259.89 c INPROCESSING
1240.40/1259.89 c GARBAGE COLLECT
1240.40/1259.89 c rational objective 9
1293.89/1313.92 c #Conflicts: 475000 | #Constraints: 63670
1293.89/1313.92 c #Conflicts: 476000 | #Constraints: 64670
1293.89/1313.92 c #Conflicts: 477000 | #Constraints: 65676
1293.89/1313.92 c #Conflicts: 478000 | #Constraints: 66680
1293.89/1313.92 c #Conflicts: 479000 | #Constraints: 67682
1293.89/1313.92 c #Conflicts: 480000 | #Constraints: 68684
1293.89/1313.92 c #Conflicts: 481000 | #Constraints: 69685
1293.89/1313.92 c #Conflicts: 482000 | #Constraints: 70686
1293.89/1313.92 c #Conflicts: 483000 | #Constraints: 71687
1293.89/1313.92 c #Conflicts: 484000 | #Constraints: 72689
1293.89/1313.92 c #Conflicts: 485000 | #Constraints: 73689
1293.89/1313.92 c #Conflicts: 486000 | #Constraints: 74690
1293.89/1313.92 c #Conflicts: 487000 | #Constraints: 75690
1293.89/1313.92 c #Conflicts: 488000 | #Constraints: 76691
1293.89/1313.92 c INPROCESSING
1293.89/1313.92 c GARBAGE COLLECT
1293.89/1313.92 c rational objective 9
1342.44/1363.02 c #Conflicts: 489000 | #Constraints: 63843
1342.44/1363.02 c #Conflicts: 490000 | #Constraints: 64844
1342.44/1363.02 c #Conflicts: 491000 | #Constraints: 65844
1342.44/1363.02 c #Conflicts: 492000 | #Constraints: 66847
1342.44/1363.02 c #Conflicts: 493000 | #Constraints: 67848
1342.44/1363.02 c #Conflicts: 494000 | #Constraints: 68849
1342.44/1363.02 c #Conflicts: 495000 | #Constraints: 69849
1342.44/1363.02 c #Conflicts: 496000 | #Constraints: 70851
1342.44/1363.02 c #Conflicts: 497000 | #Constraints: 71852
1342.44/1363.02 c #Conflicts: 498000 | #Constraints: 72853
1342.44/1363.02 c #Conflicts: 499000 | #Constraints: 73854
1342.44/1363.02 c #Conflicts: 500000 | #Constraints: 74855
1342.44/1363.02 c #Conflicts: 501000 | #Constraints: 75856
1342.44/1363.02 c #Conflicts: 502000 | #Constraints: 76856
1342.44/1363.02 c INPROCESSING
1342.44/1363.02 c GARBAGE COLLECT
1342.44/1363.02 c rational objective 9
1391.40/1412.33 c #Conflicts: 503000 | #Constraints: 63799
1391.40/1412.33 c #Conflicts: 504000 | #Constraints: 64800
1391.40/1412.33 c #Conflicts: 505000 | #Constraints: 65801
1391.40/1412.33 c #Conflicts: 506000 | #Constraints: 66802
1391.40/1412.33 c #Conflicts: 507000 | #Constraints: 67802
1391.40/1412.33 c #Conflicts: 508000 | #Constraints: 68803
1391.40/1412.33 c #Conflicts: 509000 | #Constraints: 69804
1391.40/1412.33 c #Conflicts: 510000 | #Constraints: 70804
1391.40/1412.33 c #Conflicts: 511000 | #Constraints: 71805
1391.40/1412.33 c #Conflicts: 512000 | #Constraints: 72805
1391.40/1412.33 c #Conflicts: 513000 | #Constraints: 73806
1391.40/1412.33 c #Conflicts: 514000 | #Constraints: 74807
1391.40/1412.33 c #Conflicts: 515000 | #Constraints: 75808
1391.40/1412.33 c #Conflicts: 516000 | #Constraints: 76808
1391.40/1412.33 c INPROCESSING
1391.40/1412.33 c GARBAGE COLLECT
1391.40/1412.33 c rational objective 9
1433.83/1455.02 c #Conflicts: 517000 | #Constraints: 63615
1433.83/1455.02 c #Conflicts: 518000 | #Constraints: 64615
1433.83/1455.02 c #Conflicts: 519000 | #Constraints: 65615
1433.83/1455.02 c #Conflicts: 520000 | #Constraints: 66616
1433.83/1455.02 c #Conflicts: 521000 | #Constraints: 67616
1433.83/1455.02 c #Conflicts: 522000 | #Constraints: 68616
1433.83/1455.02 c #Conflicts: 523000 | #Constraints: 69617
1433.83/1455.02 c #Conflicts: 524000 | #Constraints: 70618
1433.83/1455.02 c #Conflicts: 525000 | #Constraints: 71621
1433.83/1455.02 c #Conflicts: 526000 | #Constraints: 72625
1433.83/1455.02 c #Conflicts: 527000 | #Constraints: 73626
1433.83/1455.02 c #Conflicts: 528000 | #Constraints: 74627
1433.83/1455.02 c #Conflicts: 529000 | #Constraints: 75627
1433.83/1455.02 c #Conflicts: 530000 | #Constraints: 76628
1433.83/1455.02 c #Conflicts: 531000 | #Constraints: 77629
1433.83/1455.02 c INPROCESSING
1433.83/1455.02 c GARBAGE COLLECT
1433.83/1455.02 c rational objective 9
1474.69/1496.29 c #Conflicts: 532000 | #Constraints: 64190
1474.69/1496.29 c #Conflicts: 533000 | #Constraints: 65190
1474.69/1496.29 c #Conflicts: 534000 | #Constraints: 66191
1474.69/1496.29 c #Conflicts: 535000 | #Constraints: 67192
1474.69/1496.29 c #Conflicts: 536000 | #Constraints: 68193
1474.69/1496.29 c #Conflicts: 537000 | #Constraints: 69194
1474.69/1496.29 c #Conflicts: 538000 | #Constraints: 70195
1474.69/1496.29 c #Conflicts: 539000 | #Constraints: 71198
1474.69/1496.29 c #Conflicts: 540000 | #Constraints: 72201
1474.69/1496.29 c #Conflicts: 541000 | #Constraints: 73204
1474.69/1496.29 c #Conflicts: 542000 | #Constraints: 74206
1474.69/1496.29 c #Conflicts: 543000 | #Constraints: 75209
1474.69/1496.29 c #Conflicts: 544000 | #Constraints: 76210
1474.69/1496.29 c #Conflicts: 545000 | #Constraints: 77211
1474.69/1496.29 c #Conflicts: 546000 | #Constraints: 78211
1474.69/1496.29 c INPROCESSING
1474.69/1496.29 c GARBAGE COLLECT
1474.69/1496.29 c rational objective 9
1521.34/1543.23 c #Conflicts: 547000 | #Constraints: 64602
1521.34/1543.23 c #Conflicts: 548000 | #Constraints: 65602
1521.34/1543.23 c #Conflicts: 549000 | #Constraints: 66603
1521.34/1543.23 c #Conflicts: 550000 | #Constraints: 67603
1521.34/1543.23 c #Conflicts: 551000 | #Constraints: 68605
1521.34/1543.23 c #Conflicts: 552000 | #Constraints: 69606
1521.34/1543.23 c #Conflicts: 553000 | #Constraints: 70608
1521.34/1543.23 c #Conflicts: 554000 | #Constraints: 71610
1521.34/1543.23 c #Conflicts: 555000 | #Constraints: 72612
1521.34/1543.23 c #Conflicts: 556000 | #Constraints: 73613
1521.34/1543.23 c #Conflicts: 557000 | #Constraints: 74615
1521.34/1543.23 c #Conflicts: 558000 | #Constraints: 75616
1521.34/1543.23 c #Conflicts: 559000 | #Constraints: 76617
1521.34/1543.23 c #Conflicts: 560000 | #Constraints: 77618
1521.34/1543.23 c #Conflicts: 561000 | #Constraints: 78620
1521.34/1543.23 c INPROCESSING
1521.34/1543.23 c GARBAGE COLLECT
1521.34/1543.23 c rational objective 9
1558.14/1580.25 c #Conflicts: 562000 | #Constraints: 64787
1558.14/1580.25 c #Conflicts: 563000 | #Constraints: 65790
1558.14/1580.25 c #Conflicts: 564000 | #Constraints: 66791
1558.14/1580.25 c #Conflicts: 565000 | #Constraints: 67792
1558.14/1580.25 c #Conflicts: 566000 | #Constraints: 68794
1558.14/1580.25 c #Conflicts: 567000 | #Constraints: 69795
1558.14/1580.25 c #Conflicts: 568000 | #Constraints: 70795
1558.14/1580.25 c #Conflicts: 569000 | #Constraints: 71796
1558.14/1580.25 c #Conflicts: 570000 | #Constraints: 72796
1558.14/1580.25 c #Conflicts: 571000 | #Constraints: 73798
1558.14/1580.25 c #Conflicts: 572000 | #Constraints: 74800
1558.14/1580.25 c #Conflicts: 573000 | #Constraints: 75801
1558.14/1580.25 c #Conflicts: 574000 | #Constraints: 76801
1558.14/1580.25 c #Conflicts: 575000 | #Constraints: 77802
1558.14/1580.25 c #Conflicts: 576000 | #Constraints: 78803
1558.14/1580.25 c INPROCESSING
1558.14/1580.25 c GARBAGE COLLECT
1558.14/1580.25 c rational objective 9
1597.93/1620.47 c #Conflicts: 577000 | #Constraints: 64799
1597.93/1620.47 c #Conflicts: 578000 | #Constraints: 65799
1597.93/1620.47 c #Conflicts: 579000 | #Constraints: 66801
1597.93/1620.47 c #Conflicts: 580000 | #Constraints: 67802
1597.93/1620.47 c #Conflicts: 581000 | #Constraints: 68803
1597.93/1620.47 c #Conflicts: 582000 | #Constraints: 69804
1597.93/1620.47 c #Conflicts: 583000 | #Constraints: 70807
1597.93/1620.47 c #Conflicts: 584000 | #Constraints: 71810
1597.93/1620.47 c #Conflicts: 585000 | #Constraints: 72811
1597.93/1620.47 c #Conflicts: 586000 | #Constraints: 73811
1597.93/1620.47 c #Conflicts: 587000 | #Constraints: 74812
1597.93/1620.47 c #Conflicts: 588000 | #Constraints: 75813
1597.93/1620.47 c #Conflicts: 589000 | #Constraints: 76813
1597.93/1620.47 c #Conflicts: 590000 | #Constraints: 77815
1597.93/1620.47 c #Conflicts: 591000 | #Constraints: 78817
1597.93/1620.47 c INPROCESSING
1597.93/1620.47 c GARBAGE COLLECT
1597.93/1620.47 c rational objective 9
1646.96/1669.70 c #Conflicts: 592000 | #Constraints: 64630
1646.96/1669.70 c #Conflicts: 593000 | #Constraints: 65630
1646.96/1669.70 c #Conflicts: 594000 | #Constraints: 66632
1646.96/1669.70 c #Conflicts: 595000 | #Constraints: 67634
1646.96/1669.70 c #Conflicts: 596000 | #Constraints: 68636
1646.96/1669.70 c #Conflicts: 597000 | #Constraints: 69637
1646.96/1669.70 c #Conflicts: 598000 | #Constraints: 70637
1646.96/1669.70 c #Conflicts: 599000 | #Constraints: 71638
1646.96/1669.70 c #Conflicts: 600000 | #Constraints: 72639
1646.96/1669.70 c #Conflicts: 601000 | #Constraints: 73641
1646.96/1669.70 c #Conflicts: 602000 | #Constraints: 74643
1646.96/1669.70 c #Conflicts: 603000 | #Constraints: 75646
1646.96/1669.70 c #Conflicts: 604000 | #Constraints: 76647
1646.96/1669.70 c #Conflicts: 605000 | #Constraints: 77647
1646.96/1669.70 c #Conflicts: 606000 | #Constraints: 78647
1646.96/1669.70 c #Conflicts: 607000 | #Constraints: 79648
1646.96/1669.70 c INPROCESSING
1646.96/1669.70 c GARBAGE COLLECT
1646.96/1669.70 c rational objective 9
1694.32/1717.39 c #Conflicts: 608000 | #Constraints: 65253
1694.32/1717.39 c #Conflicts: 609000 | #Constraints: 66255
1694.32/1717.39 c #Conflicts: 610000 | #Constraints: 67257
1694.32/1717.39 c #Conflicts: 611000 | #Constraints: 68261
1694.32/1717.39 c #Conflicts: 612000 | #Constraints: 69263
1694.32/1717.39 c #Conflicts: 613000 | #Constraints: 70263
1694.32/1717.39 c #Conflicts: 614000 | #Constraints: 71265
1694.32/1717.39 c #Conflicts: 615000 | #Constraints: 72265
1694.32/1717.39 c #Conflicts: 616000 | #Constraints: 73265
1694.32/1717.39 c #Conflicts: 617000 | #Constraints: 74265
1694.32/1717.39 c #Conflicts: 618000 | #Constraints: 75266
1694.32/1717.39 c #Conflicts: 619000 | #Constraints: 76267
1694.32/1717.39 c #Conflicts: 620000 | #Constraints: 77267
1694.32/1717.39 c #Conflicts: 621000 | #Constraints: 78267
1694.32/1717.39 c #Conflicts: 622000 | #Constraints: 79267
1694.32/1717.39 c #Conflicts: 623000 | #Constraints: 80267
1694.32/1717.39 c INPROCESSING
1694.32/1717.39 c GARBAGE COLLECT
1694.32/1717.39 c rational objective 9
1727.41/1750.57 c #Conflicts: 624000 | #Constraints: 65604
1727.41/1750.57 c #Conflicts: 625000 | #Constraints: 66604
1727.41/1750.57 c #Conflicts: 626000 | #Constraints: 67606
1727.41/1750.57 c #Conflicts: 627000 | #Constraints: 68608
1727.41/1750.57 c #Conflicts: 628000 | #Constraints: 69609
1727.41/1750.57 c #Conflicts: 629000 | #Constraints: 70609
1727.41/1750.57 c #Conflicts: 630000 | #Constraints: 71609
1727.41/1750.57 c #Conflicts: 631000 | #Constraints: 72609
1727.41/1750.57 c #Conflicts: 632000 | #Constraints: 73611
1727.41/1750.57 c #Conflicts: 633000 | #Constraints: 74611
1727.41/1750.57 c #Conflicts: 634000 | #Constraints: 75611
1727.41/1750.57 c #Conflicts: 635000 | #Constraints: 76612
1727.41/1750.57 c #Conflicts: 636000 | #Constraints: 77612
1727.41/1750.57 c #Conflicts: 637000 | #Constraints: 78612
1727.41/1750.57 c #Conflicts: 638000 | #Constraints: 79612
1727.41/1750.57 c #Conflicts: 639000 | #Constraints: 80612
1727.41/1750.57 c INPROCESSING
1727.41/1750.57 c GARBAGE COLLECT
1727.41/1750.57 c rational objective 9
1761.91/1785.26 c #Conflicts: 640000 | #Constraints: 65766
1761.91/1785.26 c #Conflicts: 641000 | #Constraints: 66768
1761.91/1785.26 c #Conflicts: 642000 | #Constraints: 67770
1761.91/1785.26 c #Conflicts: 643000 | #Constraints: 68774
1761.91/1785.26 c #Conflicts: 644000 | #Constraints: 69775
1761.91/1785.26 c #Conflicts: 645000 | #Constraints: 70775
1761.91/1785.26 c #Conflicts: 646000 | #Constraints: 71777
1761.91/1785.26 c #Conflicts: 647000 | #Constraints: 72780
1761.91/1785.26 c #Conflicts: 648000 | #Constraints: 73782
1761.91/1785.26 c #Conflicts: 649000 | #Constraints: 74782
1761.91/1785.26 c #Conflicts: 650000 | #Constraints: 75783
1761.91/1785.26 c #Conflicts: 651000 | #Constraints: 76784
1761.91/1785.26 c #Conflicts: 652000 | #Constraints: 77785
1761.91/1785.26 c #Conflicts: 653000 | #Constraints: 78786
1761.91/1785.26 c #Conflicts: 654000 | #Constraints: 79786
1761.91/1785.26 c #Conflicts: 655000 | #Constraints: 80786
1761.91/1785.26 c INPROCESSING
1761.91/1785.26 c GARBAGE COLLECT
1761.91/1785.26 c rational objective 9
1809.35/1832.86 c #Conflicts: 656000 | #Constraints: 65754
1809.35/1832.86 c #Conflicts: 657000 | #Constraints: 66755
1809.35/1832.86 c #Conflicts: 658000 | #Constraints: 67755
1809.35/1832.86 c #Conflicts: 659000 | #Constraints: 68755
1809.35/1832.86 c #Conflicts: 660000 | #Constraints: 69755
1809.35/1832.86 c #Conflicts: 661000 | #Constraints: 70756
1809.35/1832.86 c #Conflicts: 662000 | #Constraints: 71756
1809.35/1832.86 c #Conflicts: 663000 | #Constraints: 72758
1809.35/1832.86 c #Conflicts: 664000 | #Constraints: 73759
1809.35/1832.86 c #Conflicts: 665000 | #Constraints: 74760
1809.35/1832.86 c #Conflicts: 666000 | #Constraints: 75760
1809.35/1832.86 c #Conflicts: 667000 | #Constraints: 76761
1809.35/1832.86 c #Conflicts: 668000 | #Constraints: 77762
1809.35/1832.86 c #Conflicts: 669000 | #Constraints: 78762
1809.35/1832.86 c #Conflicts: 670000 | #Constraints: 79762
1809.35/1832.86 c #Conflicts: 671000 | #Constraints: 80763
1809.35/1832.86 c INPROCESSING
1809.35/1832.86 c GARBAGE COLLECT
1809.35/1832.86 c rational objective 9
1875.50/1899.33 c #Conflicts: 672000 | #Constraints: 65539
1875.50/1899.33 c #Conflicts: 673000 | #Constraints: 66539
1875.50/1899.33 c #Conflicts: 674000 | #Constraints: 67539
1875.50/1899.33 c #Conflicts: 675000 | #Constraints: 68539
1875.50/1899.33 c #Conflicts: 676000 | #Constraints: 69542
1875.50/1899.33 c #Conflicts: 677000 | #Constraints: 70544
1875.50/1899.33 c #Conflicts: 678000 | #Constraints: 71546
1875.50/1899.33 c #Conflicts: 679000 | #Constraints: 72549
1875.50/1899.33 c #Conflicts: 680000 | #Constraints: 73553
1875.50/1899.33 c #Conflicts: 681000 | #Constraints: 74555
1875.50/1899.33 c #Conflicts: 682000 | #Constraints: 75558
1875.50/1899.33 c #Conflicts: 683000 | #Constraints: 76559
1875.50/1899.33 c #Conflicts: 684000 | #Constraints: 77560
1875.50/1899.33 c #Conflicts: 685000 | #Constraints: 78562
1875.50/1899.33 c #Conflicts: 686000 | #Constraints: 79562
1875.50/1899.33 c #Conflicts: 687000 | #Constraints: 80563
1875.50/1899.33 c #Conflicts: 688000 | #Constraints: 81563
1875.50/1899.33 c INPROCESSING
1875.50/1899.33 c GARBAGE COLLECT
1875.50/1899.33 c rational objective 9
1913.31/1937.30 c #Conflicts: 689000 | #Constraints: 66181
1913.31/1937.30 c #Conflicts: 690000 | #Constraints: 67183
1913.31/1937.30 c #Conflicts: 691000 | #Constraints: 68185
1913.31/1937.30 c #Conflicts: 692000 | #Constraints: 69189
1913.31/1937.30 c #Conflicts: 693000 | #Constraints: 70191
1913.31/1937.30 c #Conflicts: 694000 | #Constraints: 71192
1913.31/1937.30 c #Conflicts: 695000 | #Constraints: 72193
1913.31/1937.30 c #Conflicts: 696000 | #Constraints: 73193
1913.31/1937.30 c #Conflicts: 697000 | #Constraints: 74194
1913.31/1937.30 c #Conflicts: 698000 | #Constraints: 75194
1913.31/1937.30 c #Conflicts: 699000 | #Constraints: 76196
1913.31/1937.30 c #Conflicts: 700000 | #Constraints: 77198
1913.31/1937.30 c #Conflicts: 701000 | #Constraints: 78200
1913.31/1937.30 c #Conflicts: 702000 | #Constraints: 79202
1913.31/1937.30 c #Conflicts: 703000 | #Constraints: 80202
1913.31/1937.30 c #Conflicts: 704000 | #Constraints: 81203
1913.31/1937.30 c #Conflicts: 705000 | #Constraints: 82204
1913.31/1937.30 c INPROCESSING
1913.31/1937.30 c GARBAGE COLLECT
1913.31/1937.30 c rational objective 9
1987.10/2011.76 c #Conflicts: 706000 | #Constraints: 66552
1987.10/2011.76 c #Conflicts: 707000 | #Constraints: 67557
1987.10/2011.76 c #Conflicts: 708000 | #Constraints: 68558
1987.10/2011.76 c #Conflicts: 709000 | #Constraints: 69559
1987.10/2011.76 c #Conflicts: 710000 | #Constraints: 70560
1987.10/2011.76 c #Conflicts: 711000 | #Constraints: 71561
1987.10/2011.76 c #Conflicts: 712000 | #Constraints: 72562
1987.10/2011.76 c #Conflicts: 713000 | #Constraints: 73563
1987.10/2011.76 c #Conflicts: 714000 | #Constraints: 74564
1987.10/2011.76 c #Conflicts: 715000 | #Constraints: 75565
1987.10/2011.76 c #Conflicts: 716000 | #Constraints: 76565
1987.10/2011.76 c #Conflicts: 717000 | #Constraints: 77566
1987.10/2011.76 c #Conflicts: 718000 | #Constraints: 78566
1987.10/2011.76 c #Conflicts: 719000 | #Constraints: 79566
1987.10/2011.76 c #Conflicts: 720000 | #Constraints: 80566
1987.10/2011.76 c #Conflicts: 721000 | #Constraints: 81567
1987.10/2011.76 c #Conflicts: 722000 | #Constraints: 82568
1987.10/2011.76 c INPROCESSING
1987.10/2011.76 c GARBAGE COLLECT
1987.10/2011.76 c rational objective 9
2058.50/2083.68 c #Conflicts: 723000 | #Constraints: 66739
2058.50/2083.68 c #Conflicts: 724000 | #Constraints: 67740
2058.50/2083.68 c #Conflicts: 725000 | #Constraints: 68740
2058.50/2083.68 c #Conflicts: 726000 | #Constraints: 69740
2058.50/2083.68 c #Conflicts: 727000 | #Constraints: 70741
2058.50/2083.68 c #Conflicts: 728000 | #Constraints: 71743
2058.50/2083.68 c #Conflicts: 729000 | #Constraints: 72744
2058.50/2083.68 c #Conflicts: 730000 | #Constraints: 73745
2058.50/2083.68 c #Conflicts: 731000 | #Constraints: 74746
2058.50/2083.68 c #Conflicts: 732000 | #Constraints: 75746
2058.50/2083.68 c #Conflicts: 733000 | #Constraints: 76746
2058.50/2083.68 c #Conflicts: 734000 | #Constraints: 77747
2058.50/2083.68 c #Conflicts: 735000 | #Constraints: 78747
2058.50/2083.68 c #Conflicts: 736000 | #Constraints: 79748
2058.50/2083.68 c #Conflicts: 737000 | #Constraints: 80749
2058.50/2083.68 c #Conflicts: 738000 | #Constraints: 81752
2058.50/2083.68 c #Conflicts: 739000 | #Constraints: 82754
2058.50/2083.68 c INPROCESSING
2058.50/2083.68 c GARBAGE COLLECT
2058.50/2083.68 c rational objective 9
2162.93/2189.24 c #Conflicts: 740000 | #Constraints: 66771
2162.93/2189.24 c #Conflicts: 741000 | #Constraints: 67773
2162.93/2189.24 c #Conflicts: 742000 | #Constraints: 68775
2162.93/2189.24 c #Conflicts: 743000 | #Constraints: 69777
2162.93/2189.24 c #Conflicts: 744000 | #Constraints: 70779
2162.93/2189.24 c #Conflicts: 745000 | #Constraints: 71780
2162.93/2189.24 c #Conflicts: 746000 | #Constraints: 72782
2162.93/2189.24 c #Conflicts: 747000 | #Constraints: 73782
2162.93/2189.24 c #Conflicts: 748000 | #Constraints: 74784
2162.93/2189.24 c #Conflicts: 749000 | #Constraints: 75784
2162.93/2189.24 c #Conflicts: 750000 | #Constraints: 76784
2162.93/2189.24 c #Conflicts: 751000 | #Constraints: 77785
2162.93/2189.24 c #Conflicts: 752000 | #Constraints: 78786
2162.93/2189.24 c #Conflicts: 753000 | #Constraints: 79787
2162.93/2189.24 c #Conflicts: 754000 | #Constraints: 80787
2162.93/2189.24 c #Conflicts: 755000 | #Constraints: 81788
2162.93/2189.24 c #Conflicts: 756000 | #Constraints: 82789
2162.93/2189.24 c INPROCESSING
2162.93/2189.24 c GARBAGE COLLECT
2162.93/2189.24 c rational objective 9
2212.83/2239.46 c #Conflicts: 757000 | #Constraints: 66558
2212.83/2239.46 c #Conflicts: 758000 | #Constraints: 67559
2212.83/2239.46 c #Conflicts: 759000 | #Constraints: 68563
2212.83/2239.46 c #Conflicts: 760000 | #Constraints: 69563
2212.83/2239.46 c #Conflicts: 761000 | #Constraints: 70563
2212.83/2239.46 c #Conflicts: 762000 | #Constraints: 71564
2212.83/2239.46 c #Conflicts: 763000 | #Constraints: 72566
2212.83/2239.46 c #Conflicts: 764000 | #Constraints: 73567
2212.83/2239.46 c #Conflicts: 765000 | #Constraints: 74570
2212.83/2239.46 c #Conflicts: 766000 | #Constraints: 75571
2212.83/2239.46 c #Conflicts: 767000 | #Constraints: 76572
2212.83/2239.46 c #Conflicts: 768000 | #Constraints: 77576
2212.83/2239.46 c #Conflicts: 769000 | #Constraints: 78577
2212.83/2239.46 c #Conflicts: 770000 | #Constraints: 79579
2212.83/2239.46 c #Conflicts: 771000 | #Constraints: 80580
2212.83/2239.46 c #Conflicts: 772000 | #Constraints: 81581
2212.83/2239.46 c #Conflicts: 773000 | #Constraints: 82582
2212.83/2239.46 c #Conflicts: 774000 | #Constraints: 83583
2212.83/2239.46 c INPROCESSING
2212.83/2239.46 c GARBAGE COLLECT
2212.83/2239.46 c rational objective 9
2288.06/2315.22 c #Conflicts: 775000 | #Constraints: 67139
2288.06/2315.22 c #Conflicts: 776000 | #Constraints: 68140
2288.06/2315.22 c #Conflicts: 777000 | #Constraints: 69141
2288.06/2315.22 c #Conflicts: 778000 | #Constraints: 70143
2288.06/2315.22 c #Conflicts: 779000 | #Constraints: 71145
2288.06/2315.22 c #Conflicts: 780000 | #Constraints: 72148
2288.06/2315.22 c #Conflicts: 781000 | #Constraints: 73151
2288.06/2315.22 c #Conflicts: 782000 | #Constraints: 74153
2288.06/2315.22 c #Conflicts: 783000 | #Constraints: 75155
2288.06/2315.22 c #Conflicts: 784000 | #Constraints: 76158
2288.06/2315.22 c #Conflicts: 785000 | #Constraints: 77158
2288.06/2315.22 c #Conflicts: 786000 | #Constraints: 78158
2288.06/2315.22 c #Conflicts: 787000 | #Constraints: 79159
2288.06/2315.22 c #Conflicts: 788000 | #Constraints: 80159
2288.06/2315.22 c #Conflicts: 789000 | #Constraints: 81160
2288.06/2315.22 c #Conflicts: 790000 | #Constraints: 82160
2288.06/2315.22 c #Conflicts: 791000 | #Constraints: 83161
2288.06/2315.22 c #Conflicts: 792000 | #Constraints: 84161
2288.06/2315.22 c INPROCESSING
2288.06/2315.22 c GARBAGE COLLECT
2288.06/2315.22 c rational objective 9
2361.22/2389.74 c #Conflicts: 793000 | #Constraints: 67581
2361.22/2389.74 c #Conflicts: 794000 | #Constraints: 68581
2361.22/2389.74 c #Conflicts: 795000 | #Constraints: 69582
2361.22/2389.74 c #Conflicts: 796000 | #Constraints: 70582
2361.22/2389.74 c #Conflicts: 797000 | #Constraints: 71582
2361.22/2389.74 c #Conflicts: 798000 | #Constraints: 72584
2361.22/2389.74 c #Conflicts: 799000 | #Constraints: 73585
2361.22/2389.74 c #Conflicts: 800000 | #Constraints: 74586
2361.22/2389.74 c #Conflicts: 801000 | #Constraints: 75586
2361.22/2389.74 c #Conflicts: 802000 | #Constraints: 76586
2361.22/2389.74 c #Conflicts: 803000 | #Constraints: 77586
2361.22/2389.74 c #Conflicts: 804000 | #Constraints: 78586
2361.22/2389.74 c #Conflicts: 805000 | #Constraints: 79587
2361.22/2389.74 c #Conflicts: 806000 | #Constraints: 80588
2361.22/2389.74 c #Conflicts: 807000 | #Constraints: 81588
2361.22/2389.74 c #Conflicts: 808000 | #Constraints: 82589
2361.22/2389.74 c #Conflicts: 809000 | #Constraints: 83589
2361.22/2389.74 c #Conflicts: 810000 | #Constraints: 84590
2361.22/2389.74 c INPROCESSING
2361.22/2389.74 c GARBAGE COLLECT
2361.22/2389.74 c rational objective 9
2405.86/2434.57 c #Conflicts: 811000 | #Constraints: 67799
2405.86/2434.57 c #Conflicts: 812000 | #Constraints: 68799
2405.86/2434.57 c #Conflicts: 813000 | #Constraints: 69799
2405.86/2434.57 c #Conflicts: 814000 | #Constraints: 70800
2405.86/2434.57 c #Conflicts: 815000 | #Constraints: 71801
2405.86/2434.57 c #Conflicts: 816000 | #Constraints: 72804
2405.86/2434.57 c #Conflicts: 817000 | #Constraints: 73805
2405.86/2434.57 c #Conflicts: 818000 | #Constraints: 74806
2405.86/2434.57 c #Conflicts: 819000 | #Constraints: 75807
2405.86/2434.57 c #Conflicts: 820000 | #Constraints: 76808
2405.86/2434.57 c #Conflicts: 821000 | #Constraints: 77808
2405.86/2434.57 c #Conflicts: 822000 | #Constraints: 78808
2405.86/2434.57 c #Conflicts: 823000 | #Constraints: 79808
2405.86/2434.57 c #Conflicts: 824000 | #Constraints: 80808
2405.86/2434.57 c #Conflicts: 825000 | #Constraints: 81808
2405.86/2434.57 c #Conflicts: 826000 | #Constraints: 82808
2405.86/2434.57 c #Conflicts: 827000 | #Constraints: 83808
2405.86/2434.57 c #Conflicts: 828000 | #Constraints: 84808
2405.86/2434.57 c INPROCESSING
2405.86/2434.57 c GARBAGE COLLECT
2405.86/2434.57 c rational objective 9
2473.58/2502.93 c #Conflicts: 829000 | #Constraints: 67745
2473.58/2502.93 c #Conflicts: 830000 | #Constraints: 68746
2473.58/2502.93 c #Conflicts: 831000 | #Constraints: 69748
2473.58/2502.93 c #Conflicts: 832000 | #Constraints: 70750
2473.58/2502.93 c #Conflicts: 833000 | #Constraints: 71752
2473.58/2502.93 c #Conflicts: 834000 | #Constraints: 72755
2473.58/2502.93 c #Conflicts: 835000 | #Constraints: 73756
2473.58/2502.93 c #Conflicts: 836000 | #Constraints: 74756
2473.58/2502.93 c #Conflicts: 837000 | #Constraints: 75757
2473.58/2502.93 c #Conflicts: 838000 | #Constraints: 76757
2473.58/2502.93 c #Conflicts: 839000 | #Constraints: 77757
2473.58/2502.93 c #Conflicts: 840000 | #Constraints: 78758
2473.58/2502.93 c #Conflicts: 841000 | #Constraints: 79758
2473.58/2502.93 c #Conflicts: 842000 | #Constraints: 80758
2473.58/2502.93 c #Conflicts: 843000 | #Constraints: 81759
2473.58/2502.93 c #Conflicts: 844000 | #Constraints: 82759
2473.58/2502.93 c #Conflicts: 845000 | #Constraints: 83759
2473.58/2502.93 c #Conflicts: 846000 | #Constraints: 84759
2473.58/2502.93 c INPROCESSING
2473.58/2502.93 c GARBAGE COLLECT
2473.58/2502.93 c rational objective 9
2538.74/2568.84 c #Conflicts: 847000 | #Constraints: 67565
2538.74/2568.84 c #Conflicts: 848000 | #Constraints: 68565
2538.74/2568.84 c #Conflicts: 849000 | #Constraints: 69566
2538.74/2568.84 c #Conflicts: 850000 | #Constraints: 70567
2538.74/2568.84 c #Conflicts: 851000 | #Constraints: 71572
2538.74/2568.84 c #Conflicts: 852000 | #Constraints: 72573
2538.74/2568.84 c #Conflicts: 853000 | #Constraints: 73573
2538.74/2568.84 c #Conflicts: 854000 | #Constraints: 74574
2538.74/2568.84 c #Conflicts: 855000 | #Constraints: 75574
2538.74/2568.84 c #Conflicts: 856000 | #Constraints: 76575
2538.74/2568.84 c #Conflicts: 857000 | #Constraints: 77575
2538.74/2568.84 c #Conflicts: 858000 | #Constraints: 78576
2538.74/2568.84 c #Conflicts: 859000 | #Constraints: 79576
2538.74/2568.84 c #Conflicts: 860000 | #Constraints: 80577
2538.74/2568.84 c #Conflicts: 861000 | #Constraints: 81578
2538.74/2568.84 c #Conflicts: 862000 | #Constraints: 82578
2538.74/2568.84 c #Conflicts: 863000 | #Constraints: 83579
2538.74/2568.84 c #Conflicts: 864000 | #Constraints: 84579
2538.74/2568.84 c #Conflicts: 865000 | #Constraints: 85580
2538.74/2568.84 c INPROCESSING
2538.74/2568.84 c GARBAGE COLLECT
2538.74/2568.84 c rational objective 9
2605.12/2635.89 c #Conflicts: 866000 | #Constraints: 68149
2605.12/2635.89 c #Conflicts: 867000 | #Constraints: 69149
2605.12/2635.89 c #Conflicts: 868000 | #Constraints: 70149
2605.12/2635.89 c #Conflicts: 869000 | #Constraints: 71149
2605.12/2635.89 c #Conflicts: 870000 | #Constraints: 72150
2605.12/2635.89 c #Conflicts: 871000 | #Constraints: 73154
2605.12/2635.89 c #Conflicts: 872000 | #Constraints: 74156
2605.12/2635.89 c #Conflicts: 873000 | #Constraints: 75157
2605.12/2635.89 c #Conflicts: 874000 | #Constraints: 76158
2605.12/2635.89 c #Conflicts: 875000 | #Constraints: 77159
2605.12/2635.89 c #Conflicts: 876000 | #Constraints: 78160
2605.12/2635.89 c #Conflicts: 877000 | #Constraints: 79161
2605.12/2635.89 c #Conflicts: 878000 | #Constraints: 80162
2605.12/2635.89 c #Conflicts: 879000 | #Constraints: 81163
2605.12/2635.89 c #Conflicts: 880000 | #Constraints: 82164
2605.12/2635.89 c #Conflicts: 881000 | #Constraints: 83164
2605.12/2635.89 c #Conflicts: 882000 | #Constraints: 84165
2605.12/2635.89 c #Conflicts: 883000 | #Constraints: 85167
2605.12/2635.89 c #Conflicts: 884000 | #Constraints: 86168
2605.12/2635.89 c INPROCESSING
2605.12/2635.89 c GARBAGE COLLECT
2605.12/2635.89 c rational objective 9
2664.01/2695.20 c #Conflicts: 885000 | #Constraints: 68591
2664.01/2695.20 c #Conflicts: 886000 | #Constraints: 69592
2664.01/2695.20 c #Conflicts: 887000 | #Constraints: 70592
2664.01/2695.20 c #Conflicts: 888000 | #Constraints: 71592
2664.01/2695.20 c #Conflicts: 889000 | #Constraints: 72593
2664.01/2695.20 c #Conflicts: 890000 | #Constraints: 73594
2664.01/2695.20 c #Conflicts: 891000 | #Constraints: 74594
2664.01/2695.20 c #Conflicts: 892000 | #Constraints: 75595
2664.01/2695.20 c #Conflicts: 893000 | #Constraints: 76596
2664.01/2695.20 c #Conflicts: 894000 | #Constraints: 77597
2664.01/2695.20 c #Conflicts: 895000 | #Constraints: 78599
2664.01/2695.20 c #Conflicts: 896000 | #Constraints: 79600
2664.01/2695.20 c #Conflicts: 897000 | #Constraints: 80601
2664.01/2695.20 c #Conflicts: 898000 | #Constraints: 81602
2664.01/2695.20 c #Conflicts: 899000 | #Constraints: 82603
2664.01/2695.20 c #Conflicts: 900000 | #Constraints: 83603
2664.01/2695.20 c #Conflicts: 901000 | #Constraints: 84604
2664.01/2695.20 c #Conflicts: 902000 | #Constraints: 85604
2664.01/2695.20 c #Conflicts: 903000 | #Constraints: 86604
2664.01/2695.20 c INPROCESSING
2664.01/2695.20 c GARBAGE COLLECT
2664.01/2695.20 c rational objective 9
2733.25/2770.47 c #Conflicts: 904000 | #Constraints: 68803
2733.25/2770.47 c #Conflicts: 905000 | #Constraints: 69805
2733.25/2770.47 c #Conflicts: 906000 | #Constraints: 70807
2733.25/2770.47 c #Conflicts: 907000 | #Constraints: 71808
2733.25/2770.47 c #Conflicts: 908000 | #Constraints: 72811
2733.25/2770.47 c #Conflicts: 909000 | #Constraints: 73813
2733.25/2770.47 c #Conflicts: 910000 | #Constraints: 74813
2733.25/2770.47 c #Conflicts: 911000 | #Constraints: 75814
2733.25/2770.47 c #Conflicts: 912000 | #Constraints: 76815
2733.25/2770.47 c #Conflicts: 913000 | #Constraints: 77816
2733.25/2770.47 c #Conflicts: 914000 | #Constraints: 78816
2733.25/2770.47 c #Conflicts: 915000 | #Constraints: 79816
2733.25/2770.47 c #Conflicts: 916000 | #Constraints: 80816
2733.25/2770.47 c #Conflicts: 917000 | #Constraints: 81817
2733.25/2770.47 c #Conflicts: 918000 | #Constraints: 82817
2733.25/2770.47 c #Conflicts: 919000 | #Constraints: 83817
2733.25/2770.47 c #Conflicts: 920000 | #Constraints: 84818
2733.25/2770.47 c #Conflicts: 921000 | #Constraints: 85818
2733.25/2770.47 c #Conflicts: 922000 | #Constraints: 86818
2733.25/2770.47 c INPROCESSING
2733.25/2770.47 c GARBAGE COLLECT
2733.25/2770.47 c rational objective 9
2797.71/2838.52 c #Conflicts: 923000 | #Constraints: 68786
2797.71/2838.52 c #Conflicts: 924000 | #Constraints: 69788
2797.71/2838.52 c #Conflicts: 925000 | #Constraints: 70790
2797.71/2838.52 c #Conflicts: 926000 | #Constraints: 71791
2797.71/2838.52 c #Conflicts: 927000 | #Constraints: 72791
2797.71/2838.52 c #Conflicts: 928000 | #Constraints: 73792
2797.71/2838.52 c #Conflicts: 929000 | #Constraints: 74792
2797.71/2838.52 c #Conflicts: 930000 | #Constraints: 75792
2797.71/2838.52 c #Conflicts: 931000 | #Constraints: 76792
2797.71/2838.52 c #Conflicts: 932000 | #Constraints: 77792
2797.71/2838.52 c #Conflicts: 933000 | #Constraints: 78792
2797.71/2838.52 c #Conflicts: 934000 | #Constraints: 79792
2797.71/2838.52 c #Conflicts: 935000 | #Constraints: 80792
2797.71/2838.52 c #Conflicts: 936000 | #Constraints: 81792
2797.71/2838.52 c #Conflicts: 937000 | #Constraints: 82792
2797.71/2838.52 c #Conflicts: 938000 | #Constraints: 83792
2797.71/2838.52 c #Conflicts: 939000 | #Constraints: 84792
2797.71/2838.52 c #Conflicts: 940000 | #Constraints: 85793
2797.71/2838.52 c #Conflicts: 941000 | #Constraints: 86793
2797.71/2838.52 c INPROCESSING
2797.71/2838.52 c GARBAGE COLLECT
2797.71/2838.52 c rational objective 9
2873.58/2917.69 c #Conflicts: 942000 | #Constraints: 68555
2873.58/2917.69 c #Conflicts: 943000 | #Constraints: 69555
2873.58/2917.69 c #Conflicts: 944000 | #Constraints: 70556
2873.58/2917.69 c #Conflicts: 945000 | #Constraints: 71557
2873.58/2917.69 c #Conflicts: 946000 | #Constraints: 72559
2873.58/2917.69 c #Conflicts: 947000 | #Constraints: 73560
2873.58/2917.69 c #Conflicts: 948000 | #Constraints: 74561
2873.58/2917.69 c #Conflicts: 949000 | #Constraints: 75562
2873.58/2917.69 c #Conflicts: 950000 | #Constraints: 76565
2873.58/2917.69 c #Conflicts: 951000 | #Constraints: 77567
2873.58/2917.69 c #Conflicts: 952000 | #Constraints: 78569
2873.58/2917.69 c #Conflicts: 953000 | #Constraints: 79569
2873.58/2917.69 c #Conflicts: 954000 | #Constraints: 80569
2873.58/2917.69 c #Conflicts: 955000 | #Constraints: 81570
2873.58/2917.69 c #Conflicts: 956000 | #Constraints: 82570
2873.58/2917.69 c #Conflicts: 957000 | #Constraints: 83570
2873.58/2917.69 c #Conflicts: 958000 | #Constraints: 84570
2873.58/2917.69 c #Conflicts: 959000 | #Constraints: 85570
2873.58/2917.69 c #Conflicts: 960000 | #Constraints: 86571
2873.58/2917.69 c #Conflicts: 961000 | #Constraints: 87571
2873.58/2917.69 c INPROCESSING
2873.58/2917.69 c GARBAGE COLLECT
2873.58/2917.69 c rational objective 9
2927.93/2972.37 c #Conflicts: 962000 | #Constraints: 69172
2927.93/2972.37 c #Conflicts: 963000 | #Constraints: 70175
2927.93/2972.37 c #Conflicts: 964000 | #Constraints: 71176
2927.93/2972.37 c #Conflicts: 965000 | #Constraints: 72177
2927.93/2972.37 c #Conflicts: 966000 | #Constraints: 73178
2927.93/2972.37 c #Conflicts: 967000 | #Constraints: 74180
2927.93/2972.37 c #Conflicts: 968000 | #Constraints: 75180
2927.93/2972.37 c #Conflicts: 969000 | #Constraints: 76181
2927.93/2972.37 c #Conflicts: 970000 | #Constraints: 77181
2927.93/2972.37 c #Conflicts: 971000 | #Constraints: 78182
2927.93/2972.37 c #Conflicts: 972000 | #Constraints: 79182
2927.93/2972.37 c #Conflicts: 973000 | #Constraints: 80182
2927.93/2972.37 c #Conflicts: 974000 | #Constraints: 81183
2927.93/2972.37 c #Conflicts: 975000 | #Constraints: 82183
2927.93/2972.37 c #Conflicts: 976000 | #Constraints: 83183
2927.93/2972.37 c #Conflicts: 977000 | #Constraints: 84184
2927.93/2972.37 c #Conflicts: 978000 | #Constraints: 85184
2927.93/2972.37 c #Conflicts: 979000 | #Constraints: 86185
2927.93/2972.37 c #Conflicts: 980000 | #Constraints: 87185
2927.93/2972.37 c #Conflicts: 981000 | #Constraints: 88186
2927.93/2972.37 c INPROCESSING
2927.93/2972.37 c GARBAGE COLLECT
2927.93/2972.37 c rational objective 9
3028.16/3073.27 c #Conflicts: 982000 | #Constraints: 69568
3028.16/3073.27 c #Conflicts: 983000 | #Constraints: 70569
3028.16/3073.27 c #Conflicts: 984000 | #Constraints: 71569
3028.16/3073.27 c #Conflicts: 985000 | #Constraints: 72571
3028.16/3073.27 c #Conflicts: 986000 | #Constraints: 73571
3028.16/3073.27 c #Conflicts: 987000 | #Constraints: 74572
3028.16/3073.27 c #Conflicts: 988000 | #Constraints: 75572
3028.16/3073.27 c #Conflicts: 989000 | #Constraints: 76572
3028.16/3073.27 c #Conflicts: 990000 | #Constraints: 77573
3028.16/3073.27 c #Conflicts: 991000 | #Constraints: 78574
3028.16/3073.27 c #Conflicts: 992000 | #Constraints: 79574
3028.16/3073.27 c #Conflicts: 993000 | #Constraints: 80574
3028.16/3073.27 c #Conflicts: 994000 | #Constraints: 81574
3028.16/3073.27 c #Conflicts: 995000 | #Constraints: 82575
3028.16/3073.27 c #Conflicts: 996000 | #Constraints: 83575
3028.16/3073.27 c #Conflicts: 997000 | #Constraints: 84576
3028.16/3073.27 c #Conflicts: 998000 | #Constraints: 85576
3028.16/3073.27 c #Conflicts: 999000 | #Constraints: 86576
3028.16/3073.27 c #Conflicts: 1000000 | #Constraints: 87576
3028.16/3073.27 c #Conflicts: 1001000 | #Constraints: 88577
3028.16/3073.28 c INPROCESSING
3028.16/3073.28 c GARBAGE COLLECT
3028.16/3073.28 c rational objective 9
3116.74/3167.26 c #Conflicts: 1002000 | #Constraints: 69810
3116.74/3167.26 c #Conflicts: 1003000 | #Constraints: 70810
3116.74/3167.26 c #Conflicts: 1004000 | #Constraints: 71810
3116.74/3167.26 c #Conflicts: 1005000 | #Constraints: 72810
3116.74/3167.26 c #Conflicts: 1006000 | #Constraints: 73811
3116.74/3167.26 c #Conflicts: 1007000 | #Constraints: 74811
3116.74/3167.26 c #Conflicts: 1008000 | #Constraints: 75812
3116.74/3167.26 c #Conflicts: 1009000 | #Constraints: 76813
3116.74/3167.26 c #Conflicts: 1010000 | #Constraints: 77813
3116.74/3167.26 c #Conflicts: 1011000 | #Constraints: 78814
3116.74/3167.26 c #Conflicts: 1012000 | #Constraints: 79814
3116.74/3167.26 c #Conflicts: 1013000 | #Constraints: 80814
3116.74/3167.26 c #Conflicts: 1014000 | #Constraints: 81815
3116.74/3167.26 c #Conflicts: 1015000 | #Constraints: 82815
3116.74/3167.26 c #Conflicts: 1016000 | #Constraints: 83815
3116.74/3167.26 c #Conflicts: 1017000 | #Constraints: 84815
3116.74/3167.26 c #Conflicts: 1018000 | #Constraints: 85815
3116.74/3167.26 c #Conflicts: 1019000 | #Constraints: 86815
3116.74/3167.26 c #Conflicts: 1020000 | #Constraints: 87815
3116.74/3167.26 c #Conflicts: 1021000 | #Constraints: 88815
3116.74/3167.26 c INPROCESSING
3116.74/3167.26 c GARBAGE COLLECT
3116.74/3167.26 c rational objective 9
3302.88/3354.53 c #Conflicts: 1022000 | #Constraints: 69768
3302.88/3354.53 c #Conflicts: 1023000 | #Constraints: 70768
3302.88/3354.53 c #Conflicts: 1024000 | #Constraints: 71768
3302.88/3354.53 c #Conflicts: 1025000 | #Constraints: 72769
3302.88/3354.53 c #Conflicts: 1026000 | #Constraints: 73769
3302.88/3354.53 c #Conflicts: 1027000 | #Constraints: 74771
3302.88/3354.53 c #Conflicts: 1028000 | #Constraints: 75772
3302.88/3354.53 c #Conflicts: 1029000 | #Constraints: 76774
3302.88/3354.53 c #Conflicts: 1030000 | #Constraints: 77774
3302.88/3354.53 c #Conflicts: 1031000 | #Constraints: 78776
3302.88/3354.53 c #Conflicts: 1032000 | #Constraints: 79776
3302.88/3354.53 c #Conflicts: 1033000 | #Constraints: 80777
3302.88/3354.53 c #Conflicts: 1034000 | #Constraints: 81777
3302.88/3354.53 c #Conflicts: 1035000 | #Constraints: 82777
3302.88/3354.53 c #Conflicts: 1036000 | #Constraints: 83777
3302.88/3354.53 c #Conflicts: 1037000 | #Constraints: 84778
3302.88/3354.53 c #Conflicts: 1038000 | #Constraints: 85778
3302.88/3354.53 c #Conflicts: 1039000 | #Constraints: 86778
3302.88/3354.53 c #Conflicts: 1040000 | #Constraints: 87778
3302.88/3354.53 c #Conflicts: 1041000 | #Constraints: 88779
3302.88/3354.53 c INPROCESSING
3302.88/3354.53 c GARBAGE COLLECT
3302.88/3354.53 c rational objective 9
3493.72/3548.05 c #Conflicts: 1042000 | #Constraints: 69561
3493.72/3548.05 c #Conflicts: 1043000 | #Constraints: 70561
3493.72/3548.05 c #Conflicts: 1044000 | #Constraints: 71561
3493.72/3548.05 c #Conflicts: 1045000 | #Constraints: 72561
3493.72/3548.05 c #Conflicts: 1046000 | #Constraints: 73562
3493.72/3548.05 c #Conflicts: 1047000 | #Constraints: 74563
3493.72/3548.05 c #Conflicts: 1048000 | #Constraints: 75563
3493.72/3548.05 c #Conflicts: 1049000 | #Constraints: 76563
3493.72/3548.05 c #Conflicts: 1050000 | #Constraints: 77564
3493.72/3548.05 c #Conflicts: 1051000 | #Constraints: 78565
3493.72/3548.05 c #Conflicts: 1052000 | #Constraints: 79565
3493.72/3548.05 c #Conflicts: 1053000 | #Constraints: 80565
3493.72/3548.05 c #Conflicts: 1054000 | #Constraints: 81566
3493.72/3548.05 c #Conflicts: 1055000 | #Constraints: 82566
3493.72/3548.05 c #Conflicts: 1056000 | #Constraints: 83567
3493.72/3548.05 c #Conflicts: 1057000 | #Constraints: 84567
3493.72/3548.05 c #Conflicts: 1058000 | #Constraints: 85568
3493.72/3548.05 c #Conflicts: 1059000 | #Constraints: 86568
3493.72/3548.05 c #Conflicts: 1060000 | #Constraints: 87568
3493.72/3548.05 c #Conflicts: 1061000 | #Constraints: 88568
3493.72/3548.05 c #Conflicts: 1062000 | #Constraints: 89568
3493.72/3548.05 c INPROCESSING
3493.72/3548.05 c GARBAGE COLLECT
3493.72/3548.05 c rational objective 9
3597.73/3652.72 c #Conflicts: 1063000 | #Constraints: 70160
3597.73/3652.72 c #Conflicts: 1064000 | #Constraints: 71161
3597.73/3652.72 c #Conflicts: 1065000 | #Constraints: 72161
3597.73/3652.72 c #Conflicts: 1066000 | #Constraints: 73162
3597.73/3652.72 c #Conflicts: 1067000 | #Constraints: 74164
3597.73/3652.72 c #Conflicts: 1068000 | #Constraints: 75167
3597.73/3652.72 c #Conflicts: 1069000 | #Constraints: 76168
3597.73/3652.72 c #Conflicts: 1070000 | #Constraints: 77169
3597.73/3652.72 c #Conflicts: 1071000 | #Constraints: 78170
3597.73/3652.72 c #Conflicts: 1072000 | #Constraints: 79171
3597.73/3652.72 c #Conflicts: 1073000 | #Constraints: 80171
3597.73/3652.72 c #Conflicts: 1074000 | #Constraints: 81172
3597.73/3652.72 c #Conflicts: 1075000 | #Constraints: 82172
3597.73/3652.72 c #Conflicts: 1076000 | #Constraints: 83173
3597.73/3652.72 c #Conflicts: 1077000 | #Constraints: 84173
3597.73/3652.72 c #Conflicts: 1078000 | #Constraints: 85174
3597.73/3652.72 c #Conflicts: 1079000 | #Constraints: 86175
3597.73/3652.72 c #Conflicts: 1080000 | #Constraints: 87175
3597.73/3652.72 c #Conflicts: 1081000 | #Constraints: 88175
3597.73/3652.72 c #Conflicts: 1082000 | #Constraints: 89175
3597.73/3652.72 c #Conflicts: 1083000 | #Constraints: 90175
3597.73/3652.72 c INPROCESSING
3597.73/3652.72 c GARBAGE COLLECT
3597.73/3652.72 c rational objective 9
3600.04/3655.05 c #Conflicts: 1084000 | #Constraints: 70602
3600.04/3655.05 c cpu time 3555.62 s
3600.04/3655.05 c deterministic time 279715243279 2.80e+11
3600.04/3655.05 c optimization time 2.09411 s
3600.04/3655.05 c total solve time 3553.19 s
3600.04/3655.05 c core-guided solve time 1757.15 s
3600.04/3655.05 c propagation time 2109.93 s
3600.04/3655.05 c conflict analysis time 913.282 s
3600.04/3655.05 c propagations 560950031
3600.04/3655.05 c resolve steps 6821554
3600.04/3655.05 c decisions 12136642
3600.04/3655.05 c conflicts 1084155
3600.04/3655.05 c restarts 2046
3600.04/3655.05 c inprocessing phases 95
3600.04/3655.05 c garbage collections 95 ,( 100.00 )
3600.04/3655.05 c input clauses 56888 ,( 98.83 )
3600.04/3655.05 c input cardinalities 98 ,( 0.17 )
3600.04/3655.05 c input general constraints 576 ,( 1.00 )
3600.04/3655.05 c input average constraint length 4.07
3600.04/3655.05 c input average constraint degree 12.29
3600.04/3655.05 c learned clauses 108758 ,( 10.02 )
3600.04/3655.05 c learned cardinalities 9518 ,( 0.88 )
3600.04/3655.05 c learned general constraints 967380 ,( 89.11 )
3600.04/3655.05 c learned average constraint length 1250.57
3600.04/3655.05 c learned average constraint degree 9213985462.26
3600.04/3655.05 c watched CF 32, 64, 128, Arb: 356057 , 0 , 0 , 0
3600.04/3655.05 c counting CF 32, 64, 128, Arb: 611900 , 0 , 0 , 0
3600.04/3655.05 c watched constraints 356057 ,( 36.78 )
3600.04/3655.05 c counting constraints 611899 ,( 63.22 )
3600.04/3655.05 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 107946684 , 19677890 , 2742833003 ,( 213544589 , 2529288414 )
3600.04/3655.05 c gcd simplifications 61962
3600.04/3655.05 c detected cardinalities 422
3600.04/3655.05 c weakened non-implied lits 388755744
3600.04/3655.05 c weakened non-implying lits 1081181
3600.04/3655.05 c original variables 24530
3600.04/3655.05 c clausal propagations 91164506
3600.04/3655.05 c cardinality propagations 57448980
3600.04/3655.05 c watched propagations 2422597
3600.04/3655.05 c counting propagations 393516015
3600.04/3655.05 c watch lookups 104722855628
3600.04/3655.05 c watch backjump lookups 0
3600.04/3655.05 c watch checks 54315496071
3600.04/3655.05 c propagation checks 115454575572
3600.04/3655.05 c constraint additions 4073638112
3600.04/3655.05 c trail pops 574158987
3600.04/3655.05 c formula constraints 57562
3600.04/3655.05 c learned constraints 1083148
3600.04/3655.05 c bound constraints 0
3600.04/3655.05 c core-guided constraints 0
3600.04/3655.05 c encountered formula constraints 4714227
3600.04/3655.05 c encountered learned constraints 2991748
3600.04/3655.05 c encountered bound constraints 0
3600.04/3655.05 c encountered core-guided constraints 0
3600.04/3655.05 c LP total time 908.547 s
3600.04/3655.05 c LP solve time 855.45 s
3600.04/3655.05 c LP constraints added 59663
3600.04/3655.05 c LP constraints removed 2064
3600.04/3655.05 c LP pivots internal 1084733
3600.04/3655.05 c LP pivots root 347502
3600.04/3655.05 c LP calls 1136
3600.04/3655.05 c LP optimalities 124
3600.04/3655.05 c LP no pivot count 7
3600.04/3655.05 c LP infeasibilities 1008
3600.04/3655.05 c LP valid Farkas constraints 1006
3600.04/3655.05 c LP learned Farkas constraints 1006
3600.04/3655.05 c LP basis resets 2
3600.04/3655.05 c LP cycling count 0
3600.04/3655.05 c LP singular count 0
3600.04/3655.05 c LP no primal count 0
3600.04/3655.05 c LP no farkas count 2
3600.04/3655.05 c LP other issue count 0
3600.04/3655.05 c LP Gomory cuts 496
3600.04/3655.05 c LP learned cuts 1632
3600.04/3655.05 c LP deleted cuts 2101
3600.04/3655.05 c LP encountered Gomory constraints 12695
3600.04/3655.05 c LP encountered Farkas constraints 171127
3600.04/3655.05 c LP encountered learned Farkas constraints 14906
3600.04/3655.05 c CG auxiliary variables introduced 0
3600.04/3655.05 c CG solutions found 0
3600.04/3655.05 c CG cores constructed 0
3600.04/3655.05 c CG core cardinality constraints returned 0
3600.04/3655.05 c CG unit cores 0
3600.04/3655.05 c CG single cores 0
3600.04/3655.05 c CG blocks removed during cardinality reduction 0
3600.04/3655.05 c CG first core best 0
3600.04/3655.05 c CG decision core best 0
3600.04/3655.05 c CG core reduction tie 0
3600.04/3655.05 c CG core degree average 0.00
3600.04/3655.05 c CG core slack average 0.00
3600.04/3655.05 c CG core upper bound improvements 0
3600.04/3655.05 c STR number of successful calls 0
3600.04/3655.05 c STR number of unsuccessful calls 0
3600.04/3655.05 c STR number of inconclusive calls 0
3600.04/3655.05 c STR number of successful attempts 0
3600.04/3655.05 c STR number of unsuccessful attempts 0
3600.04/3655.05 c STR number of inconclusive attempts 0
3600.04/3655.05 c STR average degree increase per successful call inf
3600.04/3655.05 c STR average degree increase per successful attempt inf
3600.04/3655.05 c STR total number of conflicts for successful attempts 0
3600.04/3655.05 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3655.05 c STR total number of conflicts for inconclusive attempts 0
3600.04/3655.05 c STR average number of conflicts per successful attempt inf
3600.04/3655.05 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3655.05 c STR average number of conflicts per inconclusive attempt inf
3600.04/3655.05 c AVG.sumWPerc 50.11
3600.04/3655.05 c bigint constraints 0
3600.04/3655.05 s UNKNOWN
3600.04/3655.05 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 (50234 MiB free)
memory of node 1: 64507 MiB (9031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498985-1751404890/watcher-4498985-1751404890 -o /tmp/evaluation-result-4498985-1751404890/solver-4498985-1751404890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56720 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4498985-1751404890.opb PROOFDIR/proof-4498985-1751404890
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=57912, runsolver pid=57909
[startup+0.100105 s]*
/proc/loadavg: 4.30 4.32 4.31 5/276 57914
/proc/meminfo: memFree=60673448/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56168374 4292608 736 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 736 672 219 0 110 0
[pid=57914] ppid=57912 vsize=27780 memory=17320 CPUtime=0.07 cores=0,2
/proc/57914/stat : 57914 (pbsuma) R 57912 57912 56710 0 -1 4194304 4410 0 0 0 6 1 0 0 20 0 1 0 56168375 28446720 4330 18446744073709551615 4210688 4653049 140721976055600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7069696 140721976064227 140721976064562 140721976064562 140721976070127 0
/proc/57914/statm: 6945 4330 1024 108 0 4353 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 31972 KiB
Current children cumulated memory: 20264 KiB
[startup+0.215003 s]*
/proc/loadavg: 4.30 4.32 4.31 6/276 57914
/proc/meminfo: memFree=60665384/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56168374 4292608 736 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 736 672 219 0 110 0
[pid=57914] ppid=57912 vsize=29692 memory=18944 CPUtime=0.18 cores=0,2
/proc/57914/stat : 57914 (pbsuma) R 57912 57912 56710 0 -1 4194304 5104 0 0 0 17 1 0 0 20 0 1 0 56168375 30404608 4736 18446744073709551615 4210688 4653049 140721976055600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7069696 140721976064227 140721976064562 140721976064562 140721976070127 0
/proc/57914/statm: 7423 4736 1024 108 0 4831 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 21888 KiB
[startup+0.314527 s]*
/proc/loadavg: 4.30 4.32 4.31 6/276 57914
/proc/meminfo: memFree=60665384/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56168374 4292608 736 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 736 672 219 0 110 0
[pid=57914] ppid=57912 vsize=29692 memory=19584 CPUtime=0.28 cores=0,2
/proc/57914/stat : 57914 (pbsuma) R 57912 57912 56710 0 -1 4194304 5264 0 0 0 27 1 0 0 20 0 1 0 56168375 30404608 4896 18446744073709551615 4210688 4653049 140721976055600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7069696 140721976064227 140721976064562 140721976064562 140721976070127 0
/proc/57914/statm: 7423 4896 1024 108 0 4831 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 22528 KiB
[startup+0.700394 s]
/proc/loadavg: 4.30 4.32 4.31 5/276 57914
/proc/meminfo: memFree=60632624/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56168374 4292608 736 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 736 672 219 0 110 0
[pid=57914] ppid=57912 vsize=37644 memory=26508 CPUtime=0.66 cores=0,2
/proc/57914/stat : 57914 (pbsuma) R 57912 57912 56710 0 -1 4194304 7934 0 0 0 64 2 0 0 20 0 1 0 56168375 38547456 6627 18446744073709551615 4210688 4653049 140721976055600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7069696 140721976064227 140721976064562 140721976064562 140721976070127 0
/proc/57914/statm: 9411 6627 1024 108 0 6819 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41836 KiB
Current children cumulated memory: 29452 KiB
[startup+1.50044 s]
/proc/loadavg: 4.30 4.32 4.31 5/276 57914
/proc/meminfo: memFree=60608432/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 56168374 4292608 736 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 736 672 219 0 110 0
[pid=57914] ppid=57912 vsize=45428 memory=36108 CPUtime=1.46 cores=0,2
/proc/57914/stat : 57914 (pbsuma) R 57912 57912 56710 0 -1 4194304 10339 0 0 0 143 3 0 0 20 0 1 0 56168375 46518272 9027 18446744073709551615 4210688 4653049 140721976055600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 7069696 140721976064227 140721976064562 140721976064562 140721976070127 0
/proc/57914/statm: 11357 9027 1024 108 0 8765 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 49620 KiB
Current children cumulated memory: 39052 KiB
[startup+3.11457 s]
/proc/loadavg: 4.30 4.32 4.31 5/276 57915
/proc/meminfo: memFree=60368444/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=130620 memory=83444 CPUtime=0.44 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 13325 0 0 0 36 8 0 0 20 0 1 0 56168639 133754880 20861 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 32655 20861 2304 1147 0 20082 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 134812 KiB
Current children cumulated memory: 86516 KiB
[startup+6.30039 s]
/proc/loadavg: 4.27 4.31 4.31 5/276 57915
/proc/meminfo: memFree=59966524/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=219756 memory=161384 CPUtime=3.62 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 27824 0 0 0 343 19 0 0 20 0 1 0 56168639 225030144 40346 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 54939 40346 2400 1147 0 42366 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 223948 KiB
Current children cumulated memory: 164456 KiB
[startup+12.7004 s]
/proc/loadavg: 4.25 4.31 4.30 5/276 57915
/proc/meminfo: memFree=58954564/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=256220 memory=196144 CPUtime=9.99 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 36030 0 0 0 971 28 0 0 20 0 1 0 56168639 262369280 49036 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 64055 49036 2400 1147 0 51482 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 260412 KiB
Current children cumulated memory: 199216 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.29 4.30 5/276 57915
/proc/meminfo: memFree=56961152/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=301928 memory=248908 CPUtime=22.76 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 47283 0 0 0 2223 53 0 0 20 0 1 0 56168639 309174272 62227 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 75482 62227 2400 1147 0 62909 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 306120 KiB
Current children cumulated memory: 251980 KiB
[startup+51.1147 s]
/proc/loadavg: 4.13 4.27 4.29 5/276 57916
/proc/meminfo: memFree=54963704/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=386628 memory=316484 CPUtime=48.14 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 62178 0 0 0 4710 104 0 0 20 0 1 0 56168639 395907072 79121 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 96657 79121 2400 1147 0 84084 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 390820 KiB
Current children cumulated memory: 319556 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.26 4.28 5/277 57922
/proc/meminfo: memFree=49480216/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=558312 memory=459056 CPUtime=98.68 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 92705 0 0 0 9684 184 0 0 20 0 1 0 56168639 571711488 114764 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 139578 114764 2528 1147 0 127005 0
Current children cumulated CPU time: 101.2 s
Current children cumulated vsize: 562504 KiB
Current children cumulated memory: 462128 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.24 4.27 5/280 57927
/proc/meminfo: memFree=43668440/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=606452 memory=515108 CPUtime=158.12 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 105316 0 0 0 15538 274 0 0 20 0 1 0 56168639 621006848 128777 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 151613 128777 2528 1147 0 139040 0
Current children cumulated CPU time: 160.64 s
Current children cumulated vsize: 610644 KiB
Current children cumulated memory: 518180 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.22 4.26 5/280 57929
/proc/meminfo: memFree=35388000/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=837280 memory=689172 CPUtime=217.11 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 144321 0 0 0 21342 369 0 0 20 0 1 0 56168639 857374720 172293 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 209320 172293 2528 1147 0 196747 0
################
# More data... #
################
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2628628 memory=2205880 CPUtime=3109.33 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 628642 0 0 0 307243 3690 0 0 20 0 1 0 56168639 2691715072 551470 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 657157 551470 2528 1147 0 644584 0
Current children cumulated CPU time: 3111.85 s
Current children cumulated vsize: 2632820 KiB
Current children cumulated memory: 2208952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.31 4.31 5/271 58332
/proc/meminfo: memFree=4596312/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2628628 memory=2206136 CPUtime=3168.74 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 632814 0 0 0 313113 3761 0 0 20 0 1 0 56168639 2691715072 551534 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 657157 551534 2528 1147 0 644584 0
Current children cumulated CPU time: 3171.26 s
Current children cumulated vsize: 2632820 KiB
Current children cumulated memory: 2209208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.30 4.30 5/272 58335
/proc/meminfo: memFree=3983220/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2780148 memory=2316728 CPUtime=3228.45 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 676295 0 0 0 319024 3821 0 0 20 0 1 0 56168639 2846871552 579182 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 695037 579182 2528 1147 0 682464 0
Current children cumulated CPU time: 3230.97 s
Current children cumulated vsize: 2784340 KiB
Current children cumulated memory: 2319800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.24 4.28 5/268 58340
/proc/meminfo: memFree=3331756/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2980084 memory=2516456 CPUtime=3288.2 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 752503 0 0 0 324957 3863 0 0 20 0 1 0 56168639 3051606016 629114 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 745021 629114 2528 1147 0 732448 0
Current children cumulated CPU time: 3290.72 s
Current children cumulated vsize: 2984276 KiB
Current children cumulated memory: 2519528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.27 5/268 58342
/proc/meminfo: memFree=2722060/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2980084 memory=2516456 CPUtime=3346.07 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 773943 0 0 0 330676 3931 0 0 20 0 1 0 56168639 3051606016 629114 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 745021 629114 2528 1147 0 732448 0
Current children cumulated CPU time: 3348.59 s
Current children cumulated vsize: 2984276 KiB
Current children cumulated memory: 2519528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.21 4.26 5/270 58346
/proc/meminfo: memFree=2060516/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2980084 memory=2517096 CPUtime=3405.85 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 786555 0 0 0 336587 3998 0 0 20 0 1 0 56168639 3051606016 629274 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 745021 629274 2528 1147 0 732448 0
Current children cumulated CPU time: 3408.37 s
Current children cumulated vsize: 2984276 KiB
Current children cumulated memory: 2520168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.18 4.25 5/270 58348
/proc/meminfo: memFree=1523092/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2980084 memory=2520424 CPUtime=3465.56 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 799152 0 0 0 342505 4051 0 0 20 0 1 0 56168639 3051606016 630106 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 745021 630106 2528 1147 0 732448 0
Current children cumulated CPU time: 3468.08 s
Current children cumulated vsize: 2984276 KiB
Current children cumulated memory: 2523496 KiB
[startup+3582.3 s]
/proc/loadavg: 3.60 4.04 4.19 5/263 58381
/proc/meminfo: memFree=84815540/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2980716 memory=2522088 CPUtime=3525.21 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 859007 0 0 0 348396 4125 0 0 20 0 1 0 56168639 3052253184 630522 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 745179 630522 2528 1147 0 732606 0
Current children cumulated CPU time: 3527.73 s
Current children cumulated vsize: 2984908 KiB
Current children cumulated memory: 2525160 KiB
[startup+3642.3 s]
/proc/loadavg: 3.26 3.86 4.12 4/263 58383
/proc/meminfo: memFree=84043584/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2991792 memory=2542824 CPUtime=3584.93 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 912132 0 0 0 354311 4182 0 0 20 0 1 0 56168639 3063595008 635706 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 747948 635706 2528 1147 0 735375 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 2995984 KiB
Current children cumulated memory: 2545896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3655 s]*
/proc/loadavg: 3.28 3.84 4.11 4/263 58383
/proc/meminfo: memFree=83938172/131382120 swapFree=33010416/33010684
[pid=57912] ppid=57909 vsize=4192 memory=3072 CPUtime=2.52 cores=0,2
/proc/57912/stat : 57912 (run-opt-ls-log.) S 57909 57912 56710 0 -1 4194304 243 12660 0 0 0 0 242 10 20 0 1 0 56168374 4292608 768 18446744073709551615 93892526141440 93892527035973 140720882088960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93892527275024 93892527322768 93892550451200 140720882096411 140720882096609 140720882096609 140720882102211 0
/proc/57912/statm: 1048 768 704 219 0 110 0
[pid=57915] ppid=57912 vsize=2996180 memory=2546536 CPUtime=3597.52 cores=0,2
/proc/57915/stat : 57915 (roundingsat) R 57912 57912 56710 0 -1 4194304 917169 0 0 0 355561 4191 0 0 20 0 1 0 56168639 3068088320 636634 18446744073709551615 4227072 8923433 140726029507424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14761984 140726029514998 140726029515304 140726029515304 140726029520874 0
/proc/57915/statm: 749045 636634 2528 1147 0 736472 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3000372 KiB
Current children cumulated memory: 2549608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3655.02 s]
# the end of solver process 57912 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.43158 s, system=0.108265 s
[startup+3655.24 s]
# the end of solver process 57915 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.07 s, system=42.1486 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+3655.21 s]*
/proc/loadavg: 3.28 3.84 4.11 4/262 58383
/proc/meminfo: memFree=85977136/131382120 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 2.53985 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): 3655.24
CPU time (s): 3600.22
CPU user time (s): 3558.07
CPU system time (s): 42.1486
CPU usage (%): 98.4946
Max. virtual memory (cumulated for all children) (KiB): 3000372
Max. memory (cumulated for all children) (KiB): 2549608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.07
system time used= 42.1486
maximum resident set size= 2546792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930120
page faults= 2
swaps= 0
block input operations= 3520
block output operations= 38671168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7515
involuntary context switches= 10174
# summary of solver processes directly reported to runsolver:
# pid: 57912,57915
# total CPU time (s): 3600.22
# total CPU user time (s): 3558.07
# total CPU system time (s): 42.1486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4016 second user time and 41.4519 second system time
The end
Begin job on nodeC006 at 2025-07-01 23:21:30
IDJOB=4498985
IDBENCH=148768
IDSOLVER=3356
FILE ID=nodeC006/4498985-1751404890
RUNJOBID= nodeC006-1751397562-56720
SLURM_JOB_ID= 9598278
Free space on /tmp= 432668 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498985-1751404890/watcher-4498985-1751404890 -o /tmp/evaluation-result-4498985-1751404890/solver-4498985-1751404890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56720 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4498985-1751404890.opb PROOFDIR/proof-4498985-1751404890
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=735220503
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.568
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.32
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 : 3691.162
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.32
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.139
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.32
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.501
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.32
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.096
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.32
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 : 3691.046
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.32
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.184
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.32
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 60701296 kB
MemAvailable: 114581020 kB
Buffers: 2128 kB
Cached: 54598768 kB
SwapCached: 12 kB
Active: 15550160 kB
Inactive: 54221676 kB
Active(anon): 15177836 kB
Inactive(anon): 11092 kB
Active(file): 372324 kB
Inactive(file): 54210584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5036472 kB
Writeback: 0 kB
AnonPages: 15173240 kB
Mapped: 116516 kB
Shmem: 17948 kB
KReclaimable: 272500 kB
Slab: 516824 kB
SReclaimable: 272500 kB
SUnreclaim: 244324 kB
KernelStack: 4432 kB
PageTables: 35032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 17258392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149800 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2250752 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432904 MiB
End job on nodeC006 at 2025-07-02 00:22:26