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