(1,18) (2,26) (3,21) (4,20) (5,23) (7,16) (8,30) (9,27) (10,17) (11,22) (13,28) (14,19) (15,29) 
nodes: 2514  conflicts: 49  modelTime: 659  solveTime: 2839  totalTime: 3505  modelSize: 41292  readTime: 7 size: 13