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