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