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