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