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