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