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