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