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