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