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