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