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