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