(1,20) (2,4) (3,14) (5,26) (6,9) (7,27) (8,23) (10,28) (11,30) (12,22) (13,29) (15,18) (16,24) (19,25) 
nodes: 40222  conflicts: 50  modelTime: 970  solveTime: 141287  totalTime: 142268  modelSize: 72270  readTime: 11 size: 14