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