(1,4) (2,16) (3,15) (5,10) (6,30) (7,27) (8,13) (9,25) (11,29) (12,19) (14,18) (17,23) (20,21) (22,28) (24,26) 
nodes: 1125462  conflicts: 42  modelTime: 1575  solveTime: 5948146  totalTime: 5949747  modelSize: 72275  readTime: 26 size: 15