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