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