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