0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4497839-1751401180.opb'
0.00/0.04 c read 0.62MB (20.54ms)
0.00/0.04 c [cnf: #variables 6076 #clauses 21394 #duplicates 8 #arr 55042]
0.00/0.04 c output proof to 'PROOFDIR/proof-4497839-1751401180'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2] (22.34ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c found row 5x2, generating row predicate
0.00/0.06 c (3.74ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 45706 #edges 146556]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 1.00*10^0 #generators 0] (7.79ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 4 #add_vars 0]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4497839-1751401180.opb.pre'
0.00/0.08 c wrote 0.64MB (3.52ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 22.34ms 37.01% approx_orbits
0.00/0.08 c 20.54ms 34.03% parse
0.00/0.08 c 7.79ms 12.90% detect_generic
0.00/0.08 c 3.74ms 6.20% detect_special
0.00/0.08 c 3.52ms 5.83% output
0.00/0.08 c 1.99ms 3.30% other
0.00/0.08 c 0.44ms 0.73% finalize_order
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 60.37ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.38/0.45 c #variables 6076 #constraints 21393
0.38/0.45 c objective is ce32
0.38/0.51 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.51 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.38/0.51 c bounds 31 >= 0 @ 0.347362
3.52/3.69 c #Conflicts: 1000 | #Constraints: 22393
3.52/3.69 c #Conflicts: 2000 | #Constraints: 23393
3.52/3.69 c INPROCESSING
3.52/3.69 c GARBAGE COLLECT
3.52/3.69 c bounds 31 >= 6 @ 3.40061
3.52/3.69 c bounds 31 >= 7 @ 3.40283
3.52/3.69 c bounds 31 >= 8 @ 3.4041
3.52/3.69 c bounds 31 >= 9 @ 3.40448
3.63/3.70 c bounds 31 >= 10 @ 3.40572
3.63/3.70 c bounds 31 >= 11 @ 3.40703
3.73/3.85 c bounds 31 >= 12 @ 3.55497
6.40/6.50 c #Conflicts: 3000 | #Constraints: 23452
6.40/6.50 c #Conflicts: 4000 | #Constraints: 24452
6.40/6.50 c bounds 31 >= 13 @ 6.14783
11.68/11.84 c INPROCESSING
11.68/11.84 c GARBAGE COLLECT
11.68/11.84 c #Conflicts: 5000 | #Constraints: 23871
11.68/11.84 c #Conflicts: 6000 | #Constraints: 24871
11.68/11.84 c INPROCESSING
11.68/11.84 c GARBAGE COLLECT
11.68/11.84 c bounds 31 >= 14 @ 11.3728
25.35/25.59 c #Conflicts: 7000 | #Constraints: 23868
25.35/25.59 c #Conflicts: 8000 | #Constraints: 24868
25.35/25.59 c #Conflicts: 9000 | #Constraints: 25868
25.35/25.59 c INPROCESSING
25.35/25.59 c GARBAGE COLLECT
25.35/25.59 c #Conflicts: 10000 | #Constraints: 24585
25.35/25.59 c #Conflicts: 11000 | #Constraints: 25587
25.35/25.59 c #Conflicts: 12000 | #Constraints: 26588
25.35/25.59 c INPROCESSING
25.35/25.59 c GARBAGE COLLECT
25.35/25.59 c #Conflicts: 13000 | #Constraints: 25027
25.35/25.59 c #Conflicts: 14000 | #Constraints: 26027
25.35/25.59 c #Conflicts: 15000 | #Constraints: 27027
25.35/25.59 c INPROCESSING
25.35/25.59 c GARBAGE COLLECT
25.35/25.59 c rational objective 14
26.64/26.89 c bounds 31 >= 15 @ 26.1794
27.04/27.26 c #Conflicts: 16000 | #Constraints: 25246
27.04/27.26 c bounds 31 >= 16 @ 26.5429
29.74/29.97 c #Conflicts: 17000 | #Constraints: 26264
29.74/29.97 c #Conflicts: 18000 | #Constraints: 27264
29.74/29.97 c INPROCESSING
29.74/29.97 c GARBAGE COLLECT
29.74/29.97 c bounds 30 >= 16 @ 29.2288
38.11/38.33 c #Conflicts: 19000 | #Constraints: 25322
38.11/38.33 c #Conflicts: 20000 | #Constraints: 26325
38.11/38.33 c #Conflicts: 21000 | #Constraints: 27325
38.11/38.33 c INPROCESSING
38.11/38.33 c GARBAGE COLLECT
38.11/38.33 c #Conflicts: 22000 | #Constraints: 25120
38.11/38.33 c #Conflicts: 23000 | #Constraints: 26120
38.11/38.33 c #Conflicts: 24000 | #Constraints: 27120
38.11/38.33 c #Conflicts: 25000 | #Constraints: 28120
38.11/38.33 c INPROCESSING
38.11/38.33 c GARBAGE COLLECT
38.11/38.33 c rational objective 16
39.61/39.87 c bounds 30 >= 17 @ 38.9817
40.51/40.74 c #Conflicts: 26000 | #Constraints: 25710
40.51/40.74 c bounds 30 >= 18 @ 39.8439
41.51/41.74 c #Conflicts: 27000 | #Constraints: 26737
41.51/41.74 c bounds 29 >= 18 @ 40.8255
41.70/41.94 c #Conflicts: 28000 | #Constraints: 27738
41.70/41.94 c bounds 28 >= 18 @ 41.0214
51.53/51.95 c #Conflicts: 29000 | #Constraints: 28739
51.53/51.95 c INPROCESSING
51.53/51.95 c GARBAGE COLLECT
51.53/51.95 c #Conflicts: 30000 | #Constraints: 26187
51.53/51.95 c #Conflicts: 31000 | #Constraints: 27187
51.53/51.95 c #Conflicts: 32000 | #Constraints: 28187
51.53/51.95 c #Conflicts: 33000 | #Constraints: 29187
51.53/51.95 c INPROCESSING
51.53/51.95 c GARBAGE COLLECT
51.53/51.95 c #Conflicts: 34000 | #Constraints: 26360
51.53/51.95 c #Conflicts: 35000 | #Constraints: 27360
51.53/51.95 c #Conflicts: 36000 | #Constraints: 28360
51.53/51.95 c #Conflicts: 37000 | #Constraints: 29360
51.53/51.95 c INPROCESSING
51.53/51.95 c GARBAGE COLLECT
51.53/51.95 c rational objective 18
58.42/58.83 c #Conflicts: 38000 | #Constraints: 26392
58.42/58.83 c #Conflicts: 39000 | #Constraints: 27392
58.42/58.83 c #Conflicts: 40000 | #Constraints: 28392
58.42/58.83 c #Conflicts: 41000 | #Constraints: 29393
58.42/58.83 c INPROCESSING
58.42/58.83 c GARBAGE COLLECT
58.42/58.83 c rational objective 18
66.49/66.90 c #Conflicts: 42000 | #Constraints: 26161
66.49/66.90 c #Conflicts: 43000 | #Constraints: 27161
66.49/66.90 c #Conflicts: 44000 | #Constraints: 28161
66.49/66.90 c #Conflicts: 45000 | #Constraints: 29161
66.49/66.90 c #Conflicts: 46000 | #Constraints: 30161
66.49/66.90 c INPROCESSING
66.49/66.90 c GARBAGE COLLECT
66.49/66.90 c #Conflicts: 47000 | #Constraints: 26789
66.49/66.90 c #Conflicts: 48000 | #Constraints: 27791
66.49/66.90 c #Conflicts: 49000 | #Constraints: 28792
66.49/66.90 c bounds 27 >= 18 @ 65.4006
69.49/69.91 c #Conflicts: 50000 | #Constraints: 29795
69.49/69.91 c #Conflicts: 51000 | #Constraints: 30795
69.49/69.91 c INPROCESSING
69.49/69.91 c GARBAGE COLLECT
69.49/69.91 c rational objective 18
76.44/77.02 c #Conflicts: 52000 | #Constraints: 27156
76.44/77.02 c #Conflicts: 53000 | #Constraints: 28156
76.44/77.02 c #Conflicts: 54000 | #Constraints: 29156
76.44/77.02 c #Conflicts: 55000 | #Constraints: 30156
76.44/77.02 c #Conflicts: 56000 | #Constraints: 31156
76.44/77.02 c INPROCESSING
76.44/77.02 c GARBAGE COLLECT
76.44/77.02 c rational objective 18
77.12/77.71 c bounds 26 >= 18 @ 75.8999
77.12/77.72 c bounds 25 >= 18 @ 75.9097
82.62/83.21 c #Conflicts: 57000 | #Constraints: 27452
82.62/83.21 c #Conflicts: 58000 | #Constraints: 28453
82.62/83.21 c #Conflicts: 59000 | #Constraints: 29453
82.62/83.21 c #Conflicts: 60000 | #Constraints: 30455
82.62/83.21 c #Conflicts: 61000 | #Constraints: 31458
82.62/83.21 c INPROCESSING
82.62/83.21 c GARBAGE COLLECT
82.62/83.21 c rational objective 18
88.70/89.36 c #Conflicts: 62000 | #Constraints: 27409
88.70/89.36 c #Conflicts: 63000 | #Constraints: 28409
88.70/89.36 c #Conflicts: 64000 | #Constraints: 29409
88.70/89.36 c #Conflicts: 65000 | #Constraints: 30409
88.70/89.36 c #Conflicts: 66000 | #Constraints: 31409
88.70/89.36 c INPROCESSING
88.70/89.36 c GARBAGE COLLECT
88.70/89.36 c rational objective 18
96.39/97.02 c #Conflicts: 67000 | #Constraints: 27211
96.39/97.02 c #Conflicts: 68000 | #Constraints: 28211
96.39/97.02 c #Conflicts: 69000 | #Constraints: 29211
96.39/97.02 c #Conflicts: 70000 | #Constraints: 30211
96.39/97.02 c #Conflicts: 71000 | #Constraints: 31211
96.39/97.02 c #Conflicts: 72000 | #Constraints: 32211
96.39/97.02 c INPROCESSING
96.39/97.02 c GARBAGE COLLECT
96.39/97.02 c rational objective 18
101.07/101.74 c #Conflicts: 73000 | #Constraints: 27889
101.07/101.74 c #Conflicts: 74000 | #Constraints: 28889
101.07/101.74 c bounds 24 >= 18 @ 99.5424
103.66/104.34 c #Conflicts: 75000 | #Constraints: 29890
103.66/104.34 c #Conflicts: 76000 | #Constraints: 30890
103.66/104.34 c #Conflicts: 77000 | #Constraints: 31890
103.66/104.34 c #Conflicts: 78000 | #Constraints: 32890
103.66/104.34 c INPROCESSING
103.66/104.34 c GARBAGE COLLECT
103.66/104.34 WSVECS04 Frhs2[14]: 6 -1.00007 0 shouldn't be
103.66/104.34 WSVECS04 Frhs2[382]: 6 -1.00001 0 shouldn't be
105.26/105.96 c rational objective 18
111.93/112.72 c #Conflicts: 79000 | #Constraints: 28273
111.93/112.72 c #Conflicts: 80000 | #Constraints: 29273
111.93/112.72 c #Conflicts: 81000 | #Constraints: 30273
111.93/112.72 c #Conflicts: 82000 | #Constraints: 31273
111.93/112.72 c #Conflicts: 83000 | #Constraints: 32273
111.93/112.72 c bounds 23 >= 18 @ 110.277
112.74/113.58 c #Conflicts: 84000 | #Constraints: 33274
112.74/113.58 c INPROCESSING
112.74/113.58 c GARBAGE COLLECT
112.74/113.58 WSVECS04 Frhs2[74]: 6 -1.00007 0 shouldn't be
112.74/113.58 WSVECS04 Frhs2[5326]: 6 -1.00002 0 shouldn't be
113.43/114.29 c rational objective 18
122.22/123.06 c #Conflicts: 85000 | #Constraints: 28485
122.22/123.06 c #Conflicts: 86000 | #Constraints: 29485
122.22/123.06 c #Conflicts: 87000 | #Constraints: 30485
122.22/123.06 c #Conflicts: 88000 | #Constraints: 31485
122.22/123.06 c #Conflicts: 89000 | #Constraints: 32485
122.22/123.06 c #Conflicts: 90000 | #Constraints: 33485
122.22/123.06 c bounds 23 >= 19 @ 120.48
123.10/123.95 c INPROCESSING
123.10/123.95 c GARBAGE COLLECT
123.10/123.95 c rational objective 19
134.36/135.22 c #Conflicts: 91000 | #Constraints: 28489
134.36/135.22 c #Conflicts: 92000 | #Constraints: 29489
134.36/135.22 c #Conflicts: 93000 | #Constraints: 30489
134.36/135.22 c #Conflicts: 94000 | #Constraints: 31489
134.36/135.22 c #Conflicts: 95000 | #Constraints: 32489
134.36/135.22 c #Conflicts: 96000 | #Constraints: 33489
134.36/135.22 c INPROCESSING
134.36/135.22 c GARBAGE COLLECT
134.36/135.22 c rational objective 19
148.52/149.51 c #Conflicts: 97000 | #Constraints: 28269
148.52/149.51 c #Conflicts: 98000 | #Constraints: 29269
148.52/149.51 c #Conflicts: 99000 | #Constraints: 30269
148.52/149.51 c #Conflicts: 100000 | #Constraints: 31269
148.52/149.51 c #Conflicts: 101000 | #Constraints: 32269
148.52/149.51 c #Conflicts: 102000 | #Constraints: 33269
148.52/149.51 c #Conflicts: 103000 | #Constraints: 34269
148.52/149.51 c INPROCESSING
148.52/149.51 c GARBAGE COLLECT
148.52/149.51 c rational objective 19
157.49/158.52 c #Conflicts: 104000 | #Constraints: 28928
157.49/158.52 c #Conflicts: 105000 | #Constraints: 29928
157.49/158.52 c #Conflicts: 106000 | #Constraints: 30928
157.49/158.52 c #Conflicts: 107000 | #Constraints: 31928
157.49/158.52 c #Conflicts: 108000 | #Constraints: 32928
157.49/158.52 c #Conflicts: 109000 | #Constraints: 33928
157.49/158.52 c #Conflicts: 110000 | #Constraints: 34928
157.49/158.52 c INPROCESSING
157.49/158.52 c GARBAGE COLLECT
157.49/158.52 c rational objective 19
170.82/171.94 c #Conflicts: 111000 | #Constraints: 29346
170.82/171.94 c #Conflicts: 112000 | #Constraints: 30346
170.82/171.94 c #Conflicts: 113000 | #Constraints: 31346
170.82/171.94 c #Conflicts: 114000 | #Constraints: 32346
170.82/171.94 c #Conflicts: 115000 | #Constraints: 33346
170.82/171.94 c #Conflicts: 116000 | #Constraints: 34346
170.82/171.94 c #Conflicts: 117000 | #Constraints: 35346
170.82/171.94 c INPROCESSING
170.82/171.94 c GARBAGE COLLECT
170.82/171.94 c rational objective 19
180.79/181.99 c #Conflicts: 118000 | #Constraints: 29521
180.79/181.99 c #Conflicts: 119000 | #Constraints: 30521
180.79/181.99 c #Conflicts: 120000 | #Constraints: 31521
180.79/181.99 c #Conflicts: 121000 | #Constraints: 32521
180.79/181.99 c #Conflicts: 122000 | #Constraints: 33521
180.79/181.99 c #Conflicts: 123000 | #Constraints: 34521
180.79/181.99 c #Conflicts: 124000 | #Constraints: 35521
180.79/181.99 c INPROCESSING
180.79/181.99 c GARBAGE COLLECT
180.79/181.99 c rational objective 19
191.36/192.52 c #Conflicts: 125000 | #Constraints: 29600
191.36/192.52 c #Conflicts: 126000 | #Constraints: 30600
191.36/192.52 c #Conflicts: 127000 | #Constraints: 31600
191.36/192.52 c #Conflicts: 128000 | #Constraints: 32600
191.36/192.52 c #Conflicts: 129000 | #Constraints: 33600
191.36/192.52 c #Conflicts: 130000 | #Constraints: 34600
191.36/192.52 c #Conflicts: 131000 | #Constraints: 35600
191.36/192.52 c INPROCESSING
191.36/192.52 c GARBAGE COLLECT
191.36/192.52 c rational objective 19
206.23/207.53 c #Conflicts: 132000 | #Constraints: 29489
206.23/207.53 c #Conflicts: 133000 | #Constraints: 30489
206.23/207.53 c #Conflicts: 134000 | #Constraints: 31489
206.23/207.53 c #Conflicts: 135000 | #Constraints: 32489
206.23/207.53 c #Conflicts: 136000 | #Constraints: 33489
206.23/207.53 c #Conflicts: 137000 | #Constraints: 34489
206.23/207.53 c #Conflicts: 138000 | #Constraints: 35489
206.23/207.53 c #Conflicts: 139000 | #Constraints: 36489
206.23/207.53 c INPROCESSING
206.23/207.53 c GARBAGE COLLECT
206.23/207.53 c rational objective 19
217.91/219.28 c #Conflicts: 140000 | #Constraints: 30015
217.91/219.28 c #Conflicts: 141000 | #Constraints: 31015
217.91/219.28 c #Conflicts: 142000 | #Constraints: 32015
217.91/219.28 c #Conflicts: 143000 | #Constraints: 33015
217.91/219.28 c #Conflicts: 144000 | #Constraints: 34015
217.91/219.28 c #Conflicts: 145000 | #Constraints: 35015
217.91/219.28 c #Conflicts: 146000 | #Constraints: 36016
217.91/219.28 c #Conflicts: 147000 | #Constraints: 37016
217.91/219.28 c INPROCESSING
217.91/219.28 c GARBAGE COLLECT
217.91/219.28 c rational objective 19
236.61/238.09 c #Conflicts: 148000 | #Constraints: 30417
236.61/238.09 c #Conflicts: 149000 | #Constraints: 31417
236.61/238.09 c #Conflicts: 150000 | #Constraints: 32417
236.61/238.09 c #Conflicts: 151000 | #Constraints: 33417
236.61/238.09 c #Conflicts: 152000 | #Constraints: 34417
236.61/238.09 c #Conflicts: 153000 | #Constraints: 35417
236.61/238.09 c #Conflicts: 154000 | #Constraints: 36417
236.61/238.09 c #Conflicts: 155000 | #Constraints: 37417
236.61/238.09 c INPROCESSING
236.61/238.09 c GARBAGE COLLECT
236.61/238.09 c rational objective 19
249.57/251.03 c #Conflicts: 156000 | #Constraints: 30642
249.57/251.03 c #Conflicts: 157000 | #Constraints: 31642
249.57/251.03 c #Conflicts: 158000 | #Constraints: 32642
249.57/251.03 c #Conflicts: 159000 | #Constraints: 33642
249.57/251.03 c #Conflicts: 160000 | #Constraints: 34642
249.57/251.03 c #Conflicts: 161000 | #Constraints: 35642
249.57/251.03 c #Conflicts: 162000 | #Constraints: 36642
249.57/251.03 c #Conflicts: 163000 | #Constraints: 37642
249.57/251.03 c INPROCESSING
249.57/251.03 c GARBAGE COLLECT
249.57/251.03 c rational objective 19
263.66/265.94 c #Conflicts: 164000 | #Constraints: 30689
263.66/265.94 c #Conflicts: 165000 | #Constraints: 31689
263.66/265.94 c #Conflicts: 166000 | #Constraints: 32689
263.66/265.94 c #Conflicts: 167000 | #Constraints: 33689
263.66/265.94 c #Conflicts: 168000 | #Constraints: 34689
263.66/265.94 c #Conflicts: 169000 | #Constraints: 35689
263.66/265.94 c #Conflicts: 170000 | #Constraints: 36689
263.66/265.94 c #Conflicts: 171000 | #Constraints: 37689
263.66/265.94 c INPROCESSING
263.66/265.94 c GARBAGE COLLECT
263.66/265.94 c rational objective 19
280.72/283.02 c #Conflicts: 172000 | #Constraints: 30470
280.72/283.02 c #Conflicts: 173000 | #Constraints: 31470
280.72/283.02 c #Conflicts: 174000 | #Constraints: 32470
280.72/283.02 c #Conflicts: 175000 | #Constraints: 33470
280.72/283.02 c #Conflicts: 176000 | #Constraints: 34470
280.72/283.02 c #Conflicts: 177000 | #Constraints: 35470
280.72/283.02 c #Conflicts: 178000 | #Constraints: 36470
280.72/283.02 c #Conflicts: 179000 | #Constraints: 37470
280.72/283.02 c #Conflicts: 180000 | #Constraints: 38470
280.72/283.02 c INPROCESSING
280.72/283.02 c GARBAGE COLLECT
280.72/283.02 c rational objective 19
294.06/296.42 c #Conflicts: 181000 | #Constraints: 31094
294.06/296.42 c #Conflicts: 182000 | #Constraints: 32094
294.06/296.42 c #Conflicts: 183000 | #Constraints: 33094
294.06/296.42 c #Conflicts: 184000 | #Constraints: 34094
294.06/296.42 c #Conflicts: 185000 | #Constraints: 35094
294.06/296.42 c #Conflicts: 186000 | #Constraints: 36094
294.06/296.42 c #Conflicts: 187000 | #Constraints: 37094
294.06/296.42 c #Conflicts: 188000 | #Constraints: 38094
294.06/296.42 c #Conflicts: 189000 | #Constraints: 39094
294.06/296.42 c INPROCESSING
294.06/296.42 c GARBAGE COLLECT
294.06/296.42 c rational objective 19
308.92/311.37 c #Conflicts: 190000 | #Constraints: 31507
308.92/311.37 c #Conflicts: 191000 | #Constraints: 32507
308.92/311.37 c #Conflicts: 192000 | #Constraints: 33507
308.92/311.37 c #Conflicts: 193000 | #Constraints: 34507
308.92/311.37 c #Conflicts: 194000 | #Constraints: 35507
308.92/311.37 c #Conflicts: 195000 | #Constraints: 36507
308.92/311.37 c #Conflicts: 196000 | #Constraints: 37507
308.92/311.37 c #Conflicts: 197000 | #Constraints: 38507
308.92/311.37 c #Conflicts: 198000 | #Constraints: 39507
308.92/311.37 c INPROCESSING
308.92/311.37 c GARBAGE COLLECT
308.92/311.37 c rational objective 19
331.02/333.58 c #Conflicts: 199000 | #Constraints: 31798
331.02/333.58 c #Conflicts: 200000 | #Constraints: 32798
331.02/333.58 c #Conflicts: 201000 | #Constraints: 33798
331.02/333.58 c #Conflicts: 202000 | #Constraints: 34798
331.02/333.58 c #Conflicts: 203000 | #Constraints: 35798
331.02/333.58 c #Conflicts: 204000 | #Constraints: 36798
331.02/333.58 c #Conflicts: 205000 | #Constraints: 37798
331.02/333.58 c #Conflicts: 206000 | #Constraints: 38798
331.02/333.58 c #Conflicts: 207000 | #Constraints: 39798
331.02/333.58 c INPROCESSING
331.02/333.58 c GARBAGE COLLECT
331.02/333.58 c rational objective 19
343.88/346.43 c #Conflicts: 208000 | #Constraints: 31726
343.88/346.43 c #Conflicts: 209000 | #Constraints: 32726
343.88/346.43 c #Conflicts: 210000 | #Constraints: 33726
343.88/346.43 c #Conflicts: 211000 | #Constraints: 34726
343.88/346.43 c #Conflicts: 212000 | #Constraints: 35726
343.88/346.43 c #Conflicts: 213000 | #Constraints: 36726
343.88/346.43 c #Conflicts: 214000 | #Constraints: 37726
343.88/346.43 c #Conflicts: 215000 | #Constraints: 38726
343.88/346.43 c #Conflicts: 216000 | #Constraints: 39726
343.88/346.43 c INPROCESSING
343.88/346.43 c GARBAGE COLLECT
343.88/346.43 c rational objective 19
370.47/373.17 c #Conflicts: 217000 | #Constraints: 31644
370.47/373.17 c #Conflicts: 218000 | #Constraints: 32644
370.47/373.17 c #Conflicts: 219000 | #Constraints: 33644
370.47/373.17 c #Conflicts: 220000 | #Constraints: 34644
370.47/373.17 c #Conflicts: 221000 | #Constraints: 35644
370.47/373.17 c #Conflicts: 222000 | #Constraints: 36644
370.47/373.17 c #Conflicts: 223000 | #Constraints: 37644
370.47/373.17 c #Conflicts: 224000 | #Constraints: 38644
370.47/373.17 c #Conflicts: 225000 | #Constraints: 39644
370.47/373.17 c #Conflicts: 226000 | #Constraints: 40644
370.47/373.17 c INPROCESSING
370.47/373.17 c GARBAGE COLLECT
370.47/373.17 c rational objective 19
385.98/388.77 c #Conflicts: 227000 | #Constraints: 32139
385.98/388.77 c #Conflicts: 228000 | #Constraints: 33139
385.98/388.77 c #Conflicts: 229000 | #Constraints: 34139
385.98/388.77 c #Conflicts: 230000 | #Constraints: 35139
385.98/388.77 c #Conflicts: 231000 | #Constraints: 36139
385.98/388.77 c #Conflicts: 232000 | #Constraints: 37139
385.98/388.77 c #Conflicts: 233000 | #Constraints: 38139
385.98/388.77 c #Conflicts: 234000 | #Constraints: 39139
385.98/388.77 c #Conflicts: 235000 | #Constraints: 40139
385.98/388.77 c #Conflicts: 236000 | #Constraints: 41139
385.98/388.77 c INPROCESSING
385.98/388.77 c GARBAGE COLLECT
385.98/388.77 c rational objective 19
409.62/412.46 c #Conflicts: 237000 | #Constraints: 32605
409.62/412.46 c #Conflicts: 238000 | #Constraints: 33605
409.62/412.46 c #Conflicts: 239000 | #Constraints: 34605
409.62/412.46 c #Conflicts: 240000 | #Constraints: 35605
409.62/412.46 c #Conflicts: 241000 | #Constraints: 36605
409.62/412.46 c #Conflicts: 242000 | #Constraints: 37605
409.62/412.46 c #Conflicts: 243000 | #Constraints: 38605
409.62/412.46 c #Conflicts: 244000 | #Constraints: 39605
409.62/412.46 c #Conflicts: 245000 | #Constraints: 40605
409.62/412.46 c #Conflicts: 246000 | #Constraints: 41605
409.62/412.46 c INPROCESSING
409.62/412.46 c GARBAGE COLLECT
409.62/412.46 c rational objective 19
425.53/428.48 c #Conflicts: 247000 | #Constraints: 32836
425.53/428.48 c #Conflicts: 248000 | #Constraints: 33836
425.53/428.48 c #Conflicts: 249000 | #Constraints: 34836
425.53/428.48 c #Conflicts: 250000 | #Constraints: 35836
425.53/428.48 c #Conflicts: 251000 | #Constraints: 36836
425.53/428.48 c #Conflicts: 252000 | #Constraints: 37836
425.53/428.48 c #Conflicts: 253000 | #Constraints: 38837
425.53/428.48 c #Conflicts: 254000 | #Constraints: 39837
425.53/428.48 c #Conflicts: 255000 | #Constraints: 40837
425.53/428.48 c #Conflicts: 256000 | #Constraints: 41837
425.53/428.48 c INPROCESSING
425.53/428.48 c GARBAGE COLLECT
425.53/428.48 c rational objective 19
439.11/442.07 c #Conflicts: 257000 | #Constraints: 32825
439.11/442.07 c #Conflicts: 258000 | #Constraints: 33825
439.11/442.07 c #Conflicts: 259000 | #Constraints: 34825
439.11/442.07 c #Conflicts: 260000 | #Constraints: 35825
439.11/442.07 c #Conflicts: 261000 | #Constraints: 36825
439.11/442.07 c #Conflicts: 262000 | #Constraints: 37825
439.11/442.07 c #Conflicts: 263000 | #Constraints: 38825
439.11/442.07 c bounds 22 >= 19 @ 435.254
443.75/446.70 c #Conflicts: 264000 | #Constraints: 39826
443.75/446.70 c #Conflicts: 265000 | #Constraints: 40826
443.75/446.70 c #Conflicts: 266000 | #Constraints: 41826
443.75/446.70 c INPROCESSING
443.75/446.70 c GARBAGE COLLECT
443.75/446.70 c rational objective 19
468.67/471.76 c #Conflicts: 267000 | #Constraints: 32577
468.67/471.76 c #Conflicts: 268000 | #Constraints: 33577
468.67/471.76 c #Conflicts: 269000 | #Constraints: 34577
468.67/471.76 c #Conflicts: 270000 | #Constraints: 35577
468.67/471.76 c #Conflicts: 271000 | #Constraints: 36577
468.67/471.76 c #Conflicts: 272000 | #Constraints: 37577
468.67/471.76 c #Conflicts: 273000 | #Constraints: 38577
468.67/471.76 c #Conflicts: 274000 | #Constraints: 39577
468.67/471.76 c #Conflicts: 275000 | #Constraints: 40577
468.67/471.76 c #Conflicts: 276000 | #Constraints: 41577
468.67/471.76 c #Conflicts: 277000 | #Constraints: 42577
468.67/471.76 c INPROCESSING
468.67/471.76 c GARBAGE COLLECT
468.67/471.76 c rational objective 19
493.63/496.83 c #Conflicts: 278000 | #Constraints: 33247
493.63/496.83 c #Conflicts: 279000 | #Constraints: 34247
493.63/496.83 c #Conflicts: 280000 | #Constraints: 35247
493.63/496.83 c #Conflicts: 281000 | #Constraints: 36247
493.63/496.83 c #Conflicts: 282000 | #Constraints: 37247
493.63/496.83 c #Conflicts: 283000 | #Constraints: 38247
493.63/496.83 c #Conflicts: 284000 | #Constraints: 39247
493.63/496.83 c #Conflicts: 285000 | #Constraints: 40247
493.63/496.83 c #Conflicts: 286000 | #Constraints: 41247
493.63/496.83 c #Conflicts: 287000 | #Constraints: 42247
493.63/496.83 c #Conflicts: 288000 | #Constraints: 43247
493.63/496.83 c INPROCESSING
493.63/496.83 c GARBAGE COLLECT
493.63/496.83 c rational objective 19
524.40/527.72 c #Conflicts: 289000 | #Constraints: 33621
524.40/527.72 c #Conflicts: 290000 | #Constraints: 34621
524.40/527.72 c #Conflicts: 291000 | #Constraints: 35621
524.40/527.72 c #Conflicts: 292000 | #Constraints: 36621
524.40/527.72 c #Conflicts: 293000 | #Constraints: 37621
524.40/527.72 c #Conflicts: 294000 | #Constraints: 38621
524.40/527.72 c #Conflicts: 295000 | #Constraints: 39621
524.40/527.72 c #Conflicts: 296000 | #Constraints: 40621
524.40/527.72 c #Conflicts: 297000 | #Constraints: 41621
524.40/527.72 c #Conflicts: 298000 | #Constraints: 42621
524.40/527.72 c #Conflicts: 299000 | #Constraints: 43621
524.40/527.72 c INPROCESSING
524.40/527.72 c GARBAGE COLLECT
524.40/527.72 c rational objective 19
555.78/560.18 c #Conflicts: 300000 | #Constraints: 33851
555.78/560.18 c #Conflicts: 301000 | #Constraints: 34851
555.78/560.18 c #Conflicts: 302000 | #Constraints: 35851
555.78/560.18 c #Conflicts: 303000 | #Constraints: 36851
555.78/560.18 c #Conflicts: 304000 | #Constraints: 37851
555.78/560.18 c #Conflicts: 305000 | #Constraints: 38851
555.78/560.18 c #Conflicts: 306000 | #Constraints: 39851
555.78/560.18 c #Conflicts: 307000 | #Constraints: 40851
555.78/560.18 c #Conflicts: 308000 | #Constraints: 41851
555.78/560.18 c #Conflicts: 309000 | #Constraints: 42851
555.78/560.18 c #Conflicts: 310000 | #Constraints: 43851
555.78/560.18 c INPROCESSING
555.78/560.18 c GARBAGE COLLECT
555.78/560.18 c rational objective 19
571.64/576.03 c #Conflicts: 311000 | #Constraints: 33947
571.64/576.03 c #Conflicts: 312000 | #Constraints: 34947
571.64/576.03 c #Conflicts: 313000 | #Constraints: 35947
571.64/576.03 c #Conflicts: 314000 | #Constraints: 36947
571.64/576.03 c #Conflicts: 315000 | #Constraints: 37947
571.64/576.03 c #Conflicts: 316000 | #Constraints: 38947
571.64/576.03 c #Conflicts: 317000 | #Constraints: 39947
571.64/576.03 c #Conflicts: 318000 | #Constraints: 40947
571.64/576.03 c #Conflicts: 319000 | #Constraints: 41947
571.64/576.03 c #Conflicts: 320000 | #Constraints: 42947
571.64/576.03 c #Conflicts: 321000 | #Constraints: 43947
571.64/576.03 c INPROCESSING
571.64/576.03 c GARBAGE COLLECT
571.64/576.03 c rational objective 19
594.44/598.96 c #Conflicts: 322000 | #Constraints: 33780
594.44/598.96 c #Conflicts: 323000 | #Constraints: 34780
594.44/598.96 c #Conflicts: 324000 | #Constraints: 35780
594.44/598.96 c #Conflicts: 325000 | #Constraints: 36780
594.44/598.96 c #Conflicts: 326000 | #Constraints: 37780
594.44/598.96 c #Conflicts: 327000 | #Constraints: 38780
594.44/598.96 c #Conflicts: 328000 | #Constraints: 39780
594.44/598.96 c #Conflicts: 329000 | #Constraints: 40780
594.44/598.96 c #Conflicts: 330000 | #Constraints: 41780
594.44/598.96 c #Conflicts: 331000 | #Constraints: 42780
594.44/598.96 c #Conflicts: 332000 | #Constraints: 43780
594.44/598.96 c #Conflicts: 333000 | #Constraints: 44780
594.44/598.96 c INPROCESSING
594.44/598.96 c GARBAGE COLLECT
594.44/598.96 c rational objective 19
627.84/632.46 c #Conflicts: 334000 | #Constraints: 34374
627.84/632.46 c #Conflicts: 335000 | #Constraints: 35374
627.84/632.46 c #Conflicts: 336000 | #Constraints: 36374
627.84/632.46 c #Conflicts: 337000 | #Constraints: 37374
627.84/632.46 c #Conflicts: 338000 | #Constraints: 38374
627.84/632.46 c #Conflicts: 339000 | #Constraints: 39374
627.84/632.46 c #Conflicts: 340000 | #Constraints: 40374
627.84/632.46 c #Conflicts: 341000 | #Constraints: 41374
627.84/632.46 c #Conflicts: 342000 | #Constraints: 42374
627.84/632.46 c #Conflicts: 343000 | #Constraints: 43374
627.84/632.46 c #Conflicts: 344000 | #Constraints: 44374
627.84/632.46 c #Conflicts: 345000 | #Constraints: 45374
627.84/632.46 c INPROCESSING
627.84/632.46 c GARBAGE COLLECT
627.84/632.46 c rational objective 19
657.24/661.93 c #Conflicts: 346000 | #Constraints: 34862
657.24/661.93 c #Conflicts: 347000 | #Constraints: 35862
657.24/661.93 c #Conflicts: 348000 | #Constraints: 36862
657.24/661.93 c #Conflicts: 349000 | #Constraints: 37862
657.24/661.93 c #Conflicts: 350000 | #Constraints: 38862
657.24/661.93 c #Conflicts: 351000 | #Constraints: 39862
657.24/661.93 c #Conflicts: 352000 | #Constraints: 40862
657.24/661.93 c #Conflicts: 353000 | #Constraints: 41862
657.24/661.93 c #Conflicts: 354000 | #Constraints: 42862
657.24/661.93 c #Conflicts: 355000 | #Constraints: 43862
657.24/661.93 c #Conflicts: 356000 | #Constraints: 44862
657.24/661.93 c #Conflicts: 357000 | #Constraints: 45862
657.24/661.93 c INPROCESSING
657.24/661.93 c GARBAGE COLLECT
657.24/661.93 c rational objective 19
689.43/694.27 c #Conflicts: 358000 | #Constraints: 35035
689.43/694.27 c #Conflicts: 359000 | #Constraints: 36035
689.43/694.27 c #Conflicts: 360000 | #Constraints: 37035
689.43/694.27 c #Conflicts: 361000 | #Constraints: 38035
689.43/694.27 c #Conflicts: 362000 | #Constraints: 39035
689.43/694.27 c #Conflicts: 363000 | #Constraints: 40035
689.43/694.27 c #Conflicts: 364000 | #Constraints: 41035
689.43/694.27 c #Conflicts: 365000 | #Constraints: 42035
689.43/694.27 c #Conflicts: 366000 | #Constraints: 43035
689.43/694.27 c #Conflicts: 367000 | #Constraints: 44035
689.43/694.27 c #Conflicts: 368000 | #Constraints: 45035
689.43/694.27 c #Conflicts: 369000 | #Constraints: 46035
689.43/694.27 c INPROCESSING
689.43/694.27 c GARBAGE COLLECT
689.43/694.27 c rational objective 19
716.35/721.27 c #Conflicts: 370000 | #Constraints: 34969
716.35/721.27 c #Conflicts: 371000 | #Constraints: 35969
716.35/721.27 c #Conflicts: 372000 | #Constraints: 36969
716.35/721.27 c #Conflicts: 373000 | #Constraints: 37969
716.35/721.27 c #Conflicts: 374000 | #Constraints: 38969
716.35/721.27 c #Conflicts: 375000 | #Constraints: 39969
716.35/721.27 c #Conflicts: 376000 | #Constraints: 40969
716.35/721.27 c #Conflicts: 377000 | #Constraints: 41969
716.35/721.27 c #Conflicts: 378000 | #Constraints: 42969
716.35/721.27 c #Conflicts: 379000 | #Constraints: 43969
716.35/721.27 c #Conflicts: 380000 | #Constraints: 44969
716.35/721.27 c #Conflicts: 381000 | #Constraints: 45969
716.35/721.27 c INPROCESSING
716.35/721.27 c GARBAGE COLLECT
716.35/721.27 c rational objective 19
751.30/756.32 c #Conflicts: 382000 | #Constraints: 34783
751.30/756.32 c #Conflicts: 383000 | #Constraints: 35783
751.30/756.32 c #Conflicts: 384000 | #Constraints: 36783
751.30/756.32 c #Conflicts: 385000 | #Constraints: 37783
751.30/756.32 c #Conflicts: 386000 | #Constraints: 38783
751.30/756.32 c #Conflicts: 387000 | #Constraints: 39783
751.30/756.32 c #Conflicts: 388000 | #Constraints: 40783
751.30/756.32 c #Conflicts: 389000 | #Constraints: 41783
751.30/756.32 c #Conflicts: 390000 | #Constraints: 42783
751.30/756.32 c #Conflicts: 391000 | #Constraints: 43783
751.30/756.32 c #Conflicts: 392000 | #Constraints: 44783
751.30/756.32 c #Conflicts: 393000 | #Constraints: 45783
751.30/756.32 c #Conflicts: 394000 | #Constraints: 46783
751.30/756.32 c INPROCESSING
751.30/756.32 c GARBAGE COLLECT
751.30/756.32 c rational objective 19
788.59/793.78 c #Conflicts: 395000 | #Constraints: 35246
788.59/793.78 c #Conflicts: 396000 | #Constraints: 36246
788.59/793.78 c #Conflicts: 397000 | #Constraints: 37246
788.59/793.78 c #Conflicts: 398000 | #Constraints: 38246
788.59/793.78 c #Conflicts: 399000 | #Constraints: 39246
788.59/793.78 c #Conflicts: 400000 | #Constraints: 40246
788.59/793.78 c #Conflicts: 401000 | #Constraints: 41246
788.59/793.78 c #Conflicts: 402000 | #Constraints: 42246
788.59/793.78 c #Conflicts: 403000 | #Constraints: 43246
788.59/793.78 c #Conflicts: 404000 | #Constraints: 44246
788.59/793.78 c #Conflicts: 405000 | #Constraints: 45246
788.59/793.78 c #Conflicts: 406000 | #Constraints: 46246
788.59/793.78 c #Conflicts: 407000 | #Constraints: 47246
788.59/793.78 c INPROCESSING
788.59/793.78 c GARBAGE COLLECT
788.59/793.78 c rational objective 19
819.36/824.60 c #Conflicts: 408000 | #Constraints: 35783
819.36/824.60 c #Conflicts: 409000 | #Constraints: 36783
819.36/824.60 c #Conflicts: 410000 | #Constraints: 37783
819.36/824.60 c #Conflicts: 411000 | #Constraints: 38783
819.36/824.60 c #Conflicts: 412000 | #Constraints: 39783
819.36/824.60 c #Conflicts: 413000 | #Constraints: 40783
819.36/824.60 c #Conflicts: 414000 | #Constraints: 41783
819.36/824.60 c #Conflicts: 415000 | #Constraints: 42783
819.36/824.60 c #Conflicts: 416000 | #Constraints: 43783
819.36/824.60 c #Conflicts: 417000 | #Constraints: 44783
819.36/824.60 c #Conflicts: 418000 | #Constraints: 45783
819.36/824.60 c #Conflicts: 419000 | #Constraints: 46783
819.36/824.60 c #Conflicts: 420000 | #Constraints: 47783
819.36/824.60 c INPROCESSING
819.36/824.60 c GARBAGE COLLECT
819.36/824.60 c rational objective 19
852.93/858.43 c #Conflicts: 421000 | #Constraints: 35915
852.93/858.43 c #Conflicts: 422000 | #Constraints: 36915
852.93/858.43 c #Conflicts: 423000 | #Constraints: 37915
852.93/858.43 c #Conflicts: 424000 | #Constraints: 38915
852.93/858.43 c #Conflicts: 425000 | #Constraints: 39915
852.93/858.43 c #Conflicts: 426000 | #Constraints: 40915
852.93/858.43 c #Conflicts: 427000 | #Constraints: 41915
852.93/858.43 c #Conflicts: 428000 | #Constraints: 42915
852.93/858.43 c #Conflicts: 429000 | #Constraints: 43915
852.93/858.43 c #Conflicts: 430000 | #Constraints: 44915
852.93/858.43 c #Conflicts: 431000 | #Constraints: 45915
852.93/858.43 c #Conflicts: 432000 | #Constraints: 46915
852.93/858.43 c #Conflicts: 433000 | #Constraints: 47915
852.93/858.43 c INPROCESSING
852.93/858.43 c GARBAGE COLLECT
852.93/858.43 c rational objective 19
911.53/917.28 c #Conflicts: 434000 | #Constraints: 35944
911.53/917.28 c #Conflicts: 435000 | #Constraints: 36944
911.53/917.28 c #Conflicts: 436000 | #Constraints: 37944
911.53/917.28 c #Conflicts: 437000 | #Constraints: 38944
911.53/917.28 c #Conflicts: 438000 | #Constraints: 39944
911.53/917.28 c #Conflicts: 439000 | #Constraints: 40944
911.53/917.28 c #Conflicts: 440000 | #Constraints: 41944
911.53/917.28 c #Conflicts: 441000 | #Constraints: 42944
911.53/917.28 c #Conflicts: 442000 | #Constraints: 43944
911.53/917.28 c #Conflicts: 443000 | #Constraints: 44944
911.53/917.28 c #Conflicts: 444000 | #Constraints: 45944
911.53/917.28 c #Conflicts: 445000 | #Constraints: 46944
911.53/917.28 c #Conflicts: 446000 | #Constraints: 47944
911.53/917.28 c INPROCESSING
911.53/917.28 c GARBAGE COLLECT
911.53/917.28 c rational objective 19
925.88/931.62 c #Conflicts: 447000 | #Constraints: 35844
925.88/931.62 c #Conflicts: 448000 | #Constraints: 36844
925.88/931.62 c #Conflicts: 449000 | #Constraints: 37844
925.88/931.62 c #Conflicts: 450000 | #Constraints: 38844
925.88/931.62 c #Conflicts: 451000 | #Constraints: 39844
925.88/931.62 c #Conflicts: 452000 | #Constraints: 40844
925.88/931.62 c #Conflicts: 453000 | #Constraints: 41844
925.88/931.62 c #Conflicts: 454000 | #Constraints: 42844
925.88/931.62 c bounds 21 >= 19 @ 919.77
946.30/952.13 c #Conflicts: 455000 | #Constraints: 43845
946.30/952.13 c #Conflicts: 456000 | #Constraints: 44845
946.30/952.13 c #Conflicts: 457000 | #Constraints: 45845
946.30/952.13 c #Conflicts: 458000 | #Constraints: 46845
946.30/952.13 c #Conflicts: 459000 | #Constraints: 47845
946.30/952.13 c #Conflicts: 460000 | #Constraints: 48845
946.30/952.13 c INPROCESSING
946.30/952.13 c GARBAGE COLLECT
946.30/952.13 c rational objective 19
994.34/1000.35 c #Conflicts: 461000 | #Constraints: 36521
994.34/1000.35 c #Conflicts: 462000 | #Constraints: 37521
994.34/1000.35 c #Conflicts: 463000 | #Constraints: 38522
994.34/1000.35 c #Conflicts: 464000 | #Constraints: 39522
994.34/1000.35 c #Conflicts: 465000 | #Constraints: 40522
994.34/1000.35 c #Conflicts: 466000 | #Constraints: 41522
994.34/1000.35 c #Conflicts: 467000 | #Constraints: 42522
994.34/1000.35 c #Conflicts: 468000 | #Constraints: 43522
994.34/1000.35 c #Conflicts: 469000 | #Constraints: 44522
994.34/1000.35 c #Conflicts: 470000 | #Constraints: 45522
994.34/1000.35 c #Conflicts: 471000 | #Constraints: 46522
994.34/1000.35 c #Conflicts: 472000 | #Constraints: 47522
994.34/1000.35 c #Conflicts: 473000 | #Constraints: 48522
994.34/1000.35 c #Conflicts: 474000 | #Constraints: 49522
994.34/1000.35 c INPROCESSING
994.34/1000.35 c GARBAGE COLLECT
994.34/1000.35 c rational objective 19
1031.56/1038.55 c #Conflicts: 475000 | #Constraints: 36833
1031.56/1038.55 c #Conflicts: 476000 | #Constraints: 37833
1031.56/1038.55 c #Conflicts: 477000 | #Constraints: 38833
1031.56/1038.55 c #Conflicts: 478000 | #Constraints: 39833
1031.56/1038.55 c #Conflicts: 479000 | #Constraints: 40833
1031.56/1038.55 c #Conflicts: 480000 | #Constraints: 41833
1031.56/1038.55 c #Conflicts: 481000 | #Constraints: 42833
1031.56/1038.55 c #Conflicts: 482000 | #Constraints: 43833
1031.56/1038.55 c #Conflicts: 483000 | #Constraints: 44833
1031.56/1038.55 c #Conflicts: 484000 | #Constraints: 45833
1031.56/1038.55 c #Conflicts: 485000 | #Constraints: 46833
1031.56/1038.55 c #Conflicts: 486000 | #Constraints: 47833
1031.56/1038.55 c #Conflicts: 487000 | #Constraints: 48833
1031.56/1038.55 c #Conflicts: 488000 | #Constraints: 49833
1031.56/1038.55 c INPROCESSING
1031.56/1038.55 c GARBAGE COLLECT
1031.56/1038.55 c rational objective 19
1069.13/1076.25 c #Conflicts: 489000 | #Constraints: 36960
1069.13/1076.25 c #Conflicts: 490000 | #Constraints: 37960
1069.13/1076.25 c #Conflicts: 491000 | #Constraints: 38960
1069.13/1076.25 c #Conflicts: 492000 | #Constraints: 39960
1069.13/1076.25 c #Conflicts: 493000 | #Constraints: 40960
1069.13/1076.25 c #Conflicts: 494000 | #Constraints: 41960
1069.13/1076.25 c #Conflicts: 495000 | #Constraints: 42960
1069.13/1076.25 c #Conflicts: 496000 | #Constraints: 43960
1069.13/1076.25 c #Conflicts: 497000 | #Constraints: 44960
1069.13/1076.25 c #Conflicts: 498000 | #Constraints: 45960
1069.13/1076.25 c #Conflicts: 499000 | #Constraints: 46960
1069.13/1076.25 c #Conflicts: 500000 | #Constraints: 47960
1069.13/1076.25 c #Conflicts: 501000 | #Constraints: 48960
1069.13/1076.25 c #Conflicts: 502000 | #Constraints: 49960
1069.13/1076.25 c INPROCESSING
1069.13/1076.25 c GARBAGE COLLECT
1069.13/1076.25 c rational objective 19
1105.52/1112.81 c #Conflicts: 503000 | #Constraints: 36927
1105.52/1112.81 c #Conflicts: 504000 | #Constraints: 37927
1105.52/1112.81 c #Conflicts: 505000 | #Constraints: 38927
1105.52/1112.81 c #Conflicts: 506000 | #Constraints: 39927
1105.52/1112.81 c #Conflicts: 507000 | #Constraints: 40927
1105.52/1112.81 c #Conflicts: 508000 | #Constraints: 41927
1105.52/1112.81 c #Conflicts: 509000 | #Constraints: 42927
1105.52/1112.81 c #Conflicts: 510000 | #Constraints: 43927
1105.52/1112.81 c #Conflicts: 511000 | #Constraints: 44927
1105.52/1112.81 c #Conflicts: 512000 | #Constraints: 45927
1105.52/1112.81 c #Conflicts: 513000 | #Constraints: 46927
1105.52/1112.81 c #Conflicts: 514000 | #Constraints: 47927
1105.52/1112.81 c #Conflicts: 515000 | #Constraints: 48927
1105.52/1112.81 c #Conflicts: 516000 | #Constraints: 49927
1105.52/1112.81 c INPROCESSING
1105.52/1112.81 c GARBAGE COLLECT
1105.52/1112.81 c rational objective 19
1161.80/1187.31 c #Conflicts: 517000 | #Constraints: 36724
1161.80/1187.31 c #Conflicts: 518000 | #Constraints: 37724
1161.80/1187.31 c #Conflicts: 519000 | #Constraints: 38724
1161.80/1187.31 c #Conflicts: 520000 | #Constraints: 39724
1161.80/1187.31 c #Conflicts: 521000 | #Constraints: 40724
1161.80/1187.31 c #Conflicts: 522000 | #Constraints: 41724
1161.80/1187.31 c #Conflicts: 523000 | #Constraints: 42724
1161.80/1187.31 c #Conflicts: 524000 | #Constraints: 43724
1161.80/1187.31 c #Conflicts: 525000 | #Constraints: 44724
1161.80/1187.31 c #Conflicts: 526000 | #Constraints: 45724
1161.80/1187.31 c #Conflicts: 527000 | #Constraints: 46724
1161.80/1187.31 c #Conflicts: 528000 | #Constraints: 47724
1161.80/1187.31 c #Conflicts: 529000 | #Constraints: 48724
1161.80/1187.31 c #Conflicts: 530000 | #Constraints: 49724
1161.80/1187.31 c #Conflicts: 531000 | #Constraints: 50724
1161.80/1187.31 c INPROCESSING
1161.80/1187.31 c GARBAGE COLLECT
1161.80/1187.31 c rational objective 19
1214.70/1240.76 c #Conflicts: 532000 | #Constraints: 37466
1214.70/1240.76 c #Conflicts: 533000 | #Constraints: 38466
1214.70/1240.76 c #Conflicts: 534000 | #Constraints: 39466
1214.70/1240.76 c #Conflicts: 535000 | #Constraints: 40466
1214.70/1240.76 c #Conflicts: 536000 | #Constraints: 41466
1214.70/1240.76 c #Conflicts: 537000 | #Constraints: 42466
1214.70/1240.76 c #Conflicts: 538000 | #Constraints: 43466
1214.70/1240.76 c #Conflicts: 539000 | #Constraints: 44466
1214.70/1240.76 c #Conflicts: 540000 | #Constraints: 45466
1214.70/1240.76 c #Conflicts: 541000 | #Constraints: 46466
1214.70/1240.76 c #Conflicts: 542000 | #Constraints: 47466
1214.70/1240.76 c #Conflicts: 543000 | #Constraints: 48466
1214.70/1240.76 c #Conflicts: 544000 | #Constraints: 49466
1214.70/1240.76 c #Conflicts: 545000 | #Constraints: 50466
1214.70/1240.76 c #Conflicts: 546000 | #Constraints: 51466
1214.70/1240.76 c INPROCESSING
1214.70/1240.76 c GARBAGE COLLECT
1214.70/1240.76 c rational objective 19
1255.63/1281.89 c #Conflicts: 547000 | #Constraints: 37871
1255.63/1281.89 c #Conflicts: 548000 | #Constraints: 38871
1255.63/1281.89 c #Conflicts: 549000 | #Constraints: 39871
1255.63/1281.89 c #Conflicts: 550000 | #Constraints: 40871
1255.63/1281.89 c #Conflicts: 551000 | #Constraints: 41871
1255.63/1281.89 c #Conflicts: 552000 | #Constraints: 42871
1255.63/1281.89 c #Conflicts: 553000 | #Constraints: 43871
1255.63/1281.89 c #Conflicts: 554000 | #Constraints: 44872
1255.63/1281.89 c #Conflicts: 555000 | #Constraints: 45872
1255.63/1281.89 c #Conflicts: 556000 | #Constraints: 46872
1255.63/1281.89 c #Conflicts: 557000 | #Constraints: 47872
1255.63/1281.89 c #Conflicts: 558000 | #Constraints: 48872
1255.63/1281.89 c #Conflicts: 559000 | #Constraints: 49872
1255.63/1281.89 c #Conflicts: 560000 | #Constraints: 50872
1255.63/1281.89 c #Conflicts: 561000 | #Constraints: 51872
1255.63/1281.89 c INPROCESSING
1255.63/1281.89 c GARBAGE COLLECT
1255.63/1281.89 c rational objective 19
1313.47/1340.47 c #Conflicts: 562000 | #Constraints: 38171
1313.47/1340.47 c #Conflicts: 563000 | #Constraints: 39171
1313.47/1340.47 c #Conflicts: 564000 | #Constraints: 40171
1313.47/1340.47 c #Conflicts: 565000 | #Constraints: 41171
1313.47/1340.47 c #Conflicts: 566000 | #Constraints: 42171
1313.47/1340.47 c #Conflicts: 567000 | #Constraints: 43171
1313.47/1340.47 c #Conflicts: 568000 | #Constraints: 44171
1313.47/1340.47 c #Conflicts: 569000 | #Constraints: 45171
1313.47/1340.47 c #Conflicts: 570000 | #Constraints: 46171
1313.47/1340.47 c #Conflicts: 571000 | #Constraints: 47171
1313.47/1340.47 c #Conflicts: 572000 | #Constraints: 48171
1313.47/1340.47 c #Conflicts: 573000 | #Constraints: 49171
1313.47/1340.47 c #Conflicts: 574000 | #Constraints: 50171
1313.47/1340.47 c #Conflicts: 575000 | #Constraints: 51171
1313.47/1340.47 c #Conflicts: 576000 | #Constraints: 52171
1313.47/1340.47 c INPROCESSING
1313.47/1340.47 c GARBAGE COLLECT
1313.47/1340.47 c rational objective 19
1377.17/1404.37 c #Conflicts: 577000 | #Constraints: 38206
1377.17/1404.37 c #Conflicts: 578000 | #Constraints: 39206
1377.17/1404.37 c #Conflicts: 579000 | #Constraints: 40206
1377.17/1404.37 c #Conflicts: 580000 | #Constraints: 41206
1377.17/1404.37 c #Conflicts: 581000 | #Constraints: 42206
1377.17/1404.37 c #Conflicts: 582000 | #Constraints: 43206
1377.17/1404.37 c #Conflicts: 583000 | #Constraints: 44206
1377.17/1404.37 c #Conflicts: 584000 | #Constraints: 45206
1377.17/1404.37 c #Conflicts: 585000 | #Constraints: 46206
1377.17/1404.37 c #Conflicts: 586000 | #Constraints: 47206
1377.17/1404.37 c #Conflicts: 587000 | #Constraints: 48206
1377.17/1404.37 c #Conflicts: 588000 | #Constraints: 49206
1377.17/1404.37 c #Conflicts: 589000 | #Constraints: 50206
1377.17/1404.37 c #Conflicts: 590000 | #Constraints: 51206
1377.17/1404.37 c #Conflicts: 591000 | #Constraints: 52206
1377.17/1404.37 c INPROCESSING
1377.17/1404.37 c GARBAGE COLLECT
1377.17/1404.37 c rational objective 19
1421.51/1448.86 c #Conflicts: 592000 | #Constraints: 38070
1421.51/1448.86 c #Conflicts: 593000 | #Constraints: 39070
1421.51/1448.86 c #Conflicts: 594000 | #Constraints: 40070
1421.51/1448.86 c #Conflicts: 595000 | #Constraints: 41070
1421.51/1448.86 c #Conflicts: 596000 | #Constraints: 42070
1421.51/1448.86 c #Conflicts: 597000 | #Constraints: 43070
1421.51/1448.86 c #Conflicts: 598000 | #Constraints: 44070
1421.51/1448.86 c #Conflicts: 599000 | #Constraints: 45070
1421.51/1448.86 c #Conflicts: 600000 | #Constraints: 46070
1421.51/1448.86 c #Conflicts: 601000 | #Constraints: 47070
1421.51/1448.86 c #Conflicts: 602000 | #Constraints: 48070
1421.51/1448.86 c #Conflicts: 603000 | #Constraints: 49070
1421.51/1448.86 c #Conflicts: 604000 | #Constraints: 50070
1421.51/1448.86 c #Conflicts: 605000 | #Constraints: 51070
1421.51/1448.86 c #Conflicts: 606000 | #Constraints: 52070
1421.51/1448.86 c #Conflicts: 607000 | #Constraints: 53070
1421.51/1448.86 c INPROCESSING
1421.51/1448.86 c GARBAGE COLLECT
1421.51/1448.86 c rational objective 19
1473.30/1500.85 c #Conflicts: 608000 | #Constraints: 38554
1473.30/1500.85 c #Conflicts: 609000 | #Constraints: 39554
1473.30/1500.85 c #Conflicts: 610000 | #Constraints: 40554
1473.30/1500.85 c #Conflicts: 611000 | #Constraints: 41554
1473.30/1500.85 c #Conflicts: 612000 | #Constraints: 42554
1473.30/1500.85 c #Conflicts: 613000 | #Constraints: 43554
1473.30/1500.85 c #Conflicts: 614000 | #Constraints: 44554
1473.30/1500.85 c #Conflicts: 615000 | #Constraints: 45554
1473.30/1500.85 c #Conflicts: 616000 | #Constraints: 46554
1473.30/1500.85 c #Conflicts: 617000 | #Constraints: 47554
1473.30/1500.85 c #Conflicts: 618000 | #Constraints: 48554
1473.30/1500.85 c #Conflicts: 619000 | #Constraints: 49554
1473.30/1500.85 c #Conflicts: 620000 | #Constraints: 50554
1473.30/1500.85 c #Conflicts: 621000 | #Constraints: 51554
1473.30/1500.85 c #Conflicts: 622000 | #Constraints: 52554
1473.30/1500.85 c #Conflicts: 623000 | #Constraints: 53554
1473.30/1500.85 c INPROCESSING
1473.30/1500.85 c GARBAGE COLLECT
1473.30/1500.85 c rational objective 19
1517.47/1545.11 c #Conflicts: 624000 | #Constraints: 39002
1517.47/1545.11 c #Conflicts: 625000 | #Constraints: 40002
1517.47/1545.11 c #Conflicts: 626000 | #Constraints: 41002
1517.47/1545.11 c #Conflicts: 627000 | #Constraints: 42002
1517.47/1545.11 c #Conflicts: 628000 | #Constraints: 43002
1517.47/1545.11 c #Conflicts: 629000 | #Constraints: 44002
1517.47/1545.11 c #Conflicts: 630000 | #Constraints: 45002
1517.47/1545.11 c #Conflicts: 631000 | #Constraints: 46002
1517.47/1545.11 c #Conflicts: 632000 | #Constraints: 47002
1517.47/1545.11 c #Conflicts: 633000 | #Constraints: 48002
1517.47/1545.11 c #Conflicts: 634000 | #Constraints: 49002
1517.47/1545.11 c #Conflicts: 635000 | #Constraints: 50002
1517.47/1545.11 c #Conflicts: 636000 | #Constraints: 51002
1517.47/1545.11 c #Conflicts: 637000 | #Constraints: 52002
1517.47/1545.11 c #Conflicts: 638000 | #Constraints: 53002
1517.47/1545.11 c #Conflicts: 639000 | #Constraints: 54002
1517.47/1545.11 c INPROCESSING
1517.47/1545.11 c GARBAGE COLLECT
1517.47/1545.11 c rational objective 19
1568.29/1596.14 c #Conflicts: 640000 | #Constraints: 39124
1568.29/1596.14 c #Conflicts: 641000 | #Constraints: 40124
1568.29/1596.14 c #Conflicts: 642000 | #Constraints: 41124
1568.29/1596.14 c #Conflicts: 643000 | #Constraints: 42124
1568.29/1596.14 c #Conflicts: 644000 | #Constraints: 43124
1568.29/1596.14 c #Conflicts: 645000 | #Constraints: 44124
1568.29/1596.14 c #Conflicts: 646000 | #Constraints: 45124
1568.29/1596.14 c #Conflicts: 647000 | #Constraints: 46124
1568.29/1596.14 c #Conflicts: 648000 | #Constraints: 47124
1568.29/1596.14 c #Conflicts: 649000 | #Constraints: 48124
1568.29/1596.14 c #Conflicts: 650000 | #Constraints: 49124
1568.29/1596.14 c #Conflicts: 651000 | #Constraints: 50124
1568.29/1596.14 c bounds 21 >= 20 @ 1559.38
1577.35/1605.26 c #Conflicts: 652000 | #Constraints: 51166
1577.35/1605.26 c #Conflicts: 653000 | #Constraints: 52166
1577.35/1605.26 c #Conflicts: 654000 | #Constraints: 53166
1577.35/1605.26 c #Conflicts: 655000 | #Constraints: 54166
1577.35/1605.26 c INPROCESSING
1577.35/1605.26 c GARBAGE COLLECT
1577.35/1605.26 c rational objective 20
1624.10/1652.22 c #Conflicts: 656000 | #Constraints: 38965
1624.10/1652.22 c #Conflicts: 657000 | #Constraints: 39965
1624.10/1652.22 c #Conflicts: 658000 | #Constraints: 40965
1624.10/1652.22 c #Conflicts: 659000 | #Constraints: 41965
1624.10/1652.22 c #Conflicts: 660000 | #Constraints: 42965
1624.10/1652.22 c #Conflicts: 661000 | #Constraints: 43965
1624.10/1652.22 c #Conflicts: 662000 | #Constraints: 44965
1624.10/1652.22 c #Conflicts: 663000 | #Constraints: 45965
1624.10/1652.22 c #Conflicts: 664000 | #Constraints: 46965
1624.10/1652.22 c #Conflicts: 665000 | #Constraints: 47965
1624.10/1652.22 c #Conflicts: 666000 | #Constraints: 48965
1624.10/1652.22 c #Conflicts: 667000 | #Constraints: 49965
1624.10/1652.22 c #Conflicts: 668000 | #Constraints: 50965
1624.10/1652.22 c #Conflicts: 669000 | #Constraints: 51965
1624.10/1652.22 c #Conflicts: 670000 | #Constraints: 52965
1624.10/1652.22 c #Conflicts: 671000 | #Constraints: 53965
1624.10/1652.22 c INPROCESSING
1624.10/1652.22 c GARBAGE COLLECT
1624.10/1652.22 c rational objective 20
1668.87/1697.14 c #Conflicts: 672000 | #Constraints: 38903
1668.87/1697.14 c #Conflicts: 673000 | #Constraints: 39903
1668.87/1697.14 c #Conflicts: 674000 | #Constraints: 40903
1668.87/1697.14 c #Conflicts: 675000 | #Constraints: 41903
1668.87/1697.14 c #Conflicts: 676000 | #Constraints: 42903
1668.87/1697.14 c #Conflicts: 677000 | #Constraints: 43903
1668.87/1697.14 c #Conflicts: 678000 | #Constraints: 44903
1668.87/1697.14 c #Conflicts: 679000 | #Constraints: 45903
1668.87/1697.14 c #Conflicts: 680000 | #Constraints: 46903
1668.87/1697.14 c #Conflicts: 681000 | #Constraints: 47903
1668.87/1697.14 c #Conflicts: 682000 | #Constraints: 48903
1668.87/1697.14 c #Conflicts: 683000 | #Constraints: 49903
1668.87/1697.14 c #Conflicts: 684000 | #Constraints: 50903
1668.87/1697.14 c #Conflicts: 685000 | #Constraints: 51903
1668.87/1697.14 c #Conflicts: 686000 | #Constraints: 52903
1668.87/1697.14 c #Conflicts: 687000 | #Constraints: 53903
1668.87/1697.14 c #Conflicts: 688000 | #Constraints: 54903
1668.87/1697.14 c INPROCESSING
1668.87/1697.14 c GARBAGE COLLECT
1668.87/1697.14 c rational objective 20
1723.32/1751.83 c #Conflicts: 689000 | #Constraints: 39495
1723.32/1751.83 c #Conflicts: 690000 | #Constraints: 40495
1723.32/1751.83 c #Conflicts: 691000 | #Constraints: 41495
1723.32/1751.83 c #Conflicts: 692000 | #Constraints: 42495
1723.32/1751.83 c #Conflicts: 693000 | #Constraints: 43495
1723.32/1751.83 c #Conflicts: 694000 | #Constraints: 44495
1723.32/1751.83 c #Conflicts: 695000 | #Constraints: 45495
1723.32/1751.83 c #Conflicts: 696000 | #Constraints: 46495
1723.32/1751.83 c #Conflicts: 697000 | #Constraints: 47495
1723.32/1751.83 c #Conflicts: 698000 | #Constraints: 48495
1723.32/1751.83 c #Conflicts: 699000 | #Constraints: 49495
1723.32/1751.83 c #Conflicts: 700000 | #Constraints: 50495
1723.32/1751.83 c #Conflicts: 701000 | #Constraints: 51495
1723.32/1751.83 c #Conflicts: 702000 | #Constraints: 52495
1723.32/1751.83 c #Conflicts: 703000 | #Constraints: 53495
1723.32/1751.83 c #Conflicts: 704000 | #Constraints: 54495
1723.32/1751.83 c #Conflicts: 705000 | #Constraints: 55495
1723.32/1751.83 c INPROCESSING
1723.32/1751.83 c GARBAGE COLLECT
1723.32/1751.83 c rational objective 20
1778.33/1808.86 c #Conflicts: 706000 | #Constraints: 39943
1778.33/1808.86 c #Conflicts: 707000 | #Constraints: 40943
1778.33/1808.86 c #Conflicts: 708000 | #Constraints: 41943
1778.33/1808.86 c #Conflicts: 709000 | #Constraints: 42943
1778.33/1808.86 c #Conflicts: 710000 | #Constraints: 43943
1778.33/1808.86 c #Conflicts: 711000 | #Constraints: 44943
1778.33/1808.86 c #Conflicts: 712000 | #Constraints: 45943
1778.33/1808.86 c #Conflicts: 713000 | #Constraints: 46943
1778.33/1808.86 c #Conflicts: 714000 | #Constraints: 47943
1778.33/1808.86 c #Conflicts: 715000 | #Constraints: 48943
1778.33/1808.86 c #Conflicts: 716000 | #Constraints: 49943
1778.33/1808.86 c #Conflicts: 717000 | #Constraints: 50943
1778.33/1808.86 c #Conflicts: 718000 | #Constraints: 51943
1778.33/1808.86 c #Conflicts: 719000 | #Constraints: 52943
1778.33/1808.86 c #Conflicts: 720000 | #Constraints: 53943
1778.33/1808.86 c #Conflicts: 721000 | #Constraints: 54943
1778.33/1808.86 c #Conflicts: 722000 | #Constraints: 55943
1778.33/1808.86 c INPROCESSING
1778.33/1808.86 c GARBAGE COLLECT
1778.33/1808.86 c rational objective 20
1815.48/1846.49 c #Conflicts: 723000 | #Constraints: 40042
1815.48/1846.49 c #Conflicts: 724000 | #Constraints: 41042
1815.48/1846.49 c #Conflicts: 725000 | #Constraints: 42042
1815.48/1846.49 c #Conflicts: 726000 | #Constraints: 43042
1815.48/1846.49 c #Conflicts: 727000 | #Constraints: 44042
1815.48/1846.49 c #Conflicts: 728000 | #Constraints: 45042
1815.48/1846.49 c #Conflicts: 729000 | #Constraints: 46042
1815.48/1846.49 c #Conflicts: 730000 | #Constraints: 47042
1815.48/1846.49 c #Conflicts: 731000 | #Constraints: 48042
1815.48/1846.49 c #Conflicts: 732000 | #Constraints: 49042
1815.48/1846.49 c #Conflicts: 733000 | #Constraints: 50042
1815.48/1846.49 c #Conflicts: 734000 | #Constraints: 51042
1815.48/1846.49 c #Conflicts: 735000 | #Constraints: 52042
1815.48/1846.49 c #Conflicts: 736000 | #Constraints: 53042
1815.48/1846.49 c #Conflicts: 737000 | #Constraints: 54042
1815.48/1846.49 c #Conflicts: 738000 | #Constraints: 55042
1815.48/1846.49 c #Conflicts: 739000 | #Constraints: 56042
1815.48/1846.49 c INPROCESSING
1815.48/1846.49 c GARBAGE COLLECT
1815.48/1846.49 c rational objective 20
1876.77/1911.54 c #Conflicts: 740000 | #Constraints: 40084
1876.77/1911.54 c #Conflicts: 741000 | #Constraints: 41084
1876.77/1911.54 c #Conflicts: 742000 | #Constraints: 42084
1876.77/1911.54 c #Conflicts: 743000 | #Constraints: 43084
1876.77/1911.54 c #Conflicts: 744000 | #Constraints: 44084
1876.77/1911.54 c #Conflicts: 745000 | #Constraints: 45084
1876.77/1911.54 c #Conflicts: 746000 | #Constraints: 46084
1876.77/1911.54 c #Conflicts: 747000 | #Constraints: 47084
1876.77/1911.54 c #Conflicts: 748000 | #Constraints: 48084
1876.77/1911.54 c #Conflicts: 749000 | #Constraints: 49084
1876.77/1911.54 c #Conflicts: 750000 | #Constraints: 50084
1876.77/1911.54 c #Conflicts: 751000 | #Constraints: 51084
1876.77/1911.54 c #Conflicts: 752000 | #Constraints: 52084
1876.77/1911.54 c #Conflicts: 753000 | #Constraints: 53084
1876.77/1911.54 c #Conflicts: 754000 | #Constraints: 54084
1876.77/1911.54 c #Conflicts: 755000 | #Constraints: 55084
1876.77/1911.54 c #Conflicts: 756000 | #Constraints: 56084
1876.77/1911.54 c INPROCESSING
1876.77/1911.54 c GARBAGE COLLECT
1876.77/1911.54 c rational objective 20
1928.12/1963.50 c #Conflicts: 757000 | #Constraints: 40050
1928.12/1963.50 c #Conflicts: 758000 | #Constraints: 41050
1928.12/1963.50 c #Conflicts: 759000 | #Constraints: 42050
1928.12/1963.50 c #Conflicts: 760000 | #Constraints: 43050
1928.12/1963.50 c #Conflicts: 761000 | #Constraints: 44050
1928.12/1963.50 c #Conflicts: 762000 | #Constraints: 45050
1928.12/1963.50 c #Conflicts: 763000 | #Constraints: 46050
1928.12/1963.50 c #Conflicts: 764000 | #Constraints: 47050
1928.12/1963.50 c #Conflicts: 765000 | #Constraints: 48050
1928.12/1963.50 c #Conflicts: 766000 | #Constraints: 49050
1928.12/1963.50 c #Conflicts: 767000 | #Constraints: 50050
1928.12/1963.50 c #Conflicts: 768000 | #Constraints: 51050
1928.12/1963.50 c #Conflicts: 769000 | #Constraints: 52050
1928.12/1963.50 c #Conflicts: 770000 | #Constraints: 53050
1928.12/1963.50 c #Conflicts: 771000 | #Constraints: 54050
1928.12/1963.50 c #Conflicts: 772000 | #Constraints: 55050
1928.12/1963.50 c #Conflicts: 773000 | #Constraints: 56050
1928.12/1963.50 c #Conflicts: 774000 | #Constraints: 57050
1928.12/1963.50 c INPROCESSING
1928.12/1963.50 c GARBAGE COLLECT
1928.12/1963.50 c rational objective 20
1981.91/2017.58 c #Conflicts: 775000 | #Constraints: 40665
1981.91/2017.58 c #Conflicts: 776000 | #Constraints: 41665
1981.91/2017.58 c #Conflicts: 777000 | #Constraints: 42665
1981.91/2017.58 c #Conflicts: 778000 | #Constraints: 43665
1981.91/2017.58 c #Conflicts: 779000 | #Constraints: 44665
1981.91/2017.58 c #Conflicts: 780000 | #Constraints: 45665
1981.91/2017.58 c #Conflicts: 781000 | #Constraints: 46665
1981.91/2017.58 c #Conflicts: 782000 | #Constraints: 47665
1981.91/2017.58 c #Conflicts: 783000 | #Constraints: 48665
1981.91/2017.58 c #Conflicts: 784000 | #Constraints: 49665
1981.91/2017.58 c #Conflicts: 785000 | #Constraints: 50665
1981.91/2017.58 c #Conflicts: 786000 | #Constraints: 51665
1981.91/2017.58 c #Conflicts: 787000 | #Constraints: 52665
1981.91/2017.58 c #Conflicts: 788000 | #Constraints: 53665
1981.91/2017.58 c #Conflicts: 789000 | #Constraints: 54665
1981.91/2017.58 c #Conflicts: 790000 | #Constraints: 55665
1981.91/2017.58 c #Conflicts: 791000 | #Constraints: 56665
1981.91/2017.58 c #Conflicts: 792000 | #Constraints: 57665
1981.91/2017.58 c INPROCESSING
1981.91/2017.58 c GARBAGE COLLECT
1981.91/2017.58 c rational objective 20
2442.31/2480.79 c #Conflicts: 793000 | #Constraints: 40875
2442.31/2480.79 c #Conflicts: 794000 | #Constraints: 41876
2442.31/2480.79 c #Conflicts: 795000 | #Constraints: 42876
2442.31/2480.79 c #Conflicts: 796000 | #Constraints: 43876
2442.31/2480.79 c #Conflicts: 797000 | #Constraints: 44876
2442.31/2480.79 c #Conflicts: 798000 | #Constraints: 45876
2442.31/2480.79 c #Conflicts: 799000 | #Constraints: 46876
2442.31/2480.79 c #Conflicts: 800000 | #Constraints: 47876
2442.31/2480.79 c #Conflicts: 801000 | #Constraints: 48876
2442.31/2480.79 c #Conflicts: 802000 | #Constraints: 49876
2442.31/2480.79 c #Conflicts: 803000 | #Constraints: 50876
2442.31/2480.79 c #Conflicts: 804000 | #Constraints: 51876
2442.31/2480.79 c #Conflicts: 805000 | #Constraints: 52876
2442.31/2480.79 c #Conflicts: 806000 | #Constraints: 53876
2442.31/2480.79 c #Conflicts: 807000 | #Constraints: 54876
2442.31/2480.79 c #Conflicts: 808000 | #Constraints: 55876
2442.31/2480.79 c #Conflicts: 809000 | #Constraints: 56876
2442.31/2480.79 c #Conflicts: 810000 | #Constraints: 57876
2442.31/2480.79 c #Conflicts: 811000 | #Constraints: 58876
2442.31/2480.79 c #Conflicts: 812000 | #Constraints: 59876
2442.31/2480.79 c #Conflicts: 813000 | #Constraints: 60876
2442.31/2480.79 c #Conflicts: 814000 | #Constraints: 61876
2442.31/2480.79 c #Conflicts: 815000 | #Constraints: 62876
2442.31/2480.79 c #Conflicts: 816000 | #Constraints: 63876
2442.31/2480.79 c #Conflicts: 817000 | #Constraints: 64876
2442.31/2480.79 c #Conflicts: 818000 | #Constraints: 65876
2442.31/2480.79 c #Conflicts: 819000 | #Constraints: 66876
2442.31/2480.79 c #Conflicts: 820000 | #Constraints: 67876
2442.31/2480.79 c #Conflicts: 821000 | #Constraints: 68876
2442.31/2480.79 c #Conflicts: 822000 | #Constraints: 69876
2442.31/2480.79 c #Conflicts: 823000 | #Constraints: 70876
2442.31/2480.79 c #Conflicts: 824000 | #Constraints: 71876
2442.31/2480.79 c #Conflicts: 825000 | #Constraints: 72876
2442.31/2480.79 c #Conflicts: 826000 | #Constraints: 73876
2442.31/2480.79 c #Conflicts: 827000 | #Constraints: 74876
2442.31/2480.79 c #Conflicts: 828000 | #Constraints: 75876
2442.31/2480.79 c #Conflicts: 829000 | #Constraints: 76876
2442.31/2480.79 c #Conflicts: 830000 | #Constraints: 77876
2442.31/2480.79 c #Conflicts: 831000 | #Constraints: 78876
2442.31/2480.79 c #Conflicts: 832000 | #Constraints: 79876
2442.31/2480.79 c #Conflicts: 833000 | #Constraints: 80876
2442.31/2480.79 c #Conflicts: 834000 | #Constraints: 81876
2442.31/2480.79 c #Conflicts: 835000 | #Constraints: 82876
2442.31/2480.79 c #Conflicts: 836000 | #Constraints: 83876
2442.31/2480.79 c #Conflicts: 837000 | #Constraints: 84876
2442.31/2480.79 c #Conflicts: 838000 | #Constraints: 85876
2442.31/2480.79 c #Conflicts: 839000 | #Constraints: 86876
2442.31/2480.79 c #Conflicts: 840000 | #Constraints: 87876
2442.31/2480.79 c #Conflicts: 841000 | #Constraints: 88876
2442.31/2480.79 c #Conflicts: 842000 | #Constraints: 89876
2442.31/2480.79 c #Conflicts: 843000 | #Constraints: 90876
2442.31/2480.79 c #Conflicts: 844000 | #Constraints: 91876
2442.31/2480.79 c #Conflicts: 845000 | #Constraints: 92876
2442.31/2480.79 c #Conflicts: 846000 | #Constraints: 93876
2442.31/2480.79 c #Conflicts: 847000 | #Constraints: 94876
2442.31/2480.79 c #Conflicts: 848000 | #Constraints: 95876
2442.31/2480.79 c #Conflicts: 849000 | #Constraints: 96876
2442.31/2480.79 c #Conflicts: 850000 | #Constraints: 97876
2442.31/2480.79 c #Conflicts: 851000 | #Constraints: 98876
2442.31/2480.79 c #Conflicts: 852000 | #Constraints: 99876
2442.31/2480.79 c #Conflicts: 853000 | #Constraints: 100876
2442.31/2480.79 c #Conflicts: 854000 | #Constraints: 101876
2442.31/2480.79 c #Conflicts: 855000 | #Constraints: 102876
2442.31/2480.79 c #Conflicts: 856000 | #Constraints: 103876
2442.31/2480.79 c #Conflicts: 857000 | #Constraints: 104876
2442.31/2480.79 c #Conflicts: 858000 | #Constraints: 105876
2442.31/2480.79 c #Conflicts: 859000 | #Constraints: 106876
2442.31/2480.79 c #Conflicts: 860000 | #Constraints: 107876
2442.31/2480.79 c #Conflicts: 861000 | #Constraints: 108876
2442.31/2480.79 c #Conflicts: 862000 | #Constraints: 109876
2442.31/2480.79 c #Conflicts: 863000 | #Constraints: 110876
2442.31/2480.79 c #Conflicts: 864000 | #Constraints: 111876
2442.31/2480.79 c #Conflicts: 865000 | #Constraints: 112876
2442.31/2480.79 c #Conflicts: 866000 | #Constraints: 113876
2442.31/2480.79 c #Conflicts: 867000 | #Constraints: 114876
2442.31/2480.79 c #Conflicts: 868000 | #Constraints: 115876
2442.31/2480.79 c #Conflicts: 869000 | #Constraints: 116876
2442.31/2480.79 c #Conflicts: 870000 | #Constraints: 117876
2442.31/2480.79 c #Conflicts: 871000 | #Constraints: 118876
2570.28/2609.22 c #Conflicts: 872000 | #Constraints: 119876
2570.28/2609.22 c #Conflicts: 873000 | #Constraints: 120876
2570.28/2609.22 c #Conflicts: 874000 | #Constraints: 121876
2570.28/2609.22 c #Conflicts: 875000 | #Constraints: 122876
2570.28/2609.22 c #Conflicts: 876000 | #Constraints: 123876
2570.28/2609.22 c #Conflicts: 877000 | #Constraints: 124876
2570.28/2609.22 c #Conflicts: 878000 | #Constraints: 125876
2570.28/2609.22 c #Conflicts: 879000 | #Constraints: 126876
2570.28/2609.22 c #Conflicts: 880000 | #Constraints: 127876
2570.28/2609.22 c #Conflicts: 881000 | #Constraints: 128876
2570.28/2609.22 c #Conflicts: 882000 | #Constraints: 129876
2570.28/2609.22 c INPROCESSING
2570.28/2609.22 c GARBAGE COLLECT
2570.28/2609.22 c rational objective 20
2686.52/2726.04 c #Conflicts: 883000 | #Constraints: 76759
2686.52/2726.04 c #Conflicts: 884000 | #Constraints: 77759
2686.52/2726.04 c #Conflicts: 885000 | #Constraints: 78759
2686.52/2726.04 c #Conflicts: 886000 | #Constraints: 79759
2686.52/2726.04 c #Conflicts: 887000 | #Constraints: 80759
2686.52/2726.04 c #Conflicts: 888000 | #Constraints: 81759
2686.52/2726.04 c #Conflicts: 889000 | #Constraints: 82759
2686.52/2726.04 c #Conflicts: 890000 | #Constraints: 83759
2686.52/2726.04 c #Conflicts: 891000 | #Constraints: 84759
2686.52/2726.04 c #Conflicts: 892000 | #Constraints: 85759
2686.52/2726.04 c #Conflicts: 893000 | #Constraints: 86759
2686.52/2726.04 c #Conflicts: 894000 | #Constraints: 87759
2686.52/2726.04 c #Conflicts: 895000 | #Constraints: 88759
2686.52/2726.04 c #Conflicts: 896000 | #Constraints: 89759
2686.52/2726.04 c #Conflicts: 897000 | #Constraints: 90759
2686.52/2726.04 c #Conflicts: 898000 | #Constraints: 91759
2686.52/2726.04 c #Conflicts: 899000 | #Constraints: 92759
2686.52/2726.04 c #Conflicts: 900000 | #Constraints: 93759
2686.52/2726.04 c #Conflicts: 901000 | #Constraints: 94759
2686.52/2726.04 c #Conflicts: 902000 | #Constraints: 95759
2686.52/2726.04 c INPROCESSING
2686.52/2726.04 c GARBAGE COLLECT
2686.52/2726.04 c rational objective 20
2730.04/2769.76 c #Conflicts: 903000 | #Constraints: 57268
2730.04/2769.76 c #Conflicts: 904000 | #Constraints: 58268
2730.04/2769.76 c #Conflicts: 905000 | #Constraints: 59268
2730.04/2769.76 c #Conflicts: 906000 | #Constraints: 60268
2730.04/2769.76 c #Conflicts: 907000 | #Constraints: 61268
2730.04/2769.76 c #Conflicts: 908000 | #Constraints: 62268
2730.04/2769.76 c #Conflicts: 909000 | #Constraints: 63268
2730.04/2769.76 c #Conflicts: 910000 | #Constraints: 64268
2730.04/2769.76 c #Conflicts: 911000 | #Constraints: 65268
2730.04/2769.76 c bounds 21 >= 21 @ 2716.18
2730.04/2769.76 c cpu time 2716.18 s
2730.04/2769.76 c deterministic time 126923181186 1.27e+11
2730.04/2769.76 c optimization time 0.078743 s
2730.04/2769.76 c total solve time 2715.82 s
2730.04/2769.76 c core-guided solve time 1314.04 s
2730.04/2769.76 c propagation time 1086.88 s
2730.04/2769.76 c conflict analysis time 1506.41 s
2730.04/2769.76 c propagations 607438636
2730.04/2769.76 c resolve steps 126364288
2730.04/2769.76 c decisions 3573586
2730.04/2769.76 c conflicts 911560
2730.04/2769.76 c restarts 1978
2730.04/2769.76 c inprocessing phases 82
2730.04/2769.76 c garbage collections 82 ,( 100.00 )
2730.04/2769.76 c input clauses 21440 ,( 99.31 )
2730.04/2769.76 c input cardinalities 92 ,( 0.43 )
2730.04/2769.76 c input general constraints 58 ,( 0.27 )
2730.04/2769.76 c input average constraint length 3.64
2730.04/2769.76 c input average constraint degree 1.51
2730.04/2769.76 c learned clauses 805370 ,( 88.34 )
2730.04/2769.76 c learned cardinalities 3457 ,( 0.38 )
2730.04/2769.76 c learned general constraints 102806 ,( 11.28 )
2730.04/2769.76 c learned average constraint length 875.41
2730.04/2769.76 c learned average constraint degree 10873026.13
2730.04/2769.76 c watched CF 32, 64, 128, Arb: 63478 , 0 , 0 , 0
2730.04/2769.76 c counting CF 32, 64, 128, Arb: 39387 , 0 , 0 , 0
2730.04/2769.76 c watched constraints 63478 ,( 61.71 )
2730.04/2769.76 c counting constraints 39386 ,( 38.29 )
2730.04/2769.76 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1114740199 , 30190085 , 4872133060 ,( 1435315773 , 3436817287 )
2730.04/2769.76 c gcd simplifications 1568
2730.04/2769.76 c detected cardinalities 15
2730.04/2769.76 c weakened non-implied lits 68410297
2730.04/2769.76 c weakened non-implying lits 97959
2730.04/2769.76 c original variables 6076
2730.04/2769.76 c clausal propagations 523918175
2730.04/2769.76 c cardinality propagations 6585030
2730.04/2769.76 c watched propagations 4115696
2730.04/2769.76 c counting propagations 68579873
2730.04/2769.76 c watch lookups 40812409799
2730.04/2769.76 c watch backjump lookups 0
2730.04/2769.76 c watch checks 76128733755
2730.04/2769.76 c propagation checks 6450902422
2730.04/2769.76 c constraint additions 2307193687
2730.04/2769.76 c trail pops 611920539
2730.04/2769.76 c formula constraints 21393
2730.04/2769.76 c learned constraints 911532
2730.04/2769.76 c bound constraints 26
2730.04/2769.76 c core-guided constraints 171
2730.04/2769.76 c encountered formula constraints 99704413
2730.04/2769.76 c encountered learned constraints 26904071
2730.04/2769.76 c encountered bound constraints 796
2730.04/2769.76 c encountered core-guided constraints 665162
2730.04/2769.76 c LP total time 314.729 s
2730.04/2769.76 c LP solve time 249.41 s
2730.04/2769.76 c LP constraints added 22076
2730.04/2769.76 c LP constraints removed 664
2730.04/2769.76 c LP pivots internal 913531
2730.04/2769.76 c LP pivots root 95230
2730.04/2769.76 c LP calls 574
2730.04/2769.76 c LP optimalities 539
2730.04/2769.76 c LP no pivot count 65
2730.04/2769.76 c LP infeasibilities 31
2730.04/2769.76 c LP valid Farkas constraints 31
2730.04/2769.76 c LP learned Farkas constraints 31
2730.04/2769.76 c LP basis resets 0
2730.04/2769.76 c LP cycling count 0
2730.04/2769.76 c LP singular count 0
2730.04/2769.76 c LP no primal count 0
2730.04/2769.76 c LP no farkas count 0
2730.04/2769.76 c LP other issue count 0
2730.04/2769.76 c LP Gomory cuts 39
2730.04/2769.76 c LP learned cuts 644
2730.04/2769.76 c LP deleted cuts 664
2730.04/2769.76 c LP encountered Gomory constraints 4
2730.04/2769.76 c LP encountered Farkas constraints 1259
2730.04/2769.76 c LP encountered learned Farkas constraints 112
2730.04/2769.76 c CG auxiliary variables introduced 62
2730.04/2769.76 c CG solutions found 10
2730.04/2769.76 c CG cores constructed 15
2730.04/2769.76 c CG core cardinality constraints returned 0
2730.04/2769.76 c CG unit cores 0
2730.04/2769.76 c CG single cores 15
2730.04/2769.76 c CG blocks removed during cardinality reduction 0
2730.04/2769.76 c CG first core best 0
2730.04/2769.76 c CG decision core best 0
2730.04/2769.76 c CG core reduction tie 0
2730.04/2769.76 c CG core degree average 1.00
2730.04/2769.76 c CG core slack average 46.27
2730.04/2769.76 c CG core upper bound improvements 31
2730.04/2769.76 c STR number of successful calls 0
2730.04/2769.76 c STR number of unsuccessful calls 0
2730.04/2769.76 c STR number of inconclusive calls 0
2730.04/2769.76 c STR number of successful attempts 0
2730.04/2769.76 c STR number of unsuccessful attempts 0
2730.04/2769.76 c STR number of inconclusive attempts 0
2730.04/2769.76 c STR average degree increase per successful call inf
2730.04/2769.76 c STR average degree increase per successful attempt inf
2730.04/2769.76 c STR total number of conflicts for successful attempts 0
2730.04/2769.76 c STR total number of conflicts for unsuccessful attempts 0
2730.04/2769.76 c STR total number of conflicts for inconclusive attempts 0
2730.04/2769.76 c STR average number of conflicts per successful attempt inf
2730.04/2769.76 c STR average number of conflicts per unsuccessful attempt inf
2730.04/2769.76 c STR average number of conflicts per inconclusive attempt inf
2730.04/2769.76 c AVG.sumWPerc 34.22
2730.04/2769.76 c bigint constraints 0
2730.04/2769.76 o 21
2730.04/2769.76 s OPTIMUM FOUND
2730.04/2769.76 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: 63794 MiB (53686 MiB free)
memory of node 1: 64507 MiB (59777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497839-1751401180/watcher-4497839-1751401180 -o /tmp/evaluation-result-4497839-1751401180/solver-4497839-1751401180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56722 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4497839-1751401180.opb PROOFDIR/proof-4497839-1751401180
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57133, runsolver pid=57130
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.11 4.10 4.09 5/261 57136
/proc/meminfo: memFree=116168528/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=57256 memory=10624 CPUtime=0.01 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 810 0 0 0 0 1 0 0 20 0 1 0 55797366 58630144 2656 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 14314 2656 2048 1147 0 1741 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61448 KiB
Current children cumulated memory: 13696 KiB
[startup+0.213751 s]*
/proc/loadavg: 4.11 4.10 4.09 5/261 57136
/proc/meminfo: memFree=116168528/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=60620 memory=15984 CPUtime=0.12 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 1707 0 0 0 9 3 0 0 20 0 1 0 55797366 62074880 3996 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 15155 3996 2048 1147 0 2582 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64812 KiB
Current children cumulated memory: 19056 KiB
[startup+0.313678 s]*
/proc/loadavg: 4.11 4.10 4.09 6/261 57136
/proc/meminfo: memFree=116168576/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=63740 memory=18896 CPUtime=0.22 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 2508 0 0 0 17 5 0 0 20 0 1 0 55797366 65269760 4724 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 15935 4724 2048 1147 0 3362 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67932 KiB
Current children cumulated memory: 21968 KiB
[startup+0.700355 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 57136
/proc/meminfo: memFree=116148160/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=95652 memory=47460 CPUtime=0.59 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 7399 0 0 0 51 8 0 0 20 0 1 0 55797366 97947648 11865 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 23913 11865 2400 1147 0 11340 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 99844 KiB
Current children cumulated memory: 50532 KiB
[startup+1.50045 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 57136
/proc/meminfo: memFree=116131276/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=96180 memory=50784 CPUtime=1.4 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 7699 0 0 0 129 11 0 0 20 0 1 0 55797366 98488320 12696 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 24045 12696 2432 1147 0 11472 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 100372 KiB
Current children cumulated memory: 53856 KiB
[startup+3.11341 s]
/proc/loadavg: 4.11 4.10 4.09 3/251 57152
/proc/meminfo: memFree=117641796/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=110324 memory=63308 CPUtime=2.98 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 10295 0 0 0 283 15 0 0 20 0 1 0 55797366 112971776 15827 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 27581 15827 2432 1147 0 15008 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 114516 KiB
Current children cumulated memory: 66380 KiB
[startup+6.30042 s]
/proc/loadavg: 4.18 4.12 4.10 4/256 57215
/proc/meminfo: memFree=125697512/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=114008 memory=66844 CPUtime=6.14 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 11289 0 0 0 594 20 0 0 20 0 1 0 55797366 116744192 16711 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 28502 16711 2432 1147 0 15929 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 118200 KiB
Current children cumulated memory: 69916 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.11 4.09 5/261 57228
/proc/meminfo: memFree=124199532/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=138864 memory=88780 CPUtime=12.51 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 13693 0 0 0 1221 30 0 0 20 0 1 0 55797366 142196736 22195 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 34716 22195 2464 1147 0 22143 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 91852 KiB
[startup+25.5005 s]
/proc/loadavg: 4.20 4.12 4.10 5/261 57228
/proc/meminfo: memFree=115596112/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=144032 memory=93772 CPUtime=25.29 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 14934 0 0 0 2480 49 0 0 20 0 1 0 55797366 147488768 23443 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 36008 23443 2464 1147 0 23435 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 148224 KiB
Current children cumulated memory: 96844 KiB
[startup+51.1136 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 57230
/proc/meminfo: memFree=118929516/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=170384 memory=118348 CPUtime=50.7 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 21068 0 0 0 4989 81 0 0 20 0 1 0 55797366 174473216 29587 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 42596 29587 2464 1147 0 30023 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 174576 KiB
Current children cumulated memory: 121420 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/261 57282
/proc/meminfo: memFree=114871216/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=184268 memory=132428 CPUtime=101.6 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 24603 0 0 0 10009 151 0 0 20 0 1 0 55797366 188690432 33107 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 46067 33107 2464 1147 0 33494 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 188460 KiB
Current children cumulated memory: 135500 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 57284
/proc/meminfo: memFree=112627984/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=209324 memory=152652 CPUtime=161.23 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 26653 0 0 0 15922 201 0 0 20 0 1 0 55797366 214347776 38163 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 52331 38163 2464 1147 0 39758 0
Current children cumulated CPU time: 161.29 s
Current children cumulated vsize: 213516 KiB
Current children cumulated memory: 155724 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 57288
/proc/meminfo: memFree=109607252/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=217304 memory=160716 CPUtime=220.93 cores=1,3
################
# More data... #
################
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 55085 0 0 0 245083 1292 0 0 20 0 1 0 55797366 847507456 143120 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 206911 143120 2464 1147 0 194338 0
Current children cumulated CPU time: 2463.81 s
Current children cumulated vsize: 831836 KiB
Current children cumulated memory: 575552 KiB
[startup+2562.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/261 57588
/proc/meminfo: memFree=5182852/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=830140 memory=595300 CPUtime=2523.52 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 55690 0 0 0 251045 1307 0 0 20 0 1 0 55797366 850063360 148825 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 207535 148825 2464 1147 0 194962 0
Current children cumulated CPU time: 2523.58 s
Current children cumulated vsize: 834332 KiB
Current children cumulated memory: 598372 KiB
[startup+2622.3 s]
/proc/loadavg: 4.77 4.32 4.23 5/261 57591
/proc/meminfo: memFree=1618884/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2583.28 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57393 0 0 0 257004 1324 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2583.34 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2682.3 s]
/proc/loadavg: 4.70 4.41 4.27 7/261 57593
/proc/meminfo: memFree=823776/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2642.95 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57393 0 0 0 262945 1350 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2643.01 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2742.3 s]
/proc/loadavg: 4.30 4.34 4.25 5/261 57596
/proc/meminfo: memFree=763668/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2702.67 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 268891 1376 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2702.73 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2769.83 s]
# the end of solver process 57133 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2716.24 s, system=13.9088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2752 s]*
/proc/loadavg: 4.26 4.33 4.25 5/261 57596
/proc/meminfo: memFree=968068/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2712.33 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 269853 1380 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2712.39 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2758.4 s]
/proc/loadavg: 4.32 4.34 4.26 5/261 57596
/proc/meminfo: memFree=757484/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2718.71 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 270489 1382 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2718.77 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2764.8 s]
/proc/loadavg: 4.27 4.33 4.25 5/261 57597
/proc/meminfo: memFree=772880/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2725.09 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 271125 1384 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2725.15 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2768 s]*
/proc/loadavg: 4.27 4.33 4.25 5/261 57597
/proc/meminfo: memFree=940224/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2728.29 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 271444 1385 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2728.35 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2768.8 s]
/proc/loadavg: 4.27 4.33 4.25 5/261 57597
/proc/meminfo: memFree=940224/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2729.08 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 271523 1385 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2729.14 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2769.6 s]
/proc/loadavg: 4.25 4.33 4.25 5/261 57597
/proc/meminfo: memFree=907976/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2729.88 cores=1,3
/proc/57136/stat : 57136 (roundingsat) R 57133 57133 56710 0 -1 4194304 57394 0 0 0 271602 1386 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2729.94 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
[startup+2769.8 s]
/proc/loadavg: 4.25 4.33 4.25 5/261 57597
/proc/meminfo: memFree=907976/131382120 swapFree=33010416/33010684
[pid=57133] ppid=57130 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/57133/stat : 57133 (run-opt-ls-log.) S 57130 57133 56710 0 -1 4194304 242 4858 0 0 0 0 4 2 20 0 1 0 55797358 4292608 768 18446744073709551615 94173366435840 94173367330373 140722193743920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94173367569424 94173367617168 94173390049280 140722193750299 140722193750497 140722193750497 140722193756099 0
/proc/57133/statm: 1048 768 704 219 0 110 0
[pid=57136] ppid=57133 vsize=838068 memory=618460 CPUtime=2730.04 cores=1,3
/proc/57136/stat : 57136 (roundingsat) D 57133 57133 56710 0 -1 4194304 57394 0 0 0 271618 1386 0 0 20 0 1 0 55797366 858181632 154615 18446744073709551615 4227072 8923433 140727396944112 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 11677696 140727396948214 140727396948520 140727396948520 140727396954090 0
/proc/57136/statm: 209517 154615 2464 1147 0 196944 0
Current children cumulated CPU time: 2730.1 s
Current children cumulated vsize: 842260 KiB
Current children cumulated memory: 621532 KiB
Child status: 0
Real time (s): 2769.83
CPU time (s): 2730.15
CPU user time (s): 2716.24
CPU system time (s): 13.9088
CPU usage (%): 98.5673
Max. virtual memory (cumulated for all children) (KiB): 842260
Max. memory (cumulated for all children) (KiB): 621532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2716.24
system time used= 13.9088
maximum resident set size= 618460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6305432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2513
involuntary context switches= 7568
# summary of solver processes directly reported to runsolver:
# pid: 57133
# total CPU time (s): 2730.15
# total CPU user time (s): 2716.24
# total CPU system time (s): 13.9088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8957 second user time and 28.5608 second system time
The end
Begin job on nodeC006 at 2025-07-01 22:19:40
IDJOB=4497839
IDBENCH=148194
IDSOLVER=3356
FILE ID=nodeC006/4497839-1751401180
RUNJOBID= nodeC006-1751397562-56722
SLURM_JOB_ID= 9598278
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497839-1751401180/watcher-4497839-1751401180 -o /tmp/evaluation-result-4497839-1751401180/solver-4497839-1751401180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56722 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4497839-1751401180.opb PROOFDIR/proof-4497839-1751401180
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=1822364804
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1496.430
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.108
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.428
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 116187012 kB
MemAvailable: 127660888 kB
Buffers: 2128 kB
Cached: 12267064 kB
SwapCached: 12 kB
Active: 2722204 kB
Inactive: 11941196 kB
Active(anon): 2401096 kB
Inactive(anon): 11092 kB
Active(file): 321108 kB
Inactive(file): 11930104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22072 kB
Writeback: 0 kB
AnonPages: 2395520 kB
Mapped: 117364 kB
Shmem: 17948 kB
KReclaimable: 124196 kB
Slab: 208648 kB
SReclaimable: 124196 kB
SUnreclaim: 84452 kB
KernelStack: 4192 kB
PageTables: 7920 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3129580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1525760 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431960 MiB
End job on nodeC006 at 2025-07-01 23:05:50