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