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