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