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