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