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