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