(1,24) (2,25) (3,19) (4,28) (5,27) (6,20) (7,30) (8,29) (9,23) (10,18) (11,17) (13,21) (14,22) (15,16) 
nodes: 50691  conflicts: 22  modelTime: 654  solveTime: 105254  totalTime: 105913  modelSize: 41292  readTime: 5 size: 14