(1,18) (2,16) (3,15) (4,26) (5,23) (6,29) (7,10) (8,27) (9,13) (11,28) (12,14) (17,19) (20,30) (21,25) (22,24) 
nodes: 32155  conflicts: 35  modelTime: 1707  solveTime: 133197  totalTime: 134923  modelSize: 72268  readTime: 19 size: 15