(1,21) (2,26) (3,6) (4,25) (5,15) (7,27) (8,10) (9,13) (11,18) (12,17) (14,23) (16,19) (20,30) (22,29) (24,28) 
nodes: 363380  conflicts: 40  modelTime: 1657  solveTime: 1403060  totalTime: 1404737  modelSize: 72269  readTime: 19 size: 15