(1,4) (2,19) (3,18) (5,20) (6,27) (7,24) (8,26) (9,30) (10,29) (11,22) (12,14) (13,15) (17,25) (21,23) 
nodes: 29807  conflicts: 52  modelTime: 953  solveTime: 133309  totalTime: 134274  modelSize: 72266  readTime: 12 size: 14