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