(1,5) (3,14) (4,15) (6,11) (8,21) (9,23) (12,13) (16,25) (17,18) (19,26) (20,27) (29,30) 
nodes: 826  conflicts: 74  modelTime: 941  solveTime: 3244  totalTime: 4196  modelSize: 72266  readTime: 11 size: 12