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