(1,16) (2,19) (3,29) (4,17) (5,26) (6,20) (7,21) (8,28) (9,30) (10,25) (11,23) (12,18) (14,24) (15,22) 
nodes: 1789  conflicts: 52  modelTime: 656  solveTime: 2246  totalTime: 2908  modelSize: 41298  readTime: 6 size: 14