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