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