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