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
54.54/54.72 c #Conflicts: 1000 | #Constraints: 4643
54.54/54.72 c #Conflicts: 2000 | #Constraints: 5643
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 3000 | #Constraints: 5593
54.54/54.72 c #Conflicts: 4000 | #Constraints: 6593
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 5000 | #Constraints: 5999
54.54/54.72 c #Conflicts: 6000 | #Constraints: 6999
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 7000 | #Constraints: 6003
54.54/54.72 c #Conflicts: 8000 | #Constraints: 7003
54.54/54.72 c #Conflicts: 9000 | #Constraints: 8003
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 10000 | #Constraints: 6706
54.54/54.72 c #Conflicts: 11000 | #Constraints: 7706
54.54/54.72 c #Conflicts: 12000 | #Constraints: 8706
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 13000 | #Constraints: 7158
54.54/54.72 c #Conflicts: 14000 | #Constraints: 8158
54.54/54.72 c #Conflicts: 15000 | #Constraints: 9158
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 16000 | #Constraints: 7384
54.54/54.72 c #Conflicts: 17000 | #Constraints: 8384
54.54/54.72 c #Conflicts: 18000 | #Constraints: 9384
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 19000 | #Constraints: 7403
54.54/54.72 c #Conflicts: 20000 | #Constraints: 8403
54.54/54.72 c #Conflicts: 21000 | #Constraints: 9403
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 22000 | #Constraints: 7209
54.54/54.72 c #Conflicts: 23000 | #Constraints: 8209
54.54/54.72 c #Conflicts: 24000 | #Constraints: 9209
54.54/54.72 c #Conflicts: 25000 | #Constraints: 10209
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 26000 | #Constraints: 7811
54.54/54.72 c #Conflicts: 27000 | #Constraints: 8811
54.54/54.72 c #Conflicts: 28000 | #Constraints: 9811
54.54/54.72 c #Conflicts: 29000 | #Constraints: 10811
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c #Conflicts: 30000 | #Constraints: 8212
54.54/54.72 c #Conflicts: 31000 | #Constraints: 9212
54.54/54.72 c #Conflicts: 32000 | #Constraints: 10212
54.54/54.72 c #Conflicts: 33000 | #Constraints: 11212
54.54/54.72 c INPROCESSING
54.54/54.72 c GARBAGE COLLECT
54.54/54.72 c rational objective 0
58.83/59.02 c #Conflicts: 34000 | #Constraints: 8413
58.83/59.02 c #Conflicts: 35000 | #Constraints: 9413
58.83/59.02 c #Conflicts: 36000 | #Constraints: 10413
58.83/59.02 c #Conflicts: 37000 | #Constraints: 11413
58.83/59.02 c INPROCESSING
58.83/59.02 c GARBAGE COLLECT
58.83/59.02 c rational objective -1.31903e-12
69.29/69.58 c #Conflicts: 38000 | #Constraints: 8418
69.29/69.58 c #Conflicts: 39000 | #Constraints: 9418
69.29/69.58 c #Conflicts: 40000 | #Constraints: 10418
69.29/69.58 c #Conflicts: 41000 | #Constraints: 11418
69.29/69.58 c INPROCESSING
69.29/69.58 c GARBAGE COLLECT
69.29/69.58 c rational objective -1.31903e-12
78.57/78.81 c #Conflicts: 42000 | #Constraints: 8217
78.57/78.81 c #Conflicts: 43000 | #Constraints: 9217
78.57/78.81 c #Conflicts: 44000 | #Constraints: 10218
78.57/78.81 c #Conflicts: 45000 | #Constraints: 11218
78.57/78.81 c #Conflicts: 46000 | #Constraints: 12218
78.57/78.81 c INPROCESSING
78.57/78.81 c GARBAGE COLLECT
78.57/78.81 c rational objective -1.31903e-12
87.24/87.56 c #Conflicts: 47000 | #Constraints: 8827
87.24/87.56 c #Conflicts: 48000 | #Constraints: 9827
87.24/87.56 c #Conflicts: 49000 | #Constraints: 10827
87.24/87.56 c #Conflicts: 50000 | #Constraints: 11827
87.24/87.56 c #Conflicts: 51000 | #Constraints: 12827
87.24/87.56 c INPROCESSING
87.24/87.56 c GARBAGE COLLECT
87.24/87.56 c rational objective -1.31903e-12
96.41/96.74 c #Conflicts: 52000 | #Constraints: 9226
96.41/96.74 c #Conflicts: 53000 | #Constraints: 10226
96.41/96.74 c #Conflicts: 54000 | #Constraints: 11226
96.41/96.74 c #Conflicts: 55000 | #Constraints: 12226
96.41/96.74 c #Conflicts: 56000 | #Constraints: 13226
96.41/96.74 c INPROCESSING
96.41/96.74 c GARBAGE COLLECT
96.41/96.74 c rational objective -1.31903e-12
104.49/104.85 c #Conflicts: 57000 | #Constraints: 9433
104.49/104.85 c #Conflicts: 58000 | #Constraints: 10433
104.49/104.85 c #Conflicts: 59000 | #Constraints: 11433
104.49/104.85 c #Conflicts: 60000 | #Constraints: 12433
104.49/104.85 c #Conflicts: 61000 | #Constraints: 13433
104.49/104.85 c INPROCESSING
104.49/104.85 c GARBAGE COLLECT
104.49/104.85 c rational objective -1.31903e-12
112.16/112.55 c #Conflicts: 62000 | #Constraints: 9433
112.16/112.55 c #Conflicts: 63000 | #Constraints: 10433
112.16/112.55 c #Conflicts: 64000 | #Constraints: 11433
112.16/112.55 c #Conflicts: 65000 | #Constraints: 12433
112.16/112.55 c #Conflicts: 66000 | #Constraints: 13434
112.16/112.55 c INPROCESSING
112.16/112.55 c GARBAGE COLLECT
112.16/112.55 c rational objective -1.31903e-12
121.05/121.45 c #Conflicts: 67000 | #Constraints: 9239
121.05/121.45 c #Conflicts: 68000 | #Constraints: 10239
121.05/121.45 c #Conflicts: 69000 | #Constraints: 11239
121.05/121.45 c #Conflicts: 70000 | #Constraints: 12239
121.05/121.45 c #Conflicts: 71000 | #Constraints: 13239
121.05/121.45 c #Conflicts: 72000 | #Constraints: 14239
121.05/121.45 c INPROCESSING
121.05/121.45 c GARBAGE COLLECT
121.05/121.45 c rational objective -1.31903e-12
131.51/131.95 c #Conflicts: 73000 | #Constraints: 9834
131.51/131.95 c #Conflicts: 74000 | #Constraints: 10834
131.51/131.95 c #Conflicts: 75000 | #Constraints: 11834
131.51/131.95 c #Conflicts: 76000 | #Constraints: 12834
131.51/131.95 c #Conflicts: 77000 | #Constraints: 13834
131.51/131.95 c #Conflicts: 78000 | #Constraints: 14834
131.51/131.95 c INPROCESSING
131.51/131.95 c GARBAGE COLLECT
131.51/131.95 c rational objective -1.31903e-12
141.09/141.50 c #Conflicts: 79000 | #Constraints: 10243
141.09/141.50 c #Conflicts: 80000 | #Constraints: 11243
141.09/141.50 c #Conflicts: 81000 | #Constraints: 12243
141.09/141.50 c #Conflicts: 82000 | #Constraints: 13243
141.09/141.50 c #Conflicts: 83000 | #Constraints: 14244
141.09/141.50 c #Conflicts: 84000 | #Constraints: 15244
141.09/141.50 c INPROCESSING
141.09/141.50 c GARBAGE COLLECT
141.09/141.50 c rational objective -1.31903e-12
153.25/153.72 c #Conflicts: 85000 | #Constraints: 10441
153.25/153.72 c #Conflicts: 86000 | #Constraints: 11441
153.25/153.72 c #Conflicts: 87000 | #Constraints: 12441
153.25/153.72 c #Conflicts: 88000 | #Constraints: 13441
153.25/153.72 c #Conflicts: 89000 | #Constraints: 14441
153.25/153.72 c #Conflicts: 90000 | #Constraints: 15441
153.25/153.72 c INPROCESSING
153.25/153.72 c GARBAGE COLLECT
153.25/153.72 c rational objective -1.31903e-12
166.71/167.22 c #Conflicts: 91000 | #Constraints: 10450
166.71/167.22 c #Conflicts: 92000 | #Constraints: 11450
166.71/167.22 c #Conflicts: 93000 | #Constraints: 12450
166.71/167.22 c #Conflicts: 94000 | #Constraints: 13450
166.71/167.22 c #Conflicts: 95000 | #Constraints: 14450
166.71/167.22 c #Conflicts: 96000 | #Constraints: 15450
166.71/167.22 c INPROCESSING
166.71/167.22 c GARBAGE COLLECT
166.71/167.22 c rational objective -1.31903e-12
179.47/180.06 c #Conflicts: 97000 | #Constraints: 10258
179.47/180.06 c #Conflicts: 98000 | #Constraints: 11258
179.47/180.06 c #Conflicts: 99000 | #Constraints: 12258
179.47/180.06 c #Conflicts: 100000 | #Constraints: 13258
179.47/180.06 c #Conflicts: 101000 | #Constraints: 14258
179.47/180.06 c #Conflicts: 102000 | #Constraints: 15258
179.47/180.06 c #Conflicts: 103000 | #Constraints: 16258
179.47/180.06 c INPROCESSING
179.47/180.06 c GARBAGE COLLECT
179.47/180.06 c rational objective -1.31903e-12
190.84/191.42 c #Conflicts: 104000 | #Constraints: 10855
190.84/191.42 c #Conflicts: 105000 | #Constraints: 11855
190.84/191.42 c #Conflicts: 106000 | #Constraints: 12855
190.84/191.42 c #Conflicts: 107000 | #Constraints: 13855
190.84/191.42 c #Conflicts: 108000 | #Constraints: 14855
190.84/191.42 c #Conflicts: 109000 | #Constraints: 15855
190.84/191.42 c #Conflicts: 110000 | #Constraints: 16856
190.84/191.42 c INPROCESSING
190.84/191.42 c GARBAGE COLLECT
190.84/191.42 c rational objective -1.31903e-12
204.80/205.43 c #Conflicts: 111000 | #Constraints: 11261
204.80/205.43 c #Conflicts: 112000 | #Constraints: 12261
204.80/205.43 c #Conflicts: 113000 | #Constraints: 13261
204.80/205.43 c #Conflicts: 114000 | #Constraints: 14261
204.80/205.43 c #Conflicts: 115000 | #Constraints: 15262
204.80/205.43 c #Conflicts: 116000 | #Constraints: 16262
204.80/205.43 c #Conflicts: 117000 | #Constraints: 17262
204.80/205.43 c INPROCESSING
204.80/205.43 c GARBAGE COLLECT
204.80/205.43 c rational objective -1.31903e-12
220.36/221.06 c #Conflicts: 118000 | #Constraints: 11447
220.36/221.06 c #Conflicts: 119000 | #Constraints: 12447
220.36/221.06 c #Conflicts: 120000 | #Constraints: 13447
220.36/221.06 c #Conflicts: 121000 | #Constraints: 14447
220.36/221.06 c #Conflicts: 122000 | #Constraints: 15447
220.36/221.06 c #Conflicts: 123000 | #Constraints: 16447
220.36/221.06 c #Conflicts: 124000 | #Constraints: 17447
220.36/221.06 c INPROCESSING
220.36/221.06 c GARBAGE COLLECT
220.36/221.06 c rational objective -1.31903e-12
235.91/236.67 c #Conflicts: 125000 | #Constraints: 11446
235.91/236.67 c #Conflicts: 126000 | #Constraints: 12446
235.91/236.67 c #Conflicts: 127000 | #Constraints: 13446
235.91/236.67 c #Conflicts: 128000 | #Constraints: 14446
235.91/236.67 c #Conflicts: 129000 | #Constraints: 15446
235.91/236.67 c #Conflicts: 130000 | #Constraints: 16446
235.91/236.67 c #Conflicts: 131000 | #Constraints: 17446
235.91/236.67 c INPROCESSING
235.91/236.67 c GARBAGE COLLECT
235.91/236.67 c rational objective -1.31903e-12
251.86/252.60 c #Conflicts: 132000 | #Constraints: 11250
251.86/252.60 c #Conflicts: 133000 | #Constraints: 12250
251.86/252.60 c #Conflicts: 134000 | #Constraints: 13250
251.86/252.60 c #Conflicts: 135000 | #Constraints: 14250
251.86/252.60 c #Conflicts: 136000 | #Constraints: 15250
251.86/252.60 c #Conflicts: 137000 | #Constraints: 16250
251.86/252.60 c #Conflicts: 138000 | #Constraints: 17250
251.86/252.60 c #Conflicts: 139000 | #Constraints: 18250
251.86/252.60 c INPROCESSING
251.86/252.60 c GARBAGE COLLECT
251.86/252.60 c rational objective -1.31903e-12
263.63/264.42 c #Conflicts: 140000 | #Constraints: 11863
263.63/264.42 c #Conflicts: 141000 | #Constraints: 12863
263.63/264.42 c #Conflicts: 142000 | #Constraints: 13864
263.63/264.42 c #Conflicts: 143000 | #Constraints: 14864
263.63/264.42 c #Conflicts: 144000 | #Constraints: 15864
263.63/264.42 c #Conflicts: 145000 | #Constraints: 16864
263.63/264.42 c #Conflicts: 146000 | #Constraints: 17864
263.63/264.42 c #Conflicts: 147000 | #Constraints: 18864
263.63/264.42 c INPROCESSING
263.63/264.42 c GARBAGE COLLECT
263.63/264.42 c rational objective -1.31903e-12
279.48/280.30 c #Conflicts: 148000 | #Constraints: 12262
279.48/280.30 c #Conflicts: 149000 | #Constraints: 13262
279.48/280.30 c #Conflicts: 150000 | #Constraints: 14262
279.48/280.30 c #Conflicts: 151000 | #Constraints: 15262
279.48/280.30 c #Conflicts: 152000 | #Constraints: 16262
279.48/280.30 c #Conflicts: 153000 | #Constraints: 17262
279.48/280.30 c #Conflicts: 154000 | #Constraints: 18262
279.48/280.30 c #Conflicts: 155000 | #Constraints: 19262
279.48/280.30 c INPROCESSING
279.48/280.30 c GARBAGE COLLECT
279.48/280.30 c rational objective -1.31903e-12
301.13/302.07 c #Conflicts: 156000 | #Constraints: 12454
301.13/302.07 c #Conflicts: 157000 | #Constraints: 13454
301.13/302.07 c #Conflicts: 158000 | #Constraints: 14454
301.13/302.07 c #Conflicts: 159000 | #Constraints: 15454
301.13/302.07 c #Conflicts: 160000 | #Constraints: 16454
301.13/302.07 c #Conflicts: 161000 | #Constraints: 17454
301.13/302.07 c #Conflicts: 162000 | #Constraints: 18454
301.13/302.07 c #Conflicts: 163000 | #Constraints: 19454
301.13/302.07 c INPROCESSING
301.13/302.07 c GARBAGE COLLECT
301.13/302.07 c rational objective 1.09615e-12
315.58/316.51 c #Conflicts: 164000 | #Constraints: 12441
315.58/316.51 c #Conflicts: 165000 | #Constraints: 13441
315.58/316.51 c #Conflicts: 166000 | #Constraints: 14441
315.58/316.51 c #Conflicts: 167000 | #Constraints: 15441
315.58/316.51 c #Conflicts: 168000 | #Constraints: 16441
315.58/316.51 c #Conflicts: 169000 | #Constraints: 17441
315.58/316.51 c #Conflicts: 170000 | #Constraints: 18441
315.58/316.51 c #Conflicts: 171000 | #Constraints: 19441
315.58/316.51 c INPROCESSING
315.58/316.51 c GARBAGE COLLECT
315.58/316.51 c rational objective 1.09615e-12
332.23/333.28 c #Conflicts: 172000 | #Constraints: 12235
332.23/333.28 c #Conflicts: 173000 | #Constraints: 13235
332.23/333.28 c #Conflicts: 174000 | #Constraints: 14235
332.23/333.28 c #Conflicts: 175000 | #Constraints: 15235
332.23/333.28 c #Conflicts: 176000 | #Constraints: 16235
332.23/333.28 c #Conflicts: 177000 | #Constraints: 17235
332.23/333.28 c #Conflicts: 178000 | #Constraints: 18235
332.23/333.28 c #Conflicts: 179000 | #Constraints: 19235
332.23/333.28 c #Conflicts: 180000 | #Constraints: 20235
332.23/333.28 c INPROCESSING
332.23/333.28 c GARBAGE COLLECT
332.23/333.28 c rational objective 1.09615e-12
347.28/348.35 c #Conflicts: 181000 | #Constraints: 12840
347.28/348.35 c #Conflicts: 182000 | #Constraints: 13840
347.28/348.35 c #Conflicts: 183000 | #Constraints: 14840
347.28/348.35 c #Conflicts: 184000 | #Constraints: 15840
347.28/348.35 c #Conflicts: 185000 | #Constraints: 16840
347.28/348.35 c #Conflicts: 186000 | #Constraints: 17840
347.28/348.35 c #Conflicts: 187000 | #Constraints: 18840
347.28/348.35 c #Conflicts: 188000 | #Constraints: 19841
347.28/348.35 c #Conflicts: 189000 | #Constraints: 20841
347.28/348.35 c INPROCESSING
347.28/348.35 c GARBAGE COLLECT
347.28/348.35 c rational objective 1.09615e-12
371.41/372.54 c #Conflicts: 190000 | #Constraints: 13254
371.41/372.54 c #Conflicts: 191000 | #Constraints: 14254
371.41/372.54 c #Conflicts: 192000 | #Constraints: 15254
371.41/372.54 c #Conflicts: 193000 | #Constraints: 16254
371.41/372.54 c #Conflicts: 194000 | #Constraints: 17254
371.41/372.54 c #Conflicts: 195000 | #Constraints: 18254
371.41/372.54 c #Conflicts: 196000 | #Constraints: 19254
371.41/372.54 c #Conflicts: 197000 | #Constraints: 20254
371.41/372.54 c #Conflicts: 198000 | #Constraints: 21254
371.41/372.54 c INPROCESSING
371.41/372.54 c GARBAGE COLLECT
371.41/372.54 c rational objective 1.09615e-12
396.84/398.07 c #Conflicts: 199000 | #Constraints: 13455
396.84/398.07 c #Conflicts: 200000 | #Constraints: 14455
396.84/398.07 c #Conflicts: 201000 | #Constraints: 15455
396.84/398.07 c #Conflicts: 202000 | #Constraints: 16455
396.84/398.07 c #Conflicts: 203000 | #Constraints: 17455
396.84/398.07 c #Conflicts: 204000 | #Constraints: 18455
396.84/398.07 c #Conflicts: 205000 | #Constraints: 19455
396.84/398.07 c #Conflicts: 206000 | #Constraints: 20455
396.84/398.07 c #Conflicts: 207000 | #Constraints: 21455
396.84/398.07 c INPROCESSING
396.84/398.07 c GARBAGE COLLECT
396.84/398.07 c rational objective 1.09615e-12
421.16/422.47 c #Conflicts: 208000 | #Constraints: 13466
421.16/422.47 c #Conflicts: 209000 | #Constraints: 14466
421.16/422.47 c #Conflicts: 210000 | #Constraints: 15466
421.16/422.47 c #Conflicts: 211000 | #Constraints: 16466
421.16/422.47 c #Conflicts: 212000 | #Constraints: 17466
421.16/422.47 c #Conflicts: 213000 | #Constraints: 18466
421.16/422.47 c #Conflicts: 214000 | #Constraints: 19466
421.16/422.47 c #Conflicts: 215000 | #Constraints: 20466
421.16/422.47 c #Conflicts: 216000 | #Constraints: 21466
421.16/422.47 c INPROCESSING
421.16/422.47 c GARBAGE COLLECT
421.16/422.47 c rational objective 1.09615e-12
454.67/456.10 c #Conflicts: 217000 | #Constraints: 13273
454.67/456.10 c #Conflicts: 218000 | #Constraints: 14273
454.67/456.10 c #Conflicts: 219000 | #Constraints: 15273
454.67/456.10 c #Conflicts: 220000 | #Constraints: 16273
454.67/456.10 c #Conflicts: 221000 | #Constraints: 17273
454.67/456.10 c #Conflicts: 222000 | #Constraints: 18273
454.67/456.10 c #Conflicts: 223000 | #Constraints: 19273
454.67/456.10 c #Conflicts: 224000 | #Constraints: 20273
454.67/456.10 c #Conflicts: 225000 | #Constraints: 21273
454.67/456.10 c #Conflicts: 226000 | #Constraints: 22273
454.67/456.10 c INPROCESSING
454.67/456.10 c GARBAGE COLLECT
454.67/456.10 c rational objective 1.09615e-12
480.60/482.01 c #Conflicts: 227000 | #Constraints: 13869
480.60/482.01 c #Conflicts: 228000 | #Constraints: 14869
480.60/482.01 c #Conflicts: 229000 | #Constraints: 15869
480.60/482.01 c #Conflicts: 230000 | #Constraints: 16869
480.60/482.01 c #Conflicts: 231000 | #Constraints: 17870
480.60/482.01 c #Conflicts: 232000 | #Constraints: 18870
480.60/482.01 c #Conflicts: 233000 | #Constraints: 19870
480.60/482.01 c #Conflicts: 234000 | #Constraints: 20870
480.60/482.01 c #Conflicts: 235000 | #Constraints: 21870
480.60/482.01 c #Conflicts: 236000 | #Constraints: 22870
480.60/482.01 c INPROCESSING
480.60/482.01 c GARBAGE COLLECT
480.60/482.01 c rational objective 1.09615e-12
504.83/506.33 c #Conflicts: 237000 | #Constraints: 14261
504.83/506.33 c #Conflicts: 238000 | #Constraints: 15261
504.83/506.33 c #Conflicts: 239000 | #Constraints: 16261
504.83/506.33 c #Conflicts: 240000 | #Constraints: 17261
504.83/506.33 c #Conflicts: 241000 | #Constraints: 18261
504.83/506.33 c #Conflicts: 242000 | #Constraints: 19261
504.83/506.33 c #Conflicts: 243000 | #Constraints: 20261
504.83/506.33 c #Conflicts: 244000 | #Constraints: 21261
504.83/506.33 c #Conflicts: 245000 | #Constraints: 22261
504.83/506.33 c #Conflicts: 246000 | #Constraints: 23261
504.83/506.33 c INPROCESSING
504.83/506.33 c GARBAGE COLLECT
504.83/506.33 c rational objective 1.09615e-12
531.94/533.54 c #Conflicts: 247000 | #Constraints: 14459
531.94/533.54 c #Conflicts: 248000 | #Constraints: 15459
531.94/533.54 c #Conflicts: 249000 | #Constraints: 16459
531.94/533.54 c #Conflicts: 250000 | #Constraints: 17459
531.94/533.54 c #Conflicts: 251000 | #Constraints: 18459
531.94/533.54 c #Conflicts: 252000 | #Constraints: 19459
531.94/533.54 c #Conflicts: 253000 | #Constraints: 20459
531.94/533.54 c #Conflicts: 254000 | #Constraints: 21459
531.94/533.54 c #Conflicts: 255000 | #Constraints: 22459
531.94/533.54 c #Conflicts: 256000 | #Constraints: 23459
531.94/533.54 c INPROCESSING
531.94/533.54 c GARBAGE COLLECT
531.94/533.54 c rational objective 1.09615e-12
563.05/564.71 c #Conflicts: 257000 | #Constraints: 14461
563.05/564.71 c #Conflicts: 258000 | #Constraints: 15461
563.05/564.71 c #Conflicts: 259000 | #Constraints: 16461
563.05/564.71 c #Conflicts: 260000 | #Constraints: 17461
563.05/564.71 c #Conflicts: 261000 | #Constraints: 18461
563.05/564.71 c #Conflicts: 262000 | #Constraints: 19461
563.05/564.71 c #Conflicts: 263000 | #Constraints: 20461
563.05/564.71 c #Conflicts: 264000 | #Constraints: 21461
563.05/564.71 c #Conflicts: 265000 | #Constraints: 22461
563.05/564.71 c #Conflicts: 266000 | #Constraints: 23461
563.05/564.71 c INPROCESSING
563.05/564.71 c GARBAGE COLLECT
563.05/564.71 c rational objective 1.09615e-12
593.15/594.93 c #Conflicts: 267000 | #Constraints: 14255
593.15/594.93 c #Conflicts: 268000 | #Constraints: 15255
593.15/594.93 c #Conflicts: 269000 | #Constraints: 16255
593.15/594.93 c #Conflicts: 270000 | #Constraints: 17255
593.15/594.93 c #Conflicts: 271000 | #Constraints: 18255
593.15/594.93 c #Conflicts: 272000 | #Constraints: 19255
593.15/594.93 c #Conflicts: 273000 | #Constraints: 20255
593.15/594.93 c #Conflicts: 274000 | #Constraints: 21255
593.15/594.93 c #Conflicts: 275000 | #Constraints: 22255
593.15/594.93 c #Conflicts: 276000 | #Constraints: 23255
593.15/594.93 c #Conflicts: 277000 | #Constraints: 24255
593.15/594.93 c INPROCESSING
593.15/594.93 c GARBAGE COLLECT
593.15/594.93 c rational objective 1.09615e-12
617.67/619.58 c #Conflicts: 278000 | #Constraints: 14844
617.67/619.58 c #Conflicts: 279000 | #Constraints: 15844
617.67/619.58 c #Conflicts: 280000 | #Constraints: 16844
617.67/619.58 c #Conflicts: 281000 | #Constraints: 17844
617.67/619.58 c #Conflicts: 282000 | #Constraints: 18844
617.67/619.58 c #Conflicts: 283000 | #Constraints: 19844
617.67/619.58 c #Conflicts: 284000 | #Constraints: 20844
617.67/619.58 c #Conflicts: 285000 | #Constraints: 21844
617.67/619.58 c #Conflicts: 286000 | #Constraints: 22844
617.67/619.58 c #Conflicts: 287000 | #Constraints: 23844
617.67/619.58 c #Conflicts: 288000 | #Constraints: 24844
617.67/619.58 c INPROCESSING
617.67/619.58 c GARBAGE COLLECT
617.67/619.58 c rational objective 1.09615e-12
646.19/648.14 c #Conflicts: 289000 | #Constraints: 15247
646.19/648.14 c #Conflicts: 290000 | #Constraints: 16247
646.19/648.14 c #Conflicts: 291000 | #Constraints: 17247
646.19/648.14 c #Conflicts: 292000 | #Constraints: 18247
646.19/648.14 c #Conflicts: 293000 | #Constraints: 19247
646.19/648.14 c #Conflicts: 294000 | #Constraints: 20247
646.19/648.14 c #Conflicts: 295000 | #Constraints: 21247
646.19/648.14 c #Conflicts: 296000 | #Constraints: 22247
646.19/648.14 c #Conflicts: 297000 | #Constraints: 23247
646.19/648.14 c #Conflicts: 298000 | #Constraints: 24247
646.19/648.14 c #Conflicts: 299000 | #Constraints: 25247
646.19/648.14 c INPROCESSING
646.19/648.14 c GARBAGE COLLECT
646.19/648.14 c rational objective 1.09615e-12
673.90/675.91 c #Conflicts: 300000 | #Constraints: 15451
673.90/675.91 c #Conflicts: 301000 | #Constraints: 16451
673.90/675.91 c #Conflicts: 302000 | #Constraints: 17451
673.90/675.91 c #Conflicts: 303000 | #Constraints: 18451
673.90/675.91 c #Conflicts: 304000 | #Constraints: 19451
673.90/675.91 c #Conflicts: 305000 | #Constraints: 20451
673.90/675.91 c #Conflicts: 306000 | #Constraints: 21451
673.90/675.91 c #Conflicts: 307000 | #Constraints: 22451
673.90/675.91 c #Conflicts: 308000 | #Constraints: 23451
673.90/675.91 c #Conflicts: 309000 | #Constraints: 24451
673.90/675.91 c #Conflicts: 310000 | #Constraints: 25451
673.90/675.91 c INPROCESSING
673.90/675.91 c GARBAGE COLLECT
673.90/675.91 c rational objective 1.09615e-12
708.69/710.85 c #Conflicts: 311000 | #Constraints: 15457
708.69/710.85 c #Conflicts: 312000 | #Constraints: 16457
708.69/710.85 c #Conflicts: 313000 | #Constraints: 17457
708.69/710.85 c #Conflicts: 314000 | #Constraints: 18457
708.69/710.85 c #Conflicts: 315000 | #Constraints: 19457
708.69/710.85 c #Conflicts: 316000 | #Constraints: 20457
708.69/710.85 c #Conflicts: 317000 | #Constraints: 21457
708.69/710.85 c #Conflicts: 318000 | #Constraints: 22457
708.69/710.85 c #Conflicts: 319000 | #Constraints: 23457
708.69/710.85 c #Conflicts: 320000 | #Constraints: 24457
708.69/710.85 c #Conflicts: 321000 | #Constraints: 25457
708.69/710.85 c INPROCESSING
708.69/710.85 c GARBAGE COLLECT
708.69/710.85 c rational objective 1.09615e-12
733.50/735.72 c #Conflicts: 322000 | #Constraints: 15255
733.50/735.72 c #Conflicts: 323000 | #Constraints: 16255
733.50/735.72 c #Conflicts: 324000 | #Constraints: 17255
733.50/735.72 c #Conflicts: 325000 | #Constraints: 18255
733.50/735.72 c #Conflicts: 326000 | #Constraints: 19255
733.50/735.72 c #Conflicts: 327000 | #Constraints: 20255
733.50/735.72 c #Conflicts: 328000 | #Constraints: 21255
733.50/735.72 c #Conflicts: 329000 | #Constraints: 22255
733.50/735.72 c #Conflicts: 330000 | #Constraints: 23255
733.50/735.72 c #Conflicts: 331000 | #Constraints: 24255
733.50/735.72 c #Conflicts: 332000 | #Constraints: 25255
733.50/735.72 c #Conflicts: 333000 | #Constraints: 26255
733.50/735.72 c INPROCESSING
733.50/735.72 c GARBAGE COLLECT
733.50/735.72 c rational objective 1.09615e-12
764.90/767.27 c #Conflicts: 334000 | #Constraints: 15864
764.90/767.27 c #Conflicts: 335000 | #Constraints: 16864
764.90/767.27 c #Conflicts: 336000 | #Constraints: 17864
764.90/767.27 c #Conflicts: 337000 | #Constraints: 18864
764.90/767.27 c #Conflicts: 338000 | #Constraints: 19864
764.90/767.27 c #Conflicts: 339000 | #Constraints: 20864
764.90/767.27 c #Conflicts: 340000 | #Constraints: 21864
764.90/767.27 c #Conflicts: 341000 | #Constraints: 22864
764.90/767.27 c #Conflicts: 342000 | #Constraints: 23864
764.90/767.27 c #Conflicts: 343000 | #Constraints: 24864
764.90/767.27 c #Conflicts: 344000 | #Constraints: 25864
764.90/767.27 c #Conflicts: 345000 | #Constraints: 26864
764.90/767.27 c INPROCESSING
764.90/767.27 c GARBAGE COLLECT
764.90/767.27 c rational objective 1.09615e-12
802.79/805.28 c #Conflicts: 346000 | #Constraints: 16261
802.79/805.28 c #Conflicts: 347000 | #Constraints: 17261
802.79/805.28 c #Conflicts: 348000 | #Constraints: 18261
802.79/805.28 c #Conflicts: 349000 | #Constraints: 19261
802.79/805.28 c #Conflicts: 350000 | #Constraints: 20261
802.79/805.28 c #Conflicts: 351000 | #Constraints: 21261
802.79/805.28 c #Conflicts: 352000 | #Constraints: 22261
802.79/805.28 c #Conflicts: 353000 | #Constraints: 23261
802.79/805.28 c #Conflicts: 354000 | #Constraints: 24261
802.79/805.28 c #Conflicts: 355000 | #Constraints: 25261
802.79/805.28 c #Conflicts: 356000 | #Constraints: 26261
802.79/805.28 c #Conflicts: 357000 | #Constraints: 27261
802.79/805.28 c INPROCESSING
802.79/805.28 c GARBAGE COLLECT
802.79/805.28 c rational objective 1.09615e-12
837.18/839.79 c #Conflicts: 358000 | #Constraints: 16445
837.18/839.79 c #Conflicts: 359000 | #Constraints: 17445
837.18/839.79 c #Conflicts: 360000 | #Constraints: 18445
837.18/839.79 c #Conflicts: 361000 | #Constraints: 19445
837.18/839.79 c #Conflicts: 362000 | #Constraints: 20446
837.18/839.79 c #Conflicts: 363000 | #Constraints: 21446
837.18/839.79 c #Conflicts: 364000 | #Constraints: 22446
837.18/839.79 c #Conflicts: 365000 | #Constraints: 23446
837.18/839.79 c #Conflicts: 366000 | #Constraints: 24446
837.18/839.79 c #Conflicts: 367000 | #Constraints: 25446
837.18/839.79 c #Conflicts: 368000 | #Constraints: 26446
837.18/839.79 c #Conflicts: 369000 | #Constraints: 27446
837.18/839.79 c INPROCESSING
837.18/839.79 c GARBAGE COLLECT
837.18/839.79 c rational objective 1.09615e-12
869.88/872.56 c #Conflicts: 370000 | #Constraints: 16448
869.88/872.56 c #Conflicts: 371000 | #Constraints: 17448
869.88/872.56 c #Conflicts: 372000 | #Constraints: 18448
869.88/872.56 c #Conflicts: 373000 | #Constraints: 19448
869.88/872.56 c #Conflicts: 374000 | #Constraints: 20448
869.88/872.56 c #Conflicts: 375000 | #Constraints: 21448
869.88/872.56 c #Conflicts: 376000 | #Constraints: 22448
869.88/872.56 c #Conflicts: 377000 | #Constraints: 23448
869.88/872.56 c #Conflicts: 378000 | #Constraints: 24448
869.88/872.56 c #Conflicts: 379000 | #Constraints: 25448
869.88/872.56 c #Conflicts: 380000 | #Constraints: 26448
869.88/872.56 c #Conflicts: 381000 | #Constraints: 27448
869.88/872.56 c INPROCESSING
869.88/872.56 c GARBAGE COLLECT
869.88/872.56 c rational objective 1.09615e-12
909.65/912.45 c #Conflicts: 382000 | #Constraints: 16243
909.65/912.45 c #Conflicts: 383000 | #Constraints: 17243
909.65/912.45 c #Conflicts: 384000 | #Constraints: 18243
909.65/912.45 c #Conflicts: 385000 | #Constraints: 19243
909.65/912.45 c #Conflicts: 386000 | #Constraints: 20243
909.65/912.45 c #Conflicts: 387000 | #Constraints: 21243
909.65/912.45 c #Conflicts: 388000 | #Constraints: 22243
909.65/912.45 c #Conflicts: 389000 | #Constraints: 23243
909.65/912.45 c #Conflicts: 390000 | #Constraints: 24243
909.65/912.45 c #Conflicts: 391000 | #Constraints: 25243
909.65/912.45 c #Conflicts: 392000 | #Constraints: 26243
909.65/912.45 c #Conflicts: 393000 | #Constraints: 27243
909.65/912.45 c #Conflicts: 394000 | #Constraints: 28243
909.65/912.45 c INPROCESSING
909.65/912.45 c GARBAGE COLLECT
909.65/912.45 c rational objective 1.09615e-12
949.92/952.80 c #Conflicts: 395000 | #Constraints: 16861
949.92/952.80 c #Conflicts: 396000 | #Constraints: 17861
949.92/952.80 c #Conflicts: 397000 | #Constraints: 18861
949.92/952.80 c #Conflicts: 398000 | #Constraints: 19861
949.92/952.80 c #Conflicts: 399000 | #Constraints: 20861
949.92/952.80 c #Conflicts: 400000 | #Constraints: 21861
949.92/952.80 c #Conflicts: 401000 | #Constraints: 22861
949.92/952.80 c #Conflicts: 402000 | #Constraints: 23861
949.92/952.80 c #Conflicts: 403000 | #Constraints: 24861
949.92/952.80 c #Conflicts: 404000 | #Constraints: 25861
949.92/952.80 c #Conflicts: 405000 | #Constraints: 26861
949.92/952.80 c #Conflicts: 406000 | #Constraints: 27861
949.92/952.80 c #Conflicts: 407000 | #Constraints: 28861
949.92/952.80 c INPROCESSING
949.92/952.80 c GARBAGE COLLECT
949.92/952.80 c rational objective 1.09615e-12
996.28/999.30 c #Conflicts: 408000 | #Constraints: 17250
996.28/999.30 c #Conflicts: 409000 | #Constraints: 18250
996.28/999.30 c #Conflicts: 410000 | #Constraints: 19250
996.28/999.30 c #Conflicts: 411000 | #Constraints: 20250
996.28/999.30 c #Conflicts: 412000 | #Constraints: 21250
996.28/999.30 c #Conflicts: 413000 | #Constraints: 22250
996.28/999.30 c #Conflicts: 414000 | #Constraints: 23250
996.28/999.30 c #Conflicts: 415000 | #Constraints: 24250
996.28/999.30 c #Conflicts: 416000 | #Constraints: 25250
996.28/999.30 c #Conflicts: 417000 | #Constraints: 26250
996.28/999.30 c #Conflicts: 418000 | #Constraints: 27250
996.28/999.30 c #Conflicts: 419000 | #Constraints: 28250
996.28/999.30 c #Conflicts: 420000 | #Constraints: 29250
996.28/999.30 c INPROCESSING
996.28/999.30 c GARBAGE COLLECT
996.28/999.30 c rational objective 1.09615e-12
1056.28/1059.59 c #Conflicts: 421000 | #Constraints: 17462
1056.28/1059.59 c #Conflicts: 422000 | #Constraints: 18462
1056.28/1059.59 c #Conflicts: 423000 | #Constraints: 19462
1056.28/1059.59 c #Conflicts: 424000 | #Constraints: 20462
1056.28/1059.59 c #Conflicts: 425000 | #Constraints: 21462
1056.28/1059.59 c #Conflicts: 426000 | #Constraints: 22462
1056.28/1059.59 c #Conflicts: 427000 | #Constraints: 23462
1056.28/1059.59 c #Conflicts: 428000 | #Constraints: 24462
1056.28/1059.59 c #Conflicts: 429000 | #Constraints: 25462
1056.28/1059.59 c #Conflicts: 430000 | #Constraints: 26462
1056.28/1059.59 c #Conflicts: 431000 | #Constraints: 27462
1056.28/1059.59 c #Conflicts: 432000 | #Constraints: 28462
1056.28/1059.59 c #Conflicts: 433000 | #Constraints: 29462
1056.28/1059.59 c INPROCESSING
1056.28/1059.59 c GARBAGE COLLECT
1056.28/1059.59 c rational objective 1.09615e-12
1098.44/1101.82 c #Conflicts: 434000 | #Constraints: 17451
1098.44/1101.82 c #Conflicts: 435000 | #Constraints: 18451
1098.44/1101.82 c #Conflicts: 436000 | #Constraints: 19451
1098.44/1101.82 c #Conflicts: 437000 | #Constraints: 20451
1098.44/1101.82 c #Conflicts: 438000 | #Constraints: 21451
1098.44/1101.82 c #Conflicts: 439000 | #Constraints: 22451
1098.44/1101.82 c #Conflicts: 440000 | #Constraints: 23451
1098.44/1101.82 c #Conflicts: 441000 | #Constraints: 24451
1098.44/1101.82 c #Conflicts: 442000 | #Constraints: 25451
1098.44/1101.82 c #Conflicts: 443000 | #Constraints: 26451
1098.44/1101.82 c #Conflicts: 444000 | #Constraints: 27451
1098.44/1101.82 c #Conflicts: 445000 | #Constraints: 28451
1098.44/1101.82 c #Conflicts: 446000 | #Constraints: 29451
1098.44/1101.82 c INPROCESSING
1098.44/1101.82 c GARBAGE COLLECT
1098.44/1101.82 c rational objective 1.09615e-12
1135.71/1139.26 c #Conflicts: 447000 | #Constraints: 17266
1135.71/1139.26 c #Conflicts: 448000 | #Constraints: 18266
1135.71/1139.26 c #Conflicts: 449000 | #Constraints: 19266
1135.71/1139.26 c #Conflicts: 450000 | #Constraints: 20266
1135.71/1139.26 c #Conflicts: 451000 | #Constraints: 21266
1135.71/1139.26 c #Conflicts: 452000 | #Constraints: 22266
1135.71/1139.26 c #Conflicts: 453000 | #Constraints: 23266
1135.71/1139.26 c #Conflicts: 454000 | #Constraints: 24266
1135.71/1139.26 c #Conflicts: 455000 | #Constraints: 25266
1135.71/1139.26 c #Conflicts: 456000 | #Constraints: 26266
1135.71/1139.26 c #Conflicts: 457000 | #Constraints: 27266
1135.71/1139.26 c #Conflicts: 458000 | #Constraints: 28266
1135.71/1139.26 c #Conflicts: 459000 | #Constraints: 29266
1135.71/1139.26 c #Conflicts: 460000 | #Constraints: 30266
1135.71/1139.26 c INPROCESSING
1135.71/1139.26 c GARBAGE COLLECT
1135.71/1139.26 c rational objective 1.09615e-12
1174.77/1178.42 c #Conflicts: 461000 | #Constraints: 17861
1174.77/1178.42 c #Conflicts: 462000 | #Constraints: 18861
1174.77/1178.42 c #Conflicts: 463000 | #Constraints: 19861
1174.77/1178.42 c #Conflicts: 464000 | #Constraints: 20861
1174.77/1178.42 c #Conflicts: 465000 | #Constraints: 21861
1174.77/1178.42 c #Conflicts: 466000 | #Constraints: 22861
1174.77/1178.42 c #Conflicts: 467000 | #Constraints: 23861
1174.77/1178.42 c #Conflicts: 468000 | #Constraints: 24861
1174.77/1178.42 c #Conflicts: 469000 | #Constraints: 25861
1174.77/1178.42 c #Conflicts: 470000 | #Constraints: 26861
1174.77/1178.42 c #Conflicts: 471000 | #Constraints: 27861
1174.77/1178.42 c #Conflicts: 472000 | #Constraints: 28861
1174.77/1178.42 c #Conflicts: 473000 | #Constraints: 29861
1174.77/1178.42 c #Conflicts: 474000 | #Constraints: 30861
1174.77/1178.42 c INPROCESSING
1174.77/1178.42 c GARBAGE COLLECT
1174.77/1178.42 c rational objective 1.09615e-12
1236.37/1240.29 c #Conflicts: 475000 | #Constraints: 18253
1236.37/1240.29 c #Conflicts: 476000 | #Constraints: 19253
1236.37/1240.29 c #Conflicts: 477000 | #Constraints: 20253
1236.37/1240.29 c #Conflicts: 478000 | #Constraints: 21253
1236.37/1240.29 c #Conflicts: 479000 | #Constraints: 22253
1236.37/1240.29 c #Conflicts: 480000 | #Constraints: 23253
1236.37/1240.29 c #Conflicts: 481000 | #Constraints: 24253
1236.37/1240.29 c #Conflicts: 482000 | #Constraints: 25253
1236.37/1240.29 c #Conflicts: 483000 | #Constraints: 26253
1236.37/1240.29 c #Conflicts: 484000 | #Constraints: 27253
1236.37/1240.29 c #Conflicts: 485000 | #Constraints: 28253
1236.37/1240.29 c #Conflicts: 486000 | #Constraints: 29253
1236.37/1240.29 c #Conflicts: 487000 | #Constraints: 30253
1236.37/1240.29 c #Conflicts: 488000 | #Constraints: 31253
1236.37/1240.29 c INPROCESSING
1236.37/1240.29 c GARBAGE COLLECT
1236.37/1240.29 c rational objective 1.09615e-12
1301.14/1305.27 c #Conflicts: 489000 | #Constraints: 18455
1301.14/1305.27 c #Conflicts: 490000 | #Constraints: 19455
1301.14/1305.27 c #Conflicts: 491000 | #Constraints: 20455
1301.14/1305.27 c #Conflicts: 492000 | #Constraints: 21455
1301.14/1305.27 c #Conflicts: 493000 | #Constraints: 22455
1301.14/1305.27 c #Conflicts: 494000 | #Constraints: 23455
1301.14/1305.27 c #Conflicts: 495000 | #Constraints: 24455
1301.14/1305.27 c #Conflicts: 496000 | #Constraints: 25455
1301.14/1305.27 c #Conflicts: 497000 | #Constraints: 26455
1301.14/1305.27 c #Conflicts: 498000 | #Constraints: 27455
1301.14/1305.27 c #Conflicts: 499000 | #Constraints: 28455
1301.14/1305.27 c #Conflicts: 500000 | #Constraints: 29455
1301.14/1305.27 c #Conflicts: 501000 | #Constraints: 30455
1301.14/1305.27 c #Conflicts: 502000 | #Constraints: 31455
1301.14/1305.27 c INPROCESSING
1301.14/1305.27 c GARBAGE COLLECT
1301.14/1305.27 c rational objective 1.09615e-12
1361.89/1366.18 c #Conflicts: 503000 | #Constraints: 18461
1361.89/1366.18 c #Conflicts: 504000 | #Constraints: 19461
1361.89/1366.18 c #Conflicts: 505000 | #Constraints: 20461
1361.89/1366.18 c #Conflicts: 506000 | #Constraints: 21461
1361.89/1366.18 c #Conflicts: 507000 | #Constraints: 22461
1361.89/1366.18 c #Conflicts: 508000 | #Constraints: 23461
1361.89/1366.18 c #Conflicts: 509000 | #Constraints: 24461
1361.89/1366.18 c #Conflicts: 510000 | #Constraints: 25461
1361.89/1366.18 c #Conflicts: 511000 | #Constraints: 26461
1361.89/1366.18 c #Conflicts: 512000 | #Constraints: 27461
1361.89/1366.18 c #Conflicts: 513000 | #Constraints: 28461
1361.89/1366.18 c #Conflicts: 514000 | #Constraints: 29461
1361.89/1366.18 c #Conflicts: 515000 | #Constraints: 30461
1361.89/1366.18 c #Conflicts: 516000 | #Constraints: 31461
1361.89/1366.18 c INPROCESSING
1361.89/1366.18 c GARBAGE COLLECT
1361.89/1366.18 c rational objective 1.09615e-12
1416.05/1420.43 c #Conflicts: 517000 | #Constraints: 18257
1416.05/1420.43 c #Conflicts: 518000 | #Constraints: 19257
1416.05/1420.43 c #Conflicts: 519000 | #Constraints: 20257
1416.05/1420.43 c #Conflicts: 520000 | #Constraints: 21257
1416.05/1420.43 c #Conflicts: 521000 | #Constraints: 22257
1416.05/1420.43 c #Conflicts: 522000 | #Constraints: 23257
1416.05/1420.43 c #Conflicts: 523000 | #Constraints: 24257
1416.05/1420.43 c #Conflicts: 524000 | #Constraints: 25257
1416.05/1420.43 c #Conflicts: 525000 | #Constraints: 26257
1416.05/1420.43 c #Conflicts: 526000 | #Constraints: 27257
1416.05/1420.43 c #Conflicts: 527000 | #Constraints: 28257
1416.05/1420.43 c #Conflicts: 528000 | #Constraints: 29257
1416.05/1420.43 c #Conflicts: 529000 | #Constraints: 30257
1416.05/1420.43 c #Conflicts: 530000 | #Constraints: 31257
1416.05/1420.43 c #Conflicts: 531000 | #Constraints: 32257
1416.05/1420.43 c INPROCESSING
1416.05/1420.43 c GARBAGE COLLECT
1416.05/1420.43 c rational objective 1.09615e-12
1476.28/1480.85 c #Conflicts: 532000 | #Constraints: 18856
1476.28/1480.85 c #Conflicts: 533000 | #Constraints: 19856
1476.28/1480.85 c #Conflicts: 534000 | #Constraints: 20856
1476.28/1480.85 c #Conflicts: 535000 | #Constraints: 21856
1476.28/1480.85 c #Conflicts: 536000 | #Constraints: 22856
1476.28/1480.85 c #Conflicts: 537000 | #Constraints: 23856
1476.28/1480.85 c #Conflicts: 538000 | #Constraints: 24856
1476.28/1480.85 c #Conflicts: 539000 | #Constraints: 25856
1476.28/1480.85 c #Conflicts: 540000 | #Constraints: 26856
1476.28/1480.85 c #Conflicts: 541000 | #Constraints: 27856
1476.28/1480.85 c #Conflicts: 542000 | #Constraints: 28856
1476.28/1480.85 c #Conflicts: 543000 | #Constraints: 29856
1476.28/1480.85 c #Conflicts: 544000 | #Constraints: 30856
1476.28/1480.85 c #Conflicts: 545000 | #Constraints: 31856
1476.28/1480.85 c #Conflicts: 546000 | #Constraints: 32856
1476.28/1480.85 c INPROCESSING
1476.28/1480.85 c GARBAGE COLLECT
1476.28/1480.85 c rational objective 1.09615e-12
1529.24/1533.99 c #Conflicts: 547000 | #Constraints: 19253
1529.24/1533.99 c #Conflicts: 548000 | #Constraints: 20253
1529.24/1533.99 c #Conflicts: 549000 | #Constraints: 21253
1529.24/1533.99 c #Conflicts: 550000 | #Constraints: 22253
1529.24/1533.99 c #Conflicts: 551000 | #Constraints: 23253
1529.24/1533.99 c #Conflicts: 552000 | #Constraints: 24253
1529.24/1533.99 c #Conflicts: 553000 | #Constraints: 25253
1529.24/1533.99 c #Conflicts: 554000 | #Constraints: 26253
1529.24/1533.99 c #Conflicts: 555000 | #Constraints: 27253
1529.24/1533.99 c #Conflicts: 556000 | #Constraints: 28253
1529.24/1533.99 c #Conflicts: 557000 | #Constraints: 29253
1529.24/1533.99 c #Conflicts: 558000 | #Constraints: 30253
1529.24/1533.99 c #Conflicts: 559000 | #Constraints: 31253
1529.24/1533.99 c #Conflicts: 560000 | #Constraints: 32253
1529.24/1533.99 c #Conflicts: 561000 | #Constraints: 33253
1529.24/1533.99 c INPROCESSING
1529.24/1533.99 c GARBAGE COLLECT
1529.24/1533.99 c rational objective 1.09615e-12
1586.00/1590.80 c #Conflicts: 562000 | #Constraints: 19461
1586.00/1590.80 c #Conflicts: 563000 | #Constraints: 20461
1586.00/1590.80 c #Conflicts: 564000 | #Constraints: 21461
1586.00/1590.80 c #Conflicts: 565000 | #Constraints: 22461
1586.00/1590.80 c #Conflicts: 566000 | #Constraints: 23461
1586.00/1590.80 c #Conflicts: 567000 | #Constraints: 24461
1586.00/1590.80 c #Conflicts: 568000 | #Constraints: 25461
1586.00/1590.80 c #Conflicts: 569000 | #Constraints: 26461
1586.00/1590.80 c #Conflicts: 570000 | #Constraints: 27461
1586.00/1590.80 c #Conflicts: 571000 | #Constraints: 28461
1586.00/1590.80 c #Conflicts: 572000 | #Constraints: 29461
1586.00/1590.80 c #Conflicts: 573000 | #Constraints: 30461
1586.00/1590.80 c #Conflicts: 574000 | #Constraints: 31461
1586.00/1590.80 c #Conflicts: 575000 | #Constraints: 32461
1586.00/1590.80 c #Conflicts: 576000 | #Constraints: 33461
1586.00/1590.80 c INPROCESSING
1586.00/1590.80 c GARBAGE COLLECT
1586.00/1590.80 c rational objective 1.09615e-12
1643.45/1648.46 c #Conflicts: 577000 | #Constraints: 19459
1643.45/1648.46 c #Conflicts: 578000 | #Constraints: 20459
1643.45/1648.46 c #Conflicts: 579000 | #Constraints: 21459
1643.45/1648.46 c #Conflicts: 580000 | #Constraints: 22459
1643.45/1648.46 c #Conflicts: 581000 | #Constraints: 23459
1643.45/1648.46 c #Conflicts: 582000 | #Constraints: 24459
1643.45/1648.46 c #Conflicts: 583000 | #Constraints: 25459
1643.45/1648.46 c #Conflicts: 584000 | #Constraints: 26459
1643.45/1648.46 c #Conflicts: 585000 | #Constraints: 27459
1643.45/1648.46 c #Conflicts: 586000 | #Constraints: 28459
1643.45/1648.46 c #Conflicts: 587000 | #Constraints: 29459
1643.45/1648.46 c #Conflicts: 588000 | #Constraints: 30459
1643.45/1648.46 c #Conflicts: 589000 | #Constraints: 31459
1643.45/1648.46 c #Conflicts: 590000 | #Constraints: 32459
1643.45/1648.46 c #Conflicts: 591000 | #Constraints: 33459
1643.45/1648.46 c INPROCESSING
1643.45/1648.46 c GARBAGE COLLECT
1643.45/1648.46 c rational objective 1.09615e-12
1698.92/1704.00 c #Conflicts: 592000 | #Constraints: 19264
1698.92/1704.00 c #Conflicts: 593000 | #Constraints: 20264
1698.92/1704.00 c #Conflicts: 594000 | #Constraints: 21264
1698.92/1704.00 c #Conflicts: 595000 | #Constraints: 22264
1698.92/1704.00 c #Conflicts: 596000 | #Constraints: 23264
1698.92/1704.00 c #Conflicts: 597000 | #Constraints: 24264
1698.92/1704.00 c #Conflicts: 598000 | #Constraints: 25264
1698.92/1704.00 c #Conflicts: 599000 | #Constraints: 26264
1698.92/1704.00 c #Conflicts: 600000 | #Constraints: 27264
1698.92/1704.00 c #Conflicts: 601000 | #Constraints: 28264
1698.92/1704.00 c #Conflicts: 602000 | #Constraints: 29264
1698.92/1704.00 c #Conflicts: 603000 | #Constraints: 30264
1698.92/1704.00 c #Conflicts: 604000 | #Constraints: 31264
1698.92/1704.00 c #Conflicts: 605000 | #Constraints: 32264
1698.92/1704.00 c #Conflicts: 606000 | #Constraints: 33264
1698.92/1704.00 c #Conflicts: 607000 | #Constraints: 34264
1698.92/1704.00 c INPROCESSING
1698.92/1704.00 c GARBAGE COLLECT
1698.92/1704.00 c rational objective 1.09615e-12
1769.33/1774.67 c #Conflicts: 608000 | #Constraints: 19869
1769.33/1774.67 c #Conflicts: 609000 | #Constraints: 20869
1769.33/1774.67 c #Conflicts: 610000 | #Constraints: 21869
1769.33/1774.67 c #Conflicts: 611000 | #Constraints: 22869
1769.33/1774.67 c #Conflicts: 612000 | #Constraints: 23869
1769.33/1774.67 c #Conflicts: 613000 | #Constraints: 24869
1769.33/1774.67 c #Conflicts: 614000 | #Constraints: 25869
1769.33/1774.67 c #Conflicts: 615000 | #Constraints: 26869
1769.33/1774.67 c #Conflicts: 616000 | #Constraints: 27869
1769.33/1774.67 c #Conflicts: 617000 | #Constraints: 28869
1769.33/1774.67 c #Conflicts: 618000 | #Constraints: 29869
1769.33/1774.67 c #Conflicts: 619000 | #Constraints: 30869
1769.33/1774.67 c #Conflicts: 620000 | #Constraints: 31869
1769.33/1774.67 c #Conflicts: 621000 | #Constraints: 32869
1769.33/1774.67 c #Conflicts: 622000 | #Constraints: 33869
1769.33/1774.67 c #Conflicts: 623000 | #Constraints: 34869
1769.33/1774.67 c INPROCESSING
1769.33/1774.67 c GARBAGE COLLECT
1769.33/1774.67 c rational objective 1.09615e-12
1830.87/1836.30 c #Conflicts: 624000 | #Constraints: 20262
1830.87/1836.30 c #Conflicts: 625000 | #Constraints: 21262
1830.87/1836.30 c #Conflicts: 626000 | #Constraints: 22262
1830.87/1836.30 c #Conflicts: 627000 | #Constraints: 23262
1830.87/1836.30 c #Conflicts: 628000 | #Constraints: 24262
1830.87/1836.30 c #Conflicts: 629000 | #Constraints: 25262
1830.87/1836.30 c #Conflicts: 630000 | #Constraints: 26262
1830.87/1836.30 c #Conflicts: 631000 | #Constraints: 27262
1830.87/1836.30 c #Conflicts: 632000 | #Constraints: 28262
1830.87/1836.30 c #Conflicts: 633000 | #Constraints: 29262
1830.87/1836.30 c #Conflicts: 634000 | #Constraints: 30262
1830.87/1836.30 c #Conflicts: 635000 | #Constraints: 31262
1830.87/1836.30 c #Conflicts: 636000 | #Constraints: 32262
1830.87/1836.30 c #Conflicts: 637000 | #Constraints: 33263
1830.87/1836.30 c #Conflicts: 638000 | #Constraints: 34263
1830.87/1836.30 c #Conflicts: 639000 | #Constraints: 35263
1830.87/1836.30 c INPROCESSING
1830.87/1836.30 c GARBAGE COLLECT
1830.87/1836.30 c rational objective 1.09615e-12
1887.23/1892.86 c #Conflicts: 640000 | #Constraints: 20464
1887.23/1892.86 c #Conflicts: 641000 | #Constraints: 21464
1887.23/1892.86 c #Conflicts: 642000 | #Constraints: 22464
1887.23/1892.86 c #Conflicts: 643000 | #Constraints: 23464
1887.23/1892.86 c #Conflicts: 644000 | #Constraints: 24464
1887.23/1892.86 c #Conflicts: 645000 | #Constraints: 25464
1887.23/1892.86 c #Conflicts: 646000 | #Constraints: 26464
1887.23/1892.86 c #Conflicts: 647000 | #Constraints: 27464
1887.23/1892.86 c #Conflicts: 648000 | #Constraints: 28464
1887.23/1892.86 c #Conflicts: 649000 | #Constraints: 29464
1887.23/1892.86 c #Conflicts: 650000 | #Constraints: 30464
1887.23/1892.86 c #Conflicts: 651000 | #Constraints: 31464
1887.23/1892.86 c #Conflicts: 652000 | #Constraints: 32464
1887.23/1892.86 c #Conflicts: 653000 | #Constraints: 33464
1887.23/1892.86 c #Conflicts: 654000 | #Constraints: 34464
1887.23/1892.86 c #Conflicts: 655000 | #Constraints: 35464
1887.23/1892.86 c INPROCESSING
1887.23/1892.86 c GARBAGE COLLECT
1887.23/1892.86 c rational objective 1.09615e-12
1954.06/1959.85 c #Conflicts: 656000 | #Constraints: 20459
1954.06/1959.85 c #Conflicts: 657000 | #Constraints: 21459
1954.06/1959.85 c #Conflicts: 658000 | #Constraints: 22459
1954.06/1959.85 c #Conflicts: 659000 | #Constraints: 23459
1954.06/1959.85 c #Conflicts: 660000 | #Constraints: 24459
1954.06/1959.85 c #Conflicts: 661000 | #Constraints: 25459
1954.06/1959.85 c #Conflicts: 662000 | #Constraints: 26459
1954.06/1959.85 c #Conflicts: 663000 | #Constraints: 27459
1954.06/1959.85 c #Conflicts: 664000 | #Constraints: 28459
1954.06/1959.85 c #Conflicts: 665000 | #Constraints: 29459
1954.06/1959.85 c #Conflicts: 666000 | #Constraints: 30459
1954.06/1959.85 c #Conflicts: 667000 | #Constraints: 31459
1954.06/1959.85 c #Conflicts: 668000 | #Constraints: 32459
1954.06/1959.85 c #Conflicts: 669000 | #Constraints: 33459
1954.06/1959.85 c #Conflicts: 670000 | #Constraints: 34459
1954.06/1959.85 c #Conflicts: 671000 | #Constraints: 35459
1954.06/1959.85 c INPROCESSING
1954.06/1959.85 c GARBAGE COLLECT
1954.06/1959.85 c rational objective 1.09615e-12
2014.21/2020.18 c #Conflicts: 672000 | #Constraints: 20250
2014.21/2020.18 c #Conflicts: 673000 | #Constraints: 21250
2014.21/2020.18 c #Conflicts: 674000 | #Constraints: 22250
2014.21/2020.18 c #Conflicts: 675000 | #Constraints: 23250
2014.21/2020.18 c #Conflicts: 676000 | #Constraints: 24250
2014.21/2020.18 c #Conflicts: 677000 | #Constraints: 25250
2014.21/2020.18 c #Conflicts: 678000 | #Constraints: 26250
2014.21/2020.18 c #Conflicts: 679000 | #Constraints: 27250
2014.21/2020.18 c #Conflicts: 680000 | #Constraints: 28250
2014.21/2020.18 c #Conflicts: 681000 | #Constraints: 29250
2014.21/2020.18 c #Conflicts: 682000 | #Constraints: 30250
2014.21/2020.18 c #Conflicts: 683000 | #Constraints: 31250
2014.21/2020.18 c #Conflicts: 684000 | #Constraints: 32250
2014.21/2020.18 c #Conflicts: 685000 | #Constraints: 33250
2014.21/2020.18 c #Conflicts: 686000 | #Constraints: 34250
2014.21/2020.18 c #Conflicts: 687000 | #Constraints: 35250
2014.21/2020.18 c #Conflicts: 688000 | #Constraints: 36250
2014.21/2020.18 c INPROCESSING
2014.21/2020.18 c GARBAGE COLLECT
2014.21/2020.18 c rational objective 1.09615e-12
2073.06/2079.17 c #Conflicts: 689000 | #Constraints: 20862
2073.06/2079.17 c #Conflicts: 690000 | #Constraints: 21862
2073.06/2079.17 c #Conflicts: 691000 | #Constraints: 22862
2073.06/2079.17 c #Conflicts: 692000 | #Constraints: 23862
2073.06/2079.17 c #Conflicts: 693000 | #Constraints: 24862
2073.06/2079.17 c #Conflicts: 694000 | #Constraints: 25862
2073.06/2079.17 c #Conflicts: 695000 | #Constraints: 26862
2073.06/2079.17 c #Conflicts: 696000 | #Constraints: 27862
2073.06/2079.17 c #Conflicts: 697000 | #Constraints: 28862
2073.06/2079.17 c #Conflicts: 698000 | #Constraints: 29862
2073.06/2079.17 c #Conflicts: 699000 | #Constraints: 30862
2073.06/2079.17 c #Conflicts: 700000 | #Constraints: 31862
2073.06/2079.17 c #Conflicts: 701000 | #Constraints: 32862
2073.06/2079.17 c #Conflicts: 702000 | #Constraints: 33862
2073.06/2079.17 c #Conflicts: 703000 | #Constraints: 34862
2073.06/2079.17 c #Conflicts: 704000 | #Constraints: 35862
2073.06/2079.17 c #Conflicts: 705000 | #Constraints: 36862
2073.06/2079.17 c INPROCESSING
2073.06/2079.17 c GARBAGE COLLECT
2073.06/2079.17 c rational objective 1.09615e-12
2146.86/2153.13 c #Conflicts: 706000 | #Constraints: 21263
2146.86/2153.13 c #Conflicts: 707000 | #Constraints: 22263
2146.86/2153.13 c #Conflicts: 708000 | #Constraints: 23263
2146.86/2153.13 c #Conflicts: 709000 | #Constraints: 24263
2146.86/2153.13 c #Conflicts: 710000 | #Constraints: 25263
2146.86/2153.13 c #Conflicts: 711000 | #Constraints: 26263
2146.86/2153.13 c #Conflicts: 712000 | #Constraints: 27263
2146.86/2153.13 c #Conflicts: 713000 | #Constraints: 28263
2146.86/2153.13 c #Conflicts: 714000 | #Constraints: 29263
2146.86/2153.13 c #Conflicts: 715000 | #Constraints: 30263
2146.86/2153.13 c #Conflicts: 716000 | #Constraints: 31263
2146.86/2153.13 c #Conflicts: 717000 | #Constraints: 32263
2146.86/2153.13 c #Conflicts: 718000 | #Constraints: 33263
2146.86/2153.13 c #Conflicts: 719000 | #Constraints: 34263
2146.86/2153.13 c #Conflicts: 720000 | #Constraints: 35263
2146.86/2153.13 c #Conflicts: 721000 | #Constraints: 36263
2146.86/2153.13 c #Conflicts: 722000 | #Constraints: 37263
2146.86/2153.13 c INPROCESSING
2146.86/2153.13 c GARBAGE COLLECT
2146.86/2153.13 c rational objective 1.09615e-12
2229.85/2236.31 c #Conflicts: 723000 | #Constraints: 21487
2229.85/2236.31 c #Conflicts: 724000 | #Constraints: 22487
2229.85/2236.31 c #Conflicts: 725000 | #Constraints: 23487
2229.85/2236.31 c #Conflicts: 726000 | #Constraints: 24487
2229.85/2236.31 c #Conflicts: 727000 | #Constraints: 25487
2229.85/2236.31 c #Conflicts: 728000 | #Constraints: 26487
2229.85/2236.31 c #Conflicts: 729000 | #Constraints: 27487
2229.85/2236.31 c #Conflicts: 730000 | #Constraints: 28487
2229.85/2236.31 c #Conflicts: 731000 | #Constraints: 29487
2229.85/2236.31 c #Conflicts: 732000 | #Constraints: 30487
2229.85/2236.31 c #Conflicts: 733000 | #Constraints: 31487
2229.85/2236.31 c #Conflicts: 734000 | #Constraints: 32487
2229.85/2236.31 c #Conflicts: 735000 | #Constraints: 33487
2229.85/2236.31 c #Conflicts: 736000 | #Constraints: 34487
2229.85/2236.31 c #Conflicts: 737000 | #Constraints: 35487
2229.85/2236.31 c #Conflicts: 738000 | #Constraints: 36487
2229.85/2236.31 c #Conflicts: 739000 | #Constraints: 37487
2229.85/2236.31 c INPROCESSING
2229.85/2236.31 c GARBAGE COLLECT
2229.85/2236.31 c rational objective 1.09615e-12
2311.04/2317.78 c #Conflicts: 740000 | #Constraints: 21471
2311.04/2317.78 c #Conflicts: 741000 | #Constraints: 22471
2311.04/2317.78 c #Conflicts: 742000 | #Constraints: 23471
2311.04/2317.78 c #Conflicts: 743000 | #Constraints: 24471
2311.04/2317.78 c #Conflicts: 744000 | #Constraints: 25471
2311.04/2317.78 c #Conflicts: 745000 | #Constraints: 26471
2311.04/2317.78 c #Conflicts: 746000 | #Constraints: 27471
2311.04/2317.78 c #Conflicts: 747000 | #Constraints: 28471
2311.04/2317.78 c #Conflicts: 748000 | #Constraints: 29471
2311.04/2317.78 c #Conflicts: 749000 | #Constraints: 30471
2311.04/2317.78 c #Conflicts: 750000 | #Constraints: 31471
2311.04/2317.78 c #Conflicts: 751000 | #Constraints: 32471
2311.04/2317.78 c #Conflicts: 752000 | #Constraints: 33471
2311.04/2317.78 c #Conflicts: 753000 | #Constraints: 34471
2311.04/2317.78 c #Conflicts: 754000 | #Constraints: 35471
2311.04/2317.78 c #Conflicts: 755000 | #Constraints: 36471
2311.04/2317.78 c #Conflicts: 756000 | #Constraints: 37471
2311.04/2317.78 c INPROCESSING
2311.04/2317.78 c GARBAGE COLLECT
2311.04/2317.78 c rational objective 1.09615e-12
2374.08/2380.96 c #Conflicts: 757000 | #Constraints: 21275
2374.08/2380.96 c #Conflicts: 758000 | #Constraints: 22275
2374.08/2380.96 c #Conflicts: 759000 | #Constraints: 23275
2374.08/2380.96 c #Conflicts: 760000 | #Constraints: 24275
2374.08/2380.96 c #Conflicts: 761000 | #Constraints: 25275
2374.08/2380.96 c #Conflicts: 762000 | #Constraints: 26275
2374.08/2380.96 c #Conflicts: 763000 | #Constraints: 27275
2374.08/2380.96 c #Conflicts: 764000 | #Constraints: 28275
2374.08/2380.96 c #Conflicts: 765000 | #Constraints: 29275
2374.08/2380.96 c #Conflicts: 766000 | #Constraints: 30275
2374.08/2380.96 c #Conflicts: 767000 | #Constraints: 31275
2374.08/2380.96 c #Conflicts: 768000 | #Constraints: 32275
2374.08/2380.96 c #Conflicts: 769000 | #Constraints: 33275
2374.08/2380.96 c #Conflicts: 770000 | #Constraints: 34275
2374.08/2380.96 c #Conflicts: 771000 | #Constraints: 35275
2374.08/2380.96 c #Conflicts: 772000 | #Constraints: 36275
2374.08/2380.96 c #Conflicts: 773000 | #Constraints: 37275
2374.08/2380.96 c #Conflicts: 774000 | #Constraints: 38275
2374.08/2380.96 c INPROCESSING
2374.08/2380.96 c GARBAGE COLLECT
2374.08/2380.96 c rational objective 1.09615e-12
2445.59/2452.65 c #Conflicts: 775000 | #Constraints: 21865
2445.59/2452.65 c #Conflicts: 776000 | #Constraints: 22865
2445.59/2452.65 c #Conflicts: 777000 | #Constraints: 23865
2445.59/2452.65 c #Conflicts: 778000 | #Constraints: 24865
2445.59/2452.65 c #Conflicts: 779000 | #Constraints: 25865
2445.59/2452.65 c #Conflicts: 780000 | #Constraints: 26865
2445.59/2452.65 c #Conflicts: 781000 | #Constraints: 27865
2445.59/2452.65 c #Conflicts: 782000 | #Constraints: 28865
2445.59/2452.65 c #Conflicts: 783000 | #Constraints: 29865
2445.59/2452.65 c #Conflicts: 784000 | #Constraints: 30865
2445.59/2452.65 c #Conflicts: 785000 | #Constraints: 31865
2445.59/2452.65 c #Conflicts: 786000 | #Constraints: 32865
2445.59/2452.65 c #Conflicts: 787000 | #Constraints: 33865
2445.59/2452.65 c #Conflicts: 788000 | #Constraints: 34865
2445.59/2452.65 c #Conflicts: 789000 | #Constraints: 35865
2445.59/2452.65 c #Conflicts: 790000 | #Constraints: 36865
2445.59/2452.65 c #Conflicts: 791000 | #Constraints: 37865
2445.59/2452.65 c #Conflicts: 792000 | #Constraints: 38865
2445.59/2452.65 c INPROCESSING
2445.59/2452.65 c GARBAGE COLLECT
2445.59/2452.65 c rational objective 1.09615e-12
2519.50/2526.78 c #Conflicts: 793000 | #Constraints: 22262
2519.50/2526.78 c #Conflicts: 794000 | #Constraints: 23262
2519.50/2526.78 c #Conflicts: 795000 | #Constraints: 24262
2519.50/2526.78 c #Conflicts: 796000 | #Constraints: 25262
2519.50/2526.78 c #Conflicts: 797000 | #Constraints: 26262
2519.50/2526.78 c #Conflicts: 798000 | #Constraints: 27262
2519.50/2526.78 c #Conflicts: 799000 | #Constraints: 28262
2519.50/2526.78 c #Conflicts: 800000 | #Constraints: 29262
2519.50/2526.78 c #Conflicts: 801000 | #Constraints: 30262
2519.50/2526.78 c #Conflicts: 802000 | #Constraints: 31262
2519.50/2526.78 c #Conflicts: 803000 | #Constraints: 32262
2519.50/2526.78 c #Conflicts: 804000 | #Constraints: 33262
2519.50/2526.78 c #Conflicts: 805000 | #Constraints: 34262
2519.50/2526.78 c #Conflicts: 806000 | #Constraints: 35262
2519.50/2526.78 c #Conflicts: 807000 | #Constraints: 36262
2519.50/2526.78 c #Conflicts: 808000 | #Constraints: 37262
2519.50/2526.78 c #Conflicts: 809000 | #Constraints: 38262
2519.50/2526.78 c #Conflicts: 810000 | #Constraints: 39262
2519.50/2526.78 c INPROCESSING
2519.50/2526.78 c GARBAGE COLLECT
2519.50/2526.78 c rational objective 1.09615e-12
2590.82/2598.27 c #Conflicts: 811000 | #Constraints: 22468
2590.82/2598.27 c #Conflicts: 812000 | #Constraints: 23468
2590.82/2598.27 c #Conflicts: 813000 | #Constraints: 24468
2590.82/2598.27 c #Conflicts: 814000 | #Constraints: 25468
2590.82/2598.27 c #Conflicts: 815000 | #Constraints: 26468
2590.82/2598.27 c #Conflicts: 816000 | #Constraints: 27468
2590.82/2598.27 c #Conflicts: 817000 | #Constraints: 28468
2590.82/2598.27 c #Conflicts: 818000 | #Constraints: 29468
2590.82/2598.27 c #Conflicts: 819000 | #Constraints: 30468
2590.82/2598.27 c #Conflicts: 820000 | #Constraints: 31468
2590.82/2598.27 c #Conflicts: 821000 | #Constraints: 32468
2590.82/2598.27 c #Conflicts: 822000 | #Constraints: 33468
2590.82/2598.27 c #Conflicts: 823000 | #Constraints: 34468
2590.82/2598.27 c #Conflicts: 824000 | #Constraints: 35468
2590.82/2598.27 c #Conflicts: 825000 | #Constraints: 36468
2590.82/2598.27 c #Conflicts: 826000 | #Constraints: 37468
2590.82/2598.27 c #Conflicts: 827000 | #Constraints: 38468
2590.82/2598.27 c #Conflicts: 828000 | #Constraints: 39468
2590.82/2598.27 c INPROCESSING
2590.82/2598.27 c GARBAGE COLLECT
2590.82/2598.27 c rational objective 1.09615e-12
2652.26/2659.89 c #Conflicts: 829000 | #Constraints: 22477
2652.26/2659.89 c #Conflicts: 830000 | #Constraints: 23477
2652.26/2659.89 c #Conflicts: 831000 | #Constraints: 24477
2652.26/2659.89 c #Conflicts: 832000 | #Constraints: 25477
2652.26/2659.89 c #Conflicts: 833000 | #Constraints: 26477
2652.26/2659.89 c #Conflicts: 834000 | #Constraints: 27477
2652.26/2659.89 c #Conflicts: 835000 | #Constraints: 28477
2652.26/2659.89 c #Conflicts: 836000 | #Constraints: 29477
2652.26/2659.89 c #Conflicts: 837000 | #Constraints: 30477
2652.26/2659.89 c #Conflicts: 838000 | #Constraints: 31477
2652.26/2659.89 c #Conflicts: 839000 | #Constraints: 32477
2652.26/2659.89 c #Conflicts: 840000 | #Constraints: 33477
2652.26/2659.89 c #Conflicts: 841000 | #Constraints: 34477
2652.26/2659.89 c #Conflicts: 842000 | #Constraints: 35477
2652.26/2659.89 c #Conflicts: 843000 | #Constraints: 36477
2652.26/2659.89 c #Conflicts: 844000 | #Constraints: 37477
2652.26/2659.89 c #Conflicts: 845000 | #Constraints: 38477
2652.26/2659.89 c #Conflicts: 846000 | #Constraints: 39477
2652.26/2659.89 c INPROCESSING
2652.26/2659.89 c GARBAGE COLLECT
2652.26/2659.89 c rational objective 1.09615e-12
2728.16/2735.95 c #Conflicts: 847000 | #Constraints: 22273
2728.16/2735.95 c #Conflicts: 848000 | #Constraints: 23273
2728.16/2735.95 c #Conflicts: 849000 | #Constraints: 24273
2728.16/2735.95 c #Conflicts: 850000 | #Constraints: 25273
2728.16/2735.95 c #Conflicts: 851000 | #Constraints: 26273
2728.16/2735.95 c #Conflicts: 852000 | #Constraints: 27273
2728.16/2735.95 c #Conflicts: 853000 | #Constraints: 28273
2728.16/2735.95 c #Conflicts: 854000 | #Constraints: 29273
2728.16/2735.95 c #Conflicts: 855000 | #Constraints: 30273
2728.16/2735.95 c #Conflicts: 856000 | #Constraints: 31273
2728.16/2735.95 c #Conflicts: 857000 | #Constraints: 32273
2728.16/2735.95 c #Conflicts: 858000 | #Constraints: 33273
2728.16/2735.95 c #Conflicts: 859000 | #Constraints: 34273
2728.16/2735.95 c #Conflicts: 860000 | #Constraints: 35273
2728.16/2735.95 c #Conflicts: 861000 | #Constraints: 36273
2728.16/2735.95 c #Conflicts: 862000 | #Constraints: 37273
2728.16/2735.95 c #Conflicts: 863000 | #Constraints: 38273
2728.16/2735.95 c #Conflicts: 864000 | #Constraints: 39273
2728.16/2735.95 c #Conflicts: 865000 | #Constraints: 40273
2728.16/2735.95 c INPROCESSING
2728.16/2735.95 c GARBAGE COLLECT
2728.16/2735.95 c rational objective 1.09615e-12
2811.75/2819.70 c #Conflicts: 866000 | #Constraints: 22875
2811.75/2819.70 c #Conflicts: 867000 | #Constraints: 23875
2811.75/2819.70 c #Conflicts: 868000 | #Constraints: 24875
2811.75/2819.70 c #Conflicts: 869000 | #Constraints: 25875
2811.75/2819.70 c #Conflicts: 870000 | #Constraints: 26875
2811.75/2819.70 c #Conflicts: 871000 | #Constraints: 27875
2811.75/2819.70 c #Conflicts: 872000 | #Constraints: 28875
2811.75/2819.70 c #Conflicts: 873000 | #Constraints: 29875
2811.75/2819.70 c #Conflicts: 874000 | #Constraints: 30875
2811.75/2819.70 c #Conflicts: 875000 | #Constraints: 31875
2811.75/2819.70 c #Conflicts: 876000 | #Constraints: 32875
2811.75/2819.70 c #Conflicts: 877000 | #Constraints: 33875
2811.75/2819.70 c #Conflicts: 878000 | #Constraints: 34875
2811.75/2819.70 c #Conflicts: 879000 | #Constraints: 35875
2811.75/2819.70 c #Conflicts: 880000 | #Constraints: 36875
2811.75/2819.70 c #Conflicts: 881000 | #Constraints: 37875
2811.75/2819.70 c #Conflicts: 882000 | #Constraints: 38875
2811.75/2819.70 c #Conflicts: 883000 | #Constraints: 39875
2811.75/2819.70 c #Conflicts: 884000 | #Constraints: 40875
2811.75/2819.70 c INPROCESSING
2811.75/2819.70 c GARBAGE COLLECT
2811.75/2819.70 c rational objective 1.09615e-12
2897.23/2905.40 c #Conflicts: 885000 | #Constraints: 23276
2897.23/2905.40 c #Conflicts: 886000 | #Constraints: 24276
2897.23/2905.40 c #Conflicts: 887000 | #Constraints: 25276
2897.23/2905.40 c #Conflicts: 888000 | #Constraints: 26276
2897.23/2905.40 c #Conflicts: 889000 | #Constraints: 27276
2897.23/2905.40 c #Conflicts: 890000 | #Constraints: 28276
2897.23/2905.40 c #Conflicts: 891000 | #Constraints: 29276
2897.23/2905.40 c #Conflicts: 892000 | #Constraints: 30276
2897.23/2905.40 c #Conflicts: 893000 | #Constraints: 31276
2897.23/2905.40 c #Conflicts: 894000 | #Constraints: 32276
2897.23/2905.40 c #Conflicts: 895000 | #Constraints: 33276
2897.23/2905.40 c #Conflicts: 896000 | #Constraints: 34276
2897.23/2905.40 c #Conflicts: 897000 | #Constraints: 35276
2897.23/2905.40 c #Conflicts: 898000 | #Constraints: 36276
2897.23/2905.40 c #Conflicts: 899000 | #Constraints: 37276
2897.23/2905.40 c #Conflicts: 900000 | #Constraints: 38276
2897.23/2905.40 c #Conflicts: 901000 | #Constraints: 39276
2897.23/2905.40 c #Conflicts: 902000 | #Constraints: 40276
2897.23/2905.40 c #Conflicts: 903000 | #Constraints: 41276
2897.23/2905.40 c INPROCESSING
2897.23/2905.40 c GARBAGE COLLECT
2897.23/2905.40 c rational objective 1.09615e-12
2984.00/2992.47 c #Conflicts: 904000 | #Constraints: 23470
2984.00/2992.47 c #Conflicts: 905000 | #Constraints: 24470
2984.00/2992.47 c #Conflicts: 906000 | #Constraints: 25470
2984.00/2992.47 c #Conflicts: 907000 | #Constraints: 26470
2984.00/2992.47 c #Conflicts: 908000 | #Constraints: 27470
2984.00/2992.47 c #Conflicts: 909000 | #Constraints: 28470
2984.00/2992.47 c #Conflicts: 910000 | #Constraints: 29470
2984.00/2992.47 c #Conflicts: 911000 | #Constraints: 30470
2984.00/2992.47 c #Conflicts: 912000 | #Constraints: 31470
2984.00/2992.47 c #Conflicts: 913000 | #Constraints: 32470
2984.00/2992.47 c #Conflicts: 914000 | #Constraints: 33470
2984.00/2992.47 c #Conflicts: 915000 | #Constraints: 34470
2984.00/2992.47 c #Conflicts: 916000 | #Constraints: 35470
2984.00/2992.47 c #Conflicts: 917000 | #Constraints: 36470
2984.00/2992.47 c #Conflicts: 918000 | #Constraints: 37470
2984.00/2992.47 c #Conflicts: 919000 | #Constraints: 38470
2984.00/2992.47 c #Conflicts: 920000 | #Constraints: 39470
2984.00/2992.47 c #Conflicts: 921000 | #Constraints: 40470
2984.00/2992.47 c #Conflicts: 922000 | #Constraints: 41470
2984.00/2992.47 c INPROCESSING
2984.00/2992.47 c GARBAGE COLLECT
2984.00/2992.47 c rational objective 1.09615e-12
3066.49/3075.14 c #Conflicts: 923000 | #Constraints: 23466
3066.49/3075.14 c #Conflicts: 924000 | #Constraints: 24466
3066.49/3075.14 c #Conflicts: 925000 | #Constraints: 25466
3066.49/3075.14 c #Conflicts: 926000 | #Constraints: 26466
3066.49/3075.14 c #Conflicts: 927000 | #Constraints: 27466
3066.49/3075.14 c #Conflicts: 928000 | #Constraints: 28466
3066.49/3075.14 c #Conflicts: 929000 | #Constraints: 29466
3066.49/3075.14 c #Conflicts: 930000 | #Constraints: 30466
3066.49/3075.14 c #Conflicts: 931000 | #Constraints: 31466
3066.49/3075.14 c #Conflicts: 932000 | #Constraints: 32466
3066.49/3075.14 c #Conflicts: 933000 | #Constraints: 33466
3066.49/3075.14 c #Conflicts: 934000 | #Constraints: 34466
3066.49/3075.14 c #Conflicts: 935000 | #Constraints: 35466
3066.49/3075.14 c #Conflicts: 936000 | #Constraints: 36466
3066.49/3075.14 c #Conflicts: 937000 | #Constraints: 37466
3066.49/3075.14 c #Conflicts: 938000 | #Constraints: 38466
3066.49/3075.14 c #Conflicts: 939000 | #Constraints: 39466
3066.49/3075.14 c #Conflicts: 940000 | #Constraints: 40466
3066.49/3075.14 c #Conflicts: 941000 | #Constraints: 41466
3066.49/3075.14 c INPROCESSING
3066.49/3075.14 c GARBAGE COLLECT
3066.49/3075.14 c rational objective 1.09615e-12
3170.13/3179.06 c #Conflicts: 942000 | #Constraints: 23267
3170.13/3179.06 c #Conflicts: 943000 | #Constraints: 24267
3170.13/3179.06 c #Conflicts: 944000 | #Constraints: 25267
3170.13/3179.06 c #Conflicts: 945000 | #Constraints: 26267
3170.13/3179.06 c #Conflicts: 946000 | #Constraints: 27268
3170.13/3179.06 c #Conflicts: 947000 | #Constraints: 28268
3170.13/3179.06 c #Conflicts: 948000 | #Constraints: 29268
3170.13/3179.06 c #Conflicts: 949000 | #Constraints: 30268
3170.13/3179.06 c #Conflicts: 950000 | #Constraints: 31268
3170.13/3179.06 c #Conflicts: 951000 | #Constraints: 32268
3170.13/3179.06 c #Conflicts: 952000 | #Constraints: 33268
3170.13/3179.06 c #Conflicts: 953000 | #Constraints: 34268
3170.13/3179.06 c #Conflicts: 954000 | #Constraints: 35268
3170.13/3179.06 c #Conflicts: 955000 | #Constraints: 36268
3170.13/3179.06 c #Conflicts: 956000 | #Constraints: 37268
3170.13/3179.06 c #Conflicts: 957000 | #Constraints: 38268
3170.13/3179.06 c #Conflicts: 958000 | #Constraints: 39268
3170.13/3179.06 c #Conflicts: 959000 | #Constraints: 40268
3170.13/3179.06 c #Conflicts: 960000 | #Constraints: 41268
3170.13/3179.06 c #Conflicts: 961000 | #Constraints: 42268
3170.13/3179.06 c INPROCESSING
3170.13/3179.06 c GARBAGE COLLECT
3170.13/3179.06 c rational objective 1.09615e-12
3282.74/3291.95 c #Conflicts: 962000 | #Constraints: 23868
3282.74/3291.95 c #Conflicts: 963000 | #Constraints: 24868
3282.74/3291.95 c #Conflicts: 964000 | #Constraints: 25868
3282.74/3291.95 c #Conflicts: 965000 | #Constraints: 26868
3282.74/3291.95 c #Conflicts: 966000 | #Constraints: 27868
3282.74/3291.95 c #Conflicts: 967000 | #Constraints: 28868
3282.74/3291.95 c #Conflicts: 968000 | #Constraints: 29868
3282.74/3291.95 c #Conflicts: 969000 | #Constraints: 30868
3282.74/3291.95 c #Conflicts: 970000 | #Constraints: 31868
3282.74/3291.95 c #Conflicts: 971000 | #Constraints: 32868
3282.74/3291.95 c #Conflicts: 972000 | #Constraints: 33868
3282.74/3291.95 c #Conflicts: 973000 | #Constraints: 34868
3282.74/3291.95 c #Conflicts: 974000 | #Constraints: 35868
3282.74/3291.95 c #Conflicts: 975000 | #Constraints: 36868
3282.74/3291.95 c #Conflicts: 976000 | #Constraints: 37868
3282.74/3291.95 c #Conflicts: 977000 | #Constraints: 38868
3282.74/3291.95 c #Conflicts: 978000 | #Constraints: 39868
3282.74/3291.95 c #Conflicts: 979000 | #Constraints: 40868
3282.74/3291.95 c #Conflicts: 980000 | #Constraints: 41868
3282.74/3291.95 c #Conflicts: 981000 | #Constraints: 42868
3282.74/3291.95 c INPROCESSING
3282.74/3291.95 c GARBAGE COLLECT
3282.74/3291.95 c rational objective 1.09615e-12
3408.82/3418.32 c #Conflicts: 982000 | #Constraints: 24284
3408.82/3418.32 c #Conflicts: 983000 | #Constraints: 25284
3408.82/3418.32 c #Conflicts: 984000 | #Constraints: 26284
3408.82/3418.32 c #Conflicts: 985000 | #Constraints: 27284
3408.82/3418.32 c #Conflicts: 986000 | #Constraints: 28284
3408.82/3418.32 c #Conflicts: 987000 | #Constraints: 29284
3408.82/3418.32 c #Conflicts: 988000 | #Constraints: 30284
3408.82/3418.32 c #Conflicts: 989000 | #Constraints: 31284
3408.82/3418.32 c #Conflicts: 990000 | #Constraints: 32284
3408.82/3418.32 c #Conflicts: 991000 | #Constraints: 33284
3408.82/3418.32 c #Conflicts: 992000 | #Constraints: 34284
3408.82/3418.32 c #Conflicts: 993000 | #Constraints: 35284
3408.82/3418.32 c #Conflicts: 994000 | #Constraints: 36284
3408.82/3418.32 c #Conflicts: 995000 | #Constraints: 37284
3408.82/3418.32 c #Conflicts: 996000 | #Constraints: 38284
3408.82/3418.32 c #Conflicts: 997000 | #Constraints: 39284
3408.82/3418.32 c #Conflicts: 998000 | #Constraints: 40284
3408.82/3418.32 c #Conflicts: 999000 | #Constraints: 41284
3408.82/3418.32 c #Conflicts: 1000000 | #Constraints: 42284
3408.82/3418.32 c #Conflicts: 1001000 | #Constraints: 43284
3408.82/3418.32 c INPROCESSING
3408.82/3418.32 c GARBAGE COLLECT
3408.82/3418.32 c rational objective 1.09615e-12
3537.15/3547.01 c #Conflicts: 1002000 | #Constraints: 24483
3537.15/3547.01 c #Conflicts: 1003000 | #Constraints: 25483
3537.15/3547.01 c #Conflicts: 1004000 | #Constraints: 26483
3537.15/3547.01 c #Conflicts: 1005000 | #Constraints: 27483
3537.15/3547.01 c #Conflicts: 1006000 | #Constraints: 28483
3537.15/3547.01 c #Conflicts: 1007000 | #Constraints: 29483
3537.15/3547.01 c #Conflicts: 1008000 | #Constraints: 30483
3537.15/3547.01 c #Conflicts: 1009000 | #Constraints: 31483
3537.15/3547.01 c #Conflicts: 1010000 | #Constraints: 32483
3537.15/3547.01 c #Conflicts: 1011000 | #Constraints: 33483
3537.15/3547.01 c #Conflicts: 1012000 | #Constraints: 34483
3537.15/3547.01 c #Conflicts: 1013000 | #Constraints: 35483
3537.15/3547.01 c #Conflicts: 1014000 | #Constraints: 36483
3537.15/3547.01 c #Conflicts: 1015000 | #Constraints: 37483
3537.15/3547.01 c #Conflicts: 1016000 | #Constraints: 38483
3537.15/3547.01 c #Conflicts: 1017000 | #Constraints: 39483
3537.15/3547.01 c #Conflicts: 1018000 | #Constraints: 40483
3537.15/3547.01 c #Conflicts: 1019000 | #Constraints: 41483
3537.15/3547.01 c #Conflicts: 1020000 | #Constraints: 42483
3537.15/3547.01 c #Conflicts: 1021000 | #Constraints: 43483
3537.15/3547.01 c INPROCESSING
3537.15/3547.01 c GARBAGE COLLECT
3537.15/3547.01 c rational objective 1.09615e-12
3598.56/3608.60 c #Conflicts: 1022000 | #Constraints: 24486
3598.56/3608.60 c #Conflicts: 1023000 | #Constraints: 25486
3598.56/3608.60 c #Conflicts: 1024000 | #Constraints: 26486
3598.56/3608.60 c #Conflicts: 1025000 | #Constraints: 27486
3598.56/3608.60 c #Conflicts: 1026000 | #Constraints: 28486
3598.56/3608.60 c #Conflicts: 1027000 | #Constraints: 29486
3598.56/3608.60 c #Conflicts: 1028000 | #Constraints: 30486
3598.56/3608.60 c #Conflicts: 1029000 | #Constraints: 31486
3598.56/3608.60 c #Conflicts: 1030000 | #Constraints: 32486
3598.56/3608.60 c #Conflicts: 1031000 | #Constraints: 33486
3598.56/3608.60 c #Conflicts: 1032000 | #Constraints: 34486
3598.56/3608.60 c #Conflicts: 1033000 | #Constraints: 35486
3598.56/3608.60 c #Conflicts: 1034000 | #Constraints: 36486
3598.56/3608.60 c #Conflicts: 1035000 | #Constraints: 37486
3598.56/3608.60 c #Conflicts: 1036000 | #Constraints: 38486
3598.56/3608.60 c #Conflicts: 1037000 | #Constraints: 39486
3598.56/3608.60 c #Conflicts: 1038000 | #Constraints: 40486
3598.56/3608.60 c #Conflicts: 1039000 | #Constraints: 41486
3598.56/3608.60 c #Conflicts: 1040000 | #Constraints: 42486
3598.56/3608.60 c #Conflicts: 1041000 | #Constraints: 43486
3598.56/3608.60 c INPROCESSING
3598.56/3608.60 c GARBAGE COLLECT
3598.56/3608.60 c rational objective 1.09615e-12
3600.06/3610.10 c #Conflicts: 1042000 | #Constraints: 24280
3600.06/3610.10 c #Conflicts: 1043000 | #Constraints: 25280
3600.06/3610.10 c cpu time 3582.56 s
3600.06/3610.10 c deterministic time 1465006925843 1.47e+12
3600.06/3610.10 c optimization time 1.42607 s
3600.06/3610.10 c total solve time 3581.12 s
3600.06/3610.10 c core-guided solve time 0 s
3600.06/3610.10 c propagation time 3062.89 s
3600.06/3610.10 c conflict analysis time 378.667 s
3600.06/3610.10 c propagations 63923566
3600.06/3610.10 c resolve steps 16692542
3600.06/3610.10 c decisions 2518839
3600.06/3610.10 c conflicts 1043458
3600.06/3610.10 c restarts 2046
3600.06/3610.10 c inprocessing phases 93
3600.06/3610.10 c garbage collections 93 ,( 100.00 )
3600.06/3610.10 c input clauses 1882 ,( 51.66 )
3600.06/3610.10 c input cardinalities 0 ,( 0.00 )
3600.06/3610.10 c input general constraints 1761 ,( 48.34 )
3600.06/3610.10 c input average constraint length 3.84
3600.06/3610.10 c input average constraint degree 59339220855591.52
3600.06/3610.10 c learned clauses 58808 ,( 5.64 )
3600.06/3610.10 c learned cardinalities 72 ,( 0.01 )
3600.06/3610.10 c learned general constraints 984593 ,( 94.36 )
3600.06/3610.10 c learned average constraint length 523.28
3600.06/3610.10 c learned average constraint degree 976845640.13
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 14241 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 972110 , 3 , 0 , 0
3600.06/3610.10 c watched constraints 14241 ,( 1.44 )
3600.06/3610.10 c counting constraints 972113 ,( 98.56 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 136927598 , 1708693 , 27103294324 ,( 15044488 , 27088249836 )
3600.06/3610.10 c gcd simplifications 38444
3600.06/3610.10 c detected cardinalities 55
3600.06/3610.10 c weakened non-implied lits 5992089
3600.06/3610.10 c weakened non-implying lits 751558
3600.06/3610.10 c original variables 3571
3600.06/3610.10 c clausal propagations 16450812
3600.06/3610.10 c cardinality propagations 43872
3600.06/3610.10 c watched propagations 145825
3600.06/3610.10 c counting propagations 46291052
3600.06/3610.10 c watch lookups 29635639109
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 387567039
3600.06/3610.10 c propagation checks 1432917804170
3600.06/3610.10 c constraint additions 1931860687
3600.06/3610.10 c trail pops 67482369
3600.06/3610.10 c formula constraints 3643
3600.06/3610.10 c learned constraints 1043447
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 14001743
3600.06/3610.10 c encountered learned constraints 3120013
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 17.7605 s
3600.06/3610.10 c LP solve time 12.67 s
3600.06/3610.10 c LP constraints added 3643
3600.06/3610.10 c LP constraints removed 0
3600.06/3610.10 c LP pivots internal 104440
3600.06/3610.10 c LP pivots root 25623
3600.06/3610.10 c LP calls 10275
3600.06/3610.10 c LP optimalities 10256
3600.06/3610.10 c LP no pivot count 6006
3600.06/3610.10 c LP infeasibilities 15
3600.06/3610.10 c LP valid Farkas constraints 15
3600.06/3610.10 c LP learned Farkas constraints 11
3600.06/3610.10 c LP basis resets 2
3600.06/3610.10 c LP cycling count 2
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 0
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 0
3600.06/3610.10 c LP learned cuts 0
3600.06/3610.10 c LP deleted cuts 0
3600.06/3610.10 c LP encountered Gomory constraints 0
3600.06/3610.10 c LP encountered Farkas constraints 613249
3600.06/3610.10 c LP encountered learned Farkas constraints 984
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 98.10
3600.06/3610.10 c bigint constraints 3
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 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 (62102 MiB free)
memory of node 1: 64465 MiB (63590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542035-1753202597/watcher-4542035-1753202597 -o /tmp/evaluation-result-4542035-1753202597/solver-4542035-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149649 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542035-1753202597.opb /tmp/proof-4542035-1753202597
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=150066, runsolver pid=150063
[startup+0.100059 s]*
/proc/loadavg: 4.31 4.17 4.07 4/263 150072
/proc/meminfo: memFree=128704032/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=64460 memory=20920 CPUtime=0.09 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 3091 0 0 0 8 1 0 0 20 0 1 0 235938327 66007040 5230 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 16115 5230 2400 1147 0 3542 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68652 KiB
Current children cumulated memory: 23864 KiB
[startup+0.205455 s]*
/proc/loadavg: 4.31 4.17 4.07 4/267 150083
/proc/meminfo: memFree=128682968/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=67640 memory=24120 CPUtime=0.19 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 3899 0 0 0 18 1 0 0 20 0 1 0 235938327 69263360 6030 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 16910 6030 2400 1147 0 4337 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71832 KiB
Current children cumulated memory: 27064 KiB
[startup+0.305334 s]*
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128679304/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=70040 memory=28456 CPUtime=0.28 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 4494 0 0 0 27 1 0 0 20 0 1 0 235938327 71720960 7114 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 17510 7114 2400 1147 0 4937 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74232 KiB
Current children cumulated memory: 31400 KiB
[startup+0.700148 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128671240/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=82864 memory=39080 CPUtime=0.67 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 7126 0 0 0 66 1 0 0 20 0 1 0 235938327 84852736 9770 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 20716 9770 2400 1147 0 8143 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87056 KiB
Current children cumulated memory: 42024 KiB
[startup+1.50015 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128642468/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=92544 memory=48304 CPUtime=1.48 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 8926 0 0 0 145 3 0 0 20 0 1 0 235938327 94765056 12076 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 23136 12076 2400 1147 0 10563 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 96736 KiB
Current children cumulated memory: 51248 KiB
[startup+3.10536 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128552472/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=107360 memory=60208 CPUtime=3.07 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 11917 0 0 0 302 5 0 0 20 0 1 0 235938327 109936640 15052 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 26840 15052 2400 1147 0 14267 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 111552 KiB
Current children cumulated memory: 63152 KiB
[startup+6.30013 s]
/proc/loadavg: 4.29 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128453548/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=118848 memory=72516 CPUtime=6.26 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 13973 0 0 0 617 9 0 0 20 0 1 0 235938327 121700352 18129 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 29712 18129 2400 1147 0 17139 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123040 KiB
Current children cumulated memory: 75460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128319324/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=132700 memory=86280 CPUtime=12.64 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 16904 0 0 0 1251 13 0 0 20 0 1 0 235938327 135884800 21570 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 33175 21570 2400 1147 0 20602 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136892 KiB
Current children cumulated memory: 89224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.08 5/267 150084
/proc/meminfo: memFree=128095744/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=169168 memory=108704 CPUtime=25.41 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 21931 0 0 0 2516 25 0 0 20 0 1 0 235938327 173228032 27176 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 42292 27176 2464 1147 0 29719 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 173360 KiB
Current children cumulated memory: 111648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.19 4.16 4.08 5/267 150085
/proc/meminfo: memFree=127733280/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=175824 memory=116932 CPUtime=50.95 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 23453 0 0 0 5047 48 0 0 20 0 1 0 235938327 180043776 29233 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 43956 29233 2496 1147 0 31383 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 180016 KiB
Current children cumulated memory: 119876 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/268 150088
/proc/meminfo: memFree=126929128/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=215324 memory=155836 CPUtime=102 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 32157 0 0 0 10108 92 0 0 20 0 1 0 235938327 220491776 38959 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 53831 38959 2496 1147 0 41258 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 219516 KiB
Current children cumulated memory: 158780 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/268 150090
/proc/meminfo: memFree=126032828/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=240324 memory=177852 CPUtime=161.82 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 37672 0 0 0 16039 143 0 0 20 0 1 0 235938327 246091776 44463 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 60081 44463 2496 1147 0 47508 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 244516 KiB
Current children cumulated memory: 180796 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.21 4.10 5/268 150092
/proc/meminfo: memFree=125173784/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=264076 memory=186388 CPUtime=221.65 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 39286 0 0 0 21977 188 0 0 20 0 1 0 235938327 270413824 46597 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
################
# More data... #
################
/proc/150068/statm: 196124 161351 2496 1147 0 183551 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 788688 KiB
Current children cumulated memory: 648348 KiB
[startup+3162.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/268 150251
/proc/meminfo: memFree=98063920/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=784496 memory=645404 CPUtime=3153.47 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 117134 0 0 0 313757 1590 0 0 20 0 1 0 235938327 803323904 161351 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 196124 161351 2496 1147 0 183551 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 788688 KiB
Current children cumulated memory: 648348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/268 150253
/proc/meminfo: memFree=97593544/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=792176 memory=654160 CPUtime=3213.31 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 118348 0 0 0 319716 1615 0 0 20 0 1 0 235938327 811188224 163540 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 198044 163540 2496 1147 0 185471 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 796368 KiB
Current children cumulated memory: 657104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/267 150255
/proc/meminfo: memFree=97137876/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=793712 memory=655056 CPUtime=3273.16 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 118561 0 0 0 325683 1633 0 0 20 0 1 0 235938327 812761088 163764 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 198428 163764 2496 1147 0 185855 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 797904 KiB
Current children cumulated memory: 658000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/266 150257
/proc/meminfo: memFree=96662004/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=795064 memory=658128 CPUtime=3333.01 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 119328 0 0 0 331645 1656 0 0 20 0 1 0 235938327 814145536 164532 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 198766 164532 2496 1147 0 186193 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 799256 KiB
Current children cumulated memory: 661072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/266 150259
/proc/meminfo: memFree=96315540/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=797808 memory=677952 CPUtime=3392.85 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 119673 0 0 0 337615 1670 0 0 20 0 1 0 235938327 816955392 169488 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 199452 169488 2496 1147 0 186879 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 802000 KiB
Current children cumulated memory: 680896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/267 150262
/proc/meminfo: memFree=95863232/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=848316 memory=710844 CPUtime=3452.7 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 126366 0 0 0 343574 1696 0 0 20 0 1 0 235938327 868675584 177711 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 212079 177711 2496 1147 0 199506 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 852508 KiB
Current children cumulated memory: 713788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/267 150264
/proc/meminfo: memFree=95472256/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=849012 memory=711100 CPUtime=3512.53 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 126435 0 0 0 349543 1710 0 0 20 0 1 0 235938327 869388288 177775 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 212253 177775 2496 1147 0 199680 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 853204 KiB
Current children cumulated memory: 714044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/267 150266
/proc/meminfo: memFree=95054420/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=849852 memory=711740 CPUtime=3572.34 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 126614 0 0 0 355495 1739 0 0 20 0 1 0 235938327 870248448 177935 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 212463 177935 2496 1147 0 199890 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 854044 KiB
Current children cumulated memory: 714684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 4.18 4.18 4.18 5/265 150275
/proc/meminfo: memFree=95395288/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=850876 memory=712380 CPUtime=3600.06 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 126763 0 0 0 358256 1750 0 0 20 0 1 0 235938327 871297024 178095 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 212719 178095 2496 1147 0 200146 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 855068 KiB
Current children cumulated memory: 715324 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 150066 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.002533 s
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 150068 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.57 s, system=17.5148 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
[startup+3610.1 s]
/proc/loadavg: 4.18 4.18 4.18 5/265 150275
/proc/meminfo: memFree=95395288/131250000 swapFree=33010672/33010684
[pid=150066] ppid=150063 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/150066/stat : 150066 (run-dec-log.sh) S 150063 150066 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 235938327 4292608 736 18446744073709551615 94536369086464 94536369980997 140731014697984 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94536370220048 94536370267792 94536385961984 140731014699333 140731014699490 140731014699490 140731014705094 0
/proc/150066/statm: 1048 736 672 219 0 110 0
[pid=150068] ppid=150066 vsize=850876 memory=712380 CPUtime=3600.06 cores=5,7
/proc/150068/stat : 150068 (roundingsat) R 150066 150066 149629 0 -1 4194304 126763 0 0 0 358256 1750 0 0 20 0 1 0 235938327 871297024 178095 18446744073709551615 4227072 8923433 140734078152272 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35733504 140734078159243 140734078159398 140734078159398 140734078164970 0
/proc/150068/statm: 212719 178095 2496 1147 0 200146 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 855068 KiB
Current children cumulated memory: 715324 KiB
Child status: 2
Real time (s): 3610.11
CPU time (s): 3600.08
CPU user time (s): 3582.57
CPU system time (s): 17.5148
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 855068
Max. memory (cumulated for all children) (KiB): 715324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.57
system time used= 17.5148
maximum resident set size= 712508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18946024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226
involuntary context switches= 5609
# summary of solver processes directly reported to runsolver:
# pid: 150066,150068
# total CPU time (s): 3600.08
# total CPU user time (s): 3582.57
# total CPU system time (s): 17.5148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16685 second user time and 16.1845 second system time
The end
Begin job on nodeC026 at 2025-07-22 18:43:17
IDJOB=4542035
IDBENCH=163735
IDSOLVER=3352
FILE ID=nodeC026/4542035-1753202597
RUNJOBID= nodeC026-1753198973-149649
SLURM_JOB_ID= 9687759
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat-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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542035-1753202597/watcher-4542035-1753202597 -o /tmp/evaluation-result-4542035-1753202597/solver-4542035-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149649 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542035-1753202597.opb /tmp/proof-4542035-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=1063239506
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3598.713
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.59
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.884
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.59
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.786
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.59
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 : 3597.516
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.59
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 : 3678.236
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.59
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 : 3599.787
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128714440 kB
MemAvailable: 129543208 kB
Buffers: 2128 kB
Cached: 1454848 kB
SwapCached: 4 kB
Active: 1234976 kB
Inactive: 312712 kB
Active(anon): 111636 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 307368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24040 kB
Writeback: 0 kB
AnonPages: 93784 kB
Mapped: 118288 kB
Shmem: 26268 kB
KReclaimable: 458860 kB
Slab: 563340 kB
SReclaimable: 458860 kB
SUnreclaim: 104480 kB
KernelStack: 4272 kB
PageTables: 3000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 416888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 401988 MiB
End job on nodeC026 at 2025-07-22 19:43:27