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