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