(1,21) (2,10) (3,28) (4,29) (5,20) (6,22) (7,24) (9,18) (11,27) (12,25) (13,19) (14,15) (16,30) (17,23) 
nodes: 42409  conflicts: 62  modelTime: 1713  solveTime: 173502  totalTime: 175256  modelSize: 72265  readTime: 40 size: 14