(1,21) (2,30) (3,4) (5,13) (6,24) (7,12) (8,28) (10,27) (11,20) (14,16) (15,25) (17,18) (22,23) 
nodes: 39505  conflicts: 76  modelTime: 1740  solveTime: 150653  totalTime: 152413  modelSize: 72264  readTime: 20 size: 13