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