(1,16) (2,4) (3,8) (5,29) (6,14) (7,26) (9,18) (10,11) (12,17) (13,28) (15,24) (19,30) (20,22) (21,25) 
nodes: 2740  conflicts: 56  modelTime: 1722  solveTime: 12717  totalTime: 14459  modelSize: 72263  readTime: 20 size: 14