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