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