0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 3571 #constraints 3643
0.00/0.04 c rational objective 0
45.66/45.85 c #Conflicts: 1000 | #Constraints: 4643
45.66/45.85 c #Conflicts: 2000 | #Constraints: 5643
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 3000 | #Constraints: 5596
45.66/45.85 c #Conflicts: 4000 | #Constraints: 6596
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 5000 | #Constraints: 6006
45.66/45.85 c #Conflicts: 6000 | #Constraints: 7006
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 7000 | #Constraints: 6010
45.66/45.85 c #Conflicts: 8000 | #Constraints: 7010
45.66/45.85 c #Conflicts: 9000 | #Constraints: 8010
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 10000 | #Constraints: 6711
45.66/45.85 c #Conflicts: 11000 | #Constraints: 7711
45.66/45.85 c #Conflicts: 12000 | #Constraints: 8711
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 13000 | #Constraints: 7162
45.66/45.85 c #Conflicts: 14000 | #Constraints: 8162
45.66/45.85 c #Conflicts: 15000 | #Constraints: 9162
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 16000 | #Constraints: 7390
45.66/45.85 c #Conflicts: 17000 | #Constraints: 8390
45.66/45.85 c #Conflicts: 18000 | #Constraints: 9390
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 19000 | #Constraints: 7410
45.66/45.85 c #Conflicts: 20000 | #Constraints: 8410
45.66/45.85 c #Conflicts: 21000 | #Constraints: 9410
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 22000 | #Constraints: 7219
45.66/45.85 c #Conflicts: 23000 | #Constraints: 8219
45.66/45.85 c #Conflicts: 24000 | #Constraints: 9219
45.66/45.85 c #Conflicts: 25000 | #Constraints: 10219
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 26000 | #Constraints: 7823
45.66/45.85 c #Conflicts: 27000 | #Constraints: 8823
45.66/45.85 c #Conflicts: 28000 | #Constraints: 9823
45.66/45.85 c #Conflicts: 29000 | #Constraints: 10823
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c #Conflicts: 30000 | #Constraints: 8217
45.66/45.85 c #Conflicts: 31000 | #Constraints: 9217
45.66/45.85 c #Conflicts: 32000 | #Constraints: 10217
45.66/45.85 c #Conflicts: 33000 | #Constraints: 11217
45.66/45.85 c INPROCESSING
45.66/45.85 c GARBAGE COLLECT
45.66/45.85 c rational objective 2.57322e-12
70.48/70.77 c #Conflicts: 34000 | #Constraints: 8421
70.48/70.77 c #Conflicts: 35000 | #Constraints: 9421
70.48/70.77 c #Conflicts: 36000 | #Constraints: 10421
70.48/70.77 c #Conflicts: 37000 | #Constraints: 11421
70.48/70.77 c INPROCESSING
70.48/70.77 c GARBAGE COLLECT
70.48/70.77 c #Conflicts: 38000 | #Constraints: 8428
70.48/70.77 c #Conflicts: 39000 | #Constraints: 9428
70.48/70.77 c #Conflicts: 40000 | #Constraints: 10428
70.48/70.77 c #Conflicts: 41000 | #Constraints: 11428
70.48/70.77 c INPROCESSING
70.48/70.77 c GARBAGE COLLECT
70.48/70.77 c #Conflicts: 42000 | #Constraints: 8240
70.48/70.77 c #Conflicts: 43000 | #Constraints: 9240
70.48/70.77 c #Conflicts: 44000 | #Constraints: 10240
70.48/70.77 c #Conflicts: 45000 | #Constraints: 11240
70.48/70.77 c #Conflicts: 46000 | #Constraints: 12240
70.48/70.77 c INPROCESSING
70.48/70.77 c GARBAGE COLLECT
70.48/70.77 c #Conflicts: 47000 | #Constraints: 8842
70.48/70.77 c #Conflicts: 48000 | #Constraints: 9842
70.48/70.77 c #Conflicts: 49000 | #Constraints: 10842
70.48/70.77 c #Conflicts: 50000 | #Constraints: 11842
70.48/70.77 c #Conflicts: 51000 | #Constraints: 12842
70.48/70.77 c INPROCESSING
70.48/70.77 c GARBAGE COLLECT
70.48/70.77 c rational objective 2.57322e-12
78.27/78.51 c #Conflicts: 52000 | #Constraints: 9241
78.27/78.51 c #Conflicts: 53000 | #Constraints: 10241
78.27/78.51 c #Conflicts: 54000 | #Constraints: 11241
78.27/78.51 c #Conflicts: 55000 | #Constraints: 12241
78.27/78.51 c #Conflicts: 56000 | #Constraints: 13241
78.27/78.51 c INPROCESSING
78.27/78.51 c GARBAGE COLLECT
78.27/78.51 c rational objective 2.57322e-12
84.65/84.92 c #Conflicts: 57000 | #Constraints: 9441
84.65/84.92 c #Conflicts: 58000 | #Constraints: 10441
84.65/84.92 c #Conflicts: 59000 | #Constraints: 11442
84.65/84.92 c #Conflicts: 60000 | #Constraints: 12442
84.65/84.92 c #Conflicts: 61000 | #Constraints: 13442
84.65/84.92 c INPROCESSING
84.65/84.92 c GARBAGE COLLECT
84.65/84.92 c rational objective 2.57322e-12
95.23/95.57 c #Conflicts: 62000 | #Constraints: 9440
95.23/95.57 c #Conflicts: 63000 | #Constraints: 10440
95.23/95.57 c #Conflicts: 64000 | #Constraints: 11440
95.23/95.57 c #Conflicts: 65000 | #Constraints: 12440
95.23/95.57 c #Conflicts: 66000 | #Constraints: 13440
95.23/95.57 c INPROCESSING
95.23/95.57 c GARBAGE COLLECT
95.23/95.57 c rational objective 2.57322e-12
103.20/103.55 c #Conflicts: 67000 | #Constraints: 9241
103.20/103.55 c #Conflicts: 68000 | #Constraints: 10241
103.20/103.55 c #Conflicts: 69000 | #Constraints: 11241
103.20/103.55 c #Conflicts: 70000 | #Constraints: 12241
103.20/103.55 c #Conflicts: 71000 | #Constraints: 13241
103.20/103.55 c #Conflicts: 72000 | #Constraints: 14241
103.20/103.55 c INPROCESSING
103.20/103.55 c GARBAGE COLLECT
103.20/103.55 c rational objective 2.57322e-12
111.88/112.22 c #Conflicts: 73000 | #Constraints: 9841
111.88/112.22 c #Conflicts: 74000 | #Constraints: 10841
111.88/112.22 c #Conflicts: 75000 | #Constraints: 11841
111.88/112.22 c #Conflicts: 76000 | #Constraints: 12841
111.88/112.22 c #Conflicts: 77000 | #Constraints: 13841
111.88/112.22 c #Conflicts: 78000 | #Constraints: 14841
111.88/112.22 c INPROCESSING
111.88/112.22 c GARBAGE COLLECT
111.88/112.22 c rational objective 2.57322e-12
122.56/122.91 c #Conflicts: 79000 | #Constraints: 10244
122.56/122.91 c #Conflicts: 80000 | #Constraints: 11244
122.56/122.91 c #Conflicts: 81000 | #Constraints: 12244
122.56/122.91 c #Conflicts: 82000 | #Constraints: 13244
122.56/122.91 c #Conflicts: 83000 | #Constraints: 14244
122.56/122.91 c #Conflicts: 84000 | #Constraints: 15244
122.56/122.91 c INPROCESSING
122.56/122.91 c GARBAGE COLLECT
122.56/122.91 c rational objective 2.57322e-12
134.62/135.08 c #Conflicts: 85000 | #Constraints: 10440
134.62/135.08 c #Conflicts: 86000 | #Constraints: 11440
134.62/135.08 c #Conflicts: 87000 | #Constraints: 12440
134.62/135.08 c #Conflicts: 88000 | #Constraints: 13440
134.62/135.08 c #Conflicts: 89000 | #Constraints: 14440
134.62/135.08 c #Conflicts: 90000 | #Constraints: 15440
134.62/135.08 c INPROCESSING
134.62/135.08 c GARBAGE COLLECT
134.62/135.08 c rational objective 2.57322e-12
149.07/149.51 c #Conflicts: 91000 | #Constraints: 10438
149.07/149.51 c #Conflicts: 92000 | #Constraints: 11438
149.07/149.51 c #Conflicts: 93000 | #Constraints: 12438
149.07/149.51 c #Conflicts: 94000 | #Constraints: 13438
149.07/149.51 c #Conflicts: 95000 | #Constraints: 14438
149.07/149.51 c #Conflicts: 96000 | #Constraints: 15438
149.07/149.51 c INPROCESSING
149.07/149.51 c GARBAGE COLLECT
149.07/149.51 c rational objective 2.57322e-12
161.73/162.25 c #Conflicts: 97000 | #Constraints: 10246
161.73/162.25 c #Conflicts: 98000 | #Constraints: 11246
161.73/162.25 c #Conflicts: 99000 | #Constraints: 12246
161.73/162.25 c #Conflicts: 100000 | #Constraints: 13246
161.73/162.25 c #Conflicts: 101000 | #Constraints: 14246
161.73/162.25 c #Conflicts: 102000 | #Constraints: 15246
161.73/162.25 c #Conflicts: 103000 | #Constraints: 16246
161.73/162.25 c INPROCESSING
161.73/162.25 c GARBAGE COLLECT
161.73/162.25 c rational objective 2.57322e-12
172.10/172.60 c #Conflicts: 104000 | #Constraints: 10845
172.10/172.60 c #Conflicts: 105000 | #Constraints: 11845
172.10/172.60 c #Conflicts: 106000 | #Constraints: 12845
172.10/172.60 c #Conflicts: 107000 | #Constraints: 13845
172.10/172.60 c #Conflicts: 108000 | #Constraints: 14845
172.10/172.60 c #Conflicts: 109000 | #Constraints: 15845
172.10/172.60 c #Conflicts: 110000 | #Constraints: 16845
172.10/172.60 c INPROCESSING
172.10/172.60 c GARBAGE COLLECT
172.10/172.60 c rational objective 2.57322e-12
184.17/184.71 c #Conflicts: 111000 | #Constraints: 11253
184.17/184.71 c #Conflicts: 112000 | #Constraints: 12253
184.17/184.71 c #Conflicts: 113000 | #Constraints: 13253
184.17/184.71 c #Conflicts: 114000 | #Constraints: 14253
184.17/184.71 c #Conflicts: 115000 | #Constraints: 15253
184.17/184.71 c #Conflicts: 116000 | #Constraints: 16253
184.17/184.71 c #Conflicts: 117000 | #Constraints: 17253
184.17/184.71 c INPROCESSING
184.17/184.71 c GARBAGE COLLECT
184.17/184.71 c rational objective 2.57322e-12
196.54/197.12 c #Conflicts: 118000 | #Constraints: 11450
196.54/197.12 c #Conflicts: 119000 | #Constraints: 12450
196.54/197.12 c #Conflicts: 120000 | #Constraints: 13450
196.54/197.12 c #Conflicts: 121000 | #Constraints: 14450
196.54/197.12 c #Conflicts: 122000 | #Constraints: 15450
196.54/197.12 c #Conflicts: 123000 | #Constraints: 16450
196.54/197.12 c #Conflicts: 124000 | #Constraints: 17450
196.54/197.12 c INPROCESSING
196.54/197.12 c GARBAGE COLLECT
196.54/197.12 c rational objective 2.57322e-12
210.29/210.94 c #Conflicts: 125000 | #Constraints: 11453
210.29/210.94 c #Conflicts: 126000 | #Constraints: 12453
210.29/210.94 c #Conflicts: 127000 | #Constraints: 13453
210.29/210.94 c #Conflicts: 128000 | #Constraints: 14453
210.29/210.94 c #Conflicts: 129000 | #Constraints: 15453
210.29/210.94 c #Conflicts: 130000 | #Constraints: 16453
210.29/210.94 c #Conflicts: 131000 | #Constraints: 17453
210.29/210.94 c INPROCESSING
210.29/210.94 c GARBAGE COLLECT
210.29/210.94 c rational objective 2.57322e-12
224.05/224.78 c #Conflicts: 132000 | #Constraints: 11238
224.05/224.78 c #Conflicts: 133000 | #Constraints: 12238
224.05/224.78 c #Conflicts: 134000 | #Constraints: 13238
224.05/224.78 c #Conflicts: 135000 | #Constraints: 14238
224.05/224.78 c #Conflicts: 136000 | #Constraints: 15238
224.05/224.78 c #Conflicts: 137000 | #Constraints: 16238
224.05/224.78 c #Conflicts: 138000 | #Constraints: 17238
224.05/224.78 c #Conflicts: 139000 | #Constraints: 18238
224.05/224.78 c INPROCESSING
224.05/224.78 c GARBAGE COLLECT
224.05/224.78 c rational objective 2.57322e-12
236.72/237.43 c #Conflicts: 140000 | #Constraints: 11851
236.72/237.43 c #Conflicts: 141000 | #Constraints: 12851
236.72/237.43 c #Conflicts: 142000 | #Constraints: 13851
236.72/237.43 c #Conflicts: 143000 | #Constraints: 14851
236.72/237.43 c #Conflicts: 144000 | #Constraints: 15851
236.72/237.43 c #Conflicts: 145000 | #Constraints: 16851
236.72/237.43 c #Conflicts: 146000 | #Constraints: 17851
236.72/237.43 c #Conflicts: 147000 | #Constraints: 18851
236.72/237.43 c INPROCESSING
236.72/237.43 c GARBAGE COLLECT
236.72/237.43 c rational objective 2.57322e-12
249.78/250.54 c #Conflicts: 148000 | #Constraints: 12251
249.78/250.54 c #Conflicts: 149000 | #Constraints: 13251
249.78/250.54 c #Conflicts: 150000 | #Constraints: 14251
249.78/250.54 c #Conflicts: 151000 | #Constraints: 15251
249.78/250.54 c #Conflicts: 152000 | #Constraints: 16251
249.78/250.54 c #Conflicts: 153000 | #Constraints: 17251
249.78/250.54 c #Conflicts: 154000 | #Constraints: 18251
249.78/250.54 c #Conflicts: 155000 | #Constraints: 19251
249.78/250.54 c INPROCESSING
249.78/250.54 c GARBAGE COLLECT
249.78/250.54 c rational objective 2.57322e-12
266.94/267.78 c #Conflicts: 156000 | #Constraints: 12460
266.94/267.78 c #Conflicts: 157000 | #Constraints: 13460
266.94/267.78 c #Conflicts: 158000 | #Constraints: 14460
266.94/267.78 c #Conflicts: 159000 | #Constraints: 15460
266.94/267.78 c #Conflicts: 160000 | #Constraints: 16460
266.94/267.78 c #Conflicts: 161000 | #Constraints: 17460
266.94/267.78 c #Conflicts: 162000 | #Constraints: 18460
266.94/267.78 c #Conflicts: 163000 | #Constraints: 19460
266.94/267.78 c INPROCESSING
266.94/267.78 c GARBAGE COLLECT
266.94/267.78 c rational objective 2.57322e-12
285.08/285.99 c #Conflicts: 164000 | #Constraints: 12455
285.08/285.99 c #Conflicts: 165000 | #Constraints: 13455
285.08/285.99 c #Conflicts: 166000 | #Constraints: 14455
285.08/285.99 c #Conflicts: 167000 | #Constraints: 15455
285.08/285.99 c #Conflicts: 168000 | #Constraints: 16455
285.08/285.99 c #Conflicts: 169000 | #Constraints: 17455
285.08/285.99 c #Conflicts: 170000 | #Constraints: 18455
285.08/285.99 c #Conflicts: 171000 | #Constraints: 19455
285.08/285.99 c INPROCESSING
285.08/285.99 c GARBAGE COLLECT
285.08/285.99 c rational objective 2.57322e-12
302.73/303.62 c #Conflicts: 172000 | #Constraints: 12252
302.73/303.62 c #Conflicts: 173000 | #Constraints: 13252
302.73/303.62 c #Conflicts: 174000 | #Constraints: 14252
302.73/303.62 c #Conflicts: 175000 | #Constraints: 15252
302.73/303.62 c #Conflicts: 176000 | #Constraints: 16252
302.73/303.62 c #Conflicts: 177000 | #Constraints: 17252
302.73/303.62 c #Conflicts: 178000 | #Constraints: 18252
302.73/303.62 c #Conflicts: 179000 | #Constraints: 19252
302.73/303.62 c #Conflicts: 180000 | #Constraints: 20252
302.73/303.62 c INPROCESSING
302.73/303.62 c GARBAGE COLLECT
302.73/303.62 c rational objective 2.57322e-12
322.89/323.83 c #Conflicts: 181000 | #Constraints: 12855
322.89/323.83 c #Conflicts: 182000 | #Constraints: 13855
322.89/323.83 c #Conflicts: 183000 | #Constraints: 14855
322.89/323.83 c #Conflicts: 184000 | #Constraints: 15855
322.89/323.83 c #Conflicts: 185000 | #Constraints: 16855
322.89/323.83 c #Conflicts: 186000 | #Constraints: 17855
322.89/323.83 c #Conflicts: 187000 | #Constraints: 18855
322.89/323.83 c #Conflicts: 188000 | #Constraints: 19855
322.89/323.83 c #Conflicts: 189000 | #Constraints: 20855
322.89/323.83 c INPROCESSING
322.89/323.83 c GARBAGE COLLECT
322.89/323.83 c rational objective 2.57322e-12
346.42/347.47 c #Conflicts: 190000 | #Constraints: 13266
346.42/347.47 c #Conflicts: 191000 | #Constraints: 14266
346.42/347.47 c #Conflicts: 192000 | #Constraints: 15266
346.42/347.47 c #Conflicts: 193000 | #Constraints: 16266
346.42/347.47 c #Conflicts: 194000 | #Constraints: 17266
346.42/347.47 c #Conflicts: 195000 | #Constraints: 18266
346.42/347.47 c #Conflicts: 196000 | #Constraints: 19266
346.42/347.47 c #Conflicts: 197000 | #Constraints: 20266
346.42/347.47 c #Conflicts: 198000 | #Constraints: 21266
346.42/347.47 c INPROCESSING
346.42/347.47 c GARBAGE COLLECT
346.42/347.47 c rational objective 2.57322e-12
363.48/364.52 c #Conflicts: 199000 | #Constraints: 13460
363.48/364.52 c #Conflicts: 200000 | #Constraints: 14460
363.48/364.52 c #Conflicts: 201000 | #Constraints: 15460
363.48/364.52 c #Conflicts: 202000 | #Constraints: 16460
363.48/364.52 c #Conflicts: 203000 | #Constraints: 17460
363.48/364.52 c #Conflicts: 204000 | #Constraints: 18460
363.48/364.52 c #Conflicts: 205000 | #Constraints: 19460
363.48/364.52 c #Conflicts: 206000 | #Constraints: 20460
363.48/364.52 c #Conflicts: 207000 | #Constraints: 21460
363.48/364.52 c INPROCESSING
363.48/364.52 c GARBAGE COLLECT
363.48/364.52 c rational objective 2.57322e-12
395.00/396.17 c #Conflicts: 208000 | #Constraints: 13468
395.00/396.17 c #Conflicts: 209000 | #Constraints: 14468
395.00/396.17 c #Conflicts: 210000 | #Constraints: 15468
395.00/396.17 c #Conflicts: 211000 | #Constraints: 16468
395.00/396.17 c #Conflicts: 212000 | #Constraints: 17468
395.00/396.17 c #Conflicts: 213000 | #Constraints: 18468
395.00/396.17 c #Conflicts: 214000 | #Constraints: 19468
395.00/396.17 c #Conflicts: 215000 | #Constraints: 20468
395.00/396.17 c #Conflicts: 216000 | #Constraints: 21468
395.00/396.17 c INPROCESSING
395.00/396.17 c GARBAGE COLLECT
395.00/396.17 c rational objective 2.57322e-12
426.32/427.53 c #Conflicts: 217000 | #Constraints: 13259
426.32/427.53 c #Conflicts: 218000 | #Constraints: 14259
426.32/427.53 c #Conflicts: 219000 | #Constraints: 15259
426.32/427.53 c #Conflicts: 220000 | #Constraints: 16259
426.32/427.53 c #Conflicts: 221000 | #Constraints: 17259
426.32/427.53 c #Conflicts: 222000 | #Constraints: 18259
426.32/427.53 c #Conflicts: 223000 | #Constraints: 19259
426.32/427.53 c #Conflicts: 224000 | #Constraints: 20259
426.32/427.53 c #Conflicts: 225000 | #Constraints: 21259
426.32/427.53 c #Conflicts: 226000 | #Constraints: 22259
426.32/427.53 c INPROCESSING
426.32/427.53 c GARBAGE COLLECT
426.32/427.53 c rational objective 2.57322e-12
453.05/454.37 c #Conflicts: 227000 | #Constraints: 13853
453.05/454.37 c #Conflicts: 228000 | #Constraints: 14853
453.05/454.37 c #Conflicts: 229000 | #Constraints: 15853
453.05/454.37 c #Conflicts: 230000 | #Constraints: 16853
453.05/454.37 c #Conflicts: 231000 | #Constraints: 17853
453.05/454.37 c #Conflicts: 232000 | #Constraints: 18853
453.05/454.37 c #Conflicts: 233000 | #Constraints: 19853
453.05/454.37 c #Conflicts: 234000 | #Constraints: 20853
453.05/454.37 c #Conflicts: 235000 | #Constraints: 21853
453.05/454.37 c #Conflicts: 236000 | #Constraints: 22853
453.05/454.37 c INPROCESSING
453.05/454.37 c GARBAGE COLLECT
453.05/454.37 c rational objective 2.57322e-12
481.98/483.35 c #Conflicts: 237000 | #Constraints: 14254
481.98/483.35 c #Conflicts: 238000 | #Constraints: 15254
481.98/483.35 c #Conflicts: 239000 | #Constraints: 16254
481.98/483.35 c #Conflicts: 240000 | #Constraints: 17254
481.98/483.35 c #Conflicts: 241000 | #Constraints: 18254
481.98/483.35 c #Conflicts: 242000 | #Constraints: 19254
481.98/483.35 c #Conflicts: 243000 | #Constraints: 20254
481.98/483.35 c #Conflicts: 244000 | #Constraints: 21254
481.98/483.35 c #Conflicts: 245000 | #Constraints: 22254
481.98/483.35 c #Conflicts: 246000 | #Constraints: 23254
481.98/483.35 c INPROCESSING
481.98/483.35 c GARBAGE COLLECT
481.98/483.35 c rational objective 2.57322e-12
512.00/513.46 c #Conflicts: 247000 | #Constraints: 14452
512.00/513.46 c #Conflicts: 248000 | #Constraints: 15452
512.00/513.46 c #Conflicts: 249000 | #Constraints: 16452
512.00/513.46 c #Conflicts: 250000 | #Constraints: 17452
512.00/513.46 c #Conflicts: 251000 | #Constraints: 18452
512.00/513.46 c #Conflicts: 252000 | #Constraints: 19452
512.00/513.46 c #Conflicts: 253000 | #Constraints: 20452
512.00/513.46 c #Conflicts: 254000 | #Constraints: 21452
512.00/513.46 c #Conflicts: 255000 | #Constraints: 22452
512.00/513.46 c #Conflicts: 256000 | #Constraints: 23452
512.00/513.46 c INPROCESSING
512.00/513.46 c GARBAGE COLLECT
512.00/513.46 c rational objective 2.57322e-12
538.24/539.79 c #Conflicts: 257000 | #Constraints: 14466
538.24/539.79 c #Conflicts: 258000 | #Constraints: 15466
538.24/539.79 c #Conflicts: 259000 | #Constraints: 16466
538.24/539.79 c #Conflicts: 260000 | #Constraints: 17466
538.24/539.79 c #Conflicts: 261000 | #Constraints: 18466
538.24/539.79 c #Conflicts: 262000 | #Constraints: 19466
538.24/539.79 c #Conflicts: 263000 | #Constraints: 20466
538.24/539.79 c #Conflicts: 264000 | #Constraints: 21466
538.24/539.79 c #Conflicts: 265000 | #Constraints: 22466
538.24/539.79 c #Conflicts: 266000 | #Constraints: 23466
538.24/539.79 c INPROCESSING
538.24/539.79 c GARBAGE COLLECT
538.24/539.79 c rational objective 2.57322e-12
567.26/568.87 c #Conflicts: 267000 | #Constraints: 14272
567.26/568.87 c #Conflicts: 268000 | #Constraints: 15272
567.26/568.87 c #Conflicts: 269000 | #Constraints: 16272
567.26/568.87 c #Conflicts: 270000 | #Constraints: 17272
567.26/568.87 c #Conflicts: 271000 | #Constraints: 18272
567.26/568.87 c #Conflicts: 272000 | #Constraints: 19272
567.26/568.87 c #Conflicts: 273000 | #Constraints: 20272
567.26/568.87 c #Conflicts: 274000 | #Constraints: 21272
567.26/568.87 c #Conflicts: 275000 | #Constraints: 22272
567.26/568.87 c #Conflicts: 276000 | #Constraints: 23272
567.26/568.87 c #Conflicts: 277000 | #Constraints: 24272
567.26/568.87 c INPROCESSING
567.26/568.87 c GARBAGE COLLECT
567.26/568.87 c rational objective 2.57322e-12
600.38/602.02 c #Conflicts: 278000 | #Constraints: 14862
600.38/602.02 c #Conflicts: 279000 | #Constraints: 15862
600.38/602.02 c #Conflicts: 280000 | #Constraints: 16862
600.38/602.02 c #Conflicts: 281000 | #Constraints: 17862
600.38/602.02 c #Conflicts: 282000 | #Constraints: 18862
600.38/602.02 c #Conflicts: 283000 | #Constraints: 19862
600.38/602.02 c #Conflicts: 284000 | #Constraints: 20862
600.38/602.02 c #Conflicts: 285000 | #Constraints: 21862
600.38/602.02 c #Conflicts: 286000 | #Constraints: 22862
600.38/602.02 c #Conflicts: 287000 | #Constraints: 23862
600.38/602.02 c #Conflicts: 288000 | #Constraints: 24862
600.38/602.02 c INPROCESSING
600.38/602.02 c GARBAGE COLLECT
600.38/602.02 c rational objective 2.57322e-12
629.80/631.57 c #Conflicts: 289000 | #Constraints: 15264
629.80/631.57 c #Conflicts: 290000 | #Constraints: 16264
629.80/631.57 c #Conflicts: 291000 | #Constraints: 17264
629.80/631.57 c #Conflicts: 292000 | #Constraints: 18264
629.80/631.57 c #Conflicts: 293000 | #Constraints: 19264
629.80/631.57 c #Conflicts: 294000 | #Constraints: 20264
629.80/631.57 c #Conflicts: 295000 | #Constraints: 21264
629.80/631.57 c #Conflicts: 296000 | #Constraints: 22264
629.80/631.57 c #Conflicts: 297000 | #Constraints: 23264
629.80/631.57 c #Conflicts: 298000 | #Constraints: 24264
629.80/631.57 c #Conflicts: 299000 | #Constraints: 25264
629.80/631.57 c INPROCESSING
629.80/631.57 c GARBAGE COLLECT
629.80/631.57 c rational objective 2.57322e-12
659.83/661.69 c #Conflicts: 300000 | #Constraints: 15458
659.83/661.69 c #Conflicts: 301000 | #Constraints: 16458
659.83/661.69 c #Conflicts: 302000 | #Constraints: 17458
659.83/661.69 c #Conflicts: 303000 | #Constraints: 18458
659.83/661.69 c #Conflicts: 304000 | #Constraints: 19458
659.83/661.69 c #Conflicts: 305000 | #Constraints: 20458
659.83/661.69 c #Conflicts: 306000 | #Constraints: 21458
659.83/661.69 c #Conflicts: 307000 | #Constraints: 22458
659.83/661.69 c #Conflicts: 308000 | #Constraints: 23458
659.83/661.69 c #Conflicts: 309000 | #Constraints: 24458
659.83/661.69 c #Conflicts: 310000 | #Constraints: 25458
659.83/661.69 c INPROCESSING
659.83/661.69 c GARBAGE COLLECT
659.83/661.69 c rational objective 2.57322e-12
694.03/695.91 c #Conflicts: 311000 | #Constraints: 15457
694.03/695.91 c #Conflicts: 312000 | #Constraints: 16457
694.03/695.91 c #Conflicts: 313000 | #Constraints: 17457
694.03/695.91 c #Conflicts: 314000 | #Constraints: 18457
694.03/695.91 c #Conflicts: 315000 | #Constraints: 19457
694.03/695.91 c #Conflicts: 316000 | #Constraints: 20457
694.03/695.91 c #Conflicts: 317000 | #Constraints: 21457
694.03/695.91 c #Conflicts: 318000 | #Constraints: 22457
694.03/695.91 c #Conflicts: 319000 | #Constraints: 23457
694.03/695.91 c #Conflicts: 320000 | #Constraints: 24457
694.03/695.91 c #Conflicts: 321000 | #Constraints: 25457
694.03/695.91 c INPROCESSING
694.03/695.91 c GARBAGE COLLECT
694.03/695.91 c rational objective 2.57322e-12
731.53/733.52 c #Conflicts: 322000 | #Constraints: 15264
731.53/733.52 c #Conflicts: 323000 | #Constraints: 16264
731.53/733.52 c #Conflicts: 324000 | #Constraints: 17264
731.53/733.52 c #Conflicts: 325000 | #Constraints: 18264
731.53/733.52 c #Conflicts: 326000 | #Constraints: 19264
731.53/733.52 c #Conflicts: 327000 | #Constraints: 20264
731.53/733.52 c #Conflicts: 328000 | #Constraints: 21264
731.53/733.52 c #Conflicts: 329000 | #Constraints: 22264
731.53/733.52 c #Conflicts: 330000 | #Constraints: 23264
731.53/733.52 c #Conflicts: 331000 | #Constraints: 24264
731.53/733.52 c #Conflicts: 332000 | #Constraints: 25264
731.53/733.52 c #Conflicts: 333000 | #Constraints: 26264
731.53/733.52 c INPROCESSING
731.53/733.52 c GARBAGE COLLECT
731.53/733.52 c rational objective 2.57322e-12
764.55/766.61 c #Conflicts: 334000 | #Constraints: 15879
764.55/766.61 c #Conflicts: 335000 | #Constraints: 16879
764.55/766.61 c #Conflicts: 336000 | #Constraints: 17879
764.55/766.61 c #Conflicts: 337000 | #Constraints: 18879
764.55/766.61 c #Conflicts: 338000 | #Constraints: 19879
764.55/766.61 c #Conflicts: 339000 | #Constraints: 20879
764.55/766.61 c #Conflicts: 340000 | #Constraints: 21879
764.55/766.61 c #Conflicts: 341000 | #Constraints: 22879
764.55/766.61 c #Conflicts: 342000 | #Constraints: 23879
764.55/766.61 c #Conflicts: 343000 | #Constraints: 24879
764.55/766.61 c #Conflicts: 344000 | #Constraints: 25879
764.55/766.61 c #Conflicts: 345000 | #Constraints: 26879
764.55/766.61 c INPROCESSING
764.55/766.61 c GARBAGE COLLECT
764.55/766.61 c rational objective 2.57322e-12
804.34/806.55 c #Conflicts: 346000 | #Constraints: 16272
804.34/806.55 c #Conflicts: 347000 | #Constraints: 17272
804.34/806.55 c #Conflicts: 348000 | #Constraints: 18272
804.34/806.55 c #Conflicts: 349000 | #Constraints: 19272
804.34/806.55 c #Conflicts: 350000 | #Constraints: 20272
804.34/806.55 c #Conflicts: 351000 | #Constraints: 21272
804.34/806.55 c #Conflicts: 352000 | #Constraints: 22272
804.34/806.55 c #Conflicts: 353000 | #Constraints: 23272
804.34/806.55 c #Conflicts: 354000 | #Constraints: 24272
804.34/806.55 c #Conflicts: 355000 | #Constraints: 25272
804.34/806.55 c #Conflicts: 356000 | #Constraints: 26272
804.34/806.55 c #Conflicts: 357000 | #Constraints: 27272
804.34/806.55 c INPROCESSING
804.34/806.55 c GARBAGE COLLECT
804.34/806.55 c rational objective 2.57322e-12
844.84/847.12 c #Conflicts: 358000 | #Constraints: 16467
844.84/847.12 c #Conflicts: 359000 | #Constraints: 17467
844.84/847.12 c #Conflicts: 360000 | #Constraints: 18467
844.84/847.12 c #Conflicts: 361000 | #Constraints: 19467
844.84/847.12 c #Conflicts: 362000 | #Constraints: 20467
844.84/847.12 c #Conflicts: 363000 | #Constraints: 21467
844.84/847.12 c #Conflicts: 364000 | #Constraints: 22467
844.84/847.12 c #Conflicts: 365000 | #Constraints: 23467
844.84/847.12 c #Conflicts: 366000 | #Constraints: 24467
844.84/847.12 c #Conflicts: 367000 | #Constraints: 25467
844.84/847.12 c #Conflicts: 368000 | #Constraints: 26467
844.84/847.12 c #Conflicts: 369000 | #Constraints: 27467
844.84/847.12 c INPROCESSING
844.84/847.12 c GARBAGE COLLECT
844.84/847.12 c rational objective 2.57322e-12
892.52/894.93 c #Conflicts: 370000 | #Constraints: 16475
892.52/894.93 c #Conflicts: 371000 | #Constraints: 17475
892.52/894.93 c #Conflicts: 372000 | #Constraints: 18475
892.52/894.93 c #Conflicts: 373000 | #Constraints: 19475
892.52/894.93 c #Conflicts: 374000 | #Constraints: 20475
892.52/894.93 c #Conflicts: 375000 | #Constraints: 21475
892.52/894.93 c #Conflicts: 376000 | #Constraints: 22475
892.52/894.93 c #Conflicts: 377000 | #Constraints: 23475
892.52/894.93 c #Conflicts: 378000 | #Constraints: 24475
892.52/894.93 c #Conflicts: 379000 | #Constraints: 25475
892.52/894.93 c #Conflicts: 380000 | #Constraints: 26475
892.52/894.93 c #Conflicts: 381000 | #Constraints: 27475
892.52/894.93 c INPROCESSING
892.52/894.93 c GARBAGE COLLECT
892.52/894.93 c rational objective 2.57322e-12
928.33/930.81 c #Conflicts: 382000 | #Constraints: 16269
928.33/930.81 c #Conflicts: 383000 | #Constraints: 17269
928.33/930.81 c #Conflicts: 384000 | #Constraints: 18269
928.33/930.81 c #Conflicts: 385000 | #Constraints: 19269
928.33/930.81 c #Conflicts: 386000 | #Constraints: 20269
928.33/930.81 c #Conflicts: 387000 | #Constraints: 21269
928.33/930.81 c #Conflicts: 388000 | #Constraints: 22269
928.33/930.81 c #Conflicts: 389000 | #Constraints: 23269
928.33/930.81 c #Conflicts: 390000 | #Constraints: 24269
928.33/930.81 c #Conflicts: 391000 | #Constraints: 25269
928.33/930.81 c #Conflicts: 392000 | #Constraints: 26269
928.33/930.81 c #Conflicts: 393000 | #Constraints: 27269
928.33/930.81 c #Conflicts: 394000 | #Constraints: 28269
928.33/930.81 c INPROCESSING
928.33/930.81 c GARBAGE COLLECT
928.33/930.81 c rational objective 2.57322e-12
969.91/972.52 c #Conflicts: 395000 | #Constraints: 16866
969.91/972.52 c #Conflicts: 396000 | #Constraints: 17866
969.91/972.52 c #Conflicts: 397000 | #Constraints: 18866
969.91/972.52 c #Conflicts: 398000 | #Constraints: 19866
969.91/972.52 c #Conflicts: 399000 | #Constraints: 20866
969.91/972.52 c #Conflicts: 400000 | #Constraints: 21866
969.91/972.52 c #Conflicts: 401000 | #Constraints: 22866
969.91/972.52 c #Conflicts: 402000 | #Constraints: 23866
969.91/972.52 c #Conflicts: 403000 | #Constraints: 24866
969.91/972.52 c #Conflicts: 404000 | #Constraints: 25866
969.91/972.52 c #Conflicts: 405000 | #Constraints: 26866
969.91/972.52 c #Conflicts: 406000 | #Constraints: 27866
969.91/972.52 c #Conflicts: 407000 | #Constraints: 28866
969.91/972.52 c INPROCESSING
969.91/972.52 c GARBAGE COLLECT
969.91/972.52 c rational objective 2.57322e-12
1012.00/1014.70 c #Conflicts: 408000 | #Constraints: 17274
1012.00/1014.70 c #Conflicts: 409000 | #Constraints: 18274
1012.00/1014.70 c #Conflicts: 410000 | #Constraints: 19274
1012.00/1014.70 c #Conflicts: 411000 | #Constraints: 20274
1012.00/1014.70 c #Conflicts: 412000 | #Constraints: 21275
1012.00/1014.70 c #Conflicts: 413000 | #Constraints: 22275
1012.00/1014.70 c #Conflicts: 414000 | #Constraints: 23275
1012.00/1014.70 c #Conflicts: 415000 | #Constraints: 24275
1012.00/1014.70 c #Conflicts: 416000 | #Constraints: 25275
1012.00/1014.70 c #Conflicts: 417000 | #Constraints: 26275
1012.00/1014.70 c #Conflicts: 418000 | #Constraints: 27275
1012.00/1014.70 c #Conflicts: 419000 | #Constraints: 28275
1012.00/1014.70 c #Conflicts: 420000 | #Constraints: 29275
1012.00/1014.70 c INPROCESSING
1012.00/1014.70 c GARBAGE COLLECT
1012.00/1014.70 c rational objective 2.57322e-12
1060.78/1063.61 c #Conflicts: 421000 | #Constraints: 17476
1060.78/1063.61 c #Conflicts: 422000 | #Constraints: 18476
1060.78/1063.61 c #Conflicts: 423000 | #Constraints: 19476
1060.78/1063.61 c #Conflicts: 424000 | #Constraints: 20476
1060.78/1063.61 c #Conflicts: 425000 | #Constraints: 21476
1060.78/1063.61 c #Conflicts: 426000 | #Constraints: 22476
1060.78/1063.61 c #Conflicts: 427000 | #Constraints: 23476
1060.78/1063.61 c #Conflicts: 428000 | #Constraints: 24476
1060.78/1063.61 c #Conflicts: 429000 | #Constraints: 25476
1060.78/1063.61 c #Conflicts: 430000 | #Constraints: 26476
1060.78/1063.61 c #Conflicts: 431000 | #Constraints: 27476
1060.78/1063.61 c #Conflicts: 432000 | #Constraints: 28476
1060.78/1063.61 c #Conflicts: 433000 | #Constraints: 29476
1060.78/1063.61 c INPROCESSING
1060.78/1063.61 c GARBAGE COLLECT
1060.78/1063.61 c rational objective 2.57322e-12
1116.33/1119.36 c #Conflicts: 434000 | #Constraints: 17483
1116.33/1119.36 c #Conflicts: 435000 | #Constraints: 18484
1116.33/1119.36 c #Conflicts: 436000 | #Constraints: 19484
1116.33/1119.36 c #Conflicts: 437000 | #Constraints: 20484
1116.33/1119.36 c #Conflicts: 438000 | #Constraints: 21484
1116.33/1119.36 c #Conflicts: 439000 | #Constraints: 22484
1116.33/1119.36 c #Conflicts: 440000 | #Constraints: 23484
1116.33/1119.36 c #Conflicts: 441000 | #Constraints: 24484
1116.33/1119.36 c #Conflicts: 442000 | #Constraints: 25484
1116.33/1119.36 c #Conflicts: 443000 | #Constraints: 26484
1116.33/1119.36 c #Conflicts: 444000 | #Constraints: 27484
1116.33/1119.36 c #Conflicts: 445000 | #Constraints: 28484
1116.33/1119.36 c #Conflicts: 446000 | #Constraints: 29484
1116.33/1119.36 c INPROCESSING
1116.33/1119.36 c GARBAGE COLLECT
1116.33/1119.36 c rational objective 2.57322e-12
1186.14/1189.39 c #Conflicts: 447000 | #Constraints: 17300
1186.14/1189.39 c #Conflicts: 448000 | #Constraints: 18300
1186.14/1189.39 c #Conflicts: 449000 | #Constraints: 19300
1186.14/1189.39 c #Conflicts: 450000 | #Constraints: 20300
1186.14/1189.39 c #Conflicts: 451000 | #Constraints: 21300
1186.14/1189.39 c #Conflicts: 452000 | #Constraints: 22300
1186.14/1189.39 c #Conflicts: 453000 | #Constraints: 23300
1186.14/1189.39 c #Conflicts: 454000 | #Constraints: 24300
1186.14/1189.39 c #Conflicts: 455000 | #Constraints: 25300
1186.14/1189.39 c #Conflicts: 456000 | #Constraints: 26300
1186.14/1189.39 c #Conflicts: 457000 | #Constraints: 27300
1186.14/1189.39 c #Conflicts: 458000 | #Constraints: 28300
1186.14/1189.39 c #Conflicts: 459000 | #Constraints: 29300
1186.14/1189.39 c #Conflicts: 460000 | #Constraints: 30300
1186.14/1189.39 c INPROCESSING
1186.14/1189.39 c GARBAGE COLLECT
1186.14/1189.39 c rational objective 2.57322e-12
1246.28/1249.60 c #Conflicts: 461000 | #Constraints: 17895
1246.28/1249.60 c #Conflicts: 462000 | #Constraints: 18895
1246.28/1249.60 c #Conflicts: 463000 | #Constraints: 19895
1246.28/1249.60 c #Conflicts: 464000 | #Constraints: 20895
1246.28/1249.60 c #Conflicts: 465000 | #Constraints: 21895
1246.28/1249.60 c #Conflicts: 466000 | #Constraints: 22895
1246.28/1249.60 c #Conflicts: 467000 | #Constraints: 23895
1246.28/1249.60 c #Conflicts: 468000 | #Constraints: 24895
1246.28/1249.60 c #Conflicts: 469000 | #Constraints: 25895
1246.28/1249.60 c #Conflicts: 470000 | #Constraints: 26895
1246.28/1249.60 c #Conflicts: 471000 | #Constraints: 27895
1246.28/1249.60 c #Conflicts: 472000 | #Constraints: 28895
1246.28/1249.60 c #Conflicts: 473000 | #Constraints: 29895
1246.28/1249.60 c #Conflicts: 474000 | #Constraints: 30895
1246.28/1249.60 c INPROCESSING
1246.28/1249.60 c GARBAGE COLLECT
1246.28/1249.60 c rational objective 2.57322e-12
1301.83/1305.36 c #Conflicts: 475000 | #Constraints: 18294
1301.83/1305.36 c #Conflicts: 476000 | #Constraints: 19294
1301.83/1305.36 c #Conflicts: 477000 | #Constraints: 20294
1301.83/1305.36 c #Conflicts: 478000 | #Constraints: 21294
1301.83/1305.36 c #Conflicts: 479000 | #Constraints: 22294
1301.83/1305.36 c #Conflicts: 480000 | #Constraints: 23294
1301.83/1305.36 c #Conflicts: 481000 | #Constraints: 24294
1301.83/1305.36 c #Conflicts: 482000 | #Constraints: 25294
1301.83/1305.36 c #Conflicts: 483000 | #Constraints: 26294
1301.83/1305.36 c #Conflicts: 484000 | #Constraints: 27294
1301.83/1305.36 c #Conflicts: 485000 | #Constraints: 28294
1301.83/1305.36 c #Conflicts: 486000 | #Constraints: 29294
1301.83/1305.36 c #Conflicts: 487000 | #Constraints: 30294
1301.83/1305.36 c #Conflicts: 488000 | #Constraints: 31294
1301.83/1305.36 c INPROCESSING
1301.83/1305.36 c GARBAGE COLLECT
1301.83/1305.36 c rational objective 2.57322e-12
1350.89/1354.50 c #Conflicts: 489000 | #Constraints: 18481
1350.89/1354.50 c #Conflicts: 490000 | #Constraints: 19481
1350.89/1354.50 c #Conflicts: 491000 | #Constraints: 20481
1350.89/1354.50 c #Conflicts: 492000 | #Constraints: 21481
1350.89/1354.50 c #Conflicts: 493000 | #Constraints: 22481
1350.89/1354.50 c #Conflicts: 494000 | #Constraints: 23481
1350.89/1354.50 c #Conflicts: 495000 | #Constraints: 24481
1350.89/1354.50 c #Conflicts: 496000 | #Constraints: 25481
1350.89/1354.50 c #Conflicts: 497000 | #Constraints: 26481
1350.89/1354.50 c #Conflicts: 498000 | #Constraints: 27481
1350.89/1354.50 c #Conflicts: 499000 | #Constraints: 28481
1350.89/1354.50 c #Conflicts: 500000 | #Constraints: 29481
1350.89/1354.50 c #Conflicts: 501000 | #Constraints: 30481
1350.89/1354.50 c #Conflicts: 502000 | #Constraints: 31481
1350.89/1354.50 c INPROCESSING
1350.89/1354.50 c GARBAGE COLLECT
1350.89/1354.50 c rational objective 2.57322e-12
1409.04/1412.87 c #Conflicts: 503000 | #Constraints: 18477
1409.04/1412.87 c #Conflicts: 504000 | #Constraints: 19477
1409.04/1412.87 c #Conflicts: 505000 | #Constraints: 20477
1409.04/1412.87 c #Conflicts: 506000 | #Constraints: 21477
1409.04/1412.87 c #Conflicts: 507000 | #Constraints: 22477
1409.04/1412.87 c #Conflicts: 508000 | #Constraints: 23477
1409.04/1412.87 c #Conflicts: 509000 | #Constraints: 24477
1409.04/1412.87 c #Conflicts: 510000 | #Constraints: 25477
1409.04/1412.87 c #Conflicts: 511000 | #Constraints: 26477
1409.04/1412.87 c #Conflicts: 512000 | #Constraints: 27477
1409.04/1412.87 c #Conflicts: 513000 | #Constraints: 28477
1409.04/1412.87 c #Conflicts: 514000 | #Constraints: 29477
1409.04/1412.87 c #Conflicts: 515000 | #Constraints: 30477
1409.04/1412.87 c #Conflicts: 516000 | #Constraints: 31477
1409.04/1412.87 c INPROCESSING
1409.04/1412.87 c GARBAGE COLLECT
1409.04/1412.87 c rational objective 2.57322e-12
1468.88/1472.85 c #Conflicts: 517000 | #Constraints: 18272
1468.88/1472.85 c #Conflicts: 518000 | #Constraints: 19272
1468.88/1472.85 c #Conflicts: 519000 | #Constraints: 20272
1468.88/1472.85 c #Conflicts: 520000 | #Constraints: 21272
1468.88/1472.85 c #Conflicts: 521000 | #Constraints: 22272
1468.88/1472.85 c #Conflicts: 522000 | #Constraints: 23272
1468.88/1472.85 c #Conflicts: 523000 | #Constraints: 24272
1468.88/1472.85 c #Conflicts: 524000 | #Constraints: 25272
1468.88/1472.85 c #Conflicts: 525000 | #Constraints: 26272
1468.88/1472.85 c #Conflicts: 526000 | #Constraints: 27272
1468.88/1472.85 c #Conflicts: 527000 | #Constraints: 28272
1468.88/1472.85 c #Conflicts: 528000 | #Constraints: 29272
1468.88/1472.85 c #Conflicts: 529000 | #Constraints: 30272
1468.88/1472.85 c #Conflicts: 530000 | #Constraints: 31272
1468.88/1472.85 c #Conflicts: 531000 | #Constraints: 32272
1468.88/1472.85 c INPROCESSING
1468.88/1472.85 c GARBAGE COLLECT
1468.88/1472.85 c rational objective 2.57322e-12
1525.42/1529.56 c #Conflicts: 532000 | #Constraints: 18882
1525.42/1529.56 c #Conflicts: 533000 | #Constraints: 19882
1525.42/1529.56 c #Conflicts: 534000 | #Constraints: 20882
1525.42/1529.56 c #Conflicts: 535000 | #Constraints: 21882
1525.42/1529.56 c #Conflicts: 536000 | #Constraints: 22882
1525.42/1529.56 c #Conflicts: 537000 | #Constraints: 23882
1525.42/1529.56 c #Conflicts: 538000 | #Constraints: 24882
1525.42/1529.56 c #Conflicts: 539000 | #Constraints: 25882
1525.42/1529.56 c #Conflicts: 540000 | #Constraints: 26882
1525.42/1529.56 c #Conflicts: 541000 | #Constraints: 27882
1525.42/1529.56 c #Conflicts: 542000 | #Constraints: 28882
1525.42/1529.56 c #Conflicts: 543000 | #Constraints: 29882
1525.42/1529.56 c #Conflicts: 544000 | #Constraints: 30883
1525.42/1529.56 c #Conflicts: 545000 | #Constraints: 31883
1525.42/1529.56 c #Conflicts: 546000 | #Constraints: 32883
1525.42/1529.56 c INPROCESSING
1525.42/1529.56 c GARBAGE COLLECT
1525.42/1529.56 c rational objective 2.57322e-12
1589.46/1593.76 c #Conflicts: 547000 | #Constraints: 19277
1589.46/1593.76 c #Conflicts: 548000 | #Constraints: 20277
1589.46/1593.76 c #Conflicts: 549000 | #Constraints: 21277
1589.46/1593.76 c #Conflicts: 550000 | #Constraints: 22277
1589.46/1593.76 c #Conflicts: 551000 | #Constraints: 23277
1589.46/1593.76 c #Conflicts: 552000 | #Constraints: 24277
1589.46/1593.76 c #Conflicts: 553000 | #Constraints: 25277
1589.46/1593.76 c #Conflicts: 554000 | #Constraints: 26277
1589.46/1593.76 c #Conflicts: 555000 | #Constraints: 27277
1589.46/1593.76 c #Conflicts: 556000 | #Constraints: 28277
1589.46/1593.76 c #Conflicts: 557000 | #Constraints: 29277
1589.46/1593.76 c #Conflicts: 558000 | #Constraints: 30277
1589.46/1593.76 c #Conflicts: 559000 | #Constraints: 31277
1589.46/1593.76 c #Conflicts: 560000 | #Constraints: 32277
1589.46/1593.76 c #Conflicts: 561000 | #Constraints: 33277
1589.46/1593.76 c INPROCESSING
1589.46/1593.76 c GARBAGE COLLECT
1589.46/1593.76 c rational objective 2.57322e-12
1636.64/1641.06 c #Conflicts: 562000 | #Constraints: 19472
1636.64/1641.06 c #Conflicts: 563000 | #Constraints: 20472
1636.64/1641.06 c #Conflicts: 564000 | #Constraints: 21472
1636.64/1641.06 c #Conflicts: 565000 | #Constraints: 22472
1636.64/1641.06 c #Conflicts: 566000 | #Constraints: 23473
1636.64/1641.06 c #Conflicts: 567000 | #Constraints: 24473
1636.64/1641.06 c #Conflicts: 568000 | #Constraints: 25473
1636.64/1641.06 c #Conflicts: 569000 | #Constraints: 26473
1636.64/1641.06 c #Conflicts: 570000 | #Constraints: 27473
1636.64/1641.06 c #Conflicts: 571000 | #Constraints: 28473
1636.64/1641.06 c #Conflicts: 572000 | #Constraints: 29473
1636.64/1641.06 c #Conflicts: 573000 | #Constraints: 30473
1636.64/1641.06 c #Conflicts: 574000 | #Constraints: 31473
1636.64/1641.06 c #Conflicts: 575000 | #Constraints: 32473
1636.64/1641.06 c #Conflicts: 576000 | #Constraints: 33473
1636.64/1641.06 c INPROCESSING
1636.64/1641.06 c GARBAGE COLLECT
1636.64/1641.06 c rational objective 2.57322e-12
1693.09/1697.64 c #Conflicts: 577000 | #Constraints: 19516
1693.09/1697.64 c #Conflicts: 578000 | #Constraints: 20516
1693.09/1697.64 c #Conflicts: 579000 | #Constraints: 21516
1693.09/1697.64 c #Conflicts: 580000 | #Constraints: 22516
1693.09/1697.64 c #Conflicts: 581000 | #Constraints: 23516
1693.09/1697.64 c #Conflicts: 582000 | #Constraints: 24516
1693.09/1697.64 c #Conflicts: 583000 | #Constraints: 25516
1693.09/1697.64 c #Conflicts: 584000 | #Constraints: 26516
1693.09/1697.64 c #Conflicts: 585000 | #Constraints: 27516
1693.09/1697.64 c #Conflicts: 586000 | #Constraints: 28516
1693.09/1697.64 c #Conflicts: 587000 | #Constraints: 29516
1693.09/1697.64 c #Conflicts: 588000 | #Constraints: 30516
1693.09/1697.64 c #Conflicts: 589000 | #Constraints: 31516
1693.09/1697.64 c #Conflicts: 590000 | #Constraints: 32516
1693.09/1697.64 c #Conflicts: 591000 | #Constraints: 33516
1693.09/1697.64 c INPROCESSING
1693.09/1697.64 c GARBAGE COLLECT
1693.09/1697.64 c rational objective 2.57322e-12
1748.04/1752.77 c #Conflicts: 592000 | #Constraints: 19307
1748.04/1752.77 c #Conflicts: 593000 | #Constraints: 20307
1748.04/1752.77 c #Conflicts: 594000 | #Constraints: 21307
1748.04/1752.77 c #Conflicts: 595000 | #Constraints: 22307
1748.04/1752.77 c #Conflicts: 596000 | #Constraints: 23307
1748.04/1752.77 c #Conflicts: 597000 | #Constraints: 24307
1748.04/1752.77 c #Conflicts: 598000 | #Constraints: 25307
1748.04/1752.77 c #Conflicts: 599000 | #Constraints: 26307
1748.04/1752.77 c #Conflicts: 600000 | #Constraints: 27307
1748.04/1752.77 c #Conflicts: 601000 | #Constraints: 28307
1748.04/1752.77 c #Conflicts: 602000 | #Constraints: 29307
1748.04/1752.77 c #Conflicts: 603000 | #Constraints: 30307
1748.04/1752.77 c #Conflicts: 604000 | #Constraints: 31307
1748.04/1752.77 c #Conflicts: 605000 | #Constraints: 32307
1748.04/1752.77 c #Conflicts: 606000 | #Constraints: 33307
1748.04/1752.77 c #Conflicts: 607000 | #Constraints: 34307
1748.04/1752.77 c INPROCESSING
1748.04/1752.77 c GARBAGE COLLECT
1748.04/1752.77 c rational objective 2.57322e-12
1817.45/1822.32 c #Conflicts: 608000 | #Constraints: 19912
1817.45/1822.32 c #Conflicts: 609000 | #Constraints: 20912
1817.45/1822.32 c #Conflicts: 610000 | #Constraints: 21912
1817.45/1822.32 c #Conflicts: 611000 | #Constraints: 22912
1817.45/1822.32 c #Conflicts: 612000 | #Constraints: 23912
1817.45/1822.32 c #Conflicts: 613000 | #Constraints: 24912
1817.45/1822.32 c #Conflicts: 614000 | #Constraints: 25912
1817.45/1822.32 c #Conflicts: 615000 | #Constraints: 26912
1817.45/1822.32 c #Conflicts: 616000 | #Constraints: 27912
1817.45/1822.32 c #Conflicts: 617000 | #Constraints: 28912
1817.45/1822.32 c #Conflicts: 618000 | #Constraints: 29912
1817.45/1822.32 c #Conflicts: 619000 | #Constraints: 30912
1817.45/1822.32 c #Conflicts: 620000 | #Constraints: 31912
1817.45/1822.32 c #Conflicts: 621000 | #Constraints: 32912
1817.45/1822.32 c #Conflicts: 622000 | #Constraints: 33912
1817.45/1822.32 c #Conflicts: 623000 | #Constraints: 34912
1817.45/1822.32 c INPROCESSING
1817.45/1822.32 c GARBAGE COLLECT
1817.45/1822.32 c rational objective 2.57322e-12
1882.09/1887.14 c #Conflicts: 624000 | #Constraints: 20291
1882.09/1887.14 c #Conflicts: 625000 | #Constraints: 21291
1882.09/1887.14 c #Conflicts: 626000 | #Constraints: 22291
1882.09/1887.14 c #Conflicts: 627000 | #Constraints: 23291
1882.09/1887.14 c #Conflicts: 628000 | #Constraints: 24291
1882.09/1887.14 c #Conflicts: 629000 | #Constraints: 25291
1882.09/1887.14 c #Conflicts: 630000 | #Constraints: 26291
1882.09/1887.14 c #Conflicts: 631000 | #Constraints: 27291
1882.09/1887.14 c #Conflicts: 632000 | #Constraints: 28291
1882.09/1887.14 c #Conflicts: 633000 | #Constraints: 29291
1882.09/1887.14 c #Conflicts: 634000 | #Constraints: 30291
1882.09/1887.14 c #Conflicts: 635000 | #Constraints: 31291
1882.09/1887.14 c #Conflicts: 636000 | #Constraints: 32291
1882.09/1887.14 c #Conflicts: 637000 | #Constraints: 33291
1882.09/1887.14 c #Conflicts: 638000 | #Constraints: 34291
1882.09/1887.14 c #Conflicts: 639000 | #Constraints: 35291
1882.09/1887.14 c INPROCESSING
1882.09/1887.14 c GARBAGE COLLECT
1882.09/1887.14 c rational objective 2.57322e-12
1952.69/1957.92 c #Conflicts: 640000 | #Constraints: 20481
1952.69/1957.92 c #Conflicts: 641000 | #Constraints: 21481
1952.69/1957.92 c #Conflicts: 642000 | #Constraints: 22481
1952.69/1957.92 c #Conflicts: 643000 | #Constraints: 23481
1952.69/1957.92 c #Conflicts: 644000 | #Constraints: 24481
1952.69/1957.92 c #Conflicts: 645000 | #Constraints: 25481
1952.69/1957.92 c #Conflicts: 646000 | #Constraints: 26481
1952.69/1957.92 c #Conflicts: 647000 | #Constraints: 27481
1952.69/1957.92 c #Conflicts: 648000 | #Constraints: 28481
1952.69/1957.92 c #Conflicts: 649000 | #Constraints: 29481
1952.69/1957.92 c #Conflicts: 650000 | #Constraints: 30481
1952.69/1957.92 c #Conflicts: 651000 | #Constraints: 31481
1952.69/1957.92 c #Conflicts: 652000 | #Constraints: 32481
1952.69/1957.92 c #Conflicts: 653000 | #Constraints: 33481
1952.69/1957.92 c #Conflicts: 654000 | #Constraints: 34481
1952.69/1957.92 c #Conflicts: 655000 | #Constraints: 35481
1952.69/1957.92 c INPROCESSING
1952.69/1957.92 c GARBAGE COLLECT
1952.69/1957.92 c rational objective 2.57322e-12
2021.92/2027.31 c #Conflicts: 656000 | #Constraints: 20487
2021.92/2027.31 c #Conflicts: 657000 | #Constraints: 21487
2021.92/2027.31 c #Conflicts: 658000 | #Constraints: 22487
2021.92/2027.31 c #Conflicts: 659000 | #Constraints: 23487
2021.92/2027.31 c #Conflicts: 660000 | #Constraints: 24487
2021.92/2027.31 c #Conflicts: 661000 | #Constraints: 25488
2021.92/2027.31 c #Conflicts: 662000 | #Constraints: 26488
2021.92/2027.31 c #Conflicts: 663000 | #Constraints: 27488
2021.92/2027.31 c #Conflicts: 664000 | #Constraints: 28488
2021.92/2027.31 c #Conflicts: 665000 | #Constraints: 29488
2021.92/2027.31 c #Conflicts: 666000 | #Constraints: 30488
2021.92/2027.31 c #Conflicts: 667000 | #Constraints: 31488
2021.92/2027.31 c #Conflicts: 668000 | #Constraints: 32488
2021.92/2027.31 c #Conflicts: 669000 | #Constraints: 33488
2021.92/2027.31 c #Conflicts: 670000 | #Constraints: 34488
2021.92/2027.31 c #Conflicts: 671000 | #Constraints: 35488
2021.92/2027.31 c INPROCESSING
2021.92/2027.31 c GARBAGE COLLECT
2021.92/2027.31 c rational objective 2.57322e-12
2088.74/2094.38 c #Conflicts: 672000 | #Constraints: 20277
2088.74/2094.38 c #Conflicts: 673000 | #Constraints: 21277
2088.74/2094.38 c #Conflicts: 674000 | #Constraints: 22277
2088.74/2094.38 c #Conflicts: 675000 | #Constraints: 23277
2088.74/2094.38 c #Conflicts: 676000 | #Constraints: 24277
2088.74/2094.38 c #Conflicts: 677000 | #Constraints: 25278
2088.74/2094.38 c #Conflicts: 678000 | #Constraints: 26278
2088.74/2094.38 c #Conflicts: 679000 | #Constraints: 27278
2088.74/2094.38 c #Conflicts: 680000 | #Constraints: 28278
2088.74/2094.38 c #Conflicts: 681000 | #Constraints: 29278
2088.74/2094.38 c #Conflicts: 682000 | #Constraints: 30279
2088.74/2094.38 c #Conflicts: 683000 | #Constraints: 31279
2088.74/2094.38 c #Conflicts: 684000 | #Constraints: 32279
2088.74/2094.38 c #Conflicts: 685000 | #Constraints: 33279
2088.74/2094.38 c #Conflicts: 686000 | #Constraints: 34279
2088.74/2094.38 c #Conflicts: 687000 | #Constraints: 35279
2088.74/2094.38 c #Conflicts: 688000 | #Constraints: 36279
2088.74/2094.38 c INPROCESSING
2088.74/2094.38 c GARBAGE COLLECT
2088.74/2094.38 c rational objective 2.57322e-12
2164.74/2170.56 c #Conflicts: 689000 | #Constraints: 20874
2164.74/2170.56 c #Conflicts: 690000 | #Constraints: 21874
2164.74/2170.56 c #Conflicts: 691000 | #Constraints: 22874
2164.74/2170.56 c #Conflicts: 692000 | #Constraints: 23874
2164.74/2170.56 c #Conflicts: 693000 | #Constraints: 24874
2164.74/2170.56 c #Conflicts: 694000 | #Constraints: 25874
2164.74/2170.56 c #Conflicts: 695000 | #Constraints: 26874
2164.74/2170.56 c #Conflicts: 696000 | #Constraints: 27874
2164.74/2170.56 c #Conflicts: 697000 | #Constraints: 28874
2164.74/2170.56 c #Conflicts: 698000 | #Constraints: 29874
2164.74/2170.56 c #Conflicts: 699000 | #Constraints: 30874
2164.74/2170.56 c #Conflicts: 700000 | #Constraints: 31874
2164.74/2170.56 c #Conflicts: 701000 | #Constraints: 32874
2164.74/2170.56 c #Conflicts: 702000 | #Constraints: 33874
2164.74/2170.56 c #Conflicts: 703000 | #Constraints: 34874
2164.74/2170.56 c #Conflicts: 704000 | #Constraints: 35874
2164.74/2170.56 c #Conflicts: 705000 | #Constraints: 36874
2164.74/2170.56 c INPROCESSING
2164.74/2170.56 c GARBAGE COLLECT
2164.74/2170.56 c rational objective 2.57322e-12
2223.28/2229.27 c #Conflicts: 706000 | #Constraints: 21280
2223.28/2229.27 c #Conflicts: 707000 | #Constraints: 22280
2223.28/2229.27 c #Conflicts: 708000 | #Constraints: 23280
2223.28/2229.27 c #Conflicts: 709000 | #Constraints: 24280
2223.28/2229.27 c #Conflicts: 710000 | #Constraints: 25280
2223.28/2229.27 c #Conflicts: 711000 | #Constraints: 26280
2223.28/2229.27 c #Conflicts: 712000 | #Constraints: 27280
2223.28/2229.27 c #Conflicts: 713000 | #Constraints: 28280
2223.28/2229.27 c #Conflicts: 714000 | #Constraints: 29280
2223.28/2229.27 c #Conflicts: 715000 | #Constraints: 30280
2223.28/2229.27 c #Conflicts: 716000 | #Constraints: 31280
2223.28/2229.27 c #Conflicts: 717000 | #Constraints: 32280
2223.28/2229.27 c #Conflicts: 718000 | #Constraints: 33280
2223.28/2229.27 c #Conflicts: 719000 | #Constraints: 34280
2223.28/2229.27 c #Conflicts: 720000 | #Constraints: 35280
2223.28/2229.27 c #Conflicts: 721000 | #Constraints: 36280
2223.28/2229.27 c #Conflicts: 722000 | #Constraints: 37280
2223.28/2229.27 c INPROCESSING
2223.28/2229.27 c GARBAGE COLLECT
2223.28/2229.27 c rational objective 2.57322e-12
2291.21/2297.39 c #Conflicts: 723000 | #Constraints: 21471
2291.21/2297.39 c #Conflicts: 724000 | #Constraints: 22471
2291.21/2297.39 c #Conflicts: 725000 | #Constraints: 23471
2291.21/2297.39 c #Conflicts: 726000 | #Constraints: 24471
2291.21/2297.39 c #Conflicts: 727000 | #Constraints: 25471
2291.21/2297.39 c #Conflicts: 728000 | #Constraints: 26471
2291.21/2297.39 c #Conflicts: 729000 | #Constraints: 27471
2291.21/2297.39 c #Conflicts: 730000 | #Constraints: 28471
2291.21/2297.39 c #Conflicts: 731000 | #Constraints: 29471
2291.21/2297.39 c #Conflicts: 732000 | #Constraints: 30471
2291.21/2297.39 c #Conflicts: 733000 | #Constraints: 31471
2291.21/2297.39 c #Conflicts: 734000 | #Constraints: 32471
2291.21/2297.39 c #Conflicts: 735000 | #Constraints: 33471
2291.21/2297.39 c #Conflicts: 736000 | #Constraints: 34471
2291.21/2297.39 c #Conflicts: 737000 | #Constraints: 35471
2291.21/2297.39 c #Conflicts: 738000 | #Constraints: 36471
2291.21/2297.39 c #Conflicts: 739000 | #Constraints: 37471
2291.21/2297.39 c INPROCESSING
2291.21/2297.39 c GARBAGE COLLECT
2291.21/2297.39 c rational objective 2.57322e-12
2367.11/2373.49 c #Conflicts: 740000 | #Constraints: 21493
2367.11/2373.49 c #Conflicts: 741000 | #Constraints: 22493
2367.11/2373.49 c #Conflicts: 742000 | #Constraints: 23493
2367.11/2373.49 c #Conflicts: 743000 | #Constraints: 24493
2367.11/2373.49 c #Conflicts: 744000 | #Constraints: 25493
2367.11/2373.49 c #Conflicts: 745000 | #Constraints: 26493
2367.11/2373.49 c #Conflicts: 746000 | #Constraints: 27493
2367.11/2373.49 c #Conflicts: 747000 | #Constraints: 28493
2367.11/2373.49 c #Conflicts: 748000 | #Constraints: 29493
2367.11/2373.49 c #Conflicts: 749000 | #Constraints: 30493
2367.11/2373.49 c #Conflicts: 750000 | #Constraints: 31493
2367.11/2373.49 c #Conflicts: 751000 | #Constraints: 32493
2367.11/2373.49 c #Conflicts: 752000 | #Constraints: 33493
2367.11/2373.49 c #Conflicts: 753000 | #Constraints: 34493
2367.11/2373.49 c #Conflicts: 754000 | #Constraints: 35493
2367.11/2373.49 c #Conflicts: 755000 | #Constraints: 36493
2367.11/2373.49 c #Conflicts: 756000 | #Constraints: 37493
2367.11/2373.49 c INPROCESSING
2367.11/2373.49 c GARBAGE COLLECT
2367.11/2373.49 c rational objective 2.57322e-12
2445.30/2451.87 c #Conflicts: 757000 | #Constraints: 21287
2445.30/2451.87 c #Conflicts: 758000 | #Constraints: 22287
2445.30/2451.87 c #Conflicts: 759000 | #Constraints: 23287
2445.30/2451.87 c #Conflicts: 760000 | #Constraints: 24287
2445.30/2451.87 c #Conflicts: 761000 | #Constraints: 25287
2445.30/2451.87 c #Conflicts: 762000 | #Constraints: 26287
2445.30/2451.87 c #Conflicts: 763000 | #Constraints: 27287
2445.30/2451.87 c #Conflicts: 764000 | #Constraints: 28287
2445.30/2451.87 c #Conflicts: 765000 | #Constraints: 29287
2445.30/2451.87 c #Conflicts: 766000 | #Constraints: 30287
2445.30/2451.87 c #Conflicts: 767000 | #Constraints: 31287
2445.30/2451.87 c #Conflicts: 768000 | #Constraints: 32287
2445.30/2451.87 c #Conflicts: 769000 | #Constraints: 33287
2445.30/2451.87 c #Conflicts: 770000 | #Constraints: 34287
2445.30/2451.87 c #Conflicts: 771000 | #Constraints: 35287
2445.30/2451.87 c #Conflicts: 772000 | #Constraints: 36287
2445.30/2451.87 c #Conflicts: 773000 | #Constraints: 37287
2445.30/2451.87 c #Conflicts: 774000 | #Constraints: 38287
2445.30/2451.87 c INPROCESSING
2445.30/2451.87 c GARBAGE COLLECT
2445.30/2451.87 c rational objective 2.57322e-12
2514.38/2521.15 c #Conflicts: 775000 | #Constraints: 21880
2514.38/2521.15 c #Conflicts: 776000 | #Constraints: 22880
2514.38/2521.15 c #Conflicts: 777000 | #Constraints: 23880
2514.38/2521.15 c #Conflicts: 778000 | #Constraints: 24880
2514.38/2521.15 c #Conflicts: 779000 | #Constraints: 25880
2514.38/2521.15 c #Conflicts: 780000 | #Constraints: 26880
2514.38/2521.15 c #Conflicts: 781000 | #Constraints: 27880
2514.38/2521.15 c #Conflicts: 782000 | #Constraints: 28880
2514.38/2521.15 c #Conflicts: 783000 | #Constraints: 29880
2514.38/2521.15 c #Conflicts: 784000 | #Constraints: 30880
2514.38/2521.15 c #Conflicts: 785000 | #Constraints: 31880
2514.38/2521.15 c #Conflicts: 786000 | #Constraints: 32880
2514.38/2521.15 c #Conflicts: 787000 | #Constraints: 33880
2514.38/2521.15 c #Conflicts: 788000 | #Constraints: 34880
2514.38/2521.15 c #Conflicts: 789000 | #Constraints: 35880
2514.38/2521.15 c #Conflicts: 790000 | #Constraints: 36880
2514.38/2521.15 c #Conflicts: 791000 | #Constraints: 37880
2514.38/2521.15 c #Conflicts: 792000 | #Constraints: 38881
2514.38/2521.15 c INPROCESSING
2514.38/2521.15 c GARBAGE COLLECT
2514.38/2521.15 c rational objective 2.57322e-12
2593.12/2600.19 c #Conflicts: 793000 | #Constraints: 22282
2593.12/2600.19 c #Conflicts: 794000 | #Constraints: 23282
2593.12/2600.19 c #Conflicts: 795000 | #Constraints: 24282
2593.12/2600.19 c #Conflicts: 796000 | #Constraints: 25282
2593.12/2600.19 c #Conflicts: 797000 | #Constraints: 26282
2593.12/2600.19 c #Conflicts: 798000 | #Constraints: 27282
2593.12/2600.19 c #Conflicts: 799000 | #Constraints: 28282
2593.12/2600.19 c #Conflicts: 800000 | #Constraints: 29282
2593.12/2600.19 c #Conflicts: 801000 | #Constraints: 30282
2593.12/2600.19 c #Conflicts: 802000 | #Constraints: 31282
2593.12/2600.19 c #Conflicts: 803000 | #Constraints: 32282
2593.12/2600.19 c #Conflicts: 804000 | #Constraints: 33282
2593.12/2600.19 c #Conflicts: 805000 | #Constraints: 34282
2593.12/2600.19 c #Conflicts: 806000 | #Constraints: 35282
2593.12/2600.19 c #Conflicts: 807000 | #Constraints: 36282
2593.12/2600.19 c #Conflicts: 808000 | #Constraints: 37282
2593.12/2600.19 c #Conflicts: 809000 | #Constraints: 38282
2593.12/2600.19 c #Conflicts: 810000 | #Constraints: 39282
2593.12/2600.19 c INPROCESSING
2593.12/2600.19 c GARBAGE COLLECT
2593.12/2600.19 c rational objective 2.57322e-12
2680.32/2687.60 c #Conflicts: 811000 | #Constraints: 22481
2680.32/2687.60 c #Conflicts: 812000 | #Constraints: 23481
2680.32/2687.60 c #Conflicts: 813000 | #Constraints: 24481
2680.32/2687.60 c #Conflicts: 814000 | #Constraints: 25481
2680.32/2687.60 c #Conflicts: 815000 | #Constraints: 26481
2680.32/2687.60 c #Conflicts: 816000 | #Constraints: 27481
2680.32/2687.60 c #Conflicts: 817000 | #Constraints: 28481
2680.32/2687.60 c #Conflicts: 818000 | #Constraints: 29481
2680.32/2687.60 c #Conflicts: 819000 | #Constraints: 30481
2680.32/2687.60 c #Conflicts: 820000 | #Constraints: 31481
2680.32/2687.60 c #Conflicts: 821000 | #Constraints: 32481
2680.32/2687.60 c #Conflicts: 822000 | #Constraints: 33481
2680.32/2687.60 c #Conflicts: 823000 | #Constraints: 34481
2680.32/2687.60 c #Conflicts: 824000 | #Constraints: 35481
2680.32/2687.60 c #Conflicts: 825000 | #Constraints: 36481
2680.32/2687.60 c #Conflicts: 826000 | #Constraints: 37481
2680.32/2687.60 c #Conflicts: 827000 | #Constraints: 38481
2680.32/2687.60 c #Conflicts: 828000 | #Constraints: 39481
2680.32/2687.60 c INPROCESSING
2680.32/2687.60 c GARBAGE COLLECT
2680.32/2687.60 c rational objective 2.57322e-12
2767.03/2774.65 c #Conflicts: 829000 | #Constraints: 22500
2767.03/2774.65 c #Conflicts: 830000 | #Constraints: 23500
2767.03/2774.65 c #Conflicts: 831000 | #Constraints: 24500
2767.03/2774.65 c #Conflicts: 832000 | #Constraints: 25500
2767.03/2774.65 c #Conflicts: 833000 | #Constraints: 26500
2767.03/2774.65 c #Conflicts: 834000 | #Constraints: 27500
2767.03/2774.65 c #Conflicts: 835000 | #Constraints: 28500
2767.03/2774.65 c #Conflicts: 836000 | #Constraints: 29500
2767.03/2774.65 c #Conflicts: 837000 | #Constraints: 30500
2767.03/2774.65 c #Conflicts: 838000 | #Constraints: 31500
2767.03/2774.65 c #Conflicts: 839000 | #Constraints: 32500
2767.03/2774.65 c #Conflicts: 840000 | #Constraints: 33500
2767.03/2774.65 c #Conflicts: 841000 | #Constraints: 34500
2767.03/2774.65 c #Conflicts: 842000 | #Constraints: 35500
2767.03/2774.65 c #Conflicts: 843000 | #Constraints: 36500
2767.03/2774.65 c #Conflicts: 844000 | #Constraints: 37500
2767.03/2774.65 c #Conflicts: 845000 | #Constraints: 38500
2767.03/2774.65 c #Conflicts: 846000 | #Constraints: 39500
2767.03/2774.65 c INPROCESSING
2767.03/2774.65 c GARBAGE COLLECT
2767.03/2774.65 c rational objective 2.57322e-12
2840.48/2848.35 c #Conflicts: 847000 | #Constraints: 22290
2840.48/2848.35 c #Conflicts: 848000 | #Constraints: 23290
2840.48/2848.35 c #Conflicts: 849000 | #Constraints: 24290
2840.48/2848.35 c #Conflicts: 850000 | #Constraints: 25291
2840.48/2848.35 c #Conflicts: 851000 | #Constraints: 26291
2840.48/2848.35 c #Conflicts: 852000 | #Constraints: 27291
2840.48/2848.35 c #Conflicts: 853000 | #Constraints: 28291
2840.48/2848.35 c #Conflicts: 854000 | #Constraints: 29291
2840.48/2848.35 c #Conflicts: 855000 | #Constraints: 30291
2840.48/2848.35 c #Conflicts: 856000 | #Constraints: 31291
2840.48/2848.35 c #Conflicts: 857000 | #Constraints: 32291
2840.48/2848.35 c #Conflicts: 858000 | #Constraints: 33291
2840.48/2848.35 c #Conflicts: 859000 | #Constraints: 34291
2840.48/2848.35 c #Conflicts: 860000 | #Constraints: 35291
2840.48/2848.35 c #Conflicts: 861000 | #Constraints: 36291
2840.48/2848.35 c #Conflicts: 862000 | #Constraints: 37291
2840.48/2848.35 c #Conflicts: 863000 | #Constraints: 38291
2840.48/2848.35 c #Conflicts: 864000 | #Constraints: 39291
2840.48/2848.35 c #Conflicts: 865000 | #Constraints: 40291
2840.48/2848.35 c INPROCESSING
2840.48/2848.35 c GARBAGE COLLECT
2840.48/2848.35 c rational objective 2.57322e-12
2927.79/2935.90 c #Conflicts: 866000 | #Constraints: 22885
2927.79/2935.90 c #Conflicts: 867000 | #Constraints: 23885
2927.79/2935.90 c #Conflicts: 868000 | #Constraints: 24885
2927.79/2935.90 c #Conflicts: 869000 | #Constraints: 25885
2927.79/2935.90 c #Conflicts: 870000 | #Constraints: 26885
2927.79/2935.90 c #Conflicts: 871000 | #Constraints: 27885
2927.79/2935.90 c #Conflicts: 872000 | #Constraints: 28885
2927.79/2935.90 c #Conflicts: 873000 | #Constraints: 29885
2927.79/2935.90 c #Conflicts: 874000 | #Constraints: 30885
2927.79/2935.90 c #Conflicts: 875000 | #Constraints: 31885
2927.79/2935.90 c #Conflicts: 876000 | #Constraints: 32885
2927.79/2935.90 c #Conflicts: 877000 | #Constraints: 33885
2927.79/2935.90 c #Conflicts: 878000 | #Constraints: 34885
2927.79/2935.90 c #Conflicts: 879000 | #Constraints: 35885
2927.79/2935.90 c #Conflicts: 880000 | #Constraints: 36885
2927.79/2935.90 c #Conflicts: 881000 | #Constraints: 37885
2927.79/2935.90 c #Conflicts: 882000 | #Constraints: 38885
2927.79/2935.90 c #Conflicts: 883000 | #Constraints: 39885
2927.79/2935.90 c #Conflicts: 884000 | #Constraints: 40885
2927.79/2935.90 c INPROCESSING
2927.79/2935.90 c GARBAGE COLLECT
2927.79/2935.90 c rational objective 2.57322e-12
3021.18/3029.65 c #Conflicts: 885000 | #Constraints: 23284
3021.18/3029.65 c #Conflicts: 886000 | #Constraints: 24284
3021.18/3029.65 c #Conflicts: 887000 | #Constraints: 25284
3021.18/3029.65 c #Conflicts: 888000 | #Constraints: 26284
3021.18/3029.65 c #Conflicts: 889000 | #Constraints: 27284
3021.18/3029.65 c #Conflicts: 890000 | #Constraints: 28284
3021.18/3029.65 c #Conflicts: 891000 | #Constraints: 29284
3021.18/3029.65 c #Conflicts: 892000 | #Constraints: 30284
3021.18/3029.65 c #Conflicts: 893000 | #Constraints: 31284
3021.18/3029.65 c #Conflicts: 894000 | #Constraints: 32284
3021.18/3029.65 c #Conflicts: 895000 | #Constraints: 33284
3021.18/3029.65 c #Conflicts: 896000 | #Constraints: 34284
3021.18/3029.65 c #Conflicts: 897000 | #Constraints: 35284
3021.18/3029.65 c #Conflicts: 898000 | #Constraints: 36284
3021.18/3029.65 c #Conflicts: 899000 | #Constraints: 37284
3021.18/3029.65 c #Conflicts: 900000 | #Constraints: 38284
3021.18/3029.65 c #Conflicts: 901000 | #Constraints: 39284
3021.18/3029.65 c #Conflicts: 902000 | #Constraints: 40284
3021.18/3029.65 c #Conflicts: 903000 | #Constraints: 41284
3021.18/3029.65 c INPROCESSING
3021.18/3029.65 c GARBAGE COLLECT
3021.18/3029.65 c rational objective 2.57322e-12
3112.97/3121.75 c #Conflicts: 904000 | #Constraints: 23482
3112.97/3121.75 c #Conflicts: 905000 | #Constraints: 24482
3112.97/3121.75 c #Conflicts: 906000 | #Constraints: 25482
3112.97/3121.75 c #Conflicts: 907000 | #Constraints: 26482
3112.97/3121.75 c #Conflicts: 908000 | #Constraints: 27482
3112.97/3121.75 c #Conflicts: 909000 | #Constraints: 28482
3112.97/3121.75 c #Conflicts: 910000 | #Constraints: 29482
3112.97/3121.75 c #Conflicts: 911000 | #Constraints: 30482
3112.97/3121.75 c #Conflicts: 912000 | #Constraints: 31482
3112.97/3121.75 c #Conflicts: 913000 | #Constraints: 32482
3112.97/3121.75 c #Conflicts: 914000 | #Constraints: 33482
3112.97/3121.75 c #Conflicts: 915000 | #Constraints: 34482
3112.97/3121.75 c #Conflicts: 916000 | #Constraints: 35482
3112.97/3121.75 c #Conflicts: 917000 | #Constraints: 36482
3112.97/3121.75 c #Conflicts: 918000 | #Constraints: 37482
3112.97/3121.75 c #Conflicts: 919000 | #Constraints: 38482
3112.97/3121.75 c #Conflicts: 920000 | #Constraints: 39482
3112.97/3121.75 c #Conflicts: 921000 | #Constraints: 40482
3112.97/3121.75 c #Conflicts: 922000 | #Constraints: 41482
3112.97/3121.75 c INPROCESSING
3112.97/3121.75 c GARBAGE COLLECT
3112.97/3121.75 c rational objective 2.57322e-12
3209.98/3219.09 c #Conflicts: 923000 | #Constraints: 23483
3209.98/3219.09 c #Conflicts: 924000 | #Constraints: 24483
3209.98/3219.09 c #Conflicts: 925000 | #Constraints: 25483
3209.98/3219.09 c #Conflicts: 926000 | #Constraints: 26483
3209.98/3219.09 c #Conflicts: 927000 | #Constraints: 27483
3209.98/3219.09 c #Conflicts: 928000 | #Constraints: 28483
3209.98/3219.09 c #Conflicts: 929000 | #Constraints: 29483
3209.98/3219.09 c #Conflicts: 930000 | #Constraints: 30483
3209.98/3219.09 c #Conflicts: 931000 | #Constraints: 31483
3209.98/3219.09 c #Conflicts: 932000 | #Constraints: 32483
3209.98/3219.09 c #Conflicts: 933000 | #Constraints: 33483
3209.98/3219.09 c #Conflicts: 934000 | #Constraints: 34483
3209.98/3219.09 c #Conflicts: 935000 | #Constraints: 35483
3209.98/3219.09 c #Conflicts: 936000 | #Constraints: 36483
3209.98/3219.09 c #Conflicts: 937000 | #Constraints: 37483
3209.98/3219.09 c #Conflicts: 938000 | #Constraints: 38483
3209.98/3219.09 c #Conflicts: 939000 | #Constraints: 39483
3209.98/3219.09 c #Conflicts: 940000 | #Constraints: 40483
3209.98/3219.09 c #Conflicts: 941000 | #Constraints: 41483
3209.98/3219.09 c INPROCESSING
3209.98/3219.09 c GARBAGE COLLECT
3209.98/3219.09 c rational objective 2.57322e-12
3302.31/3311.60 c #Conflicts: 942000 | #Constraints: 23295
3302.31/3311.60 c #Conflicts: 943000 | #Constraints: 24295
3302.31/3311.60 c #Conflicts: 944000 | #Constraints: 25295
3302.31/3311.60 c #Conflicts: 945000 | #Constraints: 26295
3302.31/3311.60 c #Conflicts: 946000 | #Constraints: 27295
3302.31/3311.60 c #Conflicts: 947000 | #Constraints: 28295
3302.31/3311.60 c #Conflicts: 948000 | #Constraints: 29295
3302.31/3311.60 c #Conflicts: 949000 | #Constraints: 30295
3302.31/3311.60 c #Conflicts: 950000 | #Constraints: 31295
3302.31/3311.60 c #Conflicts: 951000 | #Constraints: 32295
3302.31/3311.60 c #Conflicts: 952000 | #Constraints: 33295
3302.31/3311.60 c #Conflicts: 953000 | #Constraints: 34295
3302.31/3311.60 c #Conflicts: 954000 | #Constraints: 35295
3302.31/3311.60 c #Conflicts: 955000 | #Constraints: 36295
3302.31/3311.60 c #Conflicts: 956000 | #Constraints: 37295
3302.31/3311.60 c #Conflicts: 957000 | #Constraints: 38295
3302.31/3311.60 c #Conflicts: 958000 | #Constraints: 39295
3302.31/3311.60 c #Conflicts: 959000 | #Constraints: 40295
3302.31/3311.60 c #Conflicts: 960000 | #Constraints: 41295
3302.31/3311.60 c #Conflicts: 961000 | #Constraints: 42295
3302.31/3311.60 c INPROCESSING
3302.31/3311.60 c GARBAGE COLLECT
3302.31/3311.60 c rational objective 2.57322e-12
3426.85/3436.52 c #Conflicts: 962000 | #Constraints: 23903
3426.85/3436.52 c #Conflicts: 963000 | #Constraints: 24903
3426.85/3436.52 c #Conflicts: 964000 | #Constraints: 25903
3426.85/3436.52 c #Conflicts: 965000 | #Constraints: 26903
3426.85/3436.52 c #Conflicts: 966000 | #Constraints: 27903
3426.85/3436.52 c #Conflicts: 967000 | #Constraints: 28903
3426.85/3436.52 c #Conflicts: 968000 | #Constraints: 29903
3426.85/3436.52 c #Conflicts: 969000 | #Constraints: 30903
3426.85/3436.52 c #Conflicts: 970000 | #Constraints: 31903
3426.85/3436.52 c #Conflicts: 971000 | #Constraints: 32903
3426.85/3436.52 c #Conflicts: 972000 | #Constraints: 33903
3426.85/3436.52 c #Conflicts: 973000 | #Constraints: 34903
3426.85/3436.52 c #Conflicts: 974000 | #Constraints: 35903
3426.85/3436.52 c #Conflicts: 975000 | #Constraints: 36903
3426.85/3436.52 c #Conflicts: 976000 | #Constraints: 37903
3426.85/3436.52 c #Conflicts: 977000 | #Constraints: 38903
3426.85/3436.52 c #Conflicts: 978000 | #Constraints: 39903
3426.85/3436.52 c #Conflicts: 979000 | #Constraints: 40903
3426.85/3436.52 c #Conflicts: 980000 | #Constraints: 41903
3426.85/3436.52 c #Conflicts: 981000 | #Constraints: 42903
3426.85/3436.52 c INPROCESSING
3426.85/3436.52 c GARBAGE COLLECT
3426.85/3436.52 c rational objective 2.57322e-12
3532.07/3542.01 c #Conflicts: 982000 | #Constraints: 24307
3532.07/3542.01 c #Conflicts: 983000 | #Constraints: 25307
3532.07/3542.01 c #Conflicts: 984000 | #Constraints: 26307
3532.07/3542.01 c #Conflicts: 985000 | #Constraints: 27307
3532.07/3542.01 c #Conflicts: 986000 | #Constraints: 28307
3532.07/3542.01 c #Conflicts: 987000 | #Constraints: 29307
3532.07/3542.01 c #Conflicts: 988000 | #Constraints: 30307
3532.07/3542.01 c #Conflicts: 989000 | #Constraints: 31307
3532.07/3542.01 c #Conflicts: 990000 | #Constraints: 32307
3532.07/3542.01 c #Conflicts: 991000 | #Constraints: 33307
3532.07/3542.01 c #Conflicts: 992000 | #Constraints: 34307
3532.07/3542.01 c #Conflicts: 993000 | #Constraints: 35307
3532.07/3542.01 c #Conflicts: 994000 | #Constraints: 36307
3532.07/3542.01 c #Conflicts: 995000 | #Constraints: 37307
3532.07/3542.01 c #Conflicts: 996000 | #Constraints: 38307
3532.07/3542.01 c #Conflicts: 997000 | #Constraints: 39307
3532.07/3542.01 c #Conflicts: 998000 | #Constraints: 40307
3532.07/3542.01 c #Conflicts: 999000 | #Constraints: 41307
3532.07/3542.01 c #Conflicts: 1000000 | #Constraints: 42307
3532.07/3542.01 c #Conflicts: 1001000 | #Constraints: 43307
3532.07/3542.01 c INPROCESSING
3532.07/3542.01 c GARBAGE COLLECT
3532.07/3542.01 c rational objective 2.57322e-12
3600.08/3610.20 c #Conflicts: 1002000 | #Constraints: 24507
3600.08/3610.20 c #Conflicts: 1003000 | #Constraints: 25507
3600.08/3610.20 c #Conflicts: 1004000 | #Constraints: 26507
3600.08/3610.20 c #Conflicts: 1005000 | #Constraints: 27507
3600.08/3610.20 c #Conflicts: 1006000 | #Constraints: 28507
3600.08/3610.20 c #Conflicts: 1007000 | #Constraints: 29507
3600.08/3610.20 c #Conflicts: 1008000 | #Constraints: 30507
3600.08/3610.20 c #Conflicts: 1009000 | #Constraints: 31507
3600.08/3610.20 c #Conflicts: 1010000 | #Constraints: 32507
3600.08/3610.20 c #Conflicts: 1011000 | #Constraints: 33507
3600.08/3610.20 c #Conflicts: 1012000 | #Constraints: 34507
3600.08/3610.20 c #Conflicts: 1013000 | #Constraints: 35507
3600.08/3610.20 c #Conflicts: 1014000 | #Constraints: 36507
3600.08/3610.20 c #Conflicts: 1015000 | #Constraints: 37507
3600.08/3610.20 c #Conflicts: 1016000 | #Constraints: 38507
3600.08/3610.20 c cpu time 3592.05 s
3600.08/3610.20 c deterministic time 1439545144667 1.44e+12
3600.08/3610.20 c optimization time 67.8942 s
3600.08/3610.20 c total solve time 3524.14 s
3600.08/3610.20 c core-guided solve time 0 s
3600.08/3610.20 c propagation time 3210.87 s
3600.08/3610.20 c conflict analysis time 304.926 s
3600.08/3610.20 c propagations 63619132
3600.08/3610.20 c resolve steps 16841319
3600.08/3610.20 c decisions 2898088
3600.08/3610.20 c conflicts 1016265
3600.08/3610.20 c restarts 2045
3600.08/3610.20 c inprocessing phases 91
3600.08/3610.20 c garbage collections 91 ,( 100.00 )
3600.08/3610.20 c input clauses 1882 ,( 51.66 )
3600.08/3610.20 c input cardinalities 0 ,( 0.00 )
3600.08/3610.20 c input general constraints 1761 ,( 48.34 )
3600.08/3610.20 c input average constraint length 3.84
3600.08/3610.20 c input average constraint degree 59339220855591.52
3600.08/3610.20 c learned clauses 56775 ,( 5.59 )
3600.08/3610.20 c learned cardinalities 36 ,( 0.00 )
3600.08/3610.20 c learned general constraints 959470 ,( 94.41 )
3600.08/3610.20 c learned average constraint length 540.61
3600.08/3610.20 c learned average constraint degree 973767993.07
3600.08/3610.20 c watched CF 32, 64, 128, Arb: 15510 , 0 , 0 , 0
3600.08/3610.20 c counting CF 32, 64, 128, Arb: 945718 , 3 , 0 , 0
3600.08/3610.20 c watched constraints 15510 ,( 1.61 )
3600.08/3610.20 c counting constraints 945721 ,( 98.39 )
3600.08/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 139236663 , 1587870 , 27411398790 ,( 22564384 , 27388834406 )
3600.08/3610.20 c gcd simplifications 35071
3600.08/3610.20 c detected cardinalities 26
3600.08/3610.20 c weakened non-implied lits 5422056
3600.08/3610.20 c weakened non-implying lits 495006
3600.08/3610.20 c original variables 3571
3600.08/3610.20 c clausal propagations 16488369
3600.08/3610.20 c cardinality propagations 62706
3600.08/3610.20 c watched propagations 136954
3600.08/3610.20 c counting propagations 45957568
3600.08/3610.20 c watch lookups 30313133217
3600.08/3610.20 c watch backjump lookups 0
3600.08/3610.20 c watch checks 438312611
3600.08/3610.20 c propagation checks 1406771077190
3600.08/3610.20 c constraint additions 1888446576
3600.08/3610.20 c trail pops 67529951
3600.08/3610.20 c formula constraints 3643
3600.08/3610.20 c learned constraints 1016251
3600.08/3610.20 c bound constraints 0
3600.08/3610.20 c core-guided constraints 0
3600.08/3610.20 c encountered formula constraints 14113419
3600.08/3610.20 c encountered learned constraints 3242270
3600.08/3610.20 c encountered bound constraints 0
3600.08/3610.20 c encountered core-guided constraints 0
3600.08/3610.20 c LP total time 15.0982 s
3600.08/3610.20 c LP solve time 10.92 s
3600.08/3610.20 c LP constraints added 3643
3600.08/3610.20 c LP constraints removed 0
3600.08/3610.20 c LP pivots internal 101675
3600.08/3610.20 c LP pivots root 26226
3600.08/3610.20 c LP calls 7373
3600.08/3610.20 c LP optimalities 7354
3600.08/3610.20 c LP no pivot count 3508
3600.08/3610.20 c LP infeasibilities 17
3600.08/3610.20 c LP valid Farkas constraints 17
3600.08/3610.20 c LP learned Farkas constraints 13
3600.08/3610.20 c LP basis resets 0
3600.08/3610.20 c LP cycling count 0
3600.08/3610.20 c LP singular count 0
3600.08/3610.20 c LP no primal count 0
3600.08/3610.20 c LP no farkas count 0
3600.08/3610.20 c LP other issue count 0
3600.08/3610.20 c LP Gomory cuts 0
3600.08/3610.20 c LP learned cuts 0
3600.08/3610.20 c LP deleted cuts 0
3600.08/3610.20 c LP encountered Gomory constraints 0
3600.08/3610.20 c LP encountered Farkas constraints 499990
3600.08/3610.20 c LP encountered learned Farkas constraints 1892
3600.08/3610.20 c CG auxiliary variables introduced 0
3600.08/3610.20 c CG solutions found 0
3600.08/3610.20 c CG cores constructed 0
3600.08/3610.20 c CG core cardinality constraints returned 0
3600.08/3610.20 c CG unit cores 0
3600.08/3610.20 c CG single cores 0
3600.08/3610.20 c CG blocks removed during cardinality reduction 0
3600.08/3610.20 c CG first core best 0
3600.08/3610.20 c CG decision core best 0
3600.08/3610.20 c CG core reduction tie 0
3600.08/3610.20 c CG core degree average 0.00
3600.08/3610.20 c CG core slack average 0.00
3600.08/3610.20 c CG core upper bound improvements 0
3600.08/3610.20 c STR number of successful calls 0
3600.08/3610.20 c STR number of unsuccessful calls 0
3600.08/3610.20 c STR number of inconclusive calls 0
3600.08/3610.20 c STR number of successful attempts 0
3600.08/3610.20 c STR number of unsuccessful attempts 0
3600.08/3610.20 c STR number of inconclusive attempts 0
3600.08/3610.20 c STR average degree increase per successful call inf
3600.08/3610.20 c STR average degree increase per successful attempt inf
3600.08/3610.20 c STR total number of conflicts for successful attempts 0
3600.08/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.20 c STR average number of conflicts per successful attempt inf
3600.08/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.20 c AVG.sumWPerc 97.99
3600.08/3610.20 c bigint constraints 3
3600.08/3610.20 s UNKNOWN
3600.08/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60316 MiB free)
memory of node 1: 64465 MiB (57090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542036-1753211625/watcher-4542036-1753211625 -o /tmp/evaluation-result-4542036-1753211625/solver-4542036-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164107 --watchdog 3760 run-dec-ls.sh HOME/instance-4542036-1753211625.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164160, runsolver pid=164146
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120181496/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=63272 memory=19424 CPUtime=0.07 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 2796 0 0 0 7 0 0 0 20 0 1 0 236839996 64790528 4856 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 15818 4856 2336 1147 0 3245 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67464 KiB
Current children cumulated memory: 22496 KiB
[startup+0.205692 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120156896/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=64664 memory=20704 CPUtime=0.18 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 3098 0 0 0 17 1 0 0 20 0 1 0 236839996 66215936 5176 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 16166 5176 2368 1147 0 3593 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68856 KiB
Current children cumulated memory: 23776 KiB
[startup+0.305658 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120153116/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=67700 memory=23776 CPUtime=0.28 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 3863 0 0 0 27 1 0 0 20 0 1 0 236839996 69324800 5944 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 16925 5944 2368 1147 0 4352 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71892 KiB
Current children cumulated memory: 26848 KiB
[startup+0.700195 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120145304/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=83500 memory=38088 CPUtime=0.67 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 6924 0 0 0 65 2 0 0 20 0 1 0 236839996 85504000 9522 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 20875 9522 2368 1147 0 8302 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87692 KiB
Current children cumulated memory: 41160 KiB
[startup+1.50019 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120122048/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=91404 memory=47208 CPUtime=1.47 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 8707 0 0 0 144 3 0 0 20 0 1 0 236839996 93597696 11802 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 22851 11802 2368 1147 0 10278 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 95596 KiB
Current children cumulated memory: 50280 KiB
[startup+3.10552 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120087216/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=107660 memory=60392 CPUtime=3.07 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 11978 0 0 0 302 5 0 0 20 0 1 0 236839996 110243840 15098 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 26915 15098 2368 1147 0 14342 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111852 KiB
Current children cumulated memory: 63464 KiB
[startup+6.3002 s]
/proc/loadavg: 1.35 1.17 1.61 5/268 164167
/proc/meminfo: memFree=120063596/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=126188 memory=72716 CPUtime=6.25 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 14559 0 0 0 616 9 0 0 20 0 1 0 236839996 129216512 18179 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 31547 18179 2368 1147 0 18974 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 130380 KiB
Current children cumulated memory: 75788 KiB
[startup+12.7002 s]
/proc/loadavg: 1.64 1.23 1.62 5/268 164167
/proc/meminfo: memFree=120035424/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=131948 memory=86128 CPUtime=12.64 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 16908 0 0 0 1251 13 0 0 20 0 1 0 236839996 135114752 21532 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 32987 21532 2368 1147 0 20414 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 89200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.37 1.66 5/268 164214
/proc/meminfo: memFree=117093176/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=157708 memory=103536 CPUtime=25.4 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 21175 0 0 0 2518 22 0 0 20 0 1 0 236839996 161492992 25884 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 39427 25884 2432 1147 0 26854 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 161900 KiB
Current children cumulated memory: 106608 KiB
[startup+51.1056 s]
/proc/loadavg: 2.93 1.61 1.74 5/268 164214
/proc/meminfo: memFree=117075332/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=179100 memory=120076 CPUtime=50.94 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 24821 0 0 0 5054 40 0 0 20 0 1 0 236839996 183398400 30019 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 44775 30019 2432 1147 0 32202 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 183292 KiB
Current children cumulated memory: 123148 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.00 1.86 5/268 164216
/proc/meminfo: memFree=116959880/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=226008 memory=159376 CPUtime=102 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 33102 0 0 0 10137 63 0 0 20 0 1 0 236839996 231432192 39844 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 56502 39844 2432 1147 0 43929 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 230200 KiB
Current children cumulated memory: 162448 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.40 2.01 5/271 164227
/proc/meminfo: memFree=116863760/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=283124 memory=202556 CPUtime=161.83 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 41694 0 0 0 16098 85 0 0 20 0 1 0 236839996 289918976 50639 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 70781 50639 2432 1147 0 58208 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 287316 KiB
Current children cumulated memory: 205628 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.14 5/270 164230
/proc/meminfo: memFree=116788856/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=290296 memory=227004 CPUtime=221.66 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 43439 0 0 0 22054 112 0 0 20 0 1 0 236839996 297263104 56751 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 72574 56751 2432 1147 0 60001 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/164166/statm: 168808 134176 2432 1147 0 156235 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 679424 KiB
Current children cumulated memory: 539776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/267 164382
/proc/meminfo: memFree=115221484/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=675232 memory=536704 CPUtime=3093.64 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 104969 0 0 0 308628 736 0 0 20 0 1 0 236839996 691437568 134176 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 168808 134176 2432 1147 0 156235 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 679424 KiB
Current children cumulated memory: 539776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/268 164392
/proc/meminfo: memFree=115182448/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=675232 memory=539264 CPUtime=3153.44 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 105159 0 0 0 314596 748 0 0 20 0 1 0 236839996 691437568 134816 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 168808 134816 2432 1147 0 156235 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 679424 KiB
Current children cumulated memory: 542336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/268 164394
/proc/meminfo: memFree=115130896/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=676780 memory=550656 CPUtime=3213.27 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 105504 0 0 0 320570 757 0 0 20 0 1 0 236839996 693022720 137664 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 169195 137664 2432 1147 0 156622 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 680972 KiB
Current children cumulated memory: 553728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/269 164397
/proc/meminfo: memFree=115040712/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=676780 memory=568704 CPUtime=3273.09 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 105548 0 0 0 326544 765 0 0 20 0 1 0 236839996 693022720 142176 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 169195 142176 2432 1147 0 156622 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 680972 KiB
Current children cumulated memory: 571776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/269 164399
/proc/meminfo: memFree=114906596/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=800288 memory=669696 CPUtime=3332.93 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 123128 0 0 0 332516 777 0 0 20 0 1 0 236839996 819494912 167424 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 200072 167424 2432 1147 0 187499 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 804480 KiB
Current children cumulated memory: 672768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/269 164401
/proc/meminfo: memFree=114861408/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=801312 memory=712064 CPUtime=3392.75 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 123259 0 0 0 338492 783 0 0 20 0 1 0 236839996 820543488 178016 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 200328 178016 2432 1147 0 187755 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 805504 KiB
Current children cumulated memory: 715136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/268 164404
/proc/meminfo: memFree=114876764/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=802848 memory=725632 CPUtime=3452.58 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 123492 0 0 0 344467 791 0 0 20 0 1 0 236839996 822116352 181408 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 200712 181408 2432 1147 0 188139 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 807040 KiB
Current children cumulated memory: 728704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 164406
/proc/meminfo: memFree=114843820/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=802848 memory=725632 CPUtime=3512.42 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 123492 0 0 0 350446 796 0 0 20 0 1 0 236839996 822116352 181408 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 200712 181408 2432 1147 0 188139 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 807040 KiB
Current children cumulated memory: 728704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/268 164408
/proc/meminfo: memFree=114803332/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=818208 memory=733824 CPUtime=3572.26 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 125530 0 0 0 356424 802 0 0 20 0 1 0 236839996 837844992 183456 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 204552 183456 2432 1147 0 191979 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 822400 KiB
Current children cumulated memory: 736896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.11 4.05 5/262 164416
/proc/meminfo: memFree=115202056/131250000 swapFree=33008356/33010684
[pid=164160] ppid=164146 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164160/stat : 164160 (run-dec-ls.sh) S 164146 164160 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236839995 4292608 768 18446744073709551615 94840802660352 94840803554885 140723423196496 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94840803793936 94840803841680 94840827498496 140723423201637 140723423201763 140723423201763 140723423207367 0
/proc/164160/statm: 1048 768 704 219 0 110 0
[pid=164166] ppid=164160 vsize=818208 memory=733824 CPUtime=3600.08 cores=5,7
/proc/164166/stat : 164166 (roundingsat) R 164160 164160 164094 0 -1 4194304 125530 0 0 0 359204 804 0 0 20 0 1 0 236839996 837844992 183456 18446744073709551615 4227072 8923433 140726981105392 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42803200 140726981110174 140726981110310 140726981110310 140726981115882 0
/proc/164166/statm: 204552 183456 2432 1147 0 191979 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 822400 KiB
Current children cumulated memory: 736896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 164160 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002845 s
[startup+3610.21 s]
# the end of solver process 164166 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.05 s, system=8.05373 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.1
CPU user time (s): 3592.05
CPU system time (s): 8.05373
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 822400
Max. memory (cumulated for all children) (KiB): 736896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.05
system time used= 8.05373
maximum resident set size= 734080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264
involuntary context switches= 4575
# summary of solver processes directly reported to runsolver:
# pid: 164160,164166
# total CPU time (s): 3600.1
# total CPU user time (s): 3592.05
# total CPU system time (s): 8.05373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2711 second user time and 16.7419 second system time
The end
Begin job on nodeC019 at 2025-07-22 21:13:45
IDJOB=4542036
IDBENCH=163735
IDSOLVER=3353
FILE ID=nodeC019/4542036-1753211625
RUNJOBID= nodeC019-1753211625-164107
SLURM_JOB_ID= 9687797
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542036-1753211625/watcher-4542036-1753211625 -o /tmp/evaluation-result-4542036-1753211625/solver-4542036-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164107 --watchdog 3760 run-dec-ls.sh HOME/instance-4542036-1753211625.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=979851660
nodeC019 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.975
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.37
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.672
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.37
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 : 3599.900
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.183
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.37
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.686
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.37
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.686
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.37
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 : 3577.144
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120228348 kB
MemAvailable: 129641768 kB
Buffers: 904 kB
Cached: 10154460 kB
SwapCached: 416 kB
Active: 1156336 kB
Inactive: 9068056 kB
Active(anon): 81676 kB
Inactive(anon): 12804 kB
Active(file): 1074660 kB
Inactive(file): 9055252 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29888 kB
Writeback: 0 kB
AnonPages: 71812 kB
Mapped: 109152 kB
Shmem: 25452 kB
KReclaimable: 245492 kB
Slab: 341436 kB
SReclaimable: 245492 kB
SUnreclaim: 95944 kB
KernelStack: 4112 kB
PageTables: 2980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 342024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC019 at 2025-07-22 22:13:55