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