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