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