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