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