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