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