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