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