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