0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 3571 #constraints 3643
0.00/0.03 c rational objective 0
49.11/49.37 c #Conflicts: 1000 | #Constraints: 4643
49.11/49.37 c #Conflicts: 2000 | #Constraints: 5643
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 3000 | #Constraints: 5596
49.11/49.37 c #Conflicts: 4000 | #Constraints: 6596
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 5000 | #Constraints: 6006
49.11/49.37 c #Conflicts: 6000 | #Constraints: 7006
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 7000 | #Constraints: 6010
49.11/49.37 c #Conflicts: 8000 | #Constraints: 7010
49.11/49.37 c #Conflicts: 9000 | #Constraints: 8010
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 10000 | #Constraints: 6711
49.11/49.37 c #Conflicts: 11000 | #Constraints: 7711
49.11/49.37 c #Conflicts: 12000 | #Constraints: 8711
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 13000 | #Constraints: 7162
49.11/49.37 c #Conflicts: 14000 | #Constraints: 8162
49.11/49.37 c #Conflicts: 15000 | #Constraints: 9162
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 16000 | #Constraints: 7390
49.11/49.37 c #Conflicts: 17000 | #Constraints: 8390
49.11/49.37 c #Conflicts: 18000 | #Constraints: 9390
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 19000 | #Constraints: 7410
49.11/49.37 c #Conflicts: 20000 | #Constraints: 8410
49.11/49.37 c #Conflicts: 21000 | #Constraints: 9410
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 22000 | #Constraints: 7219
49.11/49.37 c #Conflicts: 23000 | #Constraints: 8219
49.11/49.37 c #Conflicts: 24000 | #Constraints: 9219
49.11/49.37 c #Conflicts: 25000 | #Constraints: 10219
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 26000 | #Constraints: 7823
49.11/49.37 c #Conflicts: 27000 | #Constraints: 8823
49.11/49.37 c #Conflicts: 28000 | #Constraints: 9823
49.11/49.37 c #Conflicts: 29000 | #Constraints: 10823
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c #Conflicts: 30000 | #Constraints: 8217
49.11/49.37 c #Conflicts: 31000 | #Constraints: 9217
49.11/49.37 c #Conflicts: 32000 | #Constraints: 10217
49.11/49.37 c #Conflicts: 33000 | #Constraints: 11217
49.11/49.37 c INPROCESSING
49.11/49.37 c GARBAGE COLLECT
49.11/49.37 c rational objective 2.57322e-12
76.53/76.89 c #Conflicts: 34000 | #Constraints: 8421
76.53/76.89 c #Conflicts: 35000 | #Constraints: 9421
76.53/76.89 c #Conflicts: 36000 | #Constraints: 10421
76.53/76.89 c #Conflicts: 37000 | #Constraints: 11421
76.53/76.89 c INPROCESSING
76.53/76.89 c GARBAGE COLLECT
76.53/76.89 c #Conflicts: 38000 | #Constraints: 8428
76.53/76.89 c #Conflicts: 39000 | #Constraints: 9428
76.53/76.89 c #Conflicts: 40000 | #Constraints: 10428
76.53/76.89 c #Conflicts: 41000 | #Constraints: 11428
76.53/76.89 c INPROCESSING
76.53/76.89 c GARBAGE COLLECT
76.53/76.89 c #Conflicts: 42000 | #Constraints: 8240
76.53/76.89 c #Conflicts: 43000 | #Constraints: 9240
76.53/76.89 c #Conflicts: 44000 | #Constraints: 10240
76.53/76.89 c #Conflicts: 45000 | #Constraints: 11240
76.53/76.89 c #Conflicts: 46000 | #Constraints: 12240
76.53/76.89 c INPROCESSING
76.53/76.89 c GARBAGE COLLECT
76.53/76.89 c #Conflicts: 47000 | #Constraints: 8842
76.53/76.89 c #Conflicts: 48000 | #Constraints: 9842
76.53/76.89 c #Conflicts: 49000 | #Constraints: 10842
76.53/76.89 c #Conflicts: 50000 | #Constraints: 11842
76.53/76.89 c #Conflicts: 51000 | #Constraints: 12842
76.53/76.89 c INPROCESSING
76.53/76.89 c GARBAGE COLLECT
76.53/76.89 c rational objective 2.57322e-12
85.00/85.35 c #Conflicts: 52000 | #Constraints: 9241
85.00/85.35 c #Conflicts: 53000 | #Constraints: 10241
85.00/85.35 c #Conflicts: 54000 | #Constraints: 11241
85.00/85.35 c #Conflicts: 55000 | #Constraints: 12241
85.00/85.35 c #Conflicts: 56000 | #Constraints: 13241
85.00/85.35 c INPROCESSING
85.00/85.35 c GARBAGE COLLECT
85.00/85.35 c rational objective 2.57322e-12
92.28/92.60 c #Conflicts: 57000 | #Constraints: 9441
92.28/92.60 c #Conflicts: 58000 | #Constraints: 10441
92.28/92.60 c #Conflicts: 59000 | #Constraints: 11442
92.28/92.60 c #Conflicts: 60000 | #Constraints: 12442
92.28/92.60 c #Conflicts: 61000 | #Constraints: 13442
92.28/92.60 c INPROCESSING
92.28/92.60 c GARBAGE COLLECT
92.28/92.60 c rational objective 2.57322e-12
103.84/104.22 c #Conflicts: 62000 | #Constraints: 9440
103.84/104.22 c #Conflicts: 63000 | #Constraints: 10440
103.84/104.22 c #Conflicts: 64000 | #Constraints: 11440
103.84/104.22 c #Conflicts: 65000 | #Constraints: 12440
103.84/104.22 c #Conflicts: 66000 | #Constraints: 13440
103.84/104.22 c INPROCESSING
103.84/104.22 c GARBAGE COLLECT
103.84/104.22 c rational objective 2.57322e-12
112.71/113.17 c #Conflicts: 67000 | #Constraints: 9241
112.71/113.17 c #Conflicts: 68000 | #Constraints: 10241
112.71/113.17 c #Conflicts: 69000 | #Constraints: 11241
112.71/113.17 c #Conflicts: 70000 | #Constraints: 12241
112.71/113.17 c #Conflicts: 71000 | #Constraints: 13241
112.71/113.17 c #Conflicts: 72000 | #Constraints: 14241
112.71/113.17 c INPROCESSING
112.71/113.17 c GARBAGE COLLECT
112.71/113.17 c rational objective 2.57322e-12
122.38/122.88 c #Conflicts: 73000 | #Constraints: 9841
122.38/122.88 c #Conflicts: 74000 | #Constraints: 10841
122.38/122.88 c #Conflicts: 75000 | #Constraints: 11841
122.38/122.88 c #Conflicts: 76000 | #Constraints: 12841
122.38/122.88 c #Conflicts: 77000 | #Constraints: 13841
122.38/122.88 c #Conflicts: 78000 | #Constraints: 14841
122.38/122.88 c INPROCESSING
122.38/122.88 c GARBAGE COLLECT
122.38/122.88 c rational objective 2.57322e-12
133.94/134.44 c #Conflicts: 79000 | #Constraints: 10244
133.94/134.44 c #Conflicts: 80000 | #Constraints: 11244
133.94/134.44 c #Conflicts: 81000 | #Constraints: 12244
133.94/134.44 c #Conflicts: 82000 | #Constraints: 13244
133.94/134.44 c #Conflicts: 83000 | #Constraints: 14244
133.94/134.44 c #Conflicts: 84000 | #Constraints: 15244
133.94/134.44 c INPROCESSING
133.94/134.44 c GARBAGE COLLECT
133.94/134.44 c rational objective 2.57322e-12
147.10/147.61 c #Conflicts: 85000 | #Constraints: 10440
147.10/147.61 c #Conflicts: 86000 | #Constraints: 11440
147.10/147.61 c #Conflicts: 87000 | #Constraints: 12440
147.10/147.61 c #Conflicts: 88000 | #Constraints: 13440
147.10/147.61 c #Conflicts: 89000 | #Constraints: 14440
147.10/147.61 c #Conflicts: 90000 | #Constraints: 15440
147.10/147.61 c INPROCESSING
147.10/147.61 c GARBAGE COLLECT
147.10/147.61 c rational objective 2.57322e-12
162.55/163.17 c #Conflicts: 91000 | #Constraints: 10438
162.55/163.17 c #Conflicts: 92000 | #Constraints: 11438
162.55/163.17 c #Conflicts: 93000 | #Constraints: 12438
162.55/163.17 c #Conflicts: 94000 | #Constraints: 13438
162.55/163.17 c #Conflicts: 95000 | #Constraints: 14438
162.55/163.17 c #Conflicts: 96000 | #Constraints: 15438
162.55/163.17 c INPROCESSING
162.55/163.17 c GARBAGE COLLECT
162.55/163.17 c rational objective 2.57322e-12
176.30/176.95 c #Conflicts: 97000 | #Constraints: 10246
176.30/176.95 c #Conflicts: 98000 | #Constraints: 11246
176.30/176.95 c #Conflicts: 99000 | #Constraints: 12246
176.30/176.95 c #Conflicts: 100000 | #Constraints: 13246
176.30/176.95 c #Conflicts: 101000 | #Constraints: 14246
176.30/176.95 c #Conflicts: 102000 | #Constraints: 15246
176.30/176.95 c #Conflicts: 103000 | #Constraints: 16246
176.30/176.95 c INPROCESSING
176.30/176.95 c GARBAGE COLLECT
176.30/176.95 c rational objective 2.57322e-12
187.77/188.42 c #Conflicts: 104000 | #Constraints: 10845
187.77/188.42 c #Conflicts: 105000 | #Constraints: 11845
187.77/188.42 c #Conflicts: 106000 | #Constraints: 12845
187.77/188.42 c #Conflicts: 107000 | #Constraints: 13845
187.77/188.42 c #Conflicts: 108000 | #Constraints: 14845
187.77/188.42 c #Conflicts: 109000 | #Constraints: 15845
187.77/188.42 c #Conflicts: 110000 | #Constraints: 16845
187.77/188.42 c INPROCESSING
187.77/188.42 c GARBAGE COLLECT
187.77/188.42 c rational objective 2.57322e-12
200.93/201.69 c #Conflicts: 111000 | #Constraints: 11253
200.93/201.69 c #Conflicts: 112000 | #Constraints: 12253
200.93/201.69 c #Conflicts: 113000 | #Constraints: 13253
200.93/201.69 c #Conflicts: 114000 | #Constraints: 14253
200.93/201.69 c #Conflicts: 115000 | #Constraints: 15253
200.93/201.69 c #Conflicts: 116000 | #Constraints: 16253
200.93/201.69 c #Conflicts: 117000 | #Constraints: 17253
200.93/201.69 c INPROCESSING
200.93/201.69 c GARBAGE COLLECT
200.93/201.69 c rational objective 2.57322e-12
214.48/215.27 c #Conflicts: 118000 | #Constraints: 11450
214.48/215.27 c #Conflicts: 119000 | #Constraints: 12450
214.48/215.27 c #Conflicts: 120000 | #Constraints: 13450
214.48/215.27 c #Conflicts: 121000 | #Constraints: 14450
214.48/215.27 c #Conflicts: 122000 | #Constraints: 15450
214.48/215.27 c #Conflicts: 123000 | #Constraints: 16450
214.48/215.27 c #Conflicts: 124000 | #Constraints: 17450
214.48/215.27 c INPROCESSING
214.48/215.27 c GARBAGE COLLECT
214.48/215.27 c rational objective 2.57322e-12
229.43/230.28 c #Conflicts: 125000 | #Constraints: 11453
229.43/230.28 c #Conflicts: 126000 | #Constraints: 12453
229.43/230.28 c #Conflicts: 127000 | #Constraints: 13453
229.43/230.28 c #Conflicts: 128000 | #Constraints: 14453
229.43/230.28 c #Conflicts: 129000 | #Constraints: 15453
229.43/230.28 c #Conflicts: 130000 | #Constraints: 16453
229.43/230.28 c #Conflicts: 131000 | #Constraints: 17453
229.43/230.28 c INPROCESSING
229.43/230.28 c GARBAGE COLLECT
229.43/230.28 c rational objective 2.57322e-12
244.59/245.45 c #Conflicts: 132000 | #Constraints: 11238
244.59/245.45 c #Conflicts: 133000 | #Constraints: 12238
244.59/245.45 c #Conflicts: 134000 | #Constraints: 13238
244.59/245.45 c #Conflicts: 135000 | #Constraints: 14238
244.59/245.45 c #Conflicts: 136000 | #Constraints: 15238
244.59/245.45 c #Conflicts: 137000 | #Constraints: 16238
244.59/245.45 c #Conflicts: 138000 | #Constraints: 17238
244.59/245.45 c #Conflicts: 139000 | #Constraints: 18238
244.59/245.45 c INPROCESSING
244.59/245.45 c GARBAGE COLLECT
244.59/245.45 c rational objective 2.57322e-12
258.55/259.49 c #Conflicts: 140000 | #Constraints: 11851
258.55/259.49 c #Conflicts: 141000 | #Constraints: 12851
258.55/259.49 c #Conflicts: 142000 | #Constraints: 13851
258.55/259.49 c #Conflicts: 143000 | #Constraints: 14851
258.55/259.49 c #Conflicts: 144000 | #Constraints: 15851
258.55/259.49 c #Conflicts: 145000 | #Constraints: 16851
258.55/259.49 c #Conflicts: 146000 | #Constraints: 17851
258.55/259.49 c #Conflicts: 147000 | #Constraints: 18851
258.55/259.49 c INPROCESSING
258.55/259.49 c GARBAGE COLLECT
258.55/259.49 c rational objective 2.57322e-12
272.81/273.77 c #Conflicts: 148000 | #Constraints: 12251
272.81/273.77 c #Conflicts: 149000 | #Constraints: 13251
272.81/273.77 c #Conflicts: 150000 | #Constraints: 14251
272.81/273.77 c #Conflicts: 151000 | #Constraints: 15251
272.81/273.77 c #Conflicts: 152000 | #Constraints: 16251
272.81/273.77 c #Conflicts: 153000 | #Constraints: 17251
272.81/273.77 c #Conflicts: 154000 | #Constraints: 18251
272.81/273.77 c #Conflicts: 155000 | #Constraints: 19251
272.81/273.77 c INPROCESSING
272.81/273.77 c GARBAGE COLLECT
272.81/273.77 c rational objective 2.57322e-12
291.35/292.31 c #Conflicts: 156000 | #Constraints: 12460
291.35/292.31 c #Conflicts: 157000 | #Constraints: 13460
291.35/292.31 c #Conflicts: 158000 | #Constraints: 14460
291.35/292.31 c #Conflicts: 159000 | #Constraints: 15460
291.35/292.31 c #Conflicts: 160000 | #Constraints: 16460
291.35/292.31 c #Conflicts: 161000 | #Constraints: 17460
291.35/292.31 c #Conflicts: 162000 | #Constraints: 18460
291.35/292.31 c #Conflicts: 163000 | #Constraints: 19460
291.35/292.31 c INPROCESSING
291.35/292.31 c GARBAGE COLLECT
291.35/292.31 c rational objective 2.57322e-12
310.70/311.76 c #Conflicts: 164000 | #Constraints: 12455
310.70/311.76 c #Conflicts: 165000 | #Constraints: 13455
310.70/311.76 c #Conflicts: 166000 | #Constraints: 14455
310.70/311.76 c #Conflicts: 167000 | #Constraints: 15455
310.70/311.76 c #Conflicts: 168000 | #Constraints: 16455
310.70/311.76 c #Conflicts: 169000 | #Constraints: 17455
310.70/311.76 c #Conflicts: 170000 | #Constraints: 18455
310.70/311.76 c #Conflicts: 171000 | #Constraints: 19455
310.70/311.76 c INPROCESSING
310.70/311.76 c GARBAGE COLLECT
310.70/311.76 c rational objective 2.57322e-12
329.44/330.58 c #Conflicts: 172000 | #Constraints: 12252
329.44/330.58 c #Conflicts: 173000 | #Constraints: 13252
329.44/330.58 c #Conflicts: 174000 | #Constraints: 14252
329.44/330.58 c #Conflicts: 175000 | #Constraints: 15252
329.44/330.58 c #Conflicts: 176000 | #Constraints: 16252
329.44/330.58 c #Conflicts: 177000 | #Constraints: 17252
329.44/330.58 c #Conflicts: 178000 | #Constraints: 18252
329.44/330.58 c #Conflicts: 179000 | #Constraints: 19252
329.44/330.58 c #Conflicts: 180000 | #Constraints: 20252
329.44/330.58 c INPROCESSING
329.44/330.58 c GARBAGE COLLECT
329.44/330.58 c rational objective 2.57322e-12
351.09/352.23 c #Conflicts: 181000 | #Constraints: 12855
351.09/352.23 c #Conflicts: 182000 | #Constraints: 13855
351.09/352.23 c #Conflicts: 183000 | #Constraints: 14855
351.09/352.23 c #Conflicts: 184000 | #Constraints: 15855
351.09/352.23 c #Conflicts: 185000 | #Constraints: 16855
351.09/352.23 c #Conflicts: 186000 | #Constraints: 17855
351.09/352.23 c #Conflicts: 187000 | #Constraints: 18855
351.09/352.23 c #Conflicts: 188000 | #Constraints: 19855
351.09/352.23 c #Conflicts: 189000 | #Constraints: 20855
351.09/352.23 c INPROCESSING
351.09/352.23 c GARBAGE COLLECT
351.09/352.23 c rational objective 2.57322e-12
376.22/377.47 c #Conflicts: 190000 | #Constraints: 13266
376.22/377.47 c #Conflicts: 191000 | #Constraints: 14266
376.22/377.47 c #Conflicts: 192000 | #Constraints: 15266
376.22/377.47 c #Conflicts: 193000 | #Constraints: 16266
376.22/377.47 c #Conflicts: 194000 | #Constraints: 17266
376.22/377.47 c #Conflicts: 195000 | #Constraints: 18266
376.22/377.47 c #Conflicts: 196000 | #Constraints: 19266
376.22/377.47 c #Conflicts: 197000 | #Constraints: 20266
376.22/377.47 c #Conflicts: 198000 | #Constraints: 21266
376.22/377.47 c INPROCESSING
376.22/377.47 c GARBAGE COLLECT
376.22/377.47 c rational objective 2.57322e-12
394.67/395.98 c #Conflicts: 199000 | #Constraints: 13460
394.67/395.98 c #Conflicts: 200000 | #Constraints: 14460
394.67/395.98 c #Conflicts: 201000 | #Constraints: 15460
394.67/395.98 c #Conflicts: 202000 | #Constraints: 16460
394.67/395.98 c #Conflicts: 203000 | #Constraints: 17460
394.67/395.98 c #Conflicts: 204000 | #Constraints: 18460
394.67/395.98 c #Conflicts: 205000 | #Constraints: 19460
394.67/395.98 c #Conflicts: 206000 | #Constraints: 20460
394.67/395.98 c #Conflicts: 207000 | #Constraints: 21460
394.67/395.98 c INPROCESSING
394.67/395.98 c GARBAGE COLLECT
394.67/395.98 c rational objective 2.57322e-12
428.08/429.41 c #Conflicts: 208000 | #Constraints: 13468
428.08/429.41 c #Conflicts: 209000 | #Constraints: 14468
428.08/429.41 c #Conflicts: 210000 | #Constraints: 15468
428.08/429.41 c #Conflicts: 211000 | #Constraints: 16468
428.08/429.41 c #Conflicts: 212000 | #Constraints: 17468
428.08/429.41 c #Conflicts: 213000 | #Constraints: 18468
428.08/429.41 c #Conflicts: 214000 | #Constraints: 19468
428.08/429.41 c #Conflicts: 215000 | #Constraints: 20468
428.08/429.41 c #Conflicts: 216000 | #Constraints: 21468
428.08/429.41 c INPROCESSING
428.08/429.41 c GARBAGE COLLECT
428.08/429.41 c rational objective 2.57322e-12
461.08/462.59 c #Conflicts: 217000 | #Constraints: 13259
461.08/462.59 c #Conflicts: 218000 | #Constraints: 14259
461.08/462.59 c #Conflicts: 219000 | #Constraints: 15259
461.08/462.59 c #Conflicts: 220000 | #Constraints: 16259
461.08/462.59 c #Conflicts: 221000 | #Constraints: 17259
461.08/462.59 c #Conflicts: 222000 | #Constraints: 18259
461.08/462.59 c #Conflicts: 223000 | #Constraints: 19259
461.08/462.59 c #Conflicts: 224000 | #Constraints: 20259
461.08/462.59 c #Conflicts: 225000 | #Constraints: 21259
461.08/462.59 c #Conflicts: 226000 | #Constraints: 22259
461.08/462.59 c INPROCESSING
461.08/462.59 c GARBAGE COLLECT
461.08/462.59 c rational objective 2.57322e-12
489.81/491.33 c #Conflicts: 227000 | #Constraints: 13853
489.81/491.33 c #Conflicts: 228000 | #Constraints: 14853
489.81/491.33 c #Conflicts: 229000 | #Constraints: 15853
489.81/491.33 c #Conflicts: 230000 | #Constraints: 16853
489.81/491.33 c #Conflicts: 231000 | #Constraints: 17853
489.81/491.33 c #Conflicts: 232000 | #Constraints: 18853
489.81/491.33 c #Conflicts: 233000 | #Constraints: 19853
489.81/491.33 c #Conflicts: 234000 | #Constraints: 20853
489.81/491.33 c #Conflicts: 235000 | #Constraints: 21853
489.81/491.33 c #Conflicts: 236000 | #Constraints: 22853
489.81/491.33 c INPROCESSING
489.81/491.33 c GARBAGE COLLECT
489.81/491.33 c rational objective 2.57322e-12
520.43/522.10 c #Conflicts: 237000 | #Constraints: 14254
520.43/522.10 c #Conflicts: 238000 | #Constraints: 15254
520.43/522.10 c #Conflicts: 239000 | #Constraints: 16254
520.43/522.10 c #Conflicts: 240000 | #Constraints: 17254
520.43/522.10 c #Conflicts: 241000 | #Constraints: 18254
520.43/522.10 c #Conflicts: 242000 | #Constraints: 19254
520.43/522.10 c #Conflicts: 243000 | #Constraints: 20254
520.43/522.10 c #Conflicts: 244000 | #Constraints: 21254
520.43/522.10 c #Conflicts: 245000 | #Constraints: 22254
520.43/522.10 c #Conflicts: 246000 | #Constraints: 23254
520.43/522.10 c INPROCESSING
520.43/522.10 c GARBAGE COLLECT
520.43/522.10 c rational objective 2.57322e-12
552.34/554.02 c #Conflicts: 247000 | #Constraints: 14452
552.34/554.02 c #Conflicts: 248000 | #Constraints: 15452
552.34/554.02 c #Conflicts: 249000 | #Constraints: 16452
552.34/554.02 c #Conflicts: 250000 | #Constraints: 17452
552.34/554.02 c #Conflicts: 251000 | #Constraints: 18452
552.34/554.02 c #Conflicts: 252000 | #Constraints: 19452
552.34/554.02 c #Conflicts: 253000 | #Constraints: 20452
552.34/554.02 c #Conflicts: 254000 | #Constraints: 21452
552.34/554.02 c #Conflicts: 255000 | #Constraints: 22452
552.34/554.02 c #Conflicts: 256000 | #Constraints: 23452
552.34/554.02 c INPROCESSING
552.34/554.02 c GARBAGE COLLECT
552.34/554.02 c rational objective 2.57322e-12
580.06/581.84 c #Conflicts: 257000 | #Constraints: 14466
580.06/581.84 c #Conflicts: 258000 | #Constraints: 15466
580.06/581.84 c #Conflicts: 259000 | #Constraints: 16466
580.06/581.84 c #Conflicts: 260000 | #Constraints: 17466
580.06/581.84 c #Conflicts: 261000 | #Constraints: 18466
580.06/581.84 c #Conflicts: 262000 | #Constraints: 19466
580.06/581.84 c #Conflicts: 263000 | #Constraints: 20466
580.06/581.84 c #Conflicts: 264000 | #Constraints: 21466
580.06/581.84 c #Conflicts: 265000 | #Constraints: 22466
580.06/581.84 c #Conflicts: 266000 | #Constraints: 23466
580.06/581.84 c INPROCESSING
580.06/581.84 c GARBAGE COLLECT
580.06/581.84 c rational objective 2.57322e-12
610.88/612.79 c #Conflicts: 267000 | #Constraints: 14272
610.88/612.79 c #Conflicts: 268000 | #Constraints: 15272
610.88/612.79 c #Conflicts: 269000 | #Constraints: 16272
610.88/612.79 c #Conflicts: 270000 | #Constraints: 17272
610.88/612.79 c #Conflicts: 271000 | #Constraints: 18272
610.88/612.79 c #Conflicts: 272000 | #Constraints: 19272
610.88/612.79 c #Conflicts: 273000 | #Constraints: 20272
610.88/612.79 c #Conflicts: 274000 | #Constraints: 21272
610.88/612.79 c #Conflicts: 275000 | #Constraints: 22272
610.88/612.79 c #Conflicts: 276000 | #Constraints: 23272
610.88/612.79 c #Conflicts: 277000 | #Constraints: 24272
610.88/612.79 c INPROCESSING
610.88/612.79 c GARBAGE COLLECT
610.88/612.79 c rational objective 2.57322e-12
645.78/647.71 c #Conflicts: 278000 | #Constraints: 14862
645.78/647.71 c #Conflicts: 279000 | #Constraints: 15862
645.78/647.71 c #Conflicts: 280000 | #Constraints: 16862
645.78/647.71 c #Conflicts: 281000 | #Constraints: 17862
645.78/647.71 c #Conflicts: 282000 | #Constraints: 18862
645.78/647.71 c #Conflicts: 283000 | #Constraints: 19862
645.78/647.71 c #Conflicts: 284000 | #Constraints: 20862
645.78/647.71 c #Conflicts: 285000 | #Constraints: 21862
645.78/647.71 c #Conflicts: 286000 | #Constraints: 22862
645.78/647.71 c #Conflicts: 287000 | #Constraints: 23862
645.78/647.71 c #Conflicts: 288000 | #Constraints: 24862
645.78/647.71 c INPROCESSING
645.78/647.71 c GARBAGE COLLECT
645.78/647.71 c rational objective 2.57322e-12
677.11/679.12 c #Conflicts: 289000 | #Constraints: 15264
677.11/679.12 c #Conflicts: 290000 | #Constraints: 16264
677.11/679.12 c #Conflicts: 291000 | #Constraints: 17264
677.11/679.12 c #Conflicts: 292000 | #Constraints: 18264
677.11/679.12 c #Conflicts: 293000 | #Constraints: 19264
677.11/679.12 c #Conflicts: 294000 | #Constraints: 20264
677.11/679.12 c #Conflicts: 295000 | #Constraints: 21264
677.11/679.12 c #Conflicts: 296000 | #Constraints: 22264
677.11/679.12 c #Conflicts: 297000 | #Constraints: 23264
677.11/679.12 c #Conflicts: 298000 | #Constraints: 24264
677.11/679.12 c #Conflicts: 299000 | #Constraints: 25264
677.11/679.12 c INPROCESSING
677.11/679.12 c GARBAGE COLLECT
677.11/679.12 c rational objective 2.57322e-12
709.21/711.35 c #Conflicts: 300000 | #Constraints: 15458
709.21/711.35 c #Conflicts: 301000 | #Constraints: 16458
709.21/711.35 c #Conflicts: 302000 | #Constraints: 17458
709.21/711.35 c #Conflicts: 303000 | #Constraints: 18458
709.21/711.35 c #Conflicts: 304000 | #Constraints: 19458
709.21/711.35 c #Conflicts: 305000 | #Constraints: 20458
709.21/711.35 c #Conflicts: 306000 | #Constraints: 21458
709.21/711.35 c #Conflicts: 307000 | #Constraints: 22458
709.21/711.35 c #Conflicts: 308000 | #Constraints: 23458
709.21/711.35 c #Conflicts: 309000 | #Constraints: 24458
709.21/711.35 c #Conflicts: 310000 | #Constraints: 25458
709.21/711.35 c INPROCESSING
709.21/711.35 c GARBAGE COLLECT
709.21/711.35 c rational objective 2.57322e-12
745.42/747.63 c #Conflicts: 311000 | #Constraints: 15457
745.42/747.63 c #Conflicts: 312000 | #Constraints: 16457
745.42/747.63 c #Conflicts: 313000 | #Constraints: 17457
745.42/747.63 c #Conflicts: 314000 | #Constraints: 18457
745.42/747.63 c #Conflicts: 315000 | #Constraints: 19457
745.42/747.63 c #Conflicts: 316000 | #Constraints: 20457
745.42/747.63 c #Conflicts: 317000 | #Constraints: 21457
745.42/747.63 c #Conflicts: 318000 | #Constraints: 22457
745.42/747.63 c #Conflicts: 319000 | #Constraints: 23457
745.42/747.63 c #Conflicts: 320000 | #Constraints: 24457
745.42/747.63 c #Conflicts: 321000 | #Constraints: 25457
745.42/747.63 c INPROCESSING
745.42/747.63 c GARBAGE COLLECT
745.42/747.63 c rational objective 2.57322e-12
785.40/787.77 c #Conflicts: 322000 | #Constraints: 15264
785.40/787.77 c #Conflicts: 323000 | #Constraints: 16264
785.40/787.77 c #Conflicts: 324000 | #Constraints: 17264
785.40/787.77 c #Conflicts: 325000 | #Constraints: 18264
785.40/787.77 c #Conflicts: 326000 | #Constraints: 19264
785.40/787.77 c #Conflicts: 327000 | #Constraints: 20264
785.40/787.77 c #Conflicts: 328000 | #Constraints: 21264
785.40/787.77 c #Conflicts: 329000 | #Constraints: 22264
785.40/787.77 c #Conflicts: 330000 | #Constraints: 23264
785.40/787.77 c #Conflicts: 331000 | #Constraints: 24264
785.40/787.77 c #Conflicts: 332000 | #Constraints: 25264
785.40/787.77 c #Conflicts: 333000 | #Constraints: 26264
785.40/787.77 c INPROCESSING
785.40/787.77 c GARBAGE COLLECT
785.40/787.77 c rational objective 2.57322e-12
820.50/822.92 c #Conflicts: 334000 | #Constraints: 15879
820.50/822.92 c #Conflicts: 335000 | #Constraints: 16879
820.50/822.92 c #Conflicts: 336000 | #Constraints: 17879
820.50/822.92 c #Conflicts: 337000 | #Constraints: 18879
820.50/822.92 c #Conflicts: 338000 | #Constraints: 19879
820.50/822.92 c #Conflicts: 339000 | #Constraints: 20879
820.50/822.92 c #Conflicts: 340000 | #Constraints: 21879
820.50/822.92 c #Conflicts: 341000 | #Constraints: 22879
820.50/822.92 c #Conflicts: 342000 | #Constraints: 23879
820.50/822.92 c #Conflicts: 343000 | #Constraints: 24879
820.50/822.92 c #Conflicts: 344000 | #Constraints: 25879
820.50/822.92 c #Conflicts: 345000 | #Constraints: 26879
820.50/822.92 c INPROCESSING
820.50/822.92 c GARBAGE COLLECT
820.50/822.92 c rational objective 2.57322e-12
862.79/865.32 c #Conflicts: 346000 | #Constraints: 16272
862.79/865.32 c #Conflicts: 347000 | #Constraints: 17272
862.79/865.32 c #Conflicts: 348000 | #Constraints: 18272
862.79/865.32 c #Conflicts: 349000 | #Constraints: 19272
862.79/865.32 c #Conflicts: 350000 | #Constraints: 20272
862.79/865.32 c #Conflicts: 351000 | #Constraints: 21272
862.79/865.32 c #Conflicts: 352000 | #Constraints: 22272
862.79/865.32 c #Conflicts: 353000 | #Constraints: 23272
862.79/865.32 c #Conflicts: 354000 | #Constraints: 24272
862.79/865.32 c #Conflicts: 355000 | #Constraints: 25272
862.79/865.32 c #Conflicts: 356000 | #Constraints: 26272
862.79/865.32 c #Conflicts: 357000 | #Constraints: 27272
862.79/865.32 c INPROCESSING
862.79/865.32 c GARBAGE COLLECT
862.79/865.32 c rational objective 2.57322e-12
905.48/908.19 c #Conflicts: 358000 | #Constraints: 16467
905.48/908.19 c #Conflicts: 359000 | #Constraints: 17467
905.48/908.19 c #Conflicts: 360000 | #Constraints: 18467
905.48/908.19 c #Conflicts: 361000 | #Constraints: 19467
905.48/908.19 c #Conflicts: 362000 | #Constraints: 20467
905.48/908.19 c #Conflicts: 363000 | #Constraints: 21467
905.48/908.19 c #Conflicts: 364000 | #Constraints: 22467
905.48/908.19 c #Conflicts: 365000 | #Constraints: 23467
905.48/908.19 c #Conflicts: 366000 | #Constraints: 24467
905.48/908.19 c #Conflicts: 367000 | #Constraints: 25467
905.48/908.19 c #Conflicts: 368000 | #Constraints: 26467
905.48/908.19 c #Conflicts: 369000 | #Constraints: 27467
905.48/908.19 c INPROCESSING
905.48/908.19 c GARBAGE COLLECT
905.48/908.19 c rational objective 2.57322e-12
954.53/957.38 c #Conflicts: 370000 | #Constraints: 16475
954.53/957.38 c #Conflicts: 371000 | #Constraints: 17475
954.53/957.38 c #Conflicts: 372000 | #Constraints: 18475
954.53/957.38 c #Conflicts: 373000 | #Constraints: 19475
954.53/957.38 c #Conflicts: 374000 | #Constraints: 20475
954.53/957.38 c #Conflicts: 375000 | #Constraints: 21475
954.53/957.38 c #Conflicts: 376000 | #Constraints: 22475
954.53/957.38 c #Conflicts: 377000 | #Constraints: 23475
954.53/957.38 c #Conflicts: 378000 | #Constraints: 24475
954.53/957.38 c #Conflicts: 379000 | #Constraints: 25475
954.53/957.38 c #Conflicts: 380000 | #Constraints: 26475
954.53/957.38 c #Conflicts: 381000 | #Constraints: 27475
954.53/957.38 c INPROCESSING
954.53/957.38 c GARBAGE COLLECT
954.53/957.38 c rational objective 2.57322e-12
992.93/995.80 c #Conflicts: 382000 | #Constraints: 16269
992.93/995.80 c #Conflicts: 383000 | #Constraints: 17269
992.93/995.80 c #Conflicts: 384000 | #Constraints: 18269
992.93/995.80 c #Conflicts: 385000 | #Constraints: 19269
992.93/995.80 c #Conflicts: 386000 | #Constraints: 20269
992.93/995.80 c #Conflicts: 387000 | #Constraints: 21269
992.93/995.80 c #Conflicts: 388000 | #Constraints: 22269
992.93/995.80 c #Conflicts: 389000 | #Constraints: 23269
992.93/995.80 c #Conflicts: 390000 | #Constraints: 24269
992.93/995.80 c #Conflicts: 391000 | #Constraints: 25269
992.93/995.80 c #Conflicts: 392000 | #Constraints: 26269
992.93/995.80 c #Conflicts: 393000 | #Constraints: 27269
992.93/995.80 c #Conflicts: 394000 | #Constraints: 28269
992.93/995.80 c INPROCESSING
992.93/995.80 c GARBAGE COLLECT
992.93/995.80 c rational objective 2.57322e-12
1036.90/1039.95 c #Conflicts: 395000 | #Constraints: 16866
1036.90/1039.95 c #Conflicts: 396000 | #Constraints: 17866
1036.90/1039.95 c #Conflicts: 397000 | #Constraints: 18866
1036.90/1039.95 c #Conflicts: 398000 | #Constraints: 19866
1036.90/1039.95 c #Conflicts: 399000 | #Constraints: 20866
1036.90/1039.95 c #Conflicts: 400000 | #Constraints: 21866
1036.90/1039.95 c #Conflicts: 401000 | #Constraints: 22866
1036.90/1039.95 c #Conflicts: 402000 | #Constraints: 23866
1036.90/1039.95 c #Conflicts: 403000 | #Constraints: 24866
1036.90/1039.95 c #Conflicts: 404000 | #Constraints: 25866
1036.90/1039.95 c #Conflicts: 405000 | #Constraints: 26866
1036.90/1039.95 c #Conflicts: 406000 | #Constraints: 27866
1036.90/1039.95 c #Conflicts: 407000 | #Constraints: 28866
1036.90/1039.95 c INPROCESSING
1036.90/1039.95 c GARBAGE COLLECT
1036.90/1039.95 c rational objective 2.57322e-12
1080.99/1084.10 c #Conflicts: 408000 | #Constraints: 17274
1080.99/1084.10 c #Conflicts: 409000 | #Constraints: 18274
1080.99/1084.10 c #Conflicts: 410000 | #Constraints: 19274
1080.99/1084.10 c #Conflicts: 411000 | #Constraints: 20274
1080.99/1084.10 c #Conflicts: 412000 | #Constraints: 21275
1080.99/1084.10 c #Conflicts: 413000 | #Constraints: 22275
1080.99/1084.10 c #Conflicts: 414000 | #Constraints: 23275
1080.99/1084.10 c #Conflicts: 415000 | #Constraints: 24275
1080.99/1084.10 c #Conflicts: 416000 | #Constraints: 25275
1080.99/1084.10 c #Conflicts: 417000 | #Constraints: 26275
1080.99/1084.10 c #Conflicts: 418000 | #Constraints: 27275
1080.99/1084.10 c #Conflicts: 419000 | #Constraints: 28275
1080.99/1084.10 c #Conflicts: 420000 | #Constraints: 29275
1080.99/1084.10 c INPROCESSING
1080.99/1084.10 c GARBAGE COLLECT
1080.99/1084.10 c rational objective 2.57322e-12
1131.24/1134.57 c #Conflicts: 421000 | #Constraints: 17476
1131.24/1134.57 c #Conflicts: 422000 | #Constraints: 18476
1131.24/1134.57 c #Conflicts: 423000 | #Constraints: 19476
1131.24/1134.57 c #Conflicts: 424000 | #Constraints: 20476
1131.24/1134.57 c #Conflicts: 425000 | #Constraints: 21476
1131.24/1134.57 c #Conflicts: 426000 | #Constraints: 22476
1131.24/1134.57 c #Conflicts: 427000 | #Constraints: 23476
1131.24/1134.57 c #Conflicts: 428000 | #Constraints: 24476
1131.24/1134.57 c #Conflicts: 429000 | #Constraints: 25476
1131.24/1134.57 c #Conflicts: 430000 | #Constraints: 26476
1131.24/1134.57 c #Conflicts: 431000 | #Constraints: 27476
1131.24/1134.57 c #Conflicts: 432000 | #Constraints: 28476
1131.24/1134.57 c #Conflicts: 433000 | #Constraints: 29476
1131.24/1134.57 c INPROCESSING
1131.24/1134.57 c GARBAGE COLLECT
1131.24/1134.57 c rational objective 2.57322e-12
1189.58/1193.04 c #Conflicts: 434000 | #Constraints: 17483
1189.58/1193.04 c #Conflicts: 435000 | #Constraints: 18484
1189.58/1193.04 c #Conflicts: 436000 | #Constraints: 19484
1189.58/1193.04 c #Conflicts: 437000 | #Constraints: 20484
1189.58/1193.04 c #Conflicts: 438000 | #Constraints: 21484
1189.58/1193.04 c #Conflicts: 439000 | #Constraints: 22484
1189.58/1193.04 c #Conflicts: 440000 | #Constraints: 23484
1189.58/1193.04 c #Conflicts: 441000 | #Constraints: 24484
1189.58/1193.04 c #Conflicts: 442000 | #Constraints: 25484
1189.58/1193.04 c #Conflicts: 443000 | #Constraints: 26484
1189.58/1193.04 c #Conflicts: 444000 | #Constraints: 27484
1189.58/1193.04 c #Conflicts: 445000 | #Constraints: 28484
1189.58/1193.04 c #Conflicts: 446000 | #Constraints: 29484
1189.58/1193.04 c INPROCESSING
1189.58/1193.04 c GARBAGE COLLECT
1189.58/1193.04 c rational objective 2.57322e-12
1262.27/1265.95 c #Conflicts: 447000 | #Constraints: 17300
1262.27/1265.95 c #Conflicts: 448000 | #Constraints: 18300
1262.27/1265.95 c #Conflicts: 449000 | #Constraints: 19300
1262.27/1265.95 c #Conflicts: 450000 | #Constraints: 20300
1262.27/1265.95 c #Conflicts: 451000 | #Constraints: 21300
1262.27/1265.95 c #Conflicts: 452000 | #Constraints: 22300
1262.27/1265.95 c #Conflicts: 453000 | #Constraints: 23300
1262.27/1265.95 c #Conflicts: 454000 | #Constraints: 24300
1262.27/1265.95 c #Conflicts: 455000 | #Constraints: 25300
1262.27/1265.95 c #Conflicts: 456000 | #Constraints: 26300
1262.27/1265.95 c #Conflicts: 457000 | #Constraints: 27300
1262.27/1265.95 c #Conflicts: 458000 | #Constraints: 28300
1262.27/1265.95 c #Conflicts: 459000 | #Constraints: 29300
1262.27/1265.95 c #Conflicts: 460000 | #Constraints: 30300
1262.27/1265.95 c INPROCESSING
1262.27/1265.95 c GARBAGE COLLECT
1262.27/1265.95 c rational objective 2.57322e-12
1324.40/1328.25 c #Conflicts: 461000 | #Constraints: 17895
1324.40/1328.25 c #Conflicts: 462000 | #Constraints: 18895
1324.40/1328.25 c #Conflicts: 463000 | #Constraints: 19895
1324.40/1328.25 c #Conflicts: 464000 | #Constraints: 20895
1324.40/1328.25 c #Conflicts: 465000 | #Constraints: 21895
1324.40/1328.25 c #Conflicts: 466000 | #Constraints: 22895
1324.40/1328.25 c #Conflicts: 467000 | #Constraints: 23895
1324.40/1328.25 c #Conflicts: 468000 | #Constraints: 24895
1324.40/1328.25 c #Conflicts: 469000 | #Constraints: 25895
1324.40/1328.25 c #Conflicts: 470000 | #Constraints: 26895
1324.40/1328.25 c #Conflicts: 471000 | #Constraints: 27895
1324.40/1328.25 c #Conflicts: 472000 | #Constraints: 28895
1324.40/1328.25 c #Conflicts: 473000 | #Constraints: 29895
1324.40/1328.25 c #Conflicts: 474000 | #Constraints: 30895
1324.40/1328.25 c INPROCESSING
1324.40/1328.25 c GARBAGE COLLECT
1324.40/1328.25 c rational objective 2.57322e-12
1382.73/1386.79 c #Conflicts: 475000 | #Constraints: 18294
1382.73/1386.79 c #Conflicts: 476000 | #Constraints: 19294
1382.73/1386.79 c #Conflicts: 477000 | #Constraints: 20294
1382.73/1386.79 c #Conflicts: 478000 | #Constraints: 21294
1382.73/1386.79 c #Conflicts: 479000 | #Constraints: 22294
1382.73/1386.79 c #Conflicts: 480000 | #Constraints: 23294
1382.73/1386.79 c #Conflicts: 481000 | #Constraints: 24294
1382.73/1386.79 c #Conflicts: 482000 | #Constraints: 25294
1382.73/1386.79 c #Conflicts: 483000 | #Constraints: 26294
1382.73/1386.79 c #Conflicts: 484000 | #Constraints: 27294
1382.73/1386.79 c #Conflicts: 485000 | #Constraints: 28294
1382.73/1386.79 c #Conflicts: 486000 | #Constraints: 29294
1382.73/1386.79 c #Conflicts: 487000 | #Constraints: 30294
1382.73/1386.79 c #Conflicts: 488000 | #Constraints: 31294
1382.73/1386.79 c INPROCESSING
1382.73/1386.79 c GARBAGE COLLECT
1382.73/1386.79 c rational objective 2.57322e-12
1433.89/1438.05 c #Conflicts: 489000 | #Constraints: 18481
1433.89/1438.05 c #Conflicts: 490000 | #Constraints: 19481
1433.89/1438.05 c #Conflicts: 491000 | #Constraints: 20481
1433.89/1438.05 c #Conflicts: 492000 | #Constraints: 21481
1433.89/1438.05 c #Conflicts: 493000 | #Constraints: 22481
1433.89/1438.05 c #Conflicts: 494000 | #Constraints: 23481
1433.89/1438.05 c #Conflicts: 495000 | #Constraints: 24481
1433.89/1438.05 c #Conflicts: 496000 | #Constraints: 25481
1433.89/1438.05 c #Conflicts: 497000 | #Constraints: 26481
1433.89/1438.05 c #Conflicts: 498000 | #Constraints: 27481
1433.89/1438.05 c #Conflicts: 499000 | #Constraints: 28481
1433.89/1438.05 c #Conflicts: 500000 | #Constraints: 29481
1433.89/1438.05 c #Conflicts: 501000 | #Constraints: 30481
1433.89/1438.05 c #Conflicts: 502000 | #Constraints: 31481
1433.89/1438.05 c INPROCESSING
1433.89/1438.05 c GARBAGE COLLECT
1433.89/1438.05 c rational objective 2.57322e-12
1494.71/1499.05 c #Conflicts: 503000 | #Constraints: 18477
1494.71/1499.05 c #Conflicts: 504000 | #Constraints: 19477
1494.71/1499.05 c #Conflicts: 505000 | #Constraints: 20477
1494.71/1499.05 c #Conflicts: 506000 | #Constraints: 21477
1494.71/1499.05 c #Conflicts: 507000 | #Constraints: 22477
1494.71/1499.05 c #Conflicts: 508000 | #Constraints: 23477
1494.71/1499.05 c #Conflicts: 509000 | #Constraints: 24477
1494.71/1499.05 c #Conflicts: 510000 | #Constraints: 25477
1494.71/1499.05 c #Conflicts: 511000 | #Constraints: 26477
1494.71/1499.05 c #Conflicts: 512000 | #Constraints: 27477
1494.71/1499.05 c #Conflicts: 513000 | #Constraints: 28477
1494.71/1499.05 c #Conflicts: 514000 | #Constraints: 29477
1494.71/1499.05 c #Conflicts: 515000 | #Constraints: 30477
1494.71/1499.05 c #Conflicts: 516000 | #Constraints: 31477
1494.71/1499.05 c INPROCESSING
1494.71/1499.05 c GARBAGE COLLECT
1494.71/1499.05 c rational objective 2.57322e-12
1557.34/1561.85 c #Conflicts: 517000 | #Constraints: 18272
1557.34/1561.85 c #Conflicts: 518000 | #Constraints: 19272
1557.34/1561.85 c #Conflicts: 519000 | #Constraints: 20272
1557.34/1561.85 c #Conflicts: 520000 | #Constraints: 21272
1557.34/1561.85 c #Conflicts: 521000 | #Constraints: 22272
1557.34/1561.85 c #Conflicts: 522000 | #Constraints: 23272
1557.34/1561.85 c #Conflicts: 523000 | #Constraints: 24272
1557.34/1561.85 c #Conflicts: 524000 | #Constraints: 25272
1557.34/1561.85 c #Conflicts: 525000 | #Constraints: 26272
1557.34/1561.85 c #Conflicts: 526000 | #Constraints: 27272
1557.34/1561.85 c #Conflicts: 527000 | #Constraints: 28272
1557.34/1561.85 c #Conflicts: 528000 | #Constraints: 29272
1557.34/1561.85 c #Conflicts: 529000 | #Constraints: 30272
1557.34/1561.85 c #Conflicts: 530000 | #Constraints: 31272
1557.34/1561.85 c #Conflicts: 531000 | #Constraints: 32272
1557.34/1561.85 c INPROCESSING
1557.34/1561.85 c GARBAGE COLLECT
1557.34/1561.85 c rational objective 2.57322e-12
1616.48/1621.13 c #Conflicts: 532000 | #Constraints: 18882
1616.48/1621.13 c #Conflicts: 533000 | #Constraints: 19882
1616.48/1621.13 c #Conflicts: 534000 | #Constraints: 20882
1616.48/1621.13 c #Conflicts: 535000 | #Constraints: 21882
1616.48/1621.13 c #Conflicts: 536000 | #Constraints: 22882
1616.48/1621.13 c #Conflicts: 537000 | #Constraints: 23882
1616.48/1621.13 c #Conflicts: 538000 | #Constraints: 24882
1616.48/1621.13 c #Conflicts: 539000 | #Constraints: 25882
1616.48/1621.13 c #Conflicts: 540000 | #Constraints: 26882
1616.48/1621.13 c #Conflicts: 541000 | #Constraints: 27882
1616.48/1621.13 c #Conflicts: 542000 | #Constraints: 28882
1616.48/1621.13 c #Conflicts: 543000 | #Constraints: 29882
1616.48/1621.13 c #Conflicts: 544000 | #Constraints: 30883
1616.48/1621.13 c #Conflicts: 545000 | #Constraints: 31883
1616.48/1621.13 c #Conflicts: 546000 | #Constraints: 32883
1616.48/1621.13 c INPROCESSING
1616.48/1621.13 c GARBAGE COLLECT
1616.48/1621.13 c rational objective 2.57322e-12
1682.69/1687.59 c #Conflicts: 547000 | #Constraints: 19277
1682.69/1687.59 c #Conflicts: 548000 | #Constraints: 20277
1682.69/1687.59 c #Conflicts: 549000 | #Constraints: 21277
1682.69/1687.59 c #Conflicts: 550000 | #Constraints: 22277
1682.69/1687.59 c #Conflicts: 551000 | #Constraints: 23277
1682.69/1687.59 c #Conflicts: 552000 | #Constraints: 24277
1682.69/1687.59 c #Conflicts: 553000 | #Constraints: 25277
1682.69/1687.59 c #Conflicts: 554000 | #Constraints: 26277
1682.69/1687.59 c #Conflicts: 555000 | #Constraints: 27277
1682.69/1687.59 c #Conflicts: 556000 | #Constraints: 28277
1682.69/1687.59 c #Conflicts: 557000 | #Constraints: 29277
1682.69/1687.59 c #Conflicts: 558000 | #Constraints: 30277
1682.69/1687.59 c #Conflicts: 559000 | #Constraints: 31277
1682.69/1687.59 c #Conflicts: 560000 | #Constraints: 32277
1682.69/1687.59 c #Conflicts: 561000 | #Constraints: 33277
1682.69/1687.59 c INPROCESSING
1682.69/1687.59 c GARBAGE COLLECT
1682.69/1687.59 c rational objective 2.57322e-12
1732.46/1737.42 c #Conflicts: 562000 | #Constraints: 19472
1732.46/1737.42 c #Conflicts: 563000 | #Constraints: 20472
1732.46/1737.42 c #Conflicts: 564000 | #Constraints: 21472
1732.46/1737.42 c #Conflicts: 565000 | #Constraints: 22472
1732.46/1737.42 c #Conflicts: 566000 | #Constraints: 23473
1732.46/1737.42 c #Conflicts: 567000 | #Constraints: 24473
1732.46/1737.42 c #Conflicts: 568000 | #Constraints: 25473
1732.46/1737.42 c #Conflicts: 569000 | #Constraints: 26473
1732.46/1737.42 c #Conflicts: 570000 | #Constraints: 27473
1732.46/1737.42 c #Conflicts: 571000 | #Constraints: 28473
1732.46/1737.42 c #Conflicts: 572000 | #Constraints: 29473
1732.46/1737.42 c #Conflicts: 573000 | #Constraints: 30473
1732.46/1737.42 c #Conflicts: 574000 | #Constraints: 31473
1732.46/1737.42 c #Conflicts: 575000 | #Constraints: 32473
1732.46/1737.42 c #Conflicts: 576000 | #Constraints: 33473
1732.46/1737.42 c INPROCESSING
1732.46/1737.42 c GARBAGE COLLECT
1732.46/1737.42 c rational objective 2.57322e-12
1793.09/1798.21 c #Conflicts: 577000 | #Constraints: 19516
1793.09/1798.21 c #Conflicts: 578000 | #Constraints: 20516
1793.09/1798.21 c #Conflicts: 579000 | #Constraints: 21516
1793.09/1798.21 c #Conflicts: 580000 | #Constraints: 22516
1793.09/1798.21 c #Conflicts: 581000 | #Constraints: 23516
1793.09/1798.21 c #Conflicts: 582000 | #Constraints: 24516
1793.09/1798.21 c #Conflicts: 583000 | #Constraints: 25516
1793.09/1798.21 c #Conflicts: 584000 | #Constraints: 26516
1793.09/1798.21 c #Conflicts: 585000 | #Constraints: 27516
1793.09/1798.21 c #Conflicts: 586000 | #Constraints: 28516
1793.09/1798.21 c #Conflicts: 587000 | #Constraints: 29516
1793.09/1798.21 c #Conflicts: 588000 | #Constraints: 30516
1793.09/1798.21 c #Conflicts: 589000 | #Constraints: 31516
1793.09/1798.21 c #Conflicts: 590000 | #Constraints: 32516
1793.09/1798.21 c #Conflicts: 591000 | #Constraints: 33516
1793.09/1798.21 c INPROCESSING
1793.09/1798.21 c GARBAGE COLLECT
1793.09/1798.21 c rational objective 2.57322e-12
1851.02/1856.38 c #Conflicts: 592000 | #Constraints: 19307
1851.02/1856.38 c #Conflicts: 593000 | #Constraints: 20307
1851.02/1856.38 c #Conflicts: 594000 | #Constraints: 21307
1851.02/1856.38 c #Conflicts: 595000 | #Constraints: 22307
1851.02/1856.38 c #Conflicts: 596000 | #Constraints: 23307
1851.02/1856.38 c #Conflicts: 597000 | #Constraints: 24307
1851.02/1856.38 c #Conflicts: 598000 | #Constraints: 25307
1851.02/1856.38 c #Conflicts: 599000 | #Constraints: 26307
1851.02/1856.38 c #Conflicts: 600000 | #Constraints: 27307
1851.02/1856.38 c #Conflicts: 601000 | #Constraints: 28307
1851.02/1856.38 c #Conflicts: 602000 | #Constraints: 29307
1851.02/1856.38 c #Conflicts: 603000 | #Constraints: 30307
1851.02/1856.38 c #Conflicts: 604000 | #Constraints: 31307
1851.02/1856.38 c #Conflicts: 605000 | #Constraints: 32307
1851.02/1856.38 c #Conflicts: 606000 | #Constraints: 33307
1851.02/1856.38 c #Conflicts: 607000 | #Constraints: 34307
1851.02/1856.38 c INPROCESSING
1851.02/1856.38 c GARBAGE COLLECT
1851.02/1856.38 c rational objective 2.57322e-12
1921.92/1927.40 c #Conflicts: 608000 | #Constraints: 19912
1921.92/1927.40 c #Conflicts: 609000 | #Constraints: 20912
1921.92/1927.40 c #Conflicts: 610000 | #Constraints: 21912
1921.92/1927.40 c #Conflicts: 611000 | #Constraints: 22912
1921.92/1927.40 c #Conflicts: 612000 | #Constraints: 23912
1921.92/1927.40 c #Conflicts: 613000 | #Constraints: 24912
1921.92/1927.40 c #Conflicts: 614000 | #Constraints: 25912
1921.92/1927.40 c #Conflicts: 615000 | #Constraints: 26912
1921.92/1927.40 c #Conflicts: 616000 | #Constraints: 27912
1921.92/1927.40 c #Conflicts: 617000 | #Constraints: 28912
1921.92/1927.40 c #Conflicts: 618000 | #Constraints: 29912
1921.92/1927.40 c #Conflicts: 619000 | #Constraints: 30912
1921.92/1927.40 c #Conflicts: 620000 | #Constraints: 31912
1921.92/1927.40 c #Conflicts: 621000 | #Constraints: 32912
1921.92/1927.40 c #Conflicts: 622000 | #Constraints: 33912
1921.92/1927.40 c #Conflicts: 623000 | #Constraints: 34912
1921.92/1927.40 c INPROCESSING
1921.92/1927.40 c GARBAGE COLLECT
1921.92/1927.40 c rational objective 2.57322e-12
1991.03/1996.70 c #Conflicts: 624000 | #Constraints: 20291
1991.03/1996.70 c #Conflicts: 625000 | #Constraints: 21291
1991.03/1996.70 c #Conflicts: 626000 | #Constraints: 22291
1991.03/1996.70 c #Conflicts: 627000 | #Constraints: 23291
1991.03/1996.70 c #Conflicts: 628000 | #Constraints: 24291
1991.03/1996.70 c #Conflicts: 629000 | #Constraints: 25291
1991.03/1996.70 c #Conflicts: 630000 | #Constraints: 26291
1991.03/1996.70 c #Conflicts: 631000 | #Constraints: 27291
1991.03/1996.70 c #Conflicts: 632000 | #Constraints: 28291
1991.03/1996.70 c #Conflicts: 633000 | #Constraints: 29291
1991.03/1996.70 c #Conflicts: 634000 | #Constraints: 30291
1991.03/1996.70 c #Conflicts: 635000 | #Constraints: 31291
1991.03/1996.70 c #Conflicts: 636000 | #Constraints: 32291
1991.03/1996.70 c #Conflicts: 637000 | #Constraints: 33291
1991.03/1996.70 c #Conflicts: 638000 | #Constraints: 34291
1991.03/1996.70 c #Conflicts: 639000 | #Constraints: 35291
1991.03/1996.70 c INPROCESSING
1991.03/1996.70 c GARBAGE COLLECT
1991.03/1996.70 c rational objective 2.57322e-12
2063.73/2069.60 c #Conflicts: 640000 | #Constraints: 20481
2063.73/2069.60 c #Conflicts: 641000 | #Constraints: 21481
2063.73/2069.60 c #Conflicts: 642000 | #Constraints: 22481
2063.73/2069.60 c #Conflicts: 643000 | #Constraints: 23481
2063.73/2069.60 c #Conflicts: 644000 | #Constraints: 24481
2063.73/2069.60 c #Conflicts: 645000 | #Constraints: 25481
2063.73/2069.60 c #Conflicts: 646000 | #Constraints: 26481
2063.73/2069.60 c #Conflicts: 647000 | #Constraints: 27481
2063.73/2069.60 c #Conflicts: 648000 | #Constraints: 28481
2063.73/2069.60 c #Conflicts: 649000 | #Constraints: 29481
2063.73/2069.60 c #Conflicts: 650000 | #Constraints: 30481
2063.73/2069.60 c #Conflicts: 651000 | #Constraints: 31481
2063.73/2069.60 c #Conflicts: 652000 | #Constraints: 32481
2063.73/2069.60 c #Conflicts: 653000 | #Constraints: 33481
2063.73/2069.60 c #Conflicts: 654000 | #Constraints: 34481
2063.73/2069.60 c #Conflicts: 655000 | #Constraints: 35481
2063.73/2069.60 c INPROCESSING
2063.73/2069.60 c GARBAGE COLLECT
2063.73/2069.60 c rational objective 2.57322e-12
2135.93/2142.05 c #Conflicts: 656000 | #Constraints: 20487
2135.93/2142.05 c #Conflicts: 657000 | #Constraints: 21487
2135.93/2142.05 c #Conflicts: 658000 | #Constraints: 22487
2135.93/2142.05 c #Conflicts: 659000 | #Constraints: 23487
2135.93/2142.05 c #Conflicts: 660000 | #Constraints: 24487
2135.93/2142.05 c #Conflicts: 661000 | #Constraints: 25488
2135.93/2142.05 c #Conflicts: 662000 | #Constraints: 26488
2135.93/2142.05 c #Conflicts: 663000 | #Constraints: 27488
2135.93/2142.05 c #Conflicts: 664000 | #Constraints: 28488
2135.93/2142.05 c #Conflicts: 665000 | #Constraints: 29488
2135.93/2142.05 c #Conflicts: 666000 | #Constraints: 30488
2135.93/2142.05 c #Conflicts: 667000 | #Constraints: 31488
2135.93/2142.05 c #Conflicts: 668000 | #Constraints: 32488
2135.93/2142.05 c #Conflicts: 669000 | #Constraints: 33488
2135.93/2142.05 c #Conflicts: 670000 | #Constraints: 34488
2135.93/2142.05 c #Conflicts: 671000 | #Constraints: 35488
2135.93/2142.05 c INPROCESSING
2135.93/2142.05 c GARBAGE COLLECT
2135.93/2142.05 c rational objective 2.57322e-12
2207.03/2213.30 c #Conflicts: 672000 | #Constraints: 20277
2207.03/2213.30 c #Conflicts: 673000 | #Constraints: 21277
2207.03/2213.30 c #Conflicts: 674000 | #Constraints: 22277
2207.03/2213.30 c #Conflicts: 675000 | #Constraints: 23277
2207.03/2213.30 c #Conflicts: 676000 | #Constraints: 24277
2207.03/2213.30 c #Conflicts: 677000 | #Constraints: 25278
2207.03/2213.30 c #Conflicts: 678000 | #Constraints: 26278
2207.03/2213.30 c #Conflicts: 679000 | #Constraints: 27278
2207.03/2213.30 c #Conflicts: 680000 | #Constraints: 28278
2207.03/2213.30 c #Conflicts: 681000 | #Constraints: 29278
2207.03/2213.30 c #Conflicts: 682000 | #Constraints: 30279
2207.03/2213.30 c #Conflicts: 683000 | #Constraints: 31279
2207.03/2213.30 c #Conflicts: 684000 | #Constraints: 32279
2207.03/2213.30 c #Conflicts: 685000 | #Constraints: 33279
2207.03/2213.30 c #Conflicts: 686000 | #Constraints: 34279
2207.03/2213.30 c #Conflicts: 687000 | #Constraints: 35279
2207.03/2213.30 c #Conflicts: 688000 | #Constraints: 36279
2207.03/2213.30 c INPROCESSING
2207.03/2213.30 c GARBAGE COLLECT
2207.03/2213.30 c rational objective 2.57322e-12
2284.22/2290.74 c #Conflicts: 689000 | #Constraints: 20874
2284.22/2290.74 c #Conflicts: 690000 | #Constraints: 21874
2284.22/2290.74 c #Conflicts: 691000 | #Constraints: 22874
2284.22/2290.74 c #Conflicts: 692000 | #Constraints: 23874
2284.22/2290.74 c #Conflicts: 693000 | #Constraints: 24874
2284.22/2290.74 c #Conflicts: 694000 | #Constraints: 25874
2284.22/2290.74 c #Conflicts: 695000 | #Constraints: 26874
2284.22/2290.74 c #Conflicts: 696000 | #Constraints: 27874
2284.22/2290.74 c #Conflicts: 697000 | #Constraints: 28874
2284.22/2290.74 c #Conflicts: 698000 | #Constraints: 29874
2284.22/2290.74 c #Conflicts: 699000 | #Constraints: 30874
2284.22/2290.74 c #Conflicts: 700000 | #Constraints: 31874
2284.22/2290.74 c #Conflicts: 701000 | #Constraints: 32874
2284.22/2290.74 c #Conflicts: 702000 | #Constraints: 33874
2284.22/2290.74 c #Conflicts: 703000 | #Constraints: 34874
2284.22/2290.74 c #Conflicts: 704000 | #Constraints: 35874
2284.22/2290.74 c #Conflicts: 705000 | #Constraints: 36874
2284.22/2290.74 c INPROCESSING
2284.22/2290.74 c GARBAGE COLLECT
2284.22/2290.74 c rational objective 2.57322e-12
2345.45/2352.19 c #Conflicts: 706000 | #Constraints: 21280
2345.45/2352.19 c #Conflicts: 707000 | #Constraints: 22280
2345.45/2352.19 c #Conflicts: 708000 | #Constraints: 23280
2345.45/2352.19 c #Conflicts: 709000 | #Constraints: 24280
2345.45/2352.19 c #Conflicts: 710000 | #Constraints: 25280
2345.45/2352.19 c #Conflicts: 711000 | #Constraints: 26280
2345.45/2352.19 c #Conflicts: 712000 | #Constraints: 27280
2345.45/2352.19 c #Conflicts: 713000 | #Constraints: 28280
2345.45/2352.19 c #Conflicts: 714000 | #Constraints: 29280
2345.45/2352.19 c #Conflicts: 715000 | #Constraints: 30280
2345.45/2352.19 c #Conflicts: 716000 | #Constraints: 31280
2345.45/2352.19 c #Conflicts: 717000 | #Constraints: 32280
2345.45/2352.19 c #Conflicts: 718000 | #Constraints: 33280
2345.45/2352.19 c #Conflicts: 719000 | #Constraints: 34280
2345.45/2352.19 c #Conflicts: 720000 | #Constraints: 35280
2345.45/2352.19 c #Conflicts: 721000 | #Constraints: 36280
2345.45/2352.19 c #Conflicts: 722000 | #Constraints: 37280
2345.45/2352.19 c INPROCESSING
2345.45/2352.19 c GARBAGE COLLECT
2345.45/2352.19 c rational objective 2.57322e-12
2418.04/2424.99 c #Conflicts: 723000 | #Constraints: 21471
2418.04/2424.99 c #Conflicts: 724000 | #Constraints: 22471
2418.04/2424.99 c #Conflicts: 725000 | #Constraints: 23471
2418.04/2424.99 c #Conflicts: 726000 | #Constraints: 24471
2418.04/2424.99 c #Conflicts: 727000 | #Constraints: 25471
2418.04/2424.99 c #Conflicts: 728000 | #Constraints: 26471
2418.04/2424.99 c #Conflicts: 729000 | #Constraints: 27471
2418.04/2424.99 c #Conflicts: 730000 | #Constraints: 28471
2418.04/2424.99 c #Conflicts: 731000 | #Constraints: 29471
2418.04/2424.99 c #Conflicts: 732000 | #Constraints: 30471
2418.04/2424.99 c #Conflicts: 733000 | #Constraints: 31471
2418.04/2424.99 c #Conflicts: 734000 | #Constraints: 32471
2418.04/2424.99 c #Conflicts: 735000 | #Constraints: 33471
2418.04/2424.99 c #Conflicts: 736000 | #Constraints: 34471
2418.04/2424.99 c #Conflicts: 737000 | #Constraints: 35471
2418.04/2424.99 c #Conflicts: 738000 | #Constraints: 36471
2418.04/2424.99 c #Conflicts: 739000 | #Constraints: 37471
2418.04/2424.99 c INPROCESSING
2418.04/2424.99 c GARBAGE COLLECT
2418.04/2424.99 c rational objective 2.57322e-12
2496.42/2503.54 c #Conflicts: 740000 | #Constraints: 21493
2496.42/2503.54 c #Conflicts: 741000 | #Constraints: 22493
2496.42/2503.54 c #Conflicts: 742000 | #Constraints: 23493
2496.42/2503.54 c #Conflicts: 743000 | #Constraints: 24493
2496.42/2503.54 c #Conflicts: 744000 | #Constraints: 25493
2496.42/2503.54 c #Conflicts: 745000 | #Constraints: 26493
2496.42/2503.54 c #Conflicts: 746000 | #Constraints: 27493
2496.42/2503.54 c #Conflicts: 747000 | #Constraints: 28493
2496.42/2503.54 c #Conflicts: 748000 | #Constraints: 29493
2496.42/2503.54 c #Conflicts: 749000 | #Constraints: 30493
2496.42/2503.54 c #Conflicts: 750000 | #Constraints: 31493
2496.42/2503.54 c #Conflicts: 751000 | #Constraints: 32493
2496.42/2503.54 c #Conflicts: 752000 | #Constraints: 33493
2496.42/2503.54 c #Conflicts: 753000 | #Constraints: 34493
2496.42/2503.54 c #Conflicts: 754000 | #Constraints: 35493
2496.42/2503.54 c #Conflicts: 755000 | #Constraints: 36493
2496.42/2503.54 c #Conflicts: 756000 | #Constraints: 37493
2496.42/2503.54 c INPROCESSING
2496.42/2503.54 c GARBAGE COLLECT
2496.42/2503.54 c rational objective 2.57322e-12
2577.98/2585.32 c #Conflicts: 757000 | #Constraints: 21287
2577.98/2585.32 c #Conflicts: 758000 | #Constraints: 22287
2577.98/2585.32 c #Conflicts: 759000 | #Constraints: 23287
2577.98/2585.32 c #Conflicts: 760000 | #Constraints: 24287
2577.98/2585.32 c #Conflicts: 761000 | #Constraints: 25287
2577.98/2585.32 c #Conflicts: 762000 | #Constraints: 26287
2577.98/2585.32 c #Conflicts: 763000 | #Constraints: 27287
2577.98/2585.32 c #Conflicts: 764000 | #Constraints: 28287
2577.98/2585.32 c #Conflicts: 765000 | #Constraints: 29287
2577.98/2585.32 c #Conflicts: 766000 | #Constraints: 30287
2577.98/2585.32 c #Conflicts: 767000 | #Constraints: 31287
2577.98/2585.32 c #Conflicts: 768000 | #Constraints: 32287
2577.98/2585.32 c #Conflicts: 769000 | #Constraints: 33287
2577.98/2585.32 c #Conflicts: 770000 | #Constraints: 34287
2577.98/2585.32 c #Conflicts: 771000 | #Constraints: 35287
2577.98/2585.32 c #Conflicts: 772000 | #Constraints: 36287
2577.98/2585.32 c #Conflicts: 773000 | #Constraints: 37287
2577.98/2585.32 c #Conflicts: 774000 | #Constraints: 38287
2577.98/2585.32 c INPROCESSING
2577.98/2585.32 c GARBAGE COLLECT
2577.98/2585.32 c rational objective 2.57322e-12
2650.57/2658.14 c #Conflicts: 775000 | #Constraints: 21880
2650.57/2658.14 c #Conflicts: 776000 | #Constraints: 22880
2650.57/2658.14 c #Conflicts: 777000 | #Constraints: 23880
2650.57/2658.14 c #Conflicts: 778000 | #Constraints: 24880
2650.57/2658.14 c #Conflicts: 779000 | #Constraints: 25880
2650.57/2658.14 c #Conflicts: 780000 | #Constraints: 26880
2650.57/2658.14 c #Conflicts: 781000 | #Constraints: 27880
2650.57/2658.14 c #Conflicts: 782000 | #Constraints: 28880
2650.57/2658.14 c #Conflicts: 783000 | #Constraints: 29880
2650.57/2658.14 c #Conflicts: 784000 | #Constraints: 30880
2650.57/2658.14 c #Conflicts: 785000 | #Constraints: 31880
2650.57/2658.14 c #Conflicts: 786000 | #Constraints: 32880
2650.57/2658.14 c #Conflicts: 787000 | #Constraints: 33880
2650.57/2658.14 c #Conflicts: 788000 | #Constraints: 34880
2650.57/2658.14 c #Conflicts: 789000 | #Constraints: 35880
2650.57/2658.14 c #Conflicts: 790000 | #Constraints: 36880
2650.57/2658.14 c #Conflicts: 791000 | #Constraints: 37880
2650.57/2658.14 c #Conflicts: 792000 | #Constraints: 38881
2650.57/2658.14 c INPROCESSING
2650.57/2658.14 c GARBAGE COLLECT
2650.57/2658.14 c rational objective 2.57322e-12
2732.91/2740.77 c #Conflicts: 793000 | #Constraints: 22282
2732.91/2740.77 c #Conflicts: 794000 | #Constraints: 23282
2732.91/2740.77 c #Conflicts: 795000 | #Constraints: 24282
2732.91/2740.77 c #Conflicts: 796000 | #Constraints: 25282
2732.91/2740.77 c #Conflicts: 797000 | #Constraints: 26282
2732.91/2740.77 c #Conflicts: 798000 | #Constraints: 27282
2732.91/2740.77 c #Conflicts: 799000 | #Constraints: 28282
2732.91/2740.77 c #Conflicts: 800000 | #Constraints: 29282
2732.91/2740.77 c #Conflicts: 801000 | #Constraints: 30282
2732.91/2740.77 c #Conflicts: 802000 | #Constraints: 31282
2732.91/2740.77 c #Conflicts: 803000 | #Constraints: 32282
2732.91/2740.77 c #Conflicts: 804000 | #Constraints: 33282
2732.91/2740.77 c #Conflicts: 805000 | #Constraints: 34282
2732.91/2740.77 c #Conflicts: 806000 | #Constraints: 35282
2732.91/2740.77 c #Conflicts: 807000 | #Constraints: 36282
2732.91/2740.77 c #Conflicts: 808000 | #Constraints: 37282
2732.91/2740.77 c #Conflicts: 809000 | #Constraints: 38282
2732.91/2740.77 c #Conflicts: 810000 | #Constraints: 39282
2732.91/2740.77 c INPROCESSING
2732.91/2740.77 c GARBAGE COLLECT
2732.91/2740.77 c rational objective 2.57322e-12
2824.22/2832.32 c #Conflicts: 811000 | #Constraints: 22481
2824.22/2832.32 c #Conflicts: 812000 | #Constraints: 23481
2824.22/2832.32 c #Conflicts: 813000 | #Constraints: 24481
2824.22/2832.32 c #Conflicts: 814000 | #Constraints: 25481
2824.22/2832.32 c #Conflicts: 815000 | #Constraints: 26481
2824.22/2832.32 c #Conflicts: 816000 | #Constraints: 27481
2824.22/2832.32 c #Conflicts: 817000 | #Constraints: 28481
2824.22/2832.32 c #Conflicts: 818000 | #Constraints: 29481
2824.22/2832.32 c #Conflicts: 819000 | #Constraints: 30481
2824.22/2832.32 c #Conflicts: 820000 | #Constraints: 31481
2824.22/2832.32 c #Conflicts: 821000 | #Constraints: 32481
2824.22/2832.32 c #Conflicts: 822000 | #Constraints: 33481
2824.22/2832.32 c #Conflicts: 823000 | #Constraints: 34481
2824.22/2832.32 c #Conflicts: 824000 | #Constraints: 35481
2824.22/2832.32 c #Conflicts: 825000 | #Constraints: 36481
2824.22/2832.32 c #Conflicts: 826000 | #Constraints: 37481
2824.22/2832.32 c #Conflicts: 827000 | #Constraints: 38481
2824.22/2832.32 c #Conflicts: 828000 | #Constraints: 39481
2824.22/2832.32 c INPROCESSING
2824.22/2832.32 c GARBAGE COLLECT
2824.22/2832.32 c rational objective 2.57322e-12
2912.74/2921.11 c #Conflicts: 829000 | #Constraints: 22500
2912.74/2921.11 c #Conflicts: 830000 | #Constraints: 23500
2912.74/2921.11 c #Conflicts: 831000 | #Constraints: 24500
2912.74/2921.11 c #Conflicts: 832000 | #Constraints: 25500
2912.74/2921.11 c #Conflicts: 833000 | #Constraints: 26500
2912.74/2921.11 c #Conflicts: 834000 | #Constraints: 27500
2912.74/2921.11 c #Conflicts: 835000 | #Constraints: 28500
2912.74/2921.11 c #Conflicts: 836000 | #Constraints: 29500
2912.74/2921.11 c #Conflicts: 837000 | #Constraints: 30500
2912.74/2921.11 c #Conflicts: 838000 | #Constraints: 31500
2912.74/2921.11 c #Conflicts: 839000 | #Constraints: 32500
2912.74/2921.11 c #Conflicts: 840000 | #Constraints: 33500
2912.74/2921.11 c #Conflicts: 841000 | #Constraints: 34500
2912.74/2921.11 c #Conflicts: 842000 | #Constraints: 35500
2912.74/2921.11 c #Conflicts: 843000 | #Constraints: 36500
2912.74/2921.11 c #Conflicts: 844000 | #Constraints: 37500
2912.74/2921.11 c #Conflicts: 845000 | #Constraints: 38500
2912.74/2921.11 c #Conflicts: 846000 | #Constraints: 39500
2912.74/2921.11 c INPROCESSING
2912.74/2921.11 c GARBAGE COLLECT
2912.74/2921.11 c rational objective 2.57322e-12
2990.79/2999.42 c #Conflicts: 847000 | #Constraints: 22290
2990.79/2999.42 c #Conflicts: 848000 | #Constraints: 23290
2990.79/2999.42 c #Conflicts: 849000 | #Constraints: 24290
2990.79/2999.42 c #Conflicts: 850000 | #Constraints: 25291
2990.79/2999.42 c #Conflicts: 851000 | #Constraints: 26291
2990.79/2999.42 c #Conflicts: 852000 | #Constraints: 27291
2990.79/2999.42 c #Conflicts: 853000 | #Constraints: 28291
2990.79/2999.42 c #Conflicts: 854000 | #Constraints: 29291
2990.79/2999.42 c #Conflicts: 855000 | #Constraints: 30291
2990.79/2999.42 c #Conflicts: 856000 | #Constraints: 31291
2990.79/2999.42 c #Conflicts: 857000 | #Constraints: 32291
2990.79/2999.42 c #Conflicts: 858000 | #Constraints: 33291
2990.79/2999.42 c #Conflicts: 859000 | #Constraints: 34291
2990.79/2999.42 c #Conflicts: 860000 | #Constraints: 35291
2990.79/2999.42 c #Conflicts: 861000 | #Constraints: 36291
2990.79/2999.42 c #Conflicts: 862000 | #Constraints: 37291
2990.79/2999.42 c #Conflicts: 863000 | #Constraints: 38291
2990.79/2999.42 c #Conflicts: 864000 | #Constraints: 39291
2990.79/2999.42 c #Conflicts: 865000 | #Constraints: 40291
2990.79/2999.42 c INPROCESSING
2990.79/2999.42 c GARBAGE COLLECT
2990.79/2999.42 c rational objective 2.57322e-12
3078.72/3087.64 c #Conflicts: 866000 | #Constraints: 22885
3078.72/3087.64 c #Conflicts: 867000 | #Constraints: 23885
3078.72/3087.64 c #Conflicts: 868000 | #Constraints: 24885
3078.72/3087.64 c #Conflicts: 869000 | #Constraints: 25885
3078.72/3087.64 c #Conflicts: 870000 | #Constraints: 26885
3078.72/3087.64 c #Conflicts: 871000 | #Constraints: 27885
3078.72/3087.64 c #Conflicts: 872000 | #Constraints: 28885
3078.72/3087.64 c #Conflicts: 873000 | #Constraints: 29885
3078.72/3087.64 c #Conflicts: 874000 | #Constraints: 30885
3078.72/3087.64 c #Conflicts: 875000 | #Constraints: 31885
3078.72/3087.64 c #Conflicts: 876000 | #Constraints: 32885
3078.72/3087.64 c #Conflicts: 877000 | #Constraints: 33885
3078.72/3087.64 c #Conflicts: 878000 | #Constraints: 34885
3078.72/3087.64 c #Conflicts: 879000 | #Constraints: 35885
3078.72/3087.64 c #Conflicts: 880000 | #Constraints: 36885
3078.72/3087.64 c #Conflicts: 881000 | #Constraints: 37885
3078.72/3087.64 c #Conflicts: 882000 | #Constraints: 38885
3078.72/3087.64 c #Conflicts: 883000 | #Constraints: 39885
3078.72/3087.64 c #Conflicts: 884000 | #Constraints: 40885
3078.72/3087.64 c INPROCESSING
3078.72/3087.64 c GARBAGE COLLECT
3078.72/3087.64 c rational objective 2.57322e-12
3172.63/3181.85 c #Conflicts: 885000 | #Constraints: 23284
3172.63/3181.85 c #Conflicts: 886000 | #Constraints: 24284
3172.63/3181.85 c #Conflicts: 887000 | #Constraints: 25284
3172.63/3181.85 c #Conflicts: 888000 | #Constraints: 26284
3172.63/3181.85 c #Conflicts: 889000 | #Constraints: 27284
3172.63/3181.85 c #Conflicts: 890000 | #Constraints: 28284
3172.63/3181.85 c #Conflicts: 891000 | #Constraints: 29284
3172.63/3181.85 c #Conflicts: 892000 | #Constraints: 30284
3172.63/3181.85 c #Conflicts: 893000 | #Constraints: 31284
3172.63/3181.85 c #Conflicts: 894000 | #Constraints: 32284
3172.63/3181.85 c #Conflicts: 895000 | #Constraints: 33284
3172.63/3181.85 c #Conflicts: 896000 | #Constraints: 34284
3172.63/3181.85 c #Conflicts: 897000 | #Constraints: 35284
3172.63/3181.85 c #Conflicts: 898000 | #Constraints: 36284
3172.63/3181.85 c #Conflicts: 899000 | #Constraints: 37284
3172.63/3181.85 c #Conflicts: 900000 | #Constraints: 38284
3172.63/3181.85 c #Conflicts: 901000 | #Constraints: 39284
3172.63/3181.85 c #Conflicts: 902000 | #Constraints: 40284
3172.63/3181.85 c #Conflicts: 903000 | #Constraints: 41284
3172.63/3181.85 c INPROCESSING
3172.63/3181.85 c GARBAGE COLLECT
3172.63/3181.85 c rational objective 2.57322e-12
3265.86/3275.35 c #Conflicts: 904000 | #Constraints: 23482
3265.86/3275.35 c #Conflicts: 905000 | #Constraints: 24482
3265.86/3275.35 c #Conflicts: 906000 | #Constraints: 25482
3265.86/3275.35 c #Conflicts: 907000 | #Constraints: 26482
3265.86/3275.35 c #Conflicts: 908000 | #Constraints: 27482
3265.86/3275.35 c #Conflicts: 909000 | #Constraints: 28482
3265.86/3275.35 c #Conflicts: 910000 | #Constraints: 29482
3265.86/3275.35 c #Conflicts: 911000 | #Constraints: 30482
3265.86/3275.35 c #Conflicts: 912000 | #Constraints: 31482
3265.86/3275.35 c #Conflicts: 913000 | #Constraints: 32482
3265.86/3275.35 c #Conflicts: 914000 | #Constraints: 33482
3265.86/3275.35 c #Conflicts: 915000 | #Constraints: 34482
3265.86/3275.35 c #Conflicts: 916000 | #Constraints: 35482
3265.86/3275.35 c #Conflicts: 917000 | #Constraints: 36482
3265.86/3275.35 c #Conflicts: 918000 | #Constraints: 37482
3265.86/3275.35 c #Conflicts: 919000 | #Constraints: 38482
3265.86/3275.35 c #Conflicts: 920000 | #Constraints: 39482
3265.86/3275.35 c #Conflicts: 921000 | #Constraints: 40482
3265.86/3275.35 c #Conflicts: 922000 | #Constraints: 41482
3265.86/3275.35 c INPROCESSING
3265.86/3275.35 c GARBAGE COLLECT
3265.86/3275.35 c rational objective 2.57322e-12
3359.21/3368.96 c #Conflicts: 923000 | #Constraints: 23483
3359.21/3368.96 c #Conflicts: 924000 | #Constraints: 24483
3359.21/3368.96 c #Conflicts: 925000 | #Constraints: 25483
3359.21/3368.96 c #Conflicts: 926000 | #Constraints: 26483
3359.21/3368.96 c #Conflicts: 927000 | #Constraints: 27483
3359.21/3368.96 c #Conflicts: 928000 | #Constraints: 28483
3359.21/3368.96 c #Conflicts: 929000 | #Constraints: 29483
3359.21/3368.96 c #Conflicts: 930000 | #Constraints: 30483
3359.21/3368.96 c #Conflicts: 931000 | #Constraints: 31483
3359.21/3368.96 c #Conflicts: 932000 | #Constraints: 32483
3359.21/3368.96 c #Conflicts: 933000 | #Constraints: 33483
3359.21/3368.96 c #Conflicts: 934000 | #Constraints: 34483
3359.21/3368.96 c #Conflicts: 935000 | #Constraints: 35483
3359.21/3368.96 c #Conflicts: 936000 | #Constraints: 36483
3359.21/3368.96 c #Conflicts: 937000 | #Constraints: 37483
3359.21/3368.96 c #Conflicts: 938000 | #Constraints: 38483
3359.21/3368.96 c #Conflicts: 939000 | #Constraints: 39483
3359.21/3368.96 c #Conflicts: 940000 | #Constraints: 40483
3359.21/3368.96 c #Conflicts: 941000 | #Constraints: 41483
3359.21/3368.96 c INPROCESSING
3359.21/3368.96 c GARBAGE COLLECT
3359.21/3368.96 c rational objective 2.57322e-12
3454.94/3464.93 c #Conflicts: 942000 | #Constraints: 23295
3454.94/3464.93 c #Conflicts: 943000 | #Constraints: 24295
3454.94/3464.93 c #Conflicts: 944000 | #Constraints: 25295
3454.94/3464.93 c #Conflicts: 945000 | #Constraints: 26295
3454.94/3464.93 c #Conflicts: 946000 | #Constraints: 27295
3454.94/3464.93 c #Conflicts: 947000 | #Constraints: 28295
3454.94/3464.93 c #Conflicts: 948000 | #Constraints: 29295
3454.94/3464.93 c #Conflicts: 949000 | #Constraints: 30295
3454.94/3464.93 c #Conflicts: 950000 | #Constraints: 31295
3454.94/3464.93 c #Conflicts: 951000 | #Constraints: 32295
3454.94/3464.93 c #Conflicts: 952000 | #Constraints: 33295
3454.94/3464.93 c #Conflicts: 953000 | #Constraints: 34295
3454.94/3464.93 c #Conflicts: 954000 | #Constraints: 35295
3454.94/3464.93 c #Conflicts: 955000 | #Constraints: 36295
3454.94/3464.93 c #Conflicts: 956000 | #Constraints: 37295
3454.94/3464.93 c #Conflicts: 957000 | #Constraints: 38295
3454.94/3464.93 c #Conflicts: 958000 | #Constraints: 39295
3454.94/3464.93 c #Conflicts: 959000 | #Constraints: 40295
3454.94/3464.93 c #Conflicts: 960000 | #Constraints: 41295
3454.94/3464.93 c #Conflicts: 961000 | #Constraints: 42295
3454.94/3464.93 c INPROCESSING
3454.94/3464.93 c GARBAGE COLLECT
3454.94/3464.93 c rational objective 2.57322e-12
3575.40/3585.71 c #Conflicts: 962000 | #Constraints: 23903
3575.40/3585.71 c #Conflicts: 963000 | #Constraints: 24903
3575.40/3585.71 c #Conflicts: 964000 | #Constraints: 25903
3575.40/3585.71 c #Conflicts: 965000 | #Constraints: 26903
3575.40/3585.71 c #Conflicts: 966000 | #Constraints: 27903
3575.40/3585.71 c #Conflicts: 967000 | #Constraints: 28903
3575.40/3585.71 c #Conflicts: 968000 | #Constraints: 29903
3575.40/3585.71 c #Conflicts: 969000 | #Constraints: 30903
3575.40/3585.71 c #Conflicts: 970000 | #Constraints: 31903
3575.40/3585.71 c #Conflicts: 971000 | #Constraints: 32903
3575.40/3585.71 c #Conflicts: 972000 | #Constraints: 33903
3575.40/3585.71 c #Conflicts: 973000 | #Constraints: 34903
3575.40/3585.71 c #Conflicts: 974000 | #Constraints: 35903
3575.40/3585.71 c #Conflicts: 975000 | #Constraints: 36903
3575.40/3585.71 c #Conflicts: 976000 | #Constraints: 37903
3575.40/3585.71 c #Conflicts: 977000 | #Constraints: 38903
3575.40/3585.71 c #Conflicts: 978000 | #Constraints: 39903
3575.40/3585.71 c #Conflicts: 979000 | #Constraints: 40903
3575.40/3585.71 c #Conflicts: 980000 | #Constraints: 41903
3575.40/3585.71 c #Conflicts: 981000 | #Constraints: 42903
3575.40/3585.71 c INPROCESSING
3575.40/3585.71 c GARBAGE COLLECT
3575.40/3585.71 c rational objective 2.57322e-12
3600.03/3610.40 c #Conflicts: 982000 | #Constraints: 24307
3600.03/3610.40 c #Conflicts: 983000 | #Constraints: 25307
3600.03/3610.40 c #Conflicts: 984000 | #Constraints: 26307
3600.03/3610.40 c #Conflicts: 985000 | #Constraints: 27307
3600.03/3610.40 c #Conflicts: 986000 | #Constraints: 28307
3600.03/3610.40 c #Conflicts: 987000 | #Constraints: 29307
3600.03/3610.40 c #Conflicts: 988000 | #Constraints: 30307
3600.03/3610.40 c #Conflicts: 989000 | #Constraints: 31307
3600.03/3610.40 c cpu time 3576.76 s
3600.03/3610.40 c deterministic time 1368143264793 1.37e+12
3600.03/3610.40 c optimization time 24.344 s
3600.03/3610.40 c total solve time 3552.4 s
3600.03/3610.40 c core-guided solve time 0 s
3600.03/3610.40 c propagation time 3050.45 s
3600.03/3610.40 c conflict analysis time 370.997 s
3600.03/3610.40 c propagations 62501078
3600.03/3610.40 c resolve steps 16508908
3600.03/3610.40 c decisions 2868248
3600.03/3610.40 c conflicts 989976
3600.03/3610.40 c restarts 2045
3600.03/3610.40 c inprocessing phases 90
3600.03/3610.40 c garbage collections 90 ,( 100.00 )
3600.03/3610.40 c input clauses 1882 ,( 51.66 )
3600.03/3610.40 c input cardinalities 0 ,( 0.00 )
3600.03/3610.40 c input general constraints 1761 ,( 48.34 )
3600.03/3610.40 c input average constraint length 3.84
3600.03/3610.40 c input average constraint degree 59339220855591.52
3600.03/3610.40 c learned clauses 56271 ,( 5.68 )
3600.03/3610.40 c learned cardinalities 36 ,( 0.00 )
3600.03/3610.40 c learned general constraints 933685 ,( 94.31 )
3600.03/3610.40 c learned average constraint length 540.53
3600.03/3610.40 c learned average constraint degree 971784690.86
3600.03/3610.40 c watched CF 32, 64, 128, Arb: 15435 , 0 , 0 , 0
3600.03/3610.40 c counting CF 32, 64, 128, Arb: 920008 , 3 , 0 , 0
3600.03/3610.40 c watched constraints 15435 ,( 1.65 )
3600.03/3610.40 c counting constraints 920011 ,( 98.35 )
3600.03/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 133629522 , 1548546 , 26663504035 ,( 21752933 , 26641751102 )
3600.03/3610.40 c gcd simplifications 34751
3600.03/3610.40 c detected cardinalities 26
3600.03/3610.40 c weakened non-implied lits 5292368
3600.03/3610.40 c weakened non-implying lits 494118
3600.03/3610.40 c original variables 3571
3600.03/3610.40 c clausal propagations 16168349
3600.03/3610.40 c cardinality propagations 61717
3600.03/3610.40 c watched propagations 134942
3600.03/3610.40 c counting propagations 45187058
3600.03/3610.40 c watch lookups 29475012196
3600.03/3610.40 c watch backjump lookups 0
3600.03/3610.40 c watch checks 424623940
3600.03/3610.40 c propagation checks 1336272106427
3600.03/3610.40 c constraint additions 1839671945
3600.03/3610.40 c trail pops 66355795
3600.03/3610.40 c formula constraints 3643
3600.03/3610.40 c learned constraints 989962
3600.03/3610.40 c bound constraints 0
3600.03/3610.40 c core-guided constraints 0
3600.03/3610.40 c encountered formula constraints 13848148
3600.03/3610.40 c encountered learned constraints 3170443
3600.03/3610.40 c encountered bound constraints 0
3600.03/3610.40 c encountered core-guided constraints 0
3600.03/3610.40 c LP total time 16.8407 s
3600.03/3610.40 c LP solve time 10.66 s
3600.03/3610.40 c LP constraints added 3643
3600.03/3610.40 c LP constraints removed 0
3600.03/3610.40 c LP pivots internal 99001
3600.03/3610.40 c LP pivots root 26162
3600.03/3610.40 c LP calls 7215
3600.03/3610.40 c LP optimalities 7196
3600.03/3610.40 c LP no pivot count 3503
3600.03/3610.40 c LP infeasibilities 17
3600.03/3610.40 c LP valid Farkas constraints 17
3600.03/3610.40 c LP learned Farkas constraints 13
3600.03/3610.40 c LP basis resets 0
3600.03/3610.40 c LP cycling count 0
3600.03/3610.40 c LP singular count 0
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 0
3600.03/3610.40 c LP Gomory cuts 0
3600.03/3610.40 c LP learned cuts 0
3600.03/3610.40 c LP deleted cuts 0
3600.03/3610.40 c LP encountered Gomory constraints 0
3600.03/3610.40 c LP encountered Farkas constraints 478414
3600.03/3610.40 c LP encountered learned Farkas constraints 1866
3600.03/3610.40 c CG auxiliary variables introduced 0
3600.03/3610.40 c CG solutions found 0
3600.03/3610.40 c CG cores constructed 0
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 0
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 0.00
3600.03/3610.40 c CG core slack average 0.00
3600.03/3610.40 c CG core upper bound improvements 0
3600.03/3610.40 c STR number of successful calls 0
3600.03/3610.40 c STR number of unsuccessful calls 0
3600.03/3610.40 c STR number of inconclusive calls 0
3600.03/3610.40 c STR number of successful attempts 0
3600.03/3610.40 c STR number of unsuccessful attempts 0
3600.03/3610.40 c STR number of inconclusive attempts 0
3600.03/3610.40 c STR average degree increase per successful call inf
3600.03/3610.40 c STR average degree increase per successful attempt inf
3600.03/3610.40 c STR total number of conflicts for successful attempts 0
3600.03/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.40 c STR average number of conflicts per successful attempt inf
3600.03/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.40 c AVG.sumWPerc 97.95
3600.03/3610.40 c bigint constraints 3
3600.03/3610.40 s UNKNOWN
3600.03/3610.40 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 (58794 MiB free)
memory of node 1: 64465 MiB (61443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542037-1753202597/watcher-4542037-1753202597 -o /tmp/evaluation-result-4542037-1753202597/solver-4542037-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183310 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542037-1753202597.opb /tmp/proof-4542037-1753202597
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183709, runsolver pid=183706
[startup+0.100062 s]*
/proc/loadavg: 4.36 4.20 4.11 5/258 183716
/proc/meminfo: memFree=124992276/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=63628 memory=19632 CPUtime=0.08 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 2877 0 0 0 8 0 0 0 20 0 1 0 235938144 65155072 4908 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 15907 4908 2304 1147 0 3334 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67820 KiB
Current children cumulated memory: 22704 KiB
[startup+0.205808 s]*
/proc/loadavg: 4.36 4.20 4.11 4/266 183729
/proc/meminfo: memFree=126670064/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=65036 memory=21040 CPUtime=0.19 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 3195 0 0 0 18 1 0 0 20 0 1 0 235938144 66596864 5260 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 16259 5260 2336 1147 0 3686 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69228 KiB
Current children cumulated memory: 24112 KiB
[startup+0.305796 s]*
/proc/loadavg: 4.36 4.20 4.11 4/264 183732
/proc/meminfo: memFree=126676620/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=67684 memory=23728 CPUtime=0.29 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 3864 0 0 0 28 1 0 0 20 0 1 0 235938144 69308416 5932 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 16921 5932 2336 1147 0 4348 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71876 KiB
Current children cumulated memory: 26800 KiB
[startup+0.70021 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126612596/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=74804 memory=32800 CPUtime=0.68 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 5650 0 0 0 66 2 0 0 20 0 1 0 235938144 76599296 8200 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 18701 8200 2336 1147 0 6128 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78996 KiB
Current children cumulated memory: 35872 KiB
[startup+1.50021 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126549280/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=91248 memory=47364 CPUtime=1.47 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 8757 0 0 0 144 3 0 0 20 0 1 0 235938144 93437952 11841 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 22812 11841 2336 1147 0 10239 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 95440 KiB
Current children cumulated memory: 50436 KiB
[startup+3.10564 s]
/proc/loadavg: 4.33 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126477496/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=108096 memory=59908 CPUtime=3.07 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 11904 0 0 0 301 6 0 0 20 0 1 0 235938144 110690304 14977 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 27024 14977 2336 1147 0 14451 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 62980 KiB
[startup+6.30017 s]
/proc/loadavg: 4.30 4.20 4.11 5/269 183746
/proc/meminfo: memFree=126407544/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=127108 memory=73316 CPUtime=6.25 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 14731 0 0 0 614 11 0 0 20 0 1 0 235938144 130158592 18329 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 31777 18329 2336 1147 0 19204 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 131300 KiB
Current children cumulated memory: 76388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.28 4.19 4.11 5/269 183746
/proc/meminfo: memFree=126320980/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=131052 memory=84476 CPUtime=12.64 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 16519 0 0 0 1247 17 0 0 20 0 1 0 235938144 134197248 21119 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 32763 21119 2336 1147 0 20190 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135244 KiB
Current children cumulated memory: 87548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.32 4.20 4.11 5/269 183795
/proc/meminfo: memFree=123209608/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=157956 memory=103676 CPUtime=25.4 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 21226 0 0 0 2510 30 0 0 20 0 1 0 235938144 161746944 25919 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 39489 25919 2432 1147 0 26916 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 162148 KiB
Current children cumulated memory: 106748 KiB
[startup+51.1058 s]
/proc/loadavg: 4.25 4.20 4.11 5/269 183795
/proc/meminfo: memFree=122970584/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=175020 memory=115872 CPUtime=50.91 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 23754 0 0 0 5037 54 0 0 20 0 1 0 235938144 179220480 28968 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 43755 28968 2432 1147 0 31182 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 179212 KiB
Current children cumulated memory: 118944 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/270 183799
/proc/meminfo: memFree=122297200/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=225040 memory=157088 CPUtime=101.94 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 33060 0 0 0 10085 109 0 0 20 0 1 0 235938144 230440960 39272 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 56260 39272 2432 1147 0 43687 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 229232 KiB
Current children cumulated memory: 160160 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.12 5/270 183801
/proc/meminfo: memFree=121643056/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=281260 memory=200128 CPUtime=161.75 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 41154 0 0 0 16006 169 0 0 20 0 1 0 235938144 288010240 50032 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 70315 50032 2432 1147 0 57742 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 285452 KiB
Current children cumulated memory: 203200 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.20 4.12 5/269 183803
/proc/meminfo: memFree=120889320/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=290520 memory=216640 CPUtime=221.56 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 43412 0 0 0 21928 228 0 0 20 0 1 0 235938144 297492480 54160 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 72630 54160 2432 1147 0 60057 0
################
# More data... #
################
/proc/183711/statm: 169543 139315 2432 1147 0 156970 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 682364 KiB
Current children cumulated memory: 560332 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/267 183954
/proc/meminfo: memFree=98995000/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=678172 memory=581964 CPUtime=3093.37 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 104670 0 0 0 307262 2075 0 0 20 0 1 0 235938144 694448128 145491 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169543 145491 2432 1147 0 156970 0
Current children cumulated CPU time: 3093.37 s
Current children cumulated vsize: 682364 KiB
Current children cumulated memory: 585036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/268 183957
/proc/meminfo: memFree=98698192/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=678172 memory=601676 CPUtime=3153.19 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 104681 0 0 0 313215 2104 0 0 20 0 1 0 235938144 694448128 150419 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169543 150419 2432 1147 0 156970 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 682364 KiB
Current children cumulated memory: 604748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/268 183959
/proc/meminfo: memFree=98356948/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=678496 memory=601932 CPUtime=3213.02 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 104769 0 0 0 319162 2140 0 0 20 0 1 0 235938144 694779904 150483 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169624 150483 2432 1147 0 157051 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 682688 KiB
Current children cumulated memory: 605004 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/268 183961
/proc/meminfo: memFree=97974540/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=678496 memory=601932 CPUtime=3272.85 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 104772 0 0 0 325116 2169 0 0 20 0 1 0 235938144 694779904 150483 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169624 150483 2432 1147 0 157051 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 682688 KiB
Current children cumulated memory: 605004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/267 183963
/proc/meminfo: memFree=97550128/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=678496 memory=601932 CPUtime=3332.69 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 104772 0 0 0 331073 2196 0 0 20 0 1 0 235938144 694779904 150483 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169624 150483 2432 1147 0 157051 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 682688 KiB
Current children cumulated memory: 605004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/267 183965
/proc/meminfo: memFree=97179552/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=679608 memory=602956 CPUtime=3392.52 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 105008 0 0 0 337025 2227 0 0 20 0 1 0 235938144 695918592 150739 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 169902 150739 2432 1147 0 157329 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 683800 KiB
Current children cumulated memory: 606028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/266 183967
/proc/meminfo: memFree=96822304/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=807796 memory=674380 CPUtime=3452.34 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 122868 0 0 0 342978 2256 0 0 20 0 1 0 235938144 827183104 168595 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 201949 168595 2432 1147 0 189376 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 811988 KiB
Current children cumulated memory: 677452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/266 183969
/proc/meminfo: memFree=96478764/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=807796 memory=675532 CPUtime=3512.18 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 123168 0 0 0 348928 2290 0 0 20 0 1 0 235938144 827183104 168883 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 201949 168883 2432 1147 0 189376 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 811988 KiB
Current children cumulated memory: 678604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/266 183971
/proc/meminfo: memFree=96164836/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=809844 memory=676684 CPUtime=3572.02 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 123445 0 0 0 354893 2309 0 0 20 0 1 0 235938144 829280256 169171 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 202461 169171 2432 1147 0 189888 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 814036 KiB
Current children cumulated memory: 679756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.14 4.16 4.17 4/263 183985
/proc/meminfo: memFree=96476468/131249996 swapFree=33010160/33010684
[pid=183709] ppid=183706 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/183709/stat : 183709 (run-dec-ls-log.) S 183706 183709 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235938144 4292608 768 18446744073709551615 94031102754816 94031103649349 140723281898208 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94031103888400 94031103936144 94031134072832 140723281901887 140723281902047 140723281902047 140723281907651 0
/proc/183709/statm: 1048 768 704 219 0 110 0
[pid=183711] ppid=183709 vsize=809844 memory=676684 CPUtime=3600.03 cores=4,6
/proc/183711/stat : 183711 (roundingsat) R 183709 183709 183292 0 -1 4194304 123449 0 0 0 357675 2328 0 0 20 0 1 0 235938144 829280256 169171 18446744073709551615 4227072 8923433 140731149260464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15249408 140731149265268 140731149265446 140731149265446 140731149271018 0
/proc/183711/statm: 202461 169171 2432 1147 0 189888 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 814036 KiB
Current children cumulated memory: 679756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 183709 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.001977 s
[startup+3610.41 s]
# the end of solver process 183711 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.77 s, system=23.2943 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.41
CPU time (s): 3600.06
CPU user time (s): 3576.77
CPU system time (s): 23.2943
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 814036
Max. memory (cumulated for all children) (KiB): 679756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.77
system time used= 23.2943
maximum resident set size= 676812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18031800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226
involuntary context switches= 4988
# summary of solver processes directly reported to runsolver:
# pid: 183709,183711
# total CPU time (s): 3600.06
# total CPU user time (s): 3576.77
# total CPU system time (s): 23.2943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52293 second user time and 18.5164 second system time
The end
Begin job on nodeC029 at 2025-07-22 18:43:17
IDJOB=4542037
IDBENCH=163735
IDSOLVER=3354
FILE ID=nodeC029/4542037-1753202597
RUNJOBID= nodeC029-1753198973-183310
SLURM_JOB_ID= 9687762
Free space on /tmp= 413324 MiB
SOLVER NAME= roundingsat-ls-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542037-1753202597/watcher-4542037-1753202597 -o /tmp/evaluation-result-4542037-1753202597/solver-4542037-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183310 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542037-1753202597.opb /tmp/proof-4542037-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=1063239506
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.004
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.686
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.695
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.640
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122232396 kB
MemAvailable: 129719784 kB
Buffers: 2128 kB
Cached: 8243056 kB
SwapCached: 36 kB
Active: 1315088 kB
Inactive: 7003268 kB
Active(anon): 94672 kB
Inactive(anon): 4716 kB
Active(file): 1220416 kB
Inactive(file): 6998552 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16624 kB
Writeback: 0 kB
AnonPages: 76148 kB
Mapped: 114828 kB
Shmem: 26216 kB
KReclaimable: 215316 kB
Slab: 312380 kB
SReclaimable: 215316 kB
SUnreclaim: 97064 kB
KernelStack: 4112 kB
PageTables: 2884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 377908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3968 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 405172 MiB
End job on nodeC029 at 2025-07-22 19:43:28