(1,28) (2,10) (3,6) (4,5) (7,20) (8,18) (9,24) (11,26) (12,30) (13,29) (14,21) (15,19) (16,27) (17,25) (22,23) 
nodes: 64073  conflicts: 34  modelTime: 1203  solveTime: 263536  totalTime: 264758  modelSize: 72275  readTime: 19 size: 15