(1,25) (2,20) (3,30) (4,28) (5,22) (8,26) (9,17) (10,18) (11,24) (12,21) (13,27) (14,16) (15,29) 
nodes: 1688  conflicts: 42  modelTime: 658  solveTime: 2406  totalTime: 3072  modelSize: 41298  readTime: 7 size: 13