(1,18) (2,25) (3,19) (4,24) (5,23) (6,16) (8,27) (9,29) (10,20) (11,26) (12,28) (13,21) (14,30) 
nodes: 1541  conflicts: 53  modelTime: 660  solveTime: 2701  totalTime: 3368  modelSize: 41293  readTime: 7 size: 13