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