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