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