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-4498986-1751402567.opb'
0.00/0.02 c read 0.79MB (10.63ms)
0.00/0.02 c [cnf: #variables 8424 #clauses 9090 #duplicates 0 #arr 81135]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 44] (10.64ms)
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.08/0.11 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.11 c recursing 378 blocks of candidate 9x1872r
0.08/0.11 c found row 3x18, generating row predicate
0.08/0.13 c found row 9x1872, generating row predicate
0.08/0.13 c (102.87ms)
0.08/0.13 c
0.08/0.13 c detect symmetries on remainder
0.08/0.13 c [graph: #vertices 50589 #edges 228420]
0.08/0.13 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.22 c [group: #symmetries 9.77*10^218 #generators 302] (86.78ms)
0.19/0.22 c
0.19/0.22 c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.29 c opt it=15, l=9182, m=517, opt=58, avg=1284, b=28, gens=302
0.29/0.35 c opt it=31, l=14593, m=968, opt=95, avg=1273, b=28, gens=302
0.39/0.41 c opt it=47, l=20002, m=1414, opt=134, avg=1265, b=28, gens=302
0.39/0.47 c opt it=63, l=25402, m=1835, opt=158, avg=1258, b=28, gens=302
0.39/0.48 c ran it=0, +gens=84
0.68/0.70 c con best_support=28, best_gens=134, +gens=246
0.68/0.70 c (478.29ms)
0.68/0.70 c
0.68/0.70 c finalize break order and special generators
0.68/0.70 c
0.68/0.70 c add generic predicates (break_depth=20)
0.68/0.74 c added predicates for 632 generators (32.19ms)
0.68/0.74 c
0.68/0.74 c generation finished
0.68/0.74 c [sbp: #constraints 74694 #add_vars 24684]
0.68/0.74 c
0.68/0.74 c write result to 'HOME/instance-4498986-1751402567.opb.pre'
0.68/0.74 c wrote 3.62MB (7.88ms)
0.68/0.74 c ------------------------------------------------------------------
0.68/0.74 c 478.29ms 64.94% optimize_gens
0.68/0.74 c 102.87ms 13.97% detect_special
0.68/0.74 c 86.78ms 11.78% detect_generic
0.68/0.74 c 32.19ms 4.37% break_generic
0.68/0.74 c 10.64ms 1.45% approx_orbits
0.68/0.74 c 10.63ms 1.44% parse
0.68/0.74 c 7.88ms 1.07% output
0.68/0.74 c 5.37ms 0.73% finalize_order
0.68/0.74 c 1.85ms 0.25% other
0.68/0.74 c ───────────────────────────────────────────────
0.68/0.74 c 736.51ms 100% total
0.68/0.74 c ------------------------------------------------------------------
0.68/0.76 c RoundingSat 2
0.68/0.76 c branch pb25
0.68/0.76 c commit 63f22ad
1.07/1.14 c #variables 33108 #constraints 83848
1.07/1.14 c objective is ce32
1.07/1.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.07/1.14 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
1.07/1.14 c bounds - >= 0 @ 0.287615
2.65/2.70 c #Conflicts: 1000 | #Constraints: 84847
2.65/2.70 c #Conflicts: 2000 | #Constraints: 85847
2.65/2.70 c INPROCESSING
2.65/2.70 c GARBAGE COLLECT
2.65/2.70 c rational objective 9
3.95/4.03 c #Conflicts: 3000 | #Constraints: 77376
3.95/4.03 c #Conflicts: 4000 | #Constraints: 78376
3.95/4.03 c INPROCESSING
3.95/4.03 c GARBAGE COLLECT
3.95/4.03 c rational objective 9
12.53/12.64 c #Conflicts: 5000 | #Constraints: 77771
12.53/12.64 c #Conflicts: 6000 | #Constraints: 78771
12.53/12.64 c INPROCESSING
12.53/12.64 c GARBAGE COLLECT
12.53/12.64 c rational objective 9
21.41/21.58 c #Conflicts: 7000 | #Constraints: 77797
21.41/21.58 c #Conflicts: 8000 | #Constraints: 78797
21.41/21.58 c #Conflicts: 9000 | #Constraints: 79797
21.41/21.58 c INPROCESSING
21.41/21.58 c GARBAGE COLLECT
21.41/21.58 c #Conflicts: 10000 | #Constraints: 78421
21.41/21.58 c #Conflicts: 11000 | #Constraints: 79421
21.41/21.58 c #Conflicts: 12000 | #Constraints: 80421
21.41/21.58 c INPROCESSING
21.41/21.58 c GARBAGE COLLECT
21.41/21.58 c rational objective 9
25.00/25.12 c #Conflicts: 13000 | #Constraints: 78719
25.00/25.12 c #Conflicts: 14000 | #Constraints: 79719
25.00/25.12 c #Conflicts: 15000 | #Constraints: 80719
25.00/25.12 c INPROCESSING
25.00/25.12 c GARBAGE COLLECT
25.00/25.12 c rational objective 9
36.67/36.80 c #Conflicts: 16000 | #Constraints: 78801
36.67/36.80 c #Conflicts: 17000 | #Constraints: 79801
36.67/36.80 c #Conflicts: 18000 | #Constraints: 80801
36.67/36.80 c INPROCESSING
36.67/36.80 c GARBAGE COLLECT
36.67/36.80 c rational objective 9
44.44/44.65 c #Conflicts: 19000 | #Constraints: 78787
44.44/44.65 c #Conflicts: 20000 | #Constraints: 79787
44.44/44.65 c #Conflicts: 21000 | #Constraints: 80787
44.44/44.65 c INPROCESSING
44.44/44.65 c GARBAGE COLLECT
44.44/44.65 c #Conflicts: 22000 | #Constraints: 78202
44.44/44.65 c #Conflicts: 23000 | #Constraints: 79202
44.44/44.65 c #Conflicts: 24000 | #Constraints: 80202
44.44/44.65 c #Conflicts: 25000 | #Constraints: 81202
44.44/44.65 c INPROCESSING
44.44/44.65 c GARBAGE COLLECT
44.44/44.65 c #Conflicts: 26000 | #Constraints: 78589
44.44/44.65 c #Conflicts: 27000 | #Constraints: 79589
44.44/44.65 c #Conflicts: 28000 | #Constraints: 80589
44.44/44.65 c #Conflicts: 29000 | #Constraints: 81589
44.44/44.65 c INPROCESSING
44.44/44.65 c GARBAGE COLLECT
44.44/44.65 c rational objective 9
47.63/47.86 c #Conflicts: 30000 | #Constraints: 78959
47.63/47.86 c #Conflicts: 31000 | #Constraints: 79959
47.63/47.86 c #Conflicts: 32000 | #Constraints: 80960
47.63/47.86 c #Conflicts: 33000 | #Constraints: 81960
47.63/47.86 c INPROCESSING
47.63/47.86 c GARBAGE COLLECT
47.63/47.86 c rational objective 9
58.81/59.09 c #Conflicts: 34000 | #Constraints: 79012
58.81/59.09 c #Conflicts: 35000 | #Constraints: 80012
58.81/59.09 c #Conflicts: 36000 | #Constraints: 81012
58.81/59.09 c #Conflicts: 37000 | #Constraints: 82012
58.81/59.09 c INPROCESSING
58.81/59.09 c GARBAGE COLLECT
58.81/59.09 c rational objective 9
64.79/65.04 c #Conflicts: 38000 | #Constraints: 79043
64.79/65.04 c #Conflicts: 39000 | #Constraints: 80043
64.79/65.04 c #Conflicts: 40000 | #Constraints: 81044
64.79/65.04 c #Conflicts: 41000 | #Constraints: 82044
64.79/65.04 c INPROCESSING
64.79/65.04 c GARBAGE COLLECT
64.79/65.04 c rational objective 9
78.85/79.13 c #Conflicts: 42000 | #Constraints: 78839
78.85/79.13 c #Conflicts: 43000 | #Constraints: 79839
78.85/79.13 c #Conflicts: 44000 | #Constraints: 80839
78.85/79.13 c #Conflicts: 45000 | #Constraints: 81839
78.85/79.13 c #Conflicts: 46000 | #Constraints: 82839
78.85/79.13 c INPROCESSING
78.85/79.13 c GARBAGE COLLECT
78.85/79.13 c rational objective 9
86.92/87.22 c #Conflicts: 47000 | #Constraints: 79395
86.92/87.22 c #Conflicts: 48000 | #Constraints: 80396
86.92/87.22 c #Conflicts: 49000 | #Constraints: 81396
86.92/87.22 c #Conflicts: 50000 | #Constraints: 82396
86.92/87.22 c #Conflicts: 51000 | #Constraints: 83396
86.92/87.22 c INPROCESSING
86.92/87.22 c GARBAGE COLLECT
86.92/87.22 c #Conflicts: 52000 | #Constraints: 79758
86.92/87.22 c #Conflicts: 53000 | #Constraints: 80758
86.92/87.22 c #Conflicts: 54000 | #Constraints: 81758
86.92/87.22 c #Conflicts: 55000 | #Constraints: 82758
86.92/87.22 c #Conflicts: 56000 | #Constraints: 83759
86.92/87.22 c INPROCESSING
86.92/87.22 c GARBAGE COLLECT
86.92/87.22 c rational objective 9
91.11/91.49 c #Conflicts: 57000 | #Constraints: 79867
91.11/91.49 c #Conflicts: 58000 | #Constraints: 80867
91.11/91.49 c #Conflicts: 59000 | #Constraints: 81867
91.11/91.49 c #Conflicts: 60000 | #Constraints: 82867
91.11/91.49 c #Conflicts: 61000 | #Constraints: 83867
91.11/91.49 c INPROCESSING
91.11/91.49 c GARBAGE COLLECT
91.11/91.49 c rational objective 9
113.14/113.53 c #Conflicts: 62000 | #Constraints: 79796
113.14/113.53 c #Conflicts: 63000 | #Constraints: 80796
113.14/113.53 c #Conflicts: 64000 | #Constraints: 81796
113.14/113.53 c #Conflicts: 65000 | #Constraints: 82796
113.14/113.53 c #Conflicts: 66000 | #Constraints: 83796
113.14/113.53 c INPROCESSING
113.14/113.53 c GARBAGE COLLECT
113.14/113.53 c rational objective 9
126.10/126.54 c #Conflicts: 67000 | #Constraints: 79184
126.10/126.54 c #Conflicts: 68000 | #Constraints: 80184
126.10/126.54 c #Conflicts: 69000 | #Constraints: 81184
126.10/126.54 c #Conflicts: 70000 | #Constraints: 82184
126.10/126.54 c #Conflicts: 71000 | #Constraints: 83184
126.10/126.54 c #Conflicts: 72000 | #Constraints: 84184
126.10/126.54 c INPROCESSING
126.10/126.54 c GARBAGE COLLECT
126.10/126.54 c rational objective 9
132.70/133.18 c #Conflicts: 73000 | #Constraints: 79765
132.70/133.18 c #Conflicts: 74000 | #Constraints: 80765
132.70/133.18 c #Conflicts: 75000 | #Constraints: 81765
132.70/133.18 c #Conflicts: 76000 | #Constraints: 82765
132.70/133.18 c #Conflicts: 77000 | #Constraints: 83765
132.70/133.18 c #Conflicts: 78000 | #Constraints: 84765
132.70/133.18 c INPROCESSING
132.70/133.18 c GARBAGE COLLECT
132.70/133.18 c rational objective 9
148.44/148.90 c #Conflicts: 79000 | #Constraints: 80094
148.44/148.90 c #Conflicts: 80000 | #Constraints: 81096
148.44/148.90 c #Conflicts: 81000 | #Constraints: 82096
148.44/148.90 c #Conflicts: 82000 | #Constraints: 83097
148.44/148.90 c #Conflicts: 83000 | #Constraints: 84098
148.44/148.90 c #Conflicts: 84000 | #Constraints: 85100
148.44/148.90 c INPROCESSING
148.44/148.90 c GARBAGE COLLECT
148.44/148.90 c #Conflicts: 85000 | #Constraints: 80294
148.44/148.90 c #Conflicts: 86000 | #Constraints: 81296
148.44/148.90 c #Conflicts: 87000 | #Constraints: 82296
148.44/148.90 c #Conflicts: 88000 | #Constraints: 83296
148.44/148.90 c #Conflicts: 89000 | #Constraints: 84297
148.44/148.90 c #Conflicts: 90000 | #Constraints: 85297
148.44/148.90 c INPROCESSING
148.44/148.90 c GARBAGE COLLECT
148.44/148.90 c rational objective 9
156.72/157.22 c #Conflicts: 91000 | #Constraints: 80212
156.72/157.22 c #Conflicts: 92000 | #Constraints: 81212
156.72/157.22 c #Conflicts: 93000 | #Constraints: 82213
156.72/157.22 c #Conflicts: 94000 | #Constraints: 83213
156.72/157.22 c #Conflicts: 95000 | #Constraints: 84213
156.72/157.22 c #Conflicts: 96000 | #Constraints: 85213
156.72/157.22 c INPROCESSING
156.72/157.22 c GARBAGE COLLECT
156.72/157.22 c rational objective 9
163.50/164.08 c #Conflicts: 97000 | #Constraints: 80016
163.50/164.08 c #Conflicts: 98000 | #Constraints: 81016
163.50/164.08 c #Conflicts: 99000 | #Constraints: 82017
163.50/164.08 c #Conflicts: 100000 | #Constraints: 83017
163.50/164.08 c #Conflicts: 101000 | #Constraints: 84017
163.50/164.08 c #Conflicts: 102000 | #Constraints: 85017
163.50/164.08 c #Conflicts: 103000 | #Constraints: 86017
163.50/164.08 c INPROCESSING
163.50/164.08 c GARBAGE COLLECT
163.50/164.08 c rational objective 9
172.58/173.14 c #Conflicts: 104000 | #Constraints: 80561
172.58/173.14 c #Conflicts: 105000 | #Constraints: 81561
172.58/173.14 c #Conflicts: 106000 | #Constraints: 82562
172.58/173.14 c #Conflicts: 107000 | #Constraints: 83562
172.58/173.14 c #Conflicts: 108000 | #Constraints: 84562
172.58/173.14 c #Conflicts: 109000 | #Constraints: 85562
172.58/173.14 c #Conflicts: 110000 | #Constraints: 86562
172.58/173.14 c INPROCESSING
172.58/173.14 c GARBAGE COLLECT
172.58/173.14 c rational objective 9
178.26/178.82 c #Conflicts: 111000 | #Constraints: 80884
178.26/178.82 c #Conflicts: 112000 | #Constraints: 81885
178.26/178.82 c #Conflicts: 113000 | #Constraints: 82885
178.26/178.82 c #Conflicts: 114000 | #Constraints: 83885
178.26/178.82 c #Conflicts: 115000 | #Constraints: 84885
178.26/178.82 c #Conflicts: 116000 | #Constraints: 85885
178.26/178.82 c #Conflicts: 117000 | #Constraints: 86885
178.26/178.82 c INPROCESSING
178.26/178.82 c GARBAGE COLLECT
178.26/178.82 c rational objective 9
185.73/186.31 c #Conflicts: 118000 | #Constraints: 81016
185.73/186.31 c #Conflicts: 119000 | #Constraints: 82016
185.73/186.31 c #Conflicts: 120000 | #Constraints: 83016
185.73/186.31 c #Conflicts: 121000 | #Constraints: 84016
185.73/186.31 c #Conflicts: 122000 | #Constraints: 85016
185.73/186.31 c #Conflicts: 123000 | #Constraints: 86016
185.73/186.31 c #Conflicts: 124000 | #Constraints: 87016
185.73/186.31 c INPROCESSING
185.73/186.31 c GARBAGE COLLECT
185.73/186.31 c rational objective 9
193.21/193.88 c #Conflicts: 125000 | #Constraints: 80884
193.21/193.88 c #Conflicts: 126000 | #Constraints: 81884
193.21/193.88 c #Conflicts: 127000 | #Constraints: 82884
193.21/193.88 c #Conflicts: 128000 | #Constraints: 83884
193.21/193.88 c #Conflicts: 129000 | #Constraints: 84885
193.21/193.88 c #Conflicts: 130000 | #Constraints: 85885
193.21/193.88 c #Conflicts: 131000 | #Constraints: 86885
193.21/193.88 c INPROCESSING
193.21/193.88 c GARBAGE COLLECT
193.21/193.88 c rational objective 9
201.28/201.91 c #Conflicts: 132000 | #Constraints: 80596
201.28/201.91 c #Conflicts: 133000 | #Constraints: 81598
201.28/201.91 c #Conflicts: 134000 | #Constraints: 82598
201.28/201.91 c #Conflicts: 135000 | #Constraints: 83598
201.28/201.91 c #Conflicts: 136000 | #Constraints: 84598
201.28/201.91 c #Conflicts: 137000 | #Constraints: 85598
201.28/201.91 c #Conflicts: 138000 | #Constraints: 86601
201.28/201.91 c #Conflicts: 139000 | #Constraints: 87602
201.28/201.91 c INPROCESSING
201.28/201.91 c GARBAGE COLLECT
201.28/201.91 c rational objective 9
212.45/213.14 c #Conflicts: 140000 | #Constraints: 81206
212.45/213.14 c #Conflicts: 141000 | #Constraints: 82206
212.45/213.14 c #Conflicts: 142000 | #Constraints: 83206
212.45/213.14 c #Conflicts: 143000 | #Constraints: 84206
212.45/213.14 c #Conflicts: 144000 | #Constraints: 85208
212.45/213.14 c #Conflicts: 145000 | #Constraints: 86210
212.45/213.14 c #Conflicts: 146000 | #Constraints: 87212
212.45/213.14 c #Conflicts: 147000 | #Constraints: 88213
212.45/213.14 c INPROCESSING
212.45/213.14 c GARBAGE COLLECT
212.45/213.14 c rational objective 9
223.42/224.13 c #Conflicts: 148000 | #Constraints: 81600
223.42/224.13 c #Conflicts: 149000 | #Constraints: 82600
223.42/224.13 c #Conflicts: 150000 | #Constraints: 83600
223.42/224.13 c #Conflicts: 151000 | #Constraints: 84600
223.42/224.13 c #Conflicts: 152000 | #Constraints: 85600
223.42/224.13 c #Conflicts: 153000 | #Constraints: 86600
223.42/224.13 c #Conflicts: 154000 | #Constraints: 87601
223.42/224.13 c #Conflicts: 155000 | #Constraints: 88601
223.42/224.13 c INPROCESSING
223.42/224.13 c GARBAGE COLLECT
223.42/224.13 c rational objective 9
231.59/232.35 c #Conflicts: 156000 | #Constraints: 81759
231.59/232.35 c #Conflicts: 157000 | #Constraints: 82760
231.59/232.35 c #Conflicts: 158000 | #Constraints: 83760
231.59/232.35 c #Conflicts: 159000 | #Constraints: 84760
231.59/232.35 c #Conflicts: 160000 | #Constraints: 85760
231.59/232.35 c #Conflicts: 161000 | #Constraints: 86760
231.59/232.35 c #Conflicts: 162000 | #Constraints: 87760
231.59/232.35 c #Conflicts: 163000 | #Constraints: 88760
231.59/232.35 c INPROCESSING
231.59/232.35 c GARBAGE COLLECT
231.59/232.35 c rational objective 9
241.27/242.02 c #Conflicts: 164000 | #Constraints: 81747
241.27/242.02 c #Conflicts: 165000 | #Constraints: 82747
241.27/242.02 c #Conflicts: 166000 | #Constraints: 83748
241.27/242.02 c #Conflicts: 167000 | #Constraints: 84748
241.27/242.02 c #Conflicts: 168000 | #Constraints: 85748
241.27/242.02 c #Conflicts: 169000 | #Constraints: 86748
241.27/242.02 c #Conflicts: 170000 | #Constraints: 87749
241.27/242.02 c #Conflicts: 171000 | #Constraints: 88750
241.27/242.02 c INPROCESSING
241.27/242.02 c GARBAGE COLLECT
241.27/242.02 c rational objective 9
255.92/256.77 c #Conflicts: 172000 | #Constraints: 81370
255.92/256.77 c #Conflicts: 173000 | #Constraints: 82371
255.92/256.77 c #Conflicts: 174000 | #Constraints: 83371
255.92/256.77 c #Conflicts: 175000 | #Constraints: 84372
255.92/256.77 c #Conflicts: 176000 | #Constraints: 85373
255.92/256.77 c #Conflicts: 177000 | #Constraints: 86373
255.92/256.77 c #Conflicts: 178000 | #Constraints: 87374
255.92/256.77 c #Conflicts: 179000 | #Constraints: 88375
255.92/256.77 c #Conflicts: 180000 | #Constraints: 89375
255.92/256.77 c INPROCESSING
255.92/256.77 c GARBAGE COLLECT
255.92/256.77 c rational objective 9
264.79/265.66 c #Conflicts: 181000 | #Constraints: 81932
264.79/265.66 c #Conflicts: 182000 | #Constraints: 82933
264.79/265.66 c #Conflicts: 183000 | #Constraints: 83933
264.79/265.66 c #Conflicts: 184000 | #Constraints: 84934
264.79/265.66 c #Conflicts: 185000 | #Constraints: 85936
264.79/265.66 c #Conflicts: 186000 | #Constraints: 86938
264.79/265.66 c #Conflicts: 187000 | #Constraints: 87942
264.79/265.66 c #Conflicts: 188000 | #Constraints: 88946
264.79/265.66 c #Conflicts: 189000 | #Constraints: 89947
264.79/265.66 c INPROCESSING
264.79/265.66 c GARBAGE COLLECT
264.79/265.66 c rational objective 9
274.17/275.02 c #Conflicts: 190000 | #Constraints: 82346
274.17/275.02 c #Conflicts: 191000 | #Constraints: 83346
274.17/275.02 c #Conflicts: 192000 | #Constraints: 84346
274.17/275.02 c #Conflicts: 193000 | #Constraints: 85346
274.17/275.02 c #Conflicts: 194000 | #Constraints: 86346
274.17/275.02 c #Conflicts: 195000 | #Constraints: 87346
274.17/275.02 c #Conflicts: 196000 | #Constraints: 88348
274.17/275.02 c #Conflicts: 197000 | #Constraints: 89350
274.17/275.02 c #Conflicts: 198000 | #Constraints: 90350
274.17/275.02 c INPROCESSING
274.17/275.02 c GARBAGE COLLECT
274.17/275.02 c rational objective 9
288.23/289.15 c #Conflicts: 199000 | #Constraints: 82553
288.23/289.15 c #Conflicts: 200000 | #Constraints: 83553
288.23/289.15 c #Conflicts: 201000 | #Constraints: 84553
288.23/289.15 c #Conflicts: 202000 | #Constraints: 85553
288.23/289.15 c #Conflicts: 203000 | #Constraints: 86553
288.23/289.15 c #Conflicts: 204000 | #Constraints: 87553
288.23/289.15 c #Conflicts: 205000 | #Constraints: 88553
288.23/289.15 c #Conflicts: 206000 | #Constraints: 89553
288.23/289.15 c #Conflicts: 207000 | #Constraints: 90553
288.23/289.15 c INPROCESSING
288.23/289.15 c GARBAGE COLLECT
288.23/289.15 c rational objective 9
307.56/308.59 c #Conflicts: 208000 | #Constraints: 82551
307.56/308.59 c #Conflicts: 209000 | #Constraints: 83552
307.56/308.59 c #Conflicts: 210000 | #Constraints: 84552
307.56/308.59 c #Conflicts: 211000 | #Constraints: 85552
307.56/308.59 c #Conflicts: 212000 | #Constraints: 86552
307.56/308.59 c #Conflicts: 213000 | #Constraints: 87552
307.56/308.59 c #Conflicts: 214000 | #Constraints: 88552
307.56/308.59 c #Conflicts: 215000 | #Constraints: 89552
307.56/308.59 c #Conflicts: 216000 | #Constraints: 90552
307.56/308.59 c INPROCESSING
307.56/308.59 c GARBAGE COLLECT
307.56/308.59 c rational objective 9
323.82/324.81 c #Conflicts: 217000 | #Constraints: 82398
323.82/324.81 c #Conflicts: 218000 | #Constraints: 83398
323.82/324.81 c #Conflicts: 219000 | #Constraints: 84398
323.82/324.81 c #Conflicts: 220000 | #Constraints: 85398
323.82/324.81 c #Conflicts: 221000 | #Constraints: 86398
323.82/324.81 c #Conflicts: 222000 | #Constraints: 87398
323.82/324.81 c #Conflicts: 223000 | #Constraints: 88398
323.82/324.81 c #Conflicts: 224000 | #Constraints: 89398
323.82/324.81 c #Conflicts: 225000 | #Constraints: 90398
323.82/324.81 c #Conflicts: 226000 | #Constraints: 91398
323.82/324.81 c INPROCESSING
323.82/324.81 c GARBAGE COLLECT
323.82/324.81 c rational objective 9
348.15/349.25 c #Conflicts: 227000 | #Constraints: 82998
348.15/349.25 c #Conflicts: 228000 | #Constraints: 83998
348.15/349.25 c #Conflicts: 229000 | #Constraints: 84999
348.15/349.25 c #Conflicts: 230000 | #Constraints: 85999
348.15/349.25 c #Conflicts: 231000 | #Constraints: 86999
348.15/349.25 c #Conflicts: 232000 | #Constraints: 88000
348.15/349.25 c #Conflicts: 233000 | #Constraints: 89001
348.15/349.25 c #Conflicts: 234000 | #Constraints: 90002
348.15/349.25 c #Conflicts: 235000 | #Constraints: 91002
348.15/349.25 c #Conflicts: 236000 | #Constraints: 92003
348.15/349.25 c INPROCESSING
348.15/349.25 c GARBAGE COLLECT
348.15/349.25 c rational objective 9
361.21/362.34 c #Conflicts: 237000 | #Constraints: 83329
361.21/362.34 c #Conflicts: 238000 | #Constraints: 84329
361.21/362.34 c #Conflicts: 239000 | #Constraints: 85329
361.21/362.34 c #Conflicts: 240000 | #Constraints: 86329
361.21/362.34 c #Conflicts: 241000 | #Constraints: 87330
361.21/362.34 c #Conflicts: 242000 | #Constraints: 88330
361.21/362.34 c #Conflicts: 243000 | #Constraints: 89331
361.21/362.34 c #Conflicts: 244000 | #Constraints: 90331
361.21/362.34 c #Conflicts: 245000 | #Constraints: 91332
361.21/362.34 c #Conflicts: 246000 | #Constraints: 92333
361.21/362.34 c INPROCESSING
361.21/362.34 c GARBAGE COLLECT
361.21/362.34 c rational objective 9
382.14/383.39 c #Conflicts: 247000 | #Constraints: 83426
382.14/383.39 c #Conflicts: 248000 | #Constraints: 84426
382.14/383.39 c #Conflicts: 249000 | #Constraints: 85426
382.14/383.39 c #Conflicts: 250000 | #Constraints: 86426
382.14/383.39 c #Conflicts: 251000 | #Constraints: 87427
382.14/383.39 c #Conflicts: 252000 | #Constraints: 88428
382.14/383.39 c #Conflicts: 253000 | #Constraints: 89429
382.14/383.39 c #Conflicts: 254000 | #Constraints: 90430
382.14/383.39 c #Conflicts: 255000 | #Constraints: 91430
382.14/383.39 c #Conflicts: 256000 | #Constraints: 92431
382.14/383.39 c INPROCESSING
382.14/383.39 c GARBAGE COLLECT
382.14/383.39 c rational objective 9
398.80/400.03 c #Conflicts: 257000 | #Constraints: 83390
398.80/400.03 c #Conflicts: 258000 | #Constraints: 84391
398.80/400.03 c #Conflicts: 259000 | #Constraints: 85391
398.80/400.03 c #Conflicts: 260000 | #Constraints: 86391
398.80/400.03 c #Conflicts: 261000 | #Constraints: 87391
398.80/400.03 c #Conflicts: 262000 | #Constraints: 88391
398.80/400.03 c #Conflicts: 263000 | #Constraints: 89392
398.80/400.03 c #Conflicts: 264000 | #Constraints: 90392
398.80/400.03 c #Conflicts: 265000 | #Constraints: 91392
398.80/400.03 c #Conflicts: 266000 | #Constraints: 92393
398.80/400.03 c INPROCESSING
398.80/400.03 c GARBAGE COLLECT
398.80/400.03 c rational objective 9
414.24/415.56 c #Conflicts: 267000 | #Constraints: 83073
414.24/415.56 c #Conflicts: 268000 | #Constraints: 84074
414.24/415.56 c #Conflicts: 269000 | #Constraints: 85074
414.24/415.56 c #Conflicts: 270000 | #Constraints: 86074
414.24/415.56 c #Conflicts: 271000 | #Constraints: 87074
414.24/415.56 c #Conflicts: 272000 | #Constraints: 88074
414.24/415.56 c #Conflicts: 273000 | #Constraints: 89074
414.24/415.56 c #Conflicts: 274000 | #Constraints: 90074
414.24/415.56 c #Conflicts: 275000 | #Constraints: 91074
414.24/415.56 c #Conflicts: 276000 | #Constraints: 92074
414.24/415.56 c #Conflicts: 277000 | #Constraints: 93075
414.24/415.56 c INPROCESSING
414.24/415.56 c GARBAGE COLLECT
414.24/415.56 c rational objective 9
457.82/459.22 c #Conflicts: 278000 | #Constraints: 83325
457.82/459.22 c #Conflicts: 279000 | #Constraints: 84325
457.82/459.22 c #Conflicts: 280000 | #Constraints: 85325
457.82/459.22 c #Conflicts: 281000 | #Constraints: 86325
457.82/459.22 c #Conflicts: 282000 | #Constraints: 87325
457.82/459.22 c #Conflicts: 283000 | #Constraints: 88325
457.82/459.22 c #Conflicts: 284000 | #Constraints: 89325
457.82/459.22 c #Conflicts: 285000 | #Constraints: 90325
457.82/459.22 c #Conflicts: 286000 | #Constraints: 91327
457.82/459.22 c #Conflicts: 287000 | #Constraints: 92327
457.82/459.22 c #Conflicts: 288000 | #Constraints: 93327
457.82/459.22 c INPROCESSING
457.82/459.22 c GARBAGE COLLECT
457.82/459.22 c rational objective 9
468.58/470.07 c #Conflicts: 289000 | #Constraints: 83641
468.58/470.07 c #Conflicts: 290000 | #Constraints: 84641
468.58/470.07 c #Conflicts: 291000 | #Constraints: 85641
468.58/470.07 c #Conflicts: 292000 | #Constraints: 86641
468.58/470.07 c #Conflicts: 293000 | #Constraints: 87642
468.58/470.07 c #Conflicts: 294000 | #Constraints: 88642
468.58/470.07 c #Conflicts: 295000 | #Constraints: 89643
468.58/470.07 c #Conflicts: 296000 | #Constraints: 90645
468.58/470.07 c #Conflicts: 297000 | #Constraints: 91648
468.58/470.07 c #Conflicts: 298000 | #Constraints: 92648
468.58/470.07 c #Conflicts: 299000 | #Constraints: 93649
468.58/470.07 c INPROCESSING
468.58/470.07 c GARBAGE COLLECT
468.58/470.07 c rational objective 9
489.12/490.60 c #Conflicts: 300000 | #Constraints: 83836
489.12/490.60 c #Conflicts: 301000 | #Constraints: 84836
489.12/490.60 c #Conflicts: 302000 | #Constraints: 85836
489.12/490.60 c #Conflicts: 303000 | #Constraints: 86837
489.12/490.60 c #Conflicts: 304000 | #Constraints: 87837
489.12/490.60 c #Conflicts: 305000 | #Constraints: 88838
489.12/490.60 c #Conflicts: 306000 | #Constraints: 89838
489.12/490.60 c #Conflicts: 307000 | #Constraints: 90839
489.12/490.60 c #Conflicts: 308000 | #Constraints: 91840
489.12/490.60 c #Conflicts: 309000 | #Constraints: 92841
489.12/490.60 c #Conflicts: 310000 | #Constraints: 93841
489.12/490.60 c INPROCESSING
489.12/490.60 c GARBAGE COLLECT
489.12/490.60 c rational objective 9
507.65/509.27 c #Conflicts: 311000 | #Constraints: 83803
507.65/509.27 c #Conflicts: 312000 | #Constraints: 84804
507.65/509.27 c #Conflicts: 313000 | #Constraints: 85804
507.65/509.27 c #Conflicts: 314000 | #Constraints: 86804
507.65/509.27 c #Conflicts: 315000 | #Constraints: 87804
507.65/509.27 c #Conflicts: 316000 | #Constraints: 88804
507.65/509.27 c #Conflicts: 317000 | #Constraints: 89805
507.65/509.27 c #Conflicts: 318000 | #Constraints: 90806
507.65/509.27 c #Conflicts: 319000 | #Constraints: 91811
507.65/509.27 c #Conflicts: 320000 | #Constraints: 92813
507.65/509.27 c #Conflicts: 321000 | #Constraints: 93814
507.65/509.27 c INPROCESSING
507.65/509.27 c GARBAGE COLLECT
507.65/509.27 c rational objective 9
534.18/535.83 c #Conflicts: 322000 | #Constraints: 82930
534.18/535.83 c #Conflicts: 323000 | #Constraints: 83931
534.18/535.83 c #Conflicts: 324000 | #Constraints: 84931
534.18/535.83 c #Conflicts: 325000 | #Constraints: 85932
534.18/535.83 c #Conflicts: 326000 | #Constraints: 86933
534.18/535.83 c #Conflicts: 327000 | #Constraints: 87933
534.18/535.83 c #Conflicts: 328000 | #Constraints: 88934
534.18/535.83 c #Conflicts: 329000 | #Constraints: 89935
534.18/535.83 c #Conflicts: 330000 | #Constraints: 90937
534.18/535.83 c #Conflicts: 331000 | #Constraints: 91938
534.18/535.83 c #Conflicts: 332000 | #Constraints: 92941
534.18/535.83 c #Conflicts: 333000 | #Constraints: 93943
534.18/535.83 c INPROCESSING
534.18/535.83 c GARBAGE COLLECT
534.18/535.83 c rational objective 9
556.02/557.74 c #Conflicts: 334000 | #Constraints: 83345
556.02/557.74 c #Conflicts: 335000 | #Constraints: 84345
556.02/557.74 c #Conflicts: 336000 | #Constraints: 85345
556.02/557.74 c #Conflicts: 337000 | #Constraints: 86345
556.02/557.74 c #Conflicts: 338000 | #Constraints: 87345
556.02/557.74 c #Conflicts: 339000 | #Constraints: 88345
556.02/557.74 c #Conflicts: 340000 | #Constraints: 89345
556.02/557.74 c #Conflicts: 341000 | #Constraints: 90345
556.02/557.74 c #Conflicts: 342000 | #Constraints: 91345
556.02/557.74 c #Conflicts: 343000 | #Constraints: 92346
556.02/557.74 c #Conflicts: 344000 | #Constraints: 93347
556.02/557.74 c #Conflicts: 345000 | #Constraints: 94349
556.02/557.74 c INPROCESSING
556.02/557.74 c GARBAGE COLLECT
556.02/557.74 c rational objective 9
574.96/576.75 c #Conflicts: 346000 | #Constraints: 83602
574.96/576.75 c #Conflicts: 347000 | #Constraints: 84602
574.96/576.75 c #Conflicts: 348000 | #Constraints: 85602
574.96/576.75 c #Conflicts: 349000 | #Constraints: 86602
574.96/576.75 c #Conflicts: 350000 | #Constraints: 87602
574.96/576.75 c #Conflicts: 351000 | #Constraints: 88602
574.96/576.75 c #Conflicts: 352000 | #Constraints: 89602
574.96/576.75 c #Conflicts: 353000 | #Constraints: 90602
574.96/576.75 c #Conflicts: 354000 | #Constraints: 91602
574.96/576.75 c #Conflicts: 355000 | #Constraints: 92603
574.96/576.75 c #Conflicts: 356000 | #Constraints: 93604
574.96/576.75 c #Conflicts: 357000 | #Constraints: 94605
574.96/576.75 c INPROCESSING
574.96/576.75 c GARBAGE COLLECT
574.96/576.75 c rational objective 9
592.01/593.89 c #Conflicts: 358000 | #Constraints: 83688
592.01/593.89 c #Conflicts: 359000 | #Constraints: 84688
592.01/593.89 c #Conflicts: 360000 | #Constraints: 85689
592.01/593.89 c #Conflicts: 361000 | #Constraints: 86689
592.01/593.89 c #Conflicts: 362000 | #Constraints: 87689
592.01/593.89 c #Conflicts: 363000 | #Constraints: 88689
592.01/593.89 c #Conflicts: 364000 | #Constraints: 89689
592.01/593.89 c #Conflicts: 365000 | #Constraints: 90689
592.01/593.89 c #Conflicts: 366000 | #Constraints: 91689
592.01/593.89 c #Conflicts: 367000 | #Constraints: 92689
592.01/593.89 c #Conflicts: 368000 | #Constraints: 93690
592.01/593.89 c #Conflicts: 369000 | #Constraints: 94691
592.01/593.89 c INPROCESSING
592.01/593.89 c GARBAGE COLLECT
592.01/593.89 c rational objective 9
626.40/628.36 c #Conflicts: 370000 | #Constraints: 83638
626.40/628.36 c #Conflicts: 371000 | #Constraints: 84638
626.40/628.36 c #Conflicts: 372000 | #Constraints: 85639
626.40/628.36 c #Conflicts: 373000 | #Constraints: 86639
626.40/628.36 c #Conflicts: 374000 | #Constraints: 87639
626.40/628.36 c #Conflicts: 375000 | #Constraints: 88639
626.40/628.36 c #Conflicts: 376000 | #Constraints: 89639
626.40/628.36 c #Conflicts: 377000 | #Constraints: 90640
626.40/628.36 c #Conflicts: 378000 | #Constraints: 91641
626.40/628.36 c #Conflicts: 379000 | #Constraints: 92642
626.40/628.36 c #Conflicts: 380000 | #Constraints: 93643
626.40/628.36 c #Conflicts: 381000 | #Constraints: 94643
626.40/628.36 c INPROCESSING
626.40/628.36 c GARBAGE COLLECT
626.40/628.36 c rational objective 9
644.15/646.17 c #Conflicts: 382000 | #Constraints: 83427
644.15/646.17 c #Conflicts: 383000 | #Constraints: 84427
644.15/646.17 c #Conflicts: 384000 | #Constraints: 85427
644.15/646.17 c #Conflicts: 385000 | #Constraints: 86427
644.15/646.17 c #Conflicts: 386000 | #Constraints: 87428
644.15/646.17 c #Conflicts: 387000 | #Constraints: 88428
644.15/646.17 c #Conflicts: 388000 | #Constraints: 89428
644.15/646.17 c #Conflicts: 389000 | #Constraints: 90428
644.15/646.17 c #Conflicts: 390000 | #Constraints: 91428
644.15/646.17 c #Conflicts: 391000 | #Constraints: 92428
644.15/646.17 c #Conflicts: 392000 | #Constraints: 93429
644.15/646.17 c #Conflicts: 393000 | #Constraints: 94433
644.15/646.17 c #Conflicts: 394000 | #Constraints: 95433
644.15/646.17 c INPROCESSING
644.15/646.17 c GARBAGE COLLECT
644.15/646.17 c rational objective 9
663.59/665.68 c #Conflicts: 395000 | #Constraints: 83965
663.59/665.68 c #Conflicts: 396000 | #Constraints: 84966
663.59/665.68 c #Conflicts: 397000 | #Constraints: 85966
663.59/665.68 c #Conflicts: 398000 | #Constraints: 86966
663.59/665.68 c #Conflicts: 399000 | #Constraints: 87966
663.59/665.68 c #Conflicts: 400000 | #Constraints: 88966
663.59/665.68 c #Conflicts: 401000 | #Constraints: 89966
663.59/665.68 c #Conflicts: 402000 | #Constraints: 90966
663.59/665.68 c #Conflicts: 403000 | #Constraints: 91966
663.59/665.68 c #Conflicts: 404000 | #Constraints: 92966
663.59/665.68 c #Conflicts: 405000 | #Constraints: 93967
663.59/665.68 c #Conflicts: 406000 | #Constraints: 94967
663.59/665.68 c #Conflicts: 407000 | #Constraints: 95968
663.59/665.68 c INPROCESSING
663.59/665.68 c GARBAGE COLLECT
663.59/665.68 c rational objective 9
695.69/697.88 c #Conflicts: 408000 | #Constraints: 84333
695.69/697.88 c #Conflicts: 409000 | #Constraints: 85333
695.69/697.88 c #Conflicts: 410000 | #Constraints: 86333
695.69/697.88 c #Conflicts: 411000 | #Constraints: 87334
695.69/697.88 c #Conflicts: 412000 | #Constraints: 88334
695.69/697.88 c #Conflicts: 413000 | #Constraints: 89334
695.69/697.88 c #Conflicts: 414000 | #Constraints: 90334
695.69/697.88 c #Conflicts: 415000 | #Constraints: 91335
695.69/697.88 c #Conflicts: 416000 | #Constraints: 92336
695.69/697.88 c #Conflicts: 417000 | #Constraints: 93337
695.69/697.88 c #Conflicts: 418000 | #Constraints: 94338
695.69/697.88 c #Conflicts: 419000 | #Constraints: 95339
695.69/697.88 c #Conflicts: 420000 | #Constraints: 96340
695.69/697.88 c INPROCESSING
695.69/697.88 c GARBAGE COLLECT
695.69/697.88 c rational objective 9
723.82/726.08 c #Conflicts: 421000 | #Constraints: 84509
723.82/726.08 c #Conflicts: 422000 | #Constraints: 85509
723.82/726.08 c #Conflicts: 423000 | #Constraints: 86509
723.82/726.08 c #Conflicts: 424000 | #Constraints: 87509
723.82/726.08 c #Conflicts: 425000 | #Constraints: 88509
723.82/726.08 c #Conflicts: 426000 | #Constraints: 89509
723.82/726.08 c #Conflicts: 427000 | #Constraints: 90509
723.82/726.08 c #Conflicts: 428000 | #Constraints: 91509
723.82/726.08 c #Conflicts: 429000 | #Constraints: 92510
723.82/726.08 c #Conflicts: 430000 | #Constraints: 93510
723.82/726.08 c #Conflicts: 431000 | #Constraints: 94510
723.82/726.08 c #Conflicts: 432000 | #Constraints: 95511
723.82/726.08 c #Conflicts: 433000 | #Constraints: 96511
723.82/726.08 c INPROCESSING
723.82/726.08 c GARBAGE COLLECT
723.82/726.08 c rational objective 9
753.82/756.11 c #Conflicts: 434000 | #Constraints: 84562
753.82/756.11 c #Conflicts: 435000 | #Constraints: 85563
753.82/756.11 c #Conflicts: 436000 | #Constraints: 86563
753.82/756.11 c #Conflicts: 437000 | #Constraints: 87563
753.82/756.11 c #Conflicts: 438000 | #Constraints: 88563
753.82/756.11 c #Conflicts: 439000 | #Constraints: 89563
753.82/756.11 c #Conflicts: 440000 | #Constraints: 90563
753.82/756.11 c #Conflicts: 441000 | #Constraints: 91563
753.82/756.11 c #Conflicts: 442000 | #Constraints: 92564
753.82/756.11 c #Conflicts: 443000 | #Constraints: 93566
753.82/756.11 c #Conflicts: 444000 | #Constraints: 94571
753.82/756.11 c #Conflicts: 445000 | #Constraints: 95575
753.82/756.11 c #Conflicts: 446000 | #Constraints: 96576
753.82/756.11 c INPROCESSING
753.82/756.11 c GARBAGE COLLECT
753.82/756.11 c rational objective 9
793.29/795.70 c #Conflicts: 447000 | #Constraints: 84228
793.29/795.70 c #Conflicts: 448000 | #Constraints: 85228
793.29/795.70 c #Conflicts: 449000 | #Constraints: 86228
793.29/795.70 c #Conflicts: 450000 | #Constraints: 87228
793.29/795.70 c #Conflicts: 451000 | #Constraints: 88229
793.29/795.70 c #Conflicts: 452000 | #Constraints: 89230
793.29/795.70 c #Conflicts: 453000 | #Constraints: 90232
793.29/795.70 c #Conflicts: 454000 | #Constraints: 91235
793.29/795.70 c #Conflicts: 455000 | #Constraints: 92236
793.29/795.70 c #Conflicts: 456000 | #Constraints: 93238
793.29/795.70 c #Conflicts: 457000 | #Constraints: 94240
793.29/795.70 c #Conflicts: 458000 | #Constraints: 95241
793.29/795.70 c #Conflicts: 459000 | #Constraints: 96241
793.29/795.70 c #Conflicts: 460000 | #Constraints: 97241
793.29/795.70 c INPROCESSING
793.29/795.70 c GARBAGE COLLECT
793.29/795.70 c rational objective 9
830.19/832.78 c #Conflicts: 461000 | #Constraints: 84802
830.19/832.78 c #Conflicts: 462000 | #Constraints: 85802
830.19/832.78 c #Conflicts: 463000 | #Constraints: 86802
830.19/832.78 c #Conflicts: 464000 | #Constraints: 87803
830.19/832.78 c #Conflicts: 465000 | #Constraints: 88803
830.19/832.78 c #Conflicts: 466000 | #Constraints: 89804
830.19/832.78 c #Conflicts: 467000 | #Constraints: 90806
830.19/832.78 c #Conflicts: 468000 | #Constraints: 91808
830.19/832.78 c #Conflicts: 469000 | #Constraints: 92811
830.19/832.78 c #Conflicts: 470000 | #Constraints: 93811
830.19/832.78 c #Conflicts: 471000 | #Constraints: 94812
830.19/832.78 c #Conflicts: 472000 | #Constraints: 95813
830.19/832.78 c #Conflicts: 473000 | #Constraints: 96814
830.19/832.78 c #Conflicts: 474000 | #Constraints: 97814
830.19/832.78 c INPROCESSING
830.19/832.78 c GARBAGE COLLECT
830.19/832.78 c rational objective 9
857.90/860.55 c #Conflicts: 475000 | #Constraints: 85181
857.90/860.55 c #Conflicts: 476000 | #Constraints: 86181
857.90/860.55 c #Conflicts: 477000 | #Constraints: 87182
857.90/860.55 c #Conflicts: 478000 | #Constraints: 88182
857.90/860.55 c #Conflicts: 479000 | #Constraints: 89182
857.90/860.55 c #Conflicts: 480000 | #Constraints: 90182
857.90/860.55 c #Conflicts: 481000 | #Constraints: 91182
857.90/860.55 c #Conflicts: 482000 | #Constraints: 92182
857.90/860.55 c #Conflicts: 483000 | #Constraints: 93182
857.90/860.55 c #Conflicts: 484000 | #Constraints: 94182
857.90/860.55 c #Conflicts: 485000 | #Constraints: 95185
857.90/860.55 c #Conflicts: 486000 | #Constraints: 96187
857.90/860.55 c #Conflicts: 487000 | #Constraints: 97187
857.90/860.55 c #Conflicts: 488000 | #Constraints: 98188
857.90/860.55 c INPROCESSING
857.90/860.55 c GARBAGE COLLECT
857.90/860.55 c rational objective 9
907.15/909.92 c #Conflicts: 489000 | #Constraints: 85392
907.15/909.92 c #Conflicts: 490000 | #Constraints: 86392
907.15/909.92 c #Conflicts: 491000 | #Constraints: 87392
907.15/909.92 c #Conflicts: 492000 | #Constraints: 88392
907.15/909.92 c #Conflicts: 493000 | #Constraints: 89393
907.15/909.92 c #Conflicts: 494000 | #Constraints: 90393
907.15/909.92 c #Conflicts: 495000 | #Constraints: 91393
907.15/909.92 c #Conflicts: 496000 | #Constraints: 92393
907.15/909.92 c #Conflicts: 497000 | #Constraints: 93394
907.15/909.92 c #Conflicts: 498000 | #Constraints: 94394
907.15/909.92 c #Conflicts: 499000 | #Constraints: 95395
907.15/909.92 c #Conflicts: 500000 | #Constraints: 96397
907.15/909.92 c #Conflicts: 501000 | #Constraints: 97398
907.15/909.92 c #Conflicts: 502000 | #Constraints: 98398
907.15/909.92 c INPROCESSING
907.15/909.92 c GARBAGE COLLECT
907.15/909.92 c rational objective 9
943.04/945.95 c #Conflicts: 503000 | #Constraints: 85389
943.04/945.95 c #Conflicts: 504000 | #Constraints: 86389
943.04/945.95 c #Conflicts: 505000 | #Constraints: 87389
943.04/945.95 c #Conflicts: 506000 | #Constraints: 88390
943.04/945.95 c #Conflicts: 507000 | #Constraints: 89390
943.04/945.95 c #Conflicts: 508000 | #Constraints: 90390
943.04/945.95 c #Conflicts: 509000 | #Constraints: 91390
943.04/945.95 c #Conflicts: 510000 | #Constraints: 92390
943.04/945.95 c #Conflicts: 511000 | #Constraints: 93390
943.04/945.95 c #Conflicts: 512000 | #Constraints: 94390
943.04/945.95 c #Conflicts: 513000 | #Constraints: 95390
943.04/945.95 c #Conflicts: 514000 | #Constraints: 96390
943.04/945.95 c #Conflicts: 515000 | #Constraints: 97391
943.04/945.95 c #Conflicts: 516000 | #Constraints: 98392
943.04/945.95 c INPROCESSING
943.04/945.95 c GARBAGE COLLECT
943.04/945.95 c rational objective 9
980.14/983.18 c #Conflicts: 517000 | #Constraints: 85181
980.14/983.18 c #Conflicts: 518000 | #Constraints: 86181
980.14/983.18 c #Conflicts: 519000 | #Constraints: 87181
980.14/983.18 c #Conflicts: 520000 | #Constraints: 88181
980.14/983.18 c #Conflicts: 521000 | #Constraints: 89181
980.14/983.18 c #Conflicts: 522000 | #Constraints: 90181
980.14/983.18 c #Conflicts: 523000 | #Constraints: 91181
980.14/983.18 c #Conflicts: 524000 | #Constraints: 92181
980.14/983.18 c #Conflicts: 525000 | #Constraints: 93181
980.14/983.18 c #Conflicts: 526000 | #Constraints: 94181
980.14/983.18 c #Conflicts: 527000 | #Constraints: 95181
980.14/983.18 c #Conflicts: 528000 | #Constraints: 96181
980.14/983.18 c #Conflicts: 529000 | #Constraints: 97182
980.14/983.18 c #Conflicts: 530000 | #Constraints: 98182
980.14/983.18 c #Conflicts: 531000 | #Constraints: 99183
980.14/983.18 c INPROCESSING
980.14/983.18 c GARBAGE COLLECT
980.14/983.18 c rational objective 9
1007.24/1010.39 c #Conflicts: 532000 | #Constraints: 85763
1007.24/1010.39 c #Conflicts: 533000 | #Constraints: 86763
1007.24/1010.39 c #Conflicts: 534000 | #Constraints: 87764
1007.24/1010.39 c #Conflicts: 535000 | #Constraints: 88764
1007.24/1010.39 c #Conflicts: 536000 | #Constraints: 89764
1007.24/1010.39 c #Conflicts: 537000 | #Constraints: 90765
1007.24/1010.39 c #Conflicts: 538000 | #Constraints: 91765
1007.24/1010.39 c #Conflicts: 539000 | #Constraints: 92766
1007.24/1010.39 c #Conflicts: 540000 | #Constraints: 93766
1007.24/1010.39 c #Conflicts: 541000 | #Constraints: 94766
1007.24/1010.39 c #Conflicts: 542000 | #Constraints: 95766
1007.24/1010.39 c #Conflicts: 543000 | #Constraints: 96766
1007.24/1010.39 c #Conflicts: 544000 | #Constraints: 97767
1007.24/1010.39 c #Conflicts: 545000 | #Constraints: 98767
1007.24/1010.39 c #Conflicts: 546000 | #Constraints: 99768
1007.24/1010.39 c INPROCESSING
1007.24/1010.39 c GARBAGE COLLECT
1007.24/1010.39 c rational objective 9
1055.60/1058.89 c #Conflicts: 547000 | #Constraints: 86160
1055.60/1058.89 c #Conflicts: 548000 | #Constraints: 87160
1055.60/1058.89 c #Conflicts: 549000 | #Constraints: 88160
1055.60/1058.89 c #Conflicts: 550000 | #Constraints: 89164
1055.60/1058.89 c #Conflicts: 551000 | #Constraints: 90166
1055.60/1058.89 c #Conflicts: 552000 | #Constraints: 91167
1055.60/1058.89 c #Conflicts: 553000 | #Constraints: 92170
1055.60/1058.89 c #Conflicts: 554000 | #Constraints: 93171
1055.60/1058.89 c #Conflicts: 555000 | #Constraints: 94172
1055.60/1058.89 c #Conflicts: 556000 | #Constraints: 95173
1055.60/1058.89 c #Conflicts: 557000 | #Constraints: 96173
1055.60/1058.89 c #Conflicts: 558000 | #Constraints: 97174
1055.60/1058.89 c #Conflicts: 559000 | #Constraints: 98175
1055.60/1058.89 c #Conflicts: 560000 | #Constraints: 99175
1055.60/1058.89 c #Conflicts: 561000 | #Constraints: 100176
1055.60/1058.89 c INPROCESSING
1055.60/1058.89 c GARBAGE COLLECT
1055.60/1058.89 c rational objective 9
1083.91/1087.20 c #Conflicts: 562000 | #Constraints: 86286
1083.91/1087.20 c #Conflicts: 563000 | #Constraints: 87286
1083.91/1087.20 c #Conflicts: 564000 | #Constraints: 88287
1083.91/1087.20 c #Conflicts: 565000 | #Constraints: 89287
1083.91/1087.20 c #Conflicts: 566000 | #Constraints: 90287
1083.91/1087.20 c #Conflicts: 567000 | #Constraints: 91287
1083.91/1087.20 c #Conflicts: 568000 | #Constraints: 92287
1083.91/1087.20 c #Conflicts: 569000 | #Constraints: 93287
1083.91/1087.20 c #Conflicts: 570000 | #Constraints: 94287
1083.91/1087.20 c #Conflicts: 571000 | #Constraints: 95287
1083.91/1087.20 c #Conflicts: 572000 | #Constraints: 96288
1083.91/1087.20 c #Conflicts: 573000 | #Constraints: 97288
1083.91/1087.20 c #Conflicts: 574000 | #Constraints: 98289
1083.91/1087.20 c #Conflicts: 575000 | #Constraints: 99291
1083.91/1087.20 c #Conflicts: 576000 | #Constraints: 100293
1083.91/1087.20 c INPROCESSING
1083.91/1087.20 c GARBAGE COLLECT
1083.91/1087.20 c rational objective 9
1114.43/1117.89 c #Conflicts: 577000 | #Constraints: 86253
1114.43/1117.89 c #Conflicts: 578000 | #Constraints: 87253
1114.43/1117.89 c #Conflicts: 579000 | #Constraints: 88253
1114.43/1117.89 c #Conflicts: 580000 | #Constraints: 89253
1114.43/1117.89 c #Conflicts: 581000 | #Constraints: 90253
1114.43/1117.89 c #Conflicts: 582000 | #Constraints: 91253
1114.43/1117.89 c #Conflicts: 583000 | #Constraints: 92254
1114.43/1117.89 c #Conflicts: 584000 | #Constraints: 93254
1114.43/1117.89 c #Conflicts: 585000 | #Constraints: 94254
1114.43/1117.89 c #Conflicts: 586000 | #Constraints: 95255
1114.43/1117.89 c #Conflicts: 587000 | #Constraints: 96255
1114.43/1117.89 c #Conflicts: 588000 | #Constraints: 97256
1114.43/1117.89 c #Conflicts: 589000 | #Constraints: 98257
1114.43/1117.89 c #Conflicts: 590000 | #Constraints: 99257
1114.43/1117.89 c #Conflicts: 591000 | #Constraints: 100257
1114.43/1117.89 c INPROCESSING
1114.43/1117.89 c GARBAGE COLLECT
1114.43/1117.89 c rational objective 9
1158.39/1161.90 c #Conflicts: 592000 | #Constraints: 85920
1158.39/1161.90 c #Conflicts: 593000 | #Constraints: 86920
1158.39/1161.90 c #Conflicts: 594000 | #Constraints: 87921
1158.39/1161.90 c #Conflicts: 595000 | #Constraints: 88921
1158.39/1161.90 c #Conflicts: 596000 | #Constraints: 89921
1158.39/1161.90 c #Conflicts: 597000 | #Constraints: 90921
1158.39/1161.90 c #Conflicts: 598000 | #Constraints: 91921
1158.39/1161.90 c #Conflicts: 599000 | #Constraints: 92921
1158.39/1161.90 c #Conflicts: 600000 | #Constraints: 93922
1158.39/1161.90 c #Conflicts: 601000 | #Constraints: 94924
1158.39/1161.90 c #Conflicts: 602000 | #Constraints: 95924
1158.39/1161.90 c #Conflicts: 603000 | #Constraints: 96925
1158.39/1161.90 c #Conflicts: 604000 | #Constraints: 97925
1158.39/1161.90 c #Conflicts: 605000 | #Constraints: 98925
1158.39/1161.90 c #Conflicts: 606000 | #Constraints: 99925
1158.39/1161.90 c #Conflicts: 607000 | #Constraints: 100926
1158.39/1161.90 c INPROCESSING
1158.39/1161.90 c GARBAGE COLLECT
1158.39/1161.90 c rational objective 9
1184.91/1188.55 c #Conflicts: 608000 | #Constraints: 86496
1184.91/1188.55 c #Conflicts: 609000 | #Constraints: 87496
1184.91/1188.55 c #Conflicts: 610000 | #Constraints: 88496
1184.91/1188.55 c #Conflicts: 611000 | #Constraints: 89496
1184.91/1188.55 c #Conflicts: 612000 | #Constraints: 90496
1184.91/1188.55 c #Conflicts: 613000 | #Constraints: 91496
1184.91/1188.55 c #Conflicts: 614000 | #Constraints: 92496
1184.91/1188.55 c #Conflicts: 615000 | #Constraints: 93496
1184.91/1188.55 c #Conflicts: 616000 | #Constraints: 94497
1184.91/1188.55 c #Conflicts: 617000 | #Constraints: 95498
1184.91/1188.55 c #Conflicts: 618000 | #Constraints: 96500
1184.91/1188.55 c #Conflicts: 619000 | #Constraints: 97503
1184.91/1188.55 c #Conflicts: 620000 | #Constraints: 98504
1184.91/1188.55 c #Conflicts: 621000 | #Constraints: 99504
1184.91/1188.55 c #Conflicts: 622000 | #Constraints: 100505
1184.91/1188.55 c #Conflicts: 623000 | #Constraints: 101506
1184.91/1188.55 c INPROCESSING
1184.91/1188.55 c GARBAGE COLLECT
1184.91/1188.55 c rational objective 9
1247.22/1251.07 c #Conflicts: 624000 | #Constraints: 86874
1247.22/1251.07 c #Conflicts: 625000 | #Constraints: 87875
1247.22/1251.07 c #Conflicts: 626000 | #Constraints: 88875
1247.22/1251.07 c #Conflicts: 627000 | #Constraints: 89875
1247.22/1251.07 c #Conflicts: 628000 | #Constraints: 90875
1247.22/1251.07 c #Conflicts: 629000 | #Constraints: 91875
1247.22/1251.07 c #Conflicts: 630000 | #Constraints: 92875
1247.22/1251.07 c #Conflicts: 631000 | #Constraints: 93875
1247.22/1251.07 c #Conflicts: 632000 | #Constraints: 94875
1247.22/1251.07 c #Conflicts: 633000 | #Constraints: 95875
1247.22/1251.07 c #Conflicts: 634000 | #Constraints: 96875
1247.22/1251.07 c #Conflicts: 635000 | #Constraints: 97875
1247.22/1251.07 c #Conflicts: 636000 | #Constraints: 98875
1247.22/1251.07 c #Conflicts: 637000 | #Constraints: 99875
1247.22/1251.07 c #Conflicts: 638000 | #Constraints: 100876
1247.22/1251.07 c #Conflicts: 639000 | #Constraints: 101876
1247.22/1251.07 c INPROCESSING
1247.22/1251.07 c GARBAGE COLLECT
1247.22/1251.07 c rational objective 9
1279.62/1283.55 c #Conflicts: 640000 | #Constraints: 86875
1279.62/1283.55 c #Conflicts: 641000 | #Constraints: 87875
1279.62/1283.55 c #Conflicts: 642000 | #Constraints: 88875
1279.62/1283.55 c #Conflicts: 643000 | #Constraints: 89875
1279.62/1283.55 c #Conflicts: 644000 | #Constraints: 90875
1279.62/1283.55 c #Conflicts: 645000 | #Constraints: 91876
1279.62/1283.55 c #Conflicts: 646000 | #Constraints: 92876
1279.62/1283.55 c #Conflicts: 647000 | #Constraints: 93876
1279.62/1283.55 c #Conflicts: 648000 | #Constraints: 94876
1279.62/1283.55 c #Conflicts: 649000 | #Constraints: 95876
1279.62/1283.55 c #Conflicts: 650000 | #Constraints: 96876
1279.62/1283.55 c #Conflicts: 651000 | #Constraints: 97876
1279.62/1283.55 c #Conflicts: 652000 | #Constraints: 98876
1279.62/1283.55 c #Conflicts: 653000 | #Constraints: 99877
1279.62/1283.55 c #Conflicts: 654000 | #Constraints: 100879
1279.62/1283.55 c #Conflicts: 655000 | #Constraints: 101881
1279.62/1283.55 c INPROCESSING
1279.62/1283.55 c GARBAGE COLLECT
1279.62/1283.55 c rational objective 9
1315.31/1319.32 c #Conflicts: 656000 | #Constraints: 86758
1315.31/1319.32 c #Conflicts: 657000 | #Constraints: 87758
1315.31/1319.32 c #Conflicts: 658000 | #Constraints: 88758
1315.31/1319.32 c #Conflicts: 659000 | #Constraints: 89758
1315.31/1319.32 c #Conflicts: 660000 | #Constraints: 90758
1315.31/1319.32 c #Conflicts: 661000 | #Constraints: 91758
1315.31/1319.32 c #Conflicts: 662000 | #Constraints: 92758
1315.31/1319.32 c #Conflicts: 663000 | #Constraints: 93758
1315.31/1319.32 c #Conflicts: 664000 | #Constraints: 94758
1315.31/1319.32 c #Conflicts: 665000 | #Constraints: 95759
1315.31/1319.32 c #Conflicts: 666000 | #Constraints: 96759
1315.31/1319.32 c #Conflicts: 667000 | #Constraints: 97759
1315.31/1319.32 c #Conflicts: 668000 | #Constraints: 98760
1315.31/1319.32 c #Conflicts: 669000 | #Constraints: 99760
1315.31/1319.32 c #Conflicts: 670000 | #Constraints: 100762
1315.31/1319.32 c #Conflicts: 671000 | #Constraints: 101763
1315.31/1319.32 c INPROCESSING
1315.31/1319.32 c GARBAGE COLLECT
1315.31/1319.32 c rational objective 9
1344.62/1348.79 c #Conflicts: 672000 | #Constraints: 86582
1344.62/1348.79 c #Conflicts: 673000 | #Constraints: 87583
1344.62/1348.79 c #Conflicts: 674000 | #Constraints: 88583
1344.62/1348.79 c #Conflicts: 675000 | #Constraints: 89585
1344.62/1348.79 c #Conflicts: 676000 | #Constraints: 90585
1344.62/1348.79 c #Conflicts: 677000 | #Constraints: 91585
1344.62/1348.79 c #Conflicts: 678000 | #Constraints: 92585
1344.62/1348.79 c #Conflicts: 679000 | #Constraints: 93585
1344.62/1348.79 c #Conflicts: 680000 | #Constraints: 94585
1344.62/1348.79 c #Conflicts: 681000 | #Constraints: 95585
1344.62/1348.79 c #Conflicts: 682000 | #Constraints: 96585
1344.62/1348.79 c #Conflicts: 683000 | #Constraints: 97585
1344.62/1348.79 c #Conflicts: 684000 | #Constraints: 98585
1344.62/1348.79 c #Conflicts: 685000 | #Constraints: 99585
1344.62/1348.79 c #Conflicts: 686000 | #Constraints: 100585
1344.62/1348.79 c #Conflicts: 687000 | #Constraints: 101585
1344.62/1348.79 c #Conflicts: 688000 | #Constraints: 102585
1344.62/1348.79 c INPROCESSING
1344.62/1348.79 c GARBAGE COLLECT
1344.62/1348.79 c rational objective 9
1380.62/1384.80 c #Conflicts: 689000 | #Constraints: 87136
1380.62/1384.80 c #Conflicts: 690000 | #Constraints: 88136
1380.62/1384.80 c #Conflicts: 691000 | #Constraints: 89136
1380.62/1384.80 c #Conflicts: 692000 | #Constraints: 90136
1380.62/1384.80 c #Conflicts: 693000 | #Constraints: 91136
1380.62/1384.80 c #Conflicts: 694000 | #Constraints: 92136
1380.62/1384.80 c #Conflicts: 695000 | #Constraints: 93136
1380.62/1384.80 c #Conflicts: 696000 | #Constraints: 94136
1380.62/1384.80 c #Conflicts: 697000 | #Constraints: 95136
1380.62/1384.80 c #Conflicts: 698000 | #Constraints: 96136
1380.62/1384.80 c #Conflicts: 699000 | #Constraints: 97136
1380.62/1384.80 c #Conflicts: 700000 | #Constraints: 98136
1380.62/1384.80 c #Conflicts: 701000 | #Constraints: 99137
1380.62/1384.80 c #Conflicts: 702000 | #Constraints: 100137
1380.62/1384.80 c #Conflicts: 703000 | #Constraints: 101138
1380.62/1384.80 c #Conflicts: 704000 | #Constraints: 102138
1380.62/1384.80 c #Conflicts: 705000 | #Constraints: 103138
1380.62/1384.80 c INPROCESSING
1380.62/1384.80 c GARBAGE COLLECT
1380.62/1384.80 c rational objective 9
1416.10/1420.46 c #Conflicts: 706000 | #Constraints: 87484
1416.10/1420.46 c #Conflicts: 707000 | #Constraints: 88485
1416.10/1420.46 c #Conflicts: 708000 | #Constraints: 89485
1416.10/1420.46 c #Conflicts: 709000 | #Constraints: 90487
1416.10/1420.46 c #Conflicts: 710000 | #Constraints: 91489
1416.10/1420.46 c #Conflicts: 711000 | #Constraints: 92490
1416.10/1420.46 c #Conflicts: 712000 | #Constraints: 93493
1416.10/1420.46 c #Conflicts: 713000 | #Constraints: 94495
1416.10/1420.46 c #Conflicts: 714000 | #Constraints: 95496
1416.10/1420.46 c #Conflicts: 715000 | #Constraints: 96498
1416.10/1420.46 c #Conflicts: 716000 | #Constraints: 97499
1416.10/1420.46 c #Conflicts: 717000 | #Constraints: 98500
1416.10/1420.46 c #Conflicts: 718000 | #Constraints: 99501
1416.10/1420.46 c #Conflicts: 719000 | #Constraints: 100502
1416.10/1420.46 c #Conflicts: 720000 | #Constraints: 101504
1416.10/1420.46 c #Conflicts: 721000 | #Constraints: 102510
1416.10/1420.46 c #Conflicts: 722000 | #Constraints: 103516
1416.10/1420.46 c INPROCESSING
1416.10/1420.46 c GARBAGE COLLECT
1416.10/1420.46 c rational objective 9
1482.30/1486.80 c #Conflicts: 723000 | #Constraints: 87717
1482.30/1486.80 c #Conflicts: 724000 | #Constraints: 88717
1482.30/1486.80 c #Conflicts: 725000 | #Constraints: 89717
1482.30/1486.80 c #Conflicts: 726000 | #Constraints: 90718
1482.30/1486.80 c #Conflicts: 727000 | #Constraints: 91718
1482.30/1486.80 c #Conflicts: 728000 | #Constraints: 92718
1482.30/1486.80 c #Conflicts: 729000 | #Constraints: 93719
1482.30/1486.80 c #Conflicts: 730000 | #Constraints: 94721
1482.30/1486.80 c #Conflicts: 731000 | #Constraints: 95721
1482.30/1486.80 c #Conflicts: 732000 | #Constraints: 96721
1482.30/1486.80 c #Conflicts: 733000 | #Constraints: 97722
1482.30/1486.80 c #Conflicts: 734000 | #Constraints: 98722
1482.30/1486.80 c #Conflicts: 735000 | #Constraints: 99722
1482.30/1486.80 c #Conflicts: 736000 | #Constraints: 100722
1482.30/1486.80 c #Conflicts: 737000 | #Constraints: 101722
1482.30/1486.80 c #Conflicts: 738000 | #Constraints: 102722
1482.30/1486.80 c #Conflicts: 739000 | #Constraints: 103722
1482.30/1486.80 c INPROCESSING
1482.30/1486.80 c GARBAGE COLLECT
1482.30/1486.80 c rational objective 9
1518.10/1522.74 c #Conflicts: 740000 | #Constraints: 87725
1518.10/1522.74 c #Conflicts: 741000 | #Constraints: 88725
1518.10/1522.74 c #Conflicts: 742000 | #Constraints: 89726
1518.10/1522.74 c #Conflicts: 743000 | #Constraints: 90726
1518.10/1522.74 c #Conflicts: 744000 | #Constraints: 91728
1518.10/1522.74 c #Conflicts: 745000 | #Constraints: 92730
1518.10/1522.74 c #Conflicts: 746000 | #Constraints: 93730
1518.10/1522.74 c #Conflicts: 747000 | #Constraints: 94730
1518.10/1522.74 c #Conflicts: 748000 | #Constraints: 95730
1518.10/1522.74 c #Conflicts: 749000 | #Constraints: 96730
1518.10/1522.74 c #Conflicts: 750000 | #Constraints: 97731
1518.10/1522.74 c #Conflicts: 751000 | #Constraints: 98731
1518.10/1522.74 c #Conflicts: 752000 | #Constraints: 99731
1518.10/1522.74 c #Conflicts: 753000 | #Constraints: 100731
1518.10/1522.74 c #Conflicts: 754000 | #Constraints: 101732
1518.10/1522.74 c #Conflicts: 755000 | #Constraints: 102732
1518.10/1522.74 c #Conflicts: 756000 | #Constraints: 103733
1518.10/1522.74 c INPROCESSING
1518.10/1522.74 c GARBAGE COLLECT
1518.10/1522.74 c rational objective 9
1544.01/1548.76 c #Conflicts: 757000 | #Constraints: 87196
1544.01/1548.76 c #Conflicts: 758000 | #Constraints: 88196
1544.01/1548.76 c #Conflicts: 759000 | #Constraints: 89196
1544.01/1548.76 c #Conflicts: 760000 | #Constraints: 90196
1544.01/1548.76 c #Conflicts: 761000 | #Constraints: 91196
1544.01/1548.76 c #Conflicts: 762000 | #Constraints: 92196
1544.01/1548.76 c #Conflicts: 763000 | #Constraints: 93196
1544.01/1548.76 c #Conflicts: 764000 | #Constraints: 94196
1544.01/1548.76 c #Conflicts: 765000 | #Constraints: 95196
1544.01/1548.76 c #Conflicts: 766000 | #Constraints: 96196
1544.01/1548.76 c #Conflicts: 767000 | #Constraints: 97196
1544.01/1548.76 c #Conflicts: 768000 | #Constraints: 98197
1544.01/1548.76 c #Conflicts: 769000 | #Constraints: 99198
1544.01/1548.76 c #Conflicts: 770000 | #Constraints: 100198
1544.01/1548.76 c #Conflicts: 771000 | #Constraints: 101199
1544.01/1548.76 c #Conflicts: 772000 | #Constraints: 102200
1544.01/1548.76 c #Conflicts: 773000 | #Constraints: 103201
1544.01/1548.76 c #Conflicts: 774000 | #Constraints: 104202
1544.01/1548.76 c INPROCESSING
1544.01/1548.76 c GARBAGE COLLECT
1544.01/1548.76 c rational objective 9
1588.78/1593.61 c #Conflicts: 775000 | #Constraints: 87750
1588.78/1593.61 c #Conflicts: 776000 | #Constraints: 88751
1588.78/1593.61 c #Conflicts: 777000 | #Constraints: 89751
1588.78/1593.61 c #Conflicts: 778000 | #Constraints: 90751
1588.78/1593.61 c #Conflicts: 779000 | #Constraints: 91753
1588.78/1593.61 c #Conflicts: 780000 | #Constraints: 92755
1588.78/1593.61 c #Conflicts: 781000 | #Constraints: 93756
1588.78/1593.61 c #Conflicts: 782000 | #Constraints: 94757
1588.78/1593.61 c #Conflicts: 783000 | #Constraints: 95757
1588.78/1593.61 c #Conflicts: 784000 | #Constraints: 96759
1588.78/1593.61 c #Conflicts: 785000 | #Constraints: 97761
1588.78/1593.61 c #Conflicts: 786000 | #Constraints: 98764
1588.78/1593.61 c #Conflicts: 787000 | #Constraints: 99766
1588.78/1593.61 c #Conflicts: 788000 | #Constraints: 100768
1588.78/1593.61 c #Conflicts: 789000 | #Constraints: 101771
1588.78/1593.61 c #Conflicts: 790000 | #Constraints: 102772
1588.78/1593.61 c #Conflicts: 791000 | #Constraints: 103773
1588.78/1593.61 c #Conflicts: 792000 | #Constraints: 104774
1588.78/1593.61 c INPROCESSING
1588.78/1593.61 c GARBAGE COLLECT
1588.78/1593.61 c rational objective 9
1631.05/1636.08 c #Conflicts: 793000 | #Constraints: 88136
1631.05/1636.08 c #Conflicts: 794000 | #Constraints: 89136
1631.05/1636.08 c #Conflicts: 795000 | #Constraints: 90136
1631.05/1636.08 c #Conflicts: 796000 | #Constraints: 91137
1631.05/1636.08 c #Conflicts: 797000 | #Constraints: 92137
1631.05/1636.08 c #Conflicts: 798000 | #Constraints: 93137
1631.05/1636.08 c #Conflicts: 799000 | #Constraints: 94139
1631.05/1636.08 c #Conflicts: 800000 | #Constraints: 95140
1631.05/1636.08 c #Conflicts: 801000 | #Constraints: 96142
1631.05/1636.08 c #Conflicts: 802000 | #Constraints: 97142
1631.05/1636.08 c #Conflicts: 803000 | #Constraints: 98143
1631.05/1636.08 c #Conflicts: 804000 | #Constraints: 99143
1631.05/1636.08 c #Conflicts: 805000 | #Constraints: 100144
1631.05/1636.08 c #Conflicts: 806000 | #Constraints: 101145
1631.05/1636.08 c #Conflicts: 807000 | #Constraints: 102150
1631.05/1636.08 c #Conflicts: 808000 | #Constraints: 103151
1631.05/1636.08 c #Conflicts: 809000 | #Constraints: 104151
1631.05/1636.08 c #Conflicts: 810000 | #Constraints: 105152
1631.05/1636.08 c INPROCESSING
1631.05/1636.08 c GARBAGE COLLECT
1631.05/1636.08 c rational objective 9
1684.47/1689.65 c #Conflicts: 811000 | #Constraints: 88341
1684.47/1689.65 c #Conflicts: 812000 | #Constraints: 89341
1684.47/1689.65 c #Conflicts: 813000 | #Constraints: 90341
1684.47/1689.65 c #Conflicts: 814000 | #Constraints: 91341
1684.47/1689.65 c #Conflicts: 815000 | #Constraints: 92341
1684.47/1689.65 c #Conflicts: 816000 | #Constraints: 93341
1684.47/1689.65 c #Conflicts: 817000 | #Constraints: 94341
1684.47/1689.65 c #Conflicts: 818000 | #Constraints: 95342
1684.47/1689.65 c #Conflicts: 819000 | #Constraints: 96343
1684.47/1689.65 c #Conflicts: 820000 | #Constraints: 97344
1684.47/1689.65 c #Conflicts: 821000 | #Constraints: 98345
1684.47/1689.65 c #Conflicts: 822000 | #Constraints: 99345
1684.47/1689.65 c #Conflicts: 823000 | #Constraints: 100346
1684.47/1689.65 c #Conflicts: 824000 | #Constraints: 101347
1684.47/1689.65 c #Conflicts: 825000 | #Constraints: 102348
1684.47/1689.65 c #Conflicts: 826000 | #Constraints: 103348
1684.47/1689.65 c #Conflicts: 827000 | #Constraints: 104349
1684.47/1689.65 c #Conflicts: 828000 | #Constraints: 105350
1684.47/1689.65 c INPROCESSING
1684.47/1689.65 c GARBAGE COLLECT
1684.47/1689.65 c rational objective 9
1733.52/1738.82 c #Conflicts: 829000 | #Constraints: 88286
1733.52/1738.82 c #Conflicts: 830000 | #Constraints: 89286
1733.52/1738.82 c #Conflicts: 831000 | #Constraints: 90286
1733.52/1738.82 c #Conflicts: 832000 | #Constraints: 91286
1733.52/1738.82 c #Conflicts: 833000 | #Constraints: 92286
1733.52/1738.82 c #Conflicts: 834000 | #Constraints: 93287
1733.52/1738.82 c #Conflicts: 835000 | #Constraints: 94287
1733.52/1738.82 c #Conflicts: 836000 | #Constraints: 95287
1733.52/1738.82 c #Conflicts: 837000 | #Constraints: 96287
1733.52/1738.82 c #Conflicts: 838000 | #Constraints: 97289
1733.52/1738.82 c #Conflicts: 839000 | #Constraints: 98289
1733.52/1738.82 c #Conflicts: 840000 | #Constraints: 99289
1733.52/1738.82 c #Conflicts: 841000 | #Constraints: 100289
1733.52/1738.82 c #Conflicts: 842000 | #Constraints: 101290
1733.52/1738.82 c #Conflicts: 843000 | #Constraints: 102290
1733.52/1738.82 c #Conflicts: 844000 | #Constraints: 103291
1733.52/1738.82 c #Conflicts: 845000 | #Constraints: 104291
1733.52/1738.82 c #Conflicts: 846000 | #Constraints: 105292
1733.52/1738.82 c INPROCESSING
1733.52/1738.82 c GARBAGE COLLECT
1733.52/1738.82 c rational objective 9
1769.82/1775.28 c #Conflicts: 847000 | #Constraints: 88071
1769.82/1775.28 c #Conflicts: 848000 | #Constraints: 89071
1769.82/1775.28 c #Conflicts: 849000 | #Constraints: 90072
1769.82/1775.28 c #Conflicts: 850000 | #Constraints: 91072
1769.82/1775.28 c #Conflicts: 851000 | #Constraints: 92072
1769.82/1775.28 c #Conflicts: 852000 | #Constraints: 93072
1769.82/1775.28 c #Conflicts: 853000 | #Constraints: 94072
1769.82/1775.28 c #Conflicts: 854000 | #Constraints: 95072
1769.82/1775.28 c #Conflicts: 855000 | #Constraints: 96072
1769.82/1775.28 c #Conflicts: 856000 | #Constraints: 97073
1769.82/1775.28 c #Conflicts: 857000 | #Constraints: 98074
1769.82/1775.28 c #Conflicts: 858000 | #Constraints: 99074
1769.82/1775.28 c #Conflicts: 859000 | #Constraints: 100075
1769.82/1775.28 c #Conflicts: 860000 | #Constraints: 101076
1769.82/1775.28 c #Conflicts: 861000 | #Constraints: 102078
1769.82/1775.28 c #Conflicts: 862000 | #Constraints: 103080
1769.82/1775.28 c #Conflicts: 863000 | #Constraints: 104081
1769.82/1775.28 c #Conflicts: 864000 | #Constraints: 105084
1769.82/1775.28 c #Conflicts: 865000 | #Constraints: 106086
1769.82/1775.28 c INPROCESSING
1769.82/1775.28 c GARBAGE COLLECT
1769.82/1775.28 c rational objective 9
1810.10/1815.64 c #Conflicts: 866000 | #Constraints: 88605
1810.10/1815.64 c #Conflicts: 867000 | #Constraints: 89606
1810.10/1815.64 c #Conflicts: 868000 | #Constraints: 90606
1810.10/1815.64 c #Conflicts: 869000 | #Constraints: 91606
1810.10/1815.64 c #Conflicts: 870000 | #Constraints: 92607
1810.10/1815.64 c #Conflicts: 871000 | #Constraints: 93607
1810.10/1815.64 c #Conflicts: 872000 | #Constraints: 94608
1810.10/1815.64 c #Conflicts: 873000 | #Constraints: 95608
1810.10/1815.64 c #Conflicts: 874000 | #Constraints: 96608
1810.10/1815.64 c #Conflicts: 875000 | #Constraints: 97609
1810.10/1815.64 c #Conflicts: 876000 | #Constraints: 98610
1810.10/1815.64 c #Conflicts: 877000 | #Constraints: 99611
1810.10/1815.64 c #Conflicts: 878000 | #Constraints: 100612
1810.10/1815.64 c #Conflicts: 879000 | #Constraints: 101613
1810.10/1815.64 c #Conflicts: 880000 | #Constraints: 102613
1810.10/1815.64 c #Conflicts: 881000 | #Constraints: 103613
1810.10/1815.64 c #Conflicts: 882000 | #Constraints: 104614
1810.10/1815.64 c #Conflicts: 883000 | #Constraints: 105615
1810.10/1815.64 c #Conflicts: 884000 | #Constraints: 106616
1810.10/1815.64 c INPROCESSING
1810.10/1815.64 c GARBAGE COLLECT
1810.10/1815.64 c rational objective 9
1854.36/1860.04 c #Conflicts: 885000 | #Constraints: 88996
1854.36/1860.04 c #Conflicts: 886000 | #Constraints: 89997
1854.36/1860.04 c #Conflicts: 887000 | #Constraints: 90997
1854.36/1860.04 c #Conflicts: 888000 | #Constraints: 91997
1854.36/1860.04 c #Conflicts: 889000 | #Constraints: 92998
1854.36/1860.04 c #Conflicts: 890000 | #Constraints: 93998
1854.36/1860.04 c #Conflicts: 891000 | #Constraints: 94999
1854.36/1860.04 c #Conflicts: 892000 | #Constraints: 95999
1854.36/1860.04 c #Conflicts: 893000 | #Constraints: 97000
1854.36/1860.04 c #Conflicts: 894000 | #Constraints: 98001
1854.36/1860.04 c #Conflicts: 895000 | #Constraints: 99002
1854.36/1860.04 c #Conflicts: 896000 | #Constraints: 100003
1854.36/1860.04 c #Conflicts: 897000 | #Constraints: 101003
1854.36/1860.04 c #Conflicts: 898000 | #Constraints: 102003
1854.36/1860.04 c #Conflicts: 899000 | #Constraints: 103003
1854.36/1860.04 c #Conflicts: 900000 | #Constraints: 104004
1854.36/1860.04 c #Conflicts: 901000 | #Constraints: 105004
1854.36/1860.04 c #Conflicts: 902000 | #Constraints: 106004
1854.36/1860.04 c #Conflicts: 903000 | #Constraints: 107005
1854.36/1860.04 c INPROCESSING
1854.36/1860.04 c GARBAGE COLLECT
1854.36/1860.04 c rational objective 9
1922.25/1928.16 c #Conflicts: 904000 | #Constraints: 89131
1922.25/1928.16 c #Conflicts: 905000 | #Constraints: 90132
1922.25/1928.16 c #Conflicts: 906000 | #Constraints: 91132
1922.25/1928.16 c #Conflicts: 907000 | #Constraints: 92132
1922.25/1928.16 c #Conflicts: 908000 | #Constraints: 93132
1922.25/1928.16 c #Conflicts: 909000 | #Constraints: 94132
1922.25/1928.16 c #Conflicts: 910000 | #Constraints: 95132
1922.25/1928.16 c #Conflicts: 911000 | #Constraints: 96132
1922.25/1928.16 c #Conflicts: 912000 | #Constraints: 97132
1922.25/1928.16 c #Conflicts: 913000 | #Constraints: 98133
1922.25/1928.16 c #Conflicts: 914000 | #Constraints: 99133
1922.25/1928.16 c #Conflicts: 915000 | #Constraints: 100135
1922.25/1928.16 c #Conflicts: 916000 | #Constraints: 101135
1922.25/1928.16 c #Conflicts: 917000 | #Constraints: 102136
1922.25/1928.16 c #Conflicts: 918000 | #Constraints: 103136
1922.25/1928.16 c #Conflicts: 919000 | #Constraints: 104136
1922.25/1928.16 c #Conflicts: 920000 | #Constraints: 105137
1922.25/1928.16 c #Conflicts: 921000 | #Constraints: 106137
1922.25/1928.16 c #Conflicts: 922000 | #Constraints: 107137
1922.25/1928.16 c INPROCESSING
1922.25/1928.16 c GARBAGE COLLECT
1922.25/1928.16 c rational objective 9
1976.48/1982.51 c #Conflicts: 923000 | #Constraints: 89111
1976.48/1982.51 c #Conflicts: 924000 | #Constraints: 90111
1976.48/1982.51 c #Conflicts: 925000 | #Constraints: 91112
1976.48/1982.51 c #Conflicts: 926000 | #Constraints: 92112
1976.48/1982.51 c #Conflicts: 927000 | #Constraints: 93112
1976.48/1982.51 c #Conflicts: 928000 | #Constraints: 94112
1976.48/1982.51 c #Conflicts: 929000 | #Constraints: 95112
1976.48/1982.51 c #Conflicts: 930000 | #Constraints: 96112
1976.48/1982.51 c #Conflicts: 931000 | #Constraints: 97113
1976.48/1982.51 c #Conflicts: 932000 | #Constraints: 98114
1976.48/1982.51 c #Conflicts: 933000 | #Constraints: 99114
1976.48/1982.51 c #Conflicts: 934000 | #Constraints: 100115
1976.48/1982.51 c #Conflicts: 935000 | #Constraints: 101115
1976.48/1982.51 c #Conflicts: 936000 | #Constraints: 102116
1976.48/1982.51 c #Conflicts: 937000 | #Constraints: 103116
1976.48/1982.51 c #Conflicts: 938000 | #Constraints: 104116
1976.48/1982.51 c #Conflicts: 939000 | #Constraints: 105117
1976.48/1982.51 c #Conflicts: 940000 | #Constraints: 106118
1976.48/1982.51 c #Conflicts: 941000 | #Constraints: 107118
1976.48/1982.51 c INPROCESSING
1976.48/1982.51 c GARBAGE COLLECT
1976.48/1982.51 c rational objective 9
2017.66/2023.86 c #Conflicts: 942000 | #Constraints: 88923
2017.66/2023.86 c #Conflicts: 943000 | #Constraints: 89923
2017.66/2023.86 c #Conflicts: 944000 | #Constraints: 90924
2017.66/2023.86 c #Conflicts: 945000 | #Constraints: 91924
2017.66/2023.86 c #Conflicts: 946000 | #Constraints: 92924
2017.66/2023.86 c #Conflicts: 947000 | #Constraints: 93924
2017.66/2023.86 c #Conflicts: 948000 | #Constraints: 94924
2017.66/2023.86 c #Conflicts: 949000 | #Constraints: 95924
2017.66/2023.86 c #Conflicts: 950000 | #Constraints: 96924
2017.66/2023.86 c #Conflicts: 951000 | #Constraints: 97925
2017.66/2023.86 c #Conflicts: 952000 | #Constraints: 98927
2017.66/2023.86 c #Conflicts: 953000 | #Constraints: 99929
2017.66/2023.86 c #Conflicts: 954000 | #Constraints: 100929
2017.66/2023.86 c #Conflicts: 955000 | #Constraints: 101930
2017.66/2023.86 c #Conflicts: 956000 | #Constraints: 102930
2017.66/2023.86 c #Conflicts: 957000 | #Constraints: 103931
2017.66/2023.86 c #Conflicts: 958000 | #Constraints: 104931
2017.66/2023.86 c #Conflicts: 959000 | #Constraints: 105931
2017.66/2023.86 c #Conflicts: 960000 | #Constraints: 106931
2017.66/2023.86 c #Conflicts: 961000 | #Constraints: 107931
2017.66/2023.86 c INPROCESSING
2017.66/2023.86 c GARBAGE COLLECT
2017.66/2023.86 c rational objective 9
2066.41/2072.78 c #Conflicts: 962000 | #Constraints: 89508
2066.41/2072.78 c #Conflicts: 963000 | #Constraints: 90508
2066.41/2072.78 c #Conflicts: 964000 | #Constraints: 91508
2066.41/2072.78 c #Conflicts: 965000 | #Constraints: 92508
2066.41/2072.78 c #Conflicts: 966000 | #Constraints: 93508
2066.41/2072.78 c #Conflicts: 967000 | #Constraints: 94508
2066.41/2072.78 c #Conflicts: 968000 | #Constraints: 95508
2066.41/2072.78 c #Conflicts: 969000 | #Constraints: 96509
2066.41/2072.78 c #Conflicts: 970000 | #Constraints: 97510
2066.41/2072.78 c #Conflicts: 971000 | #Constraints: 98512
2066.41/2072.78 c #Conflicts: 972000 | #Constraints: 99512
2066.41/2072.78 c #Conflicts: 973000 | #Constraints: 100513
2066.41/2072.78 c #Conflicts: 974000 | #Constraints: 101514
2066.41/2072.78 c #Conflicts: 975000 | #Constraints: 102515
2066.41/2072.78 c #Conflicts: 976000 | #Constraints: 103516
2066.41/2072.78 c #Conflicts: 977000 | #Constraints: 104518
2066.41/2072.78 c #Conflicts: 978000 | #Constraints: 105518
2066.41/2072.78 c #Conflicts: 979000 | #Constraints: 106520
2066.41/2072.78 c #Conflicts: 980000 | #Constraints: 107520
2066.41/2072.78 c #Conflicts: 981000 | #Constraints: 108520
2066.41/2072.78 c INPROCESSING
2066.41/2072.78 c GARBAGE COLLECT
2066.41/2072.78 c rational objective 9
2114.47/2120.93 c #Conflicts: 982000 | #Constraints: 89920
2114.47/2120.93 c #Conflicts: 983000 | #Constraints: 90920
2114.47/2120.93 c #Conflicts: 984000 | #Constraints: 91920
2114.47/2120.93 c #Conflicts: 985000 | #Constraints: 92920
2114.47/2120.93 c #Conflicts: 986000 | #Constraints: 93920
2114.47/2120.93 c #Conflicts: 987000 | #Constraints: 94920
2114.47/2120.93 c #Conflicts: 988000 | #Constraints: 95920
2114.47/2120.93 c #Conflicts: 989000 | #Constraints: 96920
2114.47/2120.93 c #Conflicts: 990000 | #Constraints: 97921
2114.47/2120.93 c #Conflicts: 991000 | #Constraints: 98921
2114.47/2120.93 c #Conflicts: 992000 | #Constraints: 99921
2114.47/2120.93 c #Conflicts: 993000 | #Constraints: 100924
2114.47/2120.93 c #Conflicts: 994000 | #Constraints: 101927
2114.47/2120.93 c #Conflicts: 995000 | #Constraints: 102929
2114.47/2120.93 c #Conflicts: 996000 | #Constraints: 103930
2114.47/2120.93 c #Conflicts: 997000 | #Constraints: 104931
2114.47/2120.93 c #Conflicts: 998000 | #Constraints: 105932
2114.47/2120.93 c #Conflicts: 999000 | #Constraints: 106932
2114.47/2120.93 c #Conflicts: 1000000 | #Constraints: 107933
2114.47/2120.93 c #Conflicts: 1001000 | #Constraints: 108933
2114.47/2120.93 c INPROCESSING
2114.47/2120.93 c GARBAGE COLLECT
2114.47/2120.93 c rational objective 9
2170.89/2177.56 c #Conflicts: 1002000 | #Constraints: 90082
2170.89/2177.56 c #Conflicts: 1003000 | #Constraints: 91082
2170.89/2177.56 c #Conflicts: 1004000 | #Constraints: 92082
2170.89/2177.56 c #Conflicts: 1005000 | #Constraints: 93082
2170.89/2177.56 c #Conflicts: 1006000 | #Constraints: 94082
2170.89/2177.56 c #Conflicts: 1007000 | #Constraints: 95082
2170.89/2177.56 c #Conflicts: 1008000 | #Constraints: 96082
2170.89/2177.56 c #Conflicts: 1009000 | #Constraints: 97083
2170.89/2177.56 c #Conflicts: 1010000 | #Constraints: 98084
2170.89/2177.56 c #Conflicts: 1011000 | #Constraints: 99085
2170.89/2177.56 c #Conflicts: 1012000 | #Constraints: 100086
2170.89/2177.56 c #Conflicts: 1013000 | #Constraints: 101087
2170.89/2177.56 c #Conflicts: 1014000 | #Constraints: 102088
2170.89/2177.56 c #Conflicts: 1015000 | #Constraints: 103089
2170.89/2177.56 c #Conflicts: 1016000 | #Constraints: 104089
2170.89/2177.56 c #Conflicts: 1017000 | #Constraints: 105090
2170.89/2177.56 c #Conflicts: 1018000 | #Constraints: 106090
2170.89/2177.56 c #Conflicts: 1019000 | #Constraints: 107090
2170.89/2177.56 c #Conflicts: 1020000 | #Constraints: 108091
2170.89/2177.56 c #Conflicts: 1021000 | #Constraints: 109091
2170.89/2177.56 c INPROCESSING
2170.89/2177.56 c GARBAGE COLLECT
2170.89/2177.56 c rational objective 9
2215.47/2222.29 c #Conflicts: 1022000 | #Constraints: 90082
2215.47/2222.29 c #Conflicts: 1023000 | #Constraints: 91082
2215.47/2222.29 c #Conflicts: 1024000 | #Constraints: 92082
2215.47/2222.29 c #Conflicts: 1025000 | #Constraints: 93082
2215.47/2222.29 c #Conflicts: 1026000 | #Constraints: 94083
2215.47/2222.29 c #Conflicts: 1027000 | #Constraints: 95084
2215.47/2222.29 c #Conflicts: 1028000 | #Constraints: 96087
2215.47/2222.29 c #Conflicts: 1029000 | #Constraints: 97089
2215.47/2222.29 c #Conflicts: 1030000 | #Constraints: 98090
2215.47/2222.29 c #Conflicts: 1031000 | #Constraints: 99090
2215.47/2222.29 c #Conflicts: 1032000 | #Constraints: 100091
2215.47/2222.29 c #Conflicts: 1033000 | #Constraints: 101092
2215.47/2222.29 c #Conflicts: 1034000 | #Constraints: 102093
2215.47/2222.29 c #Conflicts: 1035000 | #Constraints: 103093
2215.47/2222.29 c #Conflicts: 1036000 | #Constraints: 104094
2215.47/2222.29 c #Conflicts: 1037000 | #Constraints: 105094
2215.47/2222.29 c #Conflicts: 1038000 | #Constraints: 106094
2215.47/2222.29 c #Conflicts: 1039000 | #Constraints: 107094
2215.47/2222.29 c #Conflicts: 1040000 | #Constraints: 108095
2215.47/2222.29 c #Conflicts: 1041000 | #Constraints: 109095
2215.47/2222.29 c INPROCESSING
2215.47/2222.29 c GARBAGE COLLECT
2215.47/2222.29 c rational objective 9
2288.34/2295.34 c #Conflicts: 1042000 | #Constraints: 89816
2288.34/2295.34 c #Conflicts: 1043000 | #Constraints: 90816
2288.34/2295.34 c #Conflicts: 1044000 | #Constraints: 91816
2288.34/2295.34 c #Conflicts: 1045000 | #Constraints: 92816
2288.34/2295.34 c #Conflicts: 1046000 | #Constraints: 93816
2288.34/2295.34 c #Conflicts: 1047000 | #Constraints: 94816
2288.34/2295.34 c #Conflicts: 1048000 | #Constraints: 95816
2288.34/2295.34 c #Conflicts: 1049000 | #Constraints: 96816
2288.34/2295.34 c #Conflicts: 1050000 | #Constraints: 97817
2288.34/2295.34 c #Conflicts: 1051000 | #Constraints: 98819
2288.34/2295.34 c #Conflicts: 1052000 | #Constraints: 99819
2288.34/2295.34 c #Conflicts: 1053000 | #Constraints: 100820
2288.34/2295.34 c #Conflicts: 1054000 | #Constraints: 101820
2288.34/2295.34 c #Conflicts: 1055000 | #Constraints: 102821
2288.34/2295.34 c #Conflicts: 1056000 | #Constraints: 103821
2288.34/2295.34 c #Conflicts: 1057000 | #Constraints: 104821
2288.34/2295.34 c #Conflicts: 1058000 | #Constraints: 105822
2288.34/2295.34 c #Conflicts: 1059000 | #Constraints: 106822
2288.34/2295.34 c #Conflicts: 1060000 | #Constraints: 107822
2288.34/2295.34 c #Conflicts: 1061000 | #Constraints: 108822
2288.34/2295.34 c #Conflicts: 1062000 | #Constraints: 109822
2288.34/2295.34 c INPROCESSING
2288.34/2295.34 c GARBAGE COLLECT
2288.34/2295.34 c rational objective 9
2360.92/2368.14 c #Conflicts: 1063000 | #Constraints: 90425
2360.92/2368.14 c #Conflicts: 1064000 | #Constraints: 91425
2360.92/2368.14 c #Conflicts: 1065000 | #Constraints: 92425
2360.92/2368.14 c #Conflicts: 1066000 | #Constraints: 93425
2360.92/2368.14 c #Conflicts: 1067000 | #Constraints: 94425
2360.92/2368.14 c #Conflicts: 1068000 | #Constraints: 95428
2360.92/2368.14 c #Conflicts: 1069000 | #Constraints: 96428
2360.92/2368.14 c #Conflicts: 1070000 | #Constraints: 97429
2360.92/2368.14 c #Conflicts: 1071000 | #Constraints: 98429
2360.92/2368.14 c #Conflicts: 1072000 | #Constraints: 99429
2360.92/2368.14 c #Conflicts: 1073000 | #Constraints: 100431
2360.92/2368.14 c #Conflicts: 1074000 | #Constraints: 101433
2360.92/2368.14 c #Conflicts: 1075000 | #Constraints: 102433
2360.92/2368.14 c #Conflicts: 1076000 | #Constraints: 103433
2360.92/2368.14 c #Conflicts: 1077000 | #Constraints: 104433
2360.92/2368.14 c #Conflicts: 1078000 | #Constraints: 105433
2360.92/2368.14 c #Conflicts: 1079000 | #Constraints: 106434
2360.92/2368.14 c #Conflicts: 1080000 | #Constraints: 107434
2360.92/2368.14 c #Conflicts: 1081000 | #Constraints: 108435
2360.92/2368.14 c #Conflicts: 1082000 | #Constraints: 109435
2360.92/2368.14 c #Conflicts: 1083000 | #Constraints: 110435
2360.92/2368.14 c INPROCESSING
2360.92/2368.14 c GARBAGE COLLECT
2360.92/2368.14 c rational objective 9
2418.14/2425.59 c #Conflicts: 1084000 | #Constraints: 90817
2418.14/2425.59 c #Conflicts: 1085000 | #Constraints: 91818
2418.14/2425.59 c #Conflicts: 1086000 | #Constraints: 92818
2418.14/2425.59 c #Conflicts: 1087000 | #Constraints: 93818
2418.14/2425.59 c #Conflicts: 1088000 | #Constraints: 94819
2418.14/2425.59 c #Conflicts: 1089000 | #Constraints: 95819
2418.14/2425.59 c #Conflicts: 1090000 | #Constraints: 96820
2418.14/2425.59 c #Conflicts: 1091000 | #Constraints: 97821
2418.14/2425.59 c #Conflicts: 1092000 | #Constraints: 98822
2418.14/2425.59 c #Conflicts: 1093000 | #Constraints: 99823
2418.14/2425.59 c #Conflicts: 1094000 | #Constraints: 100823
2418.14/2425.59 c #Conflicts: 1095000 | #Constraints: 101823
2418.14/2425.59 c #Conflicts: 1096000 | #Constraints: 102825
2418.14/2425.59 c #Conflicts: 1097000 | #Constraints: 103825
2418.14/2425.59 c #Conflicts: 1098000 | #Constraints: 104826
2418.14/2425.59 c #Conflicts: 1099000 | #Constraints: 105826
2418.14/2425.59 c #Conflicts: 1100000 | #Constraints: 106827
2418.14/2425.59 c #Conflicts: 1101000 | #Constraints: 107828
2418.14/2425.59 c #Conflicts: 1102000 | #Constraints: 108828
2418.14/2425.59 c #Conflicts: 1103000 | #Constraints: 109828
2418.14/2425.59 c #Conflicts: 1104000 | #Constraints: 110829
2418.14/2425.59 c INPROCESSING
2418.14/2425.59 c GARBAGE COLLECT
2418.14/2425.59 c rational objective 9
2499.10/2506.70 c #Conflicts: 1105000 | #Constraints: 90996
2499.10/2506.70 c #Conflicts: 1106000 | #Constraints: 91997
2499.10/2506.70 c #Conflicts: 1107000 | #Constraints: 92997
2499.10/2506.70 c #Conflicts: 1108000 | #Constraints: 93997
2499.10/2506.70 c #Conflicts: 1109000 | #Constraints: 94997
2499.10/2506.70 c #Conflicts: 1110000 | #Constraints: 95997
2499.10/2506.70 c #Conflicts: 1111000 | #Constraints: 96997
2499.10/2506.70 c #Conflicts: 1112000 | #Constraints: 97997
2499.10/2506.70 c #Conflicts: 1113000 | #Constraints: 98997
2499.10/2506.70 c #Conflicts: 1114000 | #Constraints: 99998
2499.10/2506.70 c #Conflicts: 1115000 | #Constraints: 101000
2499.10/2506.70 c #Conflicts: 1116000 | #Constraints: 102001
2499.10/2506.70 c #Conflicts: 1117000 | #Constraints: 103002
2499.10/2506.70 c #Conflicts: 1118000 | #Constraints: 104003
2499.10/2506.70 c #Conflicts: 1119000 | #Constraints: 105003
2499.10/2506.70 c #Conflicts: 1120000 | #Constraints: 106003
2499.10/2506.70 c #Conflicts: 1121000 | #Constraints: 107004
2499.10/2506.70 c #Conflicts: 1122000 | #Constraints: 108004
2499.10/2506.70 c #Conflicts: 1123000 | #Constraints: 109005
2499.10/2506.70 c #Conflicts: 1124000 | #Constraints: 110005
2499.10/2506.70 c #Conflicts: 1125000 | #Constraints: 111005
2499.10/2506.70 c INPROCESSING
2499.10/2506.70 c GARBAGE COLLECT
2499.10/2506.70 c rational objective 9
2550.25/2558.10 c #Conflicts: 1126000 | #Constraints: 90917
2550.25/2558.10 c #Conflicts: 1127000 | #Constraints: 91917
2550.25/2558.10 c #Conflicts: 1128000 | #Constraints: 92917
2550.25/2558.10 c #Conflicts: 1129000 | #Constraints: 93917
2550.25/2558.10 c #Conflicts: 1130000 | #Constraints: 94918
2550.25/2558.10 c #Conflicts: 1131000 | #Constraints: 95918
2550.25/2558.10 c #Conflicts: 1132000 | #Constraints: 96918
2550.25/2558.10 c #Conflicts: 1133000 | #Constraints: 97918
2550.25/2558.10 c #Conflicts: 1134000 | #Constraints: 98918
2550.25/2558.10 c #Conflicts: 1135000 | #Constraints: 99918
2550.25/2558.10 c #Conflicts: 1136000 | #Constraints: 100918
2550.25/2558.10 c #Conflicts: 1137000 | #Constraints: 101918
2550.25/2558.10 c #Conflicts: 1138000 | #Constraints: 102919
2550.25/2558.10 c #Conflicts: 1139000 | #Constraints: 103919
2550.25/2558.10 c #Conflicts: 1140000 | #Constraints: 104920
2550.25/2558.10 c #Conflicts: 1141000 | #Constraints: 105921
2550.25/2558.10 c #Conflicts: 1142000 | #Constraints: 106922
2550.25/2558.10 c #Conflicts: 1143000 | #Constraints: 107923
2550.25/2558.10 c #Conflicts: 1144000 | #Constraints: 108924
2550.25/2558.10 c #Conflicts: 1145000 | #Constraints: 109924
2550.25/2558.10 c #Conflicts: 1146000 | #Constraints: 110924
2550.25/2558.10 c INPROCESSING
2550.25/2558.10 c GARBAGE COLLECT
2550.25/2558.10 c rational objective 9
2655.34/2663.41 c #Conflicts: 1147000 | #Constraints: 90707
2655.34/2663.41 c #Conflicts: 1148000 | #Constraints: 91708
2655.34/2663.41 c #Conflicts: 1149000 | #Constraints: 92708
2655.34/2663.41 c #Conflicts: 1150000 | #Constraints: 93708
2655.34/2663.41 c #Conflicts: 1151000 | #Constraints: 94708
2655.34/2663.41 c #Conflicts: 1152000 | #Constraints: 95708
2655.34/2663.41 c #Conflicts: 1153000 | #Constraints: 96708
2655.34/2663.41 c #Conflicts: 1154000 | #Constraints: 97708
2655.34/2663.41 c #Conflicts: 1155000 | #Constraints: 98710
2655.34/2663.41 c #Conflicts: 1156000 | #Constraints: 99711
2655.34/2663.41 c #Conflicts: 1157000 | #Constraints: 100711
2655.34/2663.41 c #Conflicts: 1158000 | #Constraints: 101712
2655.34/2663.41 c #Conflicts: 1159000 | #Constraints: 102713
2655.34/2663.41 c #Conflicts: 1160000 | #Constraints: 103713
2655.34/2663.41 c #Conflicts: 1161000 | #Constraints: 104714
2655.34/2663.41 c #Conflicts: 1162000 | #Constraints: 105714
2655.34/2663.41 c #Conflicts: 1163000 | #Constraints: 106714
2655.34/2663.41 c #Conflicts: 1164000 | #Constraints: 107714
2655.34/2663.41 c #Conflicts: 1165000 | #Constraints: 108714
2655.34/2663.41 c #Conflicts: 1166000 | #Constraints: 109714
2655.34/2663.41 c #Conflicts: 1167000 | #Constraints: 110714
2655.34/2663.41 c #Conflicts: 1168000 | #Constraints: 111715
2655.34/2663.41 c INPROCESSING
2655.34/2663.41 c GARBAGE COLLECT
2655.34/2663.41 c rational objective 9
2711.59/2719.87 c #Conflicts: 1169000 | #Constraints: 91222
2711.59/2719.87 c #Conflicts: 1170000 | #Constraints: 92222
2711.59/2719.87 c #Conflicts: 1171000 | #Constraints: 93222
2711.59/2719.87 c #Conflicts: 1172000 | #Constraints: 94222
2711.59/2719.87 c #Conflicts: 1173000 | #Constraints: 95223
2711.59/2719.87 c #Conflicts: 1174000 | #Constraints: 96223
2711.59/2719.87 c #Conflicts: 1175000 | #Constraints: 97223
2711.59/2719.87 c #Conflicts: 1176000 | #Constraints: 98223
2711.59/2719.87 c #Conflicts: 1177000 | #Constraints: 99223
2711.59/2719.87 c #Conflicts: 1178000 | #Constraints: 100223
2711.59/2719.87 c #Conflicts: 1179000 | #Constraints: 101223
2711.59/2719.87 c #Conflicts: 1180000 | #Constraints: 102223
2711.59/2719.87 c #Conflicts: 1181000 | #Constraints: 103223
2711.59/2719.87 c #Conflicts: 1182000 | #Constraints: 104223
2711.59/2719.87 c #Conflicts: 1183000 | #Constraints: 105224
2711.59/2719.87 c #Conflicts: 1184000 | #Constraints: 106226
2711.59/2719.87 c #Conflicts: 1185000 | #Constraints: 107228
2711.59/2719.87 c #Conflicts: 1186000 | #Constraints: 108229
2711.59/2719.87 c #Conflicts: 1187000 | #Constraints: 109229
2711.59/2719.87 c #Conflicts: 1188000 | #Constraints: 110231
2711.59/2719.87 c #Conflicts: 1189000 | #Constraints: 111233
2711.59/2719.87 c #Conflicts: 1190000 | #Constraints: 112233
2711.59/2719.87 c INPROCESSING
2711.59/2719.87 c GARBAGE COLLECT
2711.59/2719.87 c rational objective 9
2753.08/2761.43 c #Conflicts: 1191000 | #Constraints: 91545
2753.08/2761.43 c #Conflicts: 1192000 | #Constraints: 92545
2753.08/2761.43 c #Conflicts: 1193000 | #Constraints: 93546
2753.08/2761.43 c #Conflicts: 1194000 | #Constraints: 94546
2753.08/2761.43 c #Conflicts: 1195000 | #Constraints: 95546
2753.08/2761.43 c #Conflicts: 1196000 | #Constraints: 96547
2753.08/2761.43 c #Conflicts: 1197000 | #Constraints: 97550
2753.08/2761.43 c #Conflicts: 1198000 | #Constraints: 98551
2753.08/2761.43 c #Conflicts: 1199000 | #Constraints: 99552
2753.08/2761.43 c #Conflicts: 1200000 | #Constraints: 100554
2753.08/2761.43 c #Conflicts: 1201000 | #Constraints: 101554
2753.08/2761.43 c #Conflicts: 1202000 | #Constraints: 102554
2753.08/2761.43 c #Conflicts: 1203000 | #Constraints: 103554
2753.08/2761.43 c #Conflicts: 1204000 | #Constraints: 104555
2753.08/2761.43 c #Conflicts: 1205000 | #Constraints: 105555
2753.08/2761.43 c #Conflicts: 1206000 | #Constraints: 106556
2753.08/2761.43 c #Conflicts: 1207000 | #Constraints: 107556
2753.08/2761.43 c #Conflicts: 1208000 | #Constraints: 108557
2753.08/2761.43 c #Conflicts: 1209000 | #Constraints: 109557
2753.08/2761.43 c #Conflicts: 1210000 | #Constraints: 110560
2753.08/2761.43 c #Conflicts: 1211000 | #Constraints: 111560
2753.08/2761.43 c #Conflicts: 1212000 | #Constraints: 112560
2753.08/2761.43 c INPROCESSING
2753.08/2761.43 c GARBAGE COLLECT
2753.08/2761.43 c rational objective 9
2805.84/2814.35 c #Conflicts: 1213000 | #Constraints: 91704
2805.84/2814.35 c #Conflicts: 1214000 | #Constraints: 92704
2805.84/2814.35 c #Conflicts: 1215000 | #Constraints: 93704
2805.84/2814.35 c #Conflicts: 1216000 | #Constraints: 94704
2805.84/2814.35 c #Conflicts: 1217000 | #Constraints: 95704
2805.84/2814.35 c #Conflicts: 1218000 | #Constraints: 96704
2805.84/2814.35 c #Conflicts: 1219000 | #Constraints: 97704
2805.84/2814.35 c #Conflicts: 1220000 | #Constraints: 98704
2805.84/2814.35 c #Conflicts: 1221000 | #Constraints: 99705
2805.84/2814.35 c #Conflicts: 1222000 | #Constraints: 100706
2805.84/2814.35 c #Conflicts: 1223000 | #Constraints: 101708
2805.84/2814.35 c #Conflicts: 1224000 | #Constraints: 102712
2805.84/2814.35 c #Conflicts: 1225000 | #Constraints: 103713
2805.84/2814.35 c #Conflicts: 1226000 | #Constraints: 104713
2805.84/2814.35 c #Conflicts: 1227000 | #Constraints: 105713
2805.84/2814.35 c #Conflicts: 1228000 | #Constraints: 106713
2805.84/2814.35 c #Conflicts: 1229000 | #Constraints: 107715
2805.84/2814.35 c #Conflicts: 1230000 | #Constraints: 108718
2805.84/2814.35 c #Conflicts: 1231000 | #Constraints: 109719
2805.84/2814.35 c #Conflicts: 1232000 | #Constraints: 110720
2805.84/2814.35 c #Conflicts: 1233000 | #Constraints: 111720
2805.84/2814.35 c #Conflicts: 1234000 | #Constraints: 112721
2805.84/2814.35 c INPROCESSING
2805.84/2814.35 c GARBAGE COLLECT
2805.84/2814.35 c rational objective 9
2869.27/2877.94 c #Conflicts: 1235000 | #Constraints: 91686
2869.27/2877.94 c #Conflicts: 1236000 | #Constraints: 92687
2869.27/2877.94 c #Conflicts: 1237000 | #Constraints: 93687
2869.27/2877.94 c #Conflicts: 1238000 | #Constraints: 94687
2869.27/2877.94 c #Conflicts: 1239000 | #Constraints: 95688
2869.27/2877.94 c #Conflicts: 1240000 | #Constraints: 96691
2869.27/2877.94 c #Conflicts: 1241000 | #Constraints: 97695
2869.27/2877.94 c #Conflicts: 1242000 | #Constraints: 98696
2869.27/2877.94 c #Conflicts: 1243000 | #Constraints: 99698
2869.27/2877.94 c #Conflicts: 1244000 | #Constraints: 100698
2869.27/2877.94 c #Conflicts: 1245000 | #Constraints: 101699
2869.27/2877.94 c #Conflicts: 1246000 | #Constraints: 102700
2869.27/2877.94 c #Conflicts: 1247000 | #Constraints: 103700
2869.27/2877.94 c #Conflicts: 1248000 | #Constraints: 104701
2869.27/2877.94 c #Conflicts: 1249000 | #Constraints: 105702
2869.27/2877.94 c #Conflicts: 1250000 | #Constraints: 106703
2869.27/2877.94 c #Conflicts: 1251000 | #Constraints: 107704
2869.27/2877.94 c #Conflicts: 1252000 | #Constraints: 108704
2869.27/2877.94 c #Conflicts: 1253000 | #Constraints: 109704
2869.27/2877.94 c #Conflicts: 1254000 | #Constraints: 110704
2869.27/2877.94 c #Conflicts: 1255000 | #Constraints: 111705
2869.27/2877.94 c #Conflicts: 1256000 | #Constraints: 112707
2869.27/2877.94 c INPROCESSING
2869.27/2877.94 c GARBAGE COLLECT
2869.27/2877.94 c rational objective 9
2939.78/2948.66 c #Conflicts: 1257000 | #Constraints: 91589
2939.78/2948.66 c #Conflicts: 1258000 | #Constraints: 92589
2939.78/2948.66 c #Conflicts: 1259000 | #Constraints: 93589
2939.78/2948.66 c #Conflicts: 1260000 | #Constraints: 94589
2939.78/2948.66 c #Conflicts: 1261000 | #Constraints: 95589
2939.78/2948.66 c #Conflicts: 1262000 | #Constraints: 96589
2939.78/2948.66 c #Conflicts: 1263000 | #Constraints: 97589
2939.78/2948.66 c #Conflicts: 1264000 | #Constraints: 98589
2939.78/2948.66 c #Conflicts: 1265000 | #Constraints: 99589
2939.78/2948.66 c #Conflicts: 1266000 | #Constraints: 100590
2939.78/2948.66 c #Conflicts: 1267000 | #Constraints: 101590
2939.78/2948.66 c #Conflicts: 1268000 | #Constraints: 102590
2939.78/2948.66 c #Conflicts: 1269000 | #Constraints: 103591
2939.78/2948.66 c #Conflicts: 1270000 | #Constraints: 104592
2939.78/2948.66 c #Conflicts: 1271000 | #Constraints: 105593
2939.78/2948.66 c #Conflicts: 1272000 | #Constraints: 106593
2939.78/2948.66 c #Conflicts: 1273000 | #Constraints: 107593
2939.78/2948.66 c #Conflicts: 1274000 | #Constraints: 108594
2939.78/2948.66 c #Conflicts: 1275000 | #Constraints: 109594
2939.78/2948.66 c #Conflicts: 1276000 | #Constraints: 110595
2939.78/2948.66 c #Conflicts: 1277000 | #Constraints: 111595
2939.78/2948.66 c #Conflicts: 1278000 | #Constraints: 112596
2939.78/2948.66 c #Conflicts: 1279000 | #Constraints: 113596
2939.78/2948.66 c INPROCESSING
2939.78/2948.66 c GARBAGE COLLECT
2939.78/2948.66 c rational objective 9
3060.35/3069.50 c #Conflicts: 1280000 | #Constraints: 92174
3060.35/3069.50 c #Conflicts: 1281000 | #Constraints: 93175
3060.35/3069.50 c #Conflicts: 1282000 | #Constraints: 94175
3060.35/3069.50 c #Conflicts: 1283000 | #Constraints: 95175
3060.35/3069.50 c #Conflicts: 1284000 | #Constraints: 96175
3060.35/3069.50 c #Conflicts: 1285000 | #Constraints: 97176
3060.35/3069.50 c #Conflicts: 1286000 | #Constraints: 98177
3060.35/3069.50 c #Conflicts: 1287000 | #Constraints: 99180
3060.35/3069.50 c #Conflicts: 1288000 | #Constraints: 100180
3060.35/3069.50 c #Conflicts: 1289000 | #Constraints: 101181
3060.35/3069.50 c #Conflicts: 1290000 | #Constraints: 102182
3060.35/3069.50 c #Conflicts: 1291000 | #Constraints: 103185
3060.35/3069.50 c #Conflicts: 1292000 | #Constraints: 104186
3060.35/3069.50 c #Conflicts: 1293000 | #Constraints: 105187
3060.35/3069.50 c #Conflicts: 1294000 | #Constraints: 106187
3060.35/3069.50 c #Conflicts: 1295000 | #Constraints: 107187
3060.35/3069.50 c #Conflicts: 1296000 | #Constraints: 108187
3060.35/3069.50 c #Conflicts: 1297000 | #Constraints: 109187
3060.35/3069.50 c #Conflicts: 1298000 | #Constraints: 110188
3060.35/3069.50 c #Conflicts: 1299000 | #Constraints: 111188
3060.35/3069.50 c #Conflicts: 1300000 | #Constraints: 112188
3060.35/3069.50 c #Conflicts: 1301000 | #Constraints: 113188
3060.35/3069.50 c #Conflicts: 1302000 | #Constraints: 114189
3060.35/3069.50 c INPROCESSING
3060.35/3069.50 c GARBAGE COLLECT
3060.35/3069.50 c rational objective 9
3119.49/3128.88 c #Conflicts: 1303000 | #Constraints: 92591
3119.49/3128.88 c #Conflicts: 1304000 | #Constraints: 93591
3119.49/3128.88 c #Conflicts: 1305000 | #Constraints: 94591
3119.49/3128.88 c #Conflicts: 1306000 | #Constraints: 95591
3119.49/3128.88 c #Conflicts: 1307000 | #Constraints: 96591
3119.49/3128.88 c #Conflicts: 1308000 | #Constraints: 97591
3119.49/3128.88 c #Conflicts: 1309000 | #Constraints: 98592
3119.49/3128.88 c #Conflicts: 1310000 | #Constraints: 99592
3119.49/3128.88 c #Conflicts: 1311000 | #Constraints: 100592
3119.49/3128.88 c #Conflicts: 1312000 | #Constraints: 101592
3119.49/3128.88 c #Conflicts: 1313000 | #Constraints: 102592
3119.49/3128.88 c #Conflicts: 1314000 | #Constraints: 103592
3119.49/3128.88 c #Conflicts: 1315000 | #Constraints: 104592
3119.49/3128.88 c #Conflicts: 1316000 | #Constraints: 105592
3119.49/3128.88 c #Conflicts: 1317000 | #Constraints: 106592
3119.49/3128.88 c #Conflicts: 1318000 | #Constraints: 107592
3119.49/3128.88 c #Conflicts: 1319000 | #Constraints: 108593
3119.49/3128.88 c #Conflicts: 1320000 | #Constraints: 109593
3119.49/3128.88 c #Conflicts: 1321000 | #Constraints: 110594
3119.49/3128.88 c #Conflicts: 1322000 | #Constraints: 111594
3119.49/3128.88 c #Conflicts: 1323000 | #Constraints: 112595
3119.49/3128.88 c #Conflicts: 1324000 | #Constraints: 113596
3119.49/3128.88 c #Conflicts: 1325000 | #Constraints: 114597
3119.49/3128.88 c INPROCESSING
3119.49/3128.88 c GARBAGE COLLECT
3119.49/3128.88 c rational objective 9
3166.66/3176.16 c #Conflicts: 1326000 | #Constraints: 92761
3166.66/3176.16 c #Conflicts: 1327000 | #Constraints: 93761
3166.66/3176.16 c #Conflicts: 1328000 | #Constraints: 94761
3166.66/3176.16 c #Conflicts: 1329000 | #Constraints: 95761
3166.66/3176.16 c #Conflicts: 1330000 | #Constraints: 96761
3166.66/3176.16 c #Conflicts: 1331000 | #Constraints: 97762
3166.66/3176.16 c #Conflicts: 1332000 | #Constraints: 98762
3166.66/3176.16 c #Conflicts: 1333000 | #Constraints: 99762
3166.66/3176.16 c #Conflicts: 1334000 | #Constraints: 100763
3166.66/3176.16 c #Conflicts: 1335000 | #Constraints: 101764
3166.66/3176.16 c #Conflicts: 1336000 | #Constraints: 102765
3166.66/3176.16 c #Conflicts: 1337000 | #Constraints: 103766
3166.66/3176.16 c #Conflicts: 1338000 | #Constraints: 104771
3166.66/3176.16 c #Conflicts: 1339000 | #Constraints: 105774
3166.66/3176.16 c #Conflicts: 1340000 | #Constraints: 106776
3166.66/3176.16 c #Conflicts: 1341000 | #Constraints: 107779
3166.66/3176.16 c #Conflicts: 1342000 | #Constraints: 108780
3166.66/3176.16 c #Conflicts: 1343000 | #Constraints: 109781
3166.66/3176.16 c #Conflicts: 1344000 | #Constraints: 110781
3166.66/3176.16 c #Conflicts: 1345000 | #Constraints: 111783
3166.66/3176.16 c #Conflicts: 1346000 | #Constraints: 112783
3166.66/3176.16 c #Conflicts: 1347000 | #Constraints: 113784
3166.66/3176.16 c #Conflicts: 1348000 | #Constraints: 114785
3166.66/3176.16 c INPROCESSING
3166.66/3176.16 c GARBAGE COLLECT
3166.66/3176.16 c rational objective 9
3236.67/3246.36 c #Conflicts: 1349000 | #Constraints: 92744
3236.67/3246.36 c #Conflicts: 1350000 | #Constraints: 93744
3236.67/3246.36 c #Conflicts: 1351000 | #Constraints: 94745
3236.67/3246.36 c #Conflicts: 1352000 | #Constraints: 95745
3236.67/3246.36 c #Conflicts: 1353000 | #Constraints: 96745
3236.67/3246.36 c #Conflicts: 1354000 | #Constraints: 97745
3236.67/3246.36 c #Conflicts: 1355000 | #Constraints: 98745
3236.67/3246.36 c #Conflicts: 1356000 | #Constraints: 99745
3236.67/3246.36 c #Conflicts: 1357000 | #Constraints: 100745
3236.67/3246.36 c #Conflicts: 1358000 | #Constraints: 101745
3236.67/3246.36 c #Conflicts: 1359000 | #Constraints: 102745
3236.67/3246.36 c #Conflicts: 1360000 | #Constraints: 103745
3236.67/3246.36 c #Conflicts: 1361000 | #Constraints: 104745
3236.67/3246.36 c #Conflicts: 1362000 | #Constraints: 105746
3236.67/3246.36 c #Conflicts: 1363000 | #Constraints: 106747
3236.67/3246.36 c #Conflicts: 1364000 | #Constraints: 107747
3236.67/3246.36 c #Conflicts: 1365000 | #Constraints: 108748
3236.67/3246.36 c #Conflicts: 1366000 | #Constraints: 109749
3236.67/3246.36 c #Conflicts: 1367000 | #Constraints: 110749
3236.67/3246.36 c #Conflicts: 1368000 | #Constraints: 111750
3236.67/3246.36 c #Conflicts: 1369000 | #Constraints: 112750
3236.67/3246.36 c #Conflicts: 1370000 | #Constraints: 113750
3236.67/3246.36 c #Conflicts: 1371000 | #Constraints: 114750
3236.67/3246.36 c INPROCESSING
3236.67/3246.36 c GARBAGE COLLECT
3236.67/3246.36 c rational objective 9
3295.91/3305.71 c #Conflicts: 1372000 | #Constraints: 92423
3295.91/3305.71 c #Conflicts: 1373000 | #Constraints: 93423
3295.91/3305.71 c #Conflicts: 1374000 | #Constraints: 94424
3295.91/3305.71 c #Conflicts: 1375000 | #Constraints: 95424
3295.91/3305.71 c #Conflicts: 1376000 | #Constraints: 96424
3295.91/3305.71 c #Conflicts: 1377000 | #Constraints: 97424
3295.91/3305.71 c #Conflicts: 1378000 | #Constraints: 98424
3295.91/3305.71 c #Conflicts: 1379000 | #Constraints: 99424
3295.91/3305.71 c #Conflicts: 1380000 | #Constraints: 100424
3295.91/3305.71 c #Conflicts: 1381000 | #Constraints: 101424
3295.91/3305.71 c #Conflicts: 1382000 | #Constraints: 102424
3295.91/3305.71 c #Conflicts: 1383000 | #Constraints: 103425
3295.91/3305.71 c #Conflicts: 1384000 | #Constraints: 104425
3295.91/3305.71 c #Conflicts: 1385000 | #Constraints: 105429
3295.91/3305.71 c #Conflicts: 1386000 | #Constraints: 106429
3295.91/3305.71 c #Conflicts: 1387000 | #Constraints: 107431
3295.91/3305.71 c #Conflicts: 1388000 | #Constraints: 108432
3295.91/3305.71 c #Conflicts: 1389000 | #Constraints: 109433
3295.91/3305.71 c #Conflicts: 1390000 | #Constraints: 110433
3295.91/3305.71 c #Conflicts: 1391000 | #Constraints: 111434
3295.91/3305.71 c #Conflicts: 1392000 | #Constraints: 112434
3295.91/3305.71 c #Conflicts: 1393000 | #Constraints: 113435
3295.91/3305.71 c #Conflicts: 1394000 | #Constraints: 114435
3295.91/3305.71 c #Conflicts: 1395000 | #Constraints: 115436
3295.91/3305.71 c INPROCESSING
3295.91/3305.71 c GARBAGE COLLECT
3295.91/3305.71 c rational objective 9
3346.37/3356.30 c #Conflicts: 1396000 | #Constraints: 93050
3346.37/3356.30 c #Conflicts: 1397000 | #Constraints: 94050
3346.37/3356.30 c #Conflicts: 1398000 | #Constraints: 95050
3346.37/3356.30 c #Conflicts: 1399000 | #Constraints: 96050
3346.37/3356.30 c #Conflicts: 1400000 | #Constraints: 97050
3346.37/3356.30 c #Conflicts: 1401000 | #Constraints: 98050
3346.37/3356.30 c #Conflicts: 1402000 | #Constraints: 99050
3346.37/3356.30 c #Conflicts: 1403000 | #Constraints: 100051
3346.37/3356.30 c #Conflicts: 1404000 | #Constraints: 101051
3346.37/3356.30 c #Conflicts: 1405000 | #Constraints: 102052
3346.37/3356.30 c #Conflicts: 1406000 | #Constraints: 103053
3346.37/3356.30 c #Conflicts: 1407000 | #Constraints: 104053
3346.37/3356.30 c #Conflicts: 1408000 | #Constraints: 105053
3346.37/3356.30 c #Conflicts: 1409000 | #Constraints: 106055
3346.37/3356.30 c #Conflicts: 1410000 | #Constraints: 107055
3346.37/3356.30 c #Conflicts: 1411000 | #Constraints: 108055
3346.37/3356.30 c #Conflicts: 1412000 | #Constraints: 109056
3346.37/3356.30 c #Conflicts: 1413000 | #Constraints: 110056
3346.37/3356.30 c #Conflicts: 1414000 | #Constraints: 111056
3346.37/3356.30 c #Conflicts: 1415000 | #Constraints: 112056
3346.37/3356.30 c #Conflicts: 1416000 | #Constraints: 113056
3346.37/3356.30 c #Conflicts: 1417000 | #Constraints: 114056
3346.37/3356.30 c #Conflicts: 1418000 | #Constraints: 115056
3346.37/3356.30 c #Conflicts: 1419000 | #Constraints: 116056
3346.37/3356.30 c INPROCESSING
3346.37/3356.30 c GARBAGE COLLECT
3346.37/3356.30 c rational objective 9
3423.16/3433.37 c #Conflicts: 1420000 | #Constraints: 93376
3423.16/3433.37 c #Conflicts: 1421000 | #Constraints: 94376
3423.16/3433.37 c #Conflicts: 1422000 | #Constraints: 95377
3423.16/3433.37 c #Conflicts: 1423000 | #Constraints: 96377
3423.16/3433.37 c #Conflicts: 1424000 | #Constraints: 97377
3423.16/3433.37 c #Conflicts: 1425000 | #Constraints: 98377
3423.16/3433.37 c #Conflicts: 1426000 | #Constraints: 99378
3423.16/3433.37 c #Conflicts: 1427000 | #Constraints: 100379
3423.16/3433.37 c #Conflicts: 1428000 | #Constraints: 101379
3423.16/3433.37 c #Conflicts: 1429000 | #Constraints: 102380
3423.16/3433.37 c #Conflicts: 1430000 | #Constraints: 103381
3423.16/3433.37 c #Conflicts: 1431000 | #Constraints: 104382
3423.16/3433.37 c #Conflicts: 1432000 | #Constraints: 105383
3423.16/3433.37 c #Conflicts: 1433000 | #Constraints: 106384
3423.16/3433.37 c #Conflicts: 1434000 | #Constraints: 107384
3423.16/3433.37 c #Conflicts: 1435000 | #Constraints: 108384
3423.16/3433.37 c #Conflicts: 1436000 | #Constraints: 109385
3423.16/3433.37 c #Conflicts: 1437000 | #Constraints: 110386
3423.16/3433.37 c #Conflicts: 1438000 | #Constraints: 111386
3423.16/3433.37 c #Conflicts: 1439000 | #Constraints: 112387
3423.16/3433.37 c #Conflicts: 1440000 | #Constraints: 113387
3423.16/3433.37 c #Conflicts: 1441000 | #Constraints: 114388
3423.16/3433.37 c #Conflicts: 1442000 | #Constraints: 115390
3423.16/3433.37 c #Conflicts: 1443000 | #Constraints: 116390
3423.16/3433.37 c INPROCESSING
3423.16/3433.37 c GARBAGE COLLECT
3423.16/3433.37 c rational objective 9
3478.56/3488.91 c #Conflicts: 1444000 | #Constraints: 93536
3478.56/3488.91 c #Conflicts: 1445000 | #Constraints: 94536
3478.56/3488.91 c #Conflicts: 1446000 | #Constraints: 95536
3478.56/3488.91 c #Conflicts: 1447000 | #Constraints: 96536
3478.56/3488.91 c #Conflicts: 1448000 | #Constraints: 97536
3478.56/3488.91 c #Conflicts: 1449000 | #Constraints: 98536
3478.56/3488.91 c #Conflicts: 1450000 | #Constraints: 99537
3478.56/3488.91 c #Conflicts: 1451000 | #Constraints: 100540
3478.56/3488.91 c #Conflicts: 1452000 | #Constraints: 101541
3478.56/3488.91 c #Conflicts: 1453000 | #Constraints: 102541
3478.56/3488.91 c #Conflicts: 1454000 | #Constraints: 103541
3478.56/3488.91 c #Conflicts: 1455000 | #Constraints: 104541
3478.56/3488.91 c #Conflicts: 1456000 | #Constraints: 105542
3478.56/3488.91 c #Conflicts: 1457000 | #Constraints: 106542
3478.56/3488.91 c #Conflicts: 1458000 | #Constraints: 107543
3478.56/3488.91 c #Conflicts: 1459000 | #Constraints: 108543
3478.56/3488.91 c #Conflicts: 1460000 | #Constraints: 109543
3478.56/3488.91 c #Conflicts: 1461000 | #Constraints: 110544
3478.56/3488.91 c #Conflicts: 1462000 | #Constraints: 111544
3478.56/3488.91 c #Conflicts: 1463000 | #Constraints: 112544
3478.56/3488.91 c #Conflicts: 1464000 | #Constraints: 113544
3478.56/3488.91 c #Conflicts: 1465000 | #Constraints: 114545
3478.56/3488.91 c #Conflicts: 1466000 | #Constraints: 115545
3478.56/3488.91 c #Conflicts: 1467000 | #Constraints: 116545
3478.56/3488.91 c INPROCESSING
3478.56/3488.91 c GARBAGE COLLECT
3478.56/3488.91 c rational objective 9
3535.10/3545.69 c #Conflicts: 1468000 | #Constraints: 93504
3535.10/3545.69 c #Conflicts: 1469000 | #Constraints: 94504
3535.10/3545.69 c #Conflicts: 1470000 | #Constraints: 95505
3535.10/3545.69 c #Conflicts: 1471000 | #Constraints: 96505
3535.10/3545.69 c #Conflicts: 1472000 | #Constraints: 97505
3535.10/3545.69 c #Conflicts: 1473000 | #Constraints: 98507
3535.10/3545.69 c #Conflicts: 1474000 | #Constraints: 99507
3535.10/3545.69 c #Conflicts: 1475000 | #Constraints: 100507
3535.10/3545.69 c #Conflicts: 1476000 | #Constraints: 101507
3535.10/3545.69 c #Conflicts: 1477000 | #Constraints: 102507
3535.10/3545.69 c #Conflicts: 1478000 | #Constraints: 103508
3535.10/3545.69 c #Conflicts: 1479000 | #Constraints: 104509
3535.10/3545.69 c #Conflicts: 1480000 | #Constraints: 105510
3535.10/3545.69 c #Conflicts: 1481000 | #Constraints: 106513
3535.10/3545.69 c #Conflicts: 1482000 | #Constraints: 107514
3535.10/3545.69 c #Conflicts: 1483000 | #Constraints: 108515
3535.10/3545.69 c #Conflicts: 1484000 | #Constraints: 109520
3535.10/3545.69 c #Conflicts: 1485000 | #Constraints: 110521
3535.10/3545.69 c #Conflicts: 1486000 | #Constraints: 111521
3535.10/3545.69 c #Conflicts: 1487000 | #Constraints: 112522
3535.10/3545.69 c #Conflicts: 1488000 | #Constraints: 113522
3535.10/3545.69 c #Conflicts: 1489000 | #Constraints: 114522
3535.10/3545.69 c #Conflicts: 1490000 | #Constraints: 115522
3535.10/3545.69 c #Conflicts: 1491000 | #Constraints: 116522
3535.10/3545.69 c INPROCESSING
3535.10/3545.69 c GARBAGE COLLECT
3535.10/3545.69 c rational objective 9
3589.26/3599.92 c #Conflicts: 1492000 | #Constraints: 93348
3589.26/3599.92 c #Conflicts: 1493000 | #Constraints: 94348
3589.26/3599.92 c #Conflicts: 1494000 | #Constraints: 95348
3589.26/3599.92 c #Conflicts: 1495000 | #Constraints: 96348
3589.26/3599.92 c #Conflicts: 1496000 | #Constraints: 97348
3589.26/3599.92 c #Conflicts: 1497000 | #Constraints: 98348
3589.26/3599.92 c #Conflicts: 1498000 | #Constraints: 99348
3589.26/3599.92 c #Conflicts: 1499000 | #Constraints: 100348
3589.26/3599.92 c #Conflicts: 1500000 | #Constraints: 101348
3589.26/3599.92 c #Conflicts: 1501000 | #Constraints: 102348
3589.26/3599.92 c #Conflicts: 1502000 | #Constraints: 103348
3589.26/3599.92 c #Conflicts: 1503000 | #Constraints: 104349
3589.26/3599.92 c #Conflicts: 1504000 | #Constraints: 105350
3589.26/3599.92 c #Conflicts: 1505000 | #Constraints: 106350
3589.26/3599.92 c #Conflicts: 1506000 | #Constraints: 107350
3589.26/3599.92 c #Conflicts: 1507000 | #Constraints: 108351
3589.26/3599.92 c #Conflicts: 1508000 | #Constraints: 109351
3589.26/3599.92 c #Conflicts: 1509000 | #Constraints: 110352
3589.26/3599.92 c #Conflicts: 1510000 | #Constraints: 111353
3589.26/3599.92 c #Conflicts: 1511000 | #Constraints: 112353
3589.26/3599.92 c #Conflicts: 1512000 | #Constraints: 113354
3589.26/3599.92 c #Conflicts: 1513000 | #Constraints: 114355
3589.26/3599.92 c #Conflicts: 1514000 | #Constraints: 115356
3589.26/3599.92 c #Conflicts: 1515000 | #Constraints: 116358
3589.26/3599.92 c #Conflicts: 1516000 | #Constraints: 117359
3589.26/3599.92 c INPROCESSING
3589.26/3599.92 c GARBAGE COLLECT
3589.26/3599.92 c rational objective 9
3600.02/3610.70 c #Conflicts: 1517000 | #Constraints: 93891
3600.02/3610.70 c #Conflicts: 1518000 | #Constraints: 94891
3600.02/3610.70 c #Conflicts: 1519000 | #Constraints: 95891
3600.02/3610.70 c #Conflicts: 1520000 | #Constraints: 96891
3600.02/3610.70 c #Conflicts: 1521000 | #Constraints: 97891
3600.02/3610.70 c #Conflicts: 1522000 | #Constraints: 98892
3600.02/3610.70 c #Conflicts: 1523000 | #Constraints: 99893
3600.02/3610.70 c #Conflicts: 1524000 | #Constraints: 100893
3600.02/3610.70 c Disabling crashed LP
3600.02/3610.70 c cpu time 3576.21 s
3600.02/3610.70 c deterministic time 285908248116 2.86e+11
3600.02/3610.70 c optimization time 10.0801 s
3600.02/3610.70 c total solve time 3565.84 s
3600.02/3610.70 c core-guided solve time 1761.62 s
3600.02/3610.70 c propagation time 2169.33 s
3600.02/3610.70 c conflict analysis time 762.347 s
3600.02/3610.70 c propagations 1086368489
3600.02/3610.70 c resolve steps 11396033
3600.02/3610.70 c decisions 12959478
3600.02/3610.70 c conflicts 1524836
3600.02/3610.70 c restarts 3002
3600.02/3610.70 c inprocessing phases 114
3600.02/3610.70 c garbage collections 114 ,( 100.00 )
3600.02/3610.70 c input clauses 83174 ,( 99.20 )
3600.02/3610.70 c input cardinalities 98 ,( 0.12 )
3600.02/3610.70 c input general constraints 576 ,( 0.69 )
3600.02/3610.70 c input average constraint length 3.72
3600.02/3610.70 c input average constraint degree 8.75
3600.02/3610.70 c learned clauses 201755 ,( 13.22 )
3600.02/3610.70 c learned cardinalities 15783 ,( 1.03 )
3600.02/3610.70 c learned general constraints 1308580 ,( 85.75 )
3600.02/3610.70 c learned average constraint length 944.60
3600.02/3610.70 c learned average constraint degree 6005034847.01
3600.02/3610.70 c watched CF 32, 64, 128, Arb: 585803 , 0 , 0 , 0
3600.02/3610.70 c counting CF 32, 64, 128, Arb: 723354 , 0 , 0 , 0
3600.02/3610.70 c watched constraints 585803 ,( 44.75 )
3600.02/3610.70 c counting constraints 723353 ,( 55.25 )
3600.02/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 510993718 , 38267852 , 2112335156 ,( 320494047 , 1791841109 )
3600.02/3610.70 c gcd simplifications 133718
3600.02/3610.70 c detected cardinalities 303
3600.02/3610.70 c weakened non-implied lits 422337591
3600.02/3610.70 c weakened non-implying lits 706323
3600.02/3610.70 c original variables 33108
3600.02/3610.70 c clausal propagations 469449867
3600.02/3610.70 c cardinality propagations 55627444
3600.02/3610.70 c watched propagations 6385626
3600.02/3610.70 c counting propagations 538927709
3600.02/3610.70 c watch lookups 112340865626
3600.02/3610.70 c watch backjump lookups 0
3600.02/3610.70 c watch checks 62150655825
3600.02/3610.70 c propagation checks 104762801869
3600.02/3610.70 c constraint additions 4451791864
3600.02/3610.70 c trail pops 1100842734
3600.02/3610.70 c formula constraints 83848
3600.02/3610.70 c learned constraints 1524049
3600.02/3610.70 c bound constraints 0
3600.02/3610.70 c core-guided constraints 0
3600.02/3610.70 c encountered formula constraints 7492196
3600.02/3610.70 c encountered learned constraints 5264280
3600.02/3610.70 c encountered bound constraints 0
3600.02/3610.70 c encountered core-guided constraints 0
3600.02/3610.70 c LP total time 1164.84 s
3600.02/3610.70 c LP solve time 1098.22 s
3600.02/3610.70 c LP constraints added 87492
3600.02/3610.70 c LP constraints removed 3610
3600.02/3610.70 c LP pivots internal 1524836
3600.02/3610.70 c LP pivots root 437394
3600.02/3610.70 c LP calls 937
3600.02/3610.70 c LP optimalities 144
3600.02/3610.70 c LP no pivot count 10
3600.02/3610.70 c LP infeasibilities 789
3600.02/3610.70 c LP valid Farkas constraints 787
3600.02/3610.70 c LP learned Farkas constraints 787
3600.02/3610.70 c LP basis resets 2
3600.02/3610.70 c LP cycling count 0
3600.02/3610.70 c LP singular count 0
3600.02/3610.70 c LP no primal count 0
3600.02/3610.70 c LP no farkas count 2
3600.02/3610.70 c LP other issue count 0
3600.02/3610.70 c LP Gomory cuts 495
3600.02/3610.70 c LP learned cuts 3149
3600.02/3610.70 c LP deleted cuts 3610
3600.02/3610.70 c LP encountered Gomory constraints 12999
3600.02/3610.70 c LP encountered Farkas constraints 134318
3600.02/3610.70 c LP encountered learned Farkas constraints 16289
3600.02/3610.70 c CG auxiliary variables introduced 0
3600.02/3610.70 c CG solutions found 0
3600.02/3610.70 c CG cores constructed 0
3600.02/3610.70 c CG core cardinality constraints returned 0
3600.02/3610.70 c CG unit cores 0
3600.02/3610.70 c CG single cores 0
3600.02/3610.70 c CG blocks removed during cardinality reduction 0
3600.02/3610.70 c CG first core best 0
3600.02/3610.70 c CG decision core best 0
3600.02/3610.70 c CG core reduction tie 0
3600.02/3610.70 c CG core degree average 0.00
3600.02/3610.70 c CG core slack average 0.00
3600.02/3610.70 c CG core upper bound improvements 0
3600.02/3610.70 c STR number of successful calls 0
3600.02/3610.70 c STR number of unsuccessful calls 0
3600.02/3610.70 c STR number of inconclusive calls 0
3600.02/3610.70 c STR number of successful attempts 0
3600.02/3610.70 c STR number of unsuccessful attempts 0
3600.02/3610.70 c STR number of inconclusive attempts 0
3600.02/3610.70 c STR average degree increase per successful call inf
3600.02/3610.70 c STR average degree increase per successful attempt inf
3600.02/3610.70 c STR total number of conflicts for successful attempts 0
3600.02/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.70 c STR average number of conflicts per successful attempt inf
3600.02/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.70 c AVG.sumWPerc 46.08
3600.02/3610.70 c bigint constraints 0
3600.02/3610.70 s UNKNOWN
3600.02/3610.70 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 (56901 MiB free)
memory of node 1: 64465 MiB (51087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498986-1751402567/watcher-4498986-1751402567 -o /tmp/evaluation-result-4498986-1751402567/solver-4498986-1751402567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54921 --watchdog 3760 run-opt-break.sh HOME/instance-4498986-1751402567.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55799, runsolver pid=55796
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 55801
/proc/meminfo: memFree=110557824/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55801] ppid=55799 vsize=29680 memory=18760 CPUtime=0.08 cores=4,6
/proc/55801/stat : 55801 (pbsuma) R 55799 55799 54907 0 -1 4194304 5099 0 0 0 8 0 0 0 20 0 1 0 55879194 30392320 4690 18446744073709551615 4210688 4653049 140730107091680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12541952 140730107099491 140730107099698 140730107099698 140730107105263 0
/proc/55801/statm: 7420 4690 992 108 0 4828 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33872 KiB
Current children cumulated memory: 21704 KiB
[startup+0.205776 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 55801
/proc/meminfo: memFree=110541948/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55801] ppid=55799 vsize=42884 memory=30880 CPUtime=0.19 cores=4,6
/proc/55801/stat : 55801 (pbsuma) R 55799 55799 54907 0 -1 4194304 8480 0 0 0 18 1 0 0 20 0 1 0 55879194 43913216 7720 18446744073709551615 4210688 4653049 140730107091680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12541952 140730107099491 140730107099698 140730107099698 140730107105263 0
/proc/55801/statm: 10721 7720 992 108 0 8129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47076 KiB
Current children cumulated memory: 33824 KiB
[startup+0.305559 s]*
/proc/loadavg: 4.11 4.11 4.09 5/270 55801
/proc/meminfo: memFree=110541948/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55801] ppid=55799 vsize=40508 memory=28704 CPUtime=0.29 cores=4,6
/proc/55801/stat : 55801 (pbsuma) R 55799 55799 54907 0 -1 4194304 8529 0 0 0 28 1 0 0 20 0 1 0 55879194 41480192 7176 18446744073709551615 4210688 4653049 140730107091680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12541952 140730107099491 140730107099698 140730107099698 140730107105263 0
/proc/55801/statm: 10127 7176 992 108 0 7535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 31648 KiB
[startup+0.700226 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 55801
/proc/meminfo: memFree=110541948/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55801] ppid=55799 vsize=40508 memory=28832 CPUtime=0.68 cores=4,6
/proc/55801/stat : 55801 (pbsuma) R 55799 55799 54907 0 -1 4194304 8573 0 0 0 67 1 0 0 20 0 1 0 55879194 41480192 7208 18446744073709551615 4210688 4653049 140730107091680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12541952 140730107099491 140730107099698 140730107099698 140730107105263 0
/proc/55801/statm: 10127 7208 992 108 0 7535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 31776 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 55802
/proc/meminfo: memFree=110517372/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=200156 memory=130536 CPUtime=0.73 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 18018 0 0 0 61 12 0 0 20 0 1 0 55879269 204959744 32634 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 50039 32634 2368 1147 0 37466 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 204348 KiB
Current children cumulated memory: 133480 KiB
[startup+3.10548 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 55802
/proc/meminfo: memFree=110387644/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=215448 memory=147548 CPUtime=2.33 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 21794 0 0 0 217 16 0 0 20 0 1 0 55879269 220618752 36887 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 53862 36887 2368 1147 0 41289 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219640 KiB
Current children cumulated memory: 150492 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.11 4.09 5/271 55803
/proc/meminfo: memFree=110180540/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=236668 memory=168332 CPUtime=5.52 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 22909 0 0 0 531 21 0 0 20 0 1 0 55879269 242348032 42083 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 59167 42083 2368 1147 0 46594 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 240860 KiB
Current children cumulated memory: 171276 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 55803
/proc/meminfo: memFree=110063004/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=256420 memory=187688 CPUtime=11.9 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 26738 0 0 0 1165 25 0 0 20 0 1 0 55879269 262574080 46922 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 64105 46922 2368 1147 0 51532 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 260612 KiB
Current children cumulated memory: 190632 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/271 55803
/proc/meminfo: memFree=109796992/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=343984 memory=265428 CPUtime=24.66 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 38535 0 0 0 2423 43 0 0 20 0 1 0 55879269 352239616 66357 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 85996 66357 2368 1147 0 73423 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 348176 KiB
Current children cumulated memory: 268372 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 55803
/proc/meminfo: memFree=106976488/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=350644 memory=269524 CPUtime=50.2 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 39550 0 0 0 4941 79 0 0 20 0 1 0 55879269 359059456 67381 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 87661 67381 2368 1147 0 75088 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 354836 KiB
Current children cumulated memory: 272468 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/270 55809
/proc/meminfo: memFree=105304252/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=428608 memory=354136 CPUtime=101.25 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 54598 0 0 0 9994 131 0 0 20 0 1 0 55879269 438894592 88534 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 107152 88534 2368 1147 0 94579 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 432800 KiB
Current children cumulated memory: 357080 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 55811
/proc/meminfo: memFree=103755664/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=505664 memory=398588 CPUtime=161.07 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 63700 0 0 0 15917 190 0 0 20 0 1 0 55879269 517799936 99647 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 126416 99647 2368 1147 0 113843 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 509856 KiB
Current children cumulated memory: 401532 KiB
[startup+222.3 s]
/proc/loadavg: 4.38 4.19 4.12 5/269 55813
/proc/meminfo: memFree=97085548/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=527128 memory=419324 CPUtime=220.89 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 68911 0 0 0 21832 257 0 0 20 0 1 0 55879269 539779072 104831 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 131782 104831 2368 1147 0 119209 0
################
# More data... #
################
/proc/55802/statm: 583416 493299 2464 1147 0 570843 0
Current children cumulated CPU time: 3093.06 s
Current children cumulated vsize: 2337856 KiB
Current children cumulated memory: 1976140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/269 56169
/proc/meminfo: memFree=100931864/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2333664 memory=1973324 CPUtime=3152.16 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 402925 0 0 0 313177 2039 0 0 20 0 1 0 55879269 2389671936 493331 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 583416 493331 2464 1147 0 570843 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 2337856 KiB
Current children cumulated memory: 1976268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 56171
/proc/meminfo: memFree=100863840/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2391688 memory=2020812 CPUtime=3212.01 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 414778 0 0 0 319125 2076 0 0 20 0 1 0 55879269 2449088512 505203 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 597922 505203 2464 1147 0 585349 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 2395880 KiB
Current children cumulated memory: 2023756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 56173
/proc/meminfo: memFree=100719784/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2519052 memory=2108108 CPUtime=3271.84 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 436706 0 0 0 325071 2113 0 0 20 0 1 0 55879269 2579509248 527027 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 629763 527027 2464 1147 0 617190 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 2523244 KiB
Current children cumulated memory: 2111052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 56175
/proc/meminfo: memFree=100719160/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2519500 memory=2108492 CPUtime=3331.68 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 436797 0 0 0 331019 2149 0 0 20 0 1 0 55879269 2579968000 527123 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 629875 527123 2464 1147 0 617302 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 2523692 KiB
Current children cumulated memory: 2111436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 56177
/proc/meminfo: memFree=100690608/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2536344 memory=2119372 CPUtime=3391.52 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 439533 0 0 0 336966 2186 0 0 20 0 1 0 55879269 2597216256 529843 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 634086 529843 2464 1147 0 621513 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 2540536 KiB
Current children cumulated memory: 2122316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 56319
/proc/meminfo: memFree=126331772/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2555304 memory=2144588 CPUtime=3451.3 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 445840 0 0 0 342911 2219 0 0 20 0 1 0 55879269 2616631296 536147 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 638826 536147 2464 1147 0 626253 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 2559496 KiB
Current children cumulated memory: 2147532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 56325
/proc/meminfo: memFree=126202140/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2555304 memory=2145868 CPUtime=3511.13 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 445861 0 0 0 348856 2257 0 0 20 0 1 0 55879269 2616631296 536467 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 638826 536467 2464 1147 0 626253 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 2559496 KiB
Current children cumulated memory: 2148812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 56328
/proc/meminfo: memFree=126117232/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2555304 memory=2146508 CPUtime=3570.97 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 445910 0 0 0 354805 2292 0 0 20 0 1 0 55879269 2616631296 536627 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 638826 536627 2464 1147 0 626253 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 2559496 KiB
Current children cumulated memory: 2149452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56328
/proc/meminfo: memFree=126108232/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2555304 memory=2146508 CPUtime=3599.29 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 445911 0 0 0 357620 2309 0 0 20 0 1 0 55879269 2616631296 536627 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 638826 536627 2464 1147 0 626253 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2559496 KiB
Current children cumulated memory: 2149452 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 55799 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.728469 s, system=0.013013 s
Sleeping 2 seconds
[startup+3610.78 s]
# the end of solver process 55802 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.94 s, system=23.1828 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 56328
/proc/meminfo: memFree=126108232/131250000 swapFree=33010684/33010684
[pid=55799] ppid=55796 vsize=4192 memory=2944 CPUtime=0.73 cores=4,6
/proc/55799/stat : 55799 (run-opt-break.s) S 55796 55799 54907 0 -1 4194304 235 8965 0 0 0 0 72 1 20 0 1 0 55879194 4292608 736 18446744073709551615 94212495867904 94212496762437 140732905351264 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94212497001488 94212497049232 94212504682496 140732905355617 140732905355746 140732905355746 140732905361348 0
/proc/55799/statm: 1048 736 672 219 0 110 0
[pid=55802] ppid=55799 vsize=2555304 memory=2146508 CPUtime=3599.29 cores=4,6
/proc/55802/stat : 55802 (roundingsat) R 55799 55799 54907 0 -1 4194304 445911 0 0 0 357620 2309 0 0 20 0 1 0 55879269 2616631296 536627 18446744073709551615 4227072 8923433 140736508955856 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12636160 140736508963172 140736508963368 140736508963368 140736508968938 0
/proc/55802/statm: 638826 536627 2464 1147 0 626253 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2559496 KiB
Current children cumulated memory: 2149452 KiB
Child status: 2
Real time (s): 3610.78
CPU time (s): 3600.13
CPU user time (s): 3576.94
CPU system time (s): 23.1828
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 2559496
Max. memory (cumulated for all children) (KiB): 2149452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.94
system time used= 23.1828
maximum resident set size= 2146636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 4312
# summary of solver processes directly reported to runsolver:
# pid: 55799,55802
# total CPU time (s): 3600.13
# total CPU user time (s): 3576.94
# total CPU system time (s): 23.1828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09527 second user time and 16.6212 second system time
The end
Begin job on nodeC028 at 2025-07-01 22:42:47
IDJOB=4498986
IDBENCH=148768
IDSOLVER=3359
FILE ID=nodeC028/4498986-1751402567
RUNJOBID= nodeC028-1751398701-54921
SLURM_JOB_ID= 9598282
Free space on /tmp= 432532 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498986-1751402567/watcher-4498986-1751402567 -o /tmp/evaluation-result-4498986-1751402567/solver-4498986-1751402567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751398701-54921 --watchdog 3760 run-opt-break.sh HOME/instance-4498986-1751402567.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=211162186
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 : 3600.073
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 : 3599.969
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.739
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 : 3537.362
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.103
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 : 3599.805
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 : 3635.492
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 : 3594.547
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: 110580000 kB
MemAvailable: 111116452 kB
Buffers: 3280 kB
Cached: 1342548 kB
SwapCached: 0 kB
Active: 19028680 kB
Inactive: 1033420 kB
Active(anon): 18734340 kB
Inactive(anon): 0 kB
Active(file): 294340 kB
Inactive(file): 1033420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8112 kB
Writeback: 0 kB
AnonPages: 18719340 kB
Mapped: 117292 kB
Shmem: 18068 kB
KReclaimable: 95860 kB
Slab: 182640 kB
SReclaimable: 95860 kB
SUnreclaim: 86780 kB
KernelStack: 4352 kB
PageTables: 40480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20517212 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5199872 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= 432884 MiB
End job on nodeC028 at 2025-07-01 23:42:58