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