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