(2,26) (5,20) (6,25) (7,17) (8,12) (9,10) (13,23) (14,22) (15,18) (16,28) (21,29) (24,30) 
nodes: 4014  conflicts: 98  modelTime: 1726  solveTime: 15859  totalTime: 17607  modelSize: 72266  readTime: 22 size: 12