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