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