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