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