(1,30) (2,27) (3,18) (5,24) (6,16) (7,20) (8,23) (9,13) (10,14) (11,15) (12,26) (17,28) (19,25) (22,29) 
nodes: 6397  conflicts: 86  modelTime: 1735  solveTime: 26617  totalTime: 28373  modelSize: 72262  readTime: 21 size: 14