(1,18) (2,23) (3,27) (4,25) (5,28) (6,16) (8,30) (9,22) (10,17) (11,21) (12,20) (13,19) (14,26) 
nodes: 1500  conflicts: 41  modelTime: 661  solveTime: 2333  totalTime: 3000  modelSize: 41293  readTime: 6 size: 13