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