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