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