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