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