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