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