0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4531955-1752683067.opb'
0.00/0.02 c read 0.79MB (11.11ms)
0.00/0.02 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.02 c output proof to '/tmp/proof-4531955-1752683067'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 44] (11.12ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.11 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.12 c recursing 378 blocks of candidate 9x1872r
0.09/0.12 c found row 3x18, generating row predicate
0.09/0.14 c found row 9x1872, generating row predicate
0.09/0.14 c (109.16ms)
0.09/0.14 c
0.09/0.14 c detect symmetries on remainder
0.09/0.14 c [graph: #vertices 50589 #edges 228420]
0.09/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.24 c [group: #symmetries 9.77*10^218 #generators 302] (98.39ms)
0.19/0.24 c
0.19/0.24 c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.31 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.29/0.37 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.39/0.43 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
0.39/0.49 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
0.39/0.50 c ran it=0, +gens=84
0.68/0.72 c con best_support=28, best_gens=134, +gens=246
0.68/0.72 c (482.22ms)
0.68/0.72 c
0.68/0.72 c finalize break order and special generators
0.68/0.72 c
0.68/0.72 c add generic predicates (break_depth=20)
0.68/0.73 c added predicates for 632 generators (10.02ms)
1.57/1.69 c
1.57/1.69 c generation finished
1.57/1.69 c [sbp: #constraints 48408 #add_vars 16106]
1.57/1.69 c
1.57/1.69 c write result to 'HOME/instance-4531955-1752683067.opb.pre'
1.67/1.70 c wrote 2.64MB (5.83ms)
1.67/1.70 c ------------------------------------------------------------------
1.67/1.70 c 956.81ms 56.62% other
1.67/1.70 c 482.22ms 28.54% optimize_gens
1.67/1.70 c 109.16ms 6.46% detect_special
1.67/1.70 c 98.39ms 5.82% detect_generic
1.67/1.70 c 11.12ms 0.66% approx_orbits
1.67/1.70 c 11.11ms 0.66% parse
1.67/1.70 c 10.02ms 0.59% break_generic
1.67/1.70 c 5.83ms 0.35% output
1.67/1.70 c 5.24ms 0.31% finalize_order
1.67/1.70 c ───────────────────────────────────────────────
1.67/1.70 c 1689.90ms 100% total
1.67/1.70 c ------------------------------------------------------------------
1.67/1.71 c RoundingSat 2
1.67/1.71 c branch pb25
1.67/1.71 c commit 0f876b3
2.06/2.11 c #variables 24530 #constraints 57562
2.06/2.11 c objective is ce32
2.35/2.42 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.35/2.42 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
2.35/2.42 c bounds - >= 0 @ 0.618599
4.85/4.96 c #Conflicts: 1000 | #Constraints: 58562
4.85/4.96 c #Conflicts: 2000 | #Constraints: 59563
4.85/4.96 c INPROCESSING
4.85/4.96 c GARBAGE COLLECT
4.85/4.96 c rational objective 9
10.04/10.18 c #Conflicts: 3000 | #Constraints: 51155
10.04/10.18 c #Conflicts: 4000 | #Constraints: 52155
10.04/10.18 c INPROCESSING
10.04/10.18 c GARBAGE COLLECT
10.04/10.18 c rational objective 9
12.03/12.18 c #Conflicts: 5000 | #Constraints: 51558
12.03/12.18 c #Conflicts: 6000 | #Constraints: 52559
12.03/12.18 c INPROCESSING
12.03/12.18 c GARBAGE COLLECT
12.03/12.18 c rational objective 9
14.62/14.74 c #Conflicts: 7000 | #Constraints: 51561
14.62/14.74 c #Conflicts: 8000 | #Constraints: 52562
14.62/14.74 c #Conflicts: 9000 | #Constraints: 53565
14.62/14.74 c INPROCESSING
14.62/14.74 c GARBAGE COLLECT
14.62/14.74 c rational objective 9
18.81/19.00 c #Conflicts: 10000 | #Constraints: 52266
18.81/19.00 c #Conflicts: 11000 | #Constraints: 53266
18.81/19.00 c #Conflicts: 12000 | #Constraints: 54267
18.81/19.00 c INPROCESSING
18.81/19.00 c GARBAGE COLLECT
18.81/19.00 c rational objective 9
28.37/28.55 c #Conflicts: 13000 | #Constraints: 52707
28.37/28.55 c #Conflicts: 14000 | #Constraints: 53708
28.37/28.55 c #Conflicts: 15000 | #Constraints: 54709
28.37/28.55 c INPROCESSING
28.37/28.55 c GARBAGE COLLECT
28.37/28.55 c #Conflicts: 16000 | #Constraints: 52929
28.37/28.55 c #Conflicts: 17000 | #Constraints: 53929
28.37/28.55 c #Conflicts: 18000 | #Constraints: 54929
28.37/28.55 c INPROCESSING
28.37/28.55 c GARBAGE COLLECT
28.37/28.55 c rational objective 9
32.16/32.38 c #Conflicts: 19000 | #Constraints: 52959
32.16/32.38 c #Conflicts: 20000 | #Constraints: 53960
32.16/32.38 c #Conflicts: 21000 | #Constraints: 54962
32.16/32.38 c INPROCESSING
32.16/32.38 c GARBAGE COLLECT
32.16/32.38 c rational objective 9
37.35/37.56 c #Conflicts: 22000 | #Constraints: 52744
37.35/37.56 c #Conflicts: 23000 | #Constraints: 53744
37.35/37.56 c #Conflicts: 24000 | #Constraints: 54744
37.35/37.56 c #Conflicts: 25000 | #Constraints: 55744
37.35/37.56 c INPROCESSING
37.35/37.56 c GARBAGE COLLECT
37.35/37.56 c rational objective 9
43.84/44.07 c #Conflicts: 26000 | #Constraints: 53325
43.84/44.07 c #Conflicts: 27000 | #Constraints: 54326
43.84/44.07 c #Conflicts: 28000 | #Constraints: 55328
43.84/44.07 c #Conflicts: 29000 | #Constraints: 56332
43.84/44.07 c INPROCESSING
43.84/44.07 c GARBAGE COLLECT
43.84/44.07 c rational objective 9
49.32/49.54 c #Conflicts: 30000 | #Constraints: 53733
49.32/49.54 c #Conflicts: 31000 | #Constraints: 54738
49.32/49.54 c #Conflicts: 32000 | #Constraints: 55741
49.32/49.54 c #Conflicts: 33000 | #Constraints: 56741
49.32/49.54 c INPROCESSING
49.32/49.54 c GARBAGE COLLECT
49.32/49.54 c rational objective 9
57.90/58.15 c #Conflicts: 34000 | #Constraints: 53862
57.90/58.15 c #Conflicts: 35000 | #Constraints: 54862
57.90/58.15 c #Conflicts: 36000 | #Constraints: 55864
57.90/58.15 c #Conflicts: 37000 | #Constraints: 56865
57.90/58.15 c INPROCESSING
57.90/58.15 c GARBAGE COLLECT
57.90/58.15 c rational objective 9
75.85/76.16 c #Conflicts: 38000 | #Constraints: 53877
75.85/76.16 c #Conflicts: 39000 | #Constraints: 54877
75.85/76.16 c #Conflicts: 40000 | #Constraints: 55878
75.85/76.16 c #Conflicts: 41000 | #Constraints: 56879
75.85/76.16 c INPROCESSING
75.85/76.16 c GARBAGE COLLECT
75.85/76.16 c rational objective 9
82.82/83.13 c #Conflicts: 42000 | #Constraints: 53687
82.82/83.13 c #Conflicts: 43000 | #Constraints: 54687
82.82/83.13 c #Conflicts: 44000 | #Constraints: 55687
82.82/83.13 c #Conflicts: 45000 | #Constraints: 56687
82.82/83.13 c #Conflicts: 46000 | #Constraints: 57687
82.82/83.13 c INPROCESSING
82.82/83.13 c GARBAGE COLLECT
82.82/83.13 c rational objective 9
90.10/90.47 c #Conflicts: 47000 | #Constraints: 54277
90.10/90.47 c #Conflicts: 48000 | #Constraints: 55278
90.10/90.47 c #Conflicts: 49000 | #Constraints: 56280
90.10/90.47 c #Conflicts: 50000 | #Constraints: 57282
90.10/90.47 c #Conflicts: 51000 | #Constraints: 58284
90.10/90.47 c INPROCESSING
90.10/90.47 c GARBAGE COLLECT
90.10/90.47 c rational objective 9
100.57/100.97 c #Conflicts: 52000 | #Constraints: 54677
100.57/100.97 c #Conflicts: 53000 | #Constraints: 55678
100.57/100.97 c #Conflicts: 54000 | #Constraints: 56680
100.57/100.97 c #Conflicts: 55000 | #Constraints: 57683
100.57/100.97 c #Conflicts: 56000 | #Constraints: 58685
100.57/100.97 c INPROCESSING
100.57/100.97 c GARBAGE COLLECT
100.57/100.97 c rational objective 9
112.83/113.28 c #Conflicts: 57000 | #Constraints: 54890
112.83/113.28 c #Conflicts: 58000 | #Constraints: 55890
112.83/113.28 c #Conflicts: 59000 | #Constraints: 56890
112.83/113.28 c #Conflicts: 60000 | #Constraints: 57890
112.83/113.28 c #Conflicts: 61000 | #Constraints: 58891
112.83/113.28 c INPROCESSING
112.83/113.28 c GARBAGE COLLECT
112.83/113.28 c rational objective 9
121.10/121.50 c #Conflicts: 62000 | #Constraints: 54885
121.10/121.50 c #Conflicts: 63000 | #Constraints: 55886
121.10/121.50 c #Conflicts: 64000 | #Constraints: 56886
121.10/121.50 c #Conflicts: 65000 | #Constraints: 57889
121.10/121.50 c #Conflicts: 66000 | #Constraints: 58889
121.10/121.50 c INPROCESSING
121.10/121.50 c GARBAGE COLLECT
121.10/121.50 c rational objective 9
130.77/131.25 c #Conflicts: 67000 | #Constraints: 54691
130.77/131.25 c #Conflicts: 68000 | #Constraints: 55692
130.77/131.25 c #Conflicts: 69000 | #Constraints: 56695
130.77/131.25 c #Conflicts: 70000 | #Constraints: 57695
130.77/131.25 c #Conflicts: 71000 | #Constraints: 58696
130.77/131.25 c #Conflicts: 72000 | #Constraints: 59698
130.77/131.25 c INPROCESSING
130.77/131.25 c GARBAGE COLLECT
130.77/131.25 c rational objective 9
141.72/142.21 c #Conflicts: 73000 | #Constraints: 55283
141.72/142.21 c #Conflicts: 74000 | #Constraints: 56283
141.72/142.21 c #Conflicts: 75000 | #Constraints: 57283
141.72/142.21 c #Conflicts: 76000 | #Constraints: 58283
141.72/142.21 c #Conflicts: 77000 | #Constraints: 59284
141.72/142.21 c #Conflicts: 78000 | #Constraints: 60285
141.72/142.21 c INPROCESSING
141.72/142.21 c GARBAGE COLLECT
141.72/142.21 c rational objective 9
154.28/154.85 c #Conflicts: 79000 | #Constraints: 55574
154.28/154.85 c #Conflicts: 80000 | #Constraints: 56575
154.28/154.85 c #Conflicts: 81000 | #Constraints: 57575
154.28/154.85 c #Conflicts: 82000 | #Constraints: 58576
154.28/154.85 c #Conflicts: 83000 | #Constraints: 59578
154.28/154.85 c #Conflicts: 84000 | #Constraints: 60578
154.28/154.85 c INPROCESSING
154.28/154.85 c GARBAGE COLLECT
154.28/154.85 c rational objective 9
172.82/173.44 c #Conflicts: 85000 | #Constraints: 55786
172.82/173.44 c #Conflicts: 86000 | #Constraints: 56787
172.82/173.44 c #Conflicts: 87000 | #Constraints: 57787
172.82/173.44 c #Conflicts: 88000 | #Constraints: 58788
172.82/173.44 c #Conflicts: 89000 | #Constraints: 59789
172.82/173.44 c #Conflicts: 90000 | #Constraints: 60791
172.82/173.44 c INPROCESSING
172.82/173.44 c GARBAGE COLLECT
172.82/173.44 c rational objective 9
187.86/188.58 c #Conflicts: 91000 | #Constraints: 55803
187.86/188.58 c #Conflicts: 92000 | #Constraints: 56804
187.86/188.58 c #Conflicts: 93000 | #Constraints: 57808
187.86/188.58 c #Conflicts: 94000 | #Constraints: 58809
187.86/188.58 c #Conflicts: 95000 | #Constraints: 59811
187.86/188.58 c #Conflicts: 96000 | #Constraints: 60812
187.86/188.58 c INPROCESSING
187.86/188.58 c GARBAGE COLLECT
187.86/188.58 c rational objective 9
204.61/205.37 c #Conflicts: 97000 | #Constraints: 55614
204.61/205.37 c #Conflicts: 98000 | #Constraints: 56614
204.61/205.37 c #Conflicts: 99000 | #Constraints: 57615
204.61/205.37 c #Conflicts: 100000 | #Constraints: 58615
204.61/205.37 c #Conflicts: 101000 | #Constraints: 59616
204.61/205.37 c #Conflicts: 102000 | #Constraints: 60616
204.61/205.37 c #Conflicts: 103000 | #Constraints: 61617
204.61/205.37 c INPROCESSING
204.61/205.37 c GARBAGE COLLECT
204.61/205.37 c rational objective 9
216.97/217.79 c #Conflicts: 104000 | #Constraints: 56206
216.97/217.79 c #Conflicts: 105000 | #Constraints: 57206
216.97/217.79 c #Conflicts: 106000 | #Constraints: 58208
216.97/217.79 c #Conflicts: 107000 | #Constraints: 59209
216.97/217.79 c #Conflicts: 108000 | #Constraints: 60212
216.97/217.79 c #Conflicts: 109000 | #Constraints: 61214
216.97/217.79 c #Conflicts: 110000 | #Constraints: 62218
216.97/217.79 c INPROCESSING
216.97/217.79 c GARBAGE COLLECT
216.97/217.79 c rational objective 9
229.13/229.98 c #Conflicts: 111000 | #Constraints: 56624
229.13/229.98 c #Conflicts: 112000 | #Constraints: 57626
229.13/229.98 c #Conflicts: 113000 | #Constraints: 58628
229.13/229.98 c #Conflicts: 114000 | #Constraints: 59628
229.13/229.98 c #Conflicts: 115000 | #Constraints: 60629
229.13/229.98 c #Conflicts: 116000 | #Constraints: 61630
229.13/229.98 c #Conflicts: 117000 | #Constraints: 62630
229.13/229.98 c INPROCESSING
229.13/229.98 c GARBAGE COLLECT
229.13/229.98 c rational objective 9
240.39/241.23 c #Conflicts: 118000 | #Constraints: 56808
240.39/241.23 c #Conflicts: 119000 | #Constraints: 57808
240.39/241.23 c #Conflicts: 120000 | #Constraints: 58809
240.39/241.23 c #Conflicts: 121000 | #Constraints: 59810
240.39/241.23 c #Conflicts: 122000 | #Constraints: 60811
240.39/241.23 c #Conflicts: 123000 | #Constraints: 61813
240.39/241.23 c #Conflicts: 124000 | #Constraints: 62814
240.39/241.23 c INPROCESSING
240.39/241.23 c GARBAGE COLLECT
240.39/241.23 c rational objective 9
250.95/251.80 c #Conflicts: 125000 | #Constraints: 56814
250.95/251.80 c #Conflicts: 126000 | #Constraints: 57815
250.95/251.80 c #Conflicts: 127000 | #Constraints: 58815
250.95/251.80 c #Conflicts: 128000 | #Constraints: 59815
250.95/251.80 c #Conflicts: 129000 | #Constraints: 60816
250.95/251.80 c #Conflicts: 130000 | #Constraints: 61818
250.95/251.80 c #Conflicts: 131000 | #Constraints: 62818
250.95/251.80 c INPROCESSING
250.95/251.80 c GARBAGE COLLECT
250.95/251.80 c rational objective 9
269.29/270.22 c #Conflicts: 132000 | #Constraints: 56600
269.29/270.22 c #Conflicts: 133000 | #Constraints: 57601
269.29/270.22 c #Conflicts: 134000 | #Constraints: 58601
269.29/270.22 c #Conflicts: 135000 | #Constraints: 59603
269.29/270.22 c #Conflicts: 136000 | #Constraints: 60605
269.29/270.22 c #Conflicts: 137000 | #Constraints: 61606
269.29/270.22 c #Conflicts: 138000 | #Constraints: 62608
269.29/270.22 c #Conflicts: 139000 | #Constraints: 63609
269.29/270.22 c INPROCESSING
269.29/270.22 c GARBAGE COLLECT
269.29/270.22 c rational objective 9
293.80/294.87 c #Conflicts: 140000 | #Constraints: 57224
293.80/294.87 c #Conflicts: 141000 | #Constraints: 58224
293.80/294.87 c #Conflicts: 142000 | #Constraints: 59225
293.80/294.87 c #Conflicts: 143000 | #Constraints: 60225
293.80/294.87 c #Conflicts: 144000 | #Constraints: 61225
293.80/294.87 c #Conflicts: 145000 | #Constraints: 62225
293.80/294.87 c #Conflicts: 146000 | #Constraints: 63225
293.80/294.87 c #Conflicts: 147000 | #Constraints: 64226
293.80/294.87 c INPROCESSING
293.80/294.87 c GARBAGE COLLECT
293.80/294.87 c rational objective 9
306.76/307.82 c #Conflicts: 148000 | #Constraints: 57613
306.76/307.82 c #Conflicts: 149000 | #Constraints: 58614
306.76/307.82 c #Conflicts: 150000 | #Constraints: 59615
306.76/307.82 c #Conflicts: 151000 | #Constraints: 60617
306.76/307.82 c #Conflicts: 152000 | #Constraints: 61619
306.76/307.82 c #Conflicts: 153000 | #Constraints: 62620
306.76/307.82 c #Conflicts: 154000 | #Constraints: 63621
306.76/307.82 c #Conflicts: 155000 | #Constraints: 64622
306.76/307.82 c INPROCESSING
306.76/307.82 c GARBAGE COLLECT
306.76/307.82 c rational objective 9
322.10/323.24 c #Conflicts: 156000 | #Constraints: 57799
322.10/323.24 c #Conflicts: 157000 | #Constraints: 58799
322.10/323.24 c #Conflicts: 158000 | #Constraints: 59802
322.10/323.24 c #Conflicts: 159000 | #Constraints: 60805
322.10/323.24 c #Conflicts: 160000 | #Constraints: 61805
322.10/323.24 c #Conflicts: 161000 | #Constraints: 62807
322.10/323.24 c #Conflicts: 162000 | #Constraints: 63807
322.10/323.24 c #Conflicts: 163000 | #Constraints: 64808
322.10/323.24 c INPROCESSING
322.10/323.24 c GARBAGE COLLECT
322.10/323.24 c rational objective 9
337.75/338.90 c #Conflicts: 164000 | #Constraints: 57798
337.75/338.90 c #Conflicts: 165000 | #Constraints: 58799
337.75/338.90 c #Conflicts: 166000 | #Constraints: 59802
337.75/338.90 c #Conflicts: 167000 | #Constraints: 60803
337.75/338.90 c #Conflicts: 168000 | #Constraints: 61805
337.75/338.90 c #Conflicts: 169000 | #Constraints: 62807
337.75/338.90 c #Conflicts: 170000 | #Constraints: 63808
337.75/338.90 c #Conflicts: 171000 | #Constraints: 64809
337.75/338.90 c INPROCESSING
337.75/338.90 c GARBAGE COLLECT
337.75/338.90 c rational objective 9
356.29/357.57 c #Conflicts: 172000 | #Constraints: 57586
356.29/357.57 c #Conflicts: 173000 | #Constraints: 58586
356.29/357.57 c #Conflicts: 174000 | #Constraints: 59586
356.29/357.57 c #Conflicts: 175000 | #Constraints: 60587
356.29/357.57 c #Conflicts: 176000 | #Constraints: 61587
356.29/357.57 c #Conflicts: 177000 | #Constraints: 62587
356.29/357.57 c #Conflicts: 178000 | #Constraints: 63588
356.29/357.57 c #Conflicts: 179000 | #Constraints: 64588
356.29/357.57 c #Conflicts: 180000 | #Constraints: 65589
356.29/357.57 c INPROCESSING
356.29/357.57 c GARBAGE COLLECT
356.29/357.57 c rational objective 9
398.45/399.85 c #Conflicts: 181000 | #Constraints: 58195
398.45/399.85 c #Conflicts: 182000 | #Constraints: 59195
398.45/399.85 c #Conflicts: 183000 | #Constraints: 60196
398.45/399.85 c #Conflicts: 184000 | #Constraints: 61204
398.45/399.85 c #Conflicts: 185000 | #Constraints: 62205
398.45/399.85 c #Conflicts: 186000 | #Constraints: 63205
398.45/399.85 c #Conflicts: 187000 | #Constraints: 64207
398.45/399.85 c #Conflicts: 188000 | #Constraints: 65208
398.45/399.85 c #Conflicts: 189000 | #Constraints: 66209
398.45/399.85 c INPROCESSING
398.45/399.85 c GARBAGE COLLECT
398.45/399.85 c #Conflicts: 190000 | #Constraints: 58604
398.45/399.85 c #Conflicts: 191000 | #Constraints: 59604
398.45/399.85 c #Conflicts: 192000 | #Constraints: 60605
398.45/399.85 c #Conflicts: 193000 | #Constraints: 61605
398.45/399.85 c #Conflicts: 194000 | #Constraints: 62605
398.45/399.85 c #Conflicts: 195000 | #Constraints: 63605
398.45/399.85 c #Conflicts: 196000 | #Constraints: 64605
398.45/399.85 c #Conflicts: 197000 | #Constraints: 65606
398.45/399.85 c #Conflicts: 198000 | #Constraints: 66607
398.45/399.85 c INPROCESSING
398.45/399.85 c GARBAGE COLLECT
398.45/399.85 c rational objective 9
423.26/424.71 c #Conflicts: 199000 | #Constraints: 58781
423.26/424.71 c #Conflicts: 200000 | #Constraints: 59781
423.26/424.71 c #Conflicts: 201000 | #Constraints: 60781
423.26/424.71 c #Conflicts: 202000 | #Constraints: 61781
423.26/424.71 c #Conflicts: 203000 | #Constraints: 62781
423.26/424.71 c #Conflicts: 204000 | #Constraints: 63782
423.26/424.71 c #Conflicts: 205000 | #Constraints: 64782
423.26/424.71 c #Conflicts: 206000 | #Constraints: 65782
423.26/424.71 c #Conflicts: 207000 | #Constraints: 66782
423.26/424.71 c INPROCESSING
423.26/424.71 c GARBAGE COLLECT
423.26/424.71 c rational objective 9
443.60/445.16 c #Conflicts: 208000 | #Constraints: 58785
443.60/445.16 c #Conflicts: 209000 | #Constraints: 59786
443.60/445.16 c #Conflicts: 210000 | #Constraints: 60789
443.60/445.16 c #Conflicts: 211000 | #Constraints: 61790
443.60/445.16 c #Conflicts: 212000 | #Constraints: 62793
443.60/445.16 c #Conflicts: 213000 | #Constraints: 63795
443.60/445.16 c #Conflicts: 214000 | #Constraints: 64797
443.60/445.16 c #Conflicts: 215000 | #Constraints: 65799
443.60/445.16 c #Conflicts: 216000 | #Constraints: 66799
443.60/445.16 c INPROCESSING
443.60/445.16 c GARBAGE COLLECT
443.60/445.16 c rational objective 9
483.97/485.66 c #Conflicts: 217000 | #Constraints: 58570
483.97/485.66 c #Conflicts: 218000 | #Constraints: 59571
483.97/485.66 c #Conflicts: 219000 | #Constraints: 60575
483.97/485.66 c #Conflicts: 220000 | #Constraints: 61580
483.97/485.66 c #Conflicts: 221000 | #Constraints: 62580
483.97/485.66 c #Conflicts: 222000 | #Constraints: 63581
483.97/485.66 c #Conflicts: 223000 | #Constraints: 64583
483.97/485.66 c #Conflicts: 224000 | #Constraints: 65583
483.97/485.66 c #Conflicts: 225000 | #Constraints: 66584
483.97/485.66 c #Conflicts: 226000 | #Constraints: 67585
483.97/485.66 c INPROCESSING
483.97/485.66 c GARBAGE COLLECT
483.97/485.66 c rational objective 9
514.96/516.78 c #Conflicts: 227000 | #Constraints: 59220
514.96/516.78 c #Conflicts: 228000 | #Constraints: 60221
514.96/516.78 c #Conflicts: 229000 | #Constraints: 61221
514.96/516.78 c #Conflicts: 230000 | #Constraints: 62223
514.96/516.78 c #Conflicts: 231000 | #Constraints: 63225
514.96/516.78 c #Conflicts: 232000 | #Constraints: 64226
514.96/516.78 c #Conflicts: 233000 | #Constraints: 65227
514.96/516.78 c #Conflicts: 234000 | #Constraints: 66230
514.96/516.78 c #Conflicts: 235000 | #Constraints: 67232
514.96/516.78 c #Conflicts: 236000 | #Constraints: 68232
514.96/516.78 c INPROCESSING
514.96/516.78 c GARBAGE COLLECT
514.96/516.78 c rational objective 9
535.38/537.27 c #Conflicts: 237000 | #Constraints: 59622
535.38/537.27 c #Conflicts: 238000 | #Constraints: 60623
535.38/537.27 c #Conflicts: 239000 | #Constraints: 61624
535.38/537.27 c #Conflicts: 240000 | #Constraints: 62628
535.38/537.27 c #Conflicts: 241000 | #Constraints: 63631
535.38/537.27 c #Conflicts: 242000 | #Constraints: 64634
535.38/537.27 c #Conflicts: 243000 | #Constraints: 65636
535.38/537.27 c #Conflicts: 244000 | #Constraints: 66636
535.38/537.27 c #Conflicts: 245000 | #Constraints: 67638
535.38/537.27 c #Conflicts: 246000 | #Constraints: 68640
535.38/537.27 c INPROCESSING
535.38/537.27 c GARBAGE COLLECT
535.38/537.27 c rational objective 9
561.29/563.22 c #Conflicts: 247000 | #Constraints: 59807
561.29/563.22 c #Conflicts: 248000 | #Constraints: 60809
561.29/563.22 c #Conflicts: 249000 | #Constraints: 61811
561.29/563.22 c #Conflicts: 250000 | #Constraints: 62812
561.29/563.22 c #Conflicts: 251000 | #Constraints: 63813
561.29/563.22 c #Conflicts: 252000 | #Constraints: 64813
561.29/563.22 c #Conflicts: 253000 | #Constraints: 65814
561.29/563.22 c #Conflicts: 254000 | #Constraints: 66815
561.29/563.22 c #Conflicts: 255000 | #Constraints: 67815
561.29/563.22 c #Conflicts: 256000 | #Constraints: 68816
561.29/563.22 c INPROCESSING
561.29/563.22 c GARBAGE COLLECT
561.29/563.22 c rational objective 9
590.99/593.05 c #Conflicts: 257000 | #Constraints: 59813
590.99/593.05 c #Conflicts: 258000 | #Constraints: 60813
590.99/593.05 c #Conflicts: 259000 | #Constraints: 61813
590.99/593.05 c #Conflicts: 260000 | #Constraints: 62813
590.99/593.05 c #Conflicts: 261000 | #Constraints: 63814
590.99/593.05 c #Conflicts: 262000 | #Constraints: 64815
590.99/593.05 c #Conflicts: 263000 | #Constraints: 65817
590.99/593.05 c #Conflicts: 264000 | #Constraints: 66817
590.99/593.05 c #Conflicts: 265000 | #Constraints: 67819
590.99/593.05 c #Conflicts: 266000 | #Constraints: 68820
590.99/593.05 c INPROCESSING
590.99/593.05 c GARBAGE COLLECT
590.99/593.05 c rational objective 9
616.39/618.59 c #Conflicts: 267000 | #Constraints: 59631
616.39/618.59 c #Conflicts: 268000 | #Constraints: 60631
616.39/618.59 c #Conflicts: 269000 | #Constraints: 61634
616.39/618.59 c #Conflicts: 270000 | #Constraints: 62637
616.39/618.59 c #Conflicts: 271000 | #Constraints: 63637
616.39/618.59 c #Conflicts: 272000 | #Constraints: 64637
616.39/618.59 c #Conflicts: 273000 | #Constraints: 65640
616.39/618.59 c #Conflicts: 274000 | #Constraints: 66641
616.39/618.59 c #Conflicts: 275000 | #Constraints: 67641
616.39/618.59 c #Conflicts: 276000 | #Constraints: 68642
616.39/618.59 c #Conflicts: 277000 | #Constraints: 69643
616.39/618.59 c INPROCESSING
616.39/618.59 c GARBAGE COLLECT
616.39/618.59 c rational objective 9
646.98/649.23 c #Conflicts: 278000 | #Constraints: 60209
646.98/649.23 c #Conflicts: 279000 | #Constraints: 61209
646.98/649.23 c #Conflicts: 280000 | #Constraints: 62210
646.98/649.23 c #Conflicts: 281000 | #Constraints: 63211
646.98/649.23 c #Conflicts: 282000 | #Constraints: 64212
646.98/649.23 c #Conflicts: 283000 | #Constraints: 65213
646.98/649.23 c #Conflicts: 284000 | #Constraints: 66214
646.98/649.23 c #Conflicts: 285000 | #Constraints: 67214
646.98/649.23 c #Conflicts: 286000 | #Constraints: 68214
646.98/649.23 c #Conflicts: 287000 | #Constraints: 69215
646.98/649.23 c #Conflicts: 288000 | #Constraints: 70216
646.98/649.23 c INPROCESSING
646.98/649.23 c GARBAGE COLLECT
646.98/649.23 c rational objective 9
668.71/671.02 c #Conflicts: 289000 | #Constraints: 60581
668.71/671.02 c #Conflicts: 290000 | #Constraints: 61581
668.71/671.02 c #Conflicts: 291000 | #Constraints: 62583
668.71/671.02 c #Conflicts: 292000 | #Constraints: 63584
668.71/671.02 c #Conflicts: 293000 | #Constraints: 64586
668.71/671.02 c #Conflicts: 294000 | #Constraints: 65587
668.71/671.02 c #Conflicts: 295000 | #Constraints: 66587
668.71/671.02 c #Conflicts: 296000 | #Constraints: 67588
668.71/671.02 c #Conflicts: 297000 | #Constraints: 68589
668.71/671.02 c #Conflicts: 298000 | #Constraints: 69591
668.71/671.02 c #Conflicts: 299000 | #Constraints: 70593
668.71/671.02 c INPROCESSING
668.71/671.02 c GARBAGE COLLECT
668.71/671.02 c rational objective 9
701.29/703.79 c #Conflicts: 300000 | #Constraints: 60791
701.29/703.79 c #Conflicts: 301000 | #Constraints: 61794
701.29/703.79 c #Conflicts: 302000 | #Constraints: 62796
701.29/703.79 c #Conflicts: 303000 | #Constraints: 63798
701.29/703.79 c #Conflicts: 304000 | #Constraints: 64800
701.29/703.79 c #Conflicts: 305000 | #Constraints: 65800
701.29/703.79 c #Conflicts: 306000 | #Constraints: 66800
701.29/703.79 c #Conflicts: 307000 | #Constraints: 67801
701.29/703.79 c #Conflicts: 308000 | #Constraints: 68801
701.29/703.79 c #Conflicts: 309000 | #Constraints: 69801
701.29/703.79 c #Conflicts: 310000 | #Constraints: 70801
701.29/703.79 c INPROCESSING
701.29/703.79 c GARBAGE COLLECT
701.29/703.79 c rational objective 9
738.16/740.77 c #Conflicts: 311000 | #Constraints: 60794
738.16/740.77 c #Conflicts: 312000 | #Constraints: 61794
738.16/740.77 c #Conflicts: 313000 | #Constraints: 62795
738.16/740.77 c #Conflicts: 314000 | #Constraints: 63795
738.16/740.77 c #Conflicts: 315000 | #Constraints: 64795
738.16/740.77 c #Conflicts: 316000 | #Constraints: 65796
738.16/740.77 c #Conflicts: 317000 | #Constraints: 66796
738.16/740.77 c #Conflicts: 318000 | #Constraints: 67797
738.16/740.77 c #Conflicts: 319000 | #Constraints: 68797
738.16/740.77 c #Conflicts: 320000 | #Constraints: 69797
738.16/740.77 c #Conflicts: 321000 | #Constraints: 70798
738.16/740.77 c INPROCESSING
738.16/740.77 c GARBAGE COLLECT
738.16/740.77 c rational objective 9
779.34/782.09 c #Conflicts: 322000 | #Constraints: 60584
779.34/782.09 c #Conflicts: 323000 | #Constraints: 61585
779.34/782.09 c #Conflicts: 324000 | #Constraints: 62593
779.34/782.09 c #Conflicts: 325000 | #Constraints: 63598
779.34/782.09 c #Conflicts: 326000 | #Constraints: 64600
779.34/782.09 c #Conflicts: 327000 | #Constraints: 65601
779.34/782.09 c #Conflicts: 328000 | #Constraints: 66601
779.34/782.09 c #Conflicts: 329000 | #Constraints: 67601
779.34/782.09 c #Conflicts: 330000 | #Constraints: 68602
779.34/782.09 c #Conflicts: 331000 | #Constraints: 69602
779.34/782.09 c #Conflicts: 332000 | #Constraints: 70602
779.34/782.09 c #Conflicts: 333000 | #Constraints: 71602
779.34/782.09 c INPROCESSING
779.34/782.09 c GARBAGE COLLECT
779.34/782.09 c rational objective 9
809.13/811.91 c #Conflicts: 334000 | #Constraints: 61194
809.13/811.91 c #Conflicts: 335000 | #Constraints: 62195
809.13/811.91 c #Conflicts: 336000 | #Constraints: 63196
809.13/811.91 c #Conflicts: 337000 | #Constraints: 64196
809.13/811.91 c #Conflicts: 338000 | #Constraints: 65196
809.13/811.91 c #Conflicts: 339000 | #Constraints: 66197
809.13/811.91 c #Conflicts: 340000 | #Constraints: 67198
809.13/811.91 c #Conflicts: 341000 | #Constraints: 68198
809.13/811.91 c #Conflicts: 342000 | #Constraints: 69199
809.13/811.91 c #Conflicts: 343000 | #Constraints: 70200
809.13/811.91 c #Conflicts: 344000 | #Constraints: 71201
809.13/811.91 c #Conflicts: 345000 | #Constraints: 72201
809.13/811.91 c INPROCESSING
809.13/811.91 c GARBAGE COLLECT
809.13/811.91 c rational objective 9
835.94/838.88 c #Conflicts: 346000 | #Constraints: 61611
835.94/838.88 c #Conflicts: 347000 | #Constraints: 62613
835.94/838.88 c #Conflicts: 348000 | #Constraints: 63616
835.94/838.88 c #Conflicts: 349000 | #Constraints: 64618
835.94/838.88 c #Conflicts: 350000 | #Constraints: 65620
835.94/838.88 c #Conflicts: 351000 | #Constraints: 66621
835.94/838.88 c #Conflicts: 352000 | #Constraints: 67621
835.94/838.88 c #Conflicts: 353000 | #Constraints: 68622
835.94/838.88 c #Conflicts: 354000 | #Constraints: 69623
835.94/838.88 c #Conflicts: 355000 | #Constraints: 70624
835.94/838.88 c #Conflicts: 356000 | #Constraints: 71624
835.94/838.88 c #Conflicts: 357000 | #Constraints: 72624
835.94/838.88 c INPROCESSING
835.94/838.88 c GARBAGE COLLECT
835.94/838.88 c rational objective 9
875.30/878.36 c #Conflicts: 358000 | #Constraints: 61820
875.30/878.36 c #Conflicts: 359000 | #Constraints: 62821
875.30/878.36 c #Conflicts: 360000 | #Constraints: 63822
875.30/878.36 c #Conflicts: 361000 | #Constraints: 64822
875.30/878.36 c #Conflicts: 362000 | #Constraints: 65822
875.30/878.36 c #Conflicts: 363000 | #Constraints: 66822
875.30/878.36 c #Conflicts: 364000 | #Constraints: 67823
875.30/878.36 c #Conflicts: 365000 | #Constraints: 68823
875.30/878.36 c #Conflicts: 366000 | #Constraints: 69823
875.30/878.36 c #Conflicts: 367000 | #Constraints: 70823
875.30/878.36 c #Conflicts: 368000 | #Constraints: 71824
875.30/878.36 c #Conflicts: 369000 | #Constraints: 72825
875.30/878.36 c INPROCESSING
875.30/878.36 c GARBAGE COLLECT
875.30/878.36 c rational objective 9
903.60/906.78 c #Conflicts: 370000 | #Constraints: 61816
903.60/906.78 c #Conflicts: 371000 | #Constraints: 62817
903.60/906.78 c #Conflicts: 372000 | #Constraints: 63818
903.60/906.78 c #Conflicts: 373000 | #Constraints: 64820
903.60/906.78 c #Conflicts: 374000 | #Constraints: 65821
903.60/906.78 c #Conflicts: 375000 | #Constraints: 66822
903.60/906.78 c #Conflicts: 376000 | #Constraints: 67822
903.60/906.78 c #Conflicts: 377000 | #Constraints: 68823
903.60/906.78 c #Conflicts: 378000 | #Constraints: 69824
903.60/906.78 c #Conflicts: 379000 | #Constraints: 70824
903.60/906.78 c #Conflicts: 380000 | #Constraints: 71825
903.60/906.78 c #Conflicts: 381000 | #Constraints: 72826
903.60/906.78 c INPROCESSING
903.60/906.78 c GARBAGE COLLECT
903.60/906.78 c rational objective 9
932.21/935.47 c #Conflicts: 382000 | #Constraints: 61596
932.21/935.47 c #Conflicts: 383000 | #Constraints: 62597
932.21/935.47 c #Conflicts: 384000 | #Constraints: 63599
932.21/935.47 c #Conflicts: 385000 | #Constraints: 64600
932.21/935.47 c #Conflicts: 386000 | #Constraints: 65603
932.21/935.47 c #Conflicts: 387000 | #Constraints: 66604
932.21/935.47 c #Conflicts: 388000 | #Constraints: 67606
932.21/935.47 c #Conflicts: 389000 | #Constraints: 68607
932.21/935.47 c #Conflicts: 390000 | #Constraints: 69608
932.21/935.47 c #Conflicts: 391000 | #Constraints: 70609
932.21/935.47 c #Conflicts: 392000 | #Constraints: 71610
932.21/935.47 c #Conflicts: 393000 | #Constraints: 72611
932.21/935.47 c #Conflicts: 394000 | #Constraints: 73612
932.21/935.47 c INPROCESSING
932.21/935.47 c GARBAGE COLLECT
932.21/935.47 c rational objective 9
970.97/974.32 c #Conflicts: 395000 | #Constraints: 62217
970.97/974.32 c #Conflicts: 396000 | #Constraints: 63219
970.97/974.32 c #Conflicts: 397000 | #Constraints: 64222
970.97/974.32 c #Conflicts: 398000 | #Constraints: 65225
970.97/974.32 c #Conflicts: 399000 | #Constraints: 66225
970.97/974.32 c #Conflicts: 400000 | #Constraints: 67227
970.97/974.32 c #Conflicts: 401000 | #Constraints: 68229
970.97/974.32 c #Conflicts: 402000 | #Constraints: 69229
970.97/974.32 c #Conflicts: 403000 | #Constraints: 70229
970.97/974.32 c #Conflicts: 404000 | #Constraints: 71230
970.97/974.32 c #Conflicts: 405000 | #Constraints: 72230
970.97/974.32 c #Conflicts: 406000 | #Constraints: 73230
970.97/974.32 c #Conflicts: 407000 | #Constraints: 74231
970.97/974.32 c INPROCESSING
970.97/974.32 c GARBAGE COLLECT
970.97/974.32 c rational objective 9
1002.37/1005.82 c #Conflicts: 408000 | #Constraints: 62612
1002.37/1005.82 c #Conflicts: 409000 | #Constraints: 63612
1002.37/1005.82 c #Conflicts: 410000 | #Constraints: 64613
1002.37/1005.82 c #Conflicts: 411000 | #Constraints: 65613
1002.37/1005.82 c #Conflicts: 412000 | #Constraints: 66613
1002.37/1005.82 c #Conflicts: 413000 | #Constraints: 67613
1002.37/1005.82 c #Conflicts: 414000 | #Constraints: 68614
1002.37/1005.82 c #Conflicts: 415000 | #Constraints: 69614
1002.37/1005.82 c #Conflicts: 416000 | #Constraints: 70615
1002.37/1005.82 c #Conflicts: 417000 | #Constraints: 71616
1002.37/1005.82 c #Conflicts: 418000 | #Constraints: 72616
1002.37/1005.82 c #Conflicts: 419000 | #Constraints: 73616
1002.37/1005.82 c #Conflicts: 420000 | #Constraints: 74616
1002.37/1005.82 c INPROCESSING
1002.37/1005.82 c GARBAGE COLLECT
1002.37/1005.82 c rational objective 9
1046.72/1050.30 c #Conflicts: 421000 | #Constraints: 62839
1046.72/1050.30 c #Conflicts: 422000 | #Constraints: 63839
1046.72/1050.30 c #Conflicts: 423000 | #Constraints: 64839
1046.72/1050.30 c #Conflicts: 424000 | #Constraints: 65839
1046.72/1050.30 c #Conflicts: 425000 | #Constraints: 66841
1046.72/1050.30 c #Conflicts: 426000 | #Constraints: 67841
1046.72/1050.30 c #Conflicts: 427000 | #Constraints: 68841
1046.72/1050.30 c #Conflicts: 428000 | #Constraints: 69842
1046.72/1050.30 c #Conflicts: 429000 | #Constraints: 70842
1046.72/1050.30 c #Conflicts: 430000 | #Constraints: 71842
1046.72/1050.30 c #Conflicts: 431000 | #Constraints: 72843
1046.72/1050.30 c #Conflicts: 432000 | #Constraints: 73843
1046.72/1050.30 c #Conflicts: 433000 | #Constraints: 74843
1046.72/1050.30 c INPROCESSING
1046.72/1050.30 c GARBAGE COLLECT
1046.72/1050.30 c rational objective 9
1096.45/1100.21 c #Conflicts: 434000 | #Constraints: 62840
1096.45/1100.21 c #Conflicts: 435000 | #Constraints: 63842
1096.45/1100.21 c #Conflicts: 436000 | #Constraints: 64844
1096.45/1100.21 c #Conflicts: 437000 | #Constraints: 65845
1096.45/1100.21 c #Conflicts: 438000 | #Constraints: 66845
1096.45/1100.21 c #Conflicts: 439000 | #Constraints: 67846
1096.45/1100.21 c #Conflicts: 440000 | #Constraints: 68847
1096.45/1100.21 c #Conflicts: 441000 | #Constraints: 69848
1096.45/1100.21 c #Conflicts: 442000 | #Constraints: 70848
1096.45/1100.21 c #Conflicts: 443000 | #Constraints: 71849
1096.45/1100.21 c #Conflicts: 444000 | #Constraints: 72849
1096.45/1100.21 c #Conflicts: 445000 | #Constraints: 73850
1096.45/1100.21 c #Conflicts: 446000 | #Constraints: 74852
1096.45/1100.21 c INPROCESSING
1096.45/1100.21 c GARBAGE COLLECT
1096.45/1100.21 c rational objective 9
1149.85/1153.83 c #Conflicts: 447000 | #Constraints: 62636
1149.85/1153.83 c #Conflicts: 448000 | #Constraints: 63636
1149.85/1153.83 c #Conflicts: 449000 | #Constraints: 64637
1149.85/1153.83 c #Conflicts: 450000 | #Constraints: 65638
1149.85/1153.83 c #Conflicts: 451000 | #Constraints: 66640
1149.85/1153.83 c #Conflicts: 452000 | #Constraints: 67641
1149.85/1153.83 c #Conflicts: 453000 | #Constraints: 68643
1149.85/1153.83 c #Conflicts: 454000 | #Constraints: 69644
1149.85/1153.83 c #Conflicts: 455000 | #Constraints: 70645
1149.85/1153.83 c #Conflicts: 456000 | #Constraints: 71647
1149.85/1153.83 c #Conflicts: 457000 | #Constraints: 72648
1149.85/1153.83 c #Conflicts: 458000 | #Constraints: 73649
1149.85/1153.83 c #Conflicts: 459000 | #Constraints: 74651
1149.85/1153.83 c #Conflicts: 460000 | #Constraints: 75652
1149.85/1153.83 c INPROCESSING
1149.85/1153.83 c GARBAGE COLLECT
1149.85/1153.83 c rational objective 9
1210.82/1215.05 c #Conflicts: 461000 | #Constraints: 63282
1210.82/1215.05 c #Conflicts: 462000 | #Constraints: 64283
1210.82/1215.05 c #Conflicts: 463000 | #Constraints: 65284
1210.82/1215.05 c #Conflicts: 464000 | #Constraints: 66285
1210.82/1215.05 c #Conflicts: 465000 | #Constraints: 67285
1210.82/1215.05 c #Conflicts: 466000 | #Constraints: 68286
1210.82/1215.05 c #Conflicts: 467000 | #Constraints: 69286
1210.82/1215.05 c #Conflicts: 468000 | #Constraints: 70287
1210.82/1215.05 c #Conflicts: 469000 | #Constraints: 71287
1210.82/1215.05 c #Conflicts: 470000 | #Constraints: 72288
1210.82/1215.05 c #Conflicts: 471000 | #Constraints: 73288
1210.82/1215.05 c #Conflicts: 472000 | #Constraints: 74289
1210.82/1215.05 c #Conflicts: 473000 | #Constraints: 75289
1210.82/1215.05 c #Conflicts: 474000 | #Constraints: 76290
1210.82/1215.05 c INPROCESSING
1210.82/1215.05 c GARBAGE COLLECT
1210.82/1215.05 c rational objective 9
1263.44/1267.86 c #Conflicts: 475000 | #Constraints: 63670
1263.44/1267.86 c #Conflicts: 476000 | #Constraints: 64670
1263.44/1267.86 c #Conflicts: 477000 | #Constraints: 65676
1263.44/1267.86 c #Conflicts: 478000 | #Constraints: 66680
1263.44/1267.86 c #Conflicts: 479000 | #Constraints: 67682
1263.44/1267.86 c #Conflicts: 480000 | #Constraints: 68684
1263.44/1267.86 c #Conflicts: 481000 | #Constraints: 69685
1263.44/1267.86 c #Conflicts: 482000 | #Constraints: 70686
1263.44/1267.86 c #Conflicts: 483000 | #Constraints: 71687
1263.44/1267.86 c #Conflicts: 484000 | #Constraints: 72689
1263.44/1267.86 c #Conflicts: 485000 | #Constraints: 73689
1263.44/1267.86 c #Conflicts: 486000 | #Constraints: 74690
1263.44/1267.86 c #Conflicts: 487000 | #Constraints: 75690
1263.44/1267.86 c #Conflicts: 488000 | #Constraints: 76691
1263.44/1267.86 c INPROCESSING
1263.44/1267.86 c GARBAGE COLLECT
1263.44/1267.86 c rational objective 9
1310.48/1315.02 c #Conflicts: 489000 | #Constraints: 63843
1310.48/1315.02 c #Conflicts: 490000 | #Constraints: 64844
1310.48/1315.02 c #Conflicts: 491000 | #Constraints: 65844
1310.48/1315.02 c #Conflicts: 492000 | #Constraints: 66847
1310.48/1315.02 c #Conflicts: 493000 | #Constraints: 67848
1310.48/1315.02 c #Conflicts: 494000 | #Constraints: 68849
1310.48/1315.02 c #Conflicts: 495000 | #Constraints: 69849
1310.48/1315.02 c #Conflicts: 496000 | #Constraints: 70851
1310.48/1315.02 c #Conflicts: 497000 | #Constraints: 71852
1310.48/1315.02 c #Conflicts: 498000 | #Constraints: 72853
1310.48/1315.02 c #Conflicts: 499000 | #Constraints: 73854
1310.48/1315.02 c #Conflicts: 500000 | #Constraints: 74855
1310.48/1315.02 c #Conflicts: 501000 | #Constraints: 75856
1310.48/1315.02 c #Conflicts: 502000 | #Constraints: 76856
1310.48/1315.02 c INPROCESSING
1310.48/1315.02 c GARBAGE COLLECT
1310.48/1315.02 c rational objective 9
1355.82/1360.55 c #Conflicts: 503000 | #Constraints: 63799
1355.82/1360.55 c #Conflicts: 504000 | #Constraints: 64800
1355.82/1360.55 c #Conflicts: 505000 | #Constraints: 65801
1355.82/1360.55 c #Conflicts: 506000 | #Constraints: 66802
1355.82/1360.55 c #Conflicts: 507000 | #Constraints: 67802
1355.82/1360.55 c #Conflicts: 508000 | #Constraints: 68803
1355.82/1360.55 c #Conflicts: 509000 | #Constraints: 69804
1355.82/1360.55 c #Conflicts: 510000 | #Constraints: 70804
1355.82/1360.55 c #Conflicts: 511000 | #Constraints: 71805
1355.82/1360.55 c #Conflicts: 512000 | #Constraints: 72805
1355.82/1360.55 c #Conflicts: 513000 | #Constraints: 73806
1355.82/1360.55 c #Conflicts: 514000 | #Constraints: 74807
1355.82/1360.55 c #Conflicts: 515000 | #Constraints: 75808
1355.82/1360.55 c #Conflicts: 516000 | #Constraints: 76808
1355.82/1360.55 c INPROCESSING
1355.82/1360.55 c GARBAGE COLLECT
1355.82/1360.55 c rational objective 9
1394.99/1399.80 c #Conflicts: 517000 | #Constraints: 63615
1394.99/1399.80 c #Conflicts: 518000 | #Constraints: 64615
1394.99/1399.80 c #Conflicts: 519000 | #Constraints: 65615
1394.99/1399.80 c #Conflicts: 520000 | #Constraints: 66616
1394.99/1399.80 c #Conflicts: 521000 | #Constraints: 67616
1394.99/1399.80 c #Conflicts: 522000 | #Constraints: 68616
1394.99/1399.80 c #Conflicts: 523000 | #Constraints: 69617
1394.99/1399.80 c #Conflicts: 524000 | #Constraints: 70618
1394.99/1399.80 c #Conflicts: 525000 | #Constraints: 71621
1394.99/1399.80 c #Conflicts: 526000 | #Constraints: 72625
1394.99/1399.80 c #Conflicts: 527000 | #Constraints: 73626
1394.99/1399.80 c #Conflicts: 528000 | #Constraints: 74627
1394.99/1399.80 c #Conflicts: 529000 | #Constraints: 75627
1394.99/1399.80 c #Conflicts: 530000 | #Constraints: 76628
1394.99/1399.80 c #Conflicts: 531000 | #Constraints: 77629
1394.99/1399.80 c INPROCESSING
1394.99/1399.80 c GARBAGE COLLECT
1394.99/1399.80 c rational objective 9
1435.14/1440.13 c #Conflicts: 532000 | #Constraints: 64190
1435.14/1440.13 c #Conflicts: 533000 | #Constraints: 65190
1435.14/1440.13 c #Conflicts: 534000 | #Constraints: 66191
1435.14/1440.13 c #Conflicts: 535000 | #Constraints: 67192
1435.14/1440.13 c #Conflicts: 536000 | #Constraints: 68193
1435.14/1440.13 c #Conflicts: 537000 | #Constraints: 69194
1435.14/1440.13 c #Conflicts: 538000 | #Constraints: 70195
1435.14/1440.13 c #Conflicts: 539000 | #Constraints: 71198
1435.14/1440.13 c #Conflicts: 540000 | #Constraints: 72201
1435.14/1440.13 c #Conflicts: 541000 | #Constraints: 73204
1435.14/1440.13 c #Conflicts: 542000 | #Constraints: 74206
1435.14/1440.13 c #Conflicts: 543000 | #Constraints: 75209
1435.14/1440.13 c #Conflicts: 544000 | #Constraints: 76210
1435.14/1440.13 c #Conflicts: 545000 | #Constraints: 77211
1435.14/1440.13 c #Conflicts: 546000 | #Constraints: 78211
1435.14/1440.13 c INPROCESSING
1435.14/1440.13 c GARBAGE COLLECT
1435.14/1440.13 c rational objective 9
1479.47/1484.62 c #Conflicts: 547000 | #Constraints: 64602
1479.47/1484.62 c #Conflicts: 548000 | #Constraints: 65602
1479.47/1484.62 c #Conflicts: 549000 | #Constraints: 66603
1479.47/1484.62 c #Conflicts: 550000 | #Constraints: 67603
1479.47/1484.62 c #Conflicts: 551000 | #Constraints: 68605
1479.47/1484.62 c #Conflicts: 552000 | #Constraints: 69606
1479.47/1484.62 c #Conflicts: 553000 | #Constraints: 70608
1479.47/1484.62 c #Conflicts: 554000 | #Constraints: 71610
1479.47/1484.62 c #Conflicts: 555000 | #Constraints: 72612
1479.47/1484.62 c #Conflicts: 556000 | #Constraints: 73613
1479.47/1484.62 c #Conflicts: 557000 | #Constraints: 74615
1479.47/1484.62 c #Conflicts: 558000 | #Constraints: 75616
1479.47/1484.62 c #Conflicts: 559000 | #Constraints: 76617
1479.47/1484.62 c #Conflicts: 560000 | #Constraints: 77618
1479.47/1484.62 c #Conflicts: 561000 | #Constraints: 78620
1479.47/1484.62 c INPROCESSING
1479.47/1484.62 c GARBAGE COLLECT
1479.47/1484.62 c rational objective 9
1512.87/1518.19 c #Conflicts: 562000 | #Constraints: 64787
1512.87/1518.19 c #Conflicts: 563000 | #Constraints: 65790
1512.87/1518.19 c #Conflicts: 564000 | #Constraints: 66791
1512.87/1518.19 c #Conflicts: 565000 | #Constraints: 67792
1512.87/1518.19 c #Conflicts: 566000 | #Constraints: 68794
1512.87/1518.19 c #Conflicts: 567000 | #Constraints: 69795
1512.87/1518.19 c #Conflicts: 568000 | #Constraints: 70795
1512.87/1518.19 c #Conflicts: 569000 | #Constraints: 71796
1512.87/1518.19 c #Conflicts: 570000 | #Constraints: 72796
1512.87/1518.19 c #Conflicts: 571000 | #Constraints: 73798
1512.87/1518.19 c #Conflicts: 572000 | #Constraints: 74800
1512.87/1518.19 c #Conflicts: 573000 | #Constraints: 75801
1512.87/1518.19 c #Conflicts: 574000 | #Constraints: 76801
1512.87/1518.19 c #Conflicts: 575000 | #Constraints: 77802
1512.87/1518.19 c #Conflicts: 576000 | #Constraints: 78803
1512.87/1518.19 c INPROCESSING
1512.87/1518.19 c GARBAGE COLLECT
1512.87/1518.19 c rational objective 9
1549.64/1555.00 c #Conflicts: 577000 | #Constraints: 64799
1549.64/1555.00 c #Conflicts: 578000 | #Constraints: 65799
1549.64/1555.00 c #Conflicts: 579000 | #Constraints: 66801
1549.64/1555.00 c #Conflicts: 580000 | #Constraints: 67802
1549.64/1555.00 c #Conflicts: 581000 | #Constraints: 68803
1549.64/1555.00 c #Conflicts: 582000 | #Constraints: 69804
1549.64/1555.00 c #Conflicts: 583000 | #Constraints: 70807
1549.64/1555.00 c #Conflicts: 584000 | #Constraints: 71810
1549.64/1555.00 c #Conflicts: 585000 | #Constraints: 72811
1549.64/1555.00 c #Conflicts: 586000 | #Constraints: 73811
1549.64/1555.00 c #Conflicts: 587000 | #Constraints: 74812
1549.64/1555.00 c #Conflicts: 588000 | #Constraints: 75813
1549.64/1555.00 c #Conflicts: 589000 | #Constraints: 76813
1549.64/1555.00 c #Conflicts: 590000 | #Constraints: 77815
1549.64/1555.00 c #Conflicts: 591000 | #Constraints: 78817
1549.64/1555.00 c INPROCESSING
1549.64/1555.00 c GARBAGE COLLECT
1549.64/1555.00 c rational objective 9
1595.57/1601.10 c #Conflicts: 592000 | #Constraints: 64630
1595.57/1601.10 c #Conflicts: 593000 | #Constraints: 65630
1595.57/1601.10 c #Conflicts: 594000 | #Constraints: 66632
1595.57/1601.10 c #Conflicts: 595000 | #Constraints: 67634
1595.57/1601.10 c #Conflicts: 596000 | #Constraints: 68636
1595.57/1601.10 c #Conflicts: 597000 | #Constraints: 69637
1595.57/1601.10 c #Conflicts: 598000 | #Constraints: 70637
1595.57/1601.10 c #Conflicts: 599000 | #Constraints: 71638
1595.57/1601.10 c #Conflicts: 600000 | #Constraints: 72639
1595.57/1601.10 c #Conflicts: 601000 | #Constraints: 73641
1595.57/1601.10 c #Conflicts: 602000 | #Constraints: 74643
1595.57/1601.10 c #Conflicts: 603000 | #Constraints: 75646
1595.57/1601.10 c #Conflicts: 604000 | #Constraints: 76647
1595.57/1601.10 c #Conflicts: 605000 | #Constraints: 77647
1595.57/1601.10 c #Conflicts: 606000 | #Constraints: 78647
1595.57/1601.10 c #Conflicts: 607000 | #Constraints: 79648
1595.57/1601.10 c INPROCESSING
1595.57/1601.10 c GARBAGE COLLECT
1595.57/1601.10 c rational objective 9
1638.22/1643.97 c #Conflicts: 608000 | #Constraints: 65253
1638.22/1643.97 c #Conflicts: 609000 | #Constraints: 66255
1638.22/1643.97 c #Conflicts: 610000 | #Constraints: 67257
1638.22/1643.97 c #Conflicts: 611000 | #Constraints: 68261
1638.22/1643.97 c #Conflicts: 612000 | #Constraints: 69263
1638.22/1643.97 c #Conflicts: 613000 | #Constraints: 70263
1638.22/1643.97 c #Conflicts: 614000 | #Constraints: 71265
1638.22/1643.97 c #Conflicts: 615000 | #Constraints: 72265
1638.22/1643.97 c #Conflicts: 616000 | #Constraints: 73265
1638.22/1643.97 c #Conflicts: 617000 | #Constraints: 74265
1638.22/1643.97 c #Conflicts: 618000 | #Constraints: 75266
1638.22/1643.97 c #Conflicts: 619000 | #Constraints: 76267
1638.22/1643.97 c #Conflicts: 620000 | #Constraints: 77267
1638.22/1643.97 c #Conflicts: 621000 | #Constraints: 78267
1638.22/1643.97 c #Conflicts: 622000 | #Constraints: 79267
1638.22/1643.97 c #Conflicts: 623000 | #Constraints: 80267
1638.22/1643.97 c INPROCESSING
1638.22/1643.97 c GARBAGE COLLECT
1638.22/1643.97 c rational objective 9
1669.01/1674.82 c #Conflicts: 624000 | #Constraints: 65604
1669.01/1674.82 c #Conflicts: 625000 | #Constraints: 66604
1669.01/1674.82 c #Conflicts: 626000 | #Constraints: 67606
1669.01/1674.82 c #Conflicts: 627000 | #Constraints: 68608
1669.01/1674.82 c #Conflicts: 628000 | #Constraints: 69609
1669.01/1674.82 c #Conflicts: 629000 | #Constraints: 70609
1669.01/1674.82 c #Conflicts: 630000 | #Constraints: 71609
1669.01/1674.82 c #Conflicts: 631000 | #Constraints: 72609
1669.01/1674.82 c #Conflicts: 632000 | #Constraints: 73611
1669.01/1674.82 c #Conflicts: 633000 | #Constraints: 74611
1669.01/1674.82 c #Conflicts: 634000 | #Constraints: 75611
1669.01/1674.82 c #Conflicts: 635000 | #Constraints: 76612
1669.01/1674.82 c #Conflicts: 636000 | #Constraints: 77612
1669.01/1674.82 c #Conflicts: 637000 | #Constraints: 78612
1669.01/1674.82 c #Conflicts: 638000 | #Constraints: 79612
1669.01/1674.82 c #Conflicts: 639000 | #Constraints: 80612
1669.01/1674.82 c INPROCESSING
1669.01/1674.82 c GARBAGE COLLECT
1669.01/1674.82 c rational objective 9
1700.71/1706.61 c #Conflicts: 640000 | #Constraints: 65766
1700.71/1706.61 c #Conflicts: 641000 | #Constraints: 66768
1700.71/1706.61 c #Conflicts: 642000 | #Constraints: 67770
1700.71/1706.61 c #Conflicts: 643000 | #Constraints: 68774
1700.71/1706.61 c #Conflicts: 644000 | #Constraints: 69775
1700.71/1706.61 c #Conflicts: 645000 | #Constraints: 70775
1700.71/1706.61 c #Conflicts: 646000 | #Constraints: 71777
1700.71/1706.61 c #Conflicts: 647000 | #Constraints: 72780
1700.71/1706.61 c #Conflicts: 648000 | #Constraints: 73782
1700.71/1706.61 c #Conflicts: 649000 | #Constraints: 74782
1700.71/1706.61 c #Conflicts: 650000 | #Constraints: 75783
1700.71/1706.61 c #Conflicts: 651000 | #Constraints: 76784
1700.71/1706.61 c #Conflicts: 652000 | #Constraints: 77785
1700.71/1706.61 c #Conflicts: 653000 | #Constraints: 78786
1700.71/1706.61 c #Conflicts: 654000 | #Constraints: 79786
1700.71/1706.61 c #Conflicts: 655000 | #Constraints: 80786
1700.71/1706.61 c INPROCESSING
1700.71/1706.61 c GARBAGE COLLECT
1700.71/1706.61 c rational objective 9
1745.85/1751.91 c #Conflicts: 656000 | #Constraints: 65754
1745.85/1751.91 c #Conflicts: 657000 | #Constraints: 66755
1745.85/1751.91 c #Conflicts: 658000 | #Constraints: 67755
1745.85/1751.91 c #Conflicts: 659000 | #Constraints: 68755
1745.85/1751.91 c #Conflicts: 660000 | #Constraints: 69755
1745.85/1751.91 c #Conflicts: 661000 | #Constraints: 70756
1745.85/1751.91 c #Conflicts: 662000 | #Constraints: 71756
1745.85/1751.91 c #Conflicts: 663000 | #Constraints: 72758
1745.85/1751.91 c #Conflicts: 664000 | #Constraints: 73759
1745.85/1751.91 c #Conflicts: 665000 | #Constraints: 74760
1745.85/1751.91 c #Conflicts: 666000 | #Constraints: 75760
1745.85/1751.91 c #Conflicts: 667000 | #Constraints: 76761
1745.85/1751.91 c #Conflicts: 668000 | #Constraints: 77762
1745.85/1751.91 c #Conflicts: 669000 | #Constraints: 78762
1745.85/1751.91 c #Conflicts: 670000 | #Constraints: 79762
1745.85/1751.91 c #Conflicts: 671000 | #Constraints: 80763
1745.85/1751.91 c INPROCESSING
1745.85/1751.91 c GARBAGE COLLECT
1745.85/1751.91 c rational objective 9
1806.75/1813.08 c #Conflicts: 672000 | #Constraints: 65539
1806.75/1813.08 c #Conflicts: 673000 | #Constraints: 66539
1806.75/1813.08 c #Conflicts: 674000 | #Constraints: 67539
1806.75/1813.08 c #Conflicts: 675000 | #Constraints: 68539
1806.75/1813.08 c #Conflicts: 676000 | #Constraints: 69542
1806.75/1813.08 c #Conflicts: 677000 | #Constraints: 70544
1806.75/1813.08 c #Conflicts: 678000 | #Constraints: 71546
1806.75/1813.08 c #Conflicts: 679000 | #Constraints: 72549
1806.75/1813.08 c #Conflicts: 680000 | #Constraints: 73553
1806.75/1813.08 c #Conflicts: 681000 | #Constraints: 74555
1806.75/1813.08 c #Conflicts: 682000 | #Constraints: 75558
1806.75/1813.08 c #Conflicts: 683000 | #Constraints: 76559
1806.75/1813.08 c #Conflicts: 684000 | #Constraints: 77560
1806.75/1813.08 c #Conflicts: 685000 | #Constraints: 78562
1806.75/1813.08 c #Conflicts: 686000 | #Constraints: 79562
1806.75/1813.08 c #Conflicts: 687000 | #Constraints: 80563
1806.75/1813.08 c #Conflicts: 688000 | #Constraints: 81563
1806.75/1813.08 c INPROCESSING
1806.75/1813.08 c GARBAGE COLLECT
1806.75/1813.08 c rational objective 9
1841.52/1847.95 c #Conflicts: 689000 | #Constraints: 66181
1841.52/1847.95 c #Conflicts: 690000 | #Constraints: 67183
1841.52/1847.95 c #Conflicts: 691000 | #Constraints: 68185
1841.52/1847.95 c #Conflicts: 692000 | #Constraints: 69189
1841.52/1847.95 c #Conflicts: 693000 | #Constraints: 70191
1841.52/1847.95 c #Conflicts: 694000 | #Constraints: 71192
1841.52/1847.95 c #Conflicts: 695000 | #Constraints: 72193
1841.52/1847.95 c #Conflicts: 696000 | #Constraints: 73193
1841.52/1847.95 c #Conflicts: 697000 | #Constraints: 74194
1841.52/1847.95 c #Conflicts: 698000 | #Constraints: 75194
1841.52/1847.95 c #Conflicts: 699000 | #Constraints: 76196
1841.52/1847.95 c #Conflicts: 700000 | #Constraints: 77198
1841.52/1847.95 c #Conflicts: 701000 | #Constraints: 78200
1841.52/1847.95 c #Conflicts: 702000 | #Constraints: 79202
1841.52/1847.95 c #Conflicts: 703000 | #Constraints: 80202
1841.52/1847.95 c #Conflicts: 704000 | #Constraints: 81203
1841.52/1847.95 c #Conflicts: 705000 | #Constraints: 82204
1841.52/1847.95 c INPROCESSING
1841.52/1847.95 c GARBAGE COLLECT
1841.52/1847.95 c rational objective 9
1916.45/1923.16 c #Conflicts: 706000 | #Constraints: 66552
1916.45/1923.16 c #Conflicts: 707000 | #Constraints: 67557
1916.45/1923.16 c #Conflicts: 708000 | #Constraints: 68558
1916.45/1923.16 c #Conflicts: 709000 | #Constraints: 69559
1916.45/1923.16 c #Conflicts: 710000 | #Constraints: 70560
1916.45/1923.16 c #Conflicts: 711000 | #Constraints: 71561
1916.45/1923.16 c #Conflicts: 712000 | #Constraints: 72562
1916.45/1923.16 c #Conflicts: 713000 | #Constraints: 73563
1916.45/1923.16 c #Conflicts: 714000 | #Constraints: 74564
1916.45/1923.16 c #Conflicts: 715000 | #Constraints: 75565
1916.45/1923.16 c #Conflicts: 716000 | #Constraints: 76565
1916.45/1923.16 c #Conflicts: 717000 | #Constraints: 77566
1916.45/1923.16 c #Conflicts: 718000 | #Constraints: 78566
1916.45/1923.16 c #Conflicts: 719000 | #Constraints: 79566
1916.45/1923.16 c #Conflicts: 720000 | #Constraints: 80566
1916.45/1923.16 c #Conflicts: 721000 | #Constraints: 81567
1916.45/1923.16 c #Conflicts: 722000 | #Constraints: 82568
1916.45/1923.16 c INPROCESSING
1916.45/1923.16 c GARBAGE COLLECT
1916.45/1923.16 c rational objective 9
1985.30/1992.24 c #Conflicts: 723000 | #Constraints: 66739
1985.30/1992.24 c #Conflicts: 724000 | #Constraints: 67740
1985.30/1992.24 c #Conflicts: 725000 | #Constraints: 68740
1985.30/1992.24 c #Conflicts: 726000 | #Constraints: 69740
1985.30/1992.24 c #Conflicts: 727000 | #Constraints: 70741
1985.30/1992.24 c #Conflicts: 728000 | #Constraints: 71743
1985.30/1992.24 c #Conflicts: 729000 | #Constraints: 72744
1985.30/1992.24 c #Conflicts: 730000 | #Constraints: 73745
1985.30/1992.24 c #Conflicts: 731000 | #Constraints: 74746
1985.30/1992.24 c #Conflicts: 732000 | #Constraints: 75746
1985.30/1992.24 c #Conflicts: 733000 | #Constraints: 76746
1985.30/1992.24 c #Conflicts: 734000 | #Constraints: 77747
1985.30/1992.24 c #Conflicts: 735000 | #Constraints: 78747
1985.30/1992.24 c #Conflicts: 736000 | #Constraints: 79748
1985.30/1992.24 c #Conflicts: 737000 | #Constraints: 80749
1985.30/1992.24 c #Conflicts: 738000 | #Constraints: 81752
1985.30/1992.24 c #Conflicts: 739000 | #Constraints: 82754
1985.30/1992.24 c INPROCESSING
1985.30/1992.24 c GARBAGE COLLECT
1985.30/1992.24 c rational objective 9
2084.79/2092.02 c #Conflicts: 740000 | #Constraints: 66771
2084.79/2092.02 c #Conflicts: 741000 | #Constraints: 67773
2084.79/2092.02 c #Conflicts: 742000 | #Constraints: 68775
2084.79/2092.02 c #Conflicts: 743000 | #Constraints: 69777
2084.79/2092.02 c #Conflicts: 744000 | #Constraints: 70779
2084.79/2092.02 c #Conflicts: 745000 | #Constraints: 71780
2084.79/2092.02 c #Conflicts: 746000 | #Constraints: 72782
2084.79/2092.02 c #Conflicts: 747000 | #Constraints: 73782
2084.79/2092.02 c #Conflicts: 748000 | #Constraints: 74784
2084.79/2092.02 c #Conflicts: 749000 | #Constraints: 75784
2084.79/2092.02 c #Conflicts: 750000 | #Constraints: 76784
2084.79/2092.02 c #Conflicts: 751000 | #Constraints: 77785
2084.79/2092.02 c #Conflicts: 752000 | #Constraints: 78786
2084.79/2092.02 c #Conflicts: 753000 | #Constraints: 79787
2084.79/2092.02 c #Conflicts: 754000 | #Constraints: 80787
2084.79/2092.02 c #Conflicts: 755000 | #Constraints: 81788
2084.79/2092.02 c #Conflicts: 756000 | #Constraints: 82789
2084.79/2092.02 c INPROCESSING
2084.79/2092.02 c GARBAGE COLLECT
2084.79/2092.02 c rational objective 9
2131.64/2139.09 c #Conflicts: 757000 | #Constraints: 66558
2131.64/2139.09 c #Conflicts: 758000 | #Constraints: 67559
2131.64/2139.09 c #Conflicts: 759000 | #Constraints: 68563
2131.64/2139.09 c #Conflicts: 760000 | #Constraints: 69563
2131.64/2139.09 c #Conflicts: 761000 | #Constraints: 70563
2131.64/2139.09 c #Conflicts: 762000 | #Constraints: 71564
2131.64/2139.09 c #Conflicts: 763000 | #Constraints: 72566
2131.64/2139.09 c #Conflicts: 764000 | #Constraints: 73567
2131.64/2139.09 c #Conflicts: 765000 | #Constraints: 74570
2131.64/2139.09 c #Conflicts: 766000 | #Constraints: 75571
2131.64/2139.09 c #Conflicts: 767000 | #Constraints: 76572
2131.64/2139.09 c #Conflicts: 768000 | #Constraints: 77576
2131.64/2139.09 c #Conflicts: 769000 | #Constraints: 78577
2131.64/2139.09 c #Conflicts: 770000 | #Constraints: 79579
2131.64/2139.09 c #Conflicts: 771000 | #Constraints: 80580
2131.64/2139.09 c #Conflicts: 772000 | #Constraints: 81581
2131.64/2139.09 c #Conflicts: 773000 | #Constraints: 82582
2131.64/2139.09 c #Conflicts: 774000 | #Constraints: 83583
2131.64/2139.09 c INPROCESSING
2131.64/2139.09 c GARBAGE COLLECT
2131.64/2139.09 c rational objective 9
2209.98/2217.66 c #Conflicts: 775000 | #Constraints: 67139
2209.98/2217.66 c #Conflicts: 776000 | #Constraints: 68140
2209.98/2217.66 c #Conflicts: 777000 | #Constraints: 69141
2209.98/2217.66 c #Conflicts: 778000 | #Constraints: 70143
2209.98/2217.66 c #Conflicts: 779000 | #Constraints: 71145
2209.98/2217.66 c #Conflicts: 780000 | #Constraints: 72148
2209.98/2217.66 c #Conflicts: 781000 | #Constraints: 73151
2209.98/2217.66 c #Conflicts: 782000 | #Constraints: 74153
2209.98/2217.66 c #Conflicts: 783000 | #Constraints: 75155
2209.98/2217.66 c #Conflicts: 784000 | #Constraints: 76158
2209.98/2217.66 c #Conflicts: 785000 | #Constraints: 77158
2209.98/2217.66 c #Conflicts: 786000 | #Constraints: 78158
2209.98/2217.66 c #Conflicts: 787000 | #Constraints: 79159
2209.98/2217.66 c #Conflicts: 788000 | #Constraints: 80159
2209.98/2217.66 c #Conflicts: 789000 | #Constraints: 81160
2209.98/2217.66 c #Conflicts: 790000 | #Constraints: 82160
2209.98/2217.66 c #Conflicts: 791000 | #Constraints: 83161
2209.98/2217.66 c #Conflicts: 792000 | #Constraints: 84161
2209.98/2217.66 c INPROCESSING
2209.98/2217.66 c GARBAGE COLLECT
2209.98/2217.66 c rational objective 9
2276.87/2284.74 c #Conflicts: 793000 | #Constraints: 67581
2276.87/2284.74 c #Conflicts: 794000 | #Constraints: 68581
2276.87/2284.74 c #Conflicts: 795000 | #Constraints: 69582
2276.87/2284.74 c #Conflicts: 796000 | #Constraints: 70582
2276.87/2284.74 c #Conflicts: 797000 | #Constraints: 71582
2276.87/2284.74 c #Conflicts: 798000 | #Constraints: 72584
2276.87/2284.74 c #Conflicts: 799000 | #Constraints: 73585
2276.87/2284.74 c #Conflicts: 800000 | #Constraints: 74586
2276.87/2284.74 c #Conflicts: 801000 | #Constraints: 75586
2276.87/2284.74 c #Conflicts: 802000 | #Constraints: 76586
2276.87/2284.74 c #Conflicts: 803000 | #Constraints: 77586
2276.87/2284.74 c #Conflicts: 804000 | #Constraints: 78586
2276.87/2284.74 c #Conflicts: 805000 | #Constraints: 79587
2276.87/2284.74 c #Conflicts: 806000 | #Constraints: 80588
2276.87/2284.74 c #Conflicts: 807000 | #Constraints: 81588
2276.87/2284.74 c #Conflicts: 808000 | #Constraints: 82589
2276.87/2284.74 c #Conflicts: 809000 | #Constraints: 83589
2276.87/2284.74 c #Conflicts: 810000 | #Constraints: 84590
2276.87/2284.74 c INPROCESSING
2276.87/2284.74 c GARBAGE COLLECT
2276.87/2284.74 c rational objective 9
2316.25/2324.24 c #Conflicts: 811000 | #Constraints: 67799
2316.25/2324.24 c #Conflicts: 812000 | #Constraints: 68799
2316.25/2324.24 c #Conflicts: 813000 | #Constraints: 69799
2316.25/2324.24 c #Conflicts: 814000 | #Constraints: 70800
2316.25/2324.24 c #Conflicts: 815000 | #Constraints: 71801
2316.25/2324.24 c #Conflicts: 816000 | #Constraints: 72804
2316.25/2324.24 c #Conflicts: 817000 | #Constraints: 73805
2316.25/2324.24 c #Conflicts: 818000 | #Constraints: 74806
2316.25/2324.24 c #Conflicts: 819000 | #Constraints: 75807
2316.25/2324.24 c #Conflicts: 820000 | #Constraints: 76808
2316.25/2324.24 c #Conflicts: 821000 | #Constraints: 77808
2316.25/2324.24 c #Conflicts: 822000 | #Constraints: 78808
2316.25/2324.24 c #Conflicts: 823000 | #Constraints: 79808
2316.25/2324.24 c #Conflicts: 824000 | #Constraints: 80808
2316.25/2324.24 c #Conflicts: 825000 | #Constraints: 81808
2316.25/2324.24 c #Conflicts: 826000 | #Constraints: 82808
2316.25/2324.24 c #Conflicts: 827000 | #Constraints: 83808
2316.25/2324.24 c #Conflicts: 828000 | #Constraints: 84808
2316.25/2324.24 c INPROCESSING
2316.25/2324.24 c GARBAGE COLLECT
2316.25/2324.24 c rational objective 9
2378.36/2386.58 c #Conflicts: 829000 | #Constraints: 67745
2378.36/2386.58 c #Conflicts: 830000 | #Constraints: 68746
2378.36/2386.58 c #Conflicts: 831000 | #Constraints: 69748
2378.36/2386.58 c #Conflicts: 832000 | #Constraints: 70750
2378.36/2386.58 c #Conflicts: 833000 | #Constraints: 71752
2378.36/2386.58 c #Conflicts: 834000 | #Constraints: 72755
2378.36/2386.58 c #Conflicts: 835000 | #Constraints: 73756
2378.36/2386.58 c #Conflicts: 836000 | #Constraints: 74756
2378.36/2386.58 c #Conflicts: 837000 | #Constraints: 75757
2378.36/2386.58 c #Conflicts: 838000 | #Constraints: 76757
2378.36/2386.58 c #Conflicts: 839000 | #Constraints: 77757
2378.36/2386.58 c #Conflicts: 840000 | #Constraints: 78758
2378.36/2386.58 c #Conflicts: 841000 | #Constraints: 79758
2378.36/2386.58 c #Conflicts: 842000 | #Constraints: 80758
2378.36/2386.58 c #Conflicts: 843000 | #Constraints: 81759
2378.36/2386.58 c #Conflicts: 844000 | #Constraints: 82759
2378.36/2386.58 c #Conflicts: 845000 | #Constraints: 83759
2378.36/2386.58 c #Conflicts: 846000 | #Constraints: 84759
2378.36/2386.58 c INPROCESSING
2378.36/2386.58 c GARBAGE COLLECT
2378.36/2386.58 c rational objective 9
2439.17/2447.57 c #Conflicts: 847000 | #Constraints: 67565
2439.17/2447.57 c #Conflicts: 848000 | #Constraints: 68565
2439.17/2447.57 c #Conflicts: 849000 | #Constraints: 69566
2439.17/2447.57 c #Conflicts: 850000 | #Constraints: 70567
2439.17/2447.57 c #Conflicts: 851000 | #Constraints: 71572
2439.17/2447.57 c #Conflicts: 852000 | #Constraints: 72573
2439.17/2447.57 c #Conflicts: 853000 | #Constraints: 73573
2439.17/2447.57 c #Conflicts: 854000 | #Constraints: 74574
2439.17/2447.57 c #Conflicts: 855000 | #Constraints: 75574
2439.17/2447.57 c #Conflicts: 856000 | #Constraints: 76575
2439.17/2447.57 c #Conflicts: 857000 | #Constraints: 77575
2439.17/2447.57 c #Conflicts: 858000 | #Constraints: 78576
2439.17/2447.57 c #Conflicts: 859000 | #Constraints: 79576
2439.17/2447.57 c #Conflicts: 860000 | #Constraints: 80577
2439.17/2447.57 c #Conflicts: 861000 | #Constraints: 81578
2439.17/2447.57 c #Conflicts: 862000 | #Constraints: 82578
2439.17/2447.57 c #Conflicts: 863000 | #Constraints: 83579
2439.17/2447.57 c #Conflicts: 864000 | #Constraints: 84579
2439.17/2447.57 c #Conflicts: 865000 | #Constraints: 85580
2439.17/2447.57 c INPROCESSING
2439.17/2447.57 c GARBAGE COLLECT
2439.17/2447.57 c rational objective 9
2501.88/2510.43 c #Conflicts: 866000 | #Constraints: 68149
2501.88/2510.43 c #Conflicts: 867000 | #Constraints: 69149
2501.88/2510.43 c #Conflicts: 868000 | #Constraints: 70149
2501.88/2510.43 c #Conflicts: 869000 | #Constraints: 71149
2501.88/2510.43 c #Conflicts: 870000 | #Constraints: 72150
2501.88/2510.43 c #Conflicts: 871000 | #Constraints: 73154
2501.88/2510.43 c #Conflicts: 872000 | #Constraints: 74156
2501.88/2510.43 c #Conflicts: 873000 | #Constraints: 75157
2501.88/2510.43 c #Conflicts: 874000 | #Constraints: 76158
2501.88/2510.43 c #Conflicts: 875000 | #Constraints: 77159
2501.88/2510.43 c #Conflicts: 876000 | #Constraints: 78160
2501.88/2510.43 c #Conflicts: 877000 | #Constraints: 79161
2501.88/2510.43 c #Conflicts: 878000 | #Constraints: 80162
2501.88/2510.43 c #Conflicts: 879000 | #Constraints: 81163
2501.88/2510.43 c #Conflicts: 880000 | #Constraints: 82164
2501.88/2510.43 c #Conflicts: 881000 | #Constraints: 83164
2501.88/2510.43 c #Conflicts: 882000 | #Constraints: 84165
2501.88/2510.43 c #Conflicts: 883000 | #Constraints: 85167
2501.88/2510.43 c #Conflicts: 884000 | #Constraints: 86168
2501.88/2510.43 c INPROCESSING
2501.88/2510.43 c GARBAGE COLLECT
2501.88/2510.43 c rational objective 9
2559.60/2568.37 c #Conflicts: 885000 | #Constraints: 68591
2559.60/2568.37 c #Conflicts: 886000 | #Constraints: 69592
2559.60/2568.37 c #Conflicts: 887000 | #Constraints: 70592
2559.60/2568.37 c #Conflicts: 888000 | #Constraints: 71592
2559.60/2568.37 c #Conflicts: 889000 | #Constraints: 72593
2559.60/2568.37 c #Conflicts: 890000 | #Constraints: 73594
2559.60/2568.37 c #Conflicts: 891000 | #Constraints: 74594
2559.60/2568.37 c #Conflicts: 892000 | #Constraints: 75595
2559.60/2568.37 c #Conflicts: 893000 | #Constraints: 76596
2559.60/2568.37 c #Conflicts: 894000 | #Constraints: 77597
2559.60/2568.37 c #Conflicts: 895000 | #Constraints: 78599
2559.60/2568.37 c #Conflicts: 896000 | #Constraints: 79600
2559.60/2568.37 c #Conflicts: 897000 | #Constraints: 80601
2559.60/2568.37 c #Conflicts: 898000 | #Constraints: 81602
2559.60/2568.37 c #Conflicts: 899000 | #Constraints: 82603
2559.60/2568.37 c #Conflicts: 900000 | #Constraints: 83603
2559.60/2568.37 c #Conflicts: 901000 | #Constraints: 84604
2559.60/2568.37 c #Conflicts: 902000 | #Constraints: 85604
2559.60/2568.37 c #Conflicts: 903000 | #Constraints: 86604
2559.60/2568.37 c INPROCESSING
2559.60/2568.37 c GARBAGE COLLECT
2559.60/2568.37 c rational objective 9
2627.38/2636.39 c #Conflicts: 904000 | #Constraints: 68803
2627.38/2636.39 c #Conflicts: 905000 | #Constraints: 69805
2627.38/2636.39 c #Conflicts: 906000 | #Constraints: 70807
2627.38/2636.39 c #Conflicts: 907000 | #Constraints: 71808
2627.38/2636.39 c #Conflicts: 908000 | #Constraints: 72811
2627.38/2636.39 c #Conflicts: 909000 | #Constraints: 73813
2627.38/2636.39 c #Conflicts: 910000 | #Constraints: 74813
2627.38/2636.39 c #Conflicts: 911000 | #Constraints: 75814
2627.38/2636.39 c #Conflicts: 912000 | #Constraints: 76815
2627.38/2636.39 c #Conflicts: 913000 | #Constraints: 77816
2627.38/2636.39 c #Conflicts: 914000 | #Constraints: 78816
2627.38/2636.39 c #Conflicts: 915000 | #Constraints: 79816
2627.38/2636.39 c #Conflicts: 916000 | #Constraints: 80816
2627.38/2636.39 c #Conflicts: 917000 | #Constraints: 81817
2627.38/2636.39 c #Conflicts: 918000 | #Constraints: 82817
2627.38/2636.39 c #Conflicts: 919000 | #Constraints: 83817
2627.38/2636.39 c #Conflicts: 920000 | #Constraints: 84818
2627.38/2636.39 c #Conflicts: 921000 | #Constraints: 85818
2627.38/2636.39 c #Conflicts: 922000 | #Constraints: 86818
2627.38/2636.39 c INPROCESSING
2627.38/2636.39 c GARBAGE COLLECT
2627.38/2636.39 c rational objective 9
2688.90/2698.10 c #Conflicts: 923000 | #Constraints: 68786
2688.90/2698.10 c #Conflicts: 924000 | #Constraints: 69788
2688.90/2698.10 c #Conflicts: 925000 | #Constraints: 70790
2688.90/2698.10 c #Conflicts: 926000 | #Constraints: 71791
2688.90/2698.10 c #Conflicts: 927000 | #Constraints: 72791
2688.90/2698.10 c #Conflicts: 928000 | #Constraints: 73792
2688.90/2698.10 c #Conflicts: 929000 | #Constraints: 74792
2688.90/2698.10 c #Conflicts: 930000 | #Constraints: 75792
2688.90/2698.10 c #Conflicts: 931000 | #Constraints: 76792
2688.90/2698.10 c #Conflicts: 932000 | #Constraints: 77792
2688.90/2698.10 c #Conflicts: 933000 | #Constraints: 78792
2688.90/2698.10 c #Conflicts: 934000 | #Constraints: 79792
2688.90/2698.10 c #Conflicts: 935000 | #Constraints: 80792
2688.90/2698.10 c #Conflicts: 936000 | #Constraints: 81792
2688.90/2698.10 c #Conflicts: 937000 | #Constraints: 82792
2688.90/2698.10 c #Conflicts: 938000 | #Constraints: 83792
2688.90/2698.10 c #Conflicts: 939000 | #Constraints: 84792
2688.90/2698.10 c #Conflicts: 940000 | #Constraints: 85793
2688.90/2698.10 c #Conflicts: 941000 | #Constraints: 86793
2688.90/2698.10 c INPROCESSING
2688.90/2698.10 c GARBAGE COLLECT
2688.90/2698.10 c rational objective 9
2759.19/2768.50 c #Conflicts: 942000 | #Constraints: 68555
2759.19/2768.50 c #Conflicts: 943000 | #Constraints: 69555
2759.19/2768.50 c #Conflicts: 944000 | #Constraints: 70556
2759.19/2768.50 c #Conflicts: 945000 | #Constraints: 71557
2759.19/2768.50 c #Conflicts: 946000 | #Constraints: 72559
2759.19/2768.50 c #Conflicts: 947000 | #Constraints: 73560
2759.19/2768.50 c #Conflicts: 948000 | #Constraints: 74561
2759.19/2768.50 c #Conflicts: 949000 | #Constraints: 75562
2759.19/2768.50 c #Conflicts: 950000 | #Constraints: 76565
2759.19/2768.50 c #Conflicts: 951000 | #Constraints: 77567
2759.19/2768.50 c #Conflicts: 952000 | #Constraints: 78569
2759.19/2768.50 c #Conflicts: 953000 | #Constraints: 79569
2759.19/2768.50 c #Conflicts: 954000 | #Constraints: 80569
2759.19/2768.50 c #Conflicts: 955000 | #Constraints: 81570
2759.19/2768.50 c #Conflicts: 956000 | #Constraints: 82570
2759.19/2768.50 c #Conflicts: 957000 | #Constraints: 83570
2759.19/2768.50 c #Conflicts: 958000 | #Constraints: 84570
2759.19/2768.50 c #Conflicts: 959000 | #Constraints: 85570
2759.19/2768.50 c #Conflicts: 960000 | #Constraints: 86571
2759.19/2768.50 c #Conflicts: 961000 | #Constraints: 87571
2759.19/2768.50 c INPROCESSING
2759.19/2768.50 c GARBAGE COLLECT
2759.19/2768.50 c rational objective 9
2810.33/2819.85 c #Conflicts: 962000 | #Constraints: 69172
2810.33/2819.85 c #Conflicts: 963000 | #Constraints: 70175
2810.33/2819.85 c #Conflicts: 964000 | #Constraints: 71176
2810.33/2819.85 c #Conflicts: 965000 | #Constraints: 72177
2810.33/2819.85 c #Conflicts: 966000 | #Constraints: 73178
2810.33/2819.85 c #Conflicts: 967000 | #Constraints: 74180
2810.33/2819.85 c #Conflicts: 968000 | #Constraints: 75180
2810.33/2819.85 c #Conflicts: 969000 | #Constraints: 76181
2810.33/2819.85 c #Conflicts: 970000 | #Constraints: 77181
2810.33/2819.85 c #Conflicts: 971000 | #Constraints: 78182
2810.33/2819.85 c #Conflicts: 972000 | #Constraints: 79182
2810.33/2819.85 c #Conflicts: 973000 | #Constraints: 80182
2810.33/2819.85 c #Conflicts: 974000 | #Constraints: 81183
2810.33/2819.85 c #Conflicts: 975000 | #Constraints: 82183
2810.33/2819.85 c #Conflicts: 976000 | #Constraints: 83183
2810.33/2819.85 c #Conflicts: 977000 | #Constraints: 84184
2810.33/2819.85 c #Conflicts: 978000 | #Constraints: 85184
2810.33/2819.85 c #Conflicts: 979000 | #Constraints: 86185
2810.33/2819.85 c #Conflicts: 980000 | #Constraints: 87185
2810.33/2819.85 c #Conflicts: 981000 | #Constraints: 88186
2810.33/2819.85 c INPROCESSING
2810.33/2819.85 c GARBAGE COLLECT
2810.33/2819.85 c rational objective 9
2904.85/2914.60 c #Conflicts: 982000 | #Constraints: 69568
2904.85/2914.60 c #Conflicts: 983000 | #Constraints: 70569
2904.85/2914.60 c #Conflicts: 984000 | #Constraints: 71569
2904.85/2914.60 c #Conflicts: 985000 | #Constraints: 72571
2904.85/2914.60 c #Conflicts: 986000 | #Constraints: 73571
2904.85/2914.60 c #Conflicts: 987000 | #Constraints: 74572
2904.85/2914.60 c #Conflicts: 988000 | #Constraints: 75572
2904.85/2914.60 c #Conflicts: 989000 | #Constraints: 76572
2904.85/2914.60 c #Conflicts: 990000 | #Constraints: 77573
2904.85/2914.60 c #Conflicts: 991000 | #Constraints: 78574
2904.85/2914.60 c #Conflicts: 992000 | #Constraints: 79574
2904.85/2914.60 c #Conflicts: 993000 | #Constraints: 80574
2904.85/2914.60 c #Conflicts: 994000 | #Constraints: 81574
2904.85/2914.60 c #Conflicts: 995000 | #Constraints: 82575
2904.85/2914.60 c #Conflicts: 996000 | #Constraints: 83575
2904.85/2914.60 c #Conflicts: 997000 | #Constraints: 84576
2904.85/2914.60 c #Conflicts: 998000 | #Constraints: 85576
2904.85/2914.60 c #Conflicts: 999000 | #Constraints: 86576
2904.85/2914.60 c #Conflicts: 1000000 | #Constraints: 87576
2904.85/2914.60 c #Conflicts: 1001000 | #Constraints: 88577
2904.85/2914.60 c INPROCESSING
2904.85/2914.60 c GARBAGE COLLECT
2904.85/2914.60 c rational objective 9
2981.91/2991.93 c #Conflicts: 1002000 | #Constraints: 69810
2981.91/2991.93 c #Conflicts: 1003000 | #Constraints: 70810
2981.91/2991.93 c #Conflicts: 1004000 | #Constraints: 71810
2981.91/2991.93 c #Conflicts: 1005000 | #Constraints: 72810
2981.91/2991.93 c #Conflicts: 1006000 | #Constraints: 73811
2981.91/2991.93 c #Conflicts: 1007000 | #Constraints: 74811
2981.91/2991.93 c #Conflicts: 1008000 | #Constraints: 75812
2981.91/2991.93 c #Conflicts: 1009000 | #Constraints: 76813
2981.91/2991.93 c #Conflicts: 1010000 | #Constraints: 77813
2981.91/2991.93 c #Conflicts: 1011000 | #Constraints: 78814
2981.91/2991.93 c #Conflicts: 1012000 | #Constraints: 79814
2981.91/2991.93 c #Conflicts: 1013000 | #Constraints: 80814
2981.91/2991.93 c #Conflicts: 1014000 | #Constraints: 81815
2981.91/2991.93 c #Conflicts: 1015000 | #Constraints: 82815
2981.91/2991.93 c #Conflicts: 1016000 | #Constraints: 83815
2981.91/2991.93 c #Conflicts: 1017000 | #Constraints: 84815
2981.91/2991.93 c #Conflicts: 1018000 | #Constraints: 85815
2981.91/2991.93 c #Conflicts: 1019000 | #Constraints: 86815
2981.91/2991.93 c #Conflicts: 1020000 | #Constraints: 87815
2981.91/2991.93 c #Conflicts: 1021000 | #Constraints: 88815
2981.91/2991.93 c INPROCESSING
2981.91/2991.93 c GARBAGE COLLECT
2981.91/2991.93 c rational objective 9
3152.74/3163.32 c #Conflicts: 1022000 | #Constraints: 69768
3152.74/3163.32 c #Conflicts: 1023000 | #Constraints: 70768
3152.74/3163.32 c #Conflicts: 1024000 | #Constraints: 71768
3152.74/3163.32 c #Conflicts: 1025000 | #Constraints: 72769
3152.74/3163.32 c #Conflicts: 1026000 | #Constraints: 73769
3152.74/3163.32 c #Conflicts: 1027000 | #Constraints: 74771
3152.74/3163.32 c #Conflicts: 1028000 | #Constraints: 75772
3152.74/3163.32 c #Conflicts: 1029000 | #Constraints: 76774
3152.74/3163.32 c #Conflicts: 1030000 | #Constraints: 77774
3152.74/3163.32 c #Conflicts: 1031000 | #Constraints: 78776
3152.74/3163.32 c #Conflicts: 1032000 | #Constraints: 79776
3152.74/3163.32 c #Conflicts: 1033000 | #Constraints: 80777
3152.74/3163.32 c #Conflicts: 1034000 | #Constraints: 81777
3152.74/3163.32 c #Conflicts: 1035000 | #Constraints: 82777
3152.74/3163.32 c #Conflicts: 1036000 | #Constraints: 83777
3152.74/3163.32 c #Conflicts: 1037000 | #Constraints: 84778
3152.74/3163.32 c #Conflicts: 1038000 | #Constraints: 85778
3152.74/3163.32 c #Conflicts: 1039000 | #Constraints: 86778
3152.74/3163.32 c #Conflicts: 1040000 | #Constraints: 87778
3152.74/3163.32 c #Conflicts: 1041000 | #Constraints: 88779
3152.74/3163.32 c INPROCESSING
3152.74/3163.32 c GARBAGE COLLECT
3152.74/3163.32 c rational objective 9
3325.62/3336.70 c #Conflicts: 1042000 | #Constraints: 69561
3325.62/3336.70 c #Conflicts: 1043000 | #Constraints: 70561
3325.62/3336.70 c #Conflicts: 1044000 | #Constraints: 71561
3325.62/3336.70 c #Conflicts: 1045000 | #Constraints: 72561
3325.62/3336.70 c #Conflicts: 1046000 | #Constraints: 73562
3325.62/3336.70 c #Conflicts: 1047000 | #Constraints: 74563
3325.62/3336.70 c #Conflicts: 1048000 | #Constraints: 75563
3325.62/3336.70 c #Conflicts: 1049000 | #Constraints: 76563
3325.62/3336.70 c #Conflicts: 1050000 | #Constraints: 77564
3325.62/3336.70 c #Conflicts: 1051000 | #Constraints: 78565
3325.62/3336.70 c #Conflicts: 1052000 | #Constraints: 79565
3325.62/3336.70 c #Conflicts: 1053000 | #Constraints: 80565
3325.62/3336.70 c #Conflicts: 1054000 | #Constraints: 81566
3325.62/3336.70 c #Conflicts: 1055000 | #Constraints: 82566
3325.62/3336.70 c #Conflicts: 1056000 | #Constraints: 83567
3325.62/3336.70 c #Conflicts: 1057000 | #Constraints: 84567
3325.62/3336.70 c #Conflicts: 1058000 | #Constraints: 85568
3325.62/3336.70 c #Conflicts: 1059000 | #Constraints: 86568
3325.62/3336.70 c #Conflicts: 1060000 | #Constraints: 87568
3325.62/3336.70 c #Conflicts: 1061000 | #Constraints: 88568
3325.62/3336.70 c #Conflicts: 1062000 | #Constraints: 89568
3325.62/3336.70 c INPROCESSING
3325.62/3336.70 c GARBAGE COLLECT
3325.62/3336.70 c rational objective 9
3434.68/3446.10 c #Conflicts: 1063000 | #Constraints: 70160
3434.68/3446.10 c #Conflicts: 1064000 | #Constraints: 71161
3434.68/3446.10 c #Conflicts: 1065000 | #Constraints: 72161
3434.68/3446.10 c #Conflicts: 1066000 | #Constraints: 73162
3434.68/3446.10 c #Conflicts: 1067000 | #Constraints: 74164
3434.68/3446.10 c #Conflicts: 1068000 | #Constraints: 75167
3434.68/3446.10 c #Conflicts: 1069000 | #Constraints: 76168
3434.68/3446.10 c #Conflicts: 1070000 | #Constraints: 77169
3434.68/3446.10 c #Conflicts: 1071000 | #Constraints: 78170
3434.68/3446.10 c #Conflicts: 1072000 | #Constraints: 79171
3434.68/3446.10 c #Conflicts: 1073000 | #Constraints: 80171
3434.68/3446.10 c #Conflicts: 1074000 | #Constraints: 81172
3434.68/3446.10 c #Conflicts: 1075000 | #Constraints: 82172
3434.68/3446.10 c #Conflicts: 1076000 | #Constraints: 83173
3434.68/3446.10 c #Conflicts: 1077000 | #Constraints: 84173
3434.68/3446.10 c #Conflicts: 1078000 | #Constraints: 85174
3434.68/3446.10 c #Conflicts: 1079000 | #Constraints: 86175
3434.68/3446.10 c #Conflicts: 1080000 | #Constraints: 87175
3434.68/3446.10 c #Conflicts: 1081000 | #Constraints: 88175
3434.68/3446.10 c #Conflicts: 1082000 | #Constraints: 89175
3434.68/3446.10 c #Conflicts: 1083000 | #Constraints: 90175
3434.68/3446.10 c INPROCESSING
3434.68/3446.10 c GARBAGE COLLECT
3434.68/3446.10 c rational objective 9
3587.51/3599.47 c #Conflicts: 1084000 | #Constraints: 70602
3587.51/3599.47 c #Conflicts: 1085000 | #Constraints: 71603
3587.51/3599.47 c #Conflicts: 1086000 | #Constraints: 72604
3587.51/3599.47 c #Conflicts: 1087000 | #Constraints: 73605
3587.51/3599.47 c #Conflicts: 1088000 | #Constraints: 74607
3587.51/3599.47 c #Conflicts: 1089000 | #Constraints: 75608
3587.51/3599.47 c #Conflicts: 1090000 | #Constraints: 76610
3587.51/3599.47 c #Conflicts: 1091000 | #Constraints: 77610
3587.51/3599.47 c #Conflicts: 1092000 | #Constraints: 78611
3587.51/3599.47 c #Conflicts: 1093000 | #Constraints: 79612
3587.51/3599.47 c #Conflicts: 1094000 | #Constraints: 80612
3587.51/3599.47 c #Conflicts: 1095000 | #Constraints: 81612
3587.51/3599.47 c #Conflicts: 1096000 | #Constraints: 82613
3587.51/3599.47 c #Conflicts: 1097000 | #Constraints: 83613
3587.51/3599.47 c #Conflicts: 1098000 | #Constraints: 84613
3587.51/3599.47 c #Conflicts: 1099000 | #Constraints: 85614
3587.51/3599.47 c #Conflicts: 1100000 | #Constraints: 86614
3587.51/3599.47 c #Conflicts: 1101000 | #Constraints: 87614
3587.51/3599.47 c #Conflicts: 1102000 | #Constraints: 88615
3587.51/3599.47 c #Conflicts: 1103000 | #Constraints: 89615
3587.51/3599.47 c #Conflicts: 1104000 | #Constraints: 90615
3587.51/3599.47 c INPROCESSING
3587.51/3599.47 c GARBAGE COLLECT
3587.51/3599.47 c rational objective 9
3600.07/3612.04 c #Conflicts: 1105000 | #Constraints: 70797
3600.07/3612.04 c #Conflicts: 1106000 | #Constraints: 71797
3600.07/3612.04 c #Conflicts: 1107000 | #Constraints: 72798
3600.07/3612.04 c #Conflicts: 1108000 | #Constraints: 73798
3600.07/3612.04 c #Conflicts: 1109000 | #Constraints: 74798
3600.07/3612.04 c #Conflicts: 1110000 | #Constraints: 75799
3600.07/3612.04 c #Conflicts: 1111000 | #Constraints: 76800
3600.07/3612.04 c cpu time 3557.84 s
3600.07/3612.04 c deterministic time 304329371068 3.04e+11
3600.07/3612.04 c optimization time 12.2016 s
3600.07/3612.04 c total solve time 3545.33 s
3600.07/3612.04 c core-guided solve time 1822.44 s
3600.07/3612.04 c propagation time 2114.54 s
3600.07/3612.04 c conflict analysis time 909.534 s
3600.07/3612.04 c propagations 572911893
3600.07/3612.04 c resolve steps 7078761
3600.07/3612.04 c decisions 12385551
3600.07/3612.04 c conflicts 1111251
3600.07/3612.04 c restarts 2046
3600.07/3612.04 c inprocessing phases 96
3600.07/3612.04 c garbage collections 96 ,( 100.00 )
3600.07/3612.04 c input clauses 56888 ,( 98.83 )
3600.07/3612.04 c input cardinalities 98 ,( 0.17 )
3600.07/3612.04 c input general constraints 576 ,( 1.00 )
3600.07/3612.04 c input average constraint length 4.07
3600.07/3612.04 c input average constraint degree 12.29
3600.07/3612.04 c learned clauses 111735 ,( 10.04 )
3600.07/3612.04 c learned cardinalities 9532 ,( 0.86 )
3600.07/3612.04 c learned general constraints 991505 ,( 89.10 )
3600.07/3612.04 c learned average constraint length 1266.23
3600.07/3612.04 c learned average constraint degree 9145251232.44
3600.07/3612.04 c watched CF 32, 64, 128, Arb: 365056 , 0 , 0 , 0
3600.07/3612.04 c counting CF 32, 64, 128, Arb: 627026 , 0 , 0 , 0
3600.07/3612.04 c watched constraints 365056 ,( 36.80 )
3600.07/3612.04 c counting constraints 627025 ,( 63.20 )
3600.07/3612.04 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 109863250 , 20109066 , 3190474792 ,( 248343022 , 2942131770 )
3600.07/3612.04 c gcd simplifications 62390
3600.07/3612.04 c detected cardinalities 423
3600.07/3612.04 c weakened non-implied lits 402133583
3600.07/3612.04 c weakened non-implying lits 1121121
3600.07/3612.04 c original variables 24530
3600.07/3612.04 c clausal propagations 92697038
3600.07/3612.04 c cardinality propagations 58807855
3600.07/3612.04 c watched propagations 2477396
3600.07/3612.04 c counting propagations 402366290
3600.07/3612.04 c watch lookups 108214144661
3600.07/3612.04 c watch backjump lookups 0
3600.07/3612.04 c watch checks 64368116408
3600.07/3612.04 c propagation checks 126321876826
3600.07/3612.04 c constraint additions 4252061325
3600.07/3612.04 c trail pops 586403928
3600.07/3612.04 c formula constraints 57562
3600.07/3612.04 c learned constraints 1110228
3600.07/3612.04 c bound constraints 0
3600.07/3612.04 c core-guided constraints 0
3600.07/3612.04 c encountered formula constraints 4900584
3600.07/3612.04 c encountered learned constraints 3081986
3600.07/3612.04 c encountered bound constraints 0
3600.07/3612.04 c encountered core-guided constraints 0
3600.07/3612.04 c LP total time 912.938 s
3600.07/3612.04 c LP solve time 860.27 s
3600.07/3612.04 c LP constraints added 59724
3600.07/3612.04 c LP constraints removed 2128
3600.07/3612.04 c LP pivots internal 1113460
3600.07/3612.04 c LP pivots root 357015
3600.07/3612.04 c LP calls 1155
3600.07/3612.04 c LP optimalities 127
3600.07/3612.04 c LP no pivot count 7
3600.07/3612.04 c LP infeasibilities 1024
3600.07/3612.04 c LP valid Farkas constraints 1022
3600.07/3612.04 c LP learned Farkas constraints 1022
3600.07/3612.04 c LP basis resets 2
3600.07/3612.04 c LP cycling count 0
3600.07/3612.04 c LP singular count 0
3600.07/3612.04 c LP no primal count 0
3600.07/3612.04 c LP no farkas count 2
3600.07/3612.04 c LP other issue count 0
3600.07/3612.04 c LP Gomory cuts 500
3600.07/3612.04 c LP learned cuts 1662
3600.07/3612.04 c LP deleted cuts 2128
3600.07/3612.04 c LP encountered Gomory constraints 13599
3600.07/3612.04 c LP encountered Farkas constraints 177821
3600.07/3612.04 c LP encountered learned Farkas constraints 15000
3600.07/3612.04 c CG auxiliary variables introduced 0
3600.07/3612.04 c CG solutions found 0
3600.07/3612.04 c CG cores constructed 0
3600.07/3612.04 c CG core cardinality constraints returned 0
3600.07/3612.04 c CG unit cores 0
3600.07/3612.04 c CG single cores 0
3600.07/3612.04 c CG blocks removed during cardinality reduction 0
3600.07/3612.04 c CG first core best 0
3600.07/3612.04 c CG decision core best 0
3600.07/3612.04 c CG core reduction tie 0
3600.07/3612.04 c CG core degree average 0.00
3600.07/3612.04 c CG core slack average 0.00
3600.07/3612.04 c CG core upper bound improvements 0
3600.07/3612.04 c STR number of successful calls 0
3600.07/3612.04 c STR number of unsuccessful calls 0
3600.07/3612.04 c STR number of inconclusive calls 0
3600.07/3612.04 c STR number of successful attempts 0
3600.07/3612.04 c STR number of unsuccessful attempts 0
3600.07/3612.04 c STR number of inconclusive attempts 0
3600.07/3612.04 c STR average degree increase per successful call inf
3600.07/3612.04 c STR average degree increase per successful attempt inf
3600.07/3612.04 c STR total number of conflicts for successful attempts 0
3600.07/3612.04 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.04 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.04 c STR average number of conflicts per successful attempt inf
3600.07/3612.04 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.04 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.04 c AVG.sumWPerc 50.08
3600.07/3612.04 c bigint constraints 0
3600.07/3612.04 s UNKNOWN
3600.07/3612.04 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: 63708 MiB (49128 MiB free)
memory of node 1: 64465 MiB (50019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531955-1752683067/watcher-4531955-1752683067 -o /tmp/evaluation-result-4531955-1752683067/solver-4531955-1752683067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752683038-137726 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531955-1752683067.opb /tmp/proof-4531955-1752683067
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=137891, runsolver pid=137888
[startup+0.100063 s]*
/proc/loadavg: 1.44 0.40 0.20 5/269 137893
/proc/meminfo: memFree=101524424/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137893] ppid=137891 vsize=29688 memory=18944 CPUtime=0.09 cores=0,2
/proc/137893/stat : 137893 (pbsuma) R 137891 137891 137709 0 -1 4194304 5110 0 0 0 8 1 0 0 20 0 1 0 183929252 30400512 4736 18446744073709551615 4210688 4653049 140720981979568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26238976 140720981981447 140720981981744 140720981981744 140720981987311 0
/proc/137893/statm: 7422 4736 1024 108 0 4830 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33880 KiB
Current children cumulated memory: 21888 KiB
[startup+0.205787 s]*
/proc/loadavg: 1.44 0.40 0.20 5/269 137893
/proc/meminfo: memFree=101514848/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137893] ppid=137891 vsize=40012 memory=28420 CPUtime=0.19 cores=0,2
/proc/137893/stat : 137893 (pbsuma) R 137891 137891 137709 0 -1 4194304 7843 0 0 0 17 2 0 0 20 0 1 0 183929252 40972288 7105 18446744073709551615 4210688 4653049 140720981979568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26238976 140720981981447 140720981981744 140720981981744 140720981987311 0
/proc/137893/statm: 10003 7105 1024 108 0 7411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44204 KiB
Current children cumulated memory: 31364 KiB
[startup+0.305635 s]*
/proc/loadavg: 1.44 0.40 0.20 5/269 137893
/proc/meminfo: memFree=101514848/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137893] ppid=137891 vsize=37636 memory=26508 CPUtime=0.29 cores=0,2
/proc/137893/stat : 137893 (pbsuma) R 137891 137891 137709 0 -1 4194304 7939 0 0 0 27 2 0 0 20 0 1 0 183929252 38539264 6627 18446744073709551615 4210688 4653049 140720981979568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26238976 140720981981447 140720981981744 140720981981744 140720981987311 0
/proc/137893/statm: 9409 6627 1024 108 0 6817 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 29452 KiB
[startup+0.700155 s]
/proc/loadavg: 1.64 0.46 0.22 5/269 137893
/proc/meminfo: memFree=101514660/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137893] ppid=137891 vsize=37636 memory=26636 CPUtime=0.68 cores=0,2
/proc/137893/stat : 137893 (pbsuma) R 137891 137891 137709 0 -1 4194304 7988 0 0 0 66 2 0 0 20 0 1 0 183929252 38539264 6659 18446744073709551615 4210688 4653049 140720981979568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26238976 140720981981447 140720981981744 140720981981744 140720981987311 0
/proc/137893/statm: 9409 6659 1024 108 0 6817 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 29580 KiB
[startup+1.50014 s]
/proc/loadavg: 1.64 0.46 0.22 5/269 137893
/proc/meminfo: memFree=101498784/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137893] ppid=137891 vsize=50352 memory=40972 CPUtime=1.47 cores=0,2
/proc/137893/stat : 137893 (pbsuma) R 137891 137891 137709 0 -1 4194304 11563 0 0 0 144 3 0 0 20 0 1 0 183929252 51560448 10243 18446744073709551615 4210688 4653049 140720981979568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 26238976 140720981981447 140720981981744 140720981981744 140720981987311 0
/proc/137893/statm: 12588 10243 1024 108 0 9996 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 43916 KiB
[startup+3.10532 s]
/proc/loadavg: 1.64 0.46 0.22 5/269 137894
/proc/meminfo: memFree=101328828/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=170252 memory=122260 CPUtime=1.38 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 21112 0 0 0 126 12 0 0 20 0 1 0 183929422 174338048 30565 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 42563 30565 2400 1147 0 29989 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 174444 KiB
Current children cumulated memory: 125204 KiB
[startup+6.30015 s]
/proc/loadavg: 1.99 0.56 0.25 5/269 137894
/proc/meminfo: memFree=101213016/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=238896 memory=180608 CPUtime=4.56 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 33644 0 0 0 438 18 0 0 20 0 1 0 183929422 244629504 45152 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 59724 45152 2432 1147 0 47150 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 243088 KiB
Current children cumulated memory: 183552 KiB
[startup+12.7002 s]
/proc/loadavg: 2.15 0.61 0.27 5/269 137894
/proc/meminfo: memFree=101156228/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=261812 memory=203264 CPUtime=10.95 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 39299 0 0 0 1065 30 0 0 20 0 1 0 183929422 268095488 50816 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 65453 50816 2432 1147 0 52879 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 266004 KiB
Current children cumulated memory: 206208 KiB
[startup+25.5002 s]
/proc/loadavg: 2.44 0.73 0.31 5/269 137894
/proc/meminfo: memFree=100971016/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=305104 memory=251896 CPUtime=23.7 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 49468 0 0 0 2317 53 0 0 20 0 1 0 183929422 312426496 62974 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 76276 62974 2432 1147 0 63702 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 309296 KiB
Current children cumulated memory: 254840 KiB
[startup+51.1054 s]
/proc/loadavg: 3.22 1.07 0.44 5/269 137895
/proc/meminfo: memFree=99007400/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=386580 memory=318740 CPUtime=49.24 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 64200 0 0 0 4820 104 0 0 20 0 1 0 183929422 395857920 79685 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 96645 79685 2432 1147 0 84071 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 390772 KiB
Current children cumulated memory: 321684 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 1.56 0.64 5/269 137897
/proc/meminfo: memFree=96068292/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=564780 memory=472668 CPUtime=100.28 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 96527 0 0 0 9845 183 0 0 20 0 1 0 183929422 578334720 118167 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 141195 118167 2528 1147 0 128621 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 568972 KiB
Current children cumulated memory: 475612 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 2.10 0.88 5/272 137902
/proc/meminfo: memFree=92545992/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=606408 memory=513372 CPUtime=160.08 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 106809 0 0 0 15737 271 0 0 20 0 1 0 183929422 620961792 128343 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 151602 128343 2528 1147 0 139028 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 610600 KiB
Current children cumulated memory: 516316 KiB
[startup+222.3 s]
/proc/loadavg: 4.42 2.54 1.11 5/272 137905
/proc/meminfo: memFree=88661792/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=845068 memory=694956 CPUtime=219.87 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 147685 0 0 0 21627 360 0 0 20 0 1 0 183929422 865349632 173739 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 211267 173739 2528 1147 0 198693 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 849260 KiB
################
# More data... #
################
/proc/137894/statm: 656440 593760 2528 1147 0 643866 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 2629952 KiB
Current children cumulated memory: 2377984 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.51 4.40 5/271 138076
/proc/meminfo: memFree=660512/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2778972 memory=2488960 CPUtime=3090.25 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 497794 0 0 0 305372 3653 0 0 20 0 1 0 183929422 2845667328 622240 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 694743 622240 2528 1147 0 682169 0
Current children cumulated CPU time: 3091.93 s
Current children cumulated vsize: 2783164 KiB
Current children cumulated memory: 2491904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.43 4.51 4.40 5/271 138078
/proc/meminfo: memFree=668280/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2975712 memory=2675520 CPUtime=3150.06 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 533973 0 0 0 311314 3692 0 0 20 0 1 0 183929422 3047129088 668880 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 743928 668880 2528 1147 0 731354 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 2979904 KiB
Current children cumulated memory: 2678464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.54 4.52 4.41 5/269 138080
/proc/meminfo: memFree=524892/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2975712 memory=2675520 CPUtime=3209.88 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 533974 0 0 0 317237 3751 0 0 20 0 1 0 183929422 3047129088 668880 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 743928 668880 2528 1147 0 731354 0
Current children cumulated CPU time: 3211.56 s
Current children cumulated vsize: 2979904 KiB
Current children cumulated memory: 2678464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.64 4.56 4.44 5/271 138084
/proc/meminfo: memFree=650536/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2975712 memory=2675776 CPUtime=3269.7 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 534038 0 0 0 323158 3812 0 0 20 0 1 0 183929422 3047129088 668944 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 743928 668944 2528 1147 0 731354 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 2979904 KiB
Current children cumulated memory: 2678720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.84 4.62 4.46 5/270 138085
/proc/meminfo: memFree=724744/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2976044 memory=2677184 CPUtime=3329.52 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 535233 0 0 0 329104 3848 0 0 20 0 1 0 183929422 3047469056 669296 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 744011 669296 2528 1147 0 731437 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 2980236 KiB
Current children cumulated memory: 2680128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.81 4.64 4.48 5/272 138089
/proc/meminfo: memFree=726880/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2977844 memory=2679360 CPUtime=3389.34 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 535781 0 0 0 335021 3913 0 0 20 0 1 0 183929422 3049312256 669840 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 744461 669840 2528 1147 0 731887 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 2982036 KiB
Current children cumulated memory: 2682304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.58 4.60 4.47 5/272 138091
/proc/meminfo: memFree=563992/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2993496 memory=2693568 CPUtime=3449.15 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 539363 0 0 0 340951 3964 0 0 20 0 1 0 183929422 3065339904 673392 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 748374 673392 2528 1147 0 735800 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 2997688 KiB
Current children cumulated memory: 2696512 KiB
[startup+3522.3 s]
/proc/loadavg: 5.04 4.70 4.51 5/272 138093
/proc/meminfo: memFree=667968/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=2995064 memory=2694464 CPUtime=3508.96 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 540363 0 0 0 346888 4008 0 0 20 0 1 0 183929422 3066945536 673616 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 748766 673616 2528 1147 0 736192 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 2999256 KiB
Current children cumulated memory: 2697408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.74 4.69 4.52 2/257 138113
/proc/meminfo: memFree=15930564/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=3250188 memory=2770232 CPUtime=3568.78 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 547669 0 0 0 352841 4037 0 0 20 0 1 0 183929422 3328192512 692558 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 812547 692558 2528 1147 0 799973 0
Current children cumulated CPU time: 3570.46 s
Current children cumulated vsize: 3254380 KiB
Current children cumulated memory: 2773176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.50 4.64 4.51 5/273 138239
/proc/meminfo: memFree=117155216/131250000 swapFree=33010416/33010684
[pid=137891] ppid=137888 vsize=4192 memory=2944 CPUtime=1.68 cores=0,2
/proc/137891/stat : 137891 (run-opt-ls-log.) S 137888 137891 137709 0 -1 4194304 240 12664 0 0 0 0 161 7 20 0 1 0 183929252 4292608 736 18446744073709551615 94888651436032 94888652330565 140726178579856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94888652569616 94888652617360 94888685662208 140726178584895 140726178585055 140726178585055 140726178590659 0
/proc/137891/statm: 1048 736 672 219 0 110 0
[pid=137894] ppid=137891 vsize=3256272 memory=2786184 CPUtime=3598.39 cores=0,2
/proc/137894/stat : 137894 (roundingsat) R 137891 137891 137709 0 -1 4194304 549103 0 0 0 355784 4055 0 0 20 0 1 0 183929422 3334422528 696546 18446744073709551615 4227072 8923577 140731266521136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 15441920 140731266525466 140731266525734 140731266525734 140731266531306 0
/proc/137894/statm: 814068 696546 2528 1147 0 801494 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3260464 KiB
Current children cumulated memory: 2789128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 137891 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.62026 s, system=0.073592 s
[startup+3612.09 s]
# the end of solver process 137894 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.48 s, system=40.6638 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
Child status: 2
Real time (s): 3612.09
CPU time (s): 3600.15
CPU user time (s): 3559.48
CPU system time (s): 40.6638
CPU usage (%): 99.6692
Max. virtual memory (cumulated for all children) (KiB): 3260464
Max. memory (cumulated for all children) (KiB): 2789128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.48
system time used= 40.6638
maximum resident set size= 2786440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562025
page faults= 2
swaps= 0
block input operations= 3512
block output operations= 40132552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 402
involuntary context switches= 5354
# summary of solver processes directly reported to runsolver:
# pid: 137891,137894
# total CPU time (s): 3600.15
# total CPU user time (s): 3559.48
# total CPU system time (s): 40.6638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86016 second user time and 16.8201 second system time
The end
Begin job on nodeC028 at 2025-07-16 18:24:27
IDJOB=4531955
IDBENCH=148768
IDSOLVER=3392
FILE ID=nodeC028/4531955-1752683067
RUNJOBID= nodeC028-1752683038-137726
SLURM_JOB_ID= 9686923
Free space on /tmp= 431400 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4531955-1752683067/watcher-4531955-1752683067 -o /tmp/evaluation-result-4531955-1752683067/solver-4531955-1752683067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752683038-137726 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531955-1752683067.opb /tmp/proof-4531955-1752683067
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=672874881
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3529.230
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.105
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.464
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.678
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3584.084
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 101528204 kB
MemAvailable: 128526696 kB
Buffers: 2500 kB
Cached: 27774068 kB
SwapCached: 8 kB
Active: 1985632 kB
Inactive: 27042200 kB
Active(anon): 1269248 kB
Inactive(anon): 8268 kB
Active(file): 716384 kB
Inactive(file): 27033932 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70604 kB
Writeback: 92 kB
AnonPages: 1254320 kB
Mapped: 121820 kB
Shmem: 26252 kB
KReclaimable: 174832 kB
Slab: 271388 kB
SReclaimable: 174832 kB
SUnreclaim: 96556 kB
KernelStack: 4400 kB
PageTables: 5740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1881028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 645120 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 404924 MiB
End job on nodeC028 at 2025-07-16 19:24:40