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