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