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