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