(1,16) (2,13) (3,14) (4,19) (5,28) (6,11) (7,29) (8,23) (9,26) (10,30) (15,18) (17,20) (21,25) (22,24) 
nodes: 81072  conflicts: 35  modelTime: 945  solveTime: 480739  totalTime: 481695  modelSize: 72262  readTime: 11 size: 14