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