(1,22) (2,25) (3,23) (4,26) (5,17) (6,30) (7,18) (8,20) (9,28) (10,19) (11,21) (13,16) (14,29) (15,24) 
nodes: 19324  conflicts: 29  modelTime: 663  solveTime: 37513  totalTime: 38182  modelSize: 41293  readTime: 6 size: 14