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