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