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