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