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