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