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