(1,27) (2,17) (3,16) (4,28) (5,25) (6,19) (7,13) (9,23) (10,30) (11,29) (12,22) (14,21) (15,26) (18,24) 
nodes: 71782  conflicts: 52  modelTime: 944  solveTime: 147654  totalTime: 148610  modelSize: 72265  readTime: 12 size: 14