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