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