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