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