(1,20) (2,16) (3,4) (6,8) (7,29) (9,10) (11,26) (12,17) (13,14) (18,23) (19,21) (22,27) (28,30) 
nodes: 4389  conflicts: 73  modelTime: 1128  solveTime: 16865  totalTime: 18013  modelSize: 72265  readTime: 20 size: 13