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