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