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