(1,30) (2,5) (3,22) (6,14) (7,27) (8,28) (9,24) (10,20) (11,21) (12,16) (13,29) (15,25) (17,23) (19,26) 
nodes: 31942  conflicts: 42  modelTime: 1711  solveTime: 126103  totalTime: 127834  modelSize: 72272  readTime: 20 size: 14