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