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