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