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