(1,23) (2,29) (3,26) (4,25) (5,17) (6,28) (7,22) (8,16) (9,30) (10,18) (12,20) (13,19) (14,21) (15,27) 
nodes: 39095  conflicts: 22  modelTime: 1204  solveTime: 125584  totalTime: 126798  modelSize: 41293  readTime: 9 size: 14