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