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