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