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