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