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