(1,18) (2,28) (3,27) (4,17) (6,16) (7,24) (8,26) (9,22) (10,29) (11,19) (12,23) (13,25) (14,30) (15,21) 
nodes: 701  conflicts: 36  modelTime: 660  solveTime: 998  totalTime: 1664  modelSize: 41293  readTime: 6 size: 14