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