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