(1,18) (2,21) (4,30) (5,23) (6,24) (8,19) (9,20) (10,26) (11,27) (12,22) (13,25) (14,17) (15,28) 
nodes: 1401  conflicts: 45  modelTime: 658  solveTime: 2182  totalTime: 2847  modelSize: 41293  readTime: 7 size: 13