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