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