(1,19) (2,9) (3,15) (4,5) (6,29) (8,11) (10,17) (12,26) (14,23) (16,30) (18,27) (20,25) (21,24) (22,28) 
nodes: 10864  conflicts: 54  modelTime: 1708  solveTime: 41897  totalTime: 43625  modelSize: 72264  readTime: 20 size: 14