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