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