(1,12) (2,27) (3,25) (4,9) (5,19) (6,11) (7,13) (8,29) (15,18) (16,30) (17,22) (23,28) (24,26) 
nodes: 11157  conflicts: 69  modelTime: 957  solveTime: 23777  totalTime: 24746  modelSize: 72266  readTime: 12 size: 13