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