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