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