(1,30) (2,25) (3,18) (4,12) (5,16) (6,22) (7,19) (8,15) (9,29) (10,27) (11,17) (13,28) (20,24) (21,23) 
nodes: 60183  conflicts: 44  modelTime: 944  solveTime: 202719  totalTime: 203675  modelSize: 72266  readTime: 12 size: 14