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