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