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