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