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