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