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