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