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