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