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