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