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