(1,25) (2,16) (3,19) (4,29) (5,28) (7,22) (8,11) (9,30) (10,15) (12,27) (13,14) (17,20) (18,23) (21,24) 
nodes: 3587  conflicts: 85  modelTime: 952  solveTime: 10555  totalTime: 11518  modelSize: 72266  readTime: 11 size: 14