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