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