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