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