(1,30) (2,22) (3,24) (4,21) (5,17) (6,23) (7,29) (8,25) (9,19) (10,20) (12,18) (14,28) (15,27) 
nodes: 1911  conflicts: 34  modelTime: 661  solveTime: 2324  totalTime: 2991  modelSize: 41298  readTime: 6 size: 13