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