0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4531904-1752596583.opb'
0.00/0.02 c read 0.62MB (10.74ms)
0.00/0.02 c [cnf: #variables 6076 #clauses 21394 #duplicates 8 #arr 55042]
0.00/0.05 c output proof to 'PROOFDIR/proof-4531904-1752596583'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2] (10.84ms)
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 (1.79ms)
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] (3.70ms)
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-4531904-1752596583.opb.pre'
0.00/0.07 c wrote 0.64MB (1.61ms)
0.00/0.07 c ------------------------------------------------------------------
0.00/0.07 c 28.83ms 49.96% other
0.00/0.07 c 10.84ms 18.78% approx_orbits
0.00/0.07 c 10.74ms 18.61% parse
0.00/0.07 c 3.70ms 6.41% detect_generic
0.00/0.07 c 1.79ms 3.10% detect_special
0.00/0.07 c 1.61ms 2.79% output
0.00/0.07 c 0.21ms 0.36% finalize_order
0.00/0.07 c ───────────────────────────────────────────────
0.00/0.07 c 57.72ms 100% total
0.00/0.07 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 0f876b3
0.14/0.23 c #variables 6076 #constraints 21393
0.14/0.23 c objective is ce32
0.14/0.25 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.14/0.25 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.14/0.25 c bounds 31 >= 0 @ 0.130041
2.72/2.89 c #Conflicts: 1000 | #Constraints: 22393
2.72/2.89 c #Conflicts: 2000 | #Constraints: 23393
2.72/2.89 c INPROCESSING
2.72/2.89 c GARBAGE COLLECT
2.72/2.89 c bounds 31 >= 6 @ 2.68405
2.72/2.89 c bounds 31 >= 7 @ 2.68643
2.72/2.89 c bounds 31 >= 8 @ 2.68773
2.72/2.89 c bounds 31 >= 9 @ 2.68906
2.72/2.89 c bounds 31 >= 10 @ 2.6904
2.72/2.89 c bounds 31 >= 11 @ 2.69085
2.93/3.05 c bounds 31 >= 12 @ 2.84125
5.61/5.78 c #Conflicts: 3000 | #Constraints: 23452
5.61/5.78 c #Conflicts: 4000 | #Constraints: 24452
5.61/5.78 c bounds 31 >= 13 @ 5.5253
11.19/11.34 c INPROCESSING
11.19/11.34 c GARBAGE COLLECT
11.19/11.34 c #Conflicts: 5000 | #Constraints: 23871
11.19/11.34 c #Conflicts: 6000 | #Constraints: 24871
11.19/11.34 c INPROCESSING
11.19/11.34 c GARBAGE COLLECT
11.19/11.34 c bounds 31 >= 14 @ 10.9879
25.56/25.70 c #Conflicts: 7000 | #Constraints: 23868
25.56/25.70 c #Conflicts: 8000 | #Constraints: 24868
25.56/25.70 c #Conflicts: 9000 | #Constraints: 25868
25.56/25.70 c INPROCESSING
25.56/25.70 c GARBAGE COLLECT
25.56/25.70 c #Conflicts: 10000 | #Constraints: 24585
25.56/25.70 c #Conflicts: 11000 | #Constraints: 25587
25.56/25.70 c #Conflicts: 12000 | #Constraints: 26588
25.56/25.70 c INPROCESSING
25.56/25.70 c GARBAGE COLLECT
25.56/25.70 c #Conflicts: 13000 | #Constraints: 25027
25.56/25.70 c #Conflicts: 14000 | #Constraints: 26027
25.56/25.70 c #Conflicts: 15000 | #Constraints: 27027
25.56/25.70 c INPROCESSING
25.56/25.70 c GARBAGE COLLECT
25.56/25.70 c rational objective 14
26.87/27.07 c bounds 31 >= 15 @ 26.4553
27.25/27.46 c #Conflicts: 16000 | #Constraints: 25246
27.25/27.46 c bounds 31 >= 16 @ 26.8336
30.14/30.33 c #Conflicts: 17000 | #Constraints: 26264
30.14/30.33 c #Conflicts: 18000 | #Constraints: 27264
30.14/30.33 c INPROCESSING
30.14/30.33 c GARBAGE COLLECT
30.14/30.33 c bounds 30 >= 16 @ 29.6703
38.80/40.81 c #Conflicts: 19000 | #Constraints: 25322
38.80/40.81 c #Conflicts: 20000 | #Constraints: 26325
38.80/40.81 c #Conflicts: 21000 | #Constraints: 27325
38.80/40.81 c INPROCESSING
38.80/40.81 c GARBAGE COLLECT
38.80/40.81 c #Conflicts: 22000 | #Constraints: 25120
38.80/40.81 c #Conflicts: 23000 | #Constraints: 26120
38.80/40.81 c #Conflicts: 24000 | #Constraints: 27120
38.80/40.81 c #Conflicts: 25000 | #Constraints: 28120
38.80/40.81 c INPROCESSING
38.80/40.81 c GARBAGE COLLECT
38.80/40.81 c rational objective 16
40.39/42.43 c bounds 30 >= 17 @ 39.7624
41.29/43.34 c #Conflicts: 26000 | #Constraints: 25710
41.29/43.34 c bounds 30 >= 18 @ 40.6521
42.29/44.38 c #Conflicts: 27000 | #Constraints: 26737
42.29/44.38 c bounds 29 >= 18 @ 41.6787
42.59/44.60 c #Conflicts: 28000 | #Constraints: 27738
42.59/44.60 c bounds 28 >= 18 @ 41.8859
52.86/54.91 c #Conflicts: 29000 | #Constraints: 28739
52.86/54.91 c INPROCESSING
52.86/54.91 c GARBAGE COLLECT
52.86/54.91 c #Conflicts: 30000 | #Constraints: 26187
52.86/54.91 c #Conflicts: 31000 | #Constraints: 27187
52.86/54.91 c #Conflicts: 32000 | #Constraints: 28187
52.86/54.91 c #Conflicts: 33000 | #Constraints: 29187
52.86/54.91 c INPROCESSING
52.86/54.91 c GARBAGE COLLECT
52.86/54.91 c #Conflicts: 34000 | #Constraints: 26360
52.86/54.91 c #Conflicts: 35000 | #Constraints: 27360
52.86/54.91 c #Conflicts: 36000 | #Constraints: 28360
52.86/54.91 c #Conflicts: 37000 | #Constraints: 29360
52.86/54.91 c INPROCESSING
52.86/54.91 c GARBAGE COLLECT
52.86/54.91 c rational objective 18
60.04/62.11 c #Conflicts: 38000 | #Constraints: 26392
60.04/62.11 c #Conflicts: 39000 | #Constraints: 27392
60.04/62.11 c #Conflicts: 40000 | #Constraints: 28392
60.04/62.11 c #Conflicts: 41000 | #Constraints: 29393
60.04/62.11 c INPROCESSING
60.04/62.11 c GARBAGE COLLECT
60.04/62.11 c rational objective 18
68.20/76.55 c #Conflicts: 42000 | #Constraints: 26161
68.20/76.55 c #Conflicts: 43000 | #Constraints: 27161
68.20/76.55 c #Conflicts: 44000 | #Constraints: 28161
68.20/76.55 c #Conflicts: 45000 | #Constraints: 29161
68.20/76.55 c #Conflicts: 46000 | #Constraints: 30161
68.20/76.55 c INPROCESSING
68.20/76.55 c GARBAGE COLLECT
68.20/76.55 c #Conflicts: 47000 | #Constraints: 26789
68.20/76.55 c #Conflicts: 48000 | #Constraints: 27791
68.20/76.55 c #Conflicts: 49000 | #Constraints: 28792
68.20/76.55 c bounds 27 >= 18 @ 67.1867
71.20/79.55 c #Conflicts: 50000 | #Constraints: 29795
71.20/79.55 c #Conflicts: 51000 | #Constraints: 30795
71.20/79.55 c INPROCESSING
71.20/79.55 c GARBAGE COLLECT
71.20/79.55 c rational objective 18
77.38/85.77 c #Conflicts: 52000 | #Constraints: 27156
77.38/85.77 c #Conflicts: 53000 | #Constraints: 28156
77.38/85.77 c #Conflicts: 54000 | #Constraints: 29156
77.38/85.77 c #Conflicts: 55000 | #Constraints: 30156
77.38/85.77 c #Conflicts: 56000 | #Constraints: 31156
77.38/85.77 c INPROCESSING
77.38/85.77 c GARBAGE COLLECT
77.38/85.77 c rational objective 18
77.99/86.32 c bounds 26 >= 18 @ 76.8127
77.99/86.32 c bounds 25 >= 18 @ 76.8219
83.37/91.77 c #Conflicts: 57000 | #Constraints: 27452
83.37/91.77 c #Conflicts: 58000 | #Constraints: 28453
83.37/91.77 c #Conflicts: 59000 | #Constraints: 29453
83.37/91.77 c #Conflicts: 60000 | #Constraints: 30455
83.37/91.77 c #Conflicts: 61000 | #Constraints: 31458
83.37/91.77 c INPROCESSING
83.37/91.77 c GARBAGE COLLECT
83.37/91.77 c rational objective 18
89.56/100.59 c #Conflicts: 62000 | #Constraints: 27409
89.56/100.59 c #Conflicts: 63000 | #Constraints: 28409
89.56/100.59 c #Conflicts: 64000 | #Constraints: 29409
89.56/100.59 c #Conflicts: 65000 | #Constraints: 30409
89.56/100.59 c #Conflicts: 66000 | #Constraints: 31409
89.56/100.59 c INPROCESSING
89.56/100.59 c GARBAGE COLLECT
89.56/100.59 c rational objective 18
97.24/108.24 c #Conflicts: 67000 | #Constraints: 27211
97.24/108.24 c #Conflicts: 68000 | #Constraints: 28211
97.24/108.24 c #Conflicts: 69000 | #Constraints: 29211
97.24/108.24 c #Conflicts: 70000 | #Constraints: 30211
97.24/108.24 c #Conflicts: 71000 | #Constraints: 31211
97.24/108.24 c #Conflicts: 72000 | #Constraints: 32211
97.24/108.24 c INPROCESSING
97.24/108.24 c GARBAGE COLLECT
97.24/108.24 c rational objective 18
101.93/112.98 c #Conflicts: 73000 | #Constraints: 27889
101.93/112.98 c #Conflicts: 74000 | #Constraints: 28889
101.93/112.98 c bounds 24 >= 18 @ 100.502
104.53/115.56 c #Conflicts: 75000 | #Constraints: 29890
104.53/115.56 c #Conflicts: 76000 | #Constraints: 30890
104.53/115.56 c #Conflicts: 77000 | #Constraints: 31890
104.53/115.56 c #Conflicts: 78000 | #Constraints: 32890
104.53/115.56 c INPROCESSING
104.53/115.56 c GARBAGE COLLECT
104.53/115.56 WSVECS04 Frhs2[14]: 6 -1.00007 0 shouldn't be
104.53/115.56 WSVECS04 Frhs2[382]: 6 -1.00001 0 shouldn't be
106.22/117.21 c rational objective 18
111.31/122.39 c #Conflicts: 79000 | #Constraints: 28273
111.31/122.39 c #Conflicts: 80000 | #Constraints: 29273
111.31/122.39 c #Conflicts: 81000 | #Constraints: 30273
111.31/122.39 c #Conflicts: 82000 | #Constraints: 31273
111.31/122.39 c #Conflicts: 83000 | #Constraints: 32273
111.31/122.39 c bounds 23 >= 18 @ 109.769
112.20/123.28 c #Conflicts: 84000 | #Constraints: 33274
112.20/123.28 c INPROCESSING
112.20/123.28 c GARBAGE COLLECT
112.20/123.28 WSVECS04 Frhs2[74]: 6 -1.00007 0 shouldn't be
112.20/123.28 WSVECS04 Frhs2[5326]: 6 -1.00002 0 shouldn't be
113.01/124.01 c rational objective 18
121.81/136.79 c #Conflicts: 85000 | #Constraints: 28485
121.81/136.79 c #Conflicts: 86000 | #Constraints: 29485
121.81/136.79 c #Conflicts: 87000 | #Constraints: 30485
121.81/136.79 c #Conflicts: 88000 | #Constraints: 31485
121.81/136.79 c #Conflicts: 89000 | #Constraints: 32485
121.81/136.79 c #Conflicts: 90000 | #Constraints: 33485
121.81/136.79 c bounds 23 >= 19 @ 120.151
122.71/137.69 c INPROCESSING
122.71/137.69 c GARBAGE COLLECT
122.71/137.69 c rational objective 19
134.09/149.04 c #Conflicts: 91000 | #Constraints: 28489
134.09/149.04 c #Conflicts: 92000 | #Constraints: 29489
134.09/149.04 c #Conflicts: 93000 | #Constraints: 30489
134.09/149.04 c #Conflicts: 94000 | #Constraints: 31489
134.09/149.04 c #Conflicts: 95000 | #Constraints: 32489
134.09/149.04 c #Conflicts: 96000 | #Constraints: 33489
134.09/149.04 c INPROCESSING
134.09/149.04 c GARBAGE COLLECT
134.09/149.04 c rational objective 19
148.12/165.62 c #Conflicts: 97000 | #Constraints: 28269
148.12/165.62 c #Conflicts: 98000 | #Constraints: 29269
148.12/165.62 c #Conflicts: 99000 | #Constraints: 30269
148.12/165.62 c #Conflicts: 100000 | #Constraints: 31269
148.12/165.62 c #Conflicts: 101000 | #Constraints: 32269
148.12/165.62 c #Conflicts: 102000 | #Constraints: 33269
148.12/165.62 c #Conflicts: 103000 | #Constraints: 34269
148.12/165.62 c INPROCESSING
148.12/165.62 c GARBAGE COLLECT
148.12/165.62 c rational objective 19
157.10/174.64 c #Conflicts: 104000 | #Constraints: 28928
157.10/174.64 c #Conflicts: 105000 | #Constraints: 29928
157.10/174.64 c #Conflicts: 106000 | #Constraints: 30928
157.10/174.64 c #Conflicts: 107000 | #Constraints: 31928
157.10/174.64 c #Conflicts: 108000 | #Constraints: 32928
157.10/174.64 c #Conflicts: 109000 | #Constraints: 33928
157.10/174.64 c #Conflicts: 110000 | #Constraints: 34928
157.10/174.64 c INPROCESSING
157.10/174.64 c GARBAGE COLLECT
157.10/174.64 c rational objective 19
169.37/188.55 c #Conflicts: 111000 | #Constraints: 29346
169.37/188.55 c #Conflicts: 112000 | #Constraints: 30346
169.37/188.55 c #Conflicts: 113000 | #Constraints: 31346
169.37/188.55 c #Conflicts: 114000 | #Constraints: 32346
169.37/188.55 c #Conflicts: 115000 | #Constraints: 33346
169.37/188.55 c #Conflicts: 116000 | #Constraints: 34346
169.37/188.55 c #Conflicts: 117000 | #Constraints: 35346
169.37/188.55 c INPROCESSING
169.37/188.55 c GARBAGE COLLECT
169.37/188.55 c rational objective 19
179.34/198.58 c #Conflicts: 118000 | #Constraints: 29521
179.34/198.58 c #Conflicts: 119000 | #Constraints: 30521
179.34/198.58 c #Conflicts: 120000 | #Constraints: 31521
179.34/198.58 c #Conflicts: 121000 | #Constraints: 32521
179.34/198.58 c #Conflicts: 122000 | #Constraints: 33521
179.34/198.58 c #Conflicts: 123000 | #Constraints: 34521
179.34/198.58 c #Conflicts: 124000 | #Constraints: 35521
179.34/198.58 c INPROCESSING
179.34/198.58 c GARBAGE COLLECT
179.34/198.58 c rational objective 19
189.93/209.14 c #Conflicts: 125000 | #Constraints: 29600
189.93/209.14 c #Conflicts: 126000 | #Constraints: 30600
189.93/209.14 c #Conflicts: 127000 | #Constraints: 31600
189.93/209.14 c #Conflicts: 128000 | #Constraints: 32600
189.93/209.14 c #Conflicts: 129000 | #Constraints: 33600
189.93/209.14 c #Conflicts: 130000 | #Constraints: 34600
189.93/209.14 c #Conflicts: 131000 | #Constraints: 35600
189.93/209.14 c INPROCESSING
189.93/209.14 c GARBAGE COLLECT
189.93/209.14 c rational objective 19
204.88/226.57 c #Conflicts: 132000 | #Constraints: 29489
204.88/226.57 c #Conflicts: 133000 | #Constraints: 30489
204.88/226.57 c #Conflicts: 134000 | #Constraints: 31489
204.88/226.57 c #Conflicts: 135000 | #Constraints: 32489
204.88/226.57 c #Conflicts: 136000 | #Constraints: 33489
204.88/226.57 c #Conflicts: 137000 | #Constraints: 34489
204.88/226.57 c #Conflicts: 138000 | #Constraints: 35489
204.88/226.57 c #Conflicts: 139000 | #Constraints: 36489
204.88/226.57 c INPROCESSING
204.88/226.57 c GARBAGE COLLECT
204.88/226.57 c rational objective 19
216.76/238.41 c #Conflicts: 140000 | #Constraints: 30015
216.76/238.41 c #Conflicts: 141000 | #Constraints: 31015
216.76/238.41 c #Conflicts: 142000 | #Constraints: 32015
216.76/238.41 c #Conflicts: 143000 | #Constraints: 33015
216.76/238.41 c #Conflicts: 144000 | #Constraints: 34015
216.76/238.41 c #Conflicts: 145000 | #Constraints: 35015
216.76/238.41 c #Conflicts: 146000 | #Constraints: 36016
216.76/238.41 c #Conflicts: 147000 | #Constraints: 37016
216.76/238.41 c INPROCESSING
216.76/238.41 c GARBAGE COLLECT
216.76/238.41 c rational objective 19
235.71/260.09 c #Conflicts: 148000 | #Constraints: 30417
235.71/260.09 c #Conflicts: 149000 | #Constraints: 31417
235.71/260.09 c #Conflicts: 150000 | #Constraints: 32417
235.71/260.09 c #Conflicts: 151000 | #Constraints: 33417
235.71/260.09 c #Conflicts: 152000 | #Constraints: 34417
235.71/260.09 c #Conflicts: 153000 | #Constraints: 35417
235.71/260.09 c #Conflicts: 154000 | #Constraints: 36417
235.71/260.09 c #Conflicts: 155000 | #Constraints: 37417
235.71/260.09 c INPROCESSING
235.71/260.09 c GARBAGE COLLECT
235.71/260.09 c rational objective 19
248.97/273.33 c #Conflicts: 156000 | #Constraints: 30642
248.97/273.33 c #Conflicts: 157000 | #Constraints: 31642
248.97/273.33 c #Conflicts: 158000 | #Constraints: 32642
248.97/273.33 c #Conflicts: 159000 | #Constraints: 33642
248.97/273.33 c #Conflicts: 160000 | #Constraints: 34642
248.97/273.33 c #Conflicts: 161000 | #Constraints: 35642
248.97/273.33 c #Conflicts: 162000 | #Constraints: 36642
248.97/273.33 c #Conflicts: 163000 | #Constraints: 37642
248.97/273.33 c INPROCESSING
248.97/273.33 c GARBAGE COLLECT
248.97/273.33 c rational objective 19
261.91/288.49 c #Conflicts: 164000 | #Constraints: 30689
261.91/288.49 c #Conflicts: 165000 | #Constraints: 31689
261.91/288.49 c #Conflicts: 166000 | #Constraints: 32689
261.91/288.49 c #Conflicts: 167000 | #Constraints: 33689
261.91/288.49 c #Conflicts: 168000 | #Constraints: 34689
261.91/288.49 c #Conflicts: 169000 | #Constraints: 35689
261.91/288.49 c #Conflicts: 170000 | #Constraints: 36689
261.91/288.49 c #Conflicts: 171000 | #Constraints: 37689
261.91/288.49 c INPROCESSING
261.91/288.49 c GARBAGE COLLECT
261.91/288.49 c rational objective 19
279.48/306.03 c #Conflicts: 172000 | #Constraints: 30470
279.48/306.03 c #Conflicts: 173000 | #Constraints: 31470
279.48/306.03 c #Conflicts: 174000 | #Constraints: 32470
279.48/306.03 c #Conflicts: 175000 | #Constraints: 33470
279.48/306.03 c #Conflicts: 176000 | #Constraints: 34470
279.48/306.03 c #Conflicts: 177000 | #Constraints: 35470
279.48/306.03 c #Conflicts: 178000 | #Constraints: 36470
279.48/306.03 c #Conflicts: 179000 | #Constraints: 37470
279.48/306.03 c #Conflicts: 180000 | #Constraints: 38470
279.48/306.03 c INPROCESSING
279.48/306.03 c GARBAGE COLLECT
279.48/306.03 c rational objective 19
293.06/320.70 c #Conflicts: 181000 | #Constraints: 31094
293.06/320.70 c #Conflicts: 182000 | #Constraints: 32094
293.06/320.70 c #Conflicts: 183000 | #Constraints: 33094
293.06/320.70 c #Conflicts: 184000 | #Constraints: 34094
293.06/320.70 c #Conflicts: 185000 | #Constraints: 35094
293.06/320.70 c #Conflicts: 186000 | #Constraints: 36094
293.06/320.70 c #Conflicts: 187000 | #Constraints: 37094
293.06/320.70 c #Conflicts: 188000 | #Constraints: 38094
293.06/320.70 c #Conflicts: 189000 | #Constraints: 39094
293.06/320.70 c INPROCESSING
293.06/320.70 c GARBAGE COLLECT
293.06/320.70 c rational objective 19
308.42/336.01 c #Conflicts: 190000 | #Constraints: 31507
308.42/336.01 c #Conflicts: 191000 | #Constraints: 32507
308.42/336.01 c #Conflicts: 192000 | #Constraints: 33507
308.42/336.01 c #Conflicts: 193000 | #Constraints: 34507
308.42/336.01 c #Conflicts: 194000 | #Constraints: 35507
308.42/336.01 c #Conflicts: 195000 | #Constraints: 36507
308.42/336.01 c #Conflicts: 196000 | #Constraints: 37507
308.42/336.01 c #Conflicts: 197000 | #Constraints: 38507
308.42/336.01 c #Conflicts: 198000 | #Constraints: 39507
308.42/336.01 c INPROCESSING
308.42/336.01 c GARBAGE COLLECT
308.42/336.01 c rational objective 19
330.74/358.81 c #Conflicts: 199000 | #Constraints: 31798
330.74/358.81 c #Conflicts: 200000 | #Constraints: 32798
330.74/358.81 c #Conflicts: 201000 | #Constraints: 33798
330.74/358.81 c #Conflicts: 202000 | #Constraints: 34798
330.74/358.81 c #Conflicts: 203000 | #Constraints: 35798
330.74/358.81 c #Conflicts: 204000 | #Constraints: 36798
330.74/358.81 c #Conflicts: 205000 | #Constraints: 37798
330.74/358.81 c #Conflicts: 206000 | #Constraints: 38798
330.74/358.81 c #Conflicts: 207000 | #Constraints: 39798
330.74/358.81 c INPROCESSING
330.74/358.81 c GARBAGE COLLECT
330.74/358.81 c rational objective 19
343.53/373.34 c #Conflicts: 208000 | #Constraints: 31726
343.53/373.34 c #Conflicts: 209000 | #Constraints: 32726
343.53/373.34 c #Conflicts: 210000 | #Constraints: 33726
343.53/373.34 c #Conflicts: 211000 | #Constraints: 34726
343.53/373.34 c #Conflicts: 212000 | #Constraints: 35726
343.53/373.34 c #Conflicts: 213000 | #Constraints: 36726
343.53/373.34 c #Conflicts: 214000 | #Constraints: 37726
343.53/373.34 c #Conflicts: 215000 | #Constraints: 38726
343.53/373.34 c #Conflicts: 216000 | #Constraints: 39726
343.53/373.34 c INPROCESSING
343.53/373.34 c GARBAGE COLLECT
343.53/373.34 c rational objective 19
369.87/399.70 c #Conflicts: 217000 | #Constraints: 31644
369.87/399.70 c #Conflicts: 218000 | #Constraints: 32644
369.87/399.70 c #Conflicts: 219000 | #Constraints: 33644
369.87/399.70 c #Conflicts: 220000 | #Constraints: 34644
369.87/399.70 c #Conflicts: 221000 | #Constraints: 35644
369.87/399.70 c #Conflicts: 222000 | #Constraints: 36644
369.87/399.70 c #Conflicts: 223000 | #Constraints: 37644
369.87/399.70 c #Conflicts: 224000 | #Constraints: 38644
369.87/399.70 c #Conflicts: 225000 | #Constraints: 39644
369.87/399.70 c #Conflicts: 226000 | #Constraints: 40644
369.87/399.70 c INPROCESSING
369.87/399.70 c GARBAGE COLLECT
369.87/399.70 c rational objective 19
384.16/414.50 c #Conflicts: 227000 | #Constraints: 32139
384.16/414.50 c #Conflicts: 228000 | #Constraints: 33139
384.16/414.50 c #Conflicts: 229000 | #Constraints: 34139
384.16/414.50 c #Conflicts: 230000 | #Constraints: 35139
384.16/414.50 c #Conflicts: 231000 | #Constraints: 36139
384.16/414.50 c #Conflicts: 232000 | #Constraints: 37139
384.16/414.50 c #Conflicts: 233000 | #Constraints: 38139
384.16/414.50 c #Conflicts: 234000 | #Constraints: 39139
384.16/414.50 c #Conflicts: 235000 | #Constraints: 40139
384.16/414.50 c #Conflicts: 236000 | #Constraints: 41139
384.16/414.50 c INPROCESSING
384.16/414.50 c GARBAGE COLLECT
384.16/414.50 c rational objective 19
408.04/438.65 c #Conflicts: 237000 | #Constraints: 32605
408.04/438.65 c #Conflicts: 238000 | #Constraints: 33605
408.04/438.65 c #Conflicts: 239000 | #Constraints: 34605
408.04/438.65 c #Conflicts: 240000 | #Constraints: 35605
408.04/438.65 c #Conflicts: 241000 | #Constraints: 36605
408.04/438.65 c #Conflicts: 242000 | #Constraints: 37605
408.04/438.65 c #Conflicts: 243000 | #Constraints: 38605
408.04/438.65 c #Conflicts: 244000 | #Constraints: 39605
408.04/438.65 c #Conflicts: 245000 | #Constraints: 40605
408.04/438.65 c #Conflicts: 246000 | #Constraints: 41605
408.04/438.65 c INPROCESSING
408.04/438.65 c GARBAGE COLLECT
408.04/438.65 c rational objective 19
424.10/454.75 c #Conflicts: 247000 | #Constraints: 32836
424.10/454.75 c #Conflicts: 248000 | #Constraints: 33836
424.10/454.75 c #Conflicts: 249000 | #Constraints: 34836
424.10/454.75 c #Conflicts: 250000 | #Constraints: 35836
424.10/454.75 c #Conflicts: 251000 | #Constraints: 36836
424.10/454.75 c #Conflicts: 252000 | #Constraints: 37836
424.10/454.75 c #Conflicts: 253000 | #Constraints: 38837
424.10/454.75 c #Conflicts: 254000 | #Constraints: 39837
424.10/454.75 c #Conflicts: 255000 | #Constraints: 40837
424.10/454.75 c #Conflicts: 256000 | #Constraints: 41837
424.10/454.75 c INPROCESSING
424.10/454.75 c GARBAGE COLLECT
424.10/454.75 c rational objective 19
438.28/469.03 c #Conflicts: 257000 | #Constraints: 32825
438.28/469.03 c #Conflicts: 258000 | #Constraints: 33825
438.28/469.03 c #Conflicts: 259000 | #Constraints: 34825
438.28/469.03 c #Conflicts: 260000 | #Constraints: 35825
438.28/469.03 c #Conflicts: 261000 | #Constraints: 36825
438.28/469.03 c #Conflicts: 262000 | #Constraints: 37825
438.28/469.03 c #Conflicts: 263000 | #Constraints: 38825
438.28/469.03 c bounds 22 >= 19 @ 434.525
442.96/473.75 c #Conflicts: 264000 | #Constraints: 39826
442.96/473.75 c #Conflicts: 265000 | #Constraints: 40826
442.96/473.75 c #Conflicts: 266000 | #Constraints: 41826
442.96/473.75 c INPROCESSING
442.96/473.75 c GARBAGE COLLECT
442.96/473.75 c rational objective 19
468.01/498.90 c #Conflicts: 267000 | #Constraints: 32577
468.01/498.90 c #Conflicts: 268000 | #Constraints: 33577
468.01/498.90 c #Conflicts: 269000 | #Constraints: 34577
468.01/498.90 c #Conflicts: 270000 | #Constraints: 35577
468.01/498.90 c #Conflicts: 271000 | #Constraints: 36577
468.01/498.90 c #Conflicts: 272000 | #Constraints: 37577
468.01/498.90 c #Conflicts: 273000 | #Constraints: 38577
468.01/498.90 c #Conflicts: 274000 | #Constraints: 39577
468.01/498.90 c #Conflicts: 275000 | #Constraints: 40577
468.01/498.90 c #Conflicts: 276000 | #Constraints: 41577
468.01/498.90 c #Conflicts: 277000 | #Constraints: 42577
468.01/498.90 c INPROCESSING
468.01/498.90 c GARBAGE COLLECT
468.01/498.90 c rational objective 19
493.82/524.88 c #Conflicts: 278000 | #Constraints: 33247
493.82/524.88 c #Conflicts: 279000 | #Constraints: 34247
493.82/524.88 c #Conflicts: 280000 | #Constraints: 35247
493.82/524.88 c #Conflicts: 281000 | #Constraints: 36247
493.82/524.88 c #Conflicts: 282000 | #Constraints: 37247
493.82/524.88 c #Conflicts: 283000 | #Constraints: 38247
493.82/524.88 c #Conflicts: 284000 | #Constraints: 39247
493.82/524.88 c #Conflicts: 285000 | #Constraints: 40247
493.82/524.88 c #Conflicts: 286000 | #Constraints: 41247
493.82/524.88 c #Conflicts: 287000 | #Constraints: 42247
493.82/524.88 c #Conflicts: 288000 | #Constraints: 43247
493.82/524.88 c INPROCESSING
493.82/524.88 c GARBAGE COLLECT
493.82/524.88 c rational objective 19
526.70/557.86 c #Conflicts: 289000 | #Constraints: 33621
526.70/557.86 c #Conflicts: 290000 | #Constraints: 34621
526.70/557.86 c #Conflicts: 291000 | #Constraints: 35621
526.70/557.86 c #Conflicts: 292000 | #Constraints: 36621
526.70/557.86 c #Conflicts: 293000 | #Constraints: 37621
526.70/557.86 c #Conflicts: 294000 | #Constraints: 38621
526.70/557.86 c #Conflicts: 295000 | #Constraints: 39621
526.70/557.86 c #Conflicts: 296000 | #Constraints: 40621
526.70/557.86 c #Conflicts: 297000 | #Constraints: 41621
526.70/557.86 c #Conflicts: 298000 | #Constraints: 42621
526.70/557.86 c #Conflicts: 299000 | #Constraints: 43621
526.70/557.86 c INPROCESSING
526.70/557.86 c GARBAGE COLLECT
526.70/557.86 c rational objective 19
560.05/591.31 c #Conflicts: 300000 | #Constraints: 33851
560.05/591.31 c #Conflicts: 301000 | #Constraints: 34851
560.05/591.31 c #Conflicts: 302000 | #Constraints: 35851
560.05/591.31 c #Conflicts: 303000 | #Constraints: 36851
560.05/591.31 c #Conflicts: 304000 | #Constraints: 37851
560.05/591.31 c #Conflicts: 305000 | #Constraints: 38851
560.05/591.31 c #Conflicts: 306000 | #Constraints: 39851
560.05/591.31 c #Conflicts: 307000 | #Constraints: 40851
560.05/591.31 c #Conflicts: 308000 | #Constraints: 41851
560.05/591.31 c #Conflicts: 309000 | #Constraints: 42851
560.05/591.31 c #Conflicts: 310000 | #Constraints: 43851
560.05/591.31 c INPROCESSING
560.05/591.31 c GARBAGE COLLECT
560.05/591.31 c rational objective 19
576.77/613.28 c #Conflicts: 311000 | #Constraints: 33947
576.77/613.28 c #Conflicts: 312000 | #Constraints: 34947
576.77/613.28 c #Conflicts: 313000 | #Constraints: 35947
576.77/613.28 c #Conflicts: 314000 | #Constraints: 36947
576.77/613.28 c #Conflicts: 315000 | #Constraints: 37947
576.77/613.28 c #Conflicts: 316000 | #Constraints: 38947
576.77/613.28 c #Conflicts: 317000 | #Constraints: 39947
576.77/613.28 c #Conflicts: 318000 | #Constraints: 40947
576.77/613.28 c #Conflicts: 319000 | #Constraints: 41947
576.77/613.28 c #Conflicts: 320000 | #Constraints: 42947
576.77/613.28 c #Conflicts: 321000 | #Constraints: 43947
576.77/613.28 c INPROCESSING
576.77/613.28 c GARBAGE COLLECT
576.77/613.28 c rational objective 19
599.62/636.19 c #Conflicts: 322000 | #Constraints: 33780
599.62/636.19 c #Conflicts: 323000 | #Constraints: 34780
599.62/636.19 c #Conflicts: 324000 | #Constraints: 35780
599.62/636.19 c #Conflicts: 325000 | #Constraints: 36780
599.62/636.19 c #Conflicts: 326000 | #Constraints: 37780
599.62/636.19 c #Conflicts: 327000 | #Constraints: 38780
599.62/636.19 c #Conflicts: 328000 | #Constraints: 39780
599.62/636.19 c #Conflicts: 329000 | #Constraints: 40780
599.62/636.19 c #Conflicts: 330000 | #Constraints: 41780
599.62/636.19 c #Conflicts: 331000 | #Constraints: 42780
599.62/636.19 c #Conflicts: 332000 | #Constraints: 43780
599.62/636.19 c #Conflicts: 333000 | #Constraints: 44780
599.62/636.19 c INPROCESSING
599.62/636.19 c GARBAGE COLLECT
599.62/636.19 c rational objective 19
632.79/669.52 c #Conflicts: 334000 | #Constraints: 34374
632.79/669.52 c #Conflicts: 335000 | #Constraints: 35374
632.79/669.52 c #Conflicts: 336000 | #Constraints: 36374
632.79/669.52 c #Conflicts: 337000 | #Constraints: 37374
632.79/669.52 c #Conflicts: 338000 | #Constraints: 38374
632.79/669.52 c #Conflicts: 339000 | #Constraints: 39374
632.79/669.52 c #Conflicts: 340000 | #Constraints: 40374
632.79/669.52 c #Conflicts: 341000 | #Constraints: 41374
632.79/669.52 c #Conflicts: 342000 | #Constraints: 42374
632.79/669.52 c #Conflicts: 343000 | #Constraints: 43374
632.79/669.52 c #Conflicts: 344000 | #Constraints: 44374
632.79/669.52 c #Conflicts: 345000 | #Constraints: 45374
632.79/669.52 c INPROCESSING
632.79/669.52 c GARBAGE COLLECT
632.79/669.52 c rational objective 19
662.84/699.80 c #Conflicts: 346000 | #Constraints: 34862
662.84/699.80 c #Conflicts: 347000 | #Constraints: 35862
662.84/699.80 c #Conflicts: 348000 | #Constraints: 36862
662.84/699.80 c #Conflicts: 349000 | #Constraints: 37862
662.84/699.80 c #Conflicts: 350000 | #Constraints: 38862
662.84/699.80 c #Conflicts: 351000 | #Constraints: 39862
662.84/699.80 c #Conflicts: 352000 | #Constraints: 40862
662.84/699.80 c #Conflicts: 353000 | #Constraints: 41862
662.84/699.80 c #Conflicts: 354000 | #Constraints: 42862
662.84/699.80 c #Conflicts: 355000 | #Constraints: 43862
662.84/699.80 c #Conflicts: 356000 | #Constraints: 44862
662.84/699.80 c #Conflicts: 357000 | #Constraints: 45862
662.84/699.80 c INPROCESSING
662.84/699.80 c GARBAGE COLLECT
662.84/699.80 c rational objective 19
695.47/732.68 c #Conflicts: 358000 | #Constraints: 35035
695.47/732.68 c #Conflicts: 359000 | #Constraints: 36035
695.47/732.68 c #Conflicts: 360000 | #Constraints: 37035
695.47/732.68 c #Conflicts: 361000 | #Constraints: 38035
695.47/732.68 c #Conflicts: 362000 | #Constraints: 39035
695.47/732.68 c #Conflicts: 363000 | #Constraints: 40035
695.47/732.68 c #Conflicts: 364000 | #Constraints: 41035
695.47/732.68 c #Conflicts: 365000 | #Constraints: 42035
695.47/732.68 c #Conflicts: 366000 | #Constraints: 43035
695.47/732.68 c #Conflicts: 367000 | #Constraints: 44035
695.47/732.68 c #Conflicts: 368000 | #Constraints: 45035
695.47/732.68 c #Conflicts: 369000 | #Constraints: 46035
695.47/732.68 c INPROCESSING
695.47/732.68 c GARBAGE COLLECT
695.47/732.68 c rational objective 19
723.12/760.41 c #Conflicts: 370000 | #Constraints: 34969
723.12/760.41 c #Conflicts: 371000 | #Constraints: 35969
723.12/760.41 c #Conflicts: 372000 | #Constraints: 36969
723.12/760.41 c #Conflicts: 373000 | #Constraints: 37969
723.12/760.41 c #Conflicts: 374000 | #Constraints: 38969
723.12/760.41 c #Conflicts: 375000 | #Constraints: 39969
723.12/760.41 c #Conflicts: 376000 | #Constraints: 40969
723.12/760.41 c #Conflicts: 377000 | #Constraints: 41969
723.12/760.41 c #Conflicts: 378000 | #Constraints: 42969
723.12/760.41 c #Conflicts: 379000 | #Constraints: 43969
723.12/760.41 c #Conflicts: 380000 | #Constraints: 44969
723.12/760.41 c #Conflicts: 381000 | #Constraints: 45969
723.12/760.41 c INPROCESSING
723.12/760.41 c GARBAGE COLLECT
723.12/760.41 c rational objective 19
758.50/796.44 c #Conflicts: 382000 | #Constraints: 34783
758.50/796.44 c #Conflicts: 383000 | #Constraints: 35783
758.50/796.44 c #Conflicts: 384000 | #Constraints: 36783
758.50/796.44 c #Conflicts: 385000 | #Constraints: 37783
758.50/796.44 c #Conflicts: 386000 | #Constraints: 38783
758.50/796.44 c #Conflicts: 387000 | #Constraints: 39783
758.50/796.44 c #Conflicts: 388000 | #Constraints: 40783
758.50/796.44 c #Conflicts: 389000 | #Constraints: 41783
758.50/796.44 c #Conflicts: 390000 | #Constraints: 42783
758.50/796.44 c #Conflicts: 391000 | #Constraints: 43783
758.50/796.44 c #Conflicts: 392000 | #Constraints: 44783
758.50/796.44 c #Conflicts: 393000 | #Constraints: 45783
758.50/796.44 c #Conflicts: 394000 | #Constraints: 46783
758.50/796.44 c INPROCESSING
758.50/796.44 c GARBAGE COLLECT
758.50/796.44 c rational objective 19
795.06/833.16 c #Conflicts: 395000 | #Constraints: 35246
795.06/833.16 c #Conflicts: 396000 | #Constraints: 36246
795.06/833.16 c #Conflicts: 397000 | #Constraints: 37246
795.06/833.16 c #Conflicts: 398000 | #Constraints: 38246
795.06/833.16 c #Conflicts: 399000 | #Constraints: 39246
795.06/833.16 c #Conflicts: 400000 | #Constraints: 40246
795.06/833.16 c #Conflicts: 401000 | #Constraints: 41246
795.06/833.16 c #Conflicts: 402000 | #Constraints: 42246
795.06/833.16 c #Conflicts: 403000 | #Constraints: 43246
795.06/833.16 c #Conflicts: 404000 | #Constraints: 44246
795.06/833.16 c #Conflicts: 405000 | #Constraints: 45246
795.06/833.16 c #Conflicts: 406000 | #Constraints: 46246
795.06/833.16 c #Conflicts: 407000 | #Constraints: 47246
795.06/833.16 c INPROCESSING
795.06/833.16 c GARBAGE COLLECT
795.06/833.16 c rational objective 19
826.29/864.43 c #Conflicts: 408000 | #Constraints: 35783
826.29/864.43 c #Conflicts: 409000 | #Constraints: 36783
826.29/864.43 c #Conflicts: 410000 | #Constraints: 37783
826.29/864.43 c #Conflicts: 411000 | #Constraints: 38783
826.29/864.43 c #Conflicts: 412000 | #Constraints: 39783
826.29/864.43 c #Conflicts: 413000 | #Constraints: 40783
826.29/864.43 c #Conflicts: 414000 | #Constraints: 41783
826.29/864.43 c #Conflicts: 415000 | #Constraints: 42783
826.29/864.43 c #Conflicts: 416000 | #Constraints: 43783
826.29/864.43 c #Conflicts: 417000 | #Constraints: 44783
826.29/864.43 c #Conflicts: 418000 | #Constraints: 45783
826.29/864.43 c #Conflicts: 419000 | #Constraints: 46783
826.29/864.43 c #Conflicts: 420000 | #Constraints: 47783
826.29/864.43 c INPROCESSING
826.29/864.43 c GARBAGE COLLECT
826.29/864.43 c rational objective 19
859.42/897.79 c #Conflicts: 421000 | #Constraints: 35915
859.42/897.79 c #Conflicts: 422000 | #Constraints: 36915
859.42/897.79 c #Conflicts: 423000 | #Constraints: 37915
859.42/897.79 c #Conflicts: 424000 | #Constraints: 38915
859.42/897.79 c #Conflicts: 425000 | #Constraints: 39915
859.42/897.79 c #Conflicts: 426000 | #Constraints: 40915
859.42/897.79 c #Conflicts: 427000 | #Constraints: 41915
859.42/897.79 c #Conflicts: 428000 | #Constraints: 42915
859.42/897.79 c #Conflicts: 429000 | #Constraints: 43915
859.42/897.79 c #Conflicts: 430000 | #Constraints: 44915
859.42/897.79 c #Conflicts: 431000 | #Constraints: 45915
859.42/897.79 c #Conflicts: 432000 | #Constraints: 46915
859.42/897.79 c #Conflicts: 433000 | #Constraints: 47915
859.42/897.79 c INPROCESSING
859.42/897.79 c GARBAGE COLLECT
859.42/897.79 c rational objective 19
920.16/958.86 c #Conflicts: 434000 | #Constraints: 35944
920.16/958.86 c #Conflicts: 435000 | #Constraints: 36944
920.16/958.86 c #Conflicts: 436000 | #Constraints: 37944
920.16/958.86 c #Conflicts: 437000 | #Constraints: 38944
920.16/958.86 c #Conflicts: 438000 | #Constraints: 39944
920.16/958.86 c #Conflicts: 439000 | #Constraints: 40944
920.16/958.86 c #Conflicts: 440000 | #Constraints: 41944
920.16/958.86 c #Conflicts: 441000 | #Constraints: 42944
920.16/958.86 c #Conflicts: 442000 | #Constraints: 43944
920.16/958.86 c #Conflicts: 443000 | #Constraints: 44944
920.16/958.86 c #Conflicts: 444000 | #Constraints: 45944
920.16/958.86 c #Conflicts: 445000 | #Constraints: 46944
920.16/958.86 c #Conflicts: 446000 | #Constraints: 47944
920.16/958.86 c INPROCESSING
920.16/958.86 c GARBAGE COLLECT
920.16/958.86 c rational objective 19
934.73/973.47 c #Conflicts: 447000 | #Constraints: 35844
934.73/973.47 c #Conflicts: 448000 | #Constraints: 36844
934.73/973.47 c #Conflicts: 449000 | #Constraints: 37844
934.73/973.47 c #Conflicts: 450000 | #Constraints: 38844
934.73/973.47 c #Conflicts: 451000 | #Constraints: 39844
934.73/973.47 c #Conflicts: 452000 | #Constraints: 40844
934.73/973.47 c #Conflicts: 453000 | #Constraints: 41844
934.73/973.47 c #Conflicts: 454000 | #Constraints: 42844
934.73/973.47 c bounds 21 >= 19 @ 928.664
953.97/992.83 c #Conflicts: 455000 | #Constraints: 43845
953.97/992.83 c #Conflicts: 456000 | #Constraints: 44845
953.97/992.83 c #Conflicts: 457000 | #Constraints: 45845
953.97/992.83 c #Conflicts: 458000 | #Constraints: 46845
953.97/992.83 c #Conflicts: 459000 | #Constraints: 47845
953.97/992.83 c #Conflicts: 460000 | #Constraints: 48845
953.97/992.83 c INPROCESSING
953.97/992.83 c GARBAGE COLLECT
953.97/992.83 c rational objective 19
1002.16/1041.52 c #Conflicts: 461000 | #Constraints: 36521
1002.16/1041.52 c #Conflicts: 462000 | #Constraints: 37521
1002.16/1041.52 c #Conflicts: 463000 | #Constraints: 38522
1002.16/1041.52 c #Conflicts: 464000 | #Constraints: 39522
1002.16/1041.52 c #Conflicts: 465000 | #Constraints: 40522
1002.16/1041.52 c #Conflicts: 466000 | #Constraints: 41522
1002.16/1041.52 c #Conflicts: 467000 | #Constraints: 42522
1002.16/1041.52 c #Conflicts: 468000 | #Constraints: 43522
1002.16/1041.52 c #Conflicts: 469000 | #Constraints: 44522
1002.16/1041.52 c #Conflicts: 470000 | #Constraints: 45522
1002.16/1041.52 c #Conflicts: 471000 | #Constraints: 46522
1002.16/1041.52 c #Conflicts: 472000 | #Constraints: 47522
1002.16/1041.52 c #Conflicts: 473000 | #Constraints: 48522
1002.16/1041.52 c #Conflicts: 474000 | #Constraints: 49522
1002.16/1041.52 c INPROCESSING
1002.16/1041.52 c GARBAGE COLLECT
1002.16/1041.52 c rational objective 19
1039.22/1078.81 c #Conflicts: 475000 | #Constraints: 36833
1039.22/1078.81 c #Conflicts: 476000 | #Constraints: 37833
1039.22/1078.81 c #Conflicts: 477000 | #Constraints: 38833
1039.22/1078.81 c #Conflicts: 478000 | #Constraints: 39833
1039.22/1078.81 c #Conflicts: 479000 | #Constraints: 40833
1039.22/1078.81 c #Conflicts: 480000 | #Constraints: 41833
1039.22/1078.81 c #Conflicts: 481000 | #Constraints: 42833
1039.22/1078.81 c #Conflicts: 482000 | #Constraints: 43833
1039.22/1078.81 c #Conflicts: 483000 | #Constraints: 44833
1039.22/1078.81 c #Conflicts: 484000 | #Constraints: 45833
1039.22/1078.81 c #Conflicts: 485000 | #Constraints: 46833
1039.22/1078.81 c #Conflicts: 486000 | #Constraints: 47833
1039.22/1078.81 c #Conflicts: 487000 | #Constraints: 48833
1039.22/1078.81 c #Conflicts: 488000 | #Constraints: 49833
1039.22/1078.81 c INPROCESSING
1039.22/1078.81 c GARBAGE COLLECT
1039.22/1078.81 c rational objective 19
1077.65/1117.51 c #Conflicts: 489000 | #Constraints: 36960
1077.65/1117.51 c #Conflicts: 490000 | #Constraints: 37960
1077.65/1117.51 c #Conflicts: 491000 | #Constraints: 38960
1077.65/1117.51 c #Conflicts: 492000 | #Constraints: 39960
1077.65/1117.51 c #Conflicts: 493000 | #Constraints: 40960
1077.65/1117.51 c #Conflicts: 494000 | #Constraints: 41960
1077.65/1117.51 c #Conflicts: 495000 | #Constraints: 42960
1077.65/1117.51 c #Conflicts: 496000 | #Constraints: 43960
1077.65/1117.51 c #Conflicts: 497000 | #Constraints: 44960
1077.65/1117.51 c #Conflicts: 498000 | #Constraints: 45960
1077.65/1117.51 c #Conflicts: 499000 | #Constraints: 46960
1077.65/1117.51 c #Conflicts: 500000 | #Constraints: 47960
1077.65/1117.51 c #Conflicts: 501000 | #Constraints: 48960
1077.65/1117.51 c #Conflicts: 502000 | #Constraints: 49960
1077.65/1117.51 c INPROCESSING
1077.65/1117.51 c GARBAGE COLLECT
1077.65/1117.51 c rational objective 19
1114.31/1154.42 c #Conflicts: 503000 | #Constraints: 36927
1114.31/1154.42 c #Conflicts: 504000 | #Constraints: 37927
1114.31/1154.42 c #Conflicts: 505000 | #Constraints: 38927
1114.31/1154.42 c #Conflicts: 506000 | #Constraints: 39927
1114.31/1154.42 c #Conflicts: 507000 | #Constraints: 40927
1114.31/1154.42 c #Conflicts: 508000 | #Constraints: 41927
1114.31/1154.42 c #Conflicts: 509000 | #Constraints: 42927
1114.31/1154.42 c #Conflicts: 510000 | #Constraints: 43927
1114.31/1154.42 c #Conflicts: 511000 | #Constraints: 44927
1114.31/1154.42 c #Conflicts: 512000 | #Constraints: 45927
1114.31/1154.42 c #Conflicts: 513000 | #Constraints: 46927
1114.31/1154.42 c #Conflicts: 514000 | #Constraints: 47927
1114.31/1154.42 c #Conflicts: 515000 | #Constraints: 48927
1114.31/1154.42 c #Conflicts: 516000 | #Constraints: 49927
1114.31/1154.42 c INPROCESSING
1114.31/1154.42 c GARBAGE COLLECT
1114.31/1154.42 c rational objective 19
1169.36/1209.85 c #Conflicts: 517000 | #Constraints: 36724
1169.36/1209.85 c #Conflicts: 518000 | #Constraints: 37724
1169.36/1209.85 c #Conflicts: 519000 | #Constraints: 38724
1169.36/1209.85 c #Conflicts: 520000 | #Constraints: 39724
1169.36/1209.85 c #Conflicts: 521000 | #Constraints: 40724
1169.36/1209.85 c #Conflicts: 522000 | #Constraints: 41724
1169.36/1209.85 c #Conflicts: 523000 | #Constraints: 42724
1169.36/1209.85 c #Conflicts: 524000 | #Constraints: 43724
1169.36/1209.85 c #Conflicts: 525000 | #Constraints: 44724
1169.36/1209.85 c #Conflicts: 526000 | #Constraints: 45724
1169.36/1209.85 c #Conflicts: 527000 | #Constraints: 46724
1169.36/1209.85 c #Conflicts: 528000 | #Constraints: 47724
1169.36/1209.85 c #Conflicts: 529000 | #Constraints: 48724
1169.36/1209.85 c #Conflicts: 530000 | #Constraints: 49724
1169.36/1209.85 c #Conflicts: 531000 | #Constraints: 50724
1169.36/1209.85 c INPROCESSING
1169.36/1209.85 c GARBAGE COLLECT
1169.36/1209.85 c rational objective 19
1222.57/1263.32 c #Conflicts: 532000 | #Constraints: 37466
1222.57/1263.32 c #Conflicts: 533000 | #Constraints: 38466
1222.57/1263.32 c #Conflicts: 534000 | #Constraints: 39466
1222.57/1263.32 c #Conflicts: 535000 | #Constraints: 40466
1222.57/1263.32 c #Conflicts: 536000 | #Constraints: 41466
1222.57/1263.32 c #Conflicts: 537000 | #Constraints: 42466
1222.57/1263.32 c #Conflicts: 538000 | #Constraints: 43466
1222.57/1263.32 c #Conflicts: 539000 | #Constraints: 44466
1222.57/1263.32 c #Conflicts: 540000 | #Constraints: 45466
1222.57/1263.32 c #Conflicts: 541000 | #Constraints: 46466
1222.57/1263.32 c #Conflicts: 542000 | #Constraints: 47466
1222.57/1263.32 c #Conflicts: 543000 | #Constraints: 48466
1222.57/1263.32 c #Conflicts: 544000 | #Constraints: 49466
1222.57/1263.32 c #Conflicts: 545000 | #Constraints: 50466
1222.57/1263.32 c #Conflicts: 546000 | #Constraints: 51466
1222.57/1263.32 c INPROCESSING
1222.57/1263.32 c GARBAGE COLLECT
1222.57/1263.32 c rational objective 19
1265.19/1306.21 c #Conflicts: 547000 | #Constraints: 37871
1265.19/1306.21 c #Conflicts: 548000 | #Constraints: 38871
1265.19/1306.21 c #Conflicts: 549000 | #Constraints: 39871
1265.19/1306.21 c #Conflicts: 550000 | #Constraints: 40871
1265.19/1306.21 c #Conflicts: 551000 | #Constraints: 41871
1265.19/1306.21 c #Conflicts: 552000 | #Constraints: 42871
1265.19/1306.21 c #Conflicts: 553000 | #Constraints: 43871
1265.19/1306.21 c #Conflicts: 554000 | #Constraints: 44872
1265.19/1306.21 c #Conflicts: 555000 | #Constraints: 45872
1265.19/1306.21 c #Conflicts: 556000 | #Constraints: 46872
1265.19/1306.21 c #Conflicts: 557000 | #Constraints: 47872
1265.19/1306.21 c #Conflicts: 558000 | #Constraints: 48872
1265.19/1306.21 c #Conflicts: 559000 | #Constraints: 49872
1265.19/1306.21 c #Conflicts: 560000 | #Constraints: 50872
1265.19/1306.21 c #Conflicts: 561000 | #Constraints: 51872
1265.19/1306.21 c INPROCESSING
1265.19/1306.21 c GARBAGE COLLECT
1265.19/1306.21 c rational objective 19
1320.94/1362.25 c #Conflicts: 562000 | #Constraints: 38171
1320.94/1362.25 c #Conflicts: 563000 | #Constraints: 39171
1320.94/1362.25 c #Conflicts: 564000 | #Constraints: 40171
1320.94/1362.25 c #Conflicts: 565000 | #Constraints: 41171
1320.94/1362.25 c #Conflicts: 566000 | #Constraints: 42171
1320.94/1362.25 c #Conflicts: 567000 | #Constraints: 43171
1320.94/1362.25 c #Conflicts: 568000 | #Constraints: 44171
1320.94/1362.25 c #Conflicts: 569000 | #Constraints: 45171
1320.94/1362.25 c #Conflicts: 570000 | #Constraints: 46171
1320.94/1362.25 c #Conflicts: 571000 | #Constraints: 47171
1320.94/1362.25 c #Conflicts: 572000 | #Constraints: 48171
1320.94/1362.25 c #Conflicts: 573000 | #Constraints: 49171
1320.94/1362.25 c #Conflicts: 574000 | #Constraints: 50171
1320.94/1362.25 c #Conflicts: 575000 | #Constraints: 51171
1320.94/1362.25 c #Conflicts: 576000 | #Constraints: 52171
1320.94/1362.25 c INPROCESSING
1320.94/1362.25 c GARBAGE COLLECT
1320.94/1362.25 c rational objective 19
1382.32/1423.82 c #Conflicts: 577000 | #Constraints: 38206
1382.32/1423.82 c #Conflicts: 578000 | #Constraints: 39206
1382.32/1423.82 c #Conflicts: 579000 | #Constraints: 40206
1382.32/1423.82 c #Conflicts: 580000 | #Constraints: 41206
1382.32/1423.82 c #Conflicts: 581000 | #Constraints: 42206
1382.32/1423.82 c #Conflicts: 582000 | #Constraints: 43206
1382.32/1423.82 c #Conflicts: 583000 | #Constraints: 44206
1382.32/1423.82 c #Conflicts: 584000 | #Constraints: 45206
1382.32/1423.82 c #Conflicts: 585000 | #Constraints: 46206
1382.32/1423.82 c #Conflicts: 586000 | #Constraints: 47206
1382.32/1423.82 c #Conflicts: 587000 | #Constraints: 48206
1382.32/1423.82 c #Conflicts: 588000 | #Constraints: 49206
1382.32/1423.82 c #Conflicts: 589000 | #Constraints: 50206
1382.32/1423.82 c #Conflicts: 590000 | #Constraints: 51206
1382.32/1423.82 c #Conflicts: 591000 | #Constraints: 52206
1382.32/1423.82 c INPROCESSING
1382.32/1423.82 c GARBAGE COLLECT
1382.32/1423.82 c rational objective 19
1426.06/1467.74 c #Conflicts: 592000 | #Constraints: 38070
1426.06/1467.74 c #Conflicts: 593000 | #Constraints: 39070
1426.06/1467.74 c #Conflicts: 594000 | #Constraints: 40070
1426.06/1467.74 c #Conflicts: 595000 | #Constraints: 41070
1426.06/1467.74 c #Conflicts: 596000 | #Constraints: 42070
1426.06/1467.74 c #Conflicts: 597000 | #Constraints: 43070
1426.06/1467.74 c #Conflicts: 598000 | #Constraints: 44070
1426.06/1467.74 c #Conflicts: 599000 | #Constraints: 45070
1426.06/1467.74 c #Conflicts: 600000 | #Constraints: 46070
1426.06/1467.74 c #Conflicts: 601000 | #Constraints: 47070
1426.06/1467.74 c #Conflicts: 602000 | #Constraints: 48070
1426.06/1467.74 c #Conflicts: 603000 | #Constraints: 49070
1426.06/1467.74 c #Conflicts: 604000 | #Constraints: 50070
1426.06/1467.74 c #Conflicts: 605000 | #Constraints: 51070
1426.06/1467.74 c #Conflicts: 606000 | #Constraints: 52070
1426.06/1467.74 c #Conflicts: 607000 | #Constraints: 53070
1426.06/1467.74 c INPROCESSING
1426.06/1467.74 c GARBAGE COLLECT
1426.06/1467.74 c rational objective 19
1475.72/1517.66 c #Conflicts: 608000 | #Constraints: 38554
1475.72/1517.66 c #Conflicts: 609000 | #Constraints: 39554
1475.72/1517.66 c #Conflicts: 610000 | #Constraints: 40554
1475.72/1517.66 c #Conflicts: 611000 | #Constraints: 41554
1475.72/1517.66 c #Conflicts: 612000 | #Constraints: 42554
1475.72/1517.66 c #Conflicts: 613000 | #Constraints: 43554
1475.72/1517.66 c #Conflicts: 614000 | #Constraints: 44554
1475.72/1517.66 c #Conflicts: 615000 | #Constraints: 45554
1475.72/1517.66 c #Conflicts: 616000 | #Constraints: 46554
1475.72/1517.66 c #Conflicts: 617000 | #Constraints: 47554
1475.72/1517.66 c #Conflicts: 618000 | #Constraints: 48554
1475.72/1517.66 c #Conflicts: 619000 | #Constraints: 49554
1475.72/1517.66 c #Conflicts: 620000 | #Constraints: 50554
1475.72/1517.66 c #Conflicts: 621000 | #Constraints: 51554
1475.72/1517.66 c #Conflicts: 622000 | #Constraints: 52554
1475.72/1517.66 c #Conflicts: 623000 | #Constraints: 53554
1475.72/1517.66 c INPROCESSING
1475.72/1517.66 c GARBAGE COLLECT
1475.72/1517.66 c rational objective 19
1519.70/1562.01 c #Conflicts: 624000 | #Constraints: 39002
1519.70/1562.01 c #Conflicts: 625000 | #Constraints: 40002
1519.70/1562.01 c #Conflicts: 626000 | #Constraints: 41002
1519.70/1562.01 c #Conflicts: 627000 | #Constraints: 42002
1519.70/1562.01 c #Conflicts: 628000 | #Constraints: 43002
1519.70/1562.01 c #Conflicts: 629000 | #Constraints: 44002
1519.70/1562.01 c #Conflicts: 630000 | #Constraints: 45002
1519.70/1562.01 c #Conflicts: 631000 | #Constraints: 46002
1519.70/1562.01 c #Conflicts: 632000 | #Constraints: 47002
1519.70/1562.01 c #Conflicts: 633000 | #Constraints: 48002
1519.70/1562.01 c #Conflicts: 634000 | #Constraints: 49002
1519.70/1562.01 c #Conflicts: 635000 | #Constraints: 50002
1519.70/1562.01 c #Conflicts: 636000 | #Constraints: 51002
1519.70/1562.01 c #Conflicts: 637000 | #Constraints: 52002
1519.70/1562.01 c #Conflicts: 638000 | #Constraints: 53002
1519.70/1562.01 c #Conflicts: 639000 | #Constraints: 54002
1519.70/1562.01 c INPROCESSING
1519.70/1562.01 c GARBAGE COLLECT
1519.70/1562.01 c rational objective 19
1570.53/1613.19 c #Conflicts: 640000 | #Constraints: 39124
1570.53/1613.19 c #Conflicts: 641000 | #Constraints: 40124
1570.53/1613.19 c #Conflicts: 642000 | #Constraints: 41124
1570.53/1613.19 c #Conflicts: 643000 | #Constraints: 42124
1570.53/1613.19 c #Conflicts: 644000 | #Constraints: 43124
1570.53/1613.19 c #Conflicts: 645000 | #Constraints: 44124
1570.53/1613.19 c #Conflicts: 646000 | #Constraints: 45124
1570.53/1613.19 c #Conflicts: 647000 | #Constraints: 46124
1570.53/1613.19 c #Conflicts: 648000 | #Constraints: 47124
1570.53/1613.19 c #Conflicts: 649000 | #Constraints: 48124
1570.53/1613.19 c #Conflicts: 650000 | #Constraints: 49124
1570.53/1613.19 c #Conflicts: 651000 | #Constraints: 50124
1570.53/1613.19 c bounds 21 >= 20 @ 1561.96
1579.51/1622.12 c #Conflicts: 652000 | #Constraints: 51166
1579.51/1622.12 c #Conflicts: 653000 | #Constraints: 52166
1579.51/1622.12 c #Conflicts: 654000 | #Constraints: 53166
1579.51/1622.12 c #Conflicts: 655000 | #Constraints: 54166
1579.51/1622.12 c INPROCESSING
1579.51/1622.12 c GARBAGE COLLECT
1579.51/1622.12 c rational objective 20
1625.40/1668.21 c #Conflicts: 656000 | #Constraints: 38965
1625.40/1668.21 c #Conflicts: 657000 | #Constraints: 39965
1625.40/1668.21 c #Conflicts: 658000 | #Constraints: 40965
1625.40/1668.21 c #Conflicts: 659000 | #Constraints: 41965
1625.40/1668.21 c #Conflicts: 660000 | #Constraints: 42965
1625.40/1668.21 c #Conflicts: 661000 | #Constraints: 43965
1625.40/1668.21 c #Conflicts: 662000 | #Constraints: 44965
1625.40/1668.21 c #Conflicts: 663000 | #Constraints: 45965
1625.40/1668.21 c #Conflicts: 664000 | #Constraints: 46965
1625.40/1668.21 c #Conflicts: 665000 | #Constraints: 47965
1625.40/1668.21 c #Conflicts: 666000 | #Constraints: 48965
1625.40/1668.21 c #Conflicts: 667000 | #Constraints: 49965
1625.40/1668.21 c #Conflicts: 668000 | #Constraints: 50965
1625.40/1668.21 c #Conflicts: 669000 | #Constraints: 51965
1625.40/1668.21 c #Conflicts: 670000 | #Constraints: 52965
1625.40/1668.21 c #Conflicts: 671000 | #Constraints: 53965
1625.40/1668.21 c INPROCESSING
1625.40/1668.21 c GARBAGE COLLECT
1625.40/1668.21 c rational objective 20
1669.59/1712.54 c #Conflicts: 672000 | #Constraints: 38903
1669.59/1712.54 c #Conflicts: 673000 | #Constraints: 39903
1669.59/1712.54 c #Conflicts: 674000 | #Constraints: 40903
1669.59/1712.54 c #Conflicts: 675000 | #Constraints: 41903
1669.59/1712.54 c #Conflicts: 676000 | #Constraints: 42903
1669.59/1712.54 c #Conflicts: 677000 | #Constraints: 43903
1669.59/1712.54 c #Conflicts: 678000 | #Constraints: 44903
1669.59/1712.54 c #Conflicts: 679000 | #Constraints: 45903
1669.59/1712.54 c #Conflicts: 680000 | #Constraints: 46903
1669.59/1712.54 c #Conflicts: 681000 | #Constraints: 47903
1669.59/1712.54 c #Conflicts: 682000 | #Constraints: 48903
1669.59/1712.54 c #Conflicts: 683000 | #Constraints: 49903
1669.59/1712.54 c #Conflicts: 684000 | #Constraints: 50903
1669.59/1712.54 c #Conflicts: 685000 | #Constraints: 51903
1669.59/1712.54 c #Conflicts: 686000 | #Constraints: 52903
1669.59/1712.54 c #Conflicts: 687000 | #Constraints: 53903
1669.59/1712.54 c #Conflicts: 688000 | #Constraints: 54903
1669.59/1712.54 c INPROCESSING
1669.59/1712.54 c GARBAGE COLLECT
1669.59/1712.54 c rational objective 20
1721.27/1764.44 c #Conflicts: 689000 | #Constraints: 39495
1721.27/1764.44 c #Conflicts: 690000 | #Constraints: 40495
1721.27/1764.44 c #Conflicts: 691000 | #Constraints: 41495
1721.27/1764.44 c #Conflicts: 692000 | #Constraints: 42495
1721.27/1764.44 c #Conflicts: 693000 | #Constraints: 43495
1721.27/1764.44 c #Conflicts: 694000 | #Constraints: 44495
1721.27/1764.44 c #Conflicts: 695000 | #Constraints: 45495
1721.27/1764.44 c #Conflicts: 696000 | #Constraints: 46495
1721.27/1764.44 c #Conflicts: 697000 | #Constraints: 47495
1721.27/1764.44 c #Conflicts: 698000 | #Constraints: 48495
1721.27/1764.44 c #Conflicts: 699000 | #Constraints: 49495
1721.27/1764.44 c #Conflicts: 700000 | #Constraints: 50495
1721.27/1764.44 c #Conflicts: 701000 | #Constraints: 51495
1721.27/1764.44 c #Conflicts: 702000 | #Constraints: 52495
1721.27/1764.44 c #Conflicts: 703000 | #Constraints: 53495
1721.27/1764.44 c #Conflicts: 704000 | #Constraints: 54495
1721.27/1764.44 c #Conflicts: 705000 | #Constraints: 55495
1721.27/1764.44 c INPROCESSING
1721.27/1764.44 c GARBAGE COLLECT
1721.27/1764.44 c rational objective 20
1773.94/1817.48 c #Conflicts: 706000 | #Constraints: 39943
1773.94/1817.48 c #Conflicts: 707000 | #Constraints: 40943
1773.94/1817.48 c #Conflicts: 708000 | #Constraints: 41943
1773.94/1817.48 c #Conflicts: 709000 | #Constraints: 42943
1773.94/1817.48 c #Conflicts: 710000 | #Constraints: 43943
1773.94/1817.48 c #Conflicts: 711000 | #Constraints: 44943
1773.94/1817.48 c #Conflicts: 712000 | #Constraints: 45943
1773.94/1817.48 c #Conflicts: 713000 | #Constraints: 46943
1773.94/1817.48 c #Conflicts: 714000 | #Constraints: 47943
1773.94/1817.48 c #Conflicts: 715000 | #Constraints: 48943
1773.94/1817.48 c #Conflicts: 716000 | #Constraints: 49943
1773.94/1817.48 c #Conflicts: 717000 | #Constraints: 50943
1773.94/1817.48 c #Conflicts: 718000 | #Constraints: 51943
1773.94/1817.48 c #Conflicts: 719000 | #Constraints: 52943
1773.94/1817.48 c #Conflicts: 720000 | #Constraints: 53943
1773.94/1817.48 c #Conflicts: 721000 | #Constraints: 54943
1773.94/1817.48 c #Conflicts: 722000 | #Constraints: 55943
1773.94/1817.48 c INPROCESSING
1773.94/1817.48 c GARBAGE COLLECT
1773.94/1817.48 c rational objective 20
1810.42/1854.04 c #Conflicts: 723000 | #Constraints: 40042
1810.42/1854.04 c #Conflicts: 724000 | #Constraints: 41042
1810.42/1854.04 c #Conflicts: 725000 | #Constraints: 42042
1810.42/1854.04 c #Conflicts: 726000 | #Constraints: 43042
1810.42/1854.04 c #Conflicts: 727000 | #Constraints: 44042
1810.42/1854.04 c #Conflicts: 728000 | #Constraints: 45042
1810.42/1854.04 c #Conflicts: 729000 | #Constraints: 46042
1810.42/1854.04 c #Conflicts: 730000 | #Constraints: 47042
1810.42/1854.04 c #Conflicts: 731000 | #Constraints: 48042
1810.42/1854.04 c #Conflicts: 732000 | #Constraints: 49042
1810.42/1854.04 c #Conflicts: 733000 | #Constraints: 50042
1810.42/1854.04 c #Conflicts: 734000 | #Constraints: 51042
1810.42/1854.04 c #Conflicts: 735000 | #Constraints: 52042
1810.42/1854.04 c #Conflicts: 736000 | #Constraints: 53042
1810.42/1854.04 c #Conflicts: 737000 | #Constraints: 54042
1810.42/1854.04 c #Conflicts: 738000 | #Constraints: 55042
1810.42/1854.04 c #Conflicts: 739000 | #Constraints: 56042
1810.42/1854.04 c INPROCESSING
1810.42/1854.04 c GARBAGE COLLECT
1810.42/1854.04 c rational objective 20
1869.32/1913.24 c #Conflicts: 740000 | #Constraints: 40084
1869.32/1913.24 c #Conflicts: 741000 | #Constraints: 41084
1869.32/1913.24 c #Conflicts: 742000 | #Constraints: 42084
1869.32/1913.24 c #Conflicts: 743000 | #Constraints: 43084
1869.32/1913.24 c #Conflicts: 744000 | #Constraints: 44084
1869.32/1913.24 c #Conflicts: 745000 | #Constraints: 45084
1869.32/1913.24 c #Conflicts: 746000 | #Constraints: 46084
1869.32/1913.24 c #Conflicts: 747000 | #Constraints: 47084
1869.32/1913.24 c #Conflicts: 748000 | #Constraints: 48084
1869.32/1913.24 c #Conflicts: 749000 | #Constraints: 49084
1869.32/1913.24 c #Conflicts: 750000 | #Constraints: 50084
1869.32/1913.24 c #Conflicts: 751000 | #Constraints: 51084
1869.32/1913.24 c #Conflicts: 752000 | #Constraints: 52084
1869.32/1913.24 c #Conflicts: 753000 | #Constraints: 53084
1869.32/1913.24 c #Conflicts: 754000 | #Constraints: 54084
1869.32/1913.24 c #Conflicts: 755000 | #Constraints: 55084
1869.32/1913.24 c #Conflicts: 756000 | #Constraints: 56084
1869.32/1913.24 c INPROCESSING
1869.32/1913.24 c GARBAGE COLLECT
1869.32/1913.24 c rational objective 20
1918.30/1962.66 c #Conflicts: 757000 | #Constraints: 40050
1918.30/1962.66 c #Conflicts: 758000 | #Constraints: 41050
1918.30/1962.66 c #Conflicts: 759000 | #Constraints: 42050
1918.30/1962.66 c #Conflicts: 760000 | #Constraints: 43050
1918.30/1962.66 c #Conflicts: 761000 | #Constraints: 44050
1918.30/1962.66 c #Conflicts: 762000 | #Constraints: 45050
1918.30/1962.66 c #Conflicts: 763000 | #Constraints: 46050
1918.30/1962.66 c #Conflicts: 764000 | #Constraints: 47050
1918.30/1962.66 c #Conflicts: 765000 | #Constraints: 48050
1918.30/1962.66 c #Conflicts: 766000 | #Constraints: 49050
1918.30/1962.66 c #Conflicts: 767000 | #Constraints: 50050
1918.30/1962.66 c #Conflicts: 768000 | #Constraints: 51050
1918.30/1962.66 c #Conflicts: 769000 | #Constraints: 52050
1918.30/1962.66 c #Conflicts: 770000 | #Constraints: 53050
1918.30/1962.66 c #Conflicts: 771000 | #Constraints: 54050
1918.30/1962.66 c #Conflicts: 772000 | #Constraints: 55050
1918.30/1962.66 c #Conflicts: 773000 | #Constraints: 56050
1918.30/1962.66 c #Conflicts: 774000 | #Constraints: 57050
1918.30/1962.66 c INPROCESSING
1918.30/1962.66 c GARBAGE COLLECT
1918.30/1962.66 c rational objective 20
1970.95/2015.45 c #Conflicts: 775000 | #Constraints: 40665
1970.95/2015.45 c #Conflicts: 776000 | #Constraints: 41665
1970.95/2015.45 c #Conflicts: 777000 | #Constraints: 42665
1970.95/2015.45 c #Conflicts: 778000 | #Constraints: 43665
1970.95/2015.45 c #Conflicts: 779000 | #Constraints: 44665
1970.95/2015.45 c #Conflicts: 780000 | #Constraints: 45665
1970.95/2015.45 c #Conflicts: 781000 | #Constraints: 46665
1970.95/2015.45 c #Conflicts: 782000 | #Constraints: 47665
1970.95/2015.45 c #Conflicts: 783000 | #Constraints: 48665
1970.95/2015.45 c #Conflicts: 784000 | #Constraints: 49665
1970.95/2015.45 c #Conflicts: 785000 | #Constraints: 50665
1970.95/2015.45 c #Conflicts: 786000 | #Constraints: 51665
1970.95/2015.45 c #Conflicts: 787000 | #Constraints: 52665
1970.95/2015.45 c #Conflicts: 788000 | #Constraints: 53665
1970.95/2015.45 c #Conflicts: 789000 | #Constraints: 54665
1970.95/2015.45 c #Conflicts: 790000 | #Constraints: 55665
1970.95/2015.45 c #Conflicts: 791000 | #Constraints: 56665
1970.95/2015.45 c #Conflicts: 792000 | #Constraints: 57665
1970.95/2015.45 c INPROCESSING
1970.95/2015.45 c GARBAGE COLLECT
1970.95/2015.45 c rational objective 20
2425.97/2471.84 c #Conflicts: 793000 | #Constraints: 40875
2425.97/2471.84 c #Conflicts: 794000 | #Constraints: 41876
2425.97/2471.84 c #Conflicts: 795000 | #Constraints: 42876
2425.97/2471.84 c #Conflicts: 796000 | #Constraints: 43876
2425.97/2471.84 c #Conflicts: 797000 | #Constraints: 44876
2425.97/2471.84 c #Conflicts: 798000 | #Constraints: 45876
2425.97/2471.84 c #Conflicts: 799000 | #Constraints: 46876
2425.97/2471.84 c #Conflicts: 800000 | #Constraints: 47876
2425.97/2471.84 c #Conflicts: 801000 | #Constraints: 48876
2425.97/2471.84 c #Conflicts: 802000 | #Constraints: 49876
2425.97/2471.84 c #Conflicts: 803000 | #Constraints: 50876
2425.97/2471.84 c #Conflicts: 804000 | #Constraints: 51876
2425.97/2471.84 c #Conflicts: 805000 | #Constraints: 52876
2425.97/2471.84 c #Conflicts: 806000 | #Constraints: 53876
2425.97/2471.84 c #Conflicts: 807000 | #Constraints: 54876
2425.97/2471.84 c #Conflicts: 808000 | #Constraints: 55876
2425.97/2471.84 c #Conflicts: 809000 | #Constraints: 56876
2425.97/2471.84 c #Conflicts: 810000 | #Constraints: 57876
2425.97/2471.84 c #Conflicts: 811000 | #Constraints: 58876
2425.97/2471.84 c #Conflicts: 812000 | #Constraints: 59876
2425.97/2471.84 c #Conflicts: 813000 | #Constraints: 60876
2425.97/2471.84 c #Conflicts: 814000 | #Constraints: 61876
2425.97/2471.84 c #Conflicts: 815000 | #Constraints: 62876
2425.97/2471.84 c #Conflicts: 816000 | #Constraints: 63876
2425.97/2471.84 c #Conflicts: 817000 | #Constraints: 64876
2425.97/2471.84 c #Conflicts: 818000 | #Constraints: 65876
2425.97/2471.84 c #Conflicts: 819000 | #Constraints: 66876
2425.97/2471.84 c #Conflicts: 820000 | #Constraints: 67876
2425.97/2471.84 c #Conflicts: 821000 | #Constraints: 68876
2425.97/2471.84 c #Conflicts: 822000 | #Constraints: 69876
2425.97/2471.84 c #Conflicts: 823000 | #Constraints: 70876
2425.97/2471.84 c #Conflicts: 824000 | #Constraints: 71876
2425.97/2471.84 c #Conflicts: 825000 | #Constraints: 72876
2425.97/2471.84 c #Conflicts: 826000 | #Constraints: 73876
2425.97/2471.84 c #Conflicts: 827000 | #Constraints: 74876
2425.97/2471.84 c #Conflicts: 828000 | #Constraints: 75876
2425.97/2471.84 c #Conflicts: 829000 | #Constraints: 76876
2425.97/2471.84 c #Conflicts: 830000 | #Constraints: 77876
2425.97/2471.84 c #Conflicts: 831000 | #Constraints: 78876
2425.97/2471.84 c #Conflicts: 832000 | #Constraints: 79876
2425.97/2471.84 c #Conflicts: 833000 | #Constraints: 80876
2425.97/2471.84 c #Conflicts: 834000 | #Constraints: 81876
2425.97/2471.84 c #Conflicts: 835000 | #Constraints: 82876
2425.97/2471.84 c #Conflicts: 836000 | #Constraints: 83876
2425.97/2471.84 c #Conflicts: 837000 | #Constraints: 84876
2425.97/2471.84 c #Conflicts: 838000 | #Constraints: 85876
2425.97/2471.84 c #Conflicts: 839000 | #Constraints: 86876
2425.97/2471.84 c #Conflicts: 840000 | #Constraints: 87876
2425.97/2471.84 c #Conflicts: 841000 | #Constraints: 88876
2425.97/2471.84 c #Conflicts: 842000 | #Constraints: 89876
2425.97/2471.84 c #Conflicts: 843000 | #Constraints: 90876
2425.97/2471.84 c #Conflicts: 844000 | #Constraints: 91876
2425.97/2471.84 c #Conflicts: 845000 | #Constraints: 92876
2425.97/2471.84 c #Conflicts: 846000 | #Constraints: 93876
2425.97/2471.84 c #Conflicts: 847000 | #Constraints: 94876
2425.97/2471.84 c #Conflicts: 848000 | #Constraints: 95876
2425.97/2471.84 c #Conflicts: 849000 | #Constraints: 96876
2425.97/2471.84 c #Conflicts: 850000 | #Constraints: 97876
2425.97/2471.84 c #Conflicts: 851000 | #Constraints: 98876
2425.97/2471.84 c #Conflicts: 852000 | #Constraints: 99876
2425.97/2471.84 c #Conflicts: 853000 | #Constraints: 100876
2425.97/2471.84 c #Conflicts: 854000 | #Constraints: 101876
2425.97/2471.84 c #Conflicts: 855000 | #Constraints: 102876
2425.97/2471.84 c #Conflicts: 856000 | #Constraints: 103876
2425.97/2471.84 c #Conflicts: 857000 | #Constraints: 104876
2425.97/2471.84 c #Conflicts: 858000 | #Constraints: 105876
2425.97/2471.84 c #Conflicts: 859000 | #Constraints: 106876
2425.97/2471.84 c #Conflicts: 860000 | #Constraints: 107876
2425.97/2471.84 c #Conflicts: 861000 | #Constraints: 108876
2425.97/2471.84 c #Conflicts: 862000 | #Constraints: 109876
2425.97/2471.84 c #Conflicts: 863000 | #Constraints: 110876
2425.97/2471.84 c #Conflicts: 864000 | #Constraints: 111876
2425.97/2471.84 c #Conflicts: 865000 | #Constraints: 112876
2425.97/2471.84 c #Conflicts: 866000 | #Constraints: 113876
2425.97/2471.84 c #Conflicts: 867000 | #Constraints: 114876
2425.97/2471.84 c #Conflicts: 868000 | #Constraints: 115876
2425.97/2471.84 c #Conflicts: 869000 | #Constraints: 116876
2425.97/2471.84 c #Conflicts: 870000 | #Constraints: 117876
2425.97/2471.84 c #Conflicts: 871000 | #Constraints: 118876
2551.11/2597.32 c #Conflicts: 872000 | #Constraints: 119876
2551.11/2597.32 c #Conflicts: 873000 | #Constraints: 120876
2551.11/2597.32 c #Conflicts: 874000 | #Constraints: 121876
2551.11/2597.32 c #Conflicts: 875000 | #Constraints: 122876
2551.11/2597.32 c #Conflicts: 876000 | #Constraints: 123876
2551.11/2597.32 c #Conflicts: 877000 | #Constraints: 124876
2551.11/2597.32 c #Conflicts: 878000 | #Constraints: 125876
2551.11/2597.32 c #Conflicts: 879000 | #Constraints: 126876
2551.11/2597.32 c #Conflicts: 880000 | #Constraints: 127876
2551.11/2597.32 c #Conflicts: 881000 | #Constraints: 128876
2551.11/2597.32 c #Conflicts: 882000 | #Constraints: 129876
2551.11/2597.32 c INPROCESSING
2551.11/2597.32 c GARBAGE COLLECT
2551.11/2597.32 c rational objective 20
2663.47/2710.18 c #Conflicts: 883000 | #Constraints: 76759
2663.47/2710.18 c #Conflicts: 884000 | #Constraints: 77759
2663.47/2710.18 c #Conflicts: 885000 | #Constraints: 78759
2663.47/2710.18 c #Conflicts: 886000 | #Constraints: 79759
2663.47/2710.18 c #Conflicts: 887000 | #Constraints: 80759
2663.47/2710.18 c #Conflicts: 888000 | #Constraints: 81759
2663.47/2710.18 c #Conflicts: 889000 | #Constraints: 82759
2663.47/2710.18 c #Conflicts: 890000 | #Constraints: 83759
2663.47/2710.18 c #Conflicts: 891000 | #Constraints: 84759
2663.47/2710.18 c #Conflicts: 892000 | #Constraints: 85759
2663.47/2710.18 c #Conflicts: 893000 | #Constraints: 86759
2663.47/2710.18 c #Conflicts: 894000 | #Constraints: 87759
2663.47/2710.18 c #Conflicts: 895000 | #Constraints: 88759
2663.47/2710.18 c #Conflicts: 896000 | #Constraints: 89759
2663.47/2710.18 c #Conflicts: 897000 | #Constraints: 90759
2663.47/2710.18 c #Conflicts: 898000 | #Constraints: 91759
2663.47/2710.18 c #Conflicts: 899000 | #Constraints: 92759
2663.47/2710.18 c #Conflicts: 900000 | #Constraints: 93759
2663.47/2710.18 c #Conflicts: 901000 | #Constraints: 94759
2663.47/2710.18 c #Conflicts: 902000 | #Constraints: 95759
2663.47/2710.18 c INPROCESSING
2663.47/2710.18 c GARBAGE COLLECT
2663.47/2710.18 c rational objective 20
2706.11/2752.93 c #Conflicts: 903000 | #Constraints: 57268
2706.11/2752.93 c #Conflicts: 904000 | #Constraints: 58268
2706.11/2752.93 c #Conflicts: 905000 | #Constraints: 59268
2706.11/2752.93 c #Conflicts: 906000 | #Constraints: 60268
2706.11/2752.93 c #Conflicts: 907000 | #Constraints: 61268
2706.11/2752.93 c #Conflicts: 908000 | #Constraints: 62268
2706.11/2752.93 c #Conflicts: 909000 | #Constraints: 63268
2706.11/2752.93 c #Conflicts: 910000 | #Constraints: 64268
2706.11/2752.93 c #Conflicts: 911000 | #Constraints: 65268
2706.11/2752.93 c bounds 21 >= 21 @ 2694
2706.11/2752.93 c cpu time 2694 s
2706.11/2752.93 c deterministic time 126923181186 1.27e+11
2706.11/2752.93 c optimization time 0.037415 s
2706.11/2752.93 c total solve time 2693.86 s
2706.11/2752.93 c core-guided solve time 1305.88 s
2706.11/2752.93 c propagation time 1070.09 s
2706.11/2752.93 c conflict analysis time 1501.82 s
2706.11/2752.93 c propagations 607438636
2706.11/2752.93 c resolve steps 126364288
2706.11/2752.93 c decisions 3573586
2706.11/2752.93 c conflicts 911560
2706.11/2752.93 c restarts 1978
2706.11/2752.93 c inprocessing phases 82
2706.11/2752.93 c garbage collections 82 ,( 100.00 )
2706.11/2752.93 c input clauses 21440 ,( 99.31 )
2706.11/2752.93 c input cardinalities 92 ,( 0.43 )
2706.11/2752.93 c input general constraints 58 ,( 0.27 )
2706.11/2752.93 c input average constraint length 3.64
2706.11/2752.93 c input average constraint degree 1.51
2706.11/2752.93 c learned clauses 805370 ,( 88.34 )
2706.11/2752.93 c learned cardinalities 3457 ,( 0.38 )
2706.11/2752.93 c learned general constraints 102806 ,( 11.28 )
2706.11/2752.93 c learned average constraint length 875.41
2706.11/2752.93 c learned average constraint degree 10873026.13
2706.11/2752.93 c watched CF 32, 64, 128, Arb: 63478 , 0 , 0 , 0
2706.11/2752.93 c counting CF 32, 64, 128, Arb: 39387 , 0 , 0 , 0
2706.11/2752.93 c watched constraints 63478 ,( 61.71 )
2706.11/2752.93 c counting constraints 39386 ,( 38.29 )
2706.11/2752.93 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1114740199 , 30190085 , 4872133060 ,( 1435315773 , 3436817287 )
2706.11/2752.93 c gcd simplifications 1568
2706.11/2752.93 c detected cardinalities 15
2706.11/2752.93 c weakened non-implied lits 68410297
2706.11/2752.93 c weakened non-implying lits 97959
2706.11/2752.93 c original variables 6076
2706.11/2752.93 c clausal propagations 523918175
2706.11/2752.93 c cardinality propagations 6585030
2706.11/2752.93 c watched propagations 4115696
2706.11/2752.93 c counting propagations 68579873
2706.11/2752.93 c watch lookups 40812409799
2706.11/2752.93 c watch backjump lookups 0
2706.11/2752.93 c watch checks 76128733755
2706.11/2752.93 c propagation checks 6450902422
2706.11/2752.93 c constraint additions 2307193687
2706.11/2752.93 c trail pops 611920539
2706.11/2752.93 c formula constraints 21393
2706.11/2752.93 c learned constraints 911532
2706.11/2752.93 c bound constraints 26
2706.11/2752.93 c core-guided constraints 171
2706.11/2752.93 c encountered formula constraints 99704413
2706.11/2752.93 c encountered learned constraints 26904071
2706.11/2752.93 c encountered bound constraints 796
2706.11/2752.93 c encountered core-guided constraints 665162
2706.11/2752.93 c LP total time 314.038 s
2706.11/2752.93 c LP solve time 249.22 s
2706.11/2752.93 c LP constraints added 22076
2706.11/2752.93 c LP constraints removed 664
2706.11/2752.93 c LP pivots internal 913531
2706.11/2752.93 c LP pivots root 95230
2706.11/2752.93 c LP calls 574
2706.11/2752.93 c LP optimalities 539
2706.11/2752.93 c LP no pivot count 65
2706.11/2752.93 c LP infeasibilities 31
2706.11/2752.93 c LP valid Farkas constraints 31
2706.11/2752.93 c LP learned Farkas constraints 31
2706.11/2752.93 c LP basis resets 0
2706.11/2752.93 c LP cycling count 0
2706.11/2752.93 c LP singular count 0
2706.11/2752.93 c LP no primal count 0
2706.11/2752.93 c LP no farkas count 0
2706.11/2752.93 c LP other issue count 0
2706.11/2752.93 c LP Gomory cuts 39
2706.11/2752.93 c LP learned cuts 644
2706.11/2752.93 c LP deleted cuts 664
2706.11/2752.93 c LP encountered Gomory constraints 4
2706.11/2752.93 c LP encountered Farkas constraints 1259
2706.11/2752.93 c LP encountered learned Farkas constraints 112
2706.11/2752.93 c CG auxiliary variables introduced 62
2706.11/2752.93 c CG solutions found 10
2706.11/2752.93 c CG cores constructed 15
2706.11/2752.93 c CG core cardinality constraints returned 0
2706.11/2752.93 c CG unit cores 0
2706.11/2752.93 c CG single cores 15
2706.11/2752.93 c CG blocks removed during cardinality reduction 0
2706.11/2752.93 c CG first core best 0
2706.11/2752.93 c CG decision core best 0
2706.11/2752.93 c CG core reduction tie 0
2706.11/2752.93 c CG core degree average 1.00
2706.11/2752.93 c CG core slack average 46.27
2706.11/2752.93 c CG core upper bound improvements 31
2706.11/2752.93 c STR number of successful calls 0
2706.11/2752.93 c STR number of unsuccessful calls 0
2706.11/2752.93 c STR number of inconclusive calls 0
2706.11/2752.93 c STR number of successful attempts 0
2706.11/2752.93 c STR number of unsuccessful attempts 0
2706.11/2752.93 c STR number of inconclusive attempts 0
2706.11/2752.93 c STR average degree increase per successful call inf
2706.11/2752.93 c STR average degree increase per successful attempt inf
2706.11/2752.93 c STR total number of conflicts for successful attempts 0
2706.11/2752.93 c STR total number of conflicts for unsuccessful attempts 0
2706.11/2752.93 c STR total number of conflicts for inconclusive attempts 0
2706.11/2752.93 c STR average number of conflicts per successful attempt inf
2706.11/2752.93 c STR average number of conflicts per unsuccessful attempt inf
2706.11/2752.93 c STR average number of conflicts per inconclusive attempt inf
2706.11/2752.93 c AVG.sumWPerc 34.22
2706.11/2752.93 c bigint constraints 0
2706.11/2752.93 o 21
2706.11/2752.93 s OPTIMUM FOUND
2706.11/2752.93 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: 63665 MiB (61994 MiB free)
memory of node 1: 64507 MiB (62768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531904-1752596583/watcher-4531904-1752596583 -o /tmp/evaluation-result-4531904-1752596583/solver-4531904-1752596583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752596491-140480 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531904-1752596583.opb PROOFDIR/proof-4531904-1752596583
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=140977, runsolver pid=140974
[startup+0.100059 s]*
/proc/loadavg: 3.95 5.26 5.26 5/461 140980
/proc/meminfo: memFree=127752688/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=57692 memory=11008 CPUtime=0 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 932 0 0 0 0 0 0 0 20 0 1 0 175337117 59076608 2752 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 14423 2752 2048 1147 0 1849 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 61884 KiB
Current children cumulated memory: 13952 KiB
[startup+0.210023 s]*
/proc/loadavg: 3.95 5.26 5.26 5/461 140980
/proc/meminfo: memFree=127730132/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=91808 memory=36992 CPUtime=0.11 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 5833 0 0 0 9 2 0 0 20 0 1 0 175337117 94011392 9248 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 22952 9248 2304 1147 0 10378 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 96000 KiB
Current children cumulated memory: 39936 KiB
[startup+0.309919 s]*
/proc/loadavg: 3.95 5.26 5.26 5/461 140980
/proc/meminfo: memFree=127712364/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=95368 memory=46048 CPUtime=0.21 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 8612 0 0 0 18 3 0 0 20 0 1 0 175337117 97656832 11512 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 23842 11512 2368 1147 0 11268 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 99560 KiB
Current children cumulated memory: 48992 KiB
[startup+0.700194 s]
/proc/loadavg: 3.95 5.26 5.26 5/461 140980
/proc/meminfo: memFree=127704300/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=95920 memory=47328 CPUtime=0.6 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 8906 0 0 0 56 4 0 0 20 0 1 0 175337117 98222080 11832 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 23980 11832 2400 1147 0 11406 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 100112 KiB
Current children cumulated memory: 50272 KiB
[startup+1.5002 s]
/proc/loadavg: 3.95 5.26 5.26 5/461 140980
/proc/meminfo: memFree=127688168/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=103620 memory=56928 CPUtime=1.39 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 10275 0 0 0 133 6 0 0 20 0 1 0 175337117 106106880 14232 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 25905 14232 2400 1147 0 13331 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 107812 KiB
Current children cumulated memory: 59872 KiB
[startup+3.10977 s]
/proc/loadavg: 3.95 5.26 5.26 4/461 140980
/proc/meminfo: memFree=127709124/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=110516 memory=60896 CPUtime=3 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 11311 0 0 0 290 10 0 0 20 0 1 0 175337117 113168384 15224 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 27629 15224 2432 1147 0 15055 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 114708 KiB
Current children cumulated memory: 63840 KiB
[startup+6.30018 s]
/proc/loadavg: 3.96 5.24 5.25 5/461 140980
/proc/meminfo: memFree=127672464/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=115420 memory=68504 CPUtime=6.17 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 12727 0 0 0 602 15 0 0 20 0 1 0 175337117 118190080 17126 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 28855 17126 2432 1147 0 16281 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 119612 KiB
Current children cumulated memory: 71448 KiB
[startup+12.7002 s]
/proc/loadavg: 3.96 5.22 5.24 5/461 140980
/proc/meminfo: memFree=127592984/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=139056 memory=86784 CPUtime=12.56 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 14767 0 0 0 1232 24 0 0 20 0 1 0 175337117 142393344 21696 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 34764 21696 2432 1147 0 22190 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 143248 KiB
Current children cumulated memory: 89728 KiB
[startup+25.5002 s]
/proc/loadavg: 3.97 5.16 5.22 5/461 140980
/proc/meminfo: memFree=127455268/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=143436 memory=91392 CPUtime=25.33 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 15910 0 0 0 2490 43 0 0 20 0 1 0 175337117 146878464 22848 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 35859 22848 2432 1147 0 23285 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 147628 KiB
Current children cumulated memory: 94336 KiB
[startup+51.1083 s]
/proc/loadavg: 4.04 5.08 5.19 5/397 140981
/proc/meminfo: memFree=127244044/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=170072 memory=115712 CPUtime=49.05 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 21996 0 0 0 4828 77 0 0 20 0 1 0 175337117 174153728 28928 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 42518 28928 2432 1147 0 29944 0
Current children cumulated CPU time: 49.08 s
Current children cumulated vsize: 174264 KiB
Current children cumulated memory: 118656 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.92 5.13 5/272 140985
/proc/meminfo: memFree=126787232/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=178980 memory=125056 CPUtime=91.32 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 24313 0 0 0 8995 137 0 0 20 0 1 0 175337117 183275520 31264 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 44745 31264 2432 1147 0 32171 0
Current children cumulated CPU time: 91.35 s
Current children cumulated vsize: 183172 KiB
Current children cumulated memory: 128000 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.77 5.07 5/272 140987
/proc/meminfo: memFree=126427032/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=204688 memory=148240 CPUtime=144.8 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 26603 0 0 0 14291 189 0 0 20 0 1 0 175337117 209600512 37060 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 51172 37060 2432 1147 0 38598 0
Current children cumulated CPU time: 144.83 s
Current children cumulated vsize: 208880 KiB
Current children cumulated memory: 151184 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.64 5.00 5/272 140989
/proc/meminfo: memFree=125998824/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=213888 memory=157072 CPUtime=200.66 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 28848 0 0 0 19838 228 0 0 20 0 1 0 175337117 219021312 39268 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 53472 39268 2432 1147 0 40898 0
Current children cumulated CPU time: 200.69 s
################
# More data... #
################
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 54656 0 0 0 244480 1157 0 0 20 0 1 0 175337117 847511552 143066 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 206912 143066 2432 1147 0 194338 0
Current children cumulated CPU time: 2456.4 s
Current children cumulated vsize: 831840 KiB
Current children cumulated memory: 575208 KiB
[startup+2562.3 s]
/proc/loadavg: 4.09 4.12 4.19 5/271 141117
/proc/meminfo: memFree=116996876/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=831144 memory=597876 CPUtime=2516.21 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 55429 0 0 0 250457 1164 0 0 20 0 1 0 175337117 851091456 149469 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 207786 149469 2432 1147 0 195212 0
Current children cumulated CPU time: 2516.24 s
Current children cumulated vsize: 835336 KiB
Current children cumulated memory: 600820 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.11 4.18 5/270 141119
/proc/meminfo: memFree=116844488/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2575.97 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 256420 1177 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2576 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2682.3 s]
/proc/loadavg: 4.09 4.10 4.17 5/270 141121
/proc/meminfo: memFree=116754276/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2635.71 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 262378 1193 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2635.74 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2742.3 s]
/proc/loadavg: 4.27 4.14 4.18 5/271 141125
/proc/meminfo: memFree=116606252/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2695.51 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 268342 1209 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2695.54 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2752.99 s]
# the end of solver process 140977 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2694.03 s, system=12.1536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2745.6 s]
/proc/loadavg: 4.27 4.14 4.18 5/271 141125
/proc/meminfo: memFree=116598456/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2698.8 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 268670 1210 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2698.83 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2748.8 s]
/proc/loadavg: 4.33 4.16 4.19 5/271 141125
/proc/meminfo: memFree=116598496/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2701.99 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 268988 1211 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2702.02 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2750.4 s]
/proc/loadavg: 4.33 4.16 4.19 5/271 141125
/proc/meminfo: memFree=116598496/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2703.58 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 269147 1211 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2703.61 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2752 s]*
/proc/loadavg: 4.31 4.16 4.18 5/271 141125
/proc/meminfo: memFree=116582528/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2705.18 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 269307 1211 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2705.21 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2752.4 s]
/proc/loadavg: 4.31 4.16 4.18 5/271 141125
/proc/meminfo: memFree=116582528/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2705.58 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 269346 1212 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2705.61 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2752.8 s]
/proc/loadavg: 4.31 4.16 4.18 5/271 141125
/proc/meminfo: memFree=116582528/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2705.98 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 269386 1212 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2706.01 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
[startup+2752.9 s]
/proc/loadavg: 4.31 4.16 4.18 5/271 141125
/proc/meminfo: memFree=116582528/131249988 swapFree=33010160/33010684
[pid=140977] ppid=140974 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/140977/stat : 140977 (run-opt-ls-log.) S 140974 140977 140469 0 -1 4194304 239 4859 0 0 0 0 2 1 20 0 1 0 175337109 4292608 736 18446744073709551615 94610037317632 94610038212165 140736445644960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94610038451216 94610038498960 94610066546688 140736445647129 140736445647327 140736445647327 140736445652931 0
/proc/140977/statm: 1048 736 672 219 0 110 0
[pid=140980] ppid=140977 vsize=838072 memory=616036 CPUtime=2706.08 cores=4,6
/proc/140980/stat : 140980 (roundingsat) R 140977 140977 140469 0 -1 4194304 57443 0 0 0 269396 1212 0 0 20 0 1 0 175337117 858185728 154009 18446744073709551615 4227072 8923577 140724903544304 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 14884864 140724903553268 140724903553574 140724903553574 140724903559146 0
/proc/140980/statm: 209518 154009 2432 1147 0 196944 0
Current children cumulated CPU time: 2706.11 s
Current children cumulated vsize: 842264 KiB
Current children cumulated memory: 618980 KiB
Child status: 0
Real time (s): 2752.99
CPU time (s): 2706.18
CPU user time (s): 2694.03
CPU system time (s): 12.1536
CPU usage (%): 98.2997
Max. virtual memory (cumulated for all children) (KiB): 842264
Max. memory (cumulated for all children) (KiB): 618980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2694.03
system time used= 12.1536
maximum resident set size= 616036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6305176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1316
involuntary context switches= 4643
# summary of solver processes directly reported to runsolver:
# pid: 140977
# total CPU time (s): 2706.18
# total CPU user time (s): 2694.03
# total CPU system time (s): 12.1536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13126 second user time and 11.8382 second system time
The end
Begin job on nodeC034 at 2025-07-15 18:23:03
IDJOB=4531904
IDBENCH=148194
IDSOLVER=3392
FILE ID=nodeC034/4531904-1752596583
RUNJOBID= nodeC034-1752596491-140480
SLURM_JOB_ID= 9684371
Free space on /tmp= 431780 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4531904-1752596583/watcher-4531904-1752596583 -o /tmp/evaluation-result-4531904-1752596583/solver-4531904-1752596583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752596491-140480 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531904-1752596583.opb PROOFDIR/proof-4531904-1752596583
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=919529490
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.647
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.754
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.798
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3777.152
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127758032 kB
MemAvailable: 128526188 kB
Buffers: 2128 kB
Cached: 1508876 kB
SwapCached: 36 kB
Active: 2039168 kB
Inactive: 716048 kB
Active(anon): 1268360 kB
Inactive(anon): 2156 kB
Active(file): 770808 kB
Inactive(file): 713892 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94980 kB
Writeback: 0 kB
AnonPages: 1247316 kB
Mapped: 122164 kB
Shmem: 26260 kB
KReclaimable: 244988 kB
Slab: 346024 kB
SReclaimable: 244988 kB
SUnreclaim: 101036 kB
KernelStack: 7408 kB
PageTables: 5780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1780228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 153672 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 559104 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431772 MiB
End job on nodeC034 at 2025-07-15 19:08:56