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