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