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