(1,17) (2,3) (4,24) (5,11) (6,30) (7,15) (8,16) (9,14) (10,29) (12,21) (13,23) (19,20) (22,27) (26,28) 
nodes: 11523  conflicts: 63  modelTime: 1720  solveTime: 48381  totalTime: 50122  modelSize: 72264  readTime: 21 size: 14