(1,29) (2,18) (3,5) (4,9) (7,20) (8,16) (10,17) (11,21) (12,25) (13,23) (15,26) (19,28) (22,24) (27,30) 
nodes: 6691  conflicts: 65  modelTime: 1005  solveTime: 22126  totalTime: 23143  modelSize: 72262  readTime: 12 size: 14