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