(1,30) (2,20) (3,17) (4,27) (5,12) (6,25) (7,21) (8,9) (10,22) (11,13) (14,15) (16,26) (18,28) (19,29) (23,24) 
nodes: 369283  conflicts: 31  modelTime: 944  solveTime: 1767631  totalTime: 1768586  modelSize: 72266  readTime: 11 size: 15