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