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