(1,24) (2,16) (3,14) (4,29) (5,22) (6,17) (7,23) (8,18) (9,10) (11,30) (12,15) (13,25) (21,28) (26,27) 
nodes: 300  conflicts: 70  modelTime: 942  solveTime: 2459  totalTime: 3413  modelSize: 72266  readTime: 12 size: 14