(1,24) (2,21) (3,12) (4,5) (6,10) (7,16) (8,20) (9,19) (11,18) (13,27) (15,23) (22,30) (25,28) 
nodes: 1021  conflicts: 89  modelTime: 974  solveTime: 4558  totalTime: 5544  modelSize: 72262  readTime: 12 size: 13