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