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