(1,29) (2,16) (3,6) (4,10) (5,8) (7,23) (9,15) (11,12) (13,30) (17,20) (18,24) (19,27) (21,26) (22,28) 
nodes: 44540  conflicts: 30  modelTime: 972  solveTime: 165379  totalTime: 166363  modelSize: 72265  readTime: 11 size: 14