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