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