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