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