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