(1,16) (2,29) (3,5) (4,18) (6,25) (7,20) (8,30) (9,17) (10,13) (11,12) (14,27) (15,19) (21,22) (23,24) 
nodes: 99653  conflicts: 32  modelTime: 1711  solveTime: 413135  totalTime: 414882  modelSize: 72263  readTime: 36 size: 14