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