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