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