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