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