(1,29) (2,17) (3,14) (4,6) (5,22) (7,13) (8,15) (9,28) (10,11) (12,25) (16,24) (18,20) (19,27) (21,30) (23,26) 
nodes: 213439  conflicts: 10  modelTime: 1642  solveTime: 1272111  totalTime: 1273769  modelSize: 72264  readTime: 16 size: 15