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