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