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