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