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