(1,19) (2,23) (3,16) (4,29) (5,18) (6,8) (7,14) (9,10) (11,30) (12,26) (13,22) (15,24) (17,28) (20,21) (25,27) 
nodes: 19217  conflicts: 4  modelTime: 1690  solveTime: 144404  totalTime: 146107  modelSize: 72264  readTime: 13 size: 15