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