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