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