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