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