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