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-4497838-1751401052.opb'
0.00/0.02 c read 0.62MB (9.99ms)
0.00/0.02 c [cnf: #variables 6076 #clauses 21394 #duplicates 8 #arr 55042]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (10.71ms)
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.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 5x2, generating row predicate
0.00/0.03 c (1.72ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 45706 #edges 146556]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (3.67ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 4 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4497838-1751401052.opb.pre'
0.00/0.04 c wrote 0.64MB (1.56ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 10.71ms 37.73% approx_orbits
0.00/0.04 c 9.99ms 35.18% parse
0.00/0.04 c 3.67ms 12.92% detect_generic
0.00/0.04 c 1.72ms 6.07% detect_special
0.00/0.04 c 1.56ms 5.49% output
0.00/0.04 c 0.54ms 1.90% other
0.00/0.04 c 0.20ms 0.70% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 28.38ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.07/0.15 c #variables 6076 #constraints 21393
0.07/0.15 c objective is ce32
0.07/0.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.17 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.17 c bounds 31 >= 0 @ 0.091799
2.45/2.57 c #Conflicts: 1000 | #Constraints: 22393
2.45/2.57 c #Conflicts: 2000 | #Constraints: 23393
2.45/2.57 c INPROCESSING
2.45/2.57 c GARBAGE COLLECT
2.45/2.57 c bounds 31 >= 6 @ 2.42954
2.45/2.57 c bounds 31 >= 7 @ 2.43136
2.45/2.58 c bounds 31 >= 8 @ 2.43228
2.45/2.58 c bounds 31 >= 9 @ 2.43332
2.45/2.58 c bounds 31 >= 10 @ 2.43431
2.45/2.58 c bounds 31 >= 11 @ 2.43533
2.65/2.71 c bounds 31 >= 12 @ 2.56603
5.05/5.15 c #Conflicts: 3000 | #Constraints: 23452
5.05/5.15 c #Conflicts: 4000 | #Constraints: 24452
5.05/5.15 c bounds 31 >= 13 @ 4.97034
10.04/10.19 c INPROCESSING
10.04/10.19 c GARBAGE COLLECT
10.04/10.19 c #Conflicts: 5000 | #Constraints: 23871
10.04/10.19 c #Conflicts: 6000 | #Constraints: 24871
10.04/10.19 c INPROCESSING
10.04/10.19 c GARBAGE COLLECT
10.04/10.19 c bounds 31 >= 14 @ 9.93171
23.20/23.37 c #Conflicts: 7000 | #Constraints: 23868
23.20/23.37 c #Conflicts: 8000 | #Constraints: 24868
23.20/23.37 c #Conflicts: 9000 | #Constraints: 25868
23.20/23.37 c INPROCESSING
23.20/23.37 c GARBAGE COLLECT
23.20/23.37 c #Conflicts: 10000 | #Constraints: 24585
23.20/23.37 c #Conflicts: 11000 | #Constraints: 25587
23.20/23.37 c #Conflicts: 12000 | #Constraints: 26588
23.20/23.37 c INPROCESSING
23.20/23.37 c GARBAGE COLLECT
23.20/23.37 c #Conflicts: 13000 | #Constraints: 25027
23.20/23.37 c #Conflicts: 14000 | #Constraints: 26027
23.20/23.37 c #Conflicts: 15000 | #Constraints: 27027
23.20/23.37 c INPROCESSING
23.20/23.37 c GARBAGE COLLECT
23.20/23.37 c rational objective 14
23.80/23.95 c bounds 31 >= 15 @ 23.512
24.10/24.29 c #Conflicts: 16000 | #Constraints: 25246
24.10/24.29 c bounds 31 >= 16 @ 23.8523
26.80/26.91 c #Conflicts: 17000 | #Constraints: 26264
26.80/26.91 c #Conflicts: 18000 | #Constraints: 27264
26.80/26.91 c INPROCESSING
26.80/26.91 c GARBAGE COLLECT
26.80/26.91 c bounds 30 >= 16 @ 26.4456
34.88/35.06 c #Conflicts: 19000 | #Constraints: 25322
34.88/35.06 c #Conflicts: 20000 | #Constraints: 26325
34.88/35.06 c #Conflicts: 21000 | #Constraints: 27325
34.88/35.06 c INPROCESSING
34.88/35.06 c GARBAGE COLLECT
34.88/35.06 c #Conflicts: 22000 | #Constraints: 25120
34.88/35.06 c #Conflicts: 23000 | #Constraints: 26120
34.88/35.06 c #Conflicts: 24000 | #Constraints: 27120
34.88/35.06 c #Conflicts: 25000 | #Constraints: 28120
34.88/35.06 c INPROCESSING
34.88/35.06 c GARBAGE COLLECT
34.88/35.06 c rational objective 16
35.57/35.73 c bounds 30 >= 17 @ 35.143
36.37/36.56 c #Conflicts: 26000 | #Constraints: 25710
36.37/36.56 c bounds 30 >= 18 @ 35.9577
37.37/37.51 c #Conflicts: 27000 | #Constraints: 26737
37.37/37.51 c bounds 29 >= 18 @ 36.899
37.57/37.70 c #Conflicts: 28000 | #Constraints: 27738
37.57/37.70 c bounds 28 >= 18 @ 37.082
46.85/47.06 c #Conflicts: 29000 | #Constraints: 28739
46.85/47.06 c INPROCESSING
46.85/47.06 c GARBAGE COLLECT
46.85/47.06 c #Conflicts: 30000 | #Constraints: 26187
46.85/47.06 c #Conflicts: 31000 | #Constraints: 27187
46.85/47.06 c #Conflicts: 32000 | #Constraints: 28187
46.85/47.06 c #Conflicts: 33000 | #Constraints: 29187
46.85/47.06 c INPROCESSING
46.85/47.06 c GARBAGE COLLECT
46.85/47.06 c #Conflicts: 34000 | #Constraints: 26360
46.85/47.06 c #Conflicts: 35000 | #Constraints: 27360
46.85/47.06 c #Conflicts: 36000 | #Constraints: 28360
46.85/47.06 c #Conflicts: 37000 | #Constraints: 29360
46.85/47.06 c INPROCESSING
46.85/47.06 c GARBAGE COLLECT
46.85/47.06 c rational objective 18
53.33/53.50 c #Conflicts: 38000 | #Constraints: 26392
53.33/53.50 c #Conflicts: 39000 | #Constraints: 27392
53.33/53.50 c #Conflicts: 40000 | #Constraints: 28392
53.33/53.50 c #Conflicts: 41000 | #Constraints: 29393
53.33/53.50 c INPROCESSING
53.33/53.50 c GARBAGE COLLECT
53.33/53.50 c rational objective 18
60.21/60.48 c #Conflicts: 42000 | #Constraints: 26161
60.21/60.48 c #Conflicts: 43000 | #Constraints: 27161
60.21/60.48 c #Conflicts: 44000 | #Constraints: 28161
60.21/60.48 c #Conflicts: 45000 | #Constraints: 29161
60.21/60.48 c #Conflicts: 46000 | #Constraints: 30161
60.21/60.48 c INPROCESSING
60.21/60.48 c GARBAGE COLLECT
60.21/60.48 c #Conflicts: 47000 | #Constraints: 26789
60.21/60.48 c #Conflicts: 48000 | #Constraints: 27791
60.21/60.48 c #Conflicts: 49000 | #Constraints: 28792
60.21/60.48 c bounds 27 >= 18 @ 59.5503
63.21/63.45 c #Conflicts: 50000 | #Constraints: 29795
63.21/63.45 c #Conflicts: 51000 | #Constraints: 30795
63.21/63.45 c INPROCESSING
63.21/63.45 c GARBAGE COLLECT
63.21/63.45 c rational objective 18
68.10/68.37 c #Conflicts: 52000 | #Constraints: 27156
68.10/68.37 c #Conflicts: 53000 | #Constraints: 28156
68.10/68.37 c #Conflicts: 54000 | #Constraints: 29156
68.10/68.37 c #Conflicts: 55000 | #Constraints: 30156
68.10/68.37 c #Conflicts: 56000 | #Constraints: 31156
68.10/68.37 c INPROCESSING
68.10/68.37 c GARBAGE COLLECT
68.10/68.37 c rational objective 18
68.40/68.66 c bounds 26 >= 18 @ 67.6358
68.40/68.67 c bounds 25 >= 18 @ 67.6439
73.58/73.86 c #Conflicts: 57000 | #Constraints: 27452
73.58/73.86 c #Conflicts: 58000 | #Constraints: 28453
73.58/73.86 c #Conflicts: 59000 | #Constraints: 29453
73.58/73.86 c #Conflicts: 60000 | #Constraints: 30455
73.58/73.86 c #Conflicts: 61000 | #Constraints: 31458
73.58/73.86 c INPROCESSING
73.58/73.86 c GARBAGE COLLECT
73.58/73.86 c rational objective 18
78.77/79.07 c #Conflicts: 62000 | #Constraints: 27409
78.77/79.07 c #Conflicts: 63000 | #Constraints: 28409
78.77/79.07 c #Conflicts: 64000 | #Constraints: 29409
78.77/79.07 c #Conflicts: 65000 | #Constraints: 30409
78.77/79.07 c #Conflicts: 66000 | #Constraints: 31409
78.77/79.07 c INPROCESSING
78.77/79.07 c GARBAGE COLLECT
78.77/79.07 c rational objective 18
85.95/86.30 c #Conflicts: 67000 | #Constraints: 27211
85.95/86.30 c #Conflicts: 68000 | #Constraints: 28211
85.95/86.30 c #Conflicts: 69000 | #Constraints: 29211
85.95/86.30 c #Conflicts: 70000 | #Constraints: 30211
85.95/86.30 c #Conflicts: 71000 | #Constraints: 31211
85.95/86.30 c #Conflicts: 72000 | #Constraints: 32211
85.95/86.30 c INPROCESSING
85.95/86.30 c GARBAGE COLLECT
85.95/86.30 c rational objective 18
90.04/90.36 c #Conflicts: 73000 | #Constraints: 27889
90.04/90.36 c #Conflicts: 74000 | #Constraints: 28889
90.04/90.36 c bounds 24 >= 18 @ 89.0419
92.53/92.85 c #Conflicts: 75000 | #Constraints: 29890
92.53/92.85 c #Conflicts: 76000 | #Constraints: 30890
92.53/92.85 c #Conflicts: 77000 | #Constraints: 31890
92.53/92.85 c #Conflicts: 78000 | #Constraints: 32890
92.53/92.85 c INPROCESSING
92.53/92.85 c GARBAGE COLLECT
92.53/92.85 WSVECS04 Frhs2[14]: 6 -1.00007 0 shouldn't be
92.53/92.85 WSVECS04 Frhs2[382]: 6 -1.00001 0 shouldn't be
94.23/94.52 c rational objective 18
98.22/98.59 c #Conflicts: 79000 | #Constraints: 28273
98.22/98.59 c #Conflicts: 80000 | #Constraints: 29273
98.22/98.59 c #Conflicts: 81000 | #Constraints: 30273
98.22/98.59 c #Conflicts: 82000 | #Constraints: 31273
98.22/98.59 c #Conflicts: 83000 | #Constraints: 32273
98.22/98.59 c bounds 23 >= 18 @ 97.1507
99.12/99.46 c #Conflicts: 84000 | #Constraints: 33274
99.12/99.46 c INPROCESSING
99.12/99.46 c GARBAGE COLLECT
99.12/99.46 WSVECS04 Frhs2[74]: 6 -1.00007 0 shouldn't be
99.12/99.46 WSVECS04 Frhs2[5326]: 6 -1.00002 0 shouldn't be
99.83/100.19 c rational objective 18
107.49/107.85 c #Conflicts: 85000 | #Constraints: 28485
107.49/107.85 c #Conflicts: 86000 | #Constraints: 29485
107.49/107.85 c #Conflicts: 87000 | #Constraints: 30485
107.49/107.85 c #Conflicts: 88000 | #Constraints: 31485
107.49/107.85 c #Conflicts: 89000 | #Constraints: 32485
107.49/107.85 c #Conflicts: 90000 | #Constraints: 33485
107.49/107.85 c bounds 23 >= 19 @ 106.299
108.39/108.75 c INPROCESSING
108.39/108.75 c GARBAGE COLLECT
108.39/108.75 c rational objective 19
118.67/119.02 c #Conflicts: 91000 | #Constraints: 28489
118.67/119.02 c #Conflicts: 92000 | #Constraints: 29489
118.67/119.02 c #Conflicts: 93000 | #Constraints: 30489
118.67/119.02 c #Conflicts: 94000 | #Constraints: 31489
118.67/119.02 c #Conflicts: 95000 | #Constraints: 32489
118.67/119.02 c #Conflicts: 96000 | #Constraints: 33489
118.67/119.02 c INPROCESSING
118.67/119.02 c GARBAGE COLLECT
118.67/119.02 c rational objective 19
131.84/132.21 c #Conflicts: 97000 | #Constraints: 28269
131.84/132.21 c #Conflicts: 98000 | #Constraints: 29269
131.84/132.21 c #Conflicts: 99000 | #Constraints: 30269
131.84/132.21 c #Conflicts: 100000 | #Constraints: 31269
131.84/132.21 c #Conflicts: 101000 | #Constraints: 32269
131.84/132.21 c #Conflicts: 102000 | #Constraints: 33269
131.84/132.21 c #Conflicts: 103000 | #Constraints: 34269
131.84/132.21 c INPROCESSING
131.84/132.21 c GARBAGE COLLECT
131.84/132.21 c rational objective 19
140.32/140.78 c #Conflicts: 104000 | #Constraints: 28928
140.32/140.78 c #Conflicts: 105000 | #Constraints: 29928
140.32/140.78 c #Conflicts: 106000 | #Constraints: 30928
140.32/140.78 c #Conflicts: 107000 | #Constraints: 31928
140.32/140.78 c #Conflicts: 108000 | #Constraints: 32928
140.32/140.78 c #Conflicts: 109000 | #Constraints: 33928
140.32/140.78 c #Conflicts: 110000 | #Constraints: 34928
140.32/140.78 c INPROCESSING
140.32/140.78 c GARBAGE COLLECT
140.32/140.78 c rational objective 19
151.79/152.23 c #Conflicts: 111000 | #Constraints: 29346
151.79/152.23 c #Conflicts: 112000 | #Constraints: 30346
151.79/152.23 c #Conflicts: 113000 | #Constraints: 31346
151.79/152.23 c #Conflicts: 114000 | #Constraints: 32346
151.79/152.23 c #Conflicts: 115000 | #Constraints: 33346
151.79/152.23 c #Conflicts: 116000 | #Constraints: 34346
151.79/152.23 c #Conflicts: 117000 | #Constraints: 35346
151.79/152.23 c INPROCESSING
151.79/152.23 c GARBAGE COLLECT
151.79/152.23 c rational objective 19
160.97/161.48 c #Conflicts: 118000 | #Constraints: 29521
160.97/161.48 c #Conflicts: 119000 | #Constraints: 30521
160.97/161.48 c #Conflicts: 120000 | #Constraints: 31521
160.97/161.48 c #Conflicts: 121000 | #Constraints: 32521
160.97/161.48 c #Conflicts: 122000 | #Constraints: 33521
160.97/161.48 c #Conflicts: 123000 | #Constraints: 34521
160.97/161.48 c #Conflicts: 124000 | #Constraints: 35521
160.97/161.48 c INPROCESSING
160.97/161.48 c GARBAGE COLLECT
160.97/161.48 c rational objective 19
170.44/170.97 c #Conflicts: 125000 | #Constraints: 29600
170.44/170.97 c #Conflicts: 126000 | #Constraints: 30600
170.44/170.97 c #Conflicts: 127000 | #Constraints: 31600
170.44/170.97 c #Conflicts: 128000 | #Constraints: 32600
170.44/170.97 c #Conflicts: 129000 | #Constraints: 33600
170.44/170.97 c #Conflicts: 130000 | #Constraints: 34600
170.44/170.97 c #Conflicts: 131000 | #Constraints: 35600
170.44/170.97 c INPROCESSING
170.44/170.97 c GARBAGE COLLECT
170.44/170.97 c rational objective 19
184.20/184.78 c #Conflicts: 132000 | #Constraints: 29489
184.20/184.78 c #Conflicts: 133000 | #Constraints: 30489
184.20/184.78 c #Conflicts: 134000 | #Constraints: 31489
184.20/184.78 c #Conflicts: 135000 | #Constraints: 32489
184.20/184.78 c #Conflicts: 136000 | #Constraints: 33489
184.20/184.78 c #Conflicts: 137000 | #Constraints: 34489
184.20/184.78 c #Conflicts: 138000 | #Constraints: 35489
184.20/184.78 c #Conflicts: 139000 | #Constraints: 36489
184.20/184.78 c INPROCESSING
184.20/184.78 c GARBAGE COLLECT
184.20/184.78 c rational objective 19
194.79/195.33 c #Conflicts: 140000 | #Constraints: 30015
194.79/195.33 c #Conflicts: 141000 | #Constraints: 31015
194.79/195.33 c #Conflicts: 142000 | #Constraints: 32015
194.79/195.33 c #Conflicts: 143000 | #Constraints: 33015
194.79/195.33 c #Conflicts: 144000 | #Constraints: 34015
194.79/195.33 c #Conflicts: 145000 | #Constraints: 35015
194.79/195.33 c #Conflicts: 146000 | #Constraints: 36016
194.79/195.33 c #Conflicts: 147000 | #Constraints: 37016
194.79/195.33 c INPROCESSING
194.79/195.33 c GARBAGE COLLECT
194.79/195.33 c rational objective 19
211.84/212.40 c #Conflicts: 148000 | #Constraints: 30417
211.84/212.40 c #Conflicts: 149000 | #Constraints: 31417
211.84/212.40 c #Conflicts: 150000 | #Constraints: 32417
211.84/212.40 c #Conflicts: 151000 | #Constraints: 33417
211.84/212.40 c #Conflicts: 152000 | #Constraints: 34417
211.84/212.40 c #Conflicts: 153000 | #Constraints: 35417
211.84/212.40 c #Conflicts: 154000 | #Constraints: 36417
211.84/212.40 c #Conflicts: 155000 | #Constraints: 37417
211.84/212.40 c INPROCESSING
211.84/212.40 c GARBAGE COLLECT
211.84/212.40 c rational objective 19
223.72/224.35 c #Conflicts: 156000 | #Constraints: 30642
223.72/224.35 c #Conflicts: 157000 | #Constraints: 31642
223.72/224.35 c #Conflicts: 158000 | #Constraints: 32642
223.72/224.35 c #Conflicts: 159000 | #Constraints: 33642
223.72/224.35 c #Conflicts: 160000 | #Constraints: 34642
223.72/224.35 c #Conflicts: 161000 | #Constraints: 35642
223.72/224.35 c #Conflicts: 162000 | #Constraints: 36642
223.72/224.35 c #Conflicts: 163000 | #Constraints: 37642
223.72/224.35 c INPROCESSING
223.72/224.35 c GARBAGE COLLECT
223.72/224.35 c rational objective 19
235.58/236.20 c #Conflicts: 164000 | #Constraints: 30689
235.58/236.20 c #Conflicts: 165000 | #Constraints: 31689
235.58/236.20 c #Conflicts: 166000 | #Constraints: 32689
235.58/236.20 c #Conflicts: 167000 | #Constraints: 33689
235.58/236.20 c #Conflicts: 168000 | #Constraints: 34689
235.58/236.20 c #Conflicts: 169000 | #Constraints: 35689
235.58/236.20 c #Conflicts: 170000 | #Constraints: 36689
235.58/236.20 c #Conflicts: 171000 | #Constraints: 37689
235.58/236.20 c INPROCESSING
235.58/236.20 c GARBAGE COLLECT
235.58/236.20 c rational objective 19
252.05/252.73 c #Conflicts: 172000 | #Constraints: 30470
252.05/252.73 c #Conflicts: 173000 | #Constraints: 31470
252.05/252.73 c #Conflicts: 174000 | #Constraints: 32470
252.05/252.73 c #Conflicts: 175000 | #Constraints: 33470
252.05/252.73 c #Conflicts: 176000 | #Constraints: 34470
252.05/252.73 c #Conflicts: 177000 | #Constraints: 35470
252.05/252.73 c #Conflicts: 178000 | #Constraints: 36470
252.05/252.73 c #Conflicts: 179000 | #Constraints: 37470
252.05/252.73 c #Conflicts: 180000 | #Constraints: 38470
252.05/252.73 c INPROCESSING
252.05/252.73 c GARBAGE COLLECT
252.05/252.73 c rational objective 19
264.42/265.11 c #Conflicts: 181000 | #Constraints: 31094
264.42/265.11 c #Conflicts: 182000 | #Constraints: 32094
264.42/265.11 c #Conflicts: 183000 | #Constraints: 33094
264.42/265.11 c #Conflicts: 184000 | #Constraints: 34094
264.42/265.11 c #Conflicts: 185000 | #Constraints: 35094
264.42/265.11 c #Conflicts: 186000 | #Constraints: 36094
264.42/265.11 c #Conflicts: 187000 | #Constraints: 37094
264.42/265.11 c #Conflicts: 188000 | #Constraints: 38094
264.42/265.11 c #Conflicts: 189000 | #Constraints: 39094
264.42/265.11 c INPROCESSING
264.42/265.11 c GARBAGE COLLECT
264.42/265.11 c rational objective 19
278.18/278.93 c #Conflicts: 190000 | #Constraints: 31507
278.18/278.93 c #Conflicts: 191000 | #Constraints: 32507
278.18/278.93 c #Conflicts: 192000 | #Constraints: 33507
278.18/278.93 c #Conflicts: 193000 | #Constraints: 34507
278.18/278.93 c #Conflicts: 194000 | #Constraints: 35507
278.18/278.93 c #Conflicts: 195000 | #Constraints: 36507
278.18/278.93 c #Conflicts: 196000 | #Constraints: 37507
278.18/278.93 c #Conflicts: 197000 | #Constraints: 38507
278.18/278.93 c #Conflicts: 198000 | #Constraints: 39507
278.18/278.93 c INPROCESSING
278.18/278.93 c GARBAGE COLLECT
278.18/278.93 c rational objective 19
299.63/300.46 c #Conflicts: 199000 | #Constraints: 31798
299.63/300.46 c #Conflicts: 200000 | #Constraints: 32798
299.63/300.46 c #Conflicts: 201000 | #Constraints: 33798
299.63/300.46 c #Conflicts: 202000 | #Constraints: 34798
299.63/300.46 c #Conflicts: 203000 | #Constraints: 35798
299.63/300.46 c #Conflicts: 204000 | #Constraints: 36798
299.63/300.46 c #Conflicts: 205000 | #Constraints: 37798
299.63/300.46 c #Conflicts: 206000 | #Constraints: 38798
299.63/300.46 c #Conflicts: 207000 | #Constraints: 39798
299.63/300.46 c INPROCESSING
299.63/300.46 c GARBAGE COLLECT
299.63/300.46 c rational objective 19
311.21/312.07 c #Conflicts: 208000 | #Constraints: 31726
311.21/312.07 c #Conflicts: 209000 | #Constraints: 32726
311.21/312.07 c #Conflicts: 210000 | #Constraints: 33726
311.21/312.07 c #Conflicts: 211000 | #Constraints: 34726
311.21/312.07 c #Conflicts: 212000 | #Constraints: 35726
311.21/312.07 c #Conflicts: 213000 | #Constraints: 36726
311.21/312.07 c #Conflicts: 214000 | #Constraints: 37726
311.21/312.07 c #Conflicts: 215000 | #Constraints: 38726
311.21/312.07 c #Conflicts: 216000 | #Constraints: 39726
311.21/312.07 c INPROCESSING
311.21/312.07 c GARBAGE COLLECT
311.21/312.07 c rational objective 19
335.54/336.42 c #Conflicts: 217000 | #Constraints: 31644
335.54/336.42 c #Conflicts: 218000 | #Constraints: 32644
335.54/336.42 c #Conflicts: 219000 | #Constraints: 33644
335.54/336.42 c #Conflicts: 220000 | #Constraints: 34644
335.54/336.42 c #Conflicts: 221000 | #Constraints: 35644
335.54/336.42 c #Conflicts: 222000 | #Constraints: 36644
335.54/336.42 c #Conflicts: 223000 | #Constraints: 37644
335.54/336.42 c #Conflicts: 224000 | #Constraints: 38644
335.54/336.42 c #Conflicts: 225000 | #Constraints: 39644
335.54/336.42 c #Conflicts: 226000 | #Constraints: 40644
335.54/336.42 c INPROCESSING
335.54/336.42 c GARBAGE COLLECT
335.54/336.42 c rational objective 19
348.82/349.77 c #Conflicts: 227000 | #Constraints: 32139
348.82/349.77 c #Conflicts: 228000 | #Constraints: 33139
348.82/349.77 c #Conflicts: 229000 | #Constraints: 34139
348.82/349.77 c #Conflicts: 230000 | #Constraints: 35139
348.82/349.77 c #Conflicts: 231000 | #Constraints: 36139
348.82/349.77 c #Conflicts: 232000 | #Constraints: 37139
348.82/349.77 c #Conflicts: 233000 | #Constraints: 38139
348.82/349.77 c #Conflicts: 234000 | #Constraints: 39139
348.82/349.77 c #Conflicts: 235000 | #Constraints: 40139
348.82/349.77 c #Conflicts: 236000 | #Constraints: 41139
348.82/349.77 c INPROCESSING
348.82/349.77 c GARBAGE COLLECT
348.82/349.77 c rational objective 19
370.46/371.41 c #Conflicts: 237000 | #Constraints: 32605
370.46/371.41 c #Conflicts: 238000 | #Constraints: 33605
370.46/371.41 c #Conflicts: 239000 | #Constraints: 34605
370.46/371.41 c #Conflicts: 240000 | #Constraints: 35605
370.46/371.41 c #Conflicts: 241000 | #Constraints: 36605
370.46/371.41 c #Conflicts: 242000 | #Constraints: 37605
370.46/371.41 c #Conflicts: 243000 | #Constraints: 38605
370.46/371.41 c #Conflicts: 244000 | #Constraints: 39605
370.46/371.41 c #Conflicts: 245000 | #Constraints: 40605
370.46/371.41 c #Conflicts: 246000 | #Constraints: 41605
370.46/371.41 c INPROCESSING
370.46/371.41 c GARBAGE COLLECT
370.46/371.41 c rational objective 19
384.92/385.94 c #Conflicts: 247000 | #Constraints: 32836
384.92/385.94 c #Conflicts: 248000 | #Constraints: 33836
384.92/385.94 c #Conflicts: 249000 | #Constraints: 34836
384.92/385.94 c #Conflicts: 250000 | #Constraints: 35836
384.92/385.94 c #Conflicts: 251000 | #Constraints: 36836
384.92/385.94 c #Conflicts: 252000 | #Constraints: 37836
384.92/385.94 c #Conflicts: 253000 | #Constraints: 38837
384.92/385.94 c #Conflicts: 254000 | #Constraints: 39837
384.92/385.94 c #Conflicts: 255000 | #Constraints: 40837
384.92/385.94 c #Conflicts: 256000 | #Constraints: 41837
384.92/385.94 c INPROCESSING
384.92/385.94 c GARBAGE COLLECT
384.92/385.94 c rational objective 19
396.99/398.02 c #Conflicts: 257000 | #Constraints: 32825
396.99/398.02 c #Conflicts: 258000 | #Constraints: 33825
396.99/398.02 c #Conflicts: 259000 | #Constraints: 34825
396.99/398.02 c #Conflicts: 260000 | #Constraints: 35825
396.99/398.02 c #Conflicts: 261000 | #Constraints: 36825
396.99/398.02 c #Conflicts: 262000 | #Constraints: 37825
396.99/398.02 c #Conflicts: 263000 | #Constraints: 38825
396.99/398.02 c bounds 22 >= 19 @ 394.182
401.08/402.14 c #Conflicts: 264000 | #Constraints: 39826
401.08/402.14 c #Conflicts: 265000 | #Constraints: 40826
401.08/402.14 c #Conflicts: 266000 | #Constraints: 41826
401.08/402.14 c INPROCESSING
401.08/402.14 c GARBAGE COLLECT
401.08/402.14 c rational objective 19
423.01/424.13 c #Conflicts: 267000 | #Constraints: 32577
423.01/424.13 c #Conflicts: 268000 | #Constraints: 33577
423.01/424.13 c #Conflicts: 269000 | #Constraints: 34577
423.01/424.13 c #Conflicts: 270000 | #Constraints: 35577
423.01/424.13 c #Conflicts: 271000 | #Constraints: 36577
423.01/424.13 c #Conflicts: 272000 | #Constraints: 37577
423.01/424.13 c #Conflicts: 273000 | #Constraints: 38577
423.01/424.13 c #Conflicts: 274000 | #Constraints: 39577
423.01/424.13 c #Conflicts: 275000 | #Constraints: 40577
423.01/424.13 c #Conflicts: 276000 | #Constraints: 41577
423.01/424.13 c #Conflicts: 277000 | #Constraints: 42577
423.01/424.13 c INPROCESSING
423.01/424.13 c GARBAGE COLLECT
423.01/424.13 c rational objective 19
446.25/447.40 c #Conflicts: 278000 | #Constraints: 33247
446.25/447.40 c #Conflicts: 279000 | #Constraints: 34247
446.25/447.40 c #Conflicts: 280000 | #Constraints: 35247
446.25/447.40 c #Conflicts: 281000 | #Constraints: 36247
446.25/447.40 c #Conflicts: 282000 | #Constraints: 37247
446.25/447.40 c #Conflicts: 283000 | #Constraints: 38247
446.25/447.40 c #Conflicts: 284000 | #Constraints: 39247
446.25/447.40 c #Conflicts: 285000 | #Constraints: 40247
446.25/447.40 c #Conflicts: 286000 | #Constraints: 41247
446.25/447.40 c #Conflicts: 287000 | #Constraints: 42247
446.25/447.40 c #Conflicts: 288000 | #Constraints: 43247
446.25/447.40 c INPROCESSING
446.25/447.40 c GARBAGE COLLECT
446.25/447.40 c rational objective 19
474.58/475.89 c #Conflicts: 289000 | #Constraints: 33621
474.58/475.89 c #Conflicts: 290000 | #Constraints: 34621
474.58/475.89 c #Conflicts: 291000 | #Constraints: 35621
474.58/475.89 c #Conflicts: 292000 | #Constraints: 36621
474.58/475.89 c #Conflicts: 293000 | #Constraints: 37621
474.58/475.89 c #Conflicts: 294000 | #Constraints: 38621
474.58/475.89 c #Conflicts: 295000 | #Constraints: 39621
474.58/475.89 c #Conflicts: 296000 | #Constraints: 40621
474.58/475.89 c #Conflicts: 297000 | #Constraints: 41621
474.58/475.89 c #Conflicts: 298000 | #Constraints: 42621
474.58/475.89 c #Conflicts: 299000 | #Constraints: 43621
474.58/475.89 c INPROCESSING
474.58/475.89 c GARBAGE COLLECT
474.58/475.89 c rational objective 19
502.83/504.14 c #Conflicts: 300000 | #Constraints: 33851
502.83/504.14 c #Conflicts: 301000 | #Constraints: 34851
502.83/504.14 c #Conflicts: 302000 | #Constraints: 35851
502.83/504.14 c #Conflicts: 303000 | #Constraints: 36851
502.83/504.14 c #Conflicts: 304000 | #Constraints: 37851
502.83/504.14 c #Conflicts: 305000 | #Constraints: 38851
502.83/504.14 c #Conflicts: 306000 | #Constraints: 39851
502.83/504.14 c #Conflicts: 307000 | #Constraints: 40851
502.83/504.14 c #Conflicts: 308000 | #Constraints: 41851
502.83/504.14 c #Conflicts: 309000 | #Constraints: 42851
502.83/504.14 c #Conflicts: 310000 | #Constraints: 43851
502.83/504.14 c INPROCESSING
502.83/504.14 c GARBAGE COLLECT
502.83/504.14 c rational objective 19
517.29/518.60 c #Conflicts: 311000 | #Constraints: 33947
517.29/518.60 c #Conflicts: 312000 | #Constraints: 34947
517.29/518.60 c #Conflicts: 313000 | #Constraints: 35947
517.29/518.60 c #Conflicts: 314000 | #Constraints: 36947
517.29/518.60 c #Conflicts: 315000 | #Constraints: 37947
517.29/518.60 c #Conflicts: 316000 | #Constraints: 38947
517.29/518.60 c #Conflicts: 317000 | #Constraints: 39947
517.29/518.60 c #Conflicts: 318000 | #Constraints: 40947
517.29/518.60 c #Conflicts: 319000 | #Constraints: 41947
517.29/518.60 c #Conflicts: 320000 | #Constraints: 42947
517.29/518.60 c #Conflicts: 321000 | #Constraints: 43947
517.29/518.60 c INPROCESSING
517.29/518.60 c GARBAGE COLLECT
517.29/518.60 c rational objective 19
538.54/539.93 c #Conflicts: 322000 | #Constraints: 33780
538.54/539.93 c #Conflicts: 323000 | #Constraints: 34780
538.54/539.93 c #Conflicts: 324000 | #Constraints: 35780
538.54/539.93 c #Conflicts: 325000 | #Constraints: 36780
538.54/539.93 c #Conflicts: 326000 | #Constraints: 37780
538.54/539.93 c #Conflicts: 327000 | #Constraints: 38780
538.54/539.93 c #Conflicts: 328000 | #Constraints: 39780
538.54/539.93 c #Conflicts: 329000 | #Constraints: 40780
538.54/539.93 c #Conflicts: 330000 | #Constraints: 41780
538.54/539.93 c #Conflicts: 331000 | #Constraints: 42780
538.54/539.93 c #Conflicts: 332000 | #Constraints: 43780
538.54/539.93 c #Conflicts: 333000 | #Constraints: 44780
538.54/539.93 c INPROCESSING
538.54/539.93 c GARBAGE COLLECT
538.54/539.93 c rational objective 19
568.86/570.39 c #Conflicts: 334000 | #Constraints: 34374
568.86/570.39 c #Conflicts: 335000 | #Constraints: 35374
568.86/570.39 c #Conflicts: 336000 | #Constraints: 36374
568.86/570.39 c #Conflicts: 337000 | #Constraints: 37374
568.86/570.39 c #Conflicts: 338000 | #Constraints: 38374
568.86/570.39 c #Conflicts: 339000 | #Constraints: 39374
568.86/570.39 c #Conflicts: 340000 | #Constraints: 40374
568.86/570.39 c #Conflicts: 341000 | #Constraints: 41374
568.86/570.39 c #Conflicts: 342000 | #Constraints: 42374
568.86/570.39 c #Conflicts: 343000 | #Constraints: 43374
568.86/570.39 c #Conflicts: 344000 | #Constraints: 44374
568.86/570.39 c #Conflicts: 345000 | #Constraints: 45374
568.86/570.39 c INPROCESSING
568.86/570.39 c GARBAGE COLLECT
568.86/570.39 c rational objective 19
596.50/598.04 c #Conflicts: 346000 | #Constraints: 34862
596.50/598.04 c #Conflicts: 347000 | #Constraints: 35862
596.50/598.04 c #Conflicts: 348000 | #Constraints: 36862
596.50/598.04 c #Conflicts: 349000 | #Constraints: 37862
596.50/598.04 c #Conflicts: 350000 | #Constraints: 38862
596.50/598.04 c #Conflicts: 351000 | #Constraints: 39862
596.50/598.04 c #Conflicts: 352000 | #Constraints: 40862
596.50/598.04 c #Conflicts: 353000 | #Constraints: 41862
596.50/598.04 c #Conflicts: 354000 | #Constraints: 42862
596.50/598.04 c #Conflicts: 355000 | #Constraints: 43862
596.50/598.04 c #Conflicts: 356000 | #Constraints: 44862
596.50/598.04 c #Conflicts: 357000 | #Constraints: 45862
596.50/598.04 c INPROCESSING
596.50/598.04 c GARBAGE COLLECT
596.50/598.04 c rational objective 19
626.53/628.11 c #Conflicts: 358000 | #Constraints: 35035
626.53/628.11 c #Conflicts: 359000 | #Constraints: 36035
626.53/628.11 c #Conflicts: 360000 | #Constraints: 37035
626.53/628.11 c #Conflicts: 361000 | #Constraints: 38035
626.53/628.11 c #Conflicts: 362000 | #Constraints: 39035
626.53/628.11 c #Conflicts: 363000 | #Constraints: 40035
626.53/628.11 c #Conflicts: 364000 | #Constraints: 41035
626.53/628.11 c #Conflicts: 365000 | #Constraints: 42035
626.53/628.11 c #Conflicts: 366000 | #Constraints: 43035
626.53/628.11 c #Conflicts: 367000 | #Constraints: 44035
626.53/628.11 c #Conflicts: 368000 | #Constraints: 45035
626.53/628.11 c #Conflicts: 369000 | #Constraints: 46035
626.53/628.11 c INPROCESSING
626.53/628.11 c GARBAGE COLLECT
626.53/628.11 c rational objective 19
651.76/653.43 c #Conflicts: 370000 | #Constraints: 34969
651.76/653.43 c #Conflicts: 371000 | #Constraints: 35969
651.76/653.43 c #Conflicts: 372000 | #Constraints: 36969
651.76/653.43 c #Conflicts: 373000 | #Constraints: 37969
651.76/653.43 c #Conflicts: 374000 | #Constraints: 38969
651.76/653.43 c #Conflicts: 375000 | #Constraints: 39969
651.76/653.43 c #Conflicts: 376000 | #Constraints: 40969
651.76/653.43 c #Conflicts: 377000 | #Constraints: 41969
651.76/653.43 c #Conflicts: 378000 | #Constraints: 42969
651.76/653.43 c #Conflicts: 379000 | #Constraints: 43969
651.76/653.43 c #Conflicts: 380000 | #Constraints: 44969
651.76/653.43 c #Conflicts: 381000 | #Constraints: 45969
651.76/653.43 c INPROCESSING
651.76/653.43 c GARBAGE COLLECT
651.76/653.43 c rational objective 19
685.18/686.93 c #Conflicts: 382000 | #Constraints: 34783
685.18/686.93 c #Conflicts: 383000 | #Constraints: 35783
685.18/686.93 c #Conflicts: 384000 | #Constraints: 36783
685.18/686.93 c #Conflicts: 385000 | #Constraints: 37783
685.18/686.93 c #Conflicts: 386000 | #Constraints: 38783
685.18/686.93 c #Conflicts: 387000 | #Constraints: 39783
685.18/686.93 c #Conflicts: 388000 | #Constraints: 40783
685.18/686.93 c #Conflicts: 389000 | #Constraints: 41783
685.18/686.93 c #Conflicts: 390000 | #Constraints: 42783
685.18/686.93 c #Conflicts: 391000 | #Constraints: 43783
685.18/686.93 c #Conflicts: 392000 | #Constraints: 44783
685.18/686.93 c #Conflicts: 393000 | #Constraints: 45783
685.18/686.93 c #Conflicts: 394000 | #Constraints: 46783
685.18/686.93 c INPROCESSING
685.18/686.93 c GARBAGE COLLECT
685.18/686.93 c rational objective 19
718.70/720.57 c #Conflicts: 395000 | #Constraints: 35246
718.70/720.57 c #Conflicts: 396000 | #Constraints: 36246
718.70/720.57 c #Conflicts: 397000 | #Constraints: 37246
718.70/720.57 c #Conflicts: 398000 | #Constraints: 38246
718.70/720.57 c #Conflicts: 399000 | #Constraints: 39246
718.70/720.57 c #Conflicts: 400000 | #Constraints: 40246
718.70/720.57 c #Conflicts: 401000 | #Constraints: 41246
718.70/720.57 c #Conflicts: 402000 | #Constraints: 42246
718.70/720.57 c #Conflicts: 403000 | #Constraints: 43246
718.70/720.57 c #Conflicts: 404000 | #Constraints: 44246
718.70/720.57 c #Conflicts: 405000 | #Constraints: 45246
718.70/720.57 c #Conflicts: 406000 | #Constraints: 46246
718.70/720.57 c #Conflicts: 407000 | #Constraints: 47246
718.70/720.57 c INPROCESSING
718.70/720.57 c GARBAGE COLLECT
718.70/720.57 c rational objective 19
747.53/749.41 c #Conflicts: 408000 | #Constraints: 35783
747.53/749.41 c #Conflicts: 409000 | #Constraints: 36783
747.53/749.41 c #Conflicts: 410000 | #Constraints: 37783
747.53/749.41 c #Conflicts: 411000 | #Constraints: 38783
747.53/749.41 c #Conflicts: 412000 | #Constraints: 39783
747.53/749.41 c #Conflicts: 413000 | #Constraints: 40783
747.53/749.41 c #Conflicts: 414000 | #Constraints: 41783
747.53/749.41 c #Conflicts: 415000 | #Constraints: 42783
747.53/749.41 c #Conflicts: 416000 | #Constraints: 43783
747.53/749.41 c #Conflicts: 417000 | #Constraints: 44783
747.53/749.41 c #Conflicts: 418000 | #Constraints: 45783
747.53/749.41 c #Conflicts: 419000 | #Constraints: 46783
747.53/749.41 c #Conflicts: 420000 | #Constraints: 47783
747.53/749.41 c INPROCESSING
747.53/749.41 c GARBAGE COLLECT
747.53/749.41 c rational objective 19
778.66/780.68 c #Conflicts: 421000 | #Constraints: 35915
778.66/780.68 c #Conflicts: 422000 | #Constraints: 36915
778.66/780.68 c #Conflicts: 423000 | #Constraints: 37915
778.66/780.68 c #Conflicts: 424000 | #Constraints: 38915
778.66/780.68 c #Conflicts: 425000 | #Constraints: 39915
778.66/780.68 c #Conflicts: 426000 | #Constraints: 40915
778.66/780.68 c #Conflicts: 427000 | #Constraints: 41915
778.66/780.68 c #Conflicts: 428000 | #Constraints: 42915
778.66/780.68 c #Conflicts: 429000 | #Constraints: 43915
778.66/780.68 c #Conflicts: 430000 | #Constraints: 44915
778.66/780.68 c #Conflicts: 431000 | #Constraints: 45915
778.66/780.68 c #Conflicts: 432000 | #Constraints: 46915
778.66/780.68 c #Conflicts: 433000 | #Constraints: 47915
778.66/780.68 c INPROCESSING
778.66/780.68 c GARBAGE COLLECT
778.66/780.68 c rational objective 19
833.92/836.02 c #Conflicts: 434000 | #Constraints: 35944
833.92/836.02 c #Conflicts: 435000 | #Constraints: 36944
833.92/836.02 c #Conflicts: 436000 | #Constraints: 37944
833.92/836.02 c #Conflicts: 437000 | #Constraints: 38944
833.92/836.02 c #Conflicts: 438000 | #Constraints: 39944
833.92/836.02 c #Conflicts: 439000 | #Constraints: 40944
833.92/836.02 c #Conflicts: 440000 | #Constraints: 41944
833.92/836.02 c #Conflicts: 441000 | #Constraints: 42944
833.92/836.02 c #Conflicts: 442000 | #Constraints: 43944
833.92/836.02 c #Conflicts: 443000 | #Constraints: 44944
833.92/836.02 c #Conflicts: 444000 | #Constraints: 45944
833.92/836.02 c #Conflicts: 445000 | #Constraints: 46944
833.92/836.02 c #Conflicts: 446000 | #Constraints: 47944
833.92/836.02 c INPROCESSING
833.92/836.02 c GARBAGE COLLECT
833.92/836.02 c rational objective 19
847.29/849.43 c #Conflicts: 447000 | #Constraints: 35844
847.29/849.43 c #Conflicts: 448000 | #Constraints: 36844
847.29/849.43 c #Conflicts: 449000 | #Constraints: 37844
847.29/849.43 c #Conflicts: 450000 | #Constraints: 38844
847.29/849.43 c #Conflicts: 451000 | #Constraints: 39844
847.29/849.43 c #Conflicts: 452000 | #Constraints: 40844
847.29/849.43 c #Conflicts: 453000 | #Constraints: 41844
847.29/849.43 c #Conflicts: 454000 | #Constraints: 42844
847.29/849.43 c bounds 21 >= 19 @ 842.916
865.24/867.42 c #Conflicts: 455000 | #Constraints: 43845
865.24/867.42 c #Conflicts: 456000 | #Constraints: 44845
865.24/867.42 c #Conflicts: 457000 | #Constraints: 45845
865.24/867.42 c #Conflicts: 458000 | #Constraints: 46845
865.24/867.42 c #Conflicts: 459000 | #Constraints: 47845
865.24/867.42 c #Conflicts: 460000 | #Constraints: 48845
865.24/867.42 c INPROCESSING
865.24/867.42 c GARBAGE COLLECT
865.24/867.42 c rational objective 19
909.34/911.65 c #Conflicts: 461000 | #Constraints: 36521
909.34/911.65 c #Conflicts: 462000 | #Constraints: 37521
909.34/911.65 c #Conflicts: 463000 | #Constraints: 38522
909.34/911.65 c #Conflicts: 464000 | #Constraints: 39522
909.34/911.65 c #Conflicts: 465000 | #Constraints: 40522
909.34/911.65 c #Conflicts: 466000 | #Constraints: 41522
909.34/911.65 c #Conflicts: 467000 | #Constraints: 42522
909.34/911.65 c #Conflicts: 468000 | #Constraints: 43522
909.34/911.65 c #Conflicts: 469000 | #Constraints: 44522
909.34/911.65 c #Conflicts: 470000 | #Constraints: 45522
909.34/911.65 c #Conflicts: 471000 | #Constraints: 46522
909.34/911.65 c #Conflicts: 472000 | #Constraints: 47522
909.34/911.65 c #Conflicts: 473000 | #Constraints: 48522
909.34/911.65 c #Conflicts: 474000 | #Constraints: 49522
909.34/911.65 c INPROCESSING
909.34/911.65 c GARBAGE COLLECT
909.34/911.65 c rational objective 19
943.46/945.84 c #Conflicts: 475000 | #Constraints: 36833
943.46/945.84 c #Conflicts: 476000 | #Constraints: 37833
943.46/945.84 c #Conflicts: 477000 | #Constraints: 38833
943.46/945.84 c #Conflicts: 478000 | #Constraints: 39833
943.46/945.84 c #Conflicts: 479000 | #Constraints: 40833
943.46/945.84 c #Conflicts: 480000 | #Constraints: 41833
943.46/945.84 c #Conflicts: 481000 | #Constraints: 42833
943.46/945.84 c #Conflicts: 482000 | #Constraints: 43833
943.46/945.84 c #Conflicts: 483000 | #Constraints: 44833
943.46/945.84 c #Conflicts: 484000 | #Constraints: 45833
943.46/945.84 c #Conflicts: 485000 | #Constraints: 46833
943.46/945.84 c #Conflicts: 486000 | #Constraints: 47833
943.46/945.84 c #Conflicts: 487000 | #Constraints: 48833
943.46/945.84 c #Conflicts: 488000 | #Constraints: 49833
943.46/945.84 c INPROCESSING
943.46/945.84 c GARBAGE COLLECT
943.46/945.84 c rational objective 19
978.98/981.42 c #Conflicts: 489000 | #Constraints: 36960
978.98/981.42 c #Conflicts: 490000 | #Constraints: 37960
978.98/981.42 c #Conflicts: 491000 | #Constraints: 38960
978.98/981.42 c #Conflicts: 492000 | #Constraints: 39960
978.98/981.42 c #Conflicts: 493000 | #Constraints: 40960
978.98/981.42 c #Conflicts: 494000 | #Constraints: 41960
978.98/981.42 c #Conflicts: 495000 | #Constraints: 42960
978.98/981.42 c #Conflicts: 496000 | #Constraints: 43960
978.98/981.42 c #Conflicts: 497000 | #Constraints: 44960
978.98/981.42 c #Conflicts: 498000 | #Constraints: 45960
978.98/981.42 c #Conflicts: 499000 | #Constraints: 46960
978.98/981.42 c #Conflicts: 500000 | #Constraints: 47960
978.98/981.42 c #Conflicts: 501000 | #Constraints: 48960
978.98/981.42 c #Conflicts: 502000 | #Constraints: 49960
978.98/981.42 c INPROCESSING
978.98/981.42 c GARBAGE COLLECT
978.98/981.42 c rational objective 19
1012.60/1015.16 c #Conflicts: 503000 | #Constraints: 36927
1012.60/1015.16 c #Conflicts: 504000 | #Constraints: 37927
1012.60/1015.16 c #Conflicts: 505000 | #Constraints: 38927
1012.60/1015.16 c #Conflicts: 506000 | #Constraints: 39927
1012.60/1015.16 c #Conflicts: 507000 | #Constraints: 40927
1012.60/1015.16 c #Conflicts: 508000 | #Constraints: 41927
1012.60/1015.16 c #Conflicts: 509000 | #Constraints: 42927
1012.60/1015.16 c #Conflicts: 510000 | #Constraints: 43927
1012.60/1015.16 c #Conflicts: 511000 | #Constraints: 44927
1012.60/1015.16 c #Conflicts: 512000 | #Constraints: 45927
1012.60/1015.16 c #Conflicts: 513000 | #Constraints: 46927
1012.60/1015.16 c #Conflicts: 514000 | #Constraints: 47927
1012.60/1015.16 c #Conflicts: 515000 | #Constraints: 48927
1012.60/1015.16 c #Conflicts: 516000 | #Constraints: 49927
1012.60/1015.16 c INPROCESSING
1012.60/1015.16 c GARBAGE COLLECT
1012.60/1015.16 c rational objective 19
1062.28/1064.90 c #Conflicts: 517000 | #Constraints: 36724
1062.28/1064.90 c #Conflicts: 518000 | #Constraints: 37724
1062.28/1064.90 c #Conflicts: 519000 | #Constraints: 38724
1062.28/1064.90 c #Conflicts: 520000 | #Constraints: 39724
1062.28/1064.90 c #Conflicts: 521000 | #Constraints: 40724
1062.28/1064.90 c #Conflicts: 522000 | #Constraints: 41724
1062.28/1064.90 c #Conflicts: 523000 | #Constraints: 42724
1062.28/1064.90 c #Conflicts: 524000 | #Constraints: 43724
1062.28/1064.90 c #Conflicts: 525000 | #Constraints: 44724
1062.28/1064.90 c #Conflicts: 526000 | #Constraints: 45724
1062.28/1064.90 c #Conflicts: 527000 | #Constraints: 46724
1062.28/1064.90 c #Conflicts: 528000 | #Constraints: 47724
1062.28/1064.90 c #Conflicts: 529000 | #Constraints: 48724
1062.28/1064.90 c #Conflicts: 530000 | #Constraints: 49724
1062.28/1064.90 c #Conflicts: 531000 | #Constraints: 50724
1062.28/1064.90 c INPROCESSING
1062.28/1064.90 c GARBAGE COLLECT
1062.28/1064.90 c rational objective 19
1111.26/1114.01 c #Conflicts: 532000 | #Constraints: 37466
1111.26/1114.01 c #Conflicts: 533000 | #Constraints: 38466
1111.26/1114.01 c #Conflicts: 534000 | #Constraints: 39466
1111.26/1114.01 c #Conflicts: 535000 | #Constraints: 40466
1111.26/1114.01 c #Conflicts: 536000 | #Constraints: 41466
1111.26/1114.01 c #Conflicts: 537000 | #Constraints: 42466
1111.26/1114.01 c #Conflicts: 538000 | #Constraints: 43466
1111.26/1114.01 c #Conflicts: 539000 | #Constraints: 44466
1111.26/1114.01 c #Conflicts: 540000 | #Constraints: 45466
1111.26/1114.01 c #Conflicts: 541000 | #Constraints: 46466
1111.26/1114.01 c #Conflicts: 542000 | #Constraints: 47466
1111.26/1114.01 c #Conflicts: 543000 | #Constraints: 48466
1111.26/1114.01 c #Conflicts: 544000 | #Constraints: 49466
1111.26/1114.01 c #Conflicts: 545000 | #Constraints: 50466
1111.26/1114.01 c #Conflicts: 546000 | #Constraints: 51466
1111.26/1114.01 c INPROCESSING
1111.26/1114.01 c GARBAGE COLLECT
1111.26/1114.01 c rational objective 19
1149.46/1152.39 c #Conflicts: 547000 | #Constraints: 37871
1149.46/1152.39 c #Conflicts: 548000 | #Constraints: 38871
1149.46/1152.39 c #Conflicts: 549000 | #Constraints: 39871
1149.46/1152.39 c #Conflicts: 550000 | #Constraints: 40871
1149.46/1152.39 c #Conflicts: 551000 | #Constraints: 41871
1149.46/1152.39 c #Conflicts: 552000 | #Constraints: 42871
1149.46/1152.39 c #Conflicts: 553000 | #Constraints: 43871
1149.46/1152.39 c #Conflicts: 554000 | #Constraints: 44872
1149.46/1152.39 c #Conflicts: 555000 | #Constraints: 45872
1149.46/1152.39 c #Conflicts: 556000 | #Constraints: 46872
1149.46/1152.39 c #Conflicts: 557000 | #Constraints: 47872
1149.46/1152.39 c #Conflicts: 558000 | #Constraints: 48872
1149.46/1152.39 c #Conflicts: 559000 | #Constraints: 49872
1149.46/1152.39 c #Conflicts: 560000 | #Constraints: 50872
1149.46/1152.39 c #Conflicts: 561000 | #Constraints: 51872
1149.46/1152.39 c INPROCESSING
1149.46/1152.39 c GARBAGE COLLECT
1149.46/1152.39 c rational objective 19
1202.34/1205.37 c #Conflicts: 562000 | #Constraints: 38171
1202.34/1205.37 c #Conflicts: 563000 | #Constraints: 39171
1202.34/1205.37 c #Conflicts: 564000 | #Constraints: 40171
1202.34/1205.37 c #Conflicts: 565000 | #Constraints: 41171
1202.34/1205.37 c #Conflicts: 566000 | #Constraints: 42171
1202.34/1205.37 c #Conflicts: 567000 | #Constraints: 43171
1202.34/1205.37 c #Conflicts: 568000 | #Constraints: 44171
1202.34/1205.37 c #Conflicts: 569000 | #Constraints: 45171
1202.34/1205.37 c #Conflicts: 570000 | #Constraints: 46171
1202.34/1205.37 c #Conflicts: 571000 | #Constraints: 47171
1202.34/1205.37 c #Conflicts: 572000 | #Constraints: 48171
1202.34/1205.37 c #Conflicts: 573000 | #Constraints: 49171
1202.34/1205.37 c #Conflicts: 574000 | #Constraints: 50171
1202.34/1205.37 c #Conflicts: 575000 | #Constraints: 51171
1202.34/1205.37 c #Conflicts: 576000 | #Constraints: 52171
1202.34/1205.37 c INPROCESSING
1202.34/1205.37 c GARBAGE COLLECT
1202.34/1205.37 c rational objective 19
1261.30/1264.44 c #Conflicts: 577000 | #Constraints: 38206
1261.30/1264.44 c #Conflicts: 578000 | #Constraints: 39206
1261.30/1264.44 c #Conflicts: 579000 | #Constraints: 40206
1261.30/1264.44 c #Conflicts: 580000 | #Constraints: 41206
1261.30/1264.44 c #Conflicts: 581000 | #Constraints: 42206
1261.30/1264.44 c #Conflicts: 582000 | #Constraints: 43206
1261.30/1264.44 c #Conflicts: 583000 | #Constraints: 44206
1261.30/1264.44 c #Conflicts: 584000 | #Constraints: 45206
1261.30/1264.44 c #Conflicts: 585000 | #Constraints: 46206
1261.30/1264.44 c #Conflicts: 586000 | #Constraints: 47206
1261.30/1264.44 c #Conflicts: 587000 | #Constraints: 48206
1261.30/1264.44 c #Conflicts: 588000 | #Constraints: 49206
1261.30/1264.44 c #Conflicts: 589000 | #Constraints: 50206
1261.30/1264.44 c #Conflicts: 590000 | #Constraints: 51206
1261.30/1264.44 c #Conflicts: 591000 | #Constraints: 52206
1261.30/1264.44 c INPROCESSING
1261.30/1264.44 c GARBAGE COLLECT
1261.30/1264.44 c rational objective 19
1302.50/1305.77 c #Conflicts: 592000 | #Constraints: 38070
1302.50/1305.77 c #Conflicts: 593000 | #Constraints: 39070
1302.50/1305.77 c #Conflicts: 594000 | #Constraints: 40070
1302.50/1305.77 c #Conflicts: 595000 | #Constraints: 41070
1302.50/1305.77 c #Conflicts: 596000 | #Constraints: 42070
1302.50/1305.77 c #Conflicts: 597000 | #Constraints: 43070
1302.50/1305.77 c #Conflicts: 598000 | #Constraints: 44070
1302.50/1305.77 c #Conflicts: 599000 | #Constraints: 45070
1302.50/1305.77 c #Conflicts: 600000 | #Constraints: 46070
1302.50/1305.77 c #Conflicts: 601000 | #Constraints: 47070
1302.50/1305.77 c #Conflicts: 602000 | #Constraints: 48070
1302.50/1305.77 c #Conflicts: 603000 | #Constraints: 49070
1302.50/1305.77 c #Conflicts: 604000 | #Constraints: 50070
1302.50/1305.77 c #Conflicts: 605000 | #Constraints: 51070
1302.50/1305.77 c #Conflicts: 606000 | #Constraints: 52070
1302.50/1305.77 c #Conflicts: 607000 | #Constraints: 53070
1302.50/1305.77 c INPROCESSING
1302.50/1305.77 c GARBAGE COLLECT
1302.50/1305.77 c rational objective 19
1349.29/1352.62 c #Conflicts: 608000 | #Constraints: 38554
1349.29/1352.62 c #Conflicts: 609000 | #Constraints: 39554
1349.29/1352.62 c #Conflicts: 610000 | #Constraints: 40554
1349.29/1352.62 c #Conflicts: 611000 | #Constraints: 41554
1349.29/1352.62 c #Conflicts: 612000 | #Constraints: 42554
1349.29/1352.62 c #Conflicts: 613000 | #Constraints: 43554
1349.29/1352.62 c #Conflicts: 614000 | #Constraints: 44554
1349.29/1352.62 c #Conflicts: 615000 | #Constraints: 45554
1349.29/1352.62 c #Conflicts: 616000 | #Constraints: 46554
1349.29/1352.62 c #Conflicts: 617000 | #Constraints: 47554
1349.29/1352.62 c #Conflicts: 618000 | #Constraints: 48554
1349.29/1352.62 c #Conflicts: 619000 | #Constraints: 49554
1349.29/1352.62 c #Conflicts: 620000 | #Constraints: 50554
1349.29/1352.62 c #Conflicts: 621000 | #Constraints: 51554
1349.29/1352.62 c #Conflicts: 622000 | #Constraints: 52554
1349.29/1352.62 c #Conflicts: 623000 | #Constraints: 53554
1349.29/1352.62 c INPROCESSING
1349.29/1352.62 c GARBAGE COLLECT
1349.29/1352.62 c rational objective 19
1390.09/1393.57 c #Conflicts: 624000 | #Constraints: 39002
1390.09/1393.57 c #Conflicts: 625000 | #Constraints: 40002
1390.09/1393.57 c #Conflicts: 626000 | #Constraints: 41002
1390.09/1393.57 c #Conflicts: 627000 | #Constraints: 42002
1390.09/1393.57 c #Conflicts: 628000 | #Constraints: 43002
1390.09/1393.57 c #Conflicts: 629000 | #Constraints: 44002
1390.09/1393.57 c #Conflicts: 630000 | #Constraints: 45002
1390.09/1393.57 c #Conflicts: 631000 | #Constraints: 46002
1390.09/1393.57 c #Conflicts: 632000 | #Constraints: 47002
1390.09/1393.57 c #Conflicts: 633000 | #Constraints: 48002
1390.09/1393.57 c #Conflicts: 634000 | #Constraints: 49002
1390.09/1393.57 c #Conflicts: 635000 | #Constraints: 50002
1390.09/1393.57 c #Conflicts: 636000 | #Constraints: 51002
1390.09/1393.57 c #Conflicts: 637000 | #Constraints: 52002
1390.09/1393.57 c #Conflicts: 638000 | #Constraints: 53002
1390.09/1393.57 c #Conflicts: 639000 | #Constraints: 54002
1390.09/1393.57 c INPROCESSING
1390.09/1393.57 c GARBAGE COLLECT
1390.09/1393.57 c rational objective 19
1436.88/1440.41 c #Conflicts: 640000 | #Constraints: 39124
1436.88/1440.41 c #Conflicts: 641000 | #Constraints: 40124
1436.88/1440.41 c #Conflicts: 642000 | #Constraints: 41124
1436.88/1440.41 c #Conflicts: 643000 | #Constraints: 42124
1436.88/1440.41 c #Conflicts: 644000 | #Constraints: 43124
1436.88/1440.41 c #Conflicts: 645000 | #Constraints: 44124
1436.88/1440.41 c #Conflicts: 646000 | #Constraints: 45124
1436.88/1440.41 c #Conflicts: 647000 | #Constraints: 46124
1436.88/1440.41 c #Conflicts: 648000 | #Constraints: 47124
1436.88/1440.41 c #Conflicts: 649000 | #Constraints: 48124
1436.88/1440.41 c #Conflicts: 650000 | #Constraints: 49124
1436.88/1440.41 c #Conflicts: 651000 | #Constraints: 50124
1436.88/1440.41 c bounds 21 >= 20 @ 1430.82
1445.47/1449.08 c #Conflicts: 652000 | #Constraints: 51166
1445.47/1449.08 c #Conflicts: 653000 | #Constraints: 52166
1445.47/1449.08 c #Conflicts: 654000 | #Constraints: 53166
1445.47/1449.08 c #Conflicts: 655000 | #Constraints: 54166
1445.47/1449.08 c INPROCESSING
1445.47/1449.08 c GARBAGE COLLECT
1445.47/1449.08 c rational objective 20
1488.17/1491.89 c #Conflicts: 656000 | #Constraints: 38965
1488.17/1491.89 c #Conflicts: 657000 | #Constraints: 39965
1488.17/1491.89 c #Conflicts: 658000 | #Constraints: 40965
1488.17/1491.89 c #Conflicts: 659000 | #Constraints: 41965
1488.17/1491.89 c #Conflicts: 660000 | #Constraints: 42965
1488.17/1491.89 c #Conflicts: 661000 | #Constraints: 43965
1488.17/1491.89 c #Conflicts: 662000 | #Constraints: 44965
1488.17/1491.89 c #Conflicts: 663000 | #Constraints: 45965
1488.17/1491.89 c #Conflicts: 664000 | #Constraints: 46965
1488.17/1491.89 c #Conflicts: 665000 | #Constraints: 47965
1488.17/1491.89 c #Conflicts: 666000 | #Constraints: 48965
1488.17/1491.89 c #Conflicts: 667000 | #Constraints: 49965
1488.17/1491.89 c #Conflicts: 668000 | #Constraints: 50965
1488.17/1491.89 c #Conflicts: 669000 | #Constraints: 51965
1488.17/1491.89 c #Conflicts: 670000 | #Constraints: 52965
1488.17/1491.89 c #Conflicts: 671000 | #Constraints: 53965
1488.17/1491.89 c INPROCESSING
1488.17/1491.89 c GARBAGE COLLECT
1488.17/1491.89 c rational objective 20
1529.87/1533.62 c #Conflicts: 672000 | #Constraints: 38903
1529.87/1533.62 c #Conflicts: 673000 | #Constraints: 39903
1529.87/1533.62 c #Conflicts: 674000 | #Constraints: 40903
1529.87/1533.62 c #Conflicts: 675000 | #Constraints: 41903
1529.87/1533.62 c #Conflicts: 676000 | #Constraints: 42903
1529.87/1533.62 c #Conflicts: 677000 | #Constraints: 43903
1529.87/1533.62 c #Conflicts: 678000 | #Constraints: 44903
1529.87/1533.62 c #Conflicts: 679000 | #Constraints: 45903
1529.87/1533.62 c #Conflicts: 680000 | #Constraints: 46903
1529.87/1533.62 c #Conflicts: 681000 | #Constraints: 47903
1529.87/1533.62 c #Conflicts: 682000 | #Constraints: 48903
1529.87/1533.62 c #Conflicts: 683000 | #Constraints: 49903
1529.87/1533.62 c #Conflicts: 684000 | #Constraints: 50903
1529.87/1533.62 c #Conflicts: 685000 | #Constraints: 51903
1529.87/1533.62 c #Conflicts: 686000 | #Constraints: 52903
1529.87/1533.62 c #Conflicts: 687000 | #Constraints: 53903
1529.87/1533.62 c #Conflicts: 688000 | #Constraints: 54903
1529.87/1533.62 c INPROCESSING
1529.87/1533.62 c GARBAGE COLLECT
1529.87/1533.62 c rational objective 20
1578.16/1582.03 c #Conflicts: 689000 | #Constraints: 39495
1578.16/1582.03 c #Conflicts: 690000 | #Constraints: 40495
1578.16/1582.03 c #Conflicts: 691000 | #Constraints: 41495
1578.16/1582.03 c #Conflicts: 692000 | #Constraints: 42495
1578.16/1582.03 c #Conflicts: 693000 | #Constraints: 43495
1578.16/1582.03 c #Conflicts: 694000 | #Constraints: 44495
1578.16/1582.03 c #Conflicts: 695000 | #Constraints: 45495
1578.16/1582.03 c #Conflicts: 696000 | #Constraints: 46495
1578.16/1582.03 c #Conflicts: 697000 | #Constraints: 47495
1578.16/1582.03 c #Conflicts: 698000 | #Constraints: 48495
1578.16/1582.03 c #Conflicts: 699000 | #Constraints: 49495
1578.16/1582.03 c #Conflicts: 700000 | #Constraints: 50495
1578.16/1582.03 c #Conflicts: 701000 | #Constraints: 51495
1578.16/1582.03 c #Conflicts: 702000 | #Constraints: 52495
1578.16/1582.03 c #Conflicts: 703000 | #Constraints: 53495
1578.16/1582.03 c #Conflicts: 704000 | #Constraints: 54495
1578.16/1582.03 c #Conflicts: 705000 | #Constraints: 55495
1578.16/1582.03 c INPROCESSING
1578.16/1582.03 c GARBAGE COLLECT
1578.16/1582.03 c rational objective 20
1629.03/1633.03 c #Conflicts: 706000 | #Constraints: 39943
1629.03/1633.03 c #Conflicts: 707000 | #Constraints: 40943
1629.03/1633.03 c #Conflicts: 708000 | #Constraints: 41943
1629.03/1633.03 c #Conflicts: 709000 | #Constraints: 42943
1629.03/1633.03 c #Conflicts: 710000 | #Constraints: 43943
1629.03/1633.03 c #Conflicts: 711000 | #Constraints: 44943
1629.03/1633.03 c #Conflicts: 712000 | #Constraints: 45943
1629.03/1633.03 c #Conflicts: 713000 | #Constraints: 46943
1629.03/1633.03 c #Conflicts: 714000 | #Constraints: 47943
1629.03/1633.03 c #Conflicts: 715000 | #Constraints: 48943
1629.03/1633.03 c #Conflicts: 716000 | #Constraints: 49943
1629.03/1633.03 c #Conflicts: 717000 | #Constraints: 50943
1629.03/1633.03 c #Conflicts: 718000 | #Constraints: 51943
1629.03/1633.03 c #Conflicts: 719000 | #Constraints: 52943
1629.03/1633.03 c #Conflicts: 720000 | #Constraints: 53943
1629.03/1633.03 c #Conflicts: 721000 | #Constraints: 54943
1629.03/1633.03 c #Conflicts: 722000 | #Constraints: 55943
1629.03/1633.03 c INPROCESSING
1629.03/1633.03 c GARBAGE COLLECT
1629.03/1633.03 c rational objective 20
1663.84/1667.97 c #Conflicts: 723000 | #Constraints: 40042
1663.84/1667.97 c #Conflicts: 724000 | #Constraints: 41042
1663.84/1667.97 c #Conflicts: 725000 | #Constraints: 42042
1663.84/1667.97 c #Conflicts: 726000 | #Constraints: 43042
1663.84/1667.97 c #Conflicts: 727000 | #Constraints: 44042
1663.84/1667.97 c #Conflicts: 728000 | #Constraints: 45042
1663.84/1667.97 c #Conflicts: 729000 | #Constraints: 46042
1663.84/1667.97 c #Conflicts: 730000 | #Constraints: 47042
1663.84/1667.97 c #Conflicts: 731000 | #Constraints: 48042
1663.84/1667.97 c #Conflicts: 732000 | #Constraints: 49042
1663.84/1667.97 c #Conflicts: 733000 | #Constraints: 50042
1663.84/1667.97 c #Conflicts: 734000 | #Constraints: 51042
1663.84/1667.97 c #Conflicts: 735000 | #Constraints: 52042
1663.84/1667.97 c #Conflicts: 736000 | #Constraints: 53042
1663.84/1667.97 c #Conflicts: 737000 | #Constraints: 54042
1663.84/1667.97 c #Conflicts: 738000 | #Constraints: 55042
1663.84/1667.97 c #Conflicts: 739000 | #Constraints: 56042
1663.84/1667.97 c INPROCESSING
1663.84/1667.97 c GARBAGE COLLECT
1663.84/1667.97 c rational objective 20
1720.31/1724.59 c #Conflicts: 740000 | #Constraints: 40084
1720.31/1724.59 c #Conflicts: 741000 | #Constraints: 41084
1720.31/1724.59 c #Conflicts: 742000 | #Constraints: 42084
1720.31/1724.59 c #Conflicts: 743000 | #Constraints: 43084
1720.31/1724.59 c #Conflicts: 744000 | #Constraints: 44084
1720.31/1724.59 c #Conflicts: 745000 | #Constraints: 45084
1720.31/1724.59 c #Conflicts: 746000 | #Constraints: 46084
1720.31/1724.59 c #Conflicts: 747000 | #Constraints: 47084
1720.31/1724.59 c #Conflicts: 748000 | #Constraints: 48084
1720.31/1724.59 c #Conflicts: 749000 | #Constraints: 49084
1720.31/1724.59 c #Conflicts: 750000 | #Constraints: 50084
1720.31/1724.59 c #Conflicts: 751000 | #Constraints: 51084
1720.31/1724.59 c #Conflicts: 752000 | #Constraints: 52084
1720.31/1724.59 c #Conflicts: 753000 | #Constraints: 53084
1720.31/1724.59 c #Conflicts: 754000 | #Constraints: 54084
1720.31/1724.59 c #Conflicts: 755000 | #Constraints: 55084
1720.31/1724.59 c #Conflicts: 756000 | #Constraints: 56084
1720.31/1724.59 c INPROCESSING
1720.31/1724.59 c GARBAGE COLLECT
1720.31/1724.59 c rational objective 20
1766.71/1771.06 c #Conflicts: 757000 | #Constraints: 40050
1766.71/1771.06 c #Conflicts: 758000 | #Constraints: 41050
1766.71/1771.06 c #Conflicts: 759000 | #Constraints: 42050
1766.71/1771.06 c #Conflicts: 760000 | #Constraints: 43050
1766.71/1771.06 c #Conflicts: 761000 | #Constraints: 44050
1766.71/1771.06 c #Conflicts: 762000 | #Constraints: 45050
1766.71/1771.06 c #Conflicts: 763000 | #Constraints: 46050
1766.71/1771.06 c #Conflicts: 764000 | #Constraints: 47050
1766.71/1771.06 c #Conflicts: 765000 | #Constraints: 48050
1766.71/1771.06 c #Conflicts: 766000 | #Constraints: 49050
1766.71/1771.06 c #Conflicts: 767000 | #Constraints: 50050
1766.71/1771.06 c #Conflicts: 768000 | #Constraints: 51050
1766.71/1771.06 c #Conflicts: 769000 | #Constraints: 52050
1766.71/1771.06 c #Conflicts: 770000 | #Constraints: 53050
1766.71/1771.06 c #Conflicts: 771000 | #Constraints: 54050
1766.71/1771.06 c #Conflicts: 772000 | #Constraints: 55050
1766.71/1771.06 c #Conflicts: 773000 | #Constraints: 56050
1766.71/1771.06 c #Conflicts: 774000 | #Constraints: 57050
1766.71/1771.06 c INPROCESSING
1766.71/1771.06 c GARBAGE COLLECT
1766.71/1771.06 c rational objective 20
1815.99/1820.48 c #Conflicts: 775000 | #Constraints: 40665
1815.99/1820.48 c #Conflicts: 776000 | #Constraints: 41665
1815.99/1820.48 c #Conflicts: 777000 | #Constraints: 42665
1815.99/1820.48 c #Conflicts: 778000 | #Constraints: 43665
1815.99/1820.48 c #Conflicts: 779000 | #Constraints: 44665
1815.99/1820.48 c #Conflicts: 780000 | #Constraints: 45665
1815.99/1820.48 c #Conflicts: 781000 | #Constraints: 46665
1815.99/1820.48 c #Conflicts: 782000 | #Constraints: 47665
1815.99/1820.48 c #Conflicts: 783000 | #Constraints: 48665
1815.99/1820.48 c #Conflicts: 784000 | #Constraints: 49665
1815.99/1820.48 c #Conflicts: 785000 | #Constraints: 50665
1815.99/1820.48 c #Conflicts: 786000 | #Constraints: 51665
1815.99/1820.48 c #Conflicts: 787000 | #Constraints: 52665
1815.99/1820.48 c #Conflicts: 788000 | #Constraints: 53665
1815.99/1820.48 c #Conflicts: 789000 | #Constraints: 54665
1815.99/1820.48 c #Conflicts: 790000 | #Constraints: 55665
1815.99/1820.48 c #Conflicts: 791000 | #Constraints: 56665
1815.99/1820.48 c #Conflicts: 792000 | #Constraints: 57665
1815.99/1820.48 c INPROCESSING
1815.99/1820.48 c GARBAGE COLLECT
1815.99/1820.48 c rational objective 20
2253.56/2259.19 c #Conflicts: 793000 | #Constraints: 40875
2253.56/2259.19 c #Conflicts: 794000 | #Constraints: 41876
2253.56/2259.19 c #Conflicts: 795000 | #Constraints: 42876
2253.56/2259.19 c #Conflicts: 796000 | #Constraints: 43876
2253.56/2259.19 c #Conflicts: 797000 | #Constraints: 44876
2253.56/2259.19 c #Conflicts: 798000 | #Constraints: 45876
2253.56/2259.19 c #Conflicts: 799000 | #Constraints: 46876
2253.56/2259.19 c #Conflicts: 800000 | #Constraints: 47876
2253.56/2259.19 c #Conflicts: 801000 | #Constraints: 48876
2253.56/2259.19 c #Conflicts: 802000 | #Constraints: 49876
2253.56/2259.19 c #Conflicts: 803000 | #Constraints: 50876
2253.56/2259.19 c #Conflicts: 804000 | #Constraints: 51876
2253.56/2259.19 c #Conflicts: 805000 | #Constraints: 52876
2253.56/2259.19 c #Conflicts: 806000 | #Constraints: 53876
2253.56/2259.19 c #Conflicts: 807000 | #Constraints: 54876
2253.56/2259.19 c #Conflicts: 808000 | #Constraints: 55876
2253.56/2259.19 c #Conflicts: 809000 | #Constraints: 56876
2253.56/2259.19 c #Conflicts: 810000 | #Constraints: 57876
2253.56/2259.19 c #Conflicts: 811000 | #Constraints: 58876
2253.56/2259.19 c #Conflicts: 812000 | #Constraints: 59876
2253.56/2259.19 c #Conflicts: 813000 | #Constraints: 60876
2253.56/2259.19 c #Conflicts: 814000 | #Constraints: 61876
2253.56/2259.19 c #Conflicts: 815000 | #Constraints: 62876
2253.56/2259.19 c #Conflicts: 816000 | #Constraints: 63876
2253.56/2259.19 c #Conflicts: 817000 | #Constraints: 64876
2253.56/2259.19 c #Conflicts: 818000 | #Constraints: 65876
2253.56/2259.19 c #Conflicts: 819000 | #Constraints: 66876
2253.56/2259.19 c #Conflicts: 820000 | #Constraints: 67876
2253.56/2259.19 c #Conflicts: 821000 | #Constraints: 68876
2253.56/2259.19 c #Conflicts: 822000 | #Constraints: 69876
2253.56/2259.19 c #Conflicts: 823000 | #Constraints: 70876
2253.56/2259.19 c #Conflicts: 824000 | #Constraints: 71876
2253.56/2259.19 c #Conflicts: 825000 | #Constraints: 72876
2253.56/2259.19 c #Conflicts: 826000 | #Constraints: 73876
2253.56/2259.19 c #Conflicts: 827000 | #Constraints: 74876
2253.56/2259.19 c #Conflicts: 828000 | #Constraints: 75876
2253.56/2259.19 c #Conflicts: 829000 | #Constraints: 76876
2253.56/2259.19 c #Conflicts: 830000 | #Constraints: 77876
2253.56/2259.19 c #Conflicts: 831000 | #Constraints: 78876
2253.56/2259.19 c #Conflicts: 832000 | #Constraints: 79876
2253.56/2259.19 c #Conflicts: 833000 | #Constraints: 80876
2253.56/2259.19 c #Conflicts: 834000 | #Constraints: 81876
2253.56/2259.19 c #Conflicts: 835000 | #Constraints: 82876
2253.56/2259.19 c #Conflicts: 836000 | #Constraints: 83876
2253.56/2259.19 c #Conflicts: 837000 | #Constraints: 84876
2253.56/2259.19 c #Conflicts: 838000 | #Constraints: 85876
2253.56/2259.19 c #Conflicts: 839000 | #Constraints: 86876
2253.56/2259.19 c #Conflicts: 840000 | #Constraints: 87876
2253.56/2259.19 c #Conflicts: 841000 | #Constraints: 88876
2253.56/2259.19 c #Conflicts: 842000 | #Constraints: 89876
2253.56/2259.19 c #Conflicts: 843000 | #Constraints: 90876
2253.56/2259.19 c #Conflicts: 844000 | #Constraints: 91876
2253.56/2259.19 c #Conflicts: 845000 | #Constraints: 92876
2253.56/2259.19 c #Conflicts: 846000 | #Constraints: 93876
2253.56/2259.19 c #Conflicts: 847000 | #Constraints: 94876
2253.56/2259.19 c #Conflicts: 848000 | #Constraints: 95876
2253.56/2259.19 c #Conflicts: 849000 | #Constraints: 96876
2253.56/2259.19 c #Conflicts: 850000 | #Constraints: 97876
2253.56/2259.19 c #Conflicts: 851000 | #Constraints: 98876
2253.56/2259.19 c #Conflicts: 852000 | #Constraints: 99876
2253.56/2259.19 c #Conflicts: 853000 | #Constraints: 100876
2253.56/2259.19 c #Conflicts: 854000 | #Constraints: 101876
2253.56/2259.19 c #Conflicts: 855000 | #Constraints: 102876
2253.56/2259.19 c #Conflicts: 856000 | #Constraints: 103876
2253.56/2259.19 c #Conflicts: 857000 | #Constraints: 104876
2253.56/2259.19 c #Conflicts: 858000 | #Constraints: 105876
2253.56/2259.19 c #Conflicts: 859000 | #Constraints: 106876
2253.56/2259.19 c #Conflicts: 860000 | #Constraints: 107876
2253.56/2259.19 c #Conflicts: 861000 | #Constraints: 108876
2253.56/2259.19 c #Conflicts: 862000 | #Constraints: 109876
2253.56/2259.19 c #Conflicts: 863000 | #Constraints: 110876
2253.56/2259.19 c #Conflicts: 864000 | #Constraints: 111876
2253.56/2259.19 c #Conflicts: 865000 | #Constraints: 112876
2253.56/2259.19 c #Conflicts: 866000 | #Constraints: 113876
2253.56/2259.19 c #Conflicts: 867000 | #Constraints: 114876
2253.56/2259.19 c #Conflicts: 868000 | #Constraints: 115876
2253.56/2259.19 c #Conflicts: 869000 | #Constraints: 116876
2253.56/2259.19 c #Conflicts: 870000 | #Constraints: 117876
2253.56/2259.19 c #Conflicts: 871000 | #Constraints: 118876
2376.82/2382.79 c #Conflicts: 872000 | #Constraints: 119876
2376.82/2382.79 c #Conflicts: 873000 | #Constraints: 120876
2376.82/2382.79 c #Conflicts: 874000 | #Constraints: 121876
2376.82/2382.79 c #Conflicts: 875000 | #Constraints: 122876
2376.82/2382.79 c #Conflicts: 876000 | #Constraints: 123876
2376.82/2382.79 c #Conflicts: 877000 | #Constraints: 124876
2376.82/2382.79 c #Conflicts: 878000 | #Constraints: 125876
2376.82/2382.79 c #Conflicts: 879000 | #Constraints: 126876
2376.82/2382.79 c #Conflicts: 880000 | #Constraints: 127876
2376.82/2382.79 c #Conflicts: 881000 | #Constraints: 128876
2376.82/2382.79 c #Conflicts: 882000 | #Constraints: 129876
2376.82/2382.79 c INPROCESSING
2376.82/2382.79 c GARBAGE COLLECT
2376.82/2382.79 c rational objective 20
2484.85/2491.09 c #Conflicts: 883000 | #Constraints: 76759
2484.85/2491.09 c #Conflicts: 884000 | #Constraints: 77759
2484.85/2491.09 c #Conflicts: 885000 | #Constraints: 78759
2484.85/2491.09 c #Conflicts: 886000 | #Constraints: 79759
2484.85/2491.09 c #Conflicts: 887000 | #Constraints: 80759
2484.85/2491.09 c #Conflicts: 888000 | #Constraints: 81759
2484.85/2491.09 c #Conflicts: 889000 | #Constraints: 82759
2484.85/2491.09 c #Conflicts: 890000 | #Constraints: 83759
2484.85/2491.09 c #Conflicts: 891000 | #Constraints: 84759
2484.85/2491.09 c #Conflicts: 892000 | #Constraints: 85759
2484.85/2491.09 c #Conflicts: 893000 | #Constraints: 86759
2484.85/2491.09 c #Conflicts: 894000 | #Constraints: 87759
2484.85/2491.09 c #Conflicts: 895000 | #Constraints: 88759
2484.85/2491.09 c #Conflicts: 896000 | #Constraints: 89759
2484.85/2491.09 c #Conflicts: 897000 | #Constraints: 90759
2484.85/2491.09 c #Conflicts: 898000 | #Constraints: 91759
2484.85/2491.09 c #Conflicts: 899000 | #Constraints: 92759
2484.85/2491.09 c #Conflicts: 900000 | #Constraints: 93759
2484.85/2491.09 c #Conflicts: 901000 | #Constraints: 94759
2484.85/2491.09 c #Conflicts: 902000 | #Constraints: 95759
2484.85/2491.09 c INPROCESSING
2484.85/2491.09 c GARBAGE COLLECT
2484.85/2491.09 c rational objective 20
2524.54/2530.85 c #Conflicts: 903000 | #Constraints: 57268
2524.54/2530.85 c #Conflicts: 904000 | #Constraints: 58268
2524.54/2530.85 c #Conflicts: 905000 | #Constraints: 59268
2524.54/2530.85 c #Conflicts: 906000 | #Constraints: 60268
2524.54/2530.85 c #Conflicts: 907000 | #Constraints: 61268
2524.54/2530.85 c #Conflicts: 908000 | #Constraints: 62268
2524.54/2530.85 c #Conflicts: 909000 | #Constraints: 63268
2524.54/2530.85 c #Conflicts: 910000 | #Constraints: 64268
2524.54/2530.85 c #Conflicts: 911000 | #Constraints: 65268
2524.54/2530.85 c bounds 21 >= 21 @ 2516.14
2524.54/2530.85 c cpu time 2516.14 s
2524.54/2530.85 c deterministic time 126923181186 1.27e+11
2524.54/2530.85 c optimization time 0.027815 s
2524.54/2530.85 c total solve time 2516.04 s
2524.54/2530.85 c core-guided solve time 1232.6 s
2524.54/2530.85 c propagation time 1067.83 s
2524.54/2530.85 c conflict analysis time 1364.26 s
2524.54/2530.85 c propagations 607438636
2524.54/2530.85 c resolve steps 126364288
2524.54/2530.85 c decisions 3573586
2524.54/2530.85 c conflicts 911560
2524.54/2530.85 c restarts 1978
2524.54/2530.85 c inprocessing phases 82
2524.54/2530.85 c garbage collections 82 ,( 100.00 )
2524.54/2530.85 c input clauses 21440 ,( 99.31 )
2524.54/2530.85 c input cardinalities 92 ,( 0.43 )
2524.54/2530.85 c input general constraints 58 ,( 0.27 )
2524.54/2530.85 c input average constraint length 3.64
2524.54/2530.85 c input average constraint degree 1.51
2524.54/2530.85 c learned clauses 805370 ,( 88.34 )
2524.54/2530.85 c learned cardinalities 3457 ,( 0.38 )
2524.54/2530.85 c learned general constraints 102806 ,( 11.28 )
2524.54/2530.85 c learned average constraint length 875.41
2524.54/2530.85 c learned average constraint degree 10873026.13
2524.54/2530.85 c watched CF 32, 64, 128, Arb: 63478 , 0 , 0 , 0
2524.54/2530.85 c counting CF 32, 64, 128, Arb: 39387 , 0 , 0 , 0
2524.54/2530.85 c watched constraints 63478 ,( 61.71 )
2524.54/2530.85 c counting constraints 39386 ,( 38.29 )
2524.54/2530.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1114740199 , 30190085 , 4872133060 ,( 1435315773 , 3436817287 )
2524.54/2530.85 c gcd simplifications 1568
2524.54/2530.85 c detected cardinalities 15
2524.54/2530.85 c weakened non-implied lits 68410297
2524.54/2530.85 c weakened non-implying lits 97959
2524.54/2530.85 c original variables 6076
2524.54/2530.85 c clausal propagations 523918175
2524.54/2530.85 c cardinality propagations 6585030
2524.54/2530.85 c watched propagations 4115696
2524.54/2530.85 c counting propagations 68579873
2524.54/2530.85 c watch lookups 40812409799
2524.54/2530.85 c watch backjump lookups 0
2524.54/2530.85 c watch checks 76128733755
2524.54/2530.85 c propagation checks 6450902422
2524.54/2530.85 c constraint additions 2307193687
2524.54/2530.85 c trail pops 611920539
2524.54/2530.85 c formula constraints 21393
2524.54/2530.85 c learned constraints 911532
2524.54/2530.85 c bound constraints 26
2524.54/2530.85 c core-guided constraints 171
2524.54/2530.85 c encountered formula constraints 99704413
2524.54/2530.85 c encountered learned constraints 26904071
2524.54/2530.85 c encountered bound constraints 796
2524.54/2530.85 c encountered core-guided constraints 665162
2524.54/2530.85 c LP total time 279.683 s
2524.54/2530.85 c LP solve time 249.89 s
2524.54/2530.85 c LP constraints added 22076
2524.54/2530.85 c LP constraints removed 664
2524.54/2530.85 c LP pivots internal 913531
2524.54/2530.85 c LP pivots root 95230
2524.54/2530.85 c LP calls 574
2524.54/2530.85 c LP optimalities 539
2524.54/2530.85 c LP no pivot count 65
2524.54/2530.85 c LP infeasibilities 31
2524.54/2530.85 c LP valid Farkas constraints 31
2524.54/2530.85 c LP learned Farkas constraints 31
2524.54/2530.85 c LP basis resets 0
2524.54/2530.85 c LP cycling count 0
2524.54/2530.85 c LP singular count 0
2524.54/2530.85 c LP no primal count 0
2524.54/2530.85 c LP no farkas count 0
2524.54/2530.85 c LP other issue count 0
2524.54/2530.85 c LP Gomory cuts 39
2524.54/2530.85 c LP learned cuts 644
2524.54/2530.85 c LP deleted cuts 664
2524.54/2530.85 c LP encountered Gomory constraints 4
2524.54/2530.85 c LP encountered Farkas constraints 1259
2524.54/2530.85 c LP encountered learned Farkas constraints 112
2524.54/2530.85 c CG auxiliary variables introduced 62
2524.54/2530.85 c CG solutions found 10
2524.54/2530.85 c CG cores constructed 15
2524.54/2530.85 c CG core cardinality constraints returned 0
2524.54/2530.85 c CG unit cores 0
2524.54/2530.85 c CG single cores 15
2524.54/2530.85 c CG blocks removed during cardinality reduction 0
2524.54/2530.85 c CG first core best 0
2524.54/2530.85 c CG decision core best 0
2524.54/2530.85 c CG core reduction tie 0
2524.54/2530.85 c CG core degree average 1.00
2524.54/2530.85 c CG core slack average 46.27
2524.54/2530.85 c CG core upper bound improvements 31
2524.54/2530.85 c STR number of successful calls 0
2524.54/2530.85 c STR number of unsuccessful calls 0
2524.54/2530.85 c STR number of inconclusive calls 0
2524.54/2530.85 c STR number of successful attempts 0
2524.54/2530.85 c STR number of unsuccessful attempts 0
2524.54/2530.85 c STR number of inconclusive attempts 0
2524.54/2530.85 c STR average degree increase per successful call inf
2524.54/2530.85 c STR average degree increase per successful attempt inf
2524.54/2530.85 c STR total number of conflicts for successful attempts 0
2524.54/2530.85 c STR total number of conflicts for unsuccessful attempts 0
2524.54/2530.85 c STR total number of conflicts for inconclusive attempts 0
2524.54/2530.85 c STR average number of conflicts per successful attempt inf
2524.54/2530.85 c STR average number of conflicts per unsuccessful attempt inf
2524.54/2530.85 c STR average number of conflicts per inconclusive attempt inf
2524.54/2530.85 c AVG.sumWPerc 34.22
2524.54/2530.85 c bigint constraints 0
2524.54/2530.85 o 21
2524.54/2530.85 s OPTIMUM FOUND
2524.54/2530.85 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 x2635 -x2636 x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 x2957 -x2958 x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 x3208 -x3209 -x3210 -x3211 -x3212 x3213 x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 x4570 -x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076
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 (62920 MiB free)
memory of node 1: 64465 MiB (63068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497838-1751401052/watcher-4497838-1751401052 -o /tmp/evaluation-result-4497838-1751401052/solver-4497838-1751401052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55312 --watchdog 3760 run-opt-ls.sh HOME/instance-4497838-1751401052.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=55745, runsolver pid=55741
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.09 5/262 55753
/proc/meminfo: memFree=129007248/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=60920 memory=16300 CPUtime=0.04 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 1822 0 0 0 3 1 0 0 20 0 1 0 55783645 62382080 4075 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 15230 4075 1984 1147 0 2657 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65112 KiB
Current children cumulated memory: 19372 KiB
[startup+0.205551 s]*
/proc/loadavg: 4.08 4.09 4.09 5/267 55763
/proc/meminfo: memFree=128998208/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=93252 memory=45052 CPUtime=0.14 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 7842 0 0 0 12 2 0 0 20 0 1 0 55783645 95490048 11263 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 23313 11263 2336 1147 0 10740 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 48124 KiB
[startup+0.305544 s]*
/proc/loadavg: 4.15 4.10 4.09 5/267 55763
/proc/meminfo: memFree=128926516/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=94812 memory=45948 CPUtime=0.24 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 8085 0 0 0 21 3 0 0 20 0 1 0 55783645 97087488 11487 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 23703 11487 2336 1147 0 11130 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 99004 KiB
Current children cumulated memory: 49020 KiB
[startup+0.700191 s]
/proc/loadavg: 4.15 4.10 4.09 4/266 55763
/proc/meminfo: memFree=128925872/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=94944 memory=48724 CPUtime=0.63 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 8249 0 0 0 59 4 0 0 20 0 1 0 55783645 97222656 12181 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 23736 12181 2368 1147 0 11163 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 99136 KiB
Current children cumulated memory: 51796 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 55784
/proc/meminfo: memFree=128928440/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=107060 memory=59124 CPUtime=1.42 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 10312 0 0 0 136 6 0 0 20 0 1 0 55783645 109629440 14781 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 26765 14781 2368 1147 0 14192 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 111252 KiB
Current children cumulated memory: 62196 KiB
[startup+3.1053 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 55784
/proc/meminfo: memFree=128550400/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=109148 memory=60912 CPUtime=3.03 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 10824 0 0 0 295 8 0 0 20 0 1 0 55783645 111767552 15228 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 27287 15228 2368 1147 0 14714 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 113340 KiB
Current children cumulated memory: 63984 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 55795
/proc/meminfo: memFree=127507504/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=113780 memory=67184 CPUtime=6.21 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 12444 0 0 0 608 13 0 0 20 0 1 0 55783645 116510720 16796 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 28445 16796 2368 1147 0 15872 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 117972 KiB
Current children cumulated memory: 70256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.12 4.10 5/269 55795
/proc/meminfo: memFree=124857716/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=136736 memory=86300 CPUtime=12.59 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 14115 0 0 0 1241 18 0 0 20 0 1 0 55783645 140017664 21575 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 34184 21575 2400 1147 0 21611 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140928 KiB
Current children cumulated memory: 89372 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.10 5/269 55796
/proc/meminfo: memFree=124366556/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=150688 memory=97948 CPUtime=25.37 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 17051 0 0 0 2504 33 0 0 20 0 1 0 55783645 154304512 24487 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 37672 24487 2400 1147 0 25099 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 154880 KiB
Current children cumulated memory: 101020 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.12 4.10 5/269 55797
/proc/meminfo: memFree=119471484/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=160944 memory=108444 CPUtime=50.92 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 19668 0 0 0 5030 62 0 0 20 0 1 0 55783645 164806656 27111 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 40236 27111 2400 1147 0 27663 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 165136 KiB
Current children cumulated memory: 111516 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 55799
/proc/meminfo: memFree=118399524/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=173676 memory=120924 CPUtime=101.98 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 22854 0 0 0 10079 119 0 0 20 0 1 0 55783645 177844224 30231 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 43419 30231 2400 1147 0 30846 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 177868 KiB
Current children cumulated memory: 123996 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 55847
/proc/meminfo: memFree=118830384/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=200316 memory=143392 CPUtime=161.83 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 25404 0 0 0 16029 154 0 0 20 0 1 0 55783645 205123584 35848 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 50079 35848 2400 1147 0 37506 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 204508 KiB
Current children cumulated memory: 146464 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 55849
/proc/meminfo: memFree=116966028/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=204444 memory=147232 CPUtime=221.69 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 26375 0 0 0 21980 189 0 0 20 0 1 0 55783645 209350656 36808 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 51111 36808 2400 1147 0 38538 0
################
# More data... #
################
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 49306 0 0 0 224867 804 0 0 20 0 1 0 55783645 825008128 135265 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 201418 135265 2400 1147 0 188845 0
Current children cumulated CPU time: 2256.74 s
Current children cumulated vsize: 809864 KiB
Current children cumulated memory: 544132 KiB
[startup+2322.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 56096
/proc/meminfo: memFree=94590676/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=809156 memory=567144 CPUtime=2316.55 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 50204 0 0 0 230845 810 0 0 20 0 1 0 55783645 828575744 141786 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 202289 141786 2400 1147 0 189716 0
Current children cumulated CPU time: 2316.58 s
Current children cumulated vsize: 813348 KiB
Current children cumulated memory: 570216 KiB
[startup+2382.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 56098
/proc/meminfo: memFree=94554896/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=814740 memory=594584 CPUtime=2376.4 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 51435 0 0 0 236824 816 0 0 20 0 1 0 55783645 834293760 148646 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 203685 148646 2400 1147 0 191112 0
Current children cumulated CPU time: 2376.43 s
Current children cumulated vsize: 818932 KiB
Current children cumulated memory: 597656 KiB
[startup+2442.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 56101
/proc/meminfo: memFree=94333952/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597016 CPUtime=2436.24 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52068 0 0 0 242798 826 0 0 20 0 1 0 55783645 837197824 149254 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149254 2400 1147 0 191821 0
Current children cumulated CPU time: 2436.27 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600088 KiB
[startup+2502.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/268 56103
/proc/meminfo: memFree=93061436/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2496.08 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 248771 837 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2496.11 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2530.87 s]
# the end of solver process 55745 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2516.17 s, system=8.4553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 56103
/proc/meminfo: memFree=92801996/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2502.57 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 249419 838 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2521.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92477132/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2515.34 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 250693 841 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2515.37 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2524.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92408012/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2518.53 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 251012 841 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2518.56 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2528 s]*
/proc/loadavg: 4.13 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92205660/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2521.72 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 251330 842 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2521.75 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2529.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92144988/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2523.32 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 251489 843 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2523.35 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2530.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92108508/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2524.11 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 251568 843 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2524.14 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
[startup+2530.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 56104
/proc/meminfo: memFree=92108508/131249996 swapFree=33010160/33010684
[pid=55745] ppid=55741 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/55745/stat : 55745 (run-opt-ls.sh) S 55741 55745 55300 0 -1 4194304 235 4852 0 0 0 0 2 1 20 0 1 0 55783641 4292608 768 18446744073709551615 94071084036096 94071084930629 140733067988608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94071085169680 94071085217424 94071096844288 140733067991399 140733067991525 140733067991525 140733067997127 0
/proc/55745/statm: 1048 768 704 219 0 110 0
[pid=55750] ppid=55745 vsize=817576 memory=597272 CPUtime=2524.51 cores=1,3
/proc/55750/stat : 55750 (roundingsat) R 55745 55745 55300 0 -1 4194304 52109 0 0 0 251608 843 0 0 20 0 1 0 55783645 837197824 149318 18446744073709551615 4227072 8923433 140731490322416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43143168 140731490330950 140731490331176 140731490331176 140731490336746 0
/proc/55750/statm: 204394 149318 2400 1147 0 191821 0
Current children cumulated CPU time: 2524.54 s
Current children cumulated vsize: 821768 KiB
Current children cumulated memory: 600344 KiB
Child status: 0
Real time (s): 2530.87
CPU time (s): 2524.62
CPU user time (s): 2516.17
CPU system time (s): 8.4553
CPU usage (%): 99.7532
Max. virtual memory (cumulated for all children) (KiB): 821768
Max. memory (cumulated for all children) (KiB): 600344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 8.4553
maximum resident set size= 597272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265
involuntary context switches= 2302
# summary of solver processes directly reported to runsolver:
# pid: 55745
# total CPU time (s): 2524.62
# total CPU user time (s): 2516.17
# total CPU system time (s): 8.4553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13363 second user time and 11.0781 second system time
The end
Begin job on nodeC029 at 2025-07-01 22:17:32
IDJOB=4497838
IDBENCH=148194
IDSOLVER=3355
FILE ID=nodeC029/4497838-1751401052
RUNJOBID= nodeC029-1751397441-55312
SLURM_JOB_ID= 9598277
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497838-1751401052/watcher-4497838-1751401052 -o /tmp/evaluation-result-4497838-1751401052/solver-4497838-1751401052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55312 --watchdog 3760 run-opt-ls.sh HOME/instance-4497838-1751401052.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1847180055
nodeC029 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 : 3601.570
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 : 6999.46
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.774
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 : 6999.46
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 : 3603.839
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 : 6999.46
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 : 3598.671
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 : 6999.46
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 : 3599.719
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 : 6999.46
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.729
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 : 6999.46
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 : 3602.359
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 : 6999.46
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 : 3598.792
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 : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128989584 kB
MemAvailable: 129001772 kB
Buffers: 2128 kB
Cached: 818776 kB
SwapCached: 40 kB
Active: 1195420 kB
Inactive: 449144 kB
Active(anon): 836912 kB
Inactive(anon): 4768 kB
Active(file): 358508 kB
Inactive(file): 444376 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8956 kB
Writeback: 16 kB
AnonPages: 824896 kB
Mapped: 109936 kB
Shmem: 18020 kB
KReclaimable: 97084 kB
Slab: 184256 kB
SReclaimable: 97084 kB
SUnreclaim: 87172 kB
KernelStack: 4256 kB
PageTables: 4692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1189664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 391168 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431964 MiB
End job on nodeC029 at 2025-07-01 22:59:43