(1,27) (2,30) (3,24) (4,25) (5,19) (6,21) (7,28) (8,18) (9,26) (10,22) (11,29) (12,23) (13,20) (14,16) 
nodes: 3406  conflicts: 30  modelTime: 658  solveTime: 6370  totalTime: 7035  modelSize: 41298  readTime: 7 size: 14