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