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