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