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