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