(1,19) (2,18) (3,21) (5,22) (6,20) (7,30) (8,25) (9,29) (10,26) (11,28) (12,27) (13,24) (14,23) (15,17) 
nodes: 16000  conflicts: 22  modelTime: 682  solveTime: 37433  totalTime: 38121  modelSize: 41293  readTime: 6 size: 14