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