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