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