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