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