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