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