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