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