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