(1,22) (2,25) (3,19) (4,26) (5,18) (6,24) (7,20) (8,30) (9,28) (10,16) (11,21) (12,23) (13,29) (14,27) (15,17) 
nodes: 8484  conflicts: 34  modelTime: 660  solveTime: 15725  totalTime: 16391  modelSize: 41292  readTime: 6 size: 15