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