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