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