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