(1,28) (2,9) (3,13) (4,27) (5,19) (6,22) (7,17) (8,25) (10,29) (11,26) (12,15) (14,24) (16,18) (20,30) (21,23) 
nodes: 14315  conflicts: 58  modelTime: 951  solveTime: 44010  totalTime: 44972  modelSize: 72263  readTime: 11 size: 15