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