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